Lösung von Aufgabe 11.5P (SoSe 23)

Beweisen Sie Satz IX.3: Bei einer Punktspiegelung ist der Schnittpunkt S der beiden Spiegelgeraden a und b Mittelpunkt der Strecke $\overline{P{P}^{″}}$, mit $P^{″}=S_a\circ S_b(P)$.