Algorithm: perpendicular from an external point to a line via circle intersection

Original label: Algorithm: perpendicular from an external point to a line via circle intersection