Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

где мы пользовались 7-м правилом действий со степенями (которое говорит, например, что 2 ^sумножить на 7 ^sравно 14 ^s). А теперь вычтем второе из этих выражений из первого. В одну из левых частей входит (s)с множителем 1, а в другую — та же (s)с множителем . Вычитая, получаем

Вычитание устранило из бесконечной суммы все члены с четными числами. Остались только члены, в которые входят нечетные числа.

Вспоминая решето Эратосфена, умножим теперь обе части порченного равенства на , руководствуясь тем, что 3 — это первое выжившее число в правой части:

Теперь вычтем это выражение из того, которое мы получили ранее. При вычитании левых частей будем рассматривать  как неделимую штуку, — просто как некоторое число (каковым оно, конечно, и является при любом заданном s). Вся эта штука входит в левую часть одного выражения с множителем 1, а в левую часть другого — с множителем . Вычитая, получаем

Из бесконечной суммы исчезли все члены, содержащие числа, кратные тройке! Первое выжившее число — это теперь 5.

Умножив теперь обе части полученной формулы на , будем иметь

А теперь, вычитая это равенство из предыдущего и рассматривая на этот раз  как неделимую конструкцию, видим, что в левую часть одного выражения она входит с множителем 1, а в левую часть другого — с множителем . Вычитание дает

Все слагаемые с числами, кратными 5, исчезли при вычитании, и первое выжившее число в правой части — это 7.

Замечаете сходство с решетом Эратосфена? Но вы должны заметить и отличие. При работе с исходным решетом мы оставляли сами простые числа в неприкосновенности, удаляя только их кратные — числа, полученные из них умножением на 2, 3, 4, …. Здесь же при вычитании мы устраняем из правой части как само простое число, так и все его кратные.

Если продолжать описанную процедуру до достаточно большого простого числа, скажем, до 997, мы получим

Теперь заметим, что если s— любое число, большее единицы, то правая часть этой формулы совсем ненамного больше чем просто 1. Например, при s= 3 правая часть этой формулы равна 1,00000006731036081534… Поэтому выглядит довольно правдоподобным предположение, что если продолжать указанный процесс до бесконечности, то для любого числа sбольшего 1 получится следующий результат (7.1):

где в левой части содержится ровно одно выражение в скобках для каждогопростого числа, причем эти скобки продолжаются налево без конца. Теперь поделим обе части полученного выражения последовательно на каждую из этих скобок (7.2):

IV.

Это — Золотой Ключ. Чтобы он предстал перед нами во всей красе, давайте немного его почистим. Дроби с дробными знаменателями нравятся мне ничуть не больше, чем вам, а кроме того, есть еще полезные математические приемы, которые позволят нам сэкономить на наборе формул.

Прежде всего вспомним 5-е правило действий со степенями: оно говорит, что a ^-Nесть 1/ a ^Nи a ^-1есть 1/ a.Поэтому выражение (7.2)можно записать поаккуратнее:

(s)

= (1 - 2 ^-s) ^-1x(1 - 3 ^-s) ^-1x(1 - 5 ^-s) ^-1x(1 - 7 ^-s) ^-1x(1 - 11 ^-s) ^-1x….

Есть даже еще лучший способ. Вспомним про обозначение , введенное в главе 5.viii. Когда мы складываем компанию слагаемых единообразной структуры, их сумму можно записать коротко, используя знак ; у этого имеется эквивалент для умножения, когда сомножители имеют единообразную структуру: тогда используется знак . Это заглавная греческая буква «пи», используемая в этом качестве из-за слова «product» (произведение). Используя знак , выражение (7.2)можно переписать таким образом:

Читается это так: «Дзета от sравна взятому по всем простым числам произведению от величины, обратной единице минус pв степени минус s». Подразумевается, что маленькое pпод знаком означает «по всем простым». [55]Вспоминая определение функции (s)в виде бесконечной суммы, можно подставить эту сумму в левую часть и получить

Золотой Ключ (7.3):

И сумма в левой части, и произведение в правой части простираются до бесконечности. Это, кстати, дает еще одно доказательство того факта, что простые числа никогда не кончаются. Если бы они вдруг кончились, то произведение в правой части содержало бы конечное число множителей, и тем самым мы его немедленно вычислили бы как какое-то число при абсолютно любом аргументе s. [56]При s = 1, однако, левая часть представляет собой гармонический ряд из главы 1, сложение членов которого «уводит нас в бесконечность». Поскольку бесконечность в левой части не может равняться конечному числу в правой, количество простых чисел с необходимостью бесконечно.

V.

Что же такого — как вы, должно быть, недоумеваете — замечательного, такого неординарного и вызывающего имеется в выражении (7.3), что оно удостоилось столь высокопарного имени?