ГЛАВА 7 СРАВНЕНИЯ

ГЛАВА 7

СРАВНЕНИЯ

§ 1. Определение сравнения

Теория чисел имеет свою алгебру, известную, как теория сравнений. Обычная алгебра первоначально развивалась как стенография для операций арифметики. Аналогично, сравнения представляют собой символический язык для делимости, основного понятия теории чисел. Понятие сравнения впервые ввел Гаусс.

Прежде чем мы обратимся к понятию сравнения, сделаем одно замечание о числах, которые будем изучать в этой главе. Мы начали эту книгу, заявив, что будем рассматривать целые положительные числа 1, 2, 3…, и в предыдущих главах мы ограничивались только этими числами и дополнительным числом 0. Но теперь мы достигли стадии, на которой целесообразно расширить наши границы, рассматривая все целые числа:

0, ±1, ±2, ±3….

Это никоим образом не повлияет на наши предыдущие понятия; далее, когда мы будем говорить о простых числах, делителях, наибольших общих делителях и тому подобном, мы будем считать их целыми положительными числами.

Теперь вернемся к языку сравнений. Если а и b — два целых числа и их разность а — b делится на число m, мы выражаем это записью

a ? b (mod m) (7.1.1)

которая читается так:

а сравнимо с b по модулю m.

Делитель m мы предполагаем положительным; он называется модулем сравнения. Наше высказывание (7.1.1) означает, что

a — b = mk, где k — целое число. (7.1.2)

Примеры.

1) 23 ? 8 (mod 5), так как 23 — 8 = 15 = 5 3;

2) 47 ? 11 (mod 9), так как 47–11 = 36 = 9  4;

3) —11 ? 5 (mod 8), так как — 11 — 5 = —16 = 8  (-2);

4) 81 ? 0 (mod 27), так как 81 — 0 = 81 = 27 3.

Последний пример показывает, что вообще, вместо того, чтобы говорить: число а делится на число m, мы можем записать

a ? 0 (mod m),

так как это означает, что

а — 0 = а = mk,

где k — некоторое целое число. Например, вместо того, чтобы сказать, что а — четное число, мы можем записать

a ? 0 (mod 2).

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

а ? 1 (mod 2).

Эта несколько странная терминология является довольно обычной для математических работ.