Maths Olympiad Prep

Library / /47 of 299

Algebra Difficulty 5.8 AIME, harder Prove it Iran

For positive real numbers aa, bb and cc such that a+b+c=abca + b + c = abc, prove that
cycaa2+1abc32cyca3+b3ab+1. \sum_{\text{cyc}} \frac{a}{a^2 + 1} \le \frac{\sqrt{abc}}{3\sqrt{2}} \sum_{\text{cyc}} \frac{\sqrt{a^3 + b^3}}{ab + 1}.

Solution

a3+b3ab(a+b)a^3 + b^3 \ge ab(a + b). So we have
a3+b3ab+1ab(a+b)ab+1 \frac{\sqrt{a^3 + b^3}}{ab + 1} \ge \frac{\sqrt{ab(a + b)}}{ab + 1}
After substitution a=1xa = \frac{1}{x}, b=1yb = \frac{1}{y} and c=1zc = \frac{1}{z}, it is sufficient to prove that for any positive real numbers xx, yy and zz such that xy+yz+zx=1xy + yz + zx = 1, we have
cycx1+x2132xyzcycx+y1+xy() \sum_{\text{cyc}} \frac{x}{1 + x^2} \le \frac{1}{3\sqrt{2xyz}} \sum_{\text{cyc}} \frac{\sqrt{x + y}}{1 + xy} \quad (*)
Since xy+yz+zx=1xy + yz + zx = 1, for the left hand side we have
xx2+1=xx2+xy+xz+yz=x(x+y)(x+z)=x(y+z)(x+y)(y+z)(z+x) \frac{x}{x^2 + 1} = \frac{x}{x^2 + xy + xz + yz} = \frac{x}{(x + y)(x + z)} = \frac{x(y + z)}{(x + y)(y + z)(z + x)}
And thus,
cycx1+x2=1(x+y)(y+z)(z+x)cyc(xy+xz)=2(x+y)(y+z)(z+x) \sum_{\text{cyc}} \frac{x}{1 + x^2} = \frac{1}{(x + y)(y + z)(z + x)} \sum_{\text{cyc}} (xy + xz) = \frac{2}{(x + y)(y + z)(z + x)}
Therefore, (*) is equivalent to
2(x+y)(y+z)(z+x)132xyzcycx+y1+xy \frac{2}{(x + y)(y + z)(z + x)} \le \frac{1}{3\sqrt{2xyz}} \sum_{\text{cyc}} \frac{\sqrt{x + y}}{1 + xy}
On the other hand, by Cauchy-Schwarz inequality, we have (1+x2)(1+y2)(1+xy)2(1 + x^2)(1 + y^2) \ge (1 + xy)^2 and so
132xyzcycx+y1+xy132xyzcycx+y(1+x2)(1+y2)=132xyzcycx+y(x+y)2(x+z)(y+z)=12xyz(x+y)(y+z)(z+x)2(x+y)(y+z)(z+x) \begin{aligned} \frac{1}{3\sqrt{2xyz}} \sum_{\text{cyc}} \frac{\sqrt{x + y}}{1 + xy} &\ge \frac{1}{3\sqrt{2xyz}} \sum_{\text{cyc}} \frac{\sqrt{x + y}}{\sqrt{(1 + x^2)(1 + y^2)}} \\ &= \frac{1}{3\sqrt{2xyz}} \sum_{\text{cyc}} \frac{\sqrt{x + y}}{\sqrt{(x + y)^2(x + z)(y + z)}} \\ &= \frac{1}{\sqrt{2xyz(x + y)(y + z)(z + x)}} \\ &\ge \frac{2}{(x + y)(y + z)(z + x)} \end{aligned}
The last inequality was true because we have (x+y)(y+z)(z+x)8xyz(x + y)(y + z)(z + x) \ge 8xyz, which is an immediate consequence of AM-GM inequality.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.