Ta có \(x+y+z\ge\sqrt{xy}+\sqrt{yz}+\sqrt{zx}\)
\(\Leftrightarrow\left(x-2\sqrt{xy}+y\right)+\left(y-2\sqrt{yz}+z\right)+\left(z-2\sqrt{zx}+x\right)\ge0\)
\(\Leftrightarrow\left(\sqrt{x}-\sqrt{y}\right)^2+\left(\sqrt{y}-\sqrt{z}\right)^2+\left(\sqrt{z}-\sqrt{x}\right)^2\ge0\) (luôn đúng)
Vậy \(x+y+z\ge\sqrt{xy}+\sqrt{yz}+\sqrt{zx}=1\)
Theo BĐT Cauchy-Schwarz dạng Engel
\(A=\dfrac{x^2}{x+y}+\dfrac{y^2}{y+z}+\dfrac{z^2}{z+x}\ge\dfrac{\left(x+y+z\right)^2}{2\left(x+y+z\right)}=\dfrac{x+y+z}{2}\ge\dfrac{1}{2}\)
Đẳng thức xảy ra \(\Leftrightarrow\left\{{}\begin{matrix}\dfrac{x}{x+y}=\dfrac{y}{y+z}=\dfrac{z}{z+x}\\\sqrt{xy}+\sqrt{yz}+\sqrt{zx}=1\end{matrix}\right.\)
\(\Leftrightarrow a=b=c=\dfrac{1}{3}\)
