Olympiad Maths Prep

Track / Stage 6 / 258 of 400 #1258 of 2000

Problem 1258

National olympiad, first round
Algebra Difficulty 6.4 Prove it

If a,b,c>0a, b, c > 0, prove:
aa+b22a, \sum \frac{a}{\sqrt{a+b}} \geqslant \frac{\sqrt{2}}{2} \sum \sqrt{a},

where “\sum” denotes the cyclic sum.
This problem was selected as a 2014 Indonesian National Team Selection Exam question.
We will prove a stronger inequality:
aa+b(ab)(1a+b)22a. \begin{array}{l} \sum \frac{a}{\sqrt{a+b}} \geqslant \sqrt{\left(\sum a b\right)\left(\sum \frac{1}{a+b}\right)} \\ \geqslant \frac{\sqrt{2}}{2} \sum \sqrt{a} . \end{array}

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Prove the left inequality first.
Square both sides to get
a2a+b+2aba+bb+c(ab)(1a+b)(aaba+b)+2aba+bb+c(a+aba+b)aba+bb+caba+bab(a+c)(a+b)(b+c)ab(a+c)(b+c). \begin{array}{l} \sum \frac{a^{2}}{a+b}+2 \sum \frac{a b}{\sqrt{a+b} \sqrt{b+c}} \\ \geqslant\left(\sum a b\right)\left(\sum \frac{1}{a+b}\right) \\ \Leftrightarrow \sum\left(a-\frac{a b}{a+b}\right)+2 \sum \frac{a b}{\sqrt{a+b} \sqrt{b+c}} \\ \geqslant \sum\left(a+\frac{a b}{a+b}\right) \\ \Leftrightarrow \sum \frac{a b}{\sqrt{a+b} \sqrt{b+c}} \geqslant \sum \frac{a b}{a+b} \\ \Leftrightarrow \sum a b(a+c) \sqrt{(a+b)(b+c)} \\ \quad \geqslant \sum a b(a+c)(b+c) . \end{array}

Notice that,
(a+b)(b+c)(b+2aca+c)2=ab+bc+ca(a+c)2(ac)20. Hence aab(a+c)(a+b)(b+c)ab(a+c)(b+2aca+c)=ab(a+c)(b+c). \begin{array}{l} (a+b)(b+c)-\left(b+\frac{2 a c}{a+c}\right)^{2} \\ =\frac{a b+b c+c a}{(a+c)^{2}}(a-c)^{2} \geqslant 0 . \\ \text { Hence } a a b(a+c) \sqrt{(a+b)(b+c)} \\ \geqslant \sum a b(a+c)\left(b+\frac{2 a c}{a+c}\right) \\ =\sum a b(a+c)(b+c) . \end{array}

Now prove the right inequality.
Using the weighted Jensen's inequality, we get
22(a+b+c)=22×2(1a)[1b+1c21aa(1b+1c)2]22×2(1a)a(1b+1c)2(1a)=22(a1b+1c)2(1a)=(ab)(1a+b) \begin{array}{l} \frac{\sqrt{2}}{2}(\sqrt{a}+\sqrt{b}+\sqrt{c}) \\ =\frac{\sqrt{2}}{2} \times 2\left(\sum \frac{1}{a}\right)\left[\sum \frac{\frac{1}{b}+\frac{1}{c}}{2 \sum \frac{1}{a}} \sqrt{\frac{a}{\left(\frac{1}{b}+\frac{1}{c}\right)^{2}}}\right] \\ \leqslant \frac{\sqrt{2}}{2} \times 2\left(\sum \frac{1}{a}\right) \sqrt{\sum \frac{a}{\left(\frac{1}{b}+\frac{1}{c}\right) 2\left(\sum \frac{1}{a}\right)}} \\ =\frac{\sqrt{2}}{2} \sqrt{\left(\sum \frac{a}{\frac{1}{b}+\frac{1}{c}}\right) 2\left(\sum \frac{1}{a}\right)} \\ =\sqrt{\left(\sum a b\right)\left(\sum \frac{1}{a+b}\right)} \text {. } \\ \end{array}

In conclusion, the result holds.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.