AlgebraDifficulty 7.0National olympiad, round 2Prove it
Example 1.7.8. Let a,b,c be non-negative real numbers. Prove that a+b1+b+c1+c+a1+a+b+c8≥ab+bc+ca6
Solution
SOLUTION. Similarly to the previous proofs, we assume first that a≥b≥c and denote f(a,b,c)=a+b1+b+c1+c+a1+a+b+c8−ab+bc+ca6
Let t=b+c, then we have f(a,b,c)−f(a,t,0)=a+b1+a+c1−a+b+c1−a1−ab+bc+ca6+a(b+c)6≥−a(a+c)c+a(b+c)(ab+bc+ca)6(ab+bc+ca−ab+ac)
Using ab+bc+ca≤(a+c)2 and a(b+c)≤2ab, we get a(b+c)(ab+bc+ca)ab+bc+ca−ab+ac=a(b+c)(ab+bc+ca)+a(b+c)ab+bc+cabc≥3aba(b+c)+2ab(a+c)bc=a(3a(b+c)+2(a+c))c
Moreover, since a≥b≥c, we infer that 6(a+c)=4(a+c)+2(a+c)≥23(a+b+c)+2(a+c)≥3a(b+c)+2(a+c) which means that f(a,b,c)≥f(a,t,0). Furthermore, by AM-GM inequality, we conclude f(a,t,0)=a+t9+a1+t1−at6=at1(a+t9at+ata+t−6)≥0
This ends the proof. The equality holds for a+t=3at or (a,b,c)∼(27±45,1,0)
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.