Spiegelung eines Punktes P an einer Geraden g zu P':
- verbindet man P und P', steht der Vektor PP' (=v, die Verbindungslinie) senkrecht auf g.
- der Schnittpunkt von v und g sei L, dann gilt d(LP) = d(LP')
Für alle Punkte des Dreiecks ist das der Fall.