Gegeben ist der Punkt und die Gerade . Wie lauten die Koordinaten des Punktes , den man durch Spiegelung von an der Geraden enthält?
ist der Lotfusspunkt des Lotes von auf die Gerade . Daraus folgt der gespiegelte Punkt .