Maths WorkshopMaths problems with full solutions
Exercise 1322Algebra › InequalitiesM1Added 5 Nov 2026

A symmetrisation trick: Σ a³/(a² + ab + b²)

#symmetrisation#cyclic sums#tangent-style bound

Statement

For a,b,c>0a,b,c>0 prove that
a3a2+ab+b2+b3b2+bc+c2+c3c2+ca+a2 ≥ a+b+c3.\frac{a^3}{a^2+ab+b^2}+\frac{b^3}{b^2+bc+c^2}+\frac{c^3}{c^2+ca+a^2}\ \ge\ \frac{a+b+c}3.

Hint

Compare the sum with the "twin" sum ∑b3a2+ab+b2\sum\frac{b^3}{a^2+ab+b^2} and look at the difference of the two.

Show solutionHide solution

Solution

Idea. Let S=∑a3a2+ab+b2S=\sum\frac{a^3}{a^2+ab+b^2} and T=∑b3a2+ab+b2T=\sum\frac{b^3}{a^2+ab+b^2}, both over the cyclic pairs (a,b),(b,c),(c,a)(a,b),(b,c),(c,a).

The difference vanishes. Since a3−b3=(a−b)(a2+ab+b2)a^3-b^3=(a-b)(a^2+ab+b^2),
S−T=∑(a−b)=(a−b)+(b−c)+(c−a)=0.S-T=\sum(a-b)=(a-b)+(b-c)+(c-a)=0.
So S=T=S+T2S=T=\dfrac{S+T}2 and
S=12∑cyca3+b3a2+ab+b2.S=\frac12\sum_{\rm cyc}\frac{a^3+b^3}{a^2+ab+b^2}.

A pair estimate. For a,b>0a,b>0,
a3+b3a2+ab+b2≥a+b3  ⟺  3(a+b)(a2−ab+b2)≥(a+b)(a2+ab+b2)  ⟺  2(a−b)2≥0.\frac{a^3+b^3}{a^2+ab+b^2}\ge\frac{a+b}3\iff3(a+b)(a^2-ab+b^2)\ge(a+b)(a^2+ab+b^2)\iff2(a-b)^2\ge0.

Conclusion. Summing the three pair estimates, S≥12⋅2(a+b+c)3=a+b+c3S\ge\frac12\cdot\frac{2(a+b+c)}3=\frac{a+b+c}3, with equality iff a=b=ca=b=c.

Lesson. When a cyclic sum has numerators and denominators that differ by a nice factor, add the "mirror" sum: the difference telescopes and the symmetrised sum is easier to bound.