Gegeben ist der Punkt und die Gerade . Wie lauten die Koordinaten des Punktes , den man durch Spiegelung von an der Geraden erhält?
Gleichung der Geraden Gleichung der Normalen zu durch : Schnittpunkt : Damit folgt .