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

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

Ферма почти никогда не путешествовал, только один раз он был в Париже, где по рекомендации влиятельного французского математика Пьера де Каркави (1600–1684) встретился в монастыре с отцом Мерсенном.

Некоторые люди любят выращивать цветы и тратят много времени на выведение новых сортов из семян, привезенных из дальних стран, или на создание гибридов, которые иногда приносят приятные сюрпризы. Ферма выводил новые сорта чисел.

Однажды утром он словно по мановению волшебной палочки мог открыть новый вид чисел, что для обычных людей казалось магией. В отличие от других математиков, которые скрывали результаты своей работы, Ферма делился ими со всеми, хотя почти никогда не объяснял, как он их получил. Утверждение, что «любое число вида 4n + 1 является суммой двух квадратов», было, например, одним из многих результатов, которые Ферма так и не объяснил, и только Эйлер в 1749 г. доказал этот факт после семи лет напряженной работы. Гаусс как-то сказал, что этот результат был «одним из самых красивых цветков, которые Ферма обнаружил в саду чисел».

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

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

xⁿ  + yⁿ = zⁿ.

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

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

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

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

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

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

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

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

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

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

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

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

* * *

* * *

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

Пусть р = 9 и а = 2, тогда 2⁹ — 2 = 510. Эта разность не делится на 9, и мы заключаем, что 9 не является простым числом, что и так очевидно. Польза этого простого метода заключается в том, что его можно применять для очень больших чисел.

Нужно отметить, что малая теорема Ферма содержит необходимое, но не достаточное условие: если р — простое число, то условие выполняется, но выполнение условия не означает, что р будет простым. Например, если взять р = 4 и а = 5, то 5⁴ — 5 = 620 делится на 4, но 4 = 2 х 2 является составным числом.

Числа Ферма

«Числами Ферма» называются натуральные числа вида:

Они обозначаются буквой F (по имени Ферма) с соответствующим индексом (n), так что F₀  обозначает первое число Ферма, F₁ — второе и так далее. Посчитаем значения первых пяти чисел Ферма, учитывая, что любое число в степени 0 равно 1:

2⁰  = 1; 2¹ = 2; 2² = 4; 2³ = 8.

Подставляя в формулу, получим:

Ферма предположил, что все числа, полученные таким способом, являются простыми. Первые пять чисел — 3, 5, 17, 257 и 65537 — действительно простые.

Но при n = 5 получается число: