Với mọi số thực x; y ta luôn có:
\(\left(x-y\right)^2\ge0\)
\(\Leftrightarrow x^2+y^2-2xy\ge0\)
\(\Leftrightarrow x^2+y^2\ge2xy\)
\(\Leftrightarrow2x^2+2y^2\ge x^2+y^2+2xy\)
\(\Leftrightarrow2\left(x^2+y^2\right)\ge\left(x+y\right)^2\)
\(\Leftrightarrow x^2+y^2\ge\frac{\left(x+y\right)^2}{2}=\frac{1}{2}\) (đpcm)
Dấu "=" xảy ra khi \(x=y=\frac{1}{2}\)