ThmDex – An index of mathematical definitions, results, and conjectures.
Result R5245 on D5630: Set of euclidean real numbers
Euclidean real number is zero iff equal to its reflection
Formulation 0
Let $x \in \mathbb{R}^N$ be a D4924: Euclidean real number.
Then \begin{equation} x = - x \quad \iff \quad x = \boldsymbol{0} \end{equation}