1859 年の素数についての論文のなかほどで、リーマンはほとんどついでのように一文を書いている。ゼータに関係するある関数、その実根がゼータの臨界線上の零点に対応する関数について、彼はこう述べる。 すべての根が実数である可能性はきわめて高い。もちろん、その厳密な証明が望まれる。しかし私は、何度か手早く試みてうまくいかなかったので、その探求はひとまずわきに置いた。私の研究の次の目的にとっては、それは必要ないように思われたからである。 — ベルンハルト・リーマン『与えられた数より小さい素数の個数について』（1859） 現代の言葉では、この一文がリーマン予想である。 ゼータ関数の非自明な零点はすべて、実部が $\frac{1}{2}$ に等しい。 臨界線 ゼータの自明な零点は負の偶数にある。それ以外の零点はすべて帯 $0 < \sigma < 1$ のなかにあり、関数等式により、直線 $\sigma = \frac{1}{2}$、すなわち臨界線について対称に現れる。予想は、それらがすべてちょうどこの直線の上にあるというのである。 臨界線の上では、$\zeta\left(\frac{1}{2} + it\right)$ に絶対値 1 の因子を掛けると実数値の関数 $Z(t)$ になり、各零点で符号を変える。グラフは $t = 10$ から $t = 60$ までの $Z(t)$ を示している。 この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。 最初の零点は $t \approx 14.135$、$21.022$、$25.011$、$30.425$、$32.935$… にある。簡単な規則には従わないが、しだいに密になる。高さ $T$ までにおよそ $\frac{T}{2\pi}\ln\frac{T}{2\pi e}$ 個の零点がある。 リーマンの秘密の計算 リーマンは零点の計算をまったく発表しなかった。そのため何十年ものあいだ、「可能性がきわめて高い」という言葉は当て推量だと考えられていた。1932 年、カール・ルートヴィヒ・ジーゲルはリーマンがゲッティンゲンに残したメモを調べ、そこに臨界線上の $\zeta$ を計算する精巧な漸近公式を見つけた。リーマンはそれを使って最初の零点を見つけていたのである。いまリーマン＝ジーゲルの公式と呼ばれるこの式は、上の図でも使われており、現代の計算の基礎でありつづけている。 わかっていること 1914 年、G. H. ハーディは、臨界線上に無限に多くの零点があることを証明した。 1942 年、アトル・セルバーグは零点のうち正の割合が臨界線上にあることを示し、1989 年、ブライアン・コンリーは 40% 以上がそうであることを示した。 コンピュータはすでに十兆個を超える零点を確かめており、そのすべてが臨界線上にある。 どれも証明ではない。素数の理論に出てくる数はあまりに大きく、反例がどんな計算の届く範囲よりもはるか先にあるかもしれないのである。