Construction of a perpendicular bisector of a line, given a point off it