Десять великих идей науки. Как устроен наш мир.

Многие свойства простых чисел уже известны, но некоторые предположения еще не доказаны (а, возможно, и неверны). Одним из точно установленных фактов, известным еще Евклиду, является то, что количество простых чисел неограниченно; простые числа продолжаются без конца. На сегодняшний день самым большим известным простым числом является 2^13466917 − 1. Это число является примером простых чисел Мерсенна, простых чисел, имеющих форму 2^p − 1, где p само есть простое число. Оно было обнаружено 14 ноября 2001 г. и потребовало бы для полной записи 4 миллиона цифр (более точно, 4 053 946), что соответствует примерно восьми книгам, размером с эту. Огромные простые числа, имеющие более чем тысячу знаков, называются «титаническими». Простые числа встречаются все реже и реже по мере их возрастания, но между любым заданным натуральным числом и его удвоением всегда найдется по крайней мере одно простое число. Например, вы можете быть уверены, что существует по крайней мере одно простое число между 1 миллиардом и 2 миллиардами; на самом деле, их миллионы. Некоторые простые числа группируются. Например, существует много «близнецов», то есть простых чисел, разность между которыми равна 2; например, 11 и 13 являются близнецами. Гипотеза о близнецах (только гипотеза) состоит в том, что существует бесконечное число близнецов, и поэтому близнецы, как и сами простые числа, продолжают встречаться без конца. Известными к настоящему времени самыми большими близнецами являются 33 218 925 × 2¹⁶⁹⁶⁹⁰ − 1 и 33 218 925 × 2¹⁶⁹⁶⁹⁰ + 1 (эта пара обнаружена в 2002 г., и каждое из чисел записывается 51 090 цифрами).

Есть множество других весьма причудливых свойств простых чисел. Например, обладавший необычайным воображением польско-американский математик Станислав Улам (1909-84) обнаружил, что, если вы запишете все натуральные числа по спирали, так что 1 окажется в центре, 2 справа, 3 над 2, 4 над 1, 5 слева от 4 и так далее, и пометите все простые числа, то они будут иметь тенденцию попадать на диагональные линии (рис. 10.3). Улам использовал свое воображение и другими способами: вместе с Эдвардом Теллером он открыл, как инициировать взрыв водородной бомбы.

Рис. 10.3. Спираль Улама. Если записать все натуральные числа по спирали, как показано на вставке, и пометить простые числа, то они проявят тенденцию располагаться на диагональных прямых, как можно видеть, рассматривая черную зону с простыми числами, изображенными, подобно звездам, белыми точками. Мы нарисовали некоторые из диагоналей, чтобы показать их положение; вы могли бы различить и другие.

Хотя простые числа являются фундаментальными атомами умножения (так же, как 1 тривиально является фундаментальным атомом сложения), они, может быть, играют фундаментальную роль и в сложении тоже. В 1742 г. Кристиан Гольдбах (1690-1764), однажды оказавшийся учителем царя Петра II, в письме к прославленному математику Леонарду Эйлеру (1707-83) предположил, что каждое четное натуральное число, большее 2, является суммой двух простых чисел. Так, мы имеем 2 + 2 = 4, 3 + 3 = 6, 3 + 5 = 8, …, 47 + 53 = 100, …. Гипотеза Гольдбаха до сих пор не доказана, несмотря на приложение огромных усилий. Трудность, по-видимому, связана с тем фактом, что простые числа, произошедшие из концепции умножения, помещаются здесь в контекст сложения. Однако эта гипотеза может быть примером того, что постепенно выдвигается в центр сцены: она, возможно, не может быть доказана и поэтому, в некотором смысле, эта гипотеза может быть ни истинной, ни ложной. Гольдбах предположил также, что каждое нечетное натуральное число является суммой трех простых чисел. Это предположение частично доказал — доказательство справедливо лишь для больших чисел — в 1937 г. русский математик Иван Матвеевич Виноградов (1891-1983).

Деление одного натурального числа на другое также вводит новый класс чисел, называемых рациональными числами (от «рацио»; заслуживающее доверия качество таких чисел отражено в нашем привычно используемом термине «рациональный», обозначающем разумность, основанность на разуме); примеры между 0 и 1 включают 1/2 = 0,500 000 000… и 3/7 = 0,428 571 428 57…. Заметим, что десятичные формы рациональных чисел содержат либо бесконечно повторяющийся 0, либо бесконечно повторяющуюся конечную последовательность чисел.