|
Неудивительно, что Гаусс посвятил свои последние годы улучшению этого результата в поисках более точной и лучше обоснованной с точки зрения математики формулы. Так возникла проблема вычисления вероятностей. Было очевидно, что по мере увеличения N вероятность найти простое число уменьшается. Идея состояла в том, чтобы воспользоваться вероятностями, основанными на выражении 1/ln(N) Результат Гаусса получил новое выражение: На самом деле эта формула была небольшой модификацией предыдущей; ученый обозначил ее Li(N) и назвал интегральным логарифмом N; выражение было более точным, поскольку в нем ряд сумм заменялся интегралом, то есть бесконечной суммой. Итак, выражение, заданное Гауссом, имело вид: Гаусс предположил: ?(?) = Li(N), что известно как гипотеза Гаусса о простых числах, которая, как мы увидим, превратилась в теорему Гаусса о простых числах. Так немецкий математик снова превзошел Лежандра, хотя для того чтобы доказать его открытие, потребовался огромный технический прогресс в вычислении простых чисел. Чтобы проверить свою гипотезу, Гаусс много времени посвятил построению таблиц простых чисел. В возрасте более 70 лет он написал астроному Иоганну Энке (1791-1865): «Очень часто я пользовался четвертью часа отсутствия дел, чтобы находить простые числа с промежутками размером в тысячу». Что и говорить, весьма оригинальный способ отдыхать! Но благодаря ему Гауссу удалось определить количество простых чисел, меньших 3000000, и он выяснил, что разница по сравнению с результатом его интегральной функции едва равна 0,0007 %. Когда появились более обширные таблицы простых чисел, обнаружилось, что формула Лежандра была гораздо менее точной и давала заметную погрешность для чисел больше 10000000. С помощью современных методов вычислений было выяснено, что результат Гаусса для простых чисел меньше 1016 отличается от верного значения едва на одну десятимиллионную от 1 %, в то время как результат Лежандра дает отклонение в несколько тысяч миллионов раз больше. Мы можем утверждать, что Гаусс, основываясь на рассуждениях математического характера, превзошел Лежандра, который просто подобрал формулу для доступных ему данных. Кроме этой первой гипотезы о том, что функция ?(?) может быть точно оценена функцией Li(N) для бесконечных значений N, Гаусс вывел и вторую гипотезу, поскольку считал, что функция Li(N) в конце концов будет переоценивать реальное количество простых чисел (всегда на бесконечно малый процент) и что эта тенденция будет сохраняться. Это второе утверждение получило название второй гипотезы Гаусса. Доказать ее или опровергнуть было непростой задачей, поскольку в то время еще не было современных компьютеров, которые могли совершить необходимые вычисления. Подтвердить или опровергнуть гипотезы Гаусса можно с помощью строгого математического доказательства: нельзя ограничиться экспериментальным подтверждением, поскольку какой бы длинной ни была составленная таблица простых чисел, всегда будут сомнения в том, сохранится ли эта тенденция по мере продвижения ко все большим числам. Для математики возможности экспериментальной проверки на невообразимо больших числах недостаточно, и в этом ее отличие от других наук. — 56 —
|