§ 2.8. Первообразные корни 117
12*. Докажите, что степень двойки может начинаться с любой ком
-
бинации цифр.
13*. Докажите, что
(a
n
−b
n
, n) =
a
n
−b
n
a − b
, n
,
где a, b, n
––
натуральные числа.
14*. Докажите, что если при натуральных a, n число (a
n
−1)
/
(a −1)
есть степень простого числа, то n
––
тоже простое число.
15*. (Д. Загир.) Пусть p
––
простое число вида 4k + 1. Докажите, что
преобразование
f(x, y, z) =
(2y −x, y, x − y + z), если y −z < x < 2y;
(x −2y, x −y + z, y), если 2y < x;
(x + 2z, z, y −x −z) в остальных случаях
является перестановкой порядка 2 на множестве всех натуральных ре
-
шений уравнения x
2
+ 4yz = p, имеющей лишь одну неподвижную точку,
именно, (1, 1, k).
16*. (Д. Загир.) Докажите, что уравнение x
2
+ 4yz = p имеет нечет
-
ное число натуральных решений, и так как преобразование g(x, y, z) =
= (x, z, y) тоже является перестановкой порядка 2 на множестве всех его
натуральных решений, оно имеет хотя бы одну неподвижную точку, т. е.
точку вида (x, y, y), где x
2
+ 4y
2
= p.
17*. Докажите, что простое вида 4k + 1 представимо в виде суммы
двух квадратов ровно одним способом (с точностью до перестановки сла
-
гаемых), а простые вида 4k + 3 непредставимы таким образом.
18*. Пусть n = (2
2p
−1)
/
3, p > 3,
––
простое число. Докажите, что
а) n |2
2p
−1; б) 4p(2
p−1
+ 1) |n −1; в) n |2
n
−2.
19*. (Чебышёв.) Применяя квадратичный закон взаимности, дока
-
жите, что 2
––
первообразный корень по модулю простого числа p вида
4q + 1, где q
––
простое, и по модулю простого числа p вида 2q + 1, где
q = 4k + 1
––
простое. Если же в последнем случае простое q = 4k + 3,
то первообразным корнем по модулю p = 2q + 1 будет минус два.
20*. (Чебышёв.) Применяя квадратичный закон взаимности, докажи
-
те, что 3 есть первообразный корень по модулю простого числа Ферма
2
2
n
+ 1. Применяя квадратичный закон взаимности, докажите, что 3 есть
первообразный корень по модулю простого числа вида 4 ·2
m
N + 1, где
N > 9
2
m
/
(4 ·2
m
)
—
также простое.
21. (Чебышёв.) Применяя предыдущие задачи, проверьте, что два бу
-
дет первообразным корнем по модулям 11, 59, 83, 107, 123; три будет пер
-
вообразным корнем по модулям 5, 17, 89, 137, 233, 257, 569, 809, 857, 6737,
65537; минус два будет первообразным корнем по модулям 7, 13, 47.