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

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

Если прямая проходит через конец радиуса, лежащий на окружности, и перпендикулярна к этому радиусу, то она является касательной.

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

ОА ⊥ р ⇒ расстояние от центра окружности до m - r∃ (∙) Н ∈ р: ОН⊥р 
⇒ m  и окружность имеют одну общую точку 
⇒ m - касательная
ч.т.д.