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

Возьмем ряд последовательных простых чисел, например: 2, 3, 5.

Затем перемножим их:

2 х 3 х 5 = 30.

Теперь добавим к результату единицу:

2 х 3 х 5 + 1 = 30 + 1 = 31.

Ясно, что если разделить 31 на любое простое число из этого ряда — 2, 3, 5, — то в остатке получится 1:

31/2 = 15 + 1

31/3 = 10 + 1

31/5 = 6 + 1.

Это означает, что число 31 не делится на наши числа. Это справедливо и в общем случае: если взять ряд последовательных простых чисел, перемножить их и добавить единицу, то полученное число не будет делиться ни на одно из исходных простых чисел. Этот простой факт и лежит в основе доказательства Евклида.

Число 31 тоже простое число, но его нет в первоначальном списке, который, следовательно, является неполным. Возьмем следующий ряд чисел в качестве примера:

{2, 3, 5, 7, 11, 13}.

Перемножим их и добавим единицу:

2 х 3 х 5 х 7 х 11 х 13 + 1 = 30 030 + 1 = 30 031.

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

30 031 = 59 х 509.

Евклид уже доказал, что любое натуральное число может быть единственным образом разложено в произведение простых множителей. В случае с числом 30 031, которое является составным числом, ясно, что для его разложения в произведение простых множителей чисел в списке {2, 3, 5, 7, 11, 13} будет недостаточно, то есть этот список неполон.

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

1) простое число, которого нет в списке;

2) составное число, при разложении которого на простые множители получаются простые числа, не входящие в список.

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

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

Как мы уже говорили, простые числа представляют из себя одну из важных тем, которые возвращают нас к самым истокам математики, а затем по пути возрастающей сложности приводят на передний край современной науки. Таким образом, было бы очень полезно проследить увлекательную и сложную историю теории простых чисел: как именно она развивалась, как именно были собраны факты и истины, которые в настоящее время считаются общепринятыми. В этой главе мы увидим, как целые поколения математиков тщательно изучали натуральные числа в поисках правила, предсказывающего появление простых чисел, — правила, которое в процессе поиска становилось все более и более ускользающим. Мы также подробно рассмотрим исторический контекст: в каких условиях математики работали и в какой степени в их работе применялись мистические и полурелигиозные практики, которые совсем не похожи на научные методы, используемые в наше время. Тем не менее медленно и с трудом, но была подготовлена почва для новых воззрений, вдохновлявших Ферма и Эйлера в XVII и XVIII вв. Эти теории мы подробно рассмотрим в следующей главе.

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

В 1930 гг. специализированные книжные магазины начали продавать учебники математики ранее неизвестного автора Николя Бурбаки. Эти книги сразу завоевали определенный успех в математическом сообществе. Среди прочего они содержали первое хорошее изложение теории математического анализа.