Lösung von Aufgabe 10.4P (WS 18/19)

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