AlgebraDifficulty 7.4National olympiad, round 2Prove it
Example 1.7.3. Let a,b,c be non-negative real numbers with sum 1. Prove that b2+c2a2+c2+a2b2+a2+b2c2+a2+b2+c227(a+b+c)2≥52
Solution
SOLUTION. WLOG, assume that a≥b≥c. Denote f(a,b,c)=b2+c2a2+c2+a2b2+a2+b2c2+a2+b2+c227(a+b+c)2.
We will prove that f(a,b,c)≥f(a,b2+c2,0). Indeed f(a,b,c)−f(a,b2+c2,0)=c2+a2b2+a2+b2c2−a2b2+c2+a2+b2+c227(a+b+c)2−27(a+b2+c2)2≥−b2c2(a2(a2+b2)1+a2(a2+c2)1)+a2+b2+c254a(b+c−b2+c2)≥−b2c2(a2(a2+b2)1+a2(a2+c2)1)+4bc(a2+b2+c2)54b2c2
Moreover, because a23≥4bc54a2(a2+b2)1+a2(a2+c2)1≤a2+b2+c23
We infer that f(a,b,c)≥f(a,b2+c2,0). Denote t=b2+c2, then we have f(a,t,0)=t2a2+a2t2+a2+t227(a+t)2=−2+a2t2(a2+t2)2+a2+t254at+27=a2t2(a2+t2)2+a2+t227at+a2+t227at+25≥3327⋅27+25=52
This ends the proof. The equality holds for (a,b,c)∼(2−3±5,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.