if a point is on the perpendicular bisector of a segment then it is equidistant from the endpoints of the segment