Beweis. (1). Nach Satz 2.6(3) gilt: ± a ≤|a| und ± b ≤|b|.
1. Fall: a + b ≥ 0⇒|a + b| = a + b ≤|a| + |b|.
2. Fall: a + b < 0⇒|a + b| = -(a + b) = (-a) + (-b) ≤|a| + |b|.
In jedem Fall ist also |a + b|≤|a| + |b|.
(2). Nach (1) gilt:
|a| = |a - b + b|≤|a - b| + |b|⇒|a|-|b|≤|a - b|.
Analog erhält man
|b| = |b - a + a|≤|b - a| + |a|⇒|b|-|a|︸-(|a|-|b|) ≤|b - a| = |a - b|.
Also ± (|a|-|b|) ≤|a - b|, und somit gilt
|a|-|b|≤|a - b|.