Exercise 2166Algebra › InequalitiesOlympiadAdded 3 Nov 2026
Schur's inequality via SOS
#Schur#SOS#symmetric
Statement
Prove Schur's inequality for and :
Hint
Assume and factor as .
Show solutionHide solution
Solution
WLOG. By symmetry, assume .
Factorisation.
And (since both factors are negative in the original, their product is positive).
So the LHS is
Non-negativity. (since ), , , , . All terms are .
Equality. , or and (and permutations).
Conclusion. Schur's inequality holds.