Đặt \(\left(a,b,c\right)=\left(\sqrt{x},\sqrt{y},\sqrt{z}\right)\).
Xét 4 số m, n, p, q. Ta sẽ chứng minh \(\left(m+n+p+q\right)^2\le4\left(m^2+n^2+p^2+q^2\right)\) (*)
Thật vậy:
(*) \(\Leftrightarrow2\left(mn+np+pq+qm+mp+nq\right)\le3\left(m^2+n^2+p^2+q^2\right)\)
\(\Leftrightarrow\left(m-n\right)^2+\left(n-p\right)^2+\left(p-q\right)^2+\left(q-m\right)^2+\left(m-p\right)^2+\left(n-q\right)^2\ge0\) (luôn đúng).
Từ đó: \(\left(\sqrt{x}+\sqrt{y}+2\sqrt{z}\right)^2=\left(\sqrt{x}+\sqrt{y}+\sqrt{z}+\sqrt{z}\right)^2\le4\left(x+y+z+z\right)=4\left(x+y+2z\right)\)
\(\Leftrightarrow\sqrt{x}+\sqrt{y}+2\sqrt{z}\le2\sqrt{x+y+2z}\)
\(\Leftrightarrow\sqrt{\frac{xy}{x+y+2z}}=\frac{\sqrt{xy}}{\sqrt{x+y+2z}}\le\frac{2\sqrt{x}\sqrt{y}}{\sqrt{x}+\sqrt{y}+2\sqrt{z}}=\frac{2ab}{a+b+2c}\le\frac{1}{2}ab\frac{4}{\left(a+c\right)+\left(b+c\right)}\le\frac{1}{2}ab\left(\frac{1}{a+c}+\frac{1}{b+c}\right)=\frac{1}{2}\left(\frac{ab}{a+c}+\frac{ab}{b+c}\right)\)
Tương tự, ta có:
\(\sum\sqrt{\frac{xy}{x+y+2z}}\le\frac{1}{2}\sum\left(\frac{ab}{a+c}+\frac{ab}{b+c}\right)=\frac{1}{2}\sum\left(\frac{ab}{a+c}+\frac{bc}{c+a}\right)=\frac{1}{2}\sum a=\frac{1}{2}\)
