perpendicular line through external point summary