perpendicular bisector 3