AlgebraDifficulty 7.3National olympiad, round 2Prove it
Example 2(2007 National Team Training Test Question) Let positive numbers u,v,w satisfy u+v+w+uvw=4. Prove: uvw+vuw+wuv≥u+v+w. Lemma: The equation x2+y2+z2+xyz=4 has positive real solutions x,y,z if and only if there exists an acute △ABC, such that x=2cosA,y=2cosB,z=2cosC.
Thus, the triplet (2cosA,2cosB,2cosC) is a solution to the equation x2+y2+z2+xyz=4.
Conversely, it is easy to see that x,y,z∈(0,2), so there exist ∠A,∠B∈(0,2π) such that x=2cosA,y=2cosB.
Solving the equation x2+y2+z2+xyz=4 for z, we get z=−2cos(A+B)
Thus, let ∠C=π−(∠A+∠B), then the real solutions to the equation x2+y2+z2+xyz=4 are (x,y,z)=(2cosA,2cosB,2cosC)
Analysis: The structure and degree relationship of the conditions and the lemma are similar, so by making a variable substitution, the structure and form become more apparent, thus directly applying the J.Wolstenholme-embedded inequality to solve the problem. Proof: Let: u=x2,v=y2,w=z2. Then the equation u+v+w+uvw=4 is equivalent to the equation x2+y2+z2+xyz=4
According to the lemma, if and only if there exists an acute triangle △ABC such that x=2cosA,y=2cosB,z=2cosC
And the inequality to be proved, uvw+vuw+wuv≥u+v+w, is equivalent to xyz+yzx+zxy≥x2+y2+z2
Without loss of generality, let x=2cosA,y=2cosB,z=2cosC. Then we only need to prove the inequality cosA2cosB⋅cosC+cosB2cosC⋅cosA+cosC2cosA⋅cosB≥4cos2A+4cos2B+4cos2C
By the J.Wolstenholme-embedded inequality, we have cosA2cosB⋅cosC+cosB2cosC⋅cosA+cosC2cosA⋅cosB≥2cosB2cosC⋅cosA⋅cosC2cosA⋅cosB⋅cosA+2cosC2cosA⋅cosB⋅cosA2cosB⋅cosC⋅cosB+2cosA2cosB⋅cosC⋅cosB2cosC⋅cosA⋅cosC=4cos2A+4cos2B+4cos2C
Thus, 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.