Maths Olympiad Prep

Library / /140 of 520

Algebra Difficulty 6.2 National olympiad Prove it

129. Let positive real numbers x,y,zx, y, z satisfy xyz=1xyz=1. Prove that:
2(x+1)2+2y2+1+2(y+1)2+2z2+1+2(z+1)2+2x2+11\frac{2}{(x+1)^{2}+2 y^{2}+1}+\frac{2}{(y+1)^{2}+2 z^{2}+1}+\frac{2}{(z+1)^{2}+2 x^{2}+1} \leqslant 1
(2010 Poland Czechoslovakia Joint Mathematical Olympiad)

Solution

129. Let x=ab,y=ca,z=bcx=\frac{a}{b}, y=\frac{c}{a}, z=\frac{b}{c}, then by the mean value inequality we get
(x+1)2+2y2+1=x2+y2+2x+22xy+2x+2=2cb+2ab+2=2(a+b+c)b\begin{aligned} (x+1)^{2}+2 y^{2}+1= & x^{2}+y^{2}+2 x+2 \geqslant 2 x y+2 x+2= \\ & \frac{2 c}{b}+\frac{2 a}{b}+2=\frac{2(a+b+c)}{b} \end{aligned}

So
2(x+1)2+2y2+1ba+b+c2(y+1)2+2z2+1ca+b+c2(z+1)2+2x2+1aa+b+c\begin{array}{l} \frac{2}{(x+1)^{2}+2 y^{2}+1} \leqslant \frac{b}{a+b+c} \\ \frac{2}{(y+1)^{2}+2 z^{2}+1} \leqslant \frac{c}{a+b+c} \\ \frac{2}{(z+1)^{2}+2 x^{2}+1} \leqslant \frac{a}{a+b+c} \end{array}

Therefore
2(x+1)2+2y2+1+2(y+1)2+2z2+1+2(z+1)2+2x2+11\frac{2}{(x+1)^{2}+2 y^{2}+1}+\frac{2}{(y+1)^{2}+2 z^{2}+1}+\frac{2}{(z+1)^{2}+2 x^{2}+1} \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.