Dreieck/Mittelsenkrechte/Schnittpunkt/Fakt
Satz über den Umkreismittelpunkt
Die Mittelsenkrechten der drei Seiten in einem nichtausgearteten Dreieck der euklidischen Ebene
schneiden sich in einem Punkt.
Alle Eckpunkte des Dreiecks besitzen zu diesem Schnittpunkt den gleichen Abstand.