Maths Olympiad Prep

Library / /17 of 69

Algebra Difficulty 5.6 AIME, harder Prove it Mongolia

Prove that if a,b,c>0a, b, c > 0 then the inequality
a2(a3+b3)a2+ab+b2+b2(b3+c3)b2+bc+c2+c2(c3+a3)c2+ca+a22abc holds. \frac{a^2(a^3 + b^3)}{a^2 + ab + b^2} + \frac{b^2(b^3 + c^3)}{b^2 + bc + c^2} + \frac{c^2(c^3 + a^3)}{c^2 + ca + a^2} \ge 2abc \text{ holds.}

Solution

First, we will prove if x,y>0\forall x, y > 0 then the inequality ()x2xy+y2x2+xy+y213(*) \frac{x^2-xy+y^2}{x^2+xy+y^2} \geq \frac{1}{3} holds.

()3(x2xy+y2)x2+xy+y22(x2+y2)4xy02(xy)20(*) \Leftrightarrow 3(x^2-xy+y^2) \geq x^2+xy+y^2 \Leftrightarrow 2(x^2+y^2)-4xy \geq 0 \Leftrightarrow 2(x-y)^2 \geq 0 thus proof of ()(*) completes. Consequently,
a2(a3+b3)a2+ab+b2=a2(a+b)a2ab+b2a2+ab+b213a2(a+b) by (). \frac{a^2(a^3 + b^3)}{a^2 + ab + b^2} = a^2(a + b) \frac{a^2 - ab + b^2}{a^2 + ab + b^2} \geq \frac{1}{3} a^2(a + b) \text{ by }(*).
Similarly, b2(b3+c3)b2+bc+c213b2(b+c)\frac{b^2(b^3+c^3)}{b^2+bc+c^2} \geq \frac{1}{3}b^2(b+c) and c2(c3+a3)c2+ca+a213c2(c+a)\frac{c^2(c^3+a^3)}{c^2+ca+a^2} \geq \frac{1}{3}c^2(c+a) from where follows
a2(a3+b3)a2+ab+b2+b2(b3+c3)b2+bc+c2+c2(c3+a3)c2+ca+a213(a3+b3+c3)+13(a2b+b2c+c2a)133a3b3c3+133a2bb2cc2a=2abc and we have done. Equality holds when a=b=c. \frac{a^2(a^3+b^3)}{a^2+ab+b^2} + \frac{b^2(b^3+c^3)}{b^2+bc+c^2} + \frac{c^2(c^3+a^3)}{c^2+ca+a^2} \geq \frac{1}{3}(a^3+b^3+c^3) + \frac{1}{3}(a^2b+b^2c+c^2a) \geq \frac{1}{3} \cdot 3\sqrt{a^3b^3c^3} + \frac{1}{3} \cdot 3\sqrt{a^2b \cdot b^2c \cdot c^2a} = 2abc \text{ and we have done. Equality holds when } a=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 and solution reproduced as published; topic and difficulty added by this site.