Lösung von Aufgabe 10.3P (WS 17 18)

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