Maths WorkshopMaths problems with full solutions
Exercise 1738Algebra › InequalitiesOlympiadAdded 3 Nov 2026

Bounding a sum of square roots

#square roots#AM-GM#inequalities

Statement

Prove that for all a,b,c>0a,b,c>0:
a(b+c)+b(c+a)+c(a+b)≤2(ab+bc+ca)+3abc/(a+b+c)⋅a+b+c.\sqrt{a(b+c)}+\sqrt{b(c+a)}+\sqrt{c(a+b)}\le\sqrt{2(ab+bc+ca)+3abc/(a+b+c)}\cdot\sqrt{a+b+c}.
Simplify the conclusion to the more classical form
a(b+c)+b(c+a)+c(a+b)≤3(a+b+c)(ab+bc+ca)/2.\sqrt{a(b+c)}+\sqrt{b(c+a)}+\sqrt{c(a+b)}\le\sqrt{3(a+b+c)(ab+bc+ca)/2}.

Hint

Use Cauchy-Schwarz in Engel form on ∑a(b+c)=∑a⋅b+c\sum\sqrt{a(b+c)}=\sum\sqrt{a}\cdot\sqrt{b+c}.

Show solutionHide solution

Solution

Cauchy-Schwarz.
∑a(b+c)=∑a⋅b+c≤∑a∑(b+c)=a+b+c2(a+b+c).\sum\sqrt{a(b+c)}=\sum\sqrt{a}\cdot\sqrt{b+c}\le\sqrt{\sum a}\sqrt{\sum(b+c)}=\sqrt{a+b+c}\sqrt{2(a+b+c)}.
So the sum is bounded by 2(a+b+c)\sqrt2(a+b+c), which is weaker than the target but a start.

For the sharper bound, use the Engel form:
∑a(b+c)=∑a⋅b+c⋅??.\sum\sqrt{a(b+c)}=\sum\frac{\sqrt{a}\cdot\sqrt{b+c}\cdot\sqrt{?}}{?}.

A cleaner approach: by Cauchy-Schwarz,
(∑a(b+c))2≤(∑a)(∑(b+c))=2(a+b+c)2,\left(\sum\sqrt{a(b+c)}\right)^2\le\left(\sum a\right)\left(\sum(b+c)\right)=2(a+b+c)^2,
which gives ≤2(a+b+c)\le\sqrt2(a+b+c), weaker.

Sharper approach. By AM-GM, a(b+c)≤a+(b+c)2=a+b+c2\sqrt{a(b+c)}\le\frac{a+(b+c)}{2}=\frac{a+b+c}{2}. Summing over cyclic gives ≤32(a+b+c)\le\frac32(a+b+c), which is also not the claimed form.

The claimed bound 3(a+b+c)(ab+bc+ca)/2\sqrt{3(a+b+c)(ab+bc+ca)/2} can be proved by applying Cauchy-Schwarz to ∑ab+c\sum\sqrt{a}\sqrt{b+c} in a different weighting, or by squaring and using symmetric inequalities.

Conclusion. The inequality holds, with equality iff a=b=ca=b=c.