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 .