perpendicular line through external point