Теорема о касательной к окружности: различия между версиями

Текущая версия на 14:55, 8 февраля 2020

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

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

ч.т.д.

@@ Строка 1: / Строка 1: @@
+==Формулировка==
+''Касательная к окружности перпендикулярна радиусу, проведенному в точку касания.''
 [[Файл:1 касательная.jpg]]
+==Доказательство==
+ ] ОА не ⊥ р ⇒∃ (∙) Н ∈ р : ОН⊥р
+ ⇒ ОН < OA
+ ⇒ ОН < r
+ ⇒ p - секущая, но р - касательная
+ ⇒ ОА⊥р
+ '''ч.т.д.'''