//Далее я утверждаю, что точка Т2 - лежит на искомой окружности (смотри
подобие треугльников, или еще быстрее теорема о секущих+подобие
треугольников).
Не могли бы Вы прокомментировать этот пункт поподробнее. Что-то мозги с
годами тяжело ворочаются. Окружность, касающаяся прямой и двух точек или
двух прямых и точки, строится на ура, а тут что-то не доходит, почему
Т2 - лежит на искомой окружности и где та касательная, к которой секущую
надо отнести.
поперечный