Алекс в стране чисел. Необычайное путешествие в волшебный мир математики - Беллос Алекс. Страница 54

Вопрос, который интересует математиков, — все ли числа встречаются в последовательности Рекамана. Были изучены 10²⁵ членов последовательности, и оказалось, что наименьшее из не присутствующих чисел — это 852 655. Слоун подозревает, что в конце концов в этой последовательности появятся все числа, включая и 852 655, но это его предсказание пока не доказано. Нет ничего удивительного в том, что Слоун находит последовательность Рекамана столь увлекательной.

Другой фаворит Слоуна — это последовательность Гийсвийта [50]. В отличие от многих последовательностей, которые растут с победоносной быстротой, последовательность Гийсвийта растет с тягучей неторопливостью, способной свести с ума. Она представляет собой прекрасную метафору идеи «никогда не сдаваться»:

Первая тройка появляется на девятом месте. Четверка первый раз возникает на 221-м месте. Появление пятерки ожидается не раньше, чем ад замерзнет — она возникнет на месте с номером 10^{100000000000000000000000}.

Это экстремально большое число. Например, вся Вселенная содержит только 10⁸⁰ элементарных частиц. В конце концов появится и шестерка, но на таком расстоянии от начала, которое разумно можно описать только как степень степени степени степени степени:

. Остальные числа тоже рано или поздно возникнут, хотя — и это следует подчеркнуть — не выказывая при этом решительно никакой спешки. «Земля умирает, даже океаны умирают, — замечает Слоун с поэтическим пафосом, — но приют и спасение можно найти в абстрактной красоте последовательности типа А090822 Диона Гийсвийта».

Древние греки уделяли простым числам серьезное внимание. Но еще больше они были очарованы числами, которые называли совершенными. Рассмотрим число 6: числа, на которое оно делится, его делители, — это 1, 2 и 3. Если сложить 1, 2 и 3 — voila, снова получается 6. Совершенное число — это любое число, которое, подобно шестерке, равно сумме своих делителей. (Строго говоря, у 6 есть еще делитель 6, но при рассмотрении совершенных чисел имеет смысл включать только те делители, которые меньше данного числа.) Следующее за шестеркой совершенное число — это 28, потому что числа, на которые оно делится, — это 1, 2, 4, 7 и 14, а их сумма равна как раз 28. Не только греки, но и евреи и христиане приписывали космологическое значение такому численному совершенству. Живший в XI веке выдающийся богослов и писатель Рабан Мавр писал: «Шесть не потому совершенно, что Бог сотворил мир за 6 дней, но Бог совершил акт творения за 6 дней потому, что число это совершенно».

Греки обнаружили также неожиданную связь между совершенными и простыми числами, которая породила многочисленные связанные с ними приключения. Рассмотрим последовательность удвоений, начинающуюся с 1:

В своих «Началах» Евклид показал, что всегда, когда сумма удвоений есть простое число, можно найти совершенное число, умножая сумму на наибольшее из тех удвоений, что в нее входят. Это звучит как малопонятная тирада, так что давайте начнем складывать удвоения, чтобы увидеть, что же все это означает.

Доказательство Евклида было, конечно, геометрическим. Он не записывал его в терминах чисел, а использовал отрезки прямых. Однако если бы он мог позволить себе роскошь современных алгебраических обозначений, то заметил бы, что сумму удвоений 1 + 2 + 4 +… можно выразить как сумму степеней двойки, 2⁰ + 2¹ + 2² +… (Заметим, что любое число в степени 0 есть 1 и что любое число в степени 1 есть само это число.) Тогда становится понятным, что любая сумма удвоений равна следующему удвоению за вычетом единицы. Например:

Это можно обобщить в виде формулы 2⁰ + 2¹ + 2² +… + 2^n-1 = 2ⁿ - 1. Другими словами, сумма первых n удвоений равна 2ⁿ - 1.

Итак, используя исходное заявление Евклида о том, что «когда сумма удвоений есть простое число, можно построить совершенное число, умножая сумму на наибольшее из тех удвоений, что в нее входят» и добавляя к этому современные алгебраические обозначения, мы можем получить намного более четкое утверждение:

Для цивилизаций, которые превозносили совершенные числа, данное Евклидом доказательство было потрясающей новостью. Если совершенные числа можно породить всякий раз, когда число 2ⁿ - 1 простое, то все, что нужно для нахождения новых совершенных чисел, — это нахождение простых чисел, которые можно записать в виде 2ⁿ - 1. Охота за совершенными числами свелась к охоте за простыми числами определенного типа.

Конечно, математический интерес к простым числам, записываемым в виде 2ⁿ - 1, мог быть связан с совершенными числами, однако к XVII столетию простые числа стали объектом увлечения сами по себе. В то время как одни математики были поглощены вычислением числа ? со все большим и большим количеством десятичных знаков, другие посвящали себя нахождению все больших и больших простых чисел. Эти два рода деятельности похожи, но противоположны: если вычисление десятичных знаков в числе ? — это поиск все меньших и меньших объектов, то погоня за простыми числами — это взлет вверх, в небеса. Развитию обоих направлений способствовала скорее романтическая аура самого путешествия, нежели возможности практического использования чисел, открытых по дороге.

В ходе этого поиска простые числа вида 2ⁿ - 1 зажили своей собственной жизнью. Эта формула не давала простых чисел при всех значениях n, но для малых чисел процент успеха был весьма неплох. Как мы уже видели, при n = 2, 3, 57 число 2ⁿ - 1 — простое.

Французский монах (и одновременно один из выдающихся ученых своего времени) Марен Мерсенн (1588–1648) просто зациклился на использовании чисел вида 2ⁿ - 1 для производства простых. В 1644 году он выступил с широкомасштабным заявлением о том, что ему известны все значения n до 257, при которых число 2ⁿ - 1 простое. По его словам, это были значения

Мерсенн был дельным математиком, однако его список — по большей части плод угадывания. Число 2²⁵⁷ - 1 состоит из 78 цифр — определенно слишком много для проверки человеческими силами на предмет того, простое оно или нет. Мерсенн осознавал, что его числа — это стрельба наугад. Он говорил о своем списке: «Всего времени не хватит, дабы определить, простые ли они».