Beh.: \(d((x_a, y_a), (x_b, y_b)) \le d((x_a, y_a), (x_c, y_c)) + d((x_c, y_c), (x_b, y_b)) \)
Also nach der Def. zu zeigen:
\( | x_a - x_b | + | y_a - y_b | \le | x_a - x_c | + | y_a - y_c | + | x_c - x_b | + | y_c - y_b | \)
Fangen wird rechts an: \( | x_a - x_c | + | y_a - y_c | + | x_c - x_b | + | y_c - y_b | \)
\( = | x_a - x_c | + | x_c - x_b | + | y_a - y_c | + | y_c - y_b | \)
Dreeicksungleichung für den Betrag ergibt
\( \ge | x_a - x_c + x_c - x_b | + | y_a - y_c + y_c - y_b | \)
\( | x_a - x_b | + | y_a - y_b | \) q.e.d.