Multiplication by Negative Real Number/Corollary
Jump to navigation
Jump to search
Corollary to Multiplication by Negative Real Number
- $\forall x \in \R: \paren {-1} \times x = -x$
Proof
\(\ds \paren {-1} \times x\) | \(=\) | \(\ds -\paren {1 \times x}\) | Multiplication by Negative Real Number | |||||||||||
\(\ds \) | \(=\) | \(\ds -x\) | Real Number Axiom $\R \text M3$: Identity Element for Multiplication |
$\blacksquare$
Sources
- 2000: James R. Munkres: Topology (2nd ed.) ... (previous) ... (next): $1$: Set Theory and Logic: $\S 4$: The Integers and the Real Numbers: Exercise $1 \ \text{(f)}$