\(4x^2+y^2+z^2+t^2\ge2x\left(y+z+t\right)\)
\(\Leftrightarrow4x^2+y^2+z^2+t^2-2xy-2xz-2xt\ge0\)
\(\Leftrightarrow\left(x^2-2xy+y^2\right)+\left(x^2-2xz+z^2\right)+\left(x^2-2xt+t^2\right)+x^2\ge0\)
\(\Leftrightarrow\left(x-y\right)^2+\left(x-z\right)^2+\left(x-t\right)^2+x^2\ge0\)(đúng)
=>đpcm
"="<=>x=y=z=t=0