Теорема о касательной к окружности
Перейти к навигации
Перейти к поиску
Формулировка
Касательная к окружности перпендикулярна радиусу, проведенному в точку касания.
Доказательство
] ОА не ⊥ р ⇒∃ (∙) Н ∈ р : ОН⊥р ⇒ ОН < OA ⇒ ОН < r ⇒ p - секущая, но р - касательная ⇒ ОА⊥р
ч.т.д.
