constructing a perpendicular bisector