Maths Olympiad Prep

Library / /328 of 520

Algebra Difficulty 7.0 National olympiad Prove it

3 Let x,y,zx, y, z be positive real numbers, satisfying
xy+yz+zx=x+y+z.x y+y z+z x=x+y+z .

Prove: 1x2+y+1+1y2+z+1+1z2+x+11\frac{1}{x^{2}+y+1}+\frac{1}{y^{2}+z+1}+\frac{1}{z^{2}+x+1} \leqslant 1, and determine the condition for equality.

Solution

3. By the Cauchy inequality, we have 1x2+y+11+y+z2(x+y+z)2,1y2+z+1\frac{1}{x^{2}+y+1} \leqslant \frac{1+y+z^{2}}{(x+y+z)^{2}}, \frac{1}{y^{2}+z+1} \leqslant 1+z+x2(x+y+z)2,1z2+x+11+x+y2(x+y+z)2\frac{1+z+x^{2}}{(x+y+z)^{2}}, \frac{1}{z^{2}+x+1} \leqslant \frac{1+x+y^{2}}{(x+y+z)^{2}}. Therefore, 1x2+y+1+1y2+z+1+\frac{1}{x^{2}+y+1}+\frac{1}{y^{2}+z+1}+ 1z2+x+13+x+y+z+x2+y2+z2(x+y+z)2\frac{1}{z^{2}+x+1} \leqslant \frac{3+x+y+z+x^{2}+y^{2}+z^{2}}{(x+y+z)^{2}}. Let the right side of the above inequality be SS. We only need to prove that S1S \leqslant 1. In fact, S13+x+y+z2(xy+yz+zx)S \leqslant 1 \Leftrightarrow 3+x+y+z \leqslant 2(x y+y z+z x). Since x+y+z=x+y+z= xy+yz+zxx y+y z+z x, we only need to prove that x+y+z3x+y+z \geqslant 3. Also, x+y+z=xy+yz+zxx+y+z=x y+y z+z x \leqslant (x+y+z)23\frac{(x+y+z)^{2}}{3}, thus, x+y+z3x+y+z \geqslant 3. Therefore, the original inequality is proved. The equality holds if and only if x=y=z=1x=y=z=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.