Die Mittelsenkrechte zu zwei gegebenen Punkten A und B stellt die Menge aller Punkte dar, die von A und B jeweils gleichen Abstand haben. Damit ist der Schnittpunkt der Mittelsenkrechte mit der Strecke [AB] der Mittelpunkt der beiden Punkte.