Perpendicular bisector through a point