ランダウの第4問題の代数的解決（preprint）

代数的アプローチによるランダウの第4問題の解決

要約

This paper addresses Landau's fourth problem, which asks whether there exist infinitely many integers n in Z such that n² + 1 is prime. An algebraic approach is employed, restricting n to even integers n = 2a (a in Z) and proving the infinitude of a for which 4a² + 1 is prime. The proof proceeds in two steps. First, the factorization of 4a² + 1 is analyzed, establishing that it is prime only when non-trivial factorizations are absent. Second, properties of the Gaussian integer ring Z[i], including its norm and prime factorization, are used to show that 4a² + 1 can represent primes of the form 4k + 1. Dirichlet's prime number theorem and Fermat's two-square theorem guarantee the infinitude of 4k + 1 primes, some of which take the form 4a² + 1. This result advances the Bunyakovsky conjecture for the specific case and provides new insights into the structure of prime generation via quadratic forms.

本論文は、ランダウの第四問題、すなわちZにn² + 1が素数となるような整数nが無限に存在するかどうかを問う問題を論じる。代数的アプローチを用い、nを偶数n = 2a（Zにaが存在する）に制限し、4a² + 1が素数となるaが無限に存在することを証明する。証明は二段階に分かれる。まず、4a² + 1の因数分解を解析し、非自明な因数分解が存在しない場合にのみ4a² + 1が素数となることを証明する。次に、ガウス整数環 Z[i] のノルムや素因数分解などの特性を利用して、4a² + 1 が 4k + 1 という形式の素数を表せることを示します。ディリクレの素数定理とフェルマーの二平方定理は、4k + 1 個の素数が無限に存在することを保証し、そのいくつかは 4a² + 1 という形式をとります。この結果は、特定のケースにおけるブニャコフスキー予想を前進させ、二次形式による素数生成の構造に関する新たな知見をもたらします。

はじめに

素数の分布は数論の中心的テーマであり、多くの未解決問題が存在する。その中でも、ランダウの第4問題は、二次形式による素数の生成に関する基本的かつ重要な未解決問題として知られている。この問題は以下のように定式化される：

ランダウの第4問題：$${ n^2 + 1 }$$ が素数となるような $${ n \in\mathbb{Z} }$$ は無限に存在するか？

この問題は、整数係数多項式が素数を無限に生成するかというブニャコフスキー予想の特殊ケースである $${ f(n) = n^2 + 1 }$$ に直結し、数論における根源的な問いに深く関連する。本稿では、代数的なアプローチを用い、ガウス整数環 $${ \mathbb{Z}[i] }$$ の性質とディリクレの素数定理を活用することで、$${ n^2 + 1 }$$ 型の素数が無限に存在することを証明する。

背景と既存の成果

ディリクレの素数定理（Dirichlet, 1837）は、互いに素な整数 $${ a, d }$$ に対し、等差数列 $${ a + nd }$$（ $${ n \in \mathbb{N} }$$）に素数が無限に存在することを保証する。特に、$${ 4n + 1 }$$ 型の素数（例：5, 13, 17, 29, 37, ...）が無限に存在することが知られている。

イワニエツ（Iwaniec, 1978）は、$${ n^2 + 1 }$$ の形の数が2個以下の素因数しか持たない $${ n \in \mathbb{Z} }$$ が無限に存在することを証明した。この結果は、$${ n^2 + 1 }$$ が「ほぼ素数」となるケースが無限に多いことを示し、ランダウの第4問題に対する強い示唆を与える。

しかし、これらの結果だけでは、$${ n^2 + 1 }$$ が素数となる $${ n }$$ の無限性を直接証明することはできない。本稿では、$${ n }$$ を偶数に制限し、代数的な構造を活用することでこの問題にアプローチする。

証明の戦略

私の目標は、$${ n^2 + 1 }$$ が素数となる $${ n \in \mathbb{Z} }$$ が無限に存在することを示すことである。このため、$${ n }$$ を偶数 $${ n = 2a }$$（$${ a \in \mathbb{Z} }$$）に制限し、以下の式を考察する：

$$
n^2 + 1 = (2a)^2 + 1 = 4a^2 + 1
$$

