Jeder Punkt, der von den Endpunkten einer Strecke gleich weit entfernt ist, liegt auf der Mittelsenkrechten (Mediatrix)

→ Beweis: