Maths Olympiad Prep

Library / HMMT February /734 of 1302

HMMT February

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. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Expanding the inequality ∑cyc ab(b+c−2a)2≥0\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 ab3≥18\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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.