Lösung von Aufgabe 10.5P (WS 25 26)

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)$.