🔢 mathematics

Folkman's theorem and the primes

この論文は、フォークマンの定理（あるいはヒンドマンの定理）という加法ラマゼイ理論の結果を用いて、素数が無限に存在することに対する新しい証明を 2 つ提供しています。

原著者： David J. Fernández-Bretón

公開日 2026-04-22

📖 1 分で読めます🧠 じっくり読む

原著者： David J. Fernández-Bretón

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

素数の無限大を証明する「新しい魔法」

～フォークマンの定理を使った、数学的なパズル～

この論文は、**「素数は無限に存在する」**という、古くから知られている数学の事実を、全く新しい方法で証明しようとするものです。

通常、この証明は「ユークリッドの証明」という古典的な方法で行われますが、著者は**「ラムゼー理論」**という、色分けやパターンの法則を研究する分野の「フォークマンの定理」という強力な道具を使って、2 つの新しい証明法を提案しています。

これを一般の方にもわかりやすく、日常の言葉とアナロジー（比喩）を使って説明しましょう。

1. 背景：なぜ新しい証明が必要なの？

「素数は無限にある」ということは、小学生でも知っているような事実ですが、数学者たちは「もっと面白い方法で証明できないか？」と常に探求しています。
最近では、**「色分け」や「パターンの法則」**を使う証明が流行っています。

例え話： 世界中のすべての人を「赤」「青」「緑」の 3 色で服を着せるとします。このとき、「同じ色の服を着た人たちが集まって、何か面白い関係（例えば、足し算の結果が同じ色になるなど）を持つグループ」が必ず見つかる」というような法則です。

この論文は、その「法則」の一つであるフォークマンの定理を使って、素数の無限性を証明しようとしています。

2. 道具：フォークマンの定理とは？

フォークマンの定理を一言で言うと、**「どんなに複雑に色分けしても、必ず『同じ色のグループ』が作れる」**という定理です。

アナロジー：
想像してください。無限に続く数字の列（1, 2, 3, 4...）が、何色かの服を着ています。フォークマンの定理は、「どんな色のルールで着せても、必ず『同じ色の服を着た数字』をいくつか集めて、それらを足し合わせた結果も、すべて同じ色の服を着ているグループが見つかる」と言っています。

この「同じ色のグループ」を見つけることが、素数の無限性を暴き出す鍵になります。

3. 証明の核心：2 つの新しいアプローチ

著者は、この定理を使って 2 つの異なる方法で証明を行いました。どちらも「素数が有限個しかない」と仮定して矛盾を導き出す（背理法）というスタイルです。

証明その 1：「数字の成分」を色分けする

アイデア：
素数が有限個しかない（例えば 2, 3, 5, 7 の 4 つだけ）と仮定します。
すると、どんな数字も「2 が何個掛かっているか」「3 が何個掛かっているか」といった**「素因数分解の成分」**で完全に説明できます。
色分けのルール：
著者は、数字を「2 の成分が奇数か偶数か」「3 の成分は何か」といったルールで色分けしました。
フォークマンの定理を使う：
「同じ色のグループ」が見つかったとします。つまり、ある数字たちを足し合わせると、その結果も同じ色のルールに従うはずです。
矛盾の発見：
しかし、よくよく計算してみると、「同じ色のグループ」を作ろうとすると、**「ある数字を足し合わせると、その数字の成分が突然変わってしまう」**という矛盾が起きます。
- 例え話： 「赤いリンゴを 2 つ足すと、赤いリンゴになるはずなのに、なぜか青いリンゴになってしまう」というような矛盾です。
  この矛盾は、「素数が有限個しかない」という仮定が間違っていたことを意味します。したがって、素数は無限に存在します。

証明その 2：「より大きなグループ」を探す

アイデア：
1 つ目の証明は少し複雑だったので、2 つ目の証明では「色」の数を減らして、**「グループの大きさ」**を大きくするアプローチを取りました。
色分けのルール：
今回は、数字を「素因数分解の成分が偶数か奇数か」だけで色分けします（赤か青だけ）。
フォークマンの定理を使う：
今回は、非常に大きな「同じ色のグループ」が見つかることを利用します。
矛盾の発見：
この大きなグループの中から、特定のルールに従って数字を選ぼうとすると、**「同じ色のグループの中に、互いに矛盾する性質を持つ数字が混じっている」**ことがわかります。
- 例え話： 「同じ色の服を着た人たちが集まっているはずなのに、実はその中に『身長が同じはずなのに、違う身長を持っている人』が紛れ込んでいる」という状況です。
  これも「素数が有限個しかない」という仮定が間違っていた証拠です。

4. この証明のすごいところ

難しい数学を使わない：
従来の新しい証明法（例えばフェルマーの最終定理を使うなど）は、非常に高度な数学の知識が必要でした。しかし、この論文の証明は、「鳩の巣原理」（鳩が巣より多いと、必ず 1 つの巣に 2 羽以上入るという単純な論理）や、基本的な足し算の知識だけで完結しています。
組み合わせの力：
「素数」という数の性質を、直接調べるのではなく、「数字を足し合わせた時のパターン（組み合わせ）」を調べることで、間接的に証明しています。
シンプルさ：
著者は、「フォークマンの定理という強力な道具を使う代わりに、難しい数式を避けた」と言っています。

まとめ

この論文は、**「素数は無限にある」という古くからの真理を、「色分けゲームの法則」**を使って、驚くほどシンプルでエレガントに証明したものです。

まるで、**「無限の数の世界で、どんなルールで色分けしても、必ず『同じ色のグループ』が見つかるという法則を使って、素数が有限個ではあり得ないことを暴き出した」**ような物語です。

数学の美しさは、難しい計算だけでなく、こうした「パターンの法則」を使って、世界の真理をシンプルに解き明かすところにあるのかもしれません。

論文概要：Folkman の定理と素数（FOLKMAN'S THEOREM AND THE PRIMES）

著者: David J. Fernández-Bretón
要約: 本論文は、ラムゼー理論の成果である「Folkman の定理（あるいは Hindman の定理）」を用いて、素数が無限に存在することを証明する、2 つの新しい証明を提示するものである。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的まとめを記述する。

1. 問題設定と背景

問題: ユークリッドによる素数の無限性の証明は古典的であるが、近年、ラムゼー理論（Ramsey theory）の定理を用いた新たな証明が数論分野で注目されている。
既存研究:
- Alpoge: van der Waerden の定理を使用。
- Granville: van der Waerden の定理と平方和に関するフェルマーの定理を併用。
- Gasarch, Elsholtz: シュールの定理（Schur's theorem）、Roth の定理、Hindman の有限和定理などを、フェルマーの最終定理や n 乗数の間隔に関する観察と組み合わせて使用。
本研究の動機: Elsholtz は、Folkman の定理（Hindman の定理の有限版）と数論的な結果を組み合わせることで素数の無限性を証明できる可能性を予想していた。本論文は、この予想を肯定し、深遠な数論的な結果（フェルマーの最終定理など）を一切使わず、組合せ論のみで証明を行うことを目指している。

2. 手法と主要な定理

本研究の核心は、Folkman の定理の適用にある。

Folkman の定理: 自然数集合 $\mathbb{N}$ を有限個の色で彩色したとき、任意の $M \in \mathbb{N}$ に対して、 $M$ 個の自然数からなる集合 $X$ が存在し、 $X$ の要素から重複なしに有限個選んで作られるすべての和の集合 $FS(X)$ が単一色（モノクロ）になる。
- これはシュールの定理（ $M=2$ の場合）の一般化であり、Hindman の定理（ $X$ が無限集合の場合）の有限版とみなせる。
証明の方針:
1. 素数集合 $P$ が有限集合（サイズ $N$ ）であると仮定する（背理法）。
2. 自然数 $n$ に対して、素因数分解における $p$ -進位数 $\nu_p(n)$ や、 $p$ で割った余りの情報に基づいた「彩色（coloring）」 $c(n)$ を定義する。
3. Folkman の定理を適用し、$FS(X) $が単一色となる集合$ X$ を得る。
4. 単一色の性質と $p$ -進位数の性質（ $\nu_p(a+b) = \nu_p(a)$ if $\nu_p(a) < \nu_p(b)$ ）を矛盾させることで、 $X$ の要素の個数と素数の個数の関係を破綻させ、 $a=0$ という矛盾を導き出す。

3. 2 つの証明の概要

第一の証明

彩色の定義:
$c(n) = (\nu_2(n) \bmod 2, \xi_2(n) \bmod 4) \frown (\xi_p(n) \bmod p \mid p \in P \setminus \{2\})$
ここで $\xi_p(n)$ は $n$ から $p$ の因子をすべて取り除いた部分（ $n = p^{\nu_p(n)} \xi_p(n)$ ）である。
論理の流れ:
- 集合 $X$ のサイズを $N+1$ とする。
- 主張 1: 異なる $a, b \in X$ に対して $\nu_2(a) \neq \nu_2(b)$ であることを示す（ $\nu_2$ が等しいと、和をとった際に $\nu_2$ の値が変化し、彩色が一致しなくなるため）。
- 主張 2: 同様に、任意の奇素数 $p$ に対しても $\nu_p(a) \neq \nu_p(b)$ であることを示す。
- 矛盾の導出: $X$ から各素数 $p$ に対して最小の $\nu_p$ を持つ要素を順に選び出すと、 $N$ 個の要素で全ての素数に対応する最小値が網羅される。しかし $|X|=N+1$ であるため、選ばれなかった要素 $a$ が存在する。この $a$ と選んだ要素の和を考えると、すべての素数 $p$ について $\nu_p$ の値が一致してしまうが、これは $a=0$ を意味し、 $X$ の要素が非ゼロであることと矛盾する。

第二の証明

彩色の定義:
$c(n) = (\nu_p(n) \bmod 2 \mid p \in P)$
より単純な彩色（ $2^N$ 色）を使用するが、より大きな集合 $X$ を必要とする。
論理の流れ:
- 集合 $X$ のサイズを $M = (N+1) \prod_{p \in P} p^4$ と設定する。
- 主張 3: 任意の素数 $p$ と整数 $\alpha$ に対して、 $\nu_p(a)=\alpha$ となる $a \in X$ は $p^4$ 個以下であることを示す（鳩の巣原理と、 $p^2$ に関する合同式を用いた構成による）。
- 薄め出し（Thinning out）: 各素数 $p$ について、同じ $\nu_p$ 値を持つ要素を $1 $つだけ残すように$ X $から要素を削除する。この操作により、元の集合の$ 1/p^4 $以上の要素が残り、最終的にサイズが$ N+1 $以上となる部分集合$ Z$ が得られる。
- 矛盾の導出: 第一の証明と同様の構成（各素数に対応する最小 $\nu_p$ 値を持つ要素の選択）を行い、残った要素 $a$ について矛盾（ $a=0$ ）を導く。

4. 主要な貢献と結果

Folkman の定理による証明の確立: Elsholtz の予想を肯定し、Folkman の定理を用いた素数無限性の証明を初めて提供した。
数論的ツールの最小化: 既存のラムゼー理論を用いた証明（Gasarch や Elsholtz のものなど）がフェルマーの最終定理や n 乗数の間隔に関する深い数論的観察を必要としたのに対し、本証明は組合せ論（Folkman の定理）と鳩の巣原理のみで完結している。
証明の多様性: 2 つの異なるアプローチ（詳細な彩色と集合の選択、および単純な彩色と集合の薄め出し）を示し、Folkman の定理の適用可能性を広げた。

5. 意義と評価

複雑性の観点:
- ユークリッドの古典的証明よりは複雑である。
- しかし、van der Waerden の定理やその拡張を用いた Alpoge や Granville の証明、あるいは ultrafilter を用いた Hindman の定理の証明と比較して、論理的な複雑性は低いと評価されている（特に、ultrafilter を使わない初等的な証明が可能である点）。
学術的価値:
- 数論とラムゼー理論の交差点における、新しい証明手法の確立。
- 「深遠な数論的定理を使わずに、純粋な組合せ論の強さだけで素数の無限性を示せる」ことを示すことで、両分野の関係を再考させる材料となった。
- 本証明は、Folkman の定理自体が素数の無限性を仮定せずに証明可能である（Sanders や Graham-Rothschild-Spencer による証明など）ため、循環論法となっていない。

結論

David J. Fernández-Bretón によるこの論文は、Folkman の定理という強力なラムゼー理論のツールを用いることで、素数の無限性を「数論的な深淵に頼らず、組合せ論の美しさだけで」証明する新しい道を開いた。これは、数論的命題の証明におけるラムゼー理論の適用可能性をさらに広げる重要な成果である。