Пусть прямая
пересекает окружность в точке
(отличной от
), а прямую
- в точке
. Поскольку
, то
, т.е. отрезок
- диаметр вписанной в
окружности. Проведём через точку
касательную к этой окружности, которая будет параллельна
. Пусть эта касательная пересекает прямые
и
в точках
и
соответственно. Если мы применим к
преобразование подобия с центром в точке
и коэффициентом
, то
перейдёт в
, а окружность, являвшаяся вневписанной в
- в окружность, вневписанную в
и касающуюся стороны
в точке
(т.к. точка
перейдёт в точку
). Пусть эта новая окружность касается прямой
в точке
, а прямой
- в точке
, а исходная окружность - в точках
и
соответственно.
Ввиду того, что
,
, т.е.
. Теперь применим свойство равенства касательных, проведённых из одной точки к одной и той же окружности:
откуда следует, что
.