Lösung von Aufgabe 11.3P (WS 12 13)

Beweisen Sie Satz IX.9:
Gegeben seien zwei zueinander parallele Spiegelgeraden a und b. Wir betrachten die Verkettung $S_a\circ S_b$. Jeder Punkt P hat dabei zu seinem Bildpunkt $P^{″}=S_a\circ S_b(P)$ einen Abstand der doppelt so groß ist als der Abstand der beiden Spiegelgeraden.