Maths Olympiad Prep

Library / /625 of 860

Algebra Difficulty 5.3 AIME, harder Find the answer

Let a,b,ca, b, c be non-negative real numbers such that ab+bc+ca=3ab+bc+ca=3. Suppose that a3b+b3c+c3a+2abc(a+b+c)=92a^{3}b+b^{3}c+c^{3}a+2abc(a+b+c)=\frac{9}{2}. What is the minimum possible value of ab3+bc3+ca3ab^{3}+bc^{3}+ca^{3}?

A number or a short expression. Spacing and $ signs are ignored.

Solution

Expanding the inequality cyc ab(b+c2a)20\sum_{\text {cyc }} ab(b+c-2a)^{2} \geq 0 gives (cyc ab3)+4(cyc a3b)4(cyc a2b2)abc(a+b+c)0\left(\sum_{\text {cyc }} ab^{3}\right)+4\left(\sum_{\text {cyc }} a^{3}b\right)-4\left(\sum_{\text {cyc }} a^{2}b^{2}\right)-abc(a+b+c) \geq 0. Using (cyc a3b)+2abc(a+b+c)=92\left(\sum_{\text {cyc }} a^{3}b\right)+2abc(a+b+c)=\frac{9}{2} in the inequality above yields (cyc ab3)4(ab+bc+ca)2(cyc ab3)4(cyc a2b2)9abc(a+b+c)18\left(\sum_{\text {cyc }} ab^{3}\right)-4(ab+bc+ca)^{2} \geq\left(\sum_{\text {cyc }} ab^{3}\right)-4\left(\sum_{\text {cyc }} a^{2}b^{2}\right)-9abc(a+b+c) \geq-18. Since ab+bc+ca=3ab+bc+ca=3, we have cyc ab318\sum_{\text {cyc }} ab^{3} \geq 18 as desired. The equality occurs when (a,b,c)cyc (32,6,0)(a, b, c) \underset{\text {cyc }}{\sim}\left(\sqrt{\frac{3}{2}}, \sqrt{6}, 0\right).

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