Ta có:\(x^2+y^2\ge\frac{\left(x+y\right)^2}{2}\Leftrightarrow2\left(x^2+y^2\right)\ge\left(x+y\right)^2\)
\(\Leftrightarrow x^2+y^2\ge2xy\Leftrightarrow\left(x-y\right)^2\ge0\)(đúng) \(\Rightarrow x^2+y^2\ge\frac{\left(x+y\right)^2}{2}\)(1)
Mặt khác: \(\frac{\left(x+y\right)^2}{2}\ge2xy\Leftrightarrow\left(x+y\right)^2\ge4xy\Leftrightarrow x^2+y^2\ge2xy\)
\(\Leftrightarrow\left(x-y\right)^2\ge0\)(đúng) \(\Rightarrow\frac{\left(x+y\right)^2}{2}\ge2xy\) (2)
Từ (1) và (2) => đpcm