Với mọi x;y;z ta luôn có:
\(\left(x+y-1\right)^2+\left(z-\dfrac{1}{2}\right)^2\ge0\)
\(\Leftrightarrow x^2+y^2+2xy-2x-2y+1+z^2-z+\dfrac{1}{4}\ge0\)
\(\Leftrightarrow x^2+y^2+z^2+\dfrac{5}{4}+2xy-2x-2y-z\ge0\)
\(\Leftrightarrow2+2xy-2x-2y\ge z\)
\(\Leftrightarrow2\left(1-x\right)\left(1-y\right)\ge z\)
Dấu "=" xảy ra khi và chỉ khi \(x=y=z=\dfrac{1}{2}\)