Maths Olympiad Prep

Library / /9 of 16

Algebra Difficulty 5.8 AIME, harder Prove it Thailand

Let xx, yy, zz be positive real numbers. Prove that
x2(x2+y2)+y2(y2+z2)+z2(z2+x2)<4x2+y2x2+4y2+4y2+z2y2+4z2+4z2+x2z2+4x2<9. \frac{x}{\sqrt{2(x^2 + y^2)}} + \frac{y}{\sqrt{2(y^2 + z^2)}} + \frac{z}{\sqrt{2(z^2 + x^2)}} < \frac{4x^2 + y^2}{x^2 + 4y^2} + \frac{4y^2 + z^2}{y^2 + 4z^2} + \frac{4z^2 + x^2}{z^2 + 4x^2} < 9.

Solution

Solution. To prove the second inequality, we may assume x=max{x,y,z}x = \max\{x, y, z\}. Then we get
4z2+x2z2+4x21,4x2+y2x2+4y2<4,and4y2+z2y2+4z2<4. \frac{4z^2 + x^2}{z^2 + 4x^2} \le 1, \quad \frac{4x^2 + y^2}{x^2 + 4y^2} < 4, \quad \text{and} \quad \frac{4y^2 + z^2}{y^2 + 4z^2} < 4.
So the desired inequality follows.

Next we prove the first inequality. By the AM-GM inequality, we have 4xy2y3+4x2y4xy^2 \le y^3 + 4x^2y. Then
y3+4x2y+3x3>y3+4x2y4xy2>3xy2    y3+4x2y+4x3+xy2>4xy2+x3    4x2+y2x2+4y2>xx+y. \begin{aligned} y^3 + 4x^2y + 3x^3 &> y^3 + 4x^2y \ge 4xy^2 > 3xy^2 \\ \iff y^3 + 4x^2y + 4x^3 + xy^2 &> 4xy^2 + x^3 \\ \iff \frac{4x^2 + y^2}{x^2 + 4y^2} &> \frac{x}{x+y}. \end{aligned}
Hence
cycxx+y<cyc4x2+y2x2+4y2. \sum_{cyc} \frac{x}{x+y} < \sum_{cyc} \frac{4x^2 + y^2}{x^2 + 4y^2}.
Now apply the Cauchy-Schwartz inequality, we have
cycx2(x2+y2)=cycx(1+1)(x2+y2)cycxx+y<cyc4x2+y2x2+4y2, \sum_{cyc} \frac{x}{\sqrt{2(x^2 + y^2)}} = \sum_{cyc} \frac{x}{\sqrt{(1+1)(x^2 + y^2)}} \le \sum_{cyc} \frac{x}{x+y} < \sum_{cyc} \frac{4x^2 + y^2}{x^2 + 4y^2},
which is the first inequality. \square

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.