По свойству окружности квадрат отрезка касательной равен произведению отрезков секущей: Покажем это. Проведем хорды и
Рассмотрим треугольники и В них — общий. Далее, так как угол между касательной и хордой равен половине градусной меры дуги, заключённой между ними, то Таким образом, треугольники и подобны по двум углам. Из их подобия следует, что Отсюда получаем то, что требовалось: Тогда окончательно имеем: