Существует. Основано на равенстве отрезков касательных, проведённых из одной точке к окружности.