Maths WorkshopMaths problems with full solutions
Exercise 2158Algebra › InequalitiesOlympiadAdded 3 Nov 2026

Cyclic SOS decomposition

#SOS#cyclic#symmetric

Statement

Prove that for all a,b,c≥0a,b,c\ge0,
a3+b3+c3−3abc≥0.a^3+b^3+c^3-3abc\ge0.

Hint

Use the factorization a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca)a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca) and the sum-of-squares identity.

Show solutionHide solution

Solution

Factorization.
a3+b3+c3−3abc=(a+b+c)(a2+b2+c2−ab−bc−ca).a^3+b^3+c^3-3abc=(a+b+c)(a^2+b^2+c^2-ab-bc-ca).

Sum of squares. As shown earlier,
a2+b2+c2−ab−bc−ca=12[(a−b)2+(b−c)2+(c−a)2]≥0.a^2+b^2+c^2-ab-bc-ca=\frac12[(a-b)^2+(b-c)^2+(c-a)^2]\ge0.

Conclusion. Since a+b+c≥0a+b+c\ge0, the product is ≥0\ge0. Equality iff a=b=ca=b=c (or a=b=c=0a=b=c=0).

Remark. This is the r=0r=0 (well, n=3n=3) case of Schur's inequality, and also a direct consequence of AM-GM.