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