Negative of Negative Real Number

From ProofWiki
Jump to navigation Jump to search

Theorem

$\forall x \in \R: -\paren {-x} = x$


Proof

\(\ds 0\) \(=\) \(\ds \paren {-x} + x\) Real Number Axioms: $\R A 4$: Inverse for Addition
\(\ds \leadsto \ \ \) \(\ds -\paren {-x} + 0\) \(=\) \(\ds -\paren {-x} + \paren {-x} + x\) adding $-\paren {-x}$ to both sides
\(\ds \leadsto \ \ \) \(\ds -\paren {-x} + 0\) \(=\) \(\ds \paren {-\paren {-x} + \paren {-x} } + x\) Real Number Axioms: $\R A 1$: Associativity
\(\ds \leadsto \ \ \) \(\ds -\paren {-x} + 0\) \(=\) \(\ds 0 + x\) Real Number Axioms: $\R A 4$: Inverse for Addition
\(\ds \leadsto \ \ \) \(\ds -\paren {-x}\) \(=\) \(\ds x\) Real Number Axioms: $\R A 3$: Identity for Addition

$\blacksquare$


Sources