Простые числа

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

Заметим, что две тысячи лет спустя в современной средней школе преподается та же геометрия, которая родилась в классных комнатах и садах древней Александрии.

Александрия была самым важным информационным центром древнего мира. На рисунке сверху: гравюра, изображающая ученых во время работы в знаменитой библиотеке. Внизу: римские монеты с изображением маяка на острове Фарос, еще одного чуда Александрии.

Большие пробелы

Одной из первых особенностей простых чисел, которая привлекла внимание древних математиков, было отсутствие правила, с помощью которого можно было бы предсказать их появление в последовательности натуральных чисел. Более того, даже их непоявление так же непредсказуемо. Они могут располагаться достаточно близко друг к другу или, наоборот, очень далеко друг от друга. Например, если взглянуть на простые числа из первой сотни натуральных чисел:

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97,

становится понятно, что первые восемь простых чисел находятся в первых двух десятках, и ни одно не встречается между 89 и 97.

Ряд простых чисел второй сотни, между 100 и 200:

101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197, 199

имеет большие пробелы: например, девять составных (не простых) чисел между 182 И 190.

Поэтому возникает вопрос: как такое возможно, что существуют очень большие пробелы, например, 50 000 идущих подряд чисел, среди которых нет ни одного простого числа?

Множество простых чисел достаточно большое, чтобы в нем могли встретиться сколь угодно длинные последовательности чисел, не содержащие ни одного простого числа. Этот вывод не просто гипотеза, его можно легко доказать.

Рассмотрим произведение первых четырех натуральных чисел:

1 х 2 х 3 х 4.

Мы можем быть уверены, что число 1 х 2 х З х 4 + 2 не является простым, так как оно делится на 2. Это можно сразу проверить: 1 х 2 х З х 4 + 2 = 26, и при делении на 2 мы получаем 13.

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

По той же причине очевидно, что число 1 х 2 х З х 4 + 3 = 27 не является простым, так как делится на 3; число 1 х 2 х З х 4 + 4 = 28 не является простым, так как делится на 4.

Таким образом, мы получили три последовательных числа, 26, 27 и 28, которые не являются простыми числами. Чтобы получить четыре последовательных составных числа, надо выполнить следующие действия:

1 x 2 x 3 x 4 x 5 + 2 = 122

1 x 2 x 3 x 4 x 5 + 3 = 123

1 x 2 x 3 x 4 x 5 + 4 = 124

1 x 2 x 3 x 4 x 5 + 5 = 125

Для краткой записи произведения последовательных чисел используется восклицательный знак:

1 x 2 x 3 x 4 = 4!

1 x 2 x 3 x 4 x 5 = 5!

В математике такое выражение называется «факториал». Например, факториал числа 6 равен

6! = 1 x 2 x 3 x 4 x 5 x 6 = 720.

Выражения для четырех последовательных составных чисел удобнее записать следующим образом:

5! + 2

5! + 3

5! + 4

5! + 5

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

101! + 2,

101! + 3,

101! + 4,

и так далее до 101! + 101.

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

Получается, что простые числа встречаются все реже по мере продвижения по ряду натуральных чисел, и, следовательно, при приближении к бесконечности наступит момент, когда простые числа больше не появятся.

Конечно, этот вывод неверен, так как мы знаем, что по теореме Евклида множество простых чисел бесконечно, и что каким бы длинным ни был ряд составных чисел, в конце концов появится простое число.

* * *