сравнение а ≡ b (mod m) выполняется для целых (положительных) чисел а и b тогда и только тогда, когда числа а и b имеют одинаковые последние цифры в записи при основании m.
Например,
37 ≡ 87 (mod 10),
так как эти два числа имеют одну и ту же последнюю цифру в десятичной системе чисел.
Система задач 7.2.
1. Найдите остатки —37(mod 7), — 111 (mod 11), — 365 (mod 30).
§ 3. Алгебра сравнений
Из алгебры мы помним, что уравнения можно складывать, вычитать, умножать. Точно такие же правила справедливы для сравнений. Предположим, что мы имеем сравнения
a ≡ b (mod m), с ≡ d (mod m). (7.3.1)
По определению, это означает, что
a = b + mk, c = d + ml, (7.3.2)
где k и l — целые числа. Сложим уравнения (7.3.2).
В результате получаем
а + с = b + d + m (k + l),
что можем записать как
а + с ≡ b + d (mod m); (7.3.3)
другими словами, два сравнения можно складывать. Таким же образом можно показать, что одно сравнение можно вычитать из другого, т. е. что
a — c ≡ b — d (mod m). (7.3.4)
Пример.
11 ≡ —5 (mod 8) и 7 = — 9 (mod 8). (7.3.5)
Складывая их, получаем
18 ≡ — 14 (mod 8),
а вычитая,
4 ≡ 4 (mod 8).
Оба эти сравнения справедливы.
Можно также перемножить два сравнения. Из (7.3.1) и (7.3.2) следует, что
ac = bd + m(kd + bl + mkl),
таким образом,
ас ≡ 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).
Как мы только что видели, можно умножить это сравнение на себя, получив
а2 ≡ b2 (mod m).
Вообще можно, умножив это сравнение на себя нужное количество раз, получить
an ≡ bn (mod m)
для любого целого положительного числа m.
Пример. Из сравнения
8 ≡ -3 (mod 11)
после возведения в квадрат следует сравнение
64 ≡ 9 (mod 11),
а после возведения в куб получаем сравнение
512 ≡ -27 (mod 11).
Многие результаты теории сравнений связаны с остатками высоких степеней чисел, поэтому покажем, как можно продолжить процесс возведения в степень. Предположим, например, что мы хотим найти остаток сравнения
389 (mod 7).
Одним из путей для выполнения этого является повторное возведение в квадрат. Мы находим:
9 = 32 ≡ 2 (mod 7),
34 ≡ 4,
38 ≡ 16 ≡ 2,
364 ≡ 4 (mod 7).
Так как
89 = 64 + 16 + 8 + 1 = 26 + 24 + 23 + 1,
то отсюда следует, что
389 = 364 • З16 • З8 • 3 = 4 • 4 • 2 • 3 ≡ 5 (mod 7).
Таким образом, остаток (по модулю 7) есть 5, или, говоря другими словами, в соответствии с изложенным в § 2, последняя цифра числа З89, записанного в системе счисления при основании 7, равна 5.
В действительности, для того чтобы найти этот остаток, мы записали показатель степени
89 = 26 + 24 + 23 + 1 = (1, 0, 1, 1, 0, 0, 1)
в двоичной системе счисления. Повторным возведением в квадрат мы нашли остатки (по модулю 7) тех степеней числа 89, которые сами являются степенями числа 2:
1, 2, 4, 8, 16, 32, 64.
Соответствующий метод можно использовать для любых других оснований. Однако в частном случае бывает возможность упростить вычисление, если заметить особенности этого случая. Например, в случае, разобранном выше, мы можем отметить, что
33 ≡ -1 (mod 7),
З6 ≡ 1 (mod 7),
откуда заключаем, что
384 = (36)14 ≡ 1 (mod7).
Поэтому
389 = 384 • 33 • 32 ≡ 1 • (-1) • 2 = -2 ≡ 5 (mod 7),
как и раньше.
В качестве другой иллюстрации сказанного можно рассмотреть числа Ферма, с которыми мы познакомились в § 3 гл. 2: