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

Schur's inequality

#Schur#symmetric inequalities#factorization

Statement

For a,b,c≥0a,b,c\ge0 and r>0r>0, prove Schur's inequality:
ar(a−b)(a−c)+br(b−c)(b−a)+cr(c−a)(c−b)≥0.a^r(a-b)(a-c)+b^r(b-c)(b-a)+c^r(c-a)(c-b)\ge0.

Hint

Assume a≥b≥ca\ge b\ge c and factor the expression.

Show solutionHide solution

Solution

WLOG ordering. By symmetry, assume a≥b≥ca\ge b\ge c.

Factorisation. For r=1r=1, the expression is
a(a−b)(a−c)+b(b−c)(b−a)+c(c−a)(c−b).a(a-b)(a-c)+b(b-c)(b-a)+c(c-a)(c-b).
Note b(b−c)(b−a)=−b(b−c)(a−b)b(b-c)(b-a)=-b(b-c)(a-b), so the first two terms group as (a−b)[a(a−c)−b(b−c)]=(a−b)(a−b)(a+b−c)=(a−b)2(a+b−c)(a-b)[a(a-c)-b(b-c)]=(a-b)(a-b)(a+b-c)=(a-b)^2(a+b-c).
The third term is c(c−a)(c−b)=c(a−c)(b−c)≥0c(c-a)(c-b)=c(a-c)(b-c)\ge0.
So the total is (a−b)2(a+b−c)+c(a−c)(b−c)≥0(a-b)^2(a+b-c)+c(a-c)(b-c)\ge0 (since a+b−c≥0a+b-c\ge0 and the rest is ≥0\ge0).

General r>0r>0. For r≥1r\ge1, one uses the substitution x=arx=a^r etc. and the same factorization. For 0<r<10<r<1, the inequality also holds; it is proved by a similar argument after ordering the variables.

Equality case. a=b=ca=b=c, or a=ba=b and c=0c=0 (and permutations).