Maths Olympiad Prep

Library / Junior Balkan Mathematical Olympiad /42 of 95

Junior Balkan Mathematical Olympiad

Algebra Difficulty 5.8 AIME, harder Prove it JBMO

Problem:
Prove that, for all real numbers x,y,zx, y, z :
x2−y22x2+1+y2−z22y2+1+z2−x22z2+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)2≥0(x + y + z)^{2} \geq 0 it is enough to prove that
x2−y22x2+1+y2−z22y2+1+z2−x22z2+1≤0 \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
x2−y2x2+12+y2−z2y2+12+z2−x2z2+12≤0 \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
a−ba+b−cb+c−ac≤0 \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+c2a≥3abc a^{2}b + b^{2}c + c^{2}a \geq 3abc
From the equivalencies
a2b+b2c+c2a≥3abc⇔ac+ba+cb≥−3⇔a−ba+b−cb+c−ac≤0 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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.