Perpendicular bisector theorem