Perpendicular bisector/Distance condition/Fact

Let be different points in a Euclidean plane.

Then the

perpendicular bisector of and consists of all those points that have the same distance to

and to .