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