Если бы числа могли говорить. Гаусс. Теория чисел

Значимость этой системы проявляется, когда речь идет о более сложных вычислениях. Если нужно вычислить 7^3 = 7 · 7 · 7, вместо того, чтобы умножать 49 на 7, Гаусс мог ограничиться тем, чтобы умножить 7 на результат последнего сравнения по модулю, то есть 1, произведение будет равно, без сомнения, 7. Так, Гаусс знал, что произведение — это число, которое при делении на 12 в остатке дает 7. Этот метод может быть применен на больших числах, которые превышают возможность вычисления. Не имея ни малейшего понятия о значении 799, с помощью сравнений по модулю ученый знал, что если разделить это число на 12, в остатке получится 7. Исследования Гаусса в этой области арифметики были революционными для математики начала XIX века и позволили ученым обнаруживать структуры, до этого скрытые. Сегодня арифметика сравнений по модулю, также называемая модульной арифметикой, является фундаментальной для безопасности в интернете, где сравнения используются для величин, превышающих количество атомов во Вселенной.

Также преимущество этой записи состоит в том, что она напоминает форму, в которой мы записываем алгебраические выражения. Вместо арифметической делимости, описание которой может быть громоздким, она дает краткую запись, благодаря которой можно складывать, вычитать и умножать сравнения, если их модуль одинаков, а также решать уравнения вида: ах + b == c (mod m).

В заключении к двум первым разделам Гаусс применил эти методы к историческим проблемам, таким как вычисление знаменитой функции Эйлера. Функция (N) определяется как количество целых положительных чисел, меньших или равных N и взаимно простых с . В математике два числа называются взаимно простыми, если у них нет общих делителей, то есть их наибольший общий делитель — 1. Например, 9 = З^2 является взаимно простым с 10 = 5 · 2, и его нужно было бы найти при вычислении ( 10). Множество ( 10) состоит, следовательно, из четырех элементов (1, 3, 7 и 9), и значит, ( 10) = 4.

Гаусс вывел общую формулу для вычисления . Если мы разложим N на простые множители ₁,₂, ...,р_n, то получим N = р₁^m₁, p₂^m₂ · ... · p_n^m_n, где p_i простые числа, a m_i — кратность их повторения. Формула имеет вид:

Если применить формулу к N= 10, то

чего и следовало ожидать.

Формула зависит от простых чисел, на которые раскладывается N, а не от кратности их повторения. В случае с N = 180 получается, что 180 = 2^2 · З^2 · 5, следовательно,

Раздел заканчивается доказательством основной теоремы о многочленных сравнениях. Так, сравнение степени m,

a_mx^m + a_m-1x^m-1 + ··· +а₁x + b == 0 (mod р),

модуль которой р — простое число, не являющееся делителем а_m, может быть решена не более чем m различными способами или не может иметь больше m корней, не сравнимых по модулю р.

В разделе III, озаглавленном De residuis Potestatum («О степенных вычетах»), говорится о квадратичных вычетах и вычетах большей степени. Если заданы целые числа тип, где m не является делителем n, и если существует такое число x, что х^2 = m (mod n), говорят, что m — квадратичный вычет по модулю n; в противном случае говорят, что m — квадратичный невычет по модулю n. Например: 13 — квадратичный вычет по модулю 17, поскольку уравнение х^2 == 13 (mod 17) имеет в качестве решений х = 8, 25, 42, поскольку 8^2 = 64, что при делении на 17 дает 13 в остатке, 25^2 = 625, что при делении на 17 вновь дает 13 в остатке, и то же самое происходит с 42^2 = 1764.

В разделе доказывается малая теорема Ферма: np-¹ == 1 (mod p), где р — простое число, не являющееся делителем n. То есть если р — простое число, которое не является делителем n, то n^p-1 всегда делится на р. Для случая n = 8 np = 5 получается, что 8⁴-1 = 4095, а это делится на 5. Для получения этого результата Гаусс воспользовался формулой бинома Ньютона, сформулированной для сравнений. Следствием является теорема Вильсона, в которой говорится, что если задано простое число р, то

1·2·3·...·(p-1) = (p-1)! == -1 (mod p).

Произведение всех чисел, меньших заданного простого, при добавлении единицы всегда делится на это число. Если, например, мы выберем 7, то 6! = 720, а 721 делится на 7.

Три первых раздела представляют собой системное введение в теорию чисел и готовят почву для разделов IV и V.

Главный итог раздела IV — это знаменитый квадратичный закон взаимности. Теорема (в виде гипотезы) была сформулирована Эйлером в 1742 году в его письме Гольдбаху. Полвека спустя, в 1798 году, Лежандр опубликовал доказательство, основанное на недоказанных аргументах, так что первое правильное доказательство теоремы принадлежало Гауссу, который называл ее золотой теоремой. В книге Гаусса она сформулирована в следующем виде:

Если р — простое число вида 4n + 1, то +p — вычет (или невычет) по модулю любого простого числа, которое, взятое в положительной форме, является вычетом (или невычетом) по модулю p. Если р имеет вид 4n + 3, то -р обладает тем же свойством.