フランスの数学者ベルトランは素数表を観察する中で次の予想を立てました。
[math]n=1, 2, 3, \dots[/math]で確認すると
- [math]n=1[/math]: [math]1 < 2 \leq 2[/math]より素数[math]2[/math]が存在
- [math]n=2[/math]: [math]2 < 3 \leq 4[/math]より素数[math]3[/math]が存在
- [math]n=3[/math]: [math]3 < 5 \leq 6[/math]より素数[math]5[/math]が存在
- [math]n=4[/math]: [math]4 < 7 \leq 8[/math]より素数[math]7[/math]が存在
とたしかに素数が存在します。
ベルトランは[math]n \leq 3\times 10^6[/math]で予想が正しいことを検証しましたが任意の自然数で成立することを示すには至りませんでした。ベルトランの予想から5年後、チェビシェフがこの予想を肯定的に解決し「ベルトラン・チェビシェフの定理」と呼ばれます。
チェビシェフの証明はガンマ関数を用いた高度なものでしたが、放浪の天才数学者として有名なエルデシュが高校生の時に初等的な証明を発見しました。その証明が「Proofs from THE BOOK」[1]エルデッシュは無神論者でしたが、「すべての定理、理論が書かれた本」の存在を信じており”THE … Continue reading（邦訳「天書の証明
」）に載っています。また、数研通信70号に一松信先生が「[math]n[/math]と[math]2n[/math]の間に素数がある」という記事で解説されておりそれぞれを参考に前編、後編の2回に分けエルデシュによる証明を紹介します。
一松信先生も記事のなかで
実力のある高校生なら十分に理解できる証明で，知っていて損はしないと思いますのでここに紹介します。
とコメントされている通り高校生でも十分理解できる内容なので証明を一緒に追ってもらえればと思います。
証明のアウトライン
エルデシュは二項係数の中央の値[math]{}_{2n}C_n[/math]を素因数分解
[math]
{}_{2n}C_n = p_1^{a_1}p_2^{a_2}\cdot \cdots \cdot p_k^{a_k}
[/math]
した時の素因数[math]p_i[/math]とその指数[math]a_i[/math]を考察し次の性質を導きます。
- 各因数は[math]p_i^{a_i} \leq 2n[/math]と上から押さえられる。
- [math]p_i > \sqrt{2n}[/math]ならば因数は[math]p_i^1[/math]の形になる。
- [math]p_i[/math]は[math]\left[2, \frac{2}{3}n\right], \left(n, 2n\right][/math]の範囲にしか現れない。
ここから[math]{}_{2n}C_n[/math]は
[math]
\displaystyle {}_{2n}C_n = \prod_{p_i \leq \sqrt{2n}} p_i^{a_i}\prod_{\sqrt{2n} < p_i \leq \frac{2}{3}n} p_i\prod_{n < p_i \leq 2n} p_i
[/math]
とかけ、[math]\displaystyle \prod_{n < p_i \leq 2n} p_i[/math]の大きさを評価することで
[math]n[/math]と[math]2n[/math]の間には素数が一定数存在する
という結論を導くことができます。
素因数[math]p_i[/math]と指数[math]a_i[/math]の性質
二項係数[math]{}_{2n}C_n=\frac{(2n)!}{n!n!}[/math]なのでまず[math]n![/math]の素因数[math]p[/math]の指数に関する補題を示します。
[math]
\displaystyle r = \sum_{k = 1}^{\lfloor \log_p n \rfloor}\left\lfloor \dfrac{n}{p^k} \right\rfloor
[/math]
この補題は「ルジャンドルの定理」として知られており、例えば「高校数学の美しい物語」さんに分かりやすい証明があります。
この補題から[math]{}_{2n}C_n=\frac{(2n)!}{n!n!}[/math]の素因数[math]p_i[/math]の指数[math]a_i[/math]は分子[math](2n)![/math]の[math]p_i[/math]の指数から分母[math]n!n![/math]の指数を引いて
[math]
\begin{eqnarray}
a_i &=& \sum_{k = 1}^{\lfloor \log_{p_i} 2n \rfloor}\left(\left\lfloor \dfrac{2n}{p^k} \right\rfloor – 2\left\lfloor \dfrac{n}{p^k} \right\rfloor \right)
\end{eqnarray}
[/math]
と書けます。一般に実数[math]x \in \mathbb{R}[/math]に対して[math]x = \lfloor x \rfloor + c(0 \leq c < 1)[/math]とかけ
[math]
\begin{eqnarray}
\lfloor 2x \rfloor – 2\lfloor x \rfloor &=& \lfloor 2c \rfloor \\
&\leq & 1
\end{eqnarray}
[/math]
なので[math]x_k = \frac{n}{p^k}[/math]とおくと
[math]
\begin{eqnarray}
a_i &=& \sum_{k = 1}^{\lfloor \log_{p_i} 2n \rfloor}\left(\lfloor 2x_k \rfloor – 2\lfloor x_k \rfloor\right) \\
&\leq& \lfloor \log_{p_i} 2n \rfloor \\
&\leq& \log_{p_i} 2n
\end{eqnarray}
[/math]
が成立します。これより
[math]
\begin{eqnarray}
p_i^{a_i} &\leq & p_i^{\log_{p_i} 2n} \\
&\leq & 2n
\end{eqnarray}
[/math]
となります。また、[math]p_i > \sqrt{2n}[/math]の時
[math]
\begin{eqnarray}
a_i &\leq& \log_{p_i} 2n \\
&=& \dfrac{\log 2n}{\log p_i} \\
&<& 2
\end{eqnarray}
[/math]
より[math]a_i=1[/math]となることもわかります。まとめると以下になります。
- [math]p_i^{a_i} \leq 2n[/math]
- [math]p_i > \sqrt{2n}[/math]ならば[math]a_i=1[/math]
[math]{}_{2n}C_n[/math]の素因数[math]p_i[/math]がとり得る範囲
エルデッシュの証明の根幹をなす次の性質を示します。
[math]{}_{2n}C_n=\frac{(2n)!}{n!n!}[/math]の分子、分母に現れる[math]p_i[/math]の回数を数えてみます。
[math]\frac{2}{3}n < p_i \leq n[/math]の場合、[math]p_i \leq n < 2p_i \leq 2n < 3p_i[/math]なので[math]p_i[/math]を約数に持つ数は
- 区間[math][1, n][/math]: [math]p_i[/math]のみ
- 区間[math][1, 2n][/math]: [math]p_i[/math]と[math]2p_i[/math]
となり[math]{}_{2n}C_n=\frac{(2n)!}{n!n!}[/math]の分子、分母でちょうど2回ずつ現れ約分されるので素因数に持つことはありません。
具体例でみる各性質
エルデッシュが導いた
- [math]p_i^{a_i} \leq 2n[/math]
- [math]p_i > \sqrt{2n}[/math]ならば[math]a_i=1[/math]
- [math]p_i \notin \left(\frac{2}{3}n, n\right][/math]
を具体例を通じて確認してみましょう。[math]n=15[/math]の場合
[math]
\begin{eqnarray}
{}_{30}C_{15} &=& \dfrac{30!}{15!15!} \\
&=& 2^4\cdot 3^2\cdot 5\cdot 17\cdot 19\cdot 23\cdot 29
\end{eqnarray}
[/math]
と因数分解でき
- 各因数について[math]p_i^{a_i} \leq 30[/math]
- [math]p_i > \sqrt{30}=5.47\ldots[/math]つまり[math]7[/math]以上の素因数の指数は[math]1[/math]
- [math]p_i \notin \left(10, 15\right][/math]つまり素因数[math]11, 13[/math]を含まない
と確かに性質が成立していることがわかります。
後編ではこれらの性質を使って[math]\displaystyle \prod_{n < p_i \leq 2n} p_i[/math]の大きさを評価し
[math]n[/math]と[math]2n[/math]の間には素数が一定数存在する
という結論を導いていきます。
参考文献
- 「Proofs from THE BOOK
」（邦訳「天書の証明
- 一松 信, 「nと2nの間に素数がある」（数研通信70号）
- 栃折 成紀, 「「nと2nの間に素数がある」の証明を考える」（数研通信76号）
脚注
| ↑1 | エルデッシュは無神論者でしたが、「すべての定理、理論が書かれた本」の存在を信じており”THE BOOK”と呼んでいました。本書のタイトルはエルデッシュのこの言葉から取られています。 |
|---|
