Maths Olympiad Prep

Library / /109 of 397

Algebra Difficulty 5.4 AIME, harder Prove it Taiwan

Let a,b,c,da, b, c, d be positive real numbers satisfying a+b+c+d=4a + b + c + d = 4. Prove that:
cyc3a3a2+ab+b2+cyc2aba+b8. \sum_{\text{cyc}} \frac{3a^3}{a^2 + ab + b^2} + \sum_{\text{cyc}} \frac{2ab}{a+b} \geq 8.

Solution

Notice that
cyca3b3a2+ab+b2=cyc(ab)=0. \sum_{\text{cyc}} \frac{a^3 - b^3}{a^2 + ab + b^2} = \sum_{\text{cyc}} (a-b) = 0.
Hence
LHS=cyc3a3+3b32(a2+ab+b2)+cyc2aba+b. \text{LHS} = \sum_{\text{cyc}} \frac{3a^3 + 3b^3}{2(a^2 + ab + b^2)} + \sum_{\text{cyc}} \frac{2ab}{a+b}.
Now
2aba+b=a+ba2+b2a+b, \frac{2ab}{a+b} = a+b-\frac{a^2+b^2}{a+b},
which means we only need to prove that
cyc3a3+3b32(a2+ab+b2)cyca2+b2a+b. \sum_{\text{cyc}} \frac{3a^3 + 3b^3}{2(a^2 + ab + b^2)} \geq \sum_{\text{cyc}} \frac{a^2 + b^2}{a+b}.
This is true since
3(a3+b3)(a+b)3(a2+b2)22(a2+ab+b2)(a2+b2). 3(a^3 + b^3)(a+b) \geq 3(a^2 + b^2)^2 \geq 2(a^2 + ab + b^2)(a^2 + b^2).

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 translated into English from the original; metadata (topic, difficulty) added by this project.