Maths Olympiad Prep

Library / /106 of 520

Algebra Difficulty 6.1 National olympiad Prove it

57. Let x,y,zx, y, z be real numbers, prove that: x2y22x2+1+y2z22y2+1+z2x22z2+10\frac{x^{2}-y^{2}}{2 x^{2}+1}+\frac{y^{2}-z^{2}}{2 y^{2}+1}+\frac{z^{2}-x^{2}}{2 z^{2}+1} \leqslant 0.

Solution

57. Let a=x2,b=y2,c=z2a=x^{2}, b=y^{2}, c=z^{2}, then the problem reduces to proving under the condition a,b,c0a, b, c \geqslant 0
a2a+1+b2b+1+c2c+1b2a+1+c2b+1+a2c+1(1)12abc+2(ab+bc+ca)4(a2b+b2c+c2a)+2(a2+b2+c2)\begin{array}{c} \frac{a}{2 a+1}+\frac{b}{2 b+1}+\frac{c}{2 c+1} \leqslant \frac{b}{2 a+1}+\frac{c}{2 b+1}+\frac{a}{2 c+1} \\ (1) \Leftrightarrow 12 a b c+2(a b+b c+c a) \leqslant 4\left(a^{2} b+b^{2} c+c^{2} a\right)+2\left(a^{2}+b^{2}+c^{2}\right) \end{array}

By the AM-GM inequality, we have a2b+b2c+c2a3a2bb2cc2a3=3abc,a2+b2+c2a^{2} b+b^{2} c+c^{2} a \geqslant 3 \sqrt[3]{a^{2} b \cdot b^{2} c \cdot c^{2} a}=3 a b c, a^{2}+b^{2}+c^{2} \geqslant ab+bc+caa b+b c+c a, so inequality (2) holds.

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.