. Вычитая, получаем
Из бесконечной суммы исчезли все члены, содержащие числа, кратные тройке! Первое выжившее число — это теперь 5.
Умножив теперь обе части полученной формулы на 
, будем иметь
А теперь, вычитая это равенство из предыдущего и рассматривая на этот раз 
как неделимую конструкцию, видим, что в левую часть одного выражения она входит с множителем 1, а в левую часть другого — с множителем . Вычитание дает
Все слагаемые с числами, кратными 5, исчезли при вычитании, и первое выжившее число в правой части — это 7.
Замечаете сходство с решетом Эратосфена? Но вы должны заметить и отличие. При работе с исходным решетом мы оставляли сами простые числа в неприкосновенности, удаляя только их кратные — числа, полученные из них умножением на 2, 3, 4, …. Здесь же при вычитании мы устраняем из правой части как само простое число, так и все его кратные.
Если продолжать описанную процедуру до достаточно большого простого числа, скажем, до 997, мы получим
Теперь заметим, что если s — любое число, большее единицы, то правая часть этой формулы совсем ненамного больше чем просто 1. Например, при s = 3 правая часть этой формулы равна 1,00000006731036081534… Поэтому выглядит довольно правдоподобным предположение, что если продолжать указанный процесс до бесконечности, то для любого числа s большего 1 получится следующий результат (7.1):
где в левой части содержится ровно одно выражение в скобках для каждого простого числа, причем эти скобки продолжаются налево без конца. Теперь поделим обе части полученного выражения последовательно на каждую из этих скобок (7.2):
Это — Золотой Ключ. Чтобы он предстал перед нами во всей красе, давайте немного его почистим. Дроби с дробными знаменателями нравятся мне ничуть не больше, чем вам, а кроме того, есть еще полезные математические приемы, которые позволят нам сэкономить на наборе формул.
Прежде всего вспомним 5-е правило действий со степенями: оно говорит, что a−N есть 1/aN и a−1 есть 1/a. Поэтому выражение (7.2) можно записать поаккуратнее:
Есть даже еще лучший способ. Вспомним про обозначение ∑, введенное в главе 5.viii. Когда мы складываем компанию слагаемых единообразной структуры, их сумму можно записать коротко, используя знак ∑; у этого имеется эквивалент для умножения, когда сомножители имеют единообразную структуру: тогда используется знак ∏. Это заглавная греческая буква «пи», используемая в этом качестве из-за слова «product» (произведение). Используя знак ∏, выражение (7.2) можно переписать таким образом:
Читается это так: «Дзета от s равна взятому по всем простым числам произведению от величины, обратной единице минус p в степени минус s». Подразумевается, что маленькое p под знаком ∏ означает «по всем простым».[55] Вспоминая определение функции ζ(s) в виде бесконечной суммы, можно подставить эту сумму в левую часть и получить
И сумма в левой части, и произведение в правой части простираются до бесконечности. Это, кстати, дает еще одно доказательство того факта, что простые числа никогда не кончаются. Если бы они вдруг кончились, то произведение в правой части содержало бы конечное число множителей, и тем самым мы его немедленно вычислили бы как какое-то число при абсолютно любом аргументе s.[56] При s = 1, однако, левая часть представляет собой гармонический ряд из главы 1, сложение членов которого «уводит нас в бесконечность». Поскольку бесконечность в левой части не может равняться конечному числу в правой, количество простых чисел с необходимостью бесконечно.
Что же такого — как вы, должно быть, недоумеваете — замечательного, такого неординарного и вызывающего имеется в выражении (7.3), что оно удостоилось столь высокопарного имени?
55
Математика допускает бесконечные произведения точно так же, как она допускает бесконечные суммы. Как и бесконечные суммы, некоторые из бесконечных произведений сходятся к определенному значению, а некоторые расходятся к бесконечности. Данное произведение сходится, когда
Сомножители становятся все ближе и ближе к 1, причем делают это очень быстро, так что каждое следующее умножение — это умножение на нечто, лишь на самую малую малость отличающееся от 1, что, конечно, меняет результат очень незначительно. Прибавим к чему-нибудь нуль: никакого эффекта. Умножим что-нибудь на единицу: никакого эффекта. В бесконечной сумме члены должны достаточно быстро приближаться к нулю, чтобы прибавление их сказывалось мало; в бесконечном произведении они должны достаточно быстро приближаться к 1, чтобы умножение них сказывалось мало.