リーマン予想とは？わかりやすく｜素数の謎・ゼータ関数の零点・懸賞金100万ドル

リーマン予想とは？（ひとことで）

リーマン予想とは、「ゼータ関数という特別な関数が0になる場所（自明でない零点）は、すべて、ある1本のまっすぐな線の上に並んでいるはずだ」という予想です。1859年にドイツの数学者リーマンの業績と生涯が論文の中でのべました。2026年10月の時点で、まだ証明も反例も見つかっていない未解決問題です。2000年には、アメリカのクレイ数学研究所が選んだ7つの「ミレニアム懸賞問題」の一つになり、解決した人には100万ドルの賞金が用意されています。

こう聞くと、ものすごく専門的に感じるかもしれません。でも、この予想がねらっているのは、小学生でも知っている素数（2, 3, 5, 7, 11, …）の謎です。「素数は、数が大きくなるほどどんなふうに現れるのか？　そこに規則はあるのか？」。リーマン予想は、この問いに対するいちばん深い答えを約束してくれる予想だと考えられています。

素数は、素数とは（1とその数自身でしかわれない数）のことです。素数は無限にあります。けれども、「次の素数はどこに現れるか」は、規則正しいようでいて、まったく不規則にも見えます。たとえば10までに素数は4個（2, 3, 5, 7）、100までに25個、1000までに168個。この「だいたいの数え方」には美しい法則がある一方で、「ずれ」がどれくらい小さいかまでは分かっていません。そのずれの大きさを正確に決めてくれるのが、リーマン予想なのです。

素数定理（素数の個数のだいたいの数え方）は19世紀末に証明されましたが、リーマン予想はそのさらに細かい精度を保証します。素数に関するゴールドバッハ予想や双子素数予想といった別の難問も、素数の分布についての理解が深まれば進むと期待されているため、リーマン予想は「素数の謎の本丸」とよばれます。

リーマン予想の意味をやさしく解説

ステップ1：素数の個数を数えてみる

まず、素数がどれくらいあるかを数えます。「$x$ 以下の素数の個数」を $\pi(x)$ と書きます（ここでの $\pi$ は円周率ではなく、「個数を数える関数」の名前です）。たとえば、

• $\pi(10)=4$（2, 3, 5, 7）
• $\pi(20)=8$（2, 3, 5, 7, 11, 13, 17, 19）
• $\pi(100)=25$、$\pi(1000)=168$、$\pi(10000)=1229$

$\pi(x)$ をグラフにすると、素数が現れるたびにひとつ上がる階段になります。階段の段差はふぞろいですが、遠くから見ると、なめらかな曲線にそっくりです。

このなめらかな曲線が、$\dfrac{x}{\log x}$（$\log$ は自然対数）です。たとえば $x=1000$ なら $1000\div\log 1000\approx 145$ で、本物の168個に近い値です。数学者ガウスは、10代のころ素数の表を眺めてこの近似に気づいたと伝えられています（ガウスの業績と生涯）。この「$x$ が大きいほど $\pi(x)$ は $x/\log x$ に近づく」という事実が、素数定理です。

ステップ2：「ずれ」がどれくらいかが問題

素数定理は「だいたい合っている」と言うだけで、ずれの大きさは教えてくれません。階段と曲線のあいだのずれは、数が大きくなるとどのくらい大きくなるのか。もっとも小さい場合、$x$ の平方根 $\sqrt{x}$ くらいにおさまるのではないか。実は、リーマン予想が正しいことと、このずれが $\sqrt{x}$ にほぼ比例するくらいの大きさにおさまることは、同じ意味だと知られています（1901年にコッホが示しました）。

つまり、リーマン予想は「素数は、完全に規則的ではないけれど、でたらめな偶然のゆれの範囲内でしか乱れない」と言っているのです。コインを何回も投げると、表の回数が「半分ぴったり」にはならないけれど、ずれがほぼ回数の平方根くらいになる、あの感じに似ています。素数は、まるでコイン投げのようにふるまっている、というのが予想の意味です。

ステップ3：ゼータ関数って何？

リーマンは、素数の謎を解くためにゼータ関数 $\zeta(s)$ を使いました。まずは $s$ が 2 以上の整数のときの定義です。

$$\zeta(s)=1+\dfrac{1}{2^s}+\dfrac{1}{3^s}+\dfrac{1}{4^s}+\cdots$$

たとえば $s=2$ のときは $1+\dfrac14+\dfrac19+\dfrac1{16}+\cdots$ で、答えは $\dfrac{\pi^2}{6}\approx 1.645$ です。これはバーゼル問題の答え π²/6として有名なバーゼル問題で、オイラーの業績と生涯が解きました。足し算を無限に続けても、答えは有限の値に近づきます（無限級数の収束の判定）。

ステップ4：ゼータ関数は「整数と素数をつなぐ橋」

オイラーは1737年に、おどろくべき事実を発見しました。ゼータ関数は、すべての自然数を使った足し算であると同時に、素数だけを使ったかけ算にも書けるのです。

$$1+\dfrac{1}{2^s}+\dfrac{1}{3^s}+\cdots=\dfrac{1}{1-2^{-s}}\times\dfrac{1}{1-3^{-s}}\times\dfrac{1}{1-5^{-s}}\times\cdots$$

なぜ等しくなるのでしょう。かけ算の右辺の各項は、たとえば $\dfrac{1}{1-2^{-s}}=1+\dfrac1{2^s}+\dfrac1{4^s}+\dfrac1{8^s}+\cdots$ のように、「2のべき乗」だけを足したものです（等比数列の和の公式、等比数列の和）。これを素数ごとにかけ合わせて展開すると、「どんな自然数も素数の積に1通りにしか分解できない」（素因数分解の一意性）という事実から、$1,\dfrac1{2^s},\dfrac1{3^s},\dfrac1{4^s},\cdots$ がちょうど1回ずつ現れるのです。

これで、ゼータ関数の中に素数の情報がかくれていることが分かりました。素数のことを知りたければ、ゼータ関数をくわしく調べればよい。これがリーマンの発想でした。

ステップ5：複素数まで広げる

ここでリーマンは大胆なことをします。$s$ に入れる数を、整数だけでなく、複素数（$i^2=-1$ となる数 $i$ を使った数、虚数と複素数・複素数平面）にまで広げたのです。複素数は $a+bi$ の形で、平面上の1点として表せます。横が実部 $a$、たてが虚部 $b$ です。

上の足し算の式は、$s$ の実部が1より大きいときにしか使えません。そこでリーマンは、「なめらかにつなげる」やり方（解析接続）で、$s=1$ を除くすべての複素数に関数の定義を広げました。この広げ方は一通りしかない、という点が大事です。

ステップ6：零点とは「答えが0になる場所」

関数の零点とは、関数の値が0になる $s$ のことです。たとえば二次方程式 $x^2-4=0$ の解 $x=\pm2$ は、関数 $x^2-4$ の零点です。ゼータ関数の零点には、2種類あります。

• 自明な零点：$s=-2,-4,-6,\cdots$（負の偶数）。理由が簡単に分かるので「自明」とよびます。
• 自明でない零点：実部が0より大きく1より小さいおび（臨界領域）の中にある零点。無限個あることが分かっています。

計算で見つかった最初の零点は $s=\dfrac12+14.1347\cdots i$、次は $\dfrac12+21.0220\cdots i$、その次は $\dfrac12+25.0108\cdots i$。どれも実部がぴったり $\dfrac12$です。これが偶然ではなく、自明でない零点の実部が、すべて $\dfrac12$ であるというのが、リーマン予想です。

零点は素数の「音」

では、なぜ零点の場所が素数の分布を決めるのでしょう。リーマンは、素数を数える階段 $\pi(x)$ が、ゼータ関数の零点ひとつひとつに対応する「波」を足し合わせたもので表せることを見つけました（リーマンの明示公式）。

