perpendicular bisector of a segment