Ta có:
\(\left(\sqrt{a}+\sqrt{b}\right)^2=\left(\sqrt{a}+\sqrt{b}\right)\left(\sqrt{a}+\sqrt{b}\right)\)
\(=\left(\sqrt{a}\right)^2+\sqrt{a}.\sqrt{b}+\sqrt{b}.\sqrt{a}+\left(\sqrt{b}\right)^2\)
\(=a+b+2\sqrt{a}.\sqrt{b}\)
\(=\left(\sqrt{a+b}\right)^2+2\sqrt{a}.\sqrt{b}\)
Vì \(\sqrt{a}\ge0,\sqrt{b}\ge0\) nên \(2\sqrt{a}.\sqrt{b}\ge0\) cho nên
\(\left(\sqrt{a}+\sqrt{b}\right)^2-\left(\sqrt{a+b}\right)^2=2\sqrt{a}.\sqrt{b}\ge0\).
Tức là \(\left(\sqrt{a}+\sqrt{b}\right)^2\ge\left(\sqrt{a+b}\right)^2,\) suy ra \(\sqrt{a}+\sqrt{b}\ge\sqrt{a+b}\)
Đẳng thức \(\sqrt{a}+\sqrt{b}=\sqrt{a+b}\) xảy ra chỉ khi \(\sqrt{a}.\sqrt{b}=0\)
tức là khi \(\sqrt{a}=0\) hoặc \(\sqrt{b}=0\), hay là \(a=0\) hoặc \(b=0\).