楽器の音は、基本の音と、いろいろな高さの倍音を足し合わせてできています。それと同じで、素数の階段は、なめらかな近似に、零点の高さに応じた波をひとつずつ足していくことで、細かい凹凸まで再現できるのです。零点の虚部が波の細かさ、実部が波の大きさを決めます。

ここで、実部が $\dfrac12$ のときがいちばんおとなしい波になります。実部が $\dfrac12$ より大きい零点が1つでもあれば、その波は大きくなりすぎて、素数の分布は予想以上に大きく乱れます。逆に、すべての零点の実部が $\dfrac12$ なら、素数の乱れは$\sqrt{x}$ほどのおだやかな範囲におさまる。これが、リーマン予想と素数の分布が結びつく仕組みです。

リーマン予想の歴史と年表

1737年：オイラーが素数とゼータ関数をつなぐ

レオンハルト・オイラーが、自然数の足し算と素数のかけ算が等しいという「オイラー積」を発見しました。このときゼータ関数に入れる数は、まだ実数だけでした。オイラーはこの式から、素数が無限にあることの別の証明も得ています。

18世紀末〜19世紀前半：素数の個数のだいたいの数え方

ガウスは15〜16歳のころ（1792年ごろ）、素数の表をもとに「$x$ 以下の素数はおよそ $x/\log x$ 個」と予想したと伝えられています。ルジャンドルも1798年ごろ似た近似式を出しました。1850年ごろにはロシアのチェビシェフが、この近似がだいたい合っていることを部分的に証明し、あとは「ずれの小さい形」で証明するだけという段階になりました。

1859年：リーマンの論文

1859年、ベルリン科学アカデミーの通信会員に選ばれたリーマンは、その感謝のしるしとして論文「与えられた大きさ以下の素数の個数について」を提出しました。わずか8ページほどの論文です。この中でリーマンは、ゼータ関数を複素数まで広げ、零点と素数の関係を明らかにし、その途中で「零点はすべて実部が1/2だと考えられる（非常にありそうだ）」とのべました。リーマンは、少しだけ証明を試みたが成功せず、先の研究には不要なので、いったん置いておくことにした、という意味のことも書いています。

これがリーマン予想の始まりです。リーマンは1866年に39歳で亡くなり、この予想に関する数学者としての仕事は、ほとんど残されませんでした。亡くなったあとに残されたメモの中には、リーマンが零点を実際に計算していた形跡が見つかり、1932年にシーゲルがそれを整理して「リーマン・ジーゲルの公式」として発表しました。

1896年：素数定理の証明

フランスのアダマールとベルギーのド・ラ・ヴァレー・プーサンが、それぞれ別々に素数定理を証明しました（1896年）。使ったのは、実部が1の直線上には零点がないという事実です。リーマン予想の「実部1/2」には届きませんが、「零点が1本のおびの中に収まっている」ことは、素数の分布に大きな意味を持ちます。

1900年：ヒルベルトの第8問題

1900年、ヒルベルトの23の問題は、パリの国際数学者会議で「これから100年の数学の問題」を発表しました。その第8問題に、リーマン予想と、素数についてのゴールドバッハ予想が入っていました。ヒルベルトは、「もし私が千年眠ってから目覚めたら、最初にたずねるのは、リーマン予想が証明されたかどうかだ」という意味のことを言ったと伝えられています（本人の言葉かは、確かめられていません）。

1914年：ハーディの結果

イギリスのハーディ（ハーディの業績と生涯）は、1914年に実部1/2の直線上に零点が無限個あることを証明しました。「直線の上に零点がある」ことは分かったが、「ほかの場所に零点がない」ことはまだ分からない。そのもどかしさが続いています。

20世紀後半：計算機の登場、有限体での証明

1940年代にアンドレ・ヴェイユが、整数ではなく「有限個の数」で考える世界（有限体上の曲線）のゼータ関数ではリーマン予想に当たることが正しいと証明しました。1974年にはドリーニュが、これを高次元に広げました（ヴェイユ予想の解決）。これらは「本物のリーマン予想」ではありませんが、リーマン予想が正しいだろうという大きな手がかりになりました。

1950年代からは、電子計算機で零点を直接調べる研究も進みました。チューリング（チューリングの業績と生涯）も計算機を使って零点を調べた一人だと伝えられています。今では10兆個をこえる零点が確かめられています。

リーマン予想は今どこまで分かっている？（2026年時点）

結論から言うと、リーマン予想は2026年10月の時点で未解決です。証明も反例（実部が1/2でない零点）も、まだ見つかっていません。いつ解けるかは、だれにも予想できません。ここでは、これまでに分かっていることを整理します。

計算で確かめられていること

クレイ数学研究所は、最初の10兆個（10,000,000,000,000個）の自明でない零点が、すべて実部1/2の線の上にあると確かめられていることを紹介しています。さらに2021年には、プラットとトルジアンが、虚部が3×10¹²（3兆）以下のすべての零点が直線上にあることを、計算の誤差を厳密に管理した方法で確かめました。いずれも、予想を支える強い証拠ですが、証明ではありません。

数学では、「ものすごく大きな数まで確かめた」ことと「証明した」ことは、別のことです。数の大きさがものすごく大きくなったとき、はじめて予想が成り立たなくなる、という例が、数学の歴史にはいくつかあるからです。

理論で分かっていること

• 無限個が直線上にある：ハーディ（1914年）。
• 正の割合が直線上にある：セルバーグ（1942年）が正の割合を証明。その後、レヴィンソンが3分の1以上（1974年）、コンリーが40％以上（1989年）と、割合の下限は少しずつ引き上げられています。でも、「全部」までは届いていません。
• 実部1の直線上には零点がない：1896年。これが素数定理につながりました。
• 零点の並び方の統計：1973年にモンゴメリーは、零点の間隔の分布が、物理学でつかう「ランダム行列」（原子核のエネルギー準位をあつかう数学）の分布とそっくりであることを発見しました。数論と物理が思わぬところでつながっていることを示す発見です。

賞金について

クレイ数学研究所は、ミレニアム懸賞問題のそれぞれに100万ドルの賞金を出すと2000年に発表しました。リーマン予想は、そのうちの1問です。賞金は、論文が専門の雑誌に発表され、2年間の検討期間を経て、数学界で広く認められたあとで、研究所が決めることになっています。7問のうち、2026年時点で解決とされているのはポアンカレ予想だけです。

「証明した」という発表について

リーマン予想については、これまでも何度か「証明した」という発表がありました。しかし、専門家の検討に耐えて認められたものは、2026年10月の時点でありません。数学では、証明が正しいかどうかは、他の数学者が長い時間をかけて確かめて、はじめて決まります。インターネット上の「証明できた」という主張は、このような確認を経ていないものがほとんどです。

リーマン予想はなぜ難しいのか

1. 零点は「無限個」あるのに、計算できるのは有限個

自明でない零点は無限個あります。どんな大きなコンピューターでも、確かめられるのは有限個。しかも、予想は「全部」の零点について言っています。だから、計算だけでは決着がつきません。

2. ゼータ関数は2つの顔をもつ

ゼータ関数は、足し算の顔と、かけ算の顔をもっています。足し算の顔は零点を調べるのに向いていますが、かけ算の顔は素数を調べるのに向いています。2つの顔をうまく使いこなして零点の場所を特定する方法は、まだだれも見つけていません。

3. 「実部1/2」がちょうどのさかい目

零点の実部が1/2から少しでもずれると、素数の分布が崩れます。つまり、答えは「ちょうど1/2」でなければならず、「だいたい1/2」では足りません。これは非常に厳しい条件で、近似的な議論だけでは到達できません。

4. ほかの分野にも影響が大きすぎる

