\(x^2+y^2+z^2+4xyz=2\left(xy+yz+zx\right)\\ \Leftrightarrow\left(x-y-z\right)^2=\left(1-x\right)4yz\ge0\\ \Leftrightarrow1-x\ge0\Leftrightarrow0< x\le1\\ \Leftrightarrow\left(x-y-z\right)^2=\left(1-x\right)4yz\le\left(1-x\right)\left(y+z\right)^2\\ \Leftrightarrow x^2-2x\left(y+z\right)+\left(y+z\right)^2\le\left(1-x\right)\left(y+z\right)^2\\ \Leftrightarrow x^2-2x\left(y+z\right)\le\left(y+z\right)^2\left(1-x-1\right)=-x\left(y+z\right)^2\\ \Leftrightarrow x-2\left(y+z\right)\le-\left(y+z\right)^2\\ \Leftrightarrow x\le\left(y+z\right)\left[2-\left(y+z\right)\right]\)
Đặt \(2-\left(y+z\right)=t\)
\(P=x\left(1-y\right)\left(1-z\right)\le x\left(\dfrac{1-y+1-z}{2}\right)^2=\dfrac{x\left[2-\left(y+z\right)\right]^2}{4}\\ \Leftrightarrow4P\le x\left[2-\left(y+z\right)\right]^2\le\left(y+z\right)\left[2-\left(y+z\right)\right]^3\\ \Leftrightarrow4P\le t^3\left(2-t\right)=\dfrac{27}{16}-\dfrac{\left(4t^2+4t+3\right)\left(2t-3\right)^2}{16}\)
Mà \(-\dfrac{\left(4t^2+4t+3\right)\left(2t-3\right)^2}{16}\le0\Leftrightarrow4P\le\dfrac{27}{16}\Leftrightarrow P\le\dfrac{27}{64}\)
Dấu \("="\Leftrightarrow x=\dfrac{3}{4};y=z=\dfrac{1}{4}\)