perpendicular bisector theorem construction