Предыдущая упражнение. (решенное)
Задача. Первое число последовательности — натуральное число, меньшее 10 000. Каждое следующее число в последовательности получается из предыдущего так: число возводится в квадрат и от него оставляется число, образованное последними четырьмя цифрами. Докажите, что последовательность периодическая (возможно, с предпериодом) и сделайте какую-нибудь оценку длины периода.
Решение. Рассмотрим граф, в котором каждой вершине будет соответствовать не более чем четырёхзначное целое неотрицательное число. Будем соединять две вершины ориентированным ребром, если из одного числа с помощью описанной операции получается другое. В этом графе конечное число вершин, каждая следующая однозначно определяется по предыдущей, поэтому последовательность зациклится. Поскольку в графе 10000 вершин, то длина периода последовательности не превосходит 10000. Улучшим оценку длины периода. Заметим, что если первое число нечётное, то каждое следующее будет нечётным, а если первое число чётное, то каждое следующее будет чётным. Таким образом, все числа в периоде будут иметь одну и ту же чётность, поэтому длина периода не больше, чем 5000.
Задание.
Заполните пропуски в тексте так, чтобы получилось правильное рассуждение.
Улучшим оценку в предыдущем упражнении.
Обозначим первое число через a. Как известно, число даёт при делении на 4 такой же остаток, что и число, образованное его двумя последними цифрами. Следовательно, отбрасывание всех цифр, кроме последних четырёх, не будет влиять на остаток числа при делении на 4. Несложно видеть, что все числа, начиная со второго, будут иметь один и тот же остаток при делении на 4.
Остаток числа a: Остаток остальных чисел:
0 Выбрать (0 или 1, или 2, или 3)
1 Выбрать (0 или 1, или 2, или 3)
2 Выбрать (0 или 1, или 2, или 3)
3 Выбрать (0 или 1, или 2, или 3)
Таким образом, все числа в периоде будут давать одинаковый остаток при делении на 4, поэтому длина периода не превосходит Выбрать (250 или 1000, или 2500).
Ещё улучшим оценку.
Как известно, аналогичное утверждение верно для любой степени двойки, а именно: число даёт такой же остаток при делении на 2^k, как и число, составленное из k его последних цифр. Будем рассматривать остатки чисел в последовательности при делении на Выбрать (8 или 16, или 32). У второго числа остаток будет таким же, как и у числа a^2, у третьего — таким же, как у числа a^4 и т.д.
Если a чётное, то все числа последовательности, начиная Выбрать (со второй или с третьей) , будут давать остаток 0.
Если a нечётное, то несложно убедиться, что все числа последовательности, начиная Выбрать (со второй или с третьей), будут давать остаток 1.
Таким образом, все числа в периоде будут давать одинаковый остаток при делении на Выбрать (8 или 16, или 32), поэтому длина периода не превосходит Выбрать (63 или 125 или 250 или 625).