リーマン予想が証明されれば、数学のたくさんの定理が「リーマン予想を仮定すれば成り立つ」から「無条件で成り立つ」に変わります。逆に言うと、これまでたくさんの論文が「リーマン予想が正しいとすれば」という前提で書かれています。この予想を証明するには、数論・解析・幾何・物理にまたがる新しい発想が必要だと考えられています。

よくある誤解：リーマン予想は「素数の公式」ではない

リーマン予想が証明されても、「次の素数はこれ」と教えてくれる公式が手に入るわけではありません。分かるのは、素数の個数のずれの大きさの限界です。素数が1個ずつどこに現れるかは、リーマン予想が証明されても、やはり予測できません。

また、収束と発散の違いを理解していないと、ゼータ関数のむずかしさは見えにくくなります。たとえば $\zeta(-1)=-\dfrac1{12}$ という有名な値は、$1+2+3+\cdots=-\dfrac1{12}$ という「見かけ」で語られることがありますが、これは足し算の式をそのまま計算したものではなく、解析接続という特別な拡張で得られた値です。「$1+2+3+\cdots$ をふつうに足すと $-\dfrac1{12}$ になる」わけではありません。

受験・勉強とリーマン予想のつながり

中学受験：素数と素因数分解

中学受験の算数には、素数・約数・倍数の問題が毎年のように出ます。「素数とは何か」「どんな整数も、素数の積にただ1通りに書ける」という素因数分解の性質は、リーマン予想の出発点のオイラー積と同じ考え方です（素因数分解のやり方と使い方）。素数に強くなる勉強をすることは、リーマン予想の入り口に立っていることでもあります。入試の年号にちなんだ素数の話題として、2027は素数？双子素数と西暦の入試問題や唯一の偶数の素数「2」の話もどうぞ。

高校数学：等比数列・無限級数・複素数

ゼータ関数に出てくる数学は、高校数学でも出会います。

• 無限等比級数（数学Ⅲ）：オイラー積に出てくる $\dfrac{1}{1-2^{-s}}=1+2^{-s}+2^{-2s}+\cdots$ は、公比が $2^{-s}$ の無限等比級数です（等比数列の和の公式）。
• 複素数平面（数学Ⅲ）：零点を表す平面は、高校の複素数平面そのものです（複素数平面とは）。
• 数列の極限・和の記号：Σ（シグマ）の計算公式を使いこなす力は、ゼータ関数の定義を読み解く土台になります。

大学入試：ゼータ関数そのものは出ない

入試で「リーマン予想を証明せよ」という問題が出ることはもちろんありません。ただ、リーマン予想の周辺の道具――素因数分解、無限級数、対数、バーゼル問題の答え π²/6の計算の考え方――は、数学Ⅲの内容と深く関わっています。対数の大きさの見積もりは、国公立大の2次試験でもよく出ます（常用対数とけた数の問題の解き方）。

勉強法として：「予想」と「証明」を区別する

リーマン予想から学べるいちばん大切なことは、「たくさんの例で確かめること」と「すべての場合に成り立つと証明すること」は別物だということです。答案でも、「いくつか試したら成り立った」で終わらせず、すべての場合にいえる理由を書く習慣をつけましょう。数学の勉強の進め方は数学の勉強法（解法の暗記→演習→過去問）も参考にしてください。

自由研究にも：素数の個数を数えてみよう

中学生なら、100までの素数の表を作って、10ごとに区切って素数の個数を数えてみましょう（エラトステネスのふるい、エラトステネスの業績と生涯）。0〜10に4個、10〜20に4個、20〜30に2個、…。個数は、だんだん減っていくようで、不規則にもゆれます。これを表やグラフにするだけでも、立派な自由研究になります。表計算ソフトを使えば、1万までの素数も数えられ、$x/\log x$ との比べっこもできます。

リーマン予想が数学・社会にあたえた影響

