Приглашение в теорию чисел

ОРЕ О.

таким образом,

ас ≡ bd (mod m). (7.3.6)

Пример. Когда два сравнения из (7.3.5) перемножены, получается

77 = 45 (mod 8).

Сравнение a ≡ b (mod m) может быть умножено на любое целое число с, при этом получаем

ас ≡ bc (mod m). (7.3.7)

Это

можно рассматривать как частный случай умножения сравнений (7.3.6) при с = d. Его можно также рассматривать как прямое следствие из определения сравнения.

Пример. Когда первое сравнение из (7.3.5) умножается на 3, получаем, что

33 = -15 (mod 8).

Возникает естественный вопрос: в каком случае можно в сравнении (7.3.7) сократить общий множитель с и получить при этом верное сравнение

a ≡ b (mod m)?

Именно здесь сравнения отличаются от уравнений. Например, верно, что

22 ≡ -2 (mod 8),

но сокращение на множитель 2 дало бы сравнение

11 ≡ -1 (mod 8),

которое неверно.

В одном важном случае сокращение допустимо:

если ас ≡ bc (mod m), то a ≡ b (mod m) при условии, что числа m и с взаимно просты.

Доказательство. Первое сравнение означает, что

ас — bc = (а — b) с = mk.

Если D(m, с) = 1, то отсюда следует, что а — b делится на m в соответствии с результатом, доказанным в § 2 главы 4.

Пример. В сравнении

4 ≡ 48 (mod 11)

мы можем сократить на множитель 4, так как D(11, 4) = 1. Это дает

1 ≡ 12 (mod 11).

Система задач 7.3.

1. Придумайте еще несколько примеров на использование изложенных правил действий со сравнениями.

§ 4. Возведение сравнений в степень

Предположим вновь, что имеется сравнение

a ≡ b (mod m).

Как мы только что видели, можно умножить это сравнение на себя, получив

а² ≡ b² (mod m).

Вообще можно, умножив это сравнение на себя нужное количество раз,

получить

aⁿ ≡ bⁿ (mod m)

для любого целого положительного числа m.

Пример. Из сравнения

8 ≡ -3 (mod 11)

после возведения в квадрат следует сравнение

64 ≡ 9 (mod 11),

а после возведения в куб получаем сравнение

512 ≡ -27 (mod 11).

Многие результаты теории сравнений связаны с остатками высоких степеней чисел, поэтому покажем, как можно продолжить процесс возведения в степень. Предположим, например, что мы хотим найти остаток сравнения

3⁸⁹ (mod 7).

Одним из путей для выполнения этого является повторное возведение в квадрат. Мы находим:

9 = 3² ≡ 2 (mod 7),

3⁴ ≡ 4,

3⁸ ≡ 16 ≡ 2,

3⁶⁴ ≡ 4 (mod 7).

Так как

89 = 64 + 16 + 8 + 1 = 2⁶ + 2⁴ + 2³ + 1,

то отсюда следует, что

3⁸⁹ = 3⁶⁴ • З¹⁶ • З⁸ • 3 = 4 • 4 • 2 • 3 ≡ 5 (mod 7).

Таким образом, остаток (по модулю 7) есть 5, или, говоря другими словами, в соответствии с изложенным в § 2, последняя цифра числа З⁸⁹, записанного в системе счисления при основании 7, равна 5.

В действительности, для того чтобы найти этот остаток, мы записали показатель степени

89 = 2⁶ + 2⁴ + 2³ + 1 = (1, 0, 1, 1, 0, 0, 1)

в двоичной системе счисления. Повторным возведением в квадрат мы нашли остатки (по модулю 7) тех степеней числа 89, которые сами являются степенями числа 2:

1, 2, 4, 8, 16, 32, 64.

Соответствующий метод можно использовать для любых других оснований. Однако в частном случае бывает возможность упростить вычисление, если заметить особенности этого случая. Например, в случае, разобранном выше, мы можем отметить, что

3³ ≡ -1 (mod 7),

З⁶ ≡ 1 (mod 7),

откуда заключаем, что

3⁸⁴ = (3⁶)¹⁴ ≡ 1 (mod7).

Поэтому

3⁸⁹ = 3⁸⁴ • 3³ • 3² ≡ 1 • (-1) • 2 = -2 ≡ 5 (mod 7),

как и раньше.

В качестве другой иллюстрации сказанного можно рассмотреть числа Ферма, с которыми мы познакомились в § 3 гл. 2:

F_n = 2^2ⁿ+1.