数学の未解決問題
数学には、現在も証明も反証もされていない問題が多数存在する。
代表的な問題
| 問題 | 概要 |
|---|---|
| リーマン予想 | ゼータ関数の非自明零点の実部に関する予想 |
| ゴールドバッハ予想 | 2より大きいすべての偶数は2つの素数の和で表せるという予想 |
| 双子素数予想 | 差が2の素数対が無限にあるという予想 |
| コラッツ予想 | 所定の整数操作を繰り返すと最終的に1に至るという予想 |
未解決問題の役割
最終的な問題が解けなくても、その研究過程で新しい定理、概念、計算方法が生まれることがある。未解決問題は数学の発展を促す重要な研究対象である。
未解決・証明済み・独立を分ける
未解決とは、問題の条件の下で証明も反証も確立していない状態をいう。ある公理系から証明も反証もできないという「独立性」は、それ自体が証明される別種の結果である。難しいから独立だ、計算で確かめたから証明済みだ、という結論はいずれも出せない。まず量化、対象の範囲、前提となる公理を明確にする。
例：コラッツ操作を追う
正の整数nに対し、偶数ならn/2、奇数なら3n+1へ移る。n=6からは6→3→10→5→16→8→4→2→1となる。途中では増加するため、毎回小さくなるという単純な帰納法は使えない。どんな初期値も有限回で1へ至ることを示すには、無限に発散する軌道や別の周期軌道を一般的に排除する必要がある。
進展を読むときの確認事項
「多くの場合」「十分大きい場合」「ある追加仮定の下で」といった成果は、元の主張すべてを示したこととは異なる。例えばゴールドバッハ予想の偶数を二素数の和で表す形と、奇数を三素数の和で表す弱い形は別である。未解決状況は変化するため、日付と原論文、専門家による検証状況を確認する。本増補でのClay公式分類の確認日は2026年10月12日である。
確認問題
最初の1兆個の例に反例がなかったら、すべての自然数について正しいと証明できるか。
解答と考え方を見る
できない。それより大きな値で反例が現れる可能性を論理的に排除していない。ただし別途、有限範囲の検査で十分だという定理があるなら話は異なる。
参考資料・次に読む資料
- Clay Mathematics Institute: The Millennium Prize Problemsミレニアム問題の公式一覧。掲載された分類を確認するための資料。
- UCLA Math Circle: Intro to the Collatz Conjectureコラッツ操作と予想を扱う大学の教材。
- Oxford Mathematical Institute: How do additive and multiplicative structures interact?双子素数など加法的・乗法的構造の問題を紹介する講義案内。
資料確認日：2026-10-12。