Простая одержимость

И наконец, получим два следствия из ТРПЧ (в предположении, конечно, что она верна). Чтобы вывести эти следствия, сначала заметим, что в некотором смысле (логарифмическом смысле!) при работе со всеми числами вплоть до некоторого большого N большинство из этих чисел вполне сравнимы по величине с самим N. Например, среди всех чисел от 1 до одного триллиона более 90 процентов имеют 12 или более разрядов и в этом смысле вполне сравнимы с триллионом (у которого 13 разрядов), а не, скажем, с одной тысячей (с ее четырьмя разрядами).

Если на интервале от 1 до N имеется N/ln N простых чисел, то средняя плотность простых в этом интервале составляет 1/ln N. А поскольку большинство чисел в этом интервале сравнимы по размеру с числом N в том грубом смысле, который я только что описал, то справедливым будет заключение, что в районе числа N плотность простых чисел есть 1/ln N. Именно так и есть. В конце первого раздела данной главы мы подсчитали число простых в каждом блоке из 100 чисел, предшествующих 100, 500, 1000, 1 миллиону и 1 триллиону. Результаты этих подсчетов были такими: 25, 17, 14, 8 и 4. Соответствующие значения выражения 100/ln N (т.е. его значения при N = 100, 500 и т.д). с точностью до ближайшего целого числа таковы: 22, 16, 14, 7 и 4. Другой способ выразить то же самое — это сказать, что в окрестности большого числа N вероятность того, что некоторое число окажется простым, ~ 1/ln N.

Руководствуясь той же грубой логикой, можно оценить величину N-го простого числа. Рассмотрим отрезок числового ряда от 1 до K для какого-нибудь большого числа K. Если в этом интервале простых чисел, то в среднем следует ожидать, что первым простым, которое мы встретим, будет число К:C, вторым — число 2K:C, третьим — 3K:C и т.д. N-е простое будет находиться где-то около числа NK:C, а C-е (другими словами, последнее простое в этом интервале) окажется около числа K:C, что, понятно, равно просто K. И вот, если верна ТРПЧ, то количество простых чисел C есть К/ln K, а потому N-е простое в действительности встретится вблизи числа NK:(К/ln K), или, другими словами, вблизи числа Nln K. Поскольку большинство чисел в этом интервале сравнимы по величине с числом K, здесь можно поменять местами N и K, а потому N-е простое есть по величине ~ N/ln N. Я знаю, что такое рассуждение выглядит небольшим жульничеством, но в действительности оно дает неплохую оценку, которая к тому же становится все лучше и лучше «по принципу волны». Эта оценка предсказывает, например, что триллионное простое число равно 27 631 021 115 929, а на самом деле триллионное простое число есть 30 019 171 804 121, так что ошибка составляет 8 процентов. Выраженные в процентах ошибки для тысячного, миллионного и миллиардного простого числа равны соответственно 13, 10 и 9.

Следствия из ТРПЧ

Вероятность того, что число N простое, ~ 1/ln N.

N-е простое число ~ Nln N.

Эти утверждения не просто следуют из ТРПЧ; сама ТРПЧ также следует из них. Если математически доказать справедливость любого из них, то в качестве следствия получится ТРПЧ. Каждый из этих результатов равносилен ТРПЧ, и его можно считать просто альтернативной формулировкой этой теоремы. В главе 7.viii мы познакомимся с другим, более важным способом переформулировать ТРПЧ.

Глава 4. На плечах гигантов

Первым человеком, которому открылась истина, содержащаяся в Теореме о распределении простых чисел (ТРПЧ), был Карл Фридрих Гаусс, живший с 1777 по 1855 год. Гаусс, как уже говорилось в главе 2.v, вполне может претендовать на звание величайшего математика из всех вообще когда-либо живших. В течение своей жизни он был известен как Princeps Mathematicorum — Князь Математиков, а после его смерти король Ганновера Георг V распорядился о выпуске памятной медали в его честь, с указанием этого титула.[21]