Если из точки к окружности проведены две касательные, то отрезки касательных от этой точки до точек касания равны.
где P — точка, из которой проведены касательные PA и PB к окружности.