Stelling: Voor iedere $x$ en $y$ gelden de onderstaande eigenschappen.
- $|-x|=|x|$
- $|x\cdot y| = |x| \cdot |y|$
- $-|x| \leq x \leq |x|$
1. We splitsen het bewijs op in drie delen: $x>0$, $x=0$ en $x<0$. We nemen eerst aan dat $x>0$. Dan $|x|=x$. Omdat $-x<0$ geldt dat $|-x|=-(-x)=x$. Dus $|x|=|-x|$.
Vervolgens nemen we aan dat $x=0$. Dan $|x|=0$ en $|-x|=0$. Dus $|x|=|-x|$.
Uiteindelijk nemen we aan dat $x<0$. Dan $|x|=-x$. Omdat $-x>0$ geldt verder $|-x|=-x$. Dus $|x|=|-x|$.