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

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

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

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

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

ч.т.д.