Any point on the perpendicular bisector of a segment is equidistant from the endpoints of the segment.