The locus of a point, equidistant from two given points, is the
The locus of a point, equidistant from two given points, is the perpendicular bisector of the line segment joining the two points. This is theorem based on points which are equidistant from two given points.