Maths Olympiad Prep

Library / /427 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

Example 3 Let x,y,zx, y, z be non-negative numbers, and x2+y2+z2=3x^{2}+y^{2}+z^{2}=3 Prove: xx2+y+z+yy2+z+x+zz2+x+y\frac{x}{\sqrt{x^{2}+y+z}}+\frac{y}{\sqrt{y^{2}+z+x}}+\frac{z}{\sqrt{z^{2}+x+y}} 3\leqslant \sqrt{3} \quad This problem is still manageable

Solution

Prove: By the local Cauchy inequality, we have: (x2+y+z)\left(x^{2}+y+z\right) (1+y+z)(x+y+z)2(1+y+z) \geqslant(x+y+z)^{2}. Therefore, 1x2+y+z\frac{1}{\sqrt{x^{2}+y+z}} \leqslant 1+y+zx+y+z\frac{\sqrt{1+y+z}}{x+y+z}, and similarly, we can obtain the other two inequalities. Also, by the Cauchy inequality 3(x2+y2+z2)(x+y+z)23\left(x^{2}+y^{2}+z^{2}\right) \geqslant(x+y+z)^{2} and x2+y2x^{2}+y^{2} +z2=3+z^{2}=3, we know: x2+y2+z2x+y+zx^{2}+y^{2}+z^{2} \geqslant x+y+z. Therefore, we only need to prove

Again, by the Cauchy inequality, we have x1+y+z+x \sqrt{1+y+z}+
y1+z+x+z1+x+yx+y+zx+y+z+2xy+2xz+2yzx+y+zx2+y2+z2+2xy+2xz+2yz=(x+y+z)3, i.e., x1+y+z+y1+z+x+z1+x+yx+y+zx+y+zx2+y2+z2=3\begin{array}{l} y \sqrt{1+z+x}+z \sqrt{1+x+y} \leqslant \sqrt{x+y+z} \\ \sqrt{x+y+z+2 x y+2 x z+2 y z} \leqslant \\ \sqrt{x+y+z} \sqrt{x^{2}+y^{2}+z^{2}+2 x y+2 x z+2 y z}= \\ \sqrt{(x+y+z)^{3}}, \text { i.e., } \\ \frac{x \sqrt{1+y+z}+y \sqrt{1+z+x}+z \sqrt{1+x+y}}{x+y+z} \leqslant \\ \sqrt{x+y+z} \leqslant \sqrt{x^{2}+y^{2}+z^{2}}=\sqrt{3} \end{array}

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.