Maths Olympiad Prep

Library / /3 of 8

Algebra Difficulty 5.9 AIME, harder Prove it Romania

Let x,y,zx, y, z be three positive real numbers such that x2+y2+z2+3=2(xy+yz+zx)x^2 + y^2 + z^2 + 3 = 2(xy + yz + zx). Prove that
xy+yz+zx3. \sqrt{xy} + \sqrt{yz} + \sqrt{zx} \geq 3.

Solution

First solution. Using the given condition, the inequality can be written equivalently xy+yz+zx3(2xy+2yz+2zxx2y2z2)\sqrt{xy} + \sqrt{yz} + \sqrt{zx} \ge \sqrt{3(2xy + 2yz + 2zx - x^2 - y^2 - z^2)} or, denoting x=a,y=b,z=c\sqrt{x} = a, \sqrt{y} = b, \sqrt{z} = c, we have (ab+bc+ca)23(2a2b2+2b2c2+2c2a2a4b4c4)(ab + bc + ca)^2 \ge 3(2a^2b^2 + 2b^2c^2 + 2c^2a^2 - a^4 - b^4 - c^4). We thus have to prove that 3(a4+b4+c4)+2(a2bc+b2ca+c2ab)5(a2b2+b2c2+c2a2)3(a^4 + b^4 + c^4) + 2(a^2bc + b^2ca + c^2ab) \ge 5(a^2b^2 + b^2c^2 + c^2a^2).
The following inequality is well known (Schur): a2(ab)(ac)+b2(bc)(ba)+c2(ca)(cb)0a^2(a-b)(a-c) + b^2(b-c)(b-a) + c^2(c-a)(c-b) \ge 0.
Multiplied by 2, it becomes 2(a4+b4+c4)+2(a2bc+b2ca+c2ab)2(a3b+a3c+b3a+b3c+c3a+c3b)2(a^4 + b^4 + c^4) + 2(a^2bc + b^2ca + c^2ab) \ge 2(a^3b + a^3c + b^3a + b^3c + c^3a + c^3b).
But 2(a3b+a3c+b3a+b3c+c3a+c3b)=2ab(a2+b2)+2bc(b2+c2)+2ca(c2+a2)4a2b2+4b2c2+4c2a22(a^3b + a^3c + b^3a + b^3c + c^3a + c^3b) = 2ab(a^2 + b^2) + 2bc(b^2 + c^2) + 2ca(c^2 + a^2) \ge 4a^2b^2 + 4b^2c^2 + 4c^2a^2 and a4+b4+c4a2b2+b2c2+c2a2a^4 + b^4 + c^4 \ge a^2b^2 + b^2c^2 + c^2a^2. Adding these three inequalities given the desired one.

Second solution. Rewrite x2+y2+z2+3=2(xy+yz+zx)x^2 + y^2 + z^2 + 3 = 2(xy + yz + zx) as
(x+y+z)(x+yz)(x+zy)(y+zx)=3. (\sqrt{x} + \sqrt{y} + \sqrt{z})(\sqrt{x} + \sqrt{y} - \sqrt{z})(\sqrt{x} + \sqrt{z} - \sqrt{y})(\sqrt{y} + \sqrt{z} - \sqrt{x}) = 3.
Let x+yz=2a,z+yx=2b,x+zy=2c. \text{Let } \sqrt{x} + \sqrt{y} - \sqrt{z} = 2a, \sqrt{z} + \sqrt{y} - \sqrt{x} = 2b, \sqrt{x} + \sqrt{z} - \sqrt{y} = 2c.
Then
abc(a+b+c)=316.(1) abc(a + b + c) = \frac{3}{16}. \qquad (1)
The sum a+b+c=x+y+z2a + b + c = \frac{\sqrt{x}+\sqrt{y}+\sqrt{z}}{2} is positive. This means that either a,b,ca, b, c are all positive, or exactly two of them are negative (according to (1)). If, say, aa and bb are negative, then so is their sum, i.e. a+b=x<0a + b = \sqrt{x} < 0, which is false.
All that remains to be proven is
(a+b)(a+c)+(b+a)(b+c)+(c+a)(c+a)3. (a + b)(a + c) + (b + a)(b + c) + (c + a)(c + a) \ge 3.
But, cyc(a+b)(a+c)=cyca2+3cycab4cycab43abc(a+b+c)=3\sum_{cyc} (a+b)(a+c) = \sum_{cyc} a^2 + 3 \sum_{cyc} ab \geq 4 \sum_{cyc} ab \geq 4\sqrt{3abc(a+b+c)} = 3,
which is exactly what we wanted. Equality holds if and only if x=y=z=1x = y = z = 1.

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.