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

Cyclic sum of squares

#cyclic sum#squares#factorization

Statement

Prove that for a,b,c≥0a,b,c\ge0,
a2+b2+c22≥a2b+c+b2c+a+c2a+b⋅1?\frac{a^2+b^2+c^2}{2}\ge\frac{a^2}{b+c}+\frac{b^2}{c+a}+\frac{c^2}{a+b}\cdot\frac{1}{?}
Hmm, the expression is dimensionally inconsistent. Let me state a correct version:
a2b+c+b2c+a+c2a+b≥a+b+c2.\frac{a^2}{b+c}+\frac{b^2}{c+a}+\frac{c^2}{a+b}\ge\frac{a+b+c}{2}.

Hint

Use Titu's lemma.

Show solutionHide solution

Solution

Titu's lemma.
∑a2b+c≥(a+b+c)2(b+c)+(c+a)+(a+b)=(a+b+c)22(a+b+c)=a+b+c2.\sum\frac{a^2}{b+c}\ge\frac{(a+b+c)^2}{(b+c)+(c+a)+(a+b)}=\frac{(a+b+c)^2}{2(a+b+c)}=\frac{a+b+c}{2}.

Conclusion. The inequality holds, with equality iff a=b=ca=b=c.