Geometric constructions: perpendicular line through a point not on the line