Maths Olympiad Prep

Library / /47 of 82

Algebra Difficulty 5.6 AIME, harder Prove it Croatia

Let α12\alpha \ge \frac{1}{2} be a real number. Prove that the following inequality holds for all positive real numbers xx, yy, zz:
x(xy)(αxy)+y(yz)(αyz)+z(zx)(αzx)0. x(x - y)(\alpha x - y) + y(y - z)(\alpha y - z) + z(z - x)(\alpha z - x) \ge 0.

Solution

The given inequality can be written in the following form:
α(x3+y3+z3x2yy2zz2x)x2y+y2z+z2xxy2yz2zx2. \alpha(x^3 + y^3 + z^3 - x^2y - y^2z - z^2x) \geq x^2y + y^2z + z^2x - xy^2 - yz^2 - zx^2.
From the rearrangement inequality it follows that the left-hand side of the previous inequality is positive. Therefore, it suffices to prove the desired inequality for α=12\alpha = \frac{1}{2}:
x3+y3+z3+2(xy2+yz2+zx2)3(x2y+y2z+z2x).(1) x^3 + y^3 + z^3 + 2(xy^2 + yz^2 + zx^2) \geq 3(x^2y + y^2z + z^2x). \quad (1)
Since the given inequality is cyclic, without loss of generality we may assume that zxz \leq x and zyz \leq y. Let a,b0a, b \geq 0 be real numbers such that x=z+ax = z + a, y=z+by = z + b. Therefore, the inequality (1) can be written as follows:
a33a2b+2ab2+b3+2z(a2ab+b2)0. a^3 - 3a^2b + 2ab^2 + b^3 + 2z(a^2 - ab + b^2) \geq 0.
By AM-GM inequality, we have:
a2ab+b2ab0. a^2 - ab + b^2 \geq ab \geq 0.
Thus, it suffices to show:
a3+2ab2+b33a2b0. a^3 + 2ab^2 + b^3 - 3a^2b \geq 0.
However, this can be written as follows:
a34a2b+4ab2+a2b2ab2+b30,a(a24ab+4b2)+b(a22ab+b2)0,a(a2b)2+b(ab)20, \begin{aligned} & a^3 - 4a^2b + 4ab^2 + a^2b - 2ab^2 + b^3 \geq 0, \\ & a(a^2 - 4ab + 4b^2) + b(a^2 - 2ab + b^2) \geq 0, \\ & a(a - 2b)^2 + b(a - b)^2 \geq 0, \end{aligned}
which obviously 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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.