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

Версия 14:52, 8 февраля 2020

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

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

ч.т.д.

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