Perpendicular bisector/Distance condition/Fact

< Perpendicular bisector < Distance condition

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 .