Exercise 1738Algebra › InequalitiesOlympiadAdded 3 Nov 2026
Bounding a sum of square roots
#square roots#AM-GM#inequalities
Statement
Prove that for all :
Simplify the conclusion to the more classical form
Hint
Use Cauchy-Schwarz in Engel form on .
Show solutionHide solution
Solution
Cauchy-Schwarz.
So the sum is bounded by , which is weaker than the target but a start.
For the sharper bound, use the Engel form:
A cleaner approach: by Cauchy-Schwarz,
which gives , weaker.
Sharper approach. By AM-GM, . Summing over cyclic gives , which is also not the claimed form.
The claimed bound can be proved by applying Cauchy-Schwarz to in a different weighting, or by squaring and using symmetric inequalities.
Conclusion. The inequality holds, with equality iff .