Constructing perpendicular bisectors