Maths Olympiad Prep

Library / /445 of 520

Algebra Difficulty 5.8 AIME, harder Prove it

Example 6 Given xyz>0x \geqslant y \geqslant z>0. Prove:
x2yz+y2zx+z2xyx2+y2+z2 \frac{x^{2} y}{z}+\frac{y^{2} z}{x}+\frac{z^{2} x}{y} \geqslant x^{2}+y^{2}+z^{2} \text {. }
(31st IMO Shortlist)

Solution

Proof: Let the left side of the inequality be MM, and construct the pairing expression
N=x2zy+y2xz+z2yx N=\frac{x^{2} z}{y}+\frac{y^{2} x}{z}+\frac{z^{2} y}{x} \text {. }

By the Cauchy-Schwarz inequality, we have
MN(x2+y2+z2)2 M \cdot N \geqslant\left(x^{2}+y^{2}+z^{2}\right)^{2} \text {. }

Also, MNM-N.
=1xyz[x3y2+y3z2+z3x2(x3z2+y3x2+z3y2).=1xyz[(x3y2y3x2)+(z3x2z3y2)(x3z2y3z2)]=1xyz(xy)(x2y2+z3x+z3yz2x2z2xyz2y2)=1xyz(xy)[(x2y2z2x2)(z2xyz3x)(z2y2z3y)]=1xyz(xy)(yz)(x2y+x2zz2xz2y)=1xyz(xy)(yz)[(x2yz2y)+(x2zz2x)]=1xyz(xy)(yz)(xz)(xy+yz+zx). \begin{aligned} = & \frac{1}{x y z}\left[x^{3} y^{2}+y^{3} z^{2}+z^{3} x^{2}-\left(x^{3} z^{2}+y^{3} x^{2}+z^{3} y^{2}\right) .\right. \\ = & \frac{1}{x y z}\left[\left(x^{3} y^{2}-y^{3} x^{2}\right)+\left(z^{3} x^{2}-z^{3} y^{2}\right)-\left(x^{3} z^{2}-y^{3} z^{2}\right)\right] \\ = & \frac{1}{x y z}(x-y)\left(x^{2} y^{2}+z^{3} x+z^{3} y-z^{2} x^{2}-\right. \\ & \left.z^{2} x y-z^{2} y^{2}\right) \\ = & \frac{1}{x y z}(x-y)\left[\left(x^{2} y^{2}-z^{2} x^{2}\right)-\left(z^{2} x y-\right.\right. \\ & \left.\left.z^{3} x\right)-\left(z^{2} y^{2}-z^{3} y\right)\right] \\ = & \frac{1}{x y z}(x-y)(y-z)\left(x^{2} y+x^{2} z-z^{2} x-z^{2} y\right) \\ = & \frac{1}{x y z}(x-y)(y-z)\left[\left(x^{2} y-z^{2} y\right)+\right. \\ & \left.\left(x^{2} z-z^{2} x\right)\right] \\ = & \frac{1}{x y z}(x-y)(y-z)(x-z)(x y+y z+z x) . \end{aligned}

Given xyz>0x \geqslant y \geqslant z>0, we know MN0M-N \geqslant 0, i.e., MNM \geqslant N.
Thus, M2MN(x2+y2+z2)2M^{2} \geqslant M \cdot N \geqslant\left(x^{2}+y^{2}+z^{2}\right)^{2}.
Therefore, Mx2+y2+z2M \geqslant x^{2}+y^{2}+z^{2}.

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.