Это утверждение следует из теоремы о касательной и секущей, которая устанавливает геометрическую зависимость между длинами касательной и секущей любой окружности. 4

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

Математически это можно записать так: AB² = AD × AC, где AB — касательная, AD — секущая, AC — внешняя часть секущей. 24