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