Olympiad Maths Prep

Library / /2 of 5

Algebra Difficulty 6.0 National olympiad Prove it Greece

If xx, yy, zz are positive real numbers with sum 1212, prove that:
xy+yz+zx+3x+y+z. \frac{x}{y} + \frac{y}{z} + \frac{z}{x} + 3 \ge \sqrt{x} + \sqrt{y} + \sqrt{z}.
When is equality valid?

Solution

Since xx, yy, zz are positive integers with sum 1212, it is enough to prove that
xy+yz+zx+x+y+z4x+y+z.(1) \frac{x}{y} + \frac{y}{z} + \frac{z}{x} + \frac{x+y+z}{4} \geq \sqrt{x} + \sqrt{y} + \sqrt{z}. \quad (1)
From the inequality of the arithmetic–geometric mean for the positive integers xx, yy, zz we get

xy+y42xyy4=x,(2) \frac{x}{y} + \frac{y}{4} \ge 2 \sqrt{\frac{x}{y} \cdot \frac{y}{4}} = \sqrt{x}, \qquad (2)
yz+z42yzz4=y,(3) \frac{y}{z} + \frac{z}{4} \ge 2 \sqrt{\frac{y}{z} \cdot \frac{z}{4}} = \sqrt{y}, \qquad (3)
zx+x42zxx4=z.(4) \frac{z}{x} + \frac{x}{4} \ge 2 \sqrt{\frac{z}{x} \cdot \frac{x}{4}} = \sqrt{z}. \qquad (4)
Summing up (2), (3) and (4) we find inequality (1).

Equality holds when all inequalities (2), (3) and (4) hold as equalities, that is when
xy=y4,yz=z4,zx=x4x=y24,y=z24,z=14(y24)2=y443x=y24,y=z24,z=143(z24)4x=y24,y=z24,z=147z8x=y24,y=z24,z7=47x=y=z=4. \begin{align*} \frac{x}{y} = \frac{y}{4}, \quad \frac{y}{z} = \frac{z}{4}, \quad \frac{z}{x} = \frac{x}{4} &\Leftrightarrow x = \frac{y^2}{4}, \quad y = \frac{z^2}{4}, \quad z = \frac{1}{4} \left(\frac{y^2}{4}\right)^2 = \frac{y^4}{4^3} \\ &\Leftrightarrow x = \frac{y^2}{4}, \quad y = \frac{z^2}{4}, \quad z = \frac{1}{4^3} \left(\frac{z^2}{4}\right)^4 \\ &\Leftrightarrow x = \frac{y^2}{4}, \quad y = \frac{z^2}{4}, \quad z = \frac{1}{4^7} z^8 \\ &\Leftrightarrow x = \frac{y^2}{4}, \quad y = \frac{z^2}{4}, \quad z^7 = 4^7 \\ &\Leftrightarrow x = y = z = 4. \end{align*}

Looking for a route rather than 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.