素数に関する証明

素数の研究は、2300年前の古代ギリシャから現代に至るまで、人類の至高の知性がバトンを繋いできた壮大な歴史です。

1. 古代・近代：素数の基礎と無限性の証明

初期の関心は「素数とは何か」「いくつあるのか」という根本的な問いから始まりました。

紀元前300年頃：エウクレイデス（ユークリッド）

• 【定理】 素数が無限に存在することの証明
• 【原典】 『原論』第9巻命題20（Stoicheia）
• 【内容】 「有限個しか素数がない」と仮定すると矛盾が生じることを示す。また、同書で算術の基本定理（すべての自然数は素数の積に一意に分解できる）の基礎も築かれました。

1640年：ピエール・ド・フェルマー

• 【定理】 フェルマーの小定理
• 【原典】 フレニクル・ド・ベシーへの書簡（1640年10月18日付）
• 【内容】 素数 p と、 p で割り切れない整数 a に対して、a^p-1≡ 1 mod p が成り立つという定理。現代のRSA暗号などの基盤となっています。フェルマーは例のごとく「証明は省く」と書き残しました。

1736年：レオンハルト・オイラー

• 【定理】 フェルマーの小定理の証明、および素数の逆数和の los 散
• 【原典】 論文『いくつかの素数の性質に関する考察』（Theorematum quorundam ad numeros primos spectantium demonstratio）
• 【内容】 フェルマーが証明しなかった小定理を厳密に証明。さらにオイラーは、すべての素数の逆数を足すと無限大に発散すること（∑1/p = ∞）を示し、数論に「解析学（無限や連続）」を持ち込むパラダイムシフトを起こしました。

2. 19世紀：素数の「分布」の解明（解析的数論の誕生）

数が増えるにつれて、素数はどのようにまばらになっていくのか。その「規則性」に焦点が当たります。

1792〜1793年頃（発表は1849年）：カール・フリードリヒ・ガウス

• 【定理】 素数定理の予想
• 【原典】 天文学者エンケへの書簡（および自身の対数表の余白へのメモ）
• 【内容】 当時15歳前後だったガウスは、数表の素数の割合を眺め、「ある数 xまでに存在する素数の個数 π(x) は、およそ x /ln(x) になる」ということを見抜きました。しかし、ガウス自身はこれを証明できませんでした。

1859年：ベルンハルト・リーマン

• 【定理】 リーマン予想（素数分布の誤差に関する予想）
• 【原典】 論文『与えられた数未満の素数の個数について』（Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse）
• 【内容】 リーマンが人生で唯一遺した数論の論文です。オイラーの関数を複素数全体に拡張した「ゼータ関数 ζ(s)」を定義し、その「零点（関数が0になる点）」の場所が、素数の正確な分布を支配していることを突き止めました。これが現代数学最大の未解決問題「リーマン予想」です。

1896年：ジャック・アダマール / シャルル・ジャン・ド・ラ・ヴァレー・プーサン

• 【定理】 素数定理の完全証明
• 【原典】 * アダマール：フランス数学会誌の論文
  • ラ・ヴァレー・プーサン：科学芸術アカデミー紀要の論文
• 【内容】 ガウスが予想し、リーマンが道筋をつけた「素数定理」を、二人がそれぞれ独立に、リーマンのゼータ関数を用いて完全に証明しました。これにより、素数の出現確率が対数によって支配されていることが確定しました。

3. 20世紀〜現代：足し算の壁への挑戦と爆発的進歩

冒頭の「Two Prime」の問題（足し算や間隔）。

1949年：アトル・セルバーグ / ポール・エルデシュ

• 【定理】 素数定理の「初等的な」証明
• 【原典】 『Annals of Mathematics』誌などの論文
• 【内容】 それまで「複素積分などの高度な解析学（微積分）を使わなければ証明できない」と信じられていた素数定理を、複素数を使わず、純粋に四則演算と対数の性質（初等的な方法）だけで証明し、数学界に衝撃を与えました。

1966年（1973年完全版）：陳景潤（チェン・ジンルン）

• 【定理】 陳の定理（ゴールドバッハ予想への最大の接近）
• 【原典】 論文『大いなる偶数を1つの素数と高々2つの素数の積の和として表すことについて』（Scientia Sinica）
• 【内容】 「篩（ふるい）法」という技術を極限まで洗練させ、「十分に大きな偶数は、1つの素数と、高々2つの素数の積の和である」を証明。

2004年：ベン・グリーン / テレンス・タオ

• 【定理】 グリーン・タオの定理
• 【原典】 論文『素数の集合における任意の長さの等差数列』（Annals of Mathematics）
• 【内容】 素数の並びの中に、例えば「3, 7, 11（差が4の等差数列）」のような、任意の長さの等差数列が無限に存在することを発見。組合せ論と数論を融合させた革新的な証明でした。

