Maths Olympiad Prep

Library / /49 of 105

Algebra Difficulty 5.8 AIME, harder Prove it JBMO

Problem:
Prove that, for all real numbers x,y,zx, y, z :
x2y22x2+1+y2z22y2+1+z2x22z2+1(x+y+z)2 \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} \leq (x+y+z)^{2}
When does equality hold?

Solution

Solution:
For x=y=z=0x = y = z = 0 the equality is valid.
Since (x+y+z)20(x + y + z)^{2} \geq 0 it is enough to 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} \leq 0
which is equivalent to the inequality
x2y2x2+12+y2z2y2+12+z2x2z2+120 \frac{x^{2}-y^{2}}{x^{2}+\frac{1}{2}}+\frac{y^{2}-z^{2}}{y^{2}+\frac{1}{2}}+\frac{z^{2}-x^{2}}{z^{2}+\frac{1}{2}} \leq 0
Denote
a=x2+12,b=y2+12,c=z2+12 a = x^{2} + \frac{1}{2}, \quad b = y^{2} + \frac{1}{2}, \quad c = z^{2} + \frac{1}{2}
Then (1) is equivalent to
aba+bcb+cac0 \frac{a-b}{a}+\frac{b-c}{b}+\frac{c-a}{c} \leq 0
From the very well known AGAG inequality it follows that
a2b+b2c+c2a3abc a^{2}b + b^{2}c + c^{2}a \geq 3abc
From the equivalencies
a2b+b2c+c2a3abcac+ba+cb3aba+bcb+cac0 a^{2}b + b^{2}c + c^{2}a \geq 3abc \Leftrightarrow \frac{a}{c} + \frac{b}{a} + \frac{c}{b} \geq -3 \Leftrightarrow \frac{a-b}{a} + \frac{b-c}{b} + \frac{c-a}{c} \leq 0
it follows that the inequality (2) is valid for positive real numbers a,b,ca, b, c.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.