Maths Olympiad Prep

Library / /336 of 520

Algebra Difficulty 7.0 National olympiad, round 2 Prove it

55. Let x,y,zx, y, z be positive numbers such that x+y+z3x+y+z \geqslant 3. Then
1x3+y+z+1x+y3+z+1x+y+z31 \frac{1}{x^{3}+y+z}+\frac{1}{x+y^{3}+z}+\frac{1}{x+y+z^{3}} \leqslant 1

Solution

55. (2007.03.05) Simplify and prove: First prove: If a2+b2+c23a^{2}+b^{2}+c^{2} \geqslant 3, then

Because
(a3)23+2a4\left(\sum a^{3}\right)^{2} \geqslant 3+2 \sum a^{4}
a2+b2+c23a^{2}+b^{2}+c^{2} \geqslant 3

So
3+2a43(a23)3+2a23a43+2 \sum a^{4} \leqslant 3\left(\frac{\sum a^{2}}{3}\right)^{3}+2 \frac{\sum a^{2}}{3} \sum a^{4}

Therefore, it suffices to prove
9(a3)2(a3)3+6a2a42a6+18b3c39b2c2(b2+c2)6a2b2c20(b4c4)(b2c2)8b2c2(bc)2+a2(bc+ca+ab)(bc)20[(b2+c2)(b+c)28b2c2+a2(bc+ca+ab)](bc)20\begin{array}{l} 9\left(\sum a^{3}\right)^{2} \geqslant\left(\sum a^{3}\right)^{3}+6 \sum a^{2} \cdot \sum a^{4} \Leftrightarrow \\ 2 \sum a^{6}+18 \sum b^{3} c^{3}-9 \sum b^{2} c^{2}\left(b^{2}+c^{2}\right)-6 a^{2} b^{2} c^{2} \geqslant 0 \Leftrightarrow \\ \sum\left(b^{4}-c^{4}\right)\left(b^{2}-c^{2}\right)-8 \sum b^{2} c^{2}(b-c)^{2}+\sum a^{2}(b c+c a+a b)(b-c)^{2} \geqslant 0 \Leftrightarrow \\ \sum\left[\left(b^{2}+c^{2}\right)(b+c)^{2}-8 b^{2} c^{2}+a^{2}(b c+c a+a b)\right](b-c)^{2} \geqslant 0 \end{array}

This inequality is clearly true, hence inequality (1) holds. Therefore,
1x3+y+z=1+y2+z2(x3+y+z)(1+y2+z2)3+2x2(x32)21\sum \frac{1}{x^{3}+y+z}=\sum \frac{1+y^{2}+z^{2}}{\left(x^{3}+y+z\right)\left(1+y^{2}+z^{2}\right)} \leqslant \frac{3+2 \sum x^{2}}{\left(\sum x^{\frac{3}{2}}\right)^{2}} \leqslant 1

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.