if a point is om the prependicular bisector of a segm
ent then it is equidstant from the endpoints of segment
ent then it is equidstant from the endpoints of segment