Lösung von Aufgabe 12.2P (WS 16/17)

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 wie der Abstand der beiden Spiegelgeraden.