• 数学の「前提」になっている：リーマン予想が正しいことを仮定した定理は、数多く知られています。もし予想が証明されれば、それらが一斉に「無条件の定理」になります。
• ゼータ関数の仲間たち：ゼータ関数は、ディリクレのL関数、代数体のデデキント・ゼータ関数、楕円曲線のL関数など、いろいろな仲間に広がりました。それぞれに「リーマン予想の仲間」の予想があり、フェルマーの最終定理の証明でも、これらの考え方が活躍しました。
• 数論と物理のつながり：零点の間隔が、ランダム行列（原子核の物理）の分布と似ているという発見は、数論と量子物理の意外な関係を示しています。「零点は、ある量子力学的な系のエネルギー準位ではないか」という見方（ヒルベルト＝ポリア予想）も、研究が続いています。
• 暗号と素数：インターネットの通信を守る暗号（RSA暗号）は、大きな素数の積を素因数分解するのが難しいことを利用しています。「大きな素数を効率よく見つける方法」の理論にも、リーマン予想が関わります。ただし、リーマン予想が証明されても、暗号がすぐに破られるわけではありません。
• 計算数学の発展：零点を高速に計算する方法は、数値計算や誤差の厳密な管理の技術を進歩させました。

ABC予想やP≠NP予想といった他の現代の難問とも、「素数」「計算の難しさ」という視点でつながっています。ひとつの難問が、ほかの難問の見方を変える。難問どうしがつながっているところも、数学のおもしろさです。

リーマン予想に挑戦！練習問題

リーマン予想と関係する数学者・難問

• リーマン（予想を述べた数学者）：1859年の論文でこの予想をのべました。リーマン積分やリーマン幾何学でも知られます。
• オイラー（ゼータ関数の生みの親）：1737年に自然数と素数をつなぐ積の公式を発見しました。
• ガウス（素数の個数の予想）：素数の個数が $x/\log x$ に近いと予想しました。
• アダマール：1896年に素数定理を証明しました。
• ヒルベルトとハーディ：ヒルベルトは第8問題にあげ、ハーディは実部1/2の直線上に零点が無限個あることを示しました。
• 素数定理・ゴールドバッハ予想・双子素数予想・バーゼル問題・ABC予想：素数や無限級数でつながる難問です。

ほかの未解決の難問

• 奇数の完全数はあるかとは（未解決）
  6・28のように約数の和が自分の2倍になる完全数。偶数のものは52個見つかっているが、奇数の完全数は1つも見つかっていない
• ゴールドバッハ予想とは（未解決）
  4以上の偶数は2つの素数の和で表せるか。とても大きな数まで確かめられているが証明はない（奇数版の「弱い予想」は2013年に証明が発表された）
• 双子素数予想とは（未解決）
  3と5、11と13のように差が2の素数の組は無限にあるか。2013年に「差が7000万以下の組は無限」と分かり、その後246まで縮まった
• コラッツ予想とは（未解決）
  偶数なら2でわり、奇数なら3倍して1を足す。どんな数から始めても1にたどり着くか
• P≠NP 予想とは（未解決）
  答えを確かめるのが速い問題は、答えを見つけるのも速いのか。コンピューターの世界の最大の難問。ミレニアム懸賞問題

← 前の時代：四色問題とは（解決）　｜　次の時代：連続体仮説とは（不可能・決められないと証明） →

数学の難問・未解決問題の一覧（いつ・だれが解いたか）　｜　有名な数学者一覧

読みもの（合格大作戦の数学の記事）

• 2027は素数？双子素数と西暦の入試問題
  2027＝45²＋2
• 唯一の偶数の素数「2」の話
  素数から学ぶ逆転合格の考え方
• 算数・数学の公式一覧（公式辞典）
  公式・証明・例題を1つずつ
• 数学用語辞典（用語の意味を1語1ページ）
  素数・漸近線など200語
• フェルマーの最終定理とは？わかりやすく解説
  n＝2と3以上の違い、ワイルズの証明
• 数学の勉強法（解法の暗記→演習→過去問）
  青・黄・赤チャートの使い分け

よくある質問

あわせて読みたい

• 数学の難問・未解決問題の一覧
• 有名な数学者一覧
• 算数・数学の公式一覧（公式辞典）