Perpendicular bisector construction