geo_perpendicular bisector construction