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|.   <mi 
>P</mi><mi 
>I</mi><mi 
>C</mi><mi 
>T</mi>