Mittelsenkrechten schneiden sich in einem Punkt

Fasst man Geraden als Fixlinien von Spiegelungen der Ebene auf, und ist dann das Produkt dreier konkurrenter Geraden wieder eine Gerade (d.h. das Produkt der drei repräsentierten Spiegelungen wieder eine Spiegelung), gilt der Mittelsenkrechtensatz.
Zu den beiden Mittelsenkrechten ma und mc zeichnen wir die konkurrente Ecktransversale g durch B. Das Produkt der drei Linien sei h. Man kann zeigen, dass h die Mittelsenkrechte mb ist.

zu Kapitel und Portal