Том 3. Простые числа. Долгая дорога к бесконечности - страница 17

Малая теорема Ферма

В 1995 г. имя Ферма попало на первые полосы газет благодаря Эндрю Уайлсу, который доказал одну из самых знаменитых гипотез в истории: если n — целое число, большее 2 (n > 2), то не существует целых чисел х, у и z, отличных от 0 и удовлетворяющих уравнению

x^>n  + y^>n= z^>n.

Это гипотеза известна также как «последняя теорема Ферма».

Однако существует и другая, менее известная теорема, называемая «малой теоремой Ферма», которая оказалась особенно актуальной в теории простых чисел. Впервые она была сформулирована в письме, отправленном Ферма 18 октября 1640 г. своему другу, тоже математику-любителю, Бернару Френиклю де Бесси (1605–1675), с которым Ферма делился своими результатами (оба были членами кружка Мерсенна). В письме говорилось: «Каждое простое число эквивалентно степени минус один с любым основанием и показателем, равным данному простому числу минус один… И это утверждение, как правило, справедливо для всех оснований и всех простых чисел. Я бы Вам прислал доказательство, если бы оно не было таким длинным».

Последняя теорема Ферма была доказана в 1995 г. английским математиком Эндрю Уайлсом. Два года спустя он опубликовал предварительное доказательство, где, однако, была ошибка, которую он впоследствии смог исправить.

Ферма снова опускает доказательство, оправдывая это тем, что оно слишком длинное, как и в случае с его более знаменитой последней теоремой. Большинство историков считают, что, скорее всего, великий математик не имел доказательства этих и многих других высказанных им утверждений. Во всяком случае, Ферма считал себя математиком-любителем и мог позволить себе некоторую свободу.

Формулировка теоремы в письме, посланном Френиклю де Бесси, звучит довольно загадочно и неясно, поэтому мы приведем ее в современной терминологии.

Два числа называются взаимно простыми, если они не имеют общих делителей.

Например, 8 и 27 взаимно просты, так как не имеют общих делителей: 8 = 2^>3 и 27 = 3^>3 С другой стороны, 12 и 15 не являются взаимно простыми, так как у них есть общий делитель 3: 12 = 3 х 4, 15 = 3 х 5.

Таким образом, теорема утверждает, что для простого числа р и числа а, взаимно простого с р, разность (а^>р  — а) делится на р.

Например, возьмем простое число 3 и число 8, которое не делится на 3. Тогда число 8^>3 — 8 = 512 — 8 = 504 делится на 3. И действительно, 504/3 = 168.

Можно сказать, что малая теорема Ферма — малая, да удалая (название «малая» впервые использовал в 1913 г. немецкий математик Курт Гензель), так как она наиболее часто используется в «тестах простоты», определяющих, является ли некое большое число простым.

Даже сам Ферма, скорее всего, пользовался ей для разложения больших простых чисел на множители. Известно, например, что ему удалось представить число 100 895 598169 в виде простых множителей 898 423 и 112 303 в ответ на вопрос Мерсенна, который хотел знать, является ли исходное число простым. Однако неясно, как Ферма мог работать с такими большими числами.

Теорема была впервые доказана Эйлером в 1736 г. У Лейбница было похожее доказательство, но он его не опубликовал. Гаусс также привел еще одно доказательство в своей знаменитой книге «Арифметические исследования», опубликованной в 1801 г. Эйлер позже нашел еще два доказательства. Самым простым является первое доказательство Эйлера, которое можно понять, имея лишь элементарные знания математики (см. Приложение).

* * *

* * *

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