17)

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