Теорема о касательной к окружности
Версия от 14:52, 8 февраля 2020; Алёна Ефимова (обсуждение | вклад)
Формулировка
Касательная к окружности перпендикулярна радиусу, проведенному в точку касания .
Доказательство
] ОА не ⊥ р ⇒∃ (∙) Н ∈ р : ОН⊥р ⇒ ОН < OA ⇒ ОН < r ⇒ p - секущая, но р - касательная ⇒ ОА⊥р
ч.т.д.
