Maths Olympiad Prep

Track / Stage 7 / 16 of 300 #1416 of 1964

Problem 1416

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.0 Prove it

28. Let a,b,ca, b, c be positive real numbers, prove: 3(a+b+c)8abc3+a3+b3+c3333(a+b+c) \geqslant 8 \sqrt[3]{a b c}+\sqrt[3]{\frac{a^{3}+b^{3}+c^{3}}{3}}. (2006 Austrian Mathematical Olympiad)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

28. From the generalization of Cauchy's inequality, we have
(abc+abc++abc+a3+b3+c33)(1+1++1+1)(1+1++1+1)(abc3+abc3++abc3+a3+b3+c333)3\begin{array}{l} \left(a b c+a b c+\cdots+a b c+\frac{a^{3}+b^{3}+c^{3}}{3}\right) \cdot \\ (1+1+\cdots+1+1)(1+1+\cdots+1+1) \geqslant \\ \left(\sqrt[3]{a b c}+\sqrt[3]{a b c}+\cdots+\sqrt[3]{a b c}+\sqrt[3]{\frac{a^{3}+b^{3}+c^{3}}{3}}\right)^{3} \end{array}

That is,
81(8abc+a3+b3+c33)(8abc3+a3+b3+c333)381\left(8 a b c+\frac{a^{3}+b^{3}+c^{3}}{3}\right) \geqslant\left(8 \sqrt[3]{a b c}+\sqrt[3]{\frac{a^{3}+b^{3}+c^{3}}{3}}\right)^{3}

We now prove that [3(a+b+c)]381(8abc+a3+b3+c33)[3(a+b+c)]^{3} \geqslant 81\left(8 a b c+\frac{a^{3}+b^{3}+c^{3}}{3}\right), which is equivalent to
(a+b+c)324abc+a3+b3+c3(a+b+c)^{3} \geqslant 24 a b c+a^{3}+b^{3}+c^{3}

This inequality is equivalent to a(b2+c2)+b(c2+a2)+c(a2+b2)6abca\left(b^{2}+c^{2}\right)+b\left(c^{2}+a^{2}\right)+c\left(a^{2}+b^{2}\right) \geqslant 6 a b c, which can be easily obtained by the AM-GM inequality. \square

Therefore,
3(a+b+c)8abc3+a3+b3+c3333(a+b+c) \geqslant 8 \sqrt[3]{a b c}+\sqrt[3]{\frac{a^{3}+b^{3}+c^{3}}{3}}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.