Теорема о касательной к окружности

Материал из wiki.spbal.ru
Перейти к навигации Перейти к поиску

Формулировка

'Касательная к окружности перпендикулярна радиусу, проведенному в точку касания.'


1 касательная.jpg

Доказательство

] ОА не ⊥ р ⇒∃ (∙) Н ∈ р : ОН⊥р 
⇒ ОН < OA 
⇒ ОН < r
⇒ p - секущая, но р - касательная
⇒ ОА⊥р
ч.т.д.