Constructing a perpendicular bisector