Maths Olympiad Prep

Library / /436 of 520

Algebra Difficulty 5.8 AIME, harder Prove it

Example 5 Given that a,b,ca, b, c are all positive real numbers. Prove:
(a+b)3+4c34(a3b3+b3c3+c3a3). (a+b)^{3}+4 c^{3} \geqslant 4\left(\sqrt{a^{3} b^{3}}+\sqrt{b^{3} c^{3}}+\sqrt{c^{3} a^{3}}\right) .

Solution

(a+b)3+4c3=a3+b3+3a2b+3ab2+4c3=2(a2b+ab2)+(a2+b2)(a+b)+4c34a3b3+(a32+b32)2+4c34a3b3+4c32(a32+b32)=4(a3b3+b3c3+c3a3). \begin{array}{l} (a+b)^{3}+4 c^{3} \\ =a^{3}+b^{3}+3 a^{2} b+3 a b^{2}+4 c^{3} \\ =2\left(a^{2} b+a b^{2}\right)+\left(a^{2}+b^{2}\right)(a+b)+4 c^{3} \\ \geqslant 4 \sqrt{a^{3} b^{3}}+\left(a^{\frac{3}{2}}+b^{\frac{3}{2}}\right)^{2}+4 c^{3} \\ \geqslant 4 \sqrt{a^{3} \cdot b^{3}}+4 c^{\frac{3}{2}}\left(a^{\frac{3}{2}}+b^{\frac{3}{2}}\right) \\ =4\left(\sqrt{a^{3} b^{3}}+\sqrt{b^{3} c^{3}}+\sqrt{c^{3} a^{3}}\right) . \end{array}

Prove: By the AM-GM inequality and Cauchy-Schwarz inequality,
(a+b)3+4c3=a3+b3+3a2b+3ab2+4c3=2(a2b+ab2)+(a2+b2)(a+b)+4c34a3b3+(a32+b32)2+4c34a3b3+4c32(a32+b32)=4(a3b3+b3c3+c3a3). \begin{array}{l} (a+b)^{3}+4 c^{3} \\ =a^{3}+b^{3}+3 a^{2} b+3 a b^{2}+4 c^{3} \\ =2\left(a^{2} b+a b^{2}\right)+\left(a^{2}+b^{2}\right)(a+b)+4 c^{3} \\ \geqslant 4 \sqrt{a^{3} b^{3}}+\left(a^{\frac{3}{2}}+b^{\frac{3}{2}}\right)^{2}+4 c^{3} \\ \geqslant 4 \sqrt{a^{3} \cdot b^{3}}+4 c^{\frac{3}{2}}\left(a^{\frac{3}{2}}+b^{\frac{3}{2}}\right) \\ =4\left(\sqrt{a^{3} b^{3}}+\sqrt{b^{3} c^{3}}+\sqrt{c^{3} a^{3}}\right) . \end{array}

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.