Exercise 2163Algebra › InequalitiesOlympiadAdded 3 Nov 2026
Schur's inequality
#Schur#symmetric inequalities#factorization
Statement
For and , prove Schur's inequality:
Hint
Assume and factor the expression.
Show solutionHide solution
Solution
WLOG ordering. By symmetry, assume .
Factorisation. For , the expression is
Note , so the first two terms group as .
The third term is .
So the total is (since and the rest is ).
General . For , one uses the substitution etc. and the same factorization. For , the inequality also holds; it is proved by a similar argument after ordering the variables.
Equality case. , or and (and permutations).