Mittelsenkrechte/Abstandsbedingung/Fakt

Es seien ${}A,B$ verschiedene Punkte in einer euklidischen Ebene.

Dann besteht die Mittelsenkrechte zu ${}A$ und ${}B$ genau aus allen Punkten, die zu ${}A$ und ${}B$ den gleichen Abstand haben.