Với a;b > 0 ta có:
\(\sqrt{a}+\sqrt{b}\le\dfrac{b}{\sqrt{a}}+\dfrac{a}{\sqrt{b}}\\ \Leftrightarrow\dfrac{a\sqrt{b}+b\sqrt{a}}{\sqrt{ab}}\le\dfrac{a\sqrt{a}+b\sqrt{b}}{\sqrt{ab}}\\ \Leftrightarrow a\sqrt{b}+b\sqrt{a}\le a\sqrt{a}+b\sqrt{b}\\ \Leftrightarrow a\sqrt{a}+b\sqrt{b}-a\sqrt{b}-b\sqrt{a}\ge0\\ \Leftrightarrow a\left(\sqrt{a}-\sqrt{b}\right)-b\left(\sqrt{a}-\sqrt{b}\right)\ge0\\ \Leftrightarrow\left(a-b\right)\left(\sqrt{a}-\sqrt{b}\right)\ge0\\ \Leftrightarrow\left(\sqrt{a}-\sqrt{b}\right)^2\left(\sqrt{a}+\sqrt{b}\right)\ge0\)
Bất đẳng thức cuối cùng luôn đúng vì: \(\left\{{}\begin{matrix}\left(\sqrt{a}-\sqrt{b}\right)^2\ge0\\\sqrt{a}+\sqrt{b}>0\left(a;b>0\right)\end{matrix}\right.\)
Vậy bất đẳng thức được chứng minh với a;b >0
