AlgebraDifficulty 7.3National olympiad, round 2Prove it
Example 3 Let x,y,z be non-negative numbers, and x2+y2+z2=3 Prove: x2+y+zx+y2+z+xy+z2+x+yz⩽3 This problem is still manageable
Solution
Prove: By the local Cauchy inequality, we have: (x2+y+z)(1+y+z)⩾(x+y+z)2. Therefore, x2+y+z1⩽x+y+z1+y+z, and similarly, we can obtain the other two inequalities. Also, by the Cauchy inequality 3(x2+y2+z2)⩾(x+y+z)2 and x2+y2+z2=3, we know: x2+y2+z2⩾x+y+z. Therefore, we only need to prove
Again, by the Cauchy inequality, we have x1+y+z+ y1+z+x+z1+x+y⩽x+y+zx+y+z+2xy+2xz+2yz⩽x+y+zx2+y2+z2+2xy+2xz+2yz=(x+y+z)3, i.e., x+y+zx1+y+z+y1+z+x+z1+x+y⩽x+y+z⩽x2+y2+z2=3
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.