AlgebraDifficulty 7.2National olympiad, round 2Prove it
□ Example 7 Let x,y,z∈R+, and x+y+z=1, prove that: xy+yzxy+yz+xzyz+xz+xyxz⩽22.(2006 China National Training Team Exam Question)
Solution
Prove that since 2x+y+2y+z+2z+x=1, by the generalized Jensen's inequality we have ∑cycxy+yzxy=∑cycx+zx2y=∑cyc2x+y(x+y)2(x+z)4x2y⩽∑cyc(x+y)(x+z)2x2y.
It suffices to prove that ∑cyc(x+y)(x+z)2x2y⩽21. ⇔⇔⇔⇔cyc∑(x+y)(x+z)2x2y⩽21cyc∑(x+y)(x+z)2x2y⩽21(x+y+z)4cyc∑x2y(y+z)⩽(x+y)(y+z)(z+x)(x+y+z)4(x2y2+y2z2+z2x2)+4xyz(x+y+z)⩽[x(y3+z3)+y(z3+x3)+z(x3+y3)]+2(x2y2+y2z2+z2x2)+4xyz(x+y+z)2(x2y2+y2z2+z2x2)⩽x(y3+z3)+y(z3+x3)+z(x3+y3)=(x3y+xy3)+(y3z+yz3)+(x3z+xz3).
By the AM-GM inequality, we have x3y+xy3⩾2x2y2,y3z+yz3⩾2y2z2,x3z+xz3⩾2z2x2,
Thus, the inequality is clearly true, and the original inequality is proved.
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.