Ta có : \(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}=1\Leftrightarrow xy+yz+zx=xyz\)
\(\sqrt{x+yz}+\sqrt{y+zx}+\sqrt{z+xy}\ge\sqrt{xyz}+\sqrt{x}+\sqrt{y}+\sqrt{z}\)
Bình phương vế trái :
\(\left(\sqrt{x+yz}+\sqrt{y+zx}+\sqrt{z+xy}\right)^2\)
\(=\left(x+y+z+xy+yz+zx\right)+2\left(\sqrt{x+yz}.\sqrt{y+zx}+\sqrt{y+zx}.\sqrt{z+xy}+\sqrt{z+xy}.\sqrt{x+yz}\right)\)Bình phương vế phải :
\(\left(\sqrt{xyz}+\sqrt{x}+\sqrt{y}+\sqrt{z}\right)^2=\left(xyz+x+y+z\right)+2\left(x\sqrt{yz}+y\sqrt{xz}+z\sqrt{xy}+\sqrt{xy}+\sqrt{yz}+\sqrt{zx}\right)\)
Suy ra cần phải chứng minh : \(\sqrt{x+yz}.\sqrt{y+zx}+\sqrt{y+zx}.\sqrt{z+xy}+\sqrt{z+xy}.\sqrt{x+yz}\ge x\sqrt{yz}+y\sqrt{xz}+z\sqrt{xy}+\sqrt{x}+\sqrt{y}+\sqrt{z}\)(*)
Thật vậy, theo bđt Bunhiacopxki ta có : \(\sqrt{x+yz}.\sqrt{y+zx}\ge\sqrt{xy}+z\sqrt{xy}\)
\(\sqrt{y+zx}.\sqrt{z+xy}\ge\sqrt{yz}+x\sqrt{yz}\)
\(\sqrt{z+xy}.\sqrt{x+yz}\ge\sqrt{xz}+y\sqrt{xz}\)
Cộng các bđt trên theo vế ta chứng minh được (*) đúng.
Vậy bđt ban đầu được chứng minh.