AlgebraDifficulty 7.0National olympiad, round 2Prove it
Example 1 Proof: For positive real numbers a,b,c, we have a2+8bca+b2+8cab+c2+8abc⩾1.
Solution
By the symmetry of equation (1), we first make a common substitution. Let x=a+b+ca,y=a+b+cb,z=a+b+cc, then equation (1) can be rewritten as xf(x2+8yz)+yf(y2+8zx)+zf(z2+8xy)⩾1
where f(t)=t1. By the convexity of f and x+y+z=1, we have ⩾xf(x2+8yz)+yf(y2+8zx)+zf(z2+8xy)f(x(x2+8yz)+y(y2+8zx)+z(z2+8xy))
Since f(t)=t1 is monotonically decreasing and f(1)=1, it suffices to prove 1⩾x(x2+8yz)+y(y2+8zx)+z(z2+8xy)
In fact, =(x+y+z)3−x(x2+8yz)−y(y2+8zx)−z(z2+8xy)3[x(y−z)2+y(z−x)2+z(x−y)2]⩾0.
Therefore, equation (1) holds.
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.