Maths Olympiad Prep

Library / /42 of 120

Algebra Difficulty 5.0 AIME Prove it Saudi Arabia

Prove that for any positive real numbers a,b,ca, b, c,
2(a3+b3+c3+abc)(a+b)(b+c)(c+a). 2\left(a^{3}+b^{3}+c^{3}+a b c\right) \geq (a+b)(b+c)(c+a).

Solution

The inequality is equivalent to
2a3+2b3+2c3+2abca2(b+c)+b2(c+a)+c2(a+b)+2abc2 a^{3} + 2 b^{3} + 2 c^{3} + 2 a b c \geq a^{2}(b+c) + b^{2}(c+a) + c^{2}(a+b) + 2 a b c,
hence
2a3+2b3+2c3ab(a+b)+bc(b+c)+ca(c+a)(1) 2 a^{3} + 2 b^{3} + 2 c^{3} \geq a b(a+b) + b c(b+c) + c a(c+a) \tag{1}
For any positive real numbers xx and yy we have
x3+y3xy(x+y) x^{3} + y^{3} \geq x y(x+y)
Indeed, this inequality is equivalent to x2xy+y2xyx^{2} - x y + y^{2} \geq x y, that is (xy)20(x-y)^{2} \geq 0. We have equality in this inequality if and only if x=yx = y.
Applying the inequality above we get
a3+b3ab(a+b)a^{3} + b^{3} \geq a b(a+b), b3+c3bc(b+c)b^{3} + c^{3} \geq b c(b+c), c3+a3ca(c+a)c^{3} + a^{3} \geq c a(c+a).
Adding these inequalities we obtain (1). We have equality in our inequality if and only if a=b=ca = 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.