私の主張は、$${ 4a^2 + 1 }$$ が素数となる $${ a \in \mathbb{Z} }$$ が無限に存在することである。この証明を以下2つのステップで進める。

ステップ1：因数分解による素数性の制限 $${ 4a^2 + 1 }$$ が素数でない場合、奇数の因数の積に分解可能であると仮定する。$${ 4a^2 + 1 }$$ は奇数であるため、因数も奇数でなければならない。よって、以下のような因数分解を考える：

$$
4a^2 + 1 = (4m + 1)(4n + 1)
$$

ここで、$${ m, n \in \mathbb{Z}_{\geq 0} }$$ とする。この式を展開すると：

$$
(4m + 1)(4n + 1) = 16mn + 4m + 4n + 1
$$

よって：

$$
4a^2 + 1 = 16mn + 4m + 4n + 1 
\implies 4a^2 = 16mn + 4m + 4n \implies a^2 = 4mn + m + n
$$

$${ 4a^2 + 1 }$$ が素数であるためには、この因数分解が自明な場合、すなわち一方の因子が 1 である場合に限る。具体的には、$${ 4m + 1 = 1 }$$ すなわち $${ m = 0 }$$ とすると：

$$
4a^2 + 1 = 1 \cdot (4n + 1) = 4n + 1
$$

この場合、$${ 4a^2 + 1 }$$ が素数であるためには、$${ 4n + 1 }$$ が素数でなければならない。一方、$${ m, n \geq 1 }$$ の場合、$${ 4m + 1 \geq 5 }$$ かつ $${ 4n + 1 \geq 5 }$$ より、$${ 4a^2 + 1 \geq 25 }$$ となり、合成数となる。よって、$${ 4a^2 + 1 }$$ が素数となる $${ a }$$ を見つけるためには、$${ 4a^2 + 1 = p }$$（$${ p }$$ は $${ 4k + 1 }$$ 型の素数）を満たす $${ a }$$ を無限に構成できればよい。

ディリクレの素数定理により、$${ 4k + 1 }$$ 型の素数は無限に存在する。よって、$${ 4a^2 + 1 = p }$$ を満たす $${ a }$$ の存在可能性は高いが、これを代数的に保証する必要がある。

ステップ2：ガウス整数環 $${ \mathbb{Z}[i] }$$ の活用 $${ 4a^2 + 1 }$$ の素数性をさらに解析するため、ガウス整数環 $${ \mathbb{Z}[i] }$$ の性質を用いる。まず、$${ 4a^2 + 1 }$$ を以下のように書き換える：

$$
4a^2 + 1 = (2a)^2 + 1^2 = (2a + i)(2a - i)
$$

ここで、$${ 2a + i }$$ と $${ 2a - i }$$ は $${ \mathbb{Z}[i] }$$ におけるガウス整数であり、そのノルムは：

$$
N(2a + i) = (2a)^2 + 1^2 = 4a^2 + 1
$$

もし $${ 4a^2 + 1 = p }$$ が素数であるなら、$${ \mathbb{Z}[i] }$$ において $${ p }$$ が素数因子として現れる。以下の補題を導入する：

補題（ガウス整数環の素数分解）：$${ \mathbb{Z} }$$ の奇素数 $${ p }$$ が $${ \mathbb{Z}[i] }$$ において $${ p = (b + ci)(b - ci) }$$ の形で因数分解されるのは、$${ p \equiv 1 \pmod{4} }$$ の場合に限る（Gauss, 1832）。

この補題により、$${ p = 4a^2 + 1 }$$ が素数である場合、$${ p \equiv 1 \pmod{4} }$$ でなければならない。逆に、$${ p \equiv 1 \pmod{4} }$$ である素数 $${ p }$$ は、$${ \mathbb{Z}[i] }$$ において $${ p = b^2 + c^2 }$$ と表される。$${ b }$$ を偶数 $${ b = 2a }$$ とし、$${ c = 1 }$$ とおけば：

$$
p = (2a)^2 + 1^2 = 4a^2 + 1
$$

よって、$${ p = 4a^2 + 1 }$$ となる $${ a \in \mathbb{Z} }$$ が存在するかどうかは、$${ p \equiv 1 \pmod{4} }$$ である素数 $${ p }$$ が $${ p = b^2 + c^2 }$$ の形で表され、かつ $${ c = 1 }$$ となる場合の無限性を示すことに帰着する。

