Perpendicular from an external point to a line via circle intersection

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