素数定理

素数が無限に存在することはユークリッドが証明した。しかし素数がどのくらいの頻度で現れるか——その統計的規則性を記述するのが素数定理だ。1以上x以下の素数の個数π(x)がx/log(x)に漸近するというこの定理は、19世紀末にフランスとベルギーで独立に証明された。その証明の経路は、整数という離散的な世界と複素解析という連続的な世界を結ぶ、数学史上もっとも印象的な橋のひとつだった。

ガウスが見た地図

18世紀末、15歳の少年カール・フリードリヒ・ガウスは素数表を眺めながら一つのパターンに気づいた。大きな数になるほど素数の間隔が広がっていくが、その広がり方がxの自然対数に比例している——これが素数定理の最初の経験的発見だ。マーカス・デュ・ソートイは『素数の音楽』のなかで、ガウスがこの観察を対数積分Li(x)として精緻化していく過程を描いている。ガウスは生涯この予想を公表しなかったが、その洞察は後世の数学者の道標となった。

観察と定理の間には大きな溝がある。規則性が「ありそうだ」と思うことと、それを数学的に証明することは全く別の作業だ。数学的証明は、有限の観察から無限の一般性を導く論理の飛躍を厳密に埋めなければならない。ガウスの生涯中に証明は現れず、彼の洞察は予想のまま残された。

アダマールとド・ラ・ヴァレー・プーサンの到達点

1896年、ジャック・アダマールとシャルル・ド・ラ・ヴァレー・プーサンが独立に証明を完成させた。驚くべきことに、彼らの証明はリーマンのゼータ関数——複素関数論の道具——を使っていた。素数は整数という離散的な世界の住人なのに、その性質を証明するために連続的な複素解析が必要だったのだ。

証明の核心は、ゼータ関数が実部1の直線上に零点を持たないことの確認にあった。この事実が対数積分による近似の正確さを保証する。連続の道具で離散の謎を解く——この逆説的なアプローチが解析的整数論という分野の誕生を告げるものだった。

定理が語ること・語らないこと

素数が自然数の列に現れるパターンは局所的には極めて不規則だ。素数定理は「平均的な」密度を教える——x付近では素数の間隔がおよそlog(x)程度だという感覚を与えてくれる。しかし個々の素数の出現場所については何も言わない。

3と5、5と7のように差が2の素数（双子素数）が無限に存在するという予想はいまだに証明されていない。また連続して素数が現れない大きなギャップがどれほど頻繁に現れるかという問いも開かれたままだ。素数定理はこの不規則性の「大局的な平均」を捉えるが、局所的な振る舞いを記述するには別の道具が必要だ。

リーマン予想が正しければ誤差項の上限を精密に抑えられる。素数定理の証明が解決の終点ではなく、より深い問いへの入口だったことが、その後の数学の歴史が示している。証明の問いが解かれたとき、次の問いが姿を現す——それが数論の常だ。

素数定理から先の問いへ

素数定理の証明は一つの終点ではなく、新たな出発点だった。証明が明らかにしたのは「解析の道具を使えば素数の大局的な振る舞いがわかる」という事実であり、同時に「局所的な振る舞いはこの道具では届かない」という限界でもあった。その限界の先に、リーマン予想や双子素数予想といった問いが待ち構えている。

素数定理の誤差項——π(x)とx/log(x)がどれほど近いか——は今日も研究が続いている。リーマン予想が解決すれば誤差の上限が精密に示される。1世紀以上前に証明された定理が、今なお数論の最前線の問いと深く絡み合っている。