整数論の美しい定理７つ

更新 2021/03/07

整数論（数論）の美しい7つの定理を紹介します。素数にまつわる定理が多いです。いずれも証明は難しいので定理の鑑賞にとどめておきます。

素数定理

1. Prime Number Theorem（素数定理）

$1$ から $n$ までの整数の中にある素数の数を $\pi(n)$ とおく。

$n$ が十分大きいとき， $\pi (n)\fallingdotseq \dfrac{n}{\log n}$

つまり， $\displaystyle\lim_{n\to\infty}\dfrac{\pi(n)\log n}{n}=1$

（私が思う）整数論の最も美しい定理です。素数の分布（割合）に関する非常に有名な定理です。主張は簡単＆美しい，にもかかわらず証明は非常に難しいです（私も理解していません）。
素数定理から，素数が無限個あることが分かります。

2. Bertrand’s Postulate（ベルトランの仮説）

$2$ 以上の任意の正の整数 $n$ に対して $n <p <2n$ を満たす素数 $p$ が存在する。

「仮説」となっていますが，証明されています。これも素数にまつわる美しい定理です。
いくつか証明がありますが，エルデシュが高校生のころにルジャンドルの定理などを用いた初等的な証明を与えています。当サイトを理解できる人なら一時間くらいで読めるくらいの難易度です。

3. Dirichlet's theorem on arithmetic progressions（ディリクレの算術級数定理）

$a$ と $b$ が互いに素な正の整数のとき， $an+b$ 型の素数は無限個存在する。

4. Bonse's inequality（ボンゼの不等式）

素数を小さい順に $p_1,\:p_2,\:\cdots$ とおく。 $n\geq 4$ のとき，

$p_1p_2p_3\cdots p_n > p_{n+1}^2$

ここまで4つは露骨に素数に関する定理でしたが，残り3つは素数とは直接関係ない整数論の定理です。

5. Lagrange's four-square theorem（ラグランジュの定理）

任意の非負整数は，四つの非負整数の平方の和として表せる。

6. Zsigmondy's theorem

互いに素な整数 $a,\:b$ が $a > b > 0$ を満たすとき（いくつかの特殊な例外を除いた状況のもとで）任意の正の整数 $n$ に対して以下が成立する：

$k=1,2,\cdots , n-1$ に対して $a^k-b^k$ の素因数ではないが， $a^n-b^n$ の素因数であるようなものが存在する。

7. Fermat's Last Theorem（フェルマーの最終定理）

$n\geq 3$ なる整数 $n$ に対して， $x^n+y^n=z^n$ を満たす正の整数の組 $x,\:y,\:z$ は存在しない。

7つとも美しい定理ですが，私は特に素数定理とラグランジュの定理が好きです。

この記事の監修者

マスオ

高校数学の美しい物語の管理人。「わかりやすいこと」と「ごまかさないこと」の両立を意識している。著書に『高校数学の美しい物語』『超ディープな算数の教科書』。記事の誤植やわかりにくい等のご指摘はお気軽にメールください！