Maths Olympiad Prep

Library / /5 of 6

Algebra Difficulty 3.8 AMC 10/12 Prove it North Macedonia

Let xx, yy, zz be positive real numbers. Prove that
xyx2+y2+2z2+yzy2+z2+2x2+zxz2+x2+2y232. \sqrt{\frac{xy}{x^2 + y^2 + 2z^2}} + \sqrt{\frac{yz}{y^2 + z^2 + 2x^2}} + \sqrt{\frac{zx}{z^2 + x^2 + 2y^2}} \le \frac{3}{2}.

Solution

We have
xyx2+y2+2z2+yzy2+z2+2x2+zxz2+x2+2y2xyxy+yz+zx+z2+yzxy+yz+zx+x2+zxxy+yz+zx+y2=xy(z+x)(y+z)+yz(x+y)(z+x)+zx(y+z)(x+y)xz+x+yy+z2+yx+y+zz+x2+zy+z+xx+y2=x+yx+y+y+zy+z+z+xz+x2=32. \begin{aligned} & \sqrt{\frac{xy}{x^2 + y^2 + 2z^2}} + \sqrt{\frac{yz}{y^2 + z^2 + 2x^2}} + \sqrt{\frac{zx}{z^2 + x^2 + 2y^2}} \le \\ & \sqrt{\frac{xy}{xy + yz + zx + z^2}} + \sqrt{\frac{yz}{xy + yz + zx + x^2}} + \sqrt{\frac{zx}{xy + yz + zx + y^2}} = \\ & \sqrt{\frac{xy}{(z + x)(y + z)}} + \sqrt{\frac{yz}{(x + y)(z + x)}} + \sqrt{\frac{zx}{(y + z)(x + y)}} \le \\ & \frac{\frac{x}{z + x} + \frac{y}{y + z}}{2} + \frac{\frac{y}{x + y} + \frac{z}{z + x}}{2} + \frac{\frac{z}{y + z} + \frac{x}{x + y}}{2} = \\ & \frac{\frac{x + y}{x + y} + \frac{y + z}{y + z} + \frac{z + x}{z + x}}{2} = \frac{3}{2}. \end{aligned}
Equality holds if and only if x=y=zx = y = z.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.