Lösung von Zusatzaufgabe 11.1P (SoSe 13)

Beweisen Sie Satz IX.1:
Gegeben seien zwei Spiegelgeraden a und b mit einem gemeinsamen Schnittpunkt S. Wir betrachten die Verkettung $S_{a}\circ S_{b}$. Jeder Punkt P liegt dabei mit seinem Bildpunkt $P''=S_{a}\circ S_{b}(P)$ auf einem Kreis k um S.