Из точки вне окружности проведены касательная
и секущая
как показано на картинке. Найдите длину отрезка
если
а
Так как квадрат отрезка касательной равен произведению секущей на ее внешнюю часть, то
Отсюда имеем:
Так как длина отрезка — неотрицательное число, то