Теорема: Касательная к окружности перпендикулярна радиусу, проведенному в точку касания. Доказательство: Проведем радиус к точке касания. Допустим, что он не перпендикулярен касательной. Тогда можно было бы провести еще одну прямую через точку касания, что противоречит определению касательной.