Perpendicular bisector/Distance condition/Fact/Proof/Exercise
< Perpendicular bisector < Distance condition < Fact < Proof
Let be different points in a Euclidean plane. Show that the perpendicular bisector of and consists of all those points that have the same distance to and to .