Exercise 2158Algebra › InequalitiesOlympiadAdded 3 Nov 2026
Cyclic SOS decomposition
#SOS#cyclic#symmetric
Statement
Prove that for all ,
Hint
Use the factorization and the sum-of-squares identity.
Show solutionHide solution
Solution
Factorization.
Sum of squares. As shown earlier,
Conclusion. Since , the product is . Equality iff (or ).
Remark. This is the (well, ) case of Schur's inequality, and also a direct consequence of AM-GM.