Example 2 (2006 Turkey National Team Selection Exam) Given positive numbers x,y,z satisfying xy+yz+zx=1, prove: 427(x+y)(y+z)(z+x)≥(x+y+y+z+z+x)2≥63
This one wants a proof. Work it on paper, then read the official solution and mark
yourself. Be honest about it: the record is only any use to you if it is.
Official solution
To prove: In fact, in the proof of Example 1, it has already been proven that x+y+z≥9xyz
Similarly, it is easy to prove that x+y+z≥3
From Example 1 and the above two inequalities, it is easy to prove this problem. In fact, on the one hand, we first prove: 427(x+y)(y+z)(z+x)≥(x+y+y+z+z+x)2
By the two-variable mean inequality 2ab≤a+b(a,b∈R+), we get =≤=(x+y+y+z+z+x)22(x+y+z)+2(x+y)(y+z)+2(y+z)(z+x)+2(z+x)(x+y)2(x+y+z)+(x+y)+(y+z)+(y+z)+(z+x)+(z+x)+(x+y)6(x+y+z)
Thus, to prove inequality (1), it is only necessary to prove the following inequality. 427(x+y)(y+z)(z+x)≥6(x+y+z)
This is clearly a transformation of Example 1, so inequality (**) holds. On the other hand, we then prove: (x+y+y+z+z+x)2≥63
By the three-variable mean inequality, Example 1, and x+y+z≥3, we get =≥=≥≥=(x+y+y+z+z+x)22(x+y+z)+2[(x+y)(y+z)+(y+z)(z+x)+(z+x)(x+y)]2(x+y+z)+2⋅33(x+y)(y+z)⋅(y+z)(z+x)⋅(z+x)(x+y)2(x+y+z)+63(x+y)(y+z)(z+x)2(x+y+z)+6398(x+y+z)23+6398⋅363
Thus, inequality (2) is proven. In summary, the given inequality holds.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.