Constructing a perpendicular line