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 .