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