прямой KM. Тогда
Касательная к окружности
Свойство касательной. Касательная к
окружности перпендикулярна к радиусу, проведенному в точку касания.Признак касательной. Прямая, проходящая через точку окружности и перпендикулярная к радиусу, проведенному в эту точку, является касательной.
KM – касательная ⇔ d = R.
Свойство + признак: если K – точка окружности, то KM – касательная ⇔ KM ⊥ OK.
Доказательство
K
M
d
d = R
Но R = OK, а d = OK ⇔ OK ⊥ KM, ч.т.д.