Maths Olympiad Prep

Library / /43 of 155

Algebra Difficulty 5.5 AIME, harder Prove it Saudi Arabia

Let xx, yy, zz be positive real numbers satisfy the condition x2+y2+z2=2(xy+yz+zx)x^{2} + y^{2} + z^{2} = 2(xy + yz + zx). Prove that
x+y+z+12xyz4 x + y + z + \frac{1}{2xyz} \geq 4

Solution

Without loss of generality, assume that z=min{x,y,z}z = \min \{x, y, z\}. From the condition x2+y2+z2=2(xy+yz+zx)x^{2} + y^{2} + z^{2} = 2(xy + yz + zx), we get
(x+y)22z(x+y)+z2=4xy (x + y)^{2} - 2z(x + y) + z^{2} = 4xy
or
(x+yz)2=4xy (x + y - z)^{2} = 4xy
Using the AM-GM inequality, we have
x+yz2+x+yz2+2z+12xyz4(x+yz)2z4xyz4=4 \frac{x + y - z}{2} + \frac{x + y - z}{2} + 2z + \frac{1}{2xyz} \geq 4 \sqrt[4]{\frac{(x + y - z)^{2} z}{4xyz}} = 4
Hence
x+y+z+12xyz4 x + y + z + \frac{1}{2xyz} \geq 4
The equality holds if x=2x = 2, y=z=12y = z = \frac{1}{2}, or any its cyclic permutation.

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.