Lösung von Aufgabe 11.2P (SoSe 22)

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.