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