Можно утверждать, что «Теория движения небесных тел, обращающихся вокруг Солнца по коническим сечениям» была самым важным астрономическим текстом в течение нескольких десятилетий после публикации. Метод наименьших квадратов стал основным инструментом: сначала это была только техника, которая затем превратилась в один из столпов натуральной философии Гаусса, и ученый значительно расширил ее применение, сделав необходимым инструментом во многих других областях математики.
Как астроном, Гаусс также ставил эксперименты по обнаружению изменения гравитации из-за земного вращения, определению географической долготы, идентификации комет и анализу сложностей в оптике телескопов.
ГЛАВА 4
Установление порядка между простыми числами
Любое число можно разложить на простые числа, которые и составляют фундамент арифметики. Однако непросто узнать, является ли большое число простым: нет формул, которые описывали бы все простые числа, и мы даже не знаем, как они распределяются в числовом ряду. Когда Гаусс подошел к этой проблеме, ему хватило ясности ума, чтобы открыть новые пути и установить порядок там, где до этого был только хаос.
Гаусс обращал свой интерес на очень разные математические области: алгебру, арифметику, астрономию, построения с помощью линейки и циркуля и некоторые другие. Но если о какой-то теме и можно сказать, что она сопровождала его всю научную жизнь, то это изучение простых чисел и их свойств. Вполне можно заметить, что если Гаусс сделал из теории чисел «царицу математики», то лучшими драгоценностями, которые украшали ее корону, были открытия из области простых чисел — чисел, которые зачаровывали (и ужасали) целые поколения математиков.
Самое древнее доказательство интереса человечества к простым числам — это кость, датированная 6500 годом до н.э. Кость Ишанго была найдена в 1960 году в экваториальной Африке. На ней вырезано несколько столбиков с насечками. Интересно, что в одном из них содержится 11, 13, 17 и 19 отметок, то есть все простые числа от 10 до 20. Изучением простых чисел была увлечена и древняя китайская цивилизация. Для китайцев они символизировали мужественность, поскольку не позволяли представить себя в виде произведения меньших чисел. Однако именно древние греки открыли их первое важное свойство: любое натуральное число можно единственным образом представить как произведение простых чисел. Другими словами, они доказали, что простые числа — это элементы, из которых состоит вся арифметика, точно так же, как химические элементы из таблицы периодической системы составляют основу Вселенной.
Насколько известно, Эратосфен (276-194 до н. э.), библиотекарь из Александрии, был первым, кто в III веке до н. э построил таблицы простых чисел. Он придумал рационально легкий способ узнать, какие числа являются простыми на промежутке между двумя величинами, например 1 и 1000. Отставив в сторону число 1, которое не все математики считают простым, он искал первое простое число: число 2. Далее он вычеркивал все числа, кратные 2 (четные), которые, следовательно, уже не могли быть простыми. В списке незачеркнутых чисел он искал первое незачеркнутое число, которое автоматически было простым, в этом случае 3, и действовал тем же образом, зачеркивая все числа, кратные 3. Эратосфен продолжал эту процедуру, зная, что первое в его списке незачеркнутых чисел вновь будет простым (далее 5, 7,11...) и что именно оно определяет следующие числа, которые нужно удалить из списка (все кратные ему). С помощью этой процедуры он построил таблицы простых чисел. Этот метод получил название решето Эратосфена, поскольку таким образом строилась сеть, не включавшая числа, которые не могут быть простыми, точно так же, как сито золотоискателей помогает им находить самородки. Естественно, на каждом этапе ячейка решета Эратосферна меняется в размерах, поскольку процесс ускоряется.
Евклид также занимался простыми числами. В частности, его интересовал вопрос, бесконечно ли множество простых чисел. Мы можем находить простые числа в течение неопределенного времени или все же существует момент, когда они перестают появляться? Евклид нашел ответ на этот вопрос: множество простых чисел бесконечно. Древнегреческий математик выразил это, сказав, что количество простых чисел больше, чем любое число, которое можно задумать. Доказательство довольно элементарно и показывает мощь математического рассуждения, которое способно ответить на этот вопрос без необходимости искать каждый раз все большие простые числа.
МНОЖЕСТВО ПРОСТЫХ ЧИСЕЛ БЕСКОНЕЧНО
Это утверждение доказывается от противного. Для начала предположим, что множество простых чисел конечно, то есть Р = {2, 3 pj..., pn} — это множество всех существующих простых чисел, и pn — наибольшее из них. Возьмем произведение всех их плюс один, то есть вычислим q = 2 · 3 · ... · рj, ... · pn + 1. Это число явно больше 1 + pn, и оно не может быть простым, поскольку тогда мы получили бы простое число, большее максимального pn. Тогда нужно предположить, что q — составное число. Так как любое составное число можно разложить на произведение простых, это означает, что все простые множители q находятся во множестве простых чисел Р. Следовательно, существует по крайней мере один элемент множества Р (обозначим его р), который является делителем q. Однако по построению pj также является делителем произведения 2 · 3 · ... · рj · ... · pn, поскольку рj — один из множителей этого произведения. Это означает, что р, является делителем g и g - 1, следовательно, оно должно быть делителем их разности, то есть 1, но ни одно простое число, большее 1, не является делителем 1. Мы пришли к противоречию. Вывод в том, что выбранное множество Р не является исчерпывающим, поскольку существуют простые числа, не принадлежащие ему, следовательно, множество простых чисел бесконечно.
С аргументацией Евклида исчезала возможность построить таблицу, в которой содержались бы все простые числа, и, следовательно, пропала возможность найти способ, который позволил бы описать их. Гораздо сильнее заключений Евклида результат, доказанный в 1737 году Эйлером, который гласит: сумма чисел, обратных простым, расходится. В виде математической формулы это выглядит следующим образом:
где р — простое число.
Очевидно, что из этого результата можно сделать вывод, что количество простых чисел бесконечно, поскольку для бесконечной суммы необходимо бесконечное количество слагаемых (и к этому выводу можно прийти с помощью одних только логических рассуждений).
Еще в юности Гаусс получил в подарок книгу, в которой содержался список нескольких миллиардов простых чисел, возможно полученных с помощью инструмента, напоминающего решето Эратосфена. Гаусс заметил, что числа появляются без всякой системы. Казалось почти невозможным определить порядок их распределения, или формулу, которая позволила бы находить их в бесконечном множестве натуральных чисел. Ученый, который смог определить орбиту небесных тел на основе немногих наблюдений, решил принять вызов. Мысль о том, что математики не могли найти правила распределения простых чисел, подхлестывала разум Гаусса. Он должен был найти порядок и регулярность там, где, казалось, есть только хаос.
Любой глупец может задавать вопросы о простых числах, на которые не сможет ответить и самый умный человек.
Годфри Харолд Харди (1877-1947) о простых числах
Люди пытались понять простые числа в течение поколений, и за это время были сделаны интересные наблюдения. Например, существует гипотеза, согласно которой можно найти бесконечное число простых чисел-близнецов (разделенных двумя единицами), то есть если р — простое число, таким же является р + 2. Пары простых чисел-близнецов находили среди очень больших чисел, таких как пара 1000 037 и 1000 039. Евклид более двух тысяч лет назад доказал, что существует бесконечное количество простых чисел, но никто не знает, есть ли число, после которого больше нет пар соседних простых чисел. В математике одно дело — гипотезы, и совсем другое — теоремы, отделенные от гипотез пропастью доказательства. Именно поэтому математическое доказательство — фундаментальная основа прогресса этой науки.
Одним из первых вопросов, которым занялись математики, было нахождение формул, дававших бы бесконечный ряд простых чисел. Ферма думал, что нашел одну из таких формул: его идея состояла в том, чтобы прибавлять 1 к особому типу степеней числа 2. Согласно Ферма, числа вида 2²n +1 (где n — натуральное число), которые мы обозначим Fn и будем называть простыми числами Ферма или просто числами Ферма, всегда простые. Для малых степеней она работает: при n = 1 получаем 5, при n = 2 получаем 17. Ферма был убежден, что его формула всегда даст простое число, но у него не было возможностей проверить свою догадку экспериментально, поскольку числа быстро росли, и вычисления становились невозможными. Однако в этот раз интуиция его подвела. Пятое простое число Ферма, состоящее из десяти цифр, которое он не смог вычислить, уже не простое, поскольку делится на 641, как доказал Эйлер. После вычисления этого контрпримера интуитивное предположение Ферма перестало быть гипотезой и оказалось просто ложным предположением. Именно поэтому некоторые авторы избегают называть такие числа простыми числами Ферма и говорят о них просто как о числах Ферма.
