Maths Olympiad Prep

Library / /36 of 299

Algebra Difficulty 5.7 AIME, harder Prove it Iran

Let xx, yy, zz be real numbers. Prove that:
(x+y+z)2+(x+y)(y+z)1+xz+(y+z)(z+x)1+yx+(z+x)(x+y)1+zyxy+yz+zx (x+y+z)^2 + \frac{(x+y)(y+z)}{1+|x-z|} + \frac{(y+z)(z+x)}{1+|y-x|} + \frac{(z+x)(x+y)}{1+|z-y|} \ge xy+yz+zx

Solution

After the change of variables (a,b,c)=(x+y,y+z,z+x)(a, b, c) = (x + y, y + z, z + x) it suffices to prove that
a2+b2+c2+2ab1+ab+2bc1+bc+2ac1+ca0 a^2 + b^2 + c^2 + \frac{2ab}{1 + |a - b|} + \frac{2bc}{1 + |b - c|} + \frac{2ac}{1 + |c - a|} \geq 0
for all real numbers aa, bb, cc. Let (A,B,C)=(bc,ca,ab)(A, B, C) = (|b - c|, |c - a|, |a - b|), since (ab)(bc)(ca)0(ab) \cdot (bc) \cdot (ca) \geq 0 we may assume that ab0ab \geq 0. Since A,B,C0A, B, C \geq 0 and A+B=bc+caab=CA + B = |b - c| + |c - a| \geq |a - b| = C, we have
ab1+Cab(1+A)(1+B) \frac{ab}{1+C} \geq \frac{ab}{(1+A)(1+B)}
(a2+b2+2ab1+C(a1+B+b1+A)2)+(c+a1+B+b1+A)20 (a^2 + b^2 + \frac{2ab}{1+C} - (\frac{a}{1+B} + \frac{b}{1+A})^2) + (c + \frac{a}{1+B} + \frac{b}{1+A})^2 \geq 0

Second Solution. Since we can change (a,b,c)(a, b, c) by (a,b,c)(-a, -b, -c) we can assume that ab0ca \geq b \geq 0 \geq c. Then, if we put C=abC = |a - b|, A=bcA = |b - c|, we can find ac=A+C|a - c| = A + C. Our inequality would indeed be
a2+b2+c2+2ab1+C+2bc1+A+2ac1+C+A0 a^2 + b^2 + c^2 + \frac{2ab}{1+C} + \frac{2bc}{1+A} + \frac{2ac}{1+C+A} \geq 0
It is a quadratic expression with respect to cc and its discriminant is
(2b1+A+2a1+C+A)24(a2+b2+2ab1+C) (\frac{2b}{1+A} + \frac{2a}{1+C+A})^2 - 4(a^2 + b^2 + \frac{2ab}{1+C})
Then, (2b1+A)24b2(\frac{2b}{1+A})^2 \leq 4b^2, (2a1+C+A)24a2(\frac{2a}{1+C+A})^2 \leq 4a^2, and 22b1+A2a1+C+A8ab1+C2 \cdot \frac{2b}{1+A} \cdot \frac{2a}{1+C+A} \leq \frac{8ab}{1+C}. Hence, the discriminant is non-positive and we are done. ■

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.