Одно из важнейших следствий — это величина погрешности в теореме о распределении простых чисел. Теорема, как вы помните, утверждает, что для большого x отношение π(x) к Li(x) приближается к 1, причем чем дальше, тем сильнее. Иными словами, разница между двумя функциями снижается до нуля относительно величины x
{32}. Однако реальная разница при этом может расти (и растет). Просто она делает это медленнее, чем растет сам x. Компьютерные расчеты позволяют предположить, что величина погрешности примерно пропорциональна √xlogx. Если гипотеза Римана верна, это утверждение можно доказать. В 1901 г. Хельге фон Кох доказал, что гипотеза Римана логически эквивалентна оценке
для всех x ≥ 2657. Здесь вертикальными линиями обозначена абсолютная величина: разность, умноженная на ±1, чтобы сделать ее положительной. Эта формула дает наилучшие возможные ограничения для разницы между π(x) и Li(x).
Из гипотезы Римана можно получить немало других оценок для функций теории чисел. К примеру, из нее прямо следует, что сумма делителей n меньше
для всех n ≥ 5040, где γ — постоянная Эйлера (γ = 0,57721)
{33}. Эти утверждения могут показаться случайными и странными фактами, но хорошая оценка для важной функции жизненно важна во многих приложениях, и большинство специалистов по теории чисел отдали бы свою правую руку ради того, чтобы доказать любую из них.
Кроме того, гипотеза Римана говорит нам, насколько велико может быть расстояние между последовательными простыми числами. Типичный размер промежутка между ними можно вывести на основании теоремы о распределении простых чисел: в среднем промежуток между простым числом p и следующим простым числом сравним с log p. Некоторые промежутки могут быть меньше, некоторые больше, но математикам жилось бы легче, если бы можно было сказать наверняка, насколько велики могут быть самые большие из них. Харальд Крамер доказал в 1936 г., что если гипотеза Римана верна, то промежуток при простом числе p не может превышать величины √plog p, домноженной на некую константу.
Но подлинное значение гипотезы Римана куда глубже. Существуют далеко идущие обобщения и сильное подозрение, что тот, кто сумеет доказать гипотезу Римана, сможет, вероятно, доказать и связанную с ней обобщенную гипотезу Римана. А это, в свою очередь, даст математикам власть над обширными областями теории чисел.
Обобщенная гипотеза Римана вырастает из более подробного описания простых чисел. Все простые числа, кроме двойки, нечетные, и в главе 2 мы видели, что все нечетные простые можно разделить на два типа: те, что на 1 больше числа, кратного 4, и те, что на 3 больше числа, кратного 4. Говорят, что это числа вида 4k + 1 или 4k + 3, где k — число, на которое вы умножаете 4, чтобы получить данное простое число. Приведем короткий список первых нескольких простых чисел того и другого типа, вместе с соответствующими числами, кратными 4:
Прочерки указывают на то, что соответствующее число не простое.
Сколько существует простых чисел того и другого типа? Как они распределены среди всех простых чисел или среди всех целых чисел? Евклидово доказательство того факта, что простых чисел существует бесконечно много, можно без больших усилий модифицировать, доказав при этом, что существует бесконечно много простых чисел вида 4k + 3. Доказать, что простых чисел вида 4k + 1 тоже бесконечно много, гораздо сложнее, — это можно сделать, но лишь при помощи некоторых достаточно сложных теорем. Разница в подходах обусловлена тем, что любое число вида 4k + 3 имеет делитель того же вида, а в отношении чисел вида 4k + 1 это не всегда верно.
В числах этих двух видов нет ничего чудесного или священного. Все простые числа, кроме 2 и 3, имеют вид 6k + 1 или 6k + 5, и мы можем задать в отношении них аналогичные вопросы. Если уж на то пошло, все простые числа, кроме 5, имеют вид 5k + 1, 5k + 2, 5k + 3, 5k + 4. Мы оставляем в стороне числа вида 5k, поскольку они кратны 5 и, соответственно, все, кроме 5, не являются простыми.
Кстати говоря, на любой из подобных вопросов нетрудно выдвинуть разумное предположение — простые числа в арифметической последовательности. Случай с 5k достаточно типичен. Эксперимент быстро показывает, что числа приведенных выше четырех видов имеют примерно равные шансы оказаться простыми. Вот похожая таблица:
Так что должно существовать бесконечное количество простых чисел каждого вида, и в среднем к каждому виду должна относиться четверть всех простых чисел до заданного предела.
Для некоторых видов доказать, что простых чисел такого вида существует бесконечно много, совсем несложно. Для других видов требуются более изощренные рассуждения. Но до середины XIX в. никому не удавалось доказать, что существует бесконечно много простых чисел каждого возможного вида, не говоря уже о том, чтобы доказать их более или менее равномерное распределение. Лагранж в 1785 г. в работе, посвященной закону квадратичной взаимности — глубокому свойству квадратов простых модулей, — принимал этот факт без доказательства. Результаты дали очевидно полезные следствия, и пора было кому-нибудь это доказать. В 1837 г. Дирихле выяснил, как применить идеи Эйлера, связанные с теоремой о распределении простых чисел, для доказательства обоих этих утверждений. Первым делом следовало определить аналоги дзета-функции для этих типов простых чисел. То, что получилось, называется L-функциями Дирихле. К примеру, в случае 4k + 1/4k + 3 возникает следующая функция:
L (s, χ) = 1 − 3−s + 5−s − 7−s + 9−s − …,
где коэффициенты равны +1 для чисел вида 4k + 1, −1 для чисел вида 4k + 3 и 0 для остальных. Греческую букву χ называют характером Дирихле, и это напоминает нам о том, какие именно знаки следует использовать.
