12

Es seien $\ A, B, C$ drei paarweise verschiedene Punkte mit

(*) $\operatorname{Zw}(A, B, C)$.

zu zeigen:

(**) $\operatorname{Zw}(A', B', C')$

Wir übersetzen zunächst (*):

$\ |AB| + |BC| = |AC|$

entsprechend (**) haben wir zu zeigen, dass $\ |A'B'| + |B'C'| = |A'C'|$ gilt.

Den Rest können Sie alleine ... .

$Beweis:$
$d( \beta (A), \beta(B)) = d ( A, B)\ (*)$
$d( \beta (B), \beta(C)) = d ( B, C)\ (**)$
$d( \beta (A), \beta(C)) = d ( A, C)\ (***)$

$Aus \ (*),(**), (***) \ und\ der\ Definition\ der\ ZW\ Relation\ ergibt\ sich\ die\ Gleichheit.$

Überschrift 1	Überschrift 2
1	AB| = |A'B'|	Definition Bewegung
2	BC| = |B'C'|	Def. Bewg.
3	AC| = |A'C'|	Def. Bewg.
4	A'B'| + |B'C'| = |A'C'| ist	Voraussetzung, 1, 2, 3