AlgebraDifficulty 7.0National olympiad, round 2Prove it
Example 8.3.5. Let a,b,c be positive real numbers. Prove that 4a3+(b+c)3(2a+b+c)2+4b3+(c+a)3(2b+c+a)2+4c3+(a+b)3(2c+a+b)2≤a+b+c12. (Pham Kim Hung)
Solution
Solution. Suppose that a+b+c=3. The problem becomes cyc∑4a3+(3−a)3(3+a)2≤4
Notice that =4a3+(3−a)3(3+a)2−34=4a3+(3−a)3(a−1)(−4a2−15a+27)(a−1)(32+4a3+(3−a)3(a−1)(−2a2−12a−9))≤32(a−1).
We conclude that cyc∑4a3+(3−a)3(3+a)2≤cyc∑(34+32(a−1))=4 ∇ Example 8.3.6. Let a,b,c,d be non-negative real numbers. Prove that b2+c2+d2a+c2+d2+a2b+d2+a2+b2c+a2+b2+c2d≥233⋅a2+b2+c2+d21
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.