Олимпиадная задача по геометрии №43: IMO 2017 №4

Вот интересная задача с Международной музыкальной конференции 2017 года. Даны две окружности и касательная к одной из них. Необходимо доказать, что другая линия является касательной к другой окружности. Наслаждайтесь! Ссылка ниже. https://artofproblemsolving.com/community/c6h1480682p8639236