Великая Теорема Ферма - страница 76

x3 — x2 = y2 + y

почти невозможно решить напрямую. Одно, тривиальное, решение очевидно: x=0 и y=0. Действительно,

0^>3 — 0^>2 = 0^>2 + 0.

Чуть больший интерес представляет собой решение x=1 и y=0:

1^>3 — 1^>2 = 0^>2 + 0.

Возможно, существуют и другие решения, но если принять во внимание, что перебору подлежит бесконечное множество целых чисел, то станет ясно, что составление полного списка решений этого уравнения в целых числах — задача невозможная. Более простой задачей является поиск решений в конечном числовом пространстве — так называемой арифметике вычетов[16].

Ранее мы видели, что целые числа можно мыслить как отметки на числовой прямой, простирающейся в бесконечность, как показано на рис. 16. Чтобы сделать числовое пространство конечным, арифметика вычетов отрезает от числовой прямой определенную часть и замыкает ее в петлю, образуя вместо числовой прямой числовое кольцо. На рис. 17 вы видите часы с пятью пометками: от числовой прямой отрезана часть по отметке 5, и конец ее склеен с отметкой 0. Число 5 при этом исчезает и становится эквивалентным 0, поэтому в новой арифметике — арифметике вычетов по модулю 5 — фигурируют только числа 0, 1, 2, 3, 4. 7

Рис. 16. Обычные арифметические действия можно представить как передвижения направо и налево по числовой оси

В обычной арифметике мы мыслим сложение как сдвиг по прямой на несколько делений — зазоров между отметками. Например, сказать: 2+4 = 6 — то же самое, что сказать: начните с отметки 2, сдвиньтесь вдоль числовой прямой на 4 деления и вы получите число 6. Но в арифметике вычетов по модулю 5 получаем, что

4 + 2 = 1.

Так происходит потому, что если мы начнем с отметки 4 и сдвинемся по окружности на 2 деления, то вернемся к отметке 1. Новая арифметика может показаться непривычной, но в действительности, мы пользуемся ей ежедневно, когда речь заходит о времени. Четыре часа после 11 (т. е. 11+4) обычно принято называть не 15, а 3 часами. Это — арифметика вычетов по модулю 12.

Помимо сложения в «часовой» арифметике можно производить и все другие обычные математические операции, например, умножение. В арифметике вычетов по модулю 12 имеем: 5·7=11. Такое умножение можно представить себе следующим образом: начав с отметки 0 и сдвинувшись на 5 групп из 7 делений в каждой, вы в конце концов дойдете до отметки 11. Это лишь один из способов мысленно представить себе умножение в этой арифметике; существуют более хитрые приемы, позволяющие ускорить вычисления. Например, чтобы вычислить 5·7, мы можем для начала просто вычислить обычное произведение, которое равно 35. Разделив затем 35 на 12, мы получим остаток, который и дает ответ на интересующий нас вопрос. Число 12 содержится в 35 дважды и плюс остаток 11, поэтому произведение 5·7 в арифметике вычетов по модулю 12 равно 11. Это равносильно тому, что мы мысленно дважды обошли циферблат, и нам осталось пройти еще 11 промежутков.

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

x^>3 — x^>2 = y^>2 + y

в арифметике вычетов по модулю 5. Вот они:

x = 0, y = 0,

x = 0, y = 4,

x = 1, y = 0,

x = 1, y = 4.

Хотя некоторые из этих решений не являются решениями в целых числах, в рассматриваемой арифметике вычетов все они — решения. Например, подставим значения (x=1, y=4) в наше уравнение:

x^>3 — x^>2 = y^>2 + y,

1^>3 — 1^>2 = 4^>2 + 4,

1 — 1 = 16 + 4,

0 = 20.

Но число 20 эквивалентно 0, так как число 5 делит число 20 с остатком 0.

Поскольку найти число решений кубического уравнения в целых числах крайне трудно, математики решили сначала определить число решений в различных арифметиках вычетов. Для приведенного выше уравнения число решений в арифметике по модулю 5 равно четырем. Это записывают так: E_>5 = 4. Можно подсчитать число решений и в других арифметиках. Например, в арифметике вычетов по модулю 7 число решений равно 9, т. е. E_>7 = 9.

Подводя итог своим вычислениям, математики составили список числа решений в каждой из арифметик вычетов и назвали его