Maths WorkshopMaths problems with full solutions
Exercise 1952Algebra › InequalitiesOlympiadAdded 4 Nov 2026

Schur's inequality and a bound with a + b + c = 1

#Schur's inequality#IMO 1984#symmetric polynomials#ordering variables

Statement

1. Prove Schur's inequality: for a,b,c≥0a,b,c\ge0,
a(a−b)(a−c)+b(b−a)(b−c)+c(c−a)(c−b)≥0.a(a-b)(a-c)+b(b-a)(b-c)+c(c-a)(c-b)\ge0.
2. Deduce (a+b+c)3+9abc≥4(a+b+c)(ab+bc+ca)(a+b+c)^3+9abc\ge4(a+b+c)(ab+bc+ca).
3. For x,y,z≥0x,y,z\ge0 with x+y+z=1x+y+z=1, prove 0≤xy+yz+zx−2xyz≤7270\le xy+yz+zx-2xyz\le\dfrac7{27}.

Hint

For 1, assume a≥b≥ca\ge b\ge c and group the first two terms. For 3, use p=1p=1, q=xy+yz+zxq=xy+yz+zx, r=xyzr=xyz and part 2 for the upper bound.

Show solutionHide solution

Solution

1. The expression is symmetric, so assume a≥b≥ca\ge b\ge c. Then
a(a−b)(a−c)+b(b−a)(b−c)=(a−b)2(a+b−c)≥0,a(a-b)(a-c)+b(b-a)(b-c)=(a-b)^2(a+b-c)\ge0,
and c(c−a)(c−b)=c(a−c)(b−c)≥0c(c-a)(c-b)=c(a-c)(b-c)\ge0. Hence the sum is ≥0\ge0. Equality iff a=b=ca=b=c, or a=ba=b and c=0c=0.

2. Expanding, Schur's inequality reads a3+b3+c3+3abc≥∑syma2ba^3+b^3+c^3+3abc\ge\sum_{\rm sym}a^2b. Meanwhile
(a+b+c)3=∑a3+3∑syma2b+6abc,(a+b+c)(ab+bc+ca)=∑syma2b+3abc.(a+b+c)^3=\sum a^3+3\sum_{\rm sym}a^2b+6abc,\qquad(a+b+c)(ab+bc+ca)=\sum_{\rm sym}a^2b+3abc.
So
(a+b+c)3+9abc−4(a+b+c)(ab+bc+ca)=∑a3−∑syma2b+3abc≥0.(a+b+c)^3+9abc-4(a+b+c)(ab+bc+ca)=\sum a^3-\sum_{\rm sym}a^2b+3abc\ge0.

3. Upper bound. With p=1p=1, part 2 gives q≤1+9r4q\le\frac{1+9r}4. By AM-GM r≤127r\le\frac1{27}, hence
q−2r≤1+9r4−2r≤14+r4≤727.q-2r\le\frac{1+9r}4-2r\le\frac14+\frac r4\le\frac7{27}.
Equality at x=y=z=13x=y=z=\frac13.

Lower bound. Let z≤13z\le\frac13 be the smallest. Then
xy+yz+zx−2xyz=xy(1−2z)+z(x+y)≥0.xy+yz+zx-2xyz=xy(1-2z)+z(x+y)\ge0.

Remark. Part 3 is IMO 1984 problem 1.

Lesson. When a symmetric degree-3 inequality has equality at a=b=ca=b=c *and* at (1,1,0)(1,1,0), think Schur.