9. Сформулируйте признак касательной к окружности

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