|x| - |y| ≤ |x - y|.
Cambiando di posto |x| e |y| e cambiando anche il segno, risulta:
-(|x| - |y|) = |y| - |x| ≤ |y - x| = |-(y - x)| = |x - y|
e, per la 1), si ha:
||x| - |y|| ≤ |x - y|,
come volevasi dimostrare.
Sia
si dimostra:
Dimostrazione 1).
Sia
Si osserva ora che, per la proprietà 3) si ha:
e quindi, considerato
come volevasi dimostrare.
Dimostrazione 2).
Per ipotesi,
Inoltre, tenendo conto che
come volevasi dimostrare.
Dimostrazione 3).Per ipotesi,
Inoltre, tenendo conto che
come volevasi dimostrare.