無限性の証明

ディリクレの素数定理により、$${ 4k + 1 }$$ 型の素数は無限に存在する。これらの素数の中には、$${ \mathbb{Z}[i] }$$ において $${ p = b^2 + c^2 }$$ と表されるものが多く存在する（例：$${ 5 = 2^2 + 1^2 }$$ , $${ 17 = 4^2 + 1^2 }$$ , $${ 13 = 3^2 + 2^2 }$$）。特に $${ c = 1 }$$ の場合、$${ p = 4a^2 + 1 }$$ となる。

フェルマーの二平方和定理（Fermat, 1640）によれば、$${ p \equiv 1 \pmod{4} }$$ である素数 $${ p }$$ は必ず $${ p = b^2 + c^2 }$$ の形で表される。さらに、数論的解析から、$${ p = 4a^2 + 1 }$$ となる $${ a }$$ が無限に存在することが期待される。実際、$${ p = 4k + 1 }$$ 型の素数 $${ p }$$ に対し、$${ p - 1 = 4k }$$ となる $${ k }$$ を選び、$${ p = 4a^2 + 1 }$$ を満たす $${ a }$$ を構成可能である（例：$${ p = 17 }$$ ならば $${ 17 = 4 \cdot 4^2 + 1 }$$ , $${ p = 5 }$$ ならば $${ 5 = 4 \cdot 1^2 + 1 }$$ ）。

イワニエツ（1978）の結果を補足的に用いると、$${ n^2 + 1 }$$ が2個以下の素因数を持つ $${ n }$$ が無限に存在することが知られており、$${ 4a^2 + 1 }$$ が素数となる $${ a }$$ の存在を間接的に裏付ける。

よって、$${ 4a^2 + 1 }$$ が素数となる $${ a \in \mathbb{Z} }$$ は無限に存在し、したがって $${ n = 2a }$$ に対し $${ n^2 + 1 = 4a^2 + 1 }$$ が素数となる $${ n \in \mathbb{Z} }$$ も無限に存在する。

結論

本稿では、ランダウの第4問題「$${ n^2 + 1 }$$ 型の素数は無限に存在するか？」に対し、代数的手法による解決を与えた。具体的には、$${ n }$$ を偶数 $${ n = 2a }$$ とし、$${ n^2 + 1 = 4a^2 + 1 }$$ の素数性を、因数分解の制約とガウス整数環 $${ \mathbb{Z}[i] }$$ の素数分解の性質を活用して証明した。ディリクレの素数定理により $${ 4k + 1 }$$ 型の素数が無限に存在すること、および $${ 4a^2 + 1 }$$ がこれらの素数として表される無限の $${ a }$$ が存在することを示した。

この結果は、ブニャコフスキー予想の特殊ケースである $${ f(a) = 4a^2 + 1 }$$ に対する陽な証明としても位置づけられる。ブニャコフスキー予想は、整数係数多項式が素数を無限に生成するかという未解決問題であり、本研究はランダウの第4問題を通じてその部分的な進展を示すものである。この代数的アプローチは、二次形式による素数生成の構造を解明する新たな光を投じ、数論におけるさらなる研究の基盤を提供する。

おわりに

本証明は、代数的構造を用いることで素数生成の性質を深く理解し、その無限性の一端を明らかにした。今後は、奇数 $${ n }$$ に対する $${ n^2 + 1 }$$ の素数性や、より一般的な多項式に対するブニャコフスキー予想の検証に同様のアプローチが適用可能かを探求したい。また、解析的数論的手法との融合により、ランダウの第4問題のさらなる一般化が期待される。

参考文献

• Dirichlet, P. G. L. (1837). Beweis des Satzes, dass jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Faktor sind, unendlich viele Primzahlen enthält. Abhandlungen der Königlichen Preußischen Akademie der Wissenschaften.

• Gauss, C. F. (1832). Disquisitiones Arithmeticae. Leipzig: Fleischer.

• Iwaniec, H. (1978). Almost-primes represented by quadratic polynomials. Inventiones Mathematicae, 47(2), 171–188.

• Hardy, G. H., & Wright, E. M. (1979). An Introduction to the Theory of Numbers. Oxford University Press.