có : (x-y)2 \(\ge0,\forall x,y\)
==>x2-2xy+y2 \(\ge\)0 \(\forall x,y\)
==> 2.(x2+y2)\(\ge\)2xy +x2+y2 \(\forall x,y\)
==> x2+y2 \(\ge\)\(\dfrac{\left(x+y\right)^2}{2}=\dfrac{2^2}{2}=2\) ( do x+y=2) \(\forall x,y\)
lại có (x2-y2)2\(\ge\)0\(\forall x,y\)
==> x4+y4-2x2y2 \(\ge\)0 \(\forall x,y\)
==> 2.(x4+y4) \(\ge\)2x2y2 + x4+y4 \(\forall x,y\)
==> x4+y4 \(\ge\)\(\dfrac{\left(x^2+y^2\right)^2}{2}\ge\dfrac{2^2}{2}=2\)
==> đpcm
dấu ''=,, xảy ra <=> \(\left\{{}\begin{matrix}x+y=2\\x-y=0\\x^2-y^2=0\end{matrix}\right.< =>x=y=1}\)