Perpendicular bisector and line segment intersection