Пусть прямая

пересекает окружность в точке

(отличной от

), а прямую

- в точке

. Поскольку

, то

, т.е. отрезок

- диаметр вписанной в

окружности. Проведём через точку

касательную к этой окружности, которая будет параллельна

. Пусть эта касательная пересекает прямые

и

в точках

и

соответственно. Если мы применим к

преобразование подобия с центром в точке

и коэффициентом

, то

перейдёт в

, а окружность, являвшаяся вневписанной в

- в окружность, вневписанную в

и касающуюся стороны

в точке

(т.к. точка

перейдёт в точку

). Пусть эта новая окружность касается прямой

в точке

, а прямой

- в точке

, а исходная окружность - в точках

и

соответственно.
Ввиду того, что

,

, т.е.

. Теперь применим свойство равенства касательных, проведённых из одной точки к одной и той же окружности:



откуда следует, что

.
