Теорема об отрезках касательной и секущих

Если касательная и секущая к окружности проведены из одной точки, то произведение секущей на её внешнюю часть равно квадрату касательной.