Обозначим Пусть и проекции точки на прямые и соответственно. Пусть — радиус сферы. Так как — перпендикуляр к плоскости , а то по теореме о трёх перпендикулярах получаем . Аналогично Из равенства прямоугольных треугольников и следует, что Из равенства прямоугольных треугольников и так как получаем, что Тогда Кроме того, из равенств отрезков касательных, проведённых к сфере из точки следует, что Для нахождения и выразим из треугольников и Так как и то где Следовательно, откуда получаем

T. e. Тогда .