Предположим, что AB – касательная к окружности, а AD – секущая. Тогда по теореме о касательной и секущей, проведенных из одной точки, квадрат касательной равен произведению секущей на ее внешнюю часть. Таким образом, AB² = AD · AC, что и требовалось доказать.