Lösung von Aufgabe 3.5 (WS 11/12)

Der Begriff Mittelsenkrechte sei folgendermaßen definiert:
Die Mittelsenkrechte einer Strecke $\overline{AB}$ ist die Gerade g, die durch den Mittelpunkt von $\overline{AB}$ verläuft und zu dieser Strecke $\overline{AB}$ senkrecht steht.
Beweisen Sie folgenden Satz:
Die Mittelsenkrechte m einer beliebigen Strecke $\overline{AB}$ ist die Menge aller Punkte P, die von A und B denselben Abstand haben:
(Beachten Sie, dass auch dieser Beweis wieder aus zwei Teilen besteht analog zur Aufgabe 3.4).