Теорема о свойстве касательной: Радиус, проведённый к точке касания, перпендикулярен касательной.
Обратная теорема: Если радиус, проведённый к точке окружности, перпендикулярен некоторой прямой, проходящей через эту точку, то эта прямая является касательной к окружности.