2013年：張益唐（イタン・ジャン）

• 【定理】 境界付き双子素数予想の証明
• 【原典】 論文『素数間の有界な間隔』（Annals of Mathematics）
• 【内容】 大学の講師をしながら不遇の時代を過ごしていた50代の張が、「差が7000万以下の素数のペアが無限にある」ことを証明。世界中の数学者がこの数値を縮める競争（Polymathプロジェクト）を開始し、ジェームズ・メイナードらの手によって、現在は「差が246以下」まで縮まっています。

まとめ：歴史の「次」の1ページ

こうして俯瞰すると、素数の証明の歴史は「最初は孤立したパズル（古代）だったものが、関数や無限を扱う解析学と結びつき（19世紀）、現代では情報科学や組合せ論とも融合している（21世紀）」という発展の歴史であることが分かります。

Open conjecture

数学の歴史において、ゴールドバッハ予想とリーマン予想は、どちらも「素数」をテーマにした未解決問題です。

一言で言うなら、ゴールドバッハ予想は「ミクロな足し算」のパズルであり、リーマン予想は「マクロな波（関数）」のパズルです。

1. ゴールドバッハ予想：素数の「足し算」の謎

前述の通り、1742年に生まれた、数論の中で最もシンプルで最も難しい予想の一つです。

• 主張： 「4以上のすべての偶数は、2つの素数の和で表すことができる」
• 性質： 加法的数論（足し算の数論）
• なぜ難しいか： 素数は「掛け算」で定義されているため、足し算をした瞬間にその性質がバラバラになって見えなくなってしまうからです。

上の図（通称：ゴールドバッハの彗星）のように、偶数が大きくなればなるほど、2つの素数に分解する方法（組み合わせの数）はむしろどんどん増えていく傾向にあります。それなのに、「絶対に1通りも存在しないような、へそ曲がりの偶数が1つもない」ということの厳密な証明が、どうしてもできません。

2. リーマン予想：素数の「分布（並び方）」の謎

1859年、ドイツの数学者ベルンハルト・リーマンが提唱した、現代数学の「本丸」とされる超難問です。

• 主張： 「リーマンのゼータ関数 ζ(s) の非自明な零点（関数が0になる点）の、実部（リアル・パート）はすべて 1/2 の直線上に並んでいるはずだ」
• 性質： 解析的数論（微分積分や複素数を使う数論）
• なぜ難しいか： 素数という「不連続で飛び飛びの数」の並び方を調べるために、複素数という「連続した無限の世界」を舞台に戦わなければならないからです。

何を意味しているのか？

素数の出現パターンは一見すると完全にランダム（気まぐれ）に見えます。しかし、リーマンは「ゼータ関数という特殊な数式に複素数を代入して『0』になるポイント（零点）を調べると、そこに素数の並び方のすべての情報が隠されている」ことを見抜きました。

もしすべての零点が本当に $\frac{1}{2}$ という一本の直線上に美しく整列していれば、「素数は、宇宙が奏でる完璧な音楽（波の重ね合わせ）に従って、一切の無駄な偏りなく綺麗にばらついている」ということが証明されます。リーマン予想とは、「素数の不規則さの中にある、究極の規則性」についての予想なのです。

3. 2つの予想の違い

2つのアプローチを比較すると、現代数学のダイナミズムがよく見えてきます。

項目	ゴールドバッハ予想	リーマン予想
生まれた年	1742年	1859年
問いの性質	個別の数に対する**「局所的（ミクロ）」**な問い	無限全体の並びに対する**「大域的（マクロ）」**な問い
扱う数学	整数論、組合せ論、篩（ふるい）法	複素関数論、解析学、量子力学
もし解けたら	「足し算と素数」を結ぶ新しい道具が手に入る。	現代数学の何千もの定理が一度に確定し、数学の景色が一変する。

4. 2つは裏で繋がっている

全く別物に見える2つの予想ですが、「リーマン予想が正しいと仮定すると、ゴールドバッハ予想の証明に劇的に近づく」という強力な繋がりがあります。

1920年代、イギリスの数学者ハーディとリトルウッドは、リーマン予想の親戚のような仮定（一般化リーマン予想）が正しいならば、ゴールドバッハ予想（特に3つの素数の和のバージョン）が「十分に大きな数なら絶対に成り立つ」ということを示しました。

つまり、「リーマン予想によって素数の全体的な散らばり具合（分布）が完璧に保証されれば、その情報を使って、巨大な偶数を2つの素数に分解する道筋（ゴールドバッハ予想）もスムーズに作れるようになる」のです。