Можно ли утверждать, что число пар точек на этих окружностях, расстояние между которыми равно данному, либо нулевое, либо равно 1, 2,3 или 4?
С чего бы это? Таких пар будет в общем случае бесконечно много.
даже алгебраическими
А Вы знаете, что такое алгебраическое число?