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