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

The sum-of-squares method

#SOS#sum of squares#symmetric inequalities

Statement

Prove that for all a,b,c≥0a,b,c\ge0,
a2+b2+c2≥ab+bc+ca.a^2+b^2+c^2\ge ab+bc+ca.

Hint

Write the difference as a sum of squares.

Show solutionHide solution

Solution

Computation.
a2+b2+c2−ab−bc−ca=12[(a−b)2+(b−c)2+(c−a)2].a^2+b^2+c^2-ab-bc-ca=\frac12\left[(a-b)^2+(b-c)^2+(c-a)^2\right].

Verification. Expand the RHS:
12[(a2−2ab+b2)+(b2−2bc+c2)+(c2−2ca+a2)]=a2+b2+c2−ab−bc−ca.\frac12[(a^2-2ab+b^2)+(b^2-2bc+c^2)+(c^2-2ca+a^2)]=a^2+b^2+c^2-ab-bc-ca.

Conclusion. The difference is ≥0\ge0, so the inequality holds. Equality iff a=b=ca=b=c.

Remark. This is the fundamental "SOS" (sum of squares) identity. Many symmetric inequalities can be reduced to such decompositions.