`x^2 + y^2 + z^2 + 2x - 2y - 2z + 3`
`= (x² + 2x + 1) + (y^2 - 2y + 1) + (z^2 - 2z + 1)`
`= (x + 1)^2 + (y - 1)^2 + (z - 1)^2`
Vì:
\(\left\{ \begin{array}{l}(x + 1)^2 ≥ 0\\(y - 1)^2 ≥ 0\\(z - 1)^2 ≥ 0\end{array} \right.\) với `AA x in RR`
`=> (x + 1)^2 + (y - 1)^2 + (z - 1)^2 > 0` với `AA x in RR`