ベルトランの仮説
ベルトランの仮説とは、フランスの数学者ベルトランが1845年に発表した、「自然数 n に対して、n < p ≤ 2n を満たす素数 p が存在する」という命題である。ベルトランはこの命題を n ≤ 3 × 106 の場合に検証し、一般の場合についての予想として提出した。この命題は実際には1850年にチェビシェフによって証明されており、現在ではベルトラン＝チェビシェフの定理、数論におけるチェビシェフの定理とも呼ばれている。
証明
初等的な証明
最初に得られたチェビシェフによる証明はガンマ関数を使った高度なものであった。のちに、ポール・エルデシュが高校生のときに初等的な証明を与えた[1][2]。
一松信は、エルデシュによる初等的な証明をさらに解きほぐしたものを『数研通信』70号（2011年5月）に著した[1]。
2013年5月には、より強い評価式による証明が発表された[3]。
証明
その証明の概略は次の通りである。背理法による。
- ある自然数 n を取ると、n < p ≤ 2n を満たす素数 p が存在しないと仮定する。
- 2nCn を下と上から n の式で評価し、それを f(n) < 2nCn < g(n) とおく。
- [math]y=\frac{\log x}{x}[/math] は x ≥ e で減少より、f(n) < g(n) は、幸いにもあまり大きくない数 n0 以上では成り立たないと確認される。
- n < n0 のとき、n < p ≤ 2n を満たす p は存在しないことを、確認する。
- これらは矛盾。（証明終）
素数定理による証明
素数定理により、n が十分大きいときには n と 2n の間の素数の個数は [math]\frac{n}{\log n}[/math] に近いことが言え、特にベルトランの仮説によって保証されている1つの素数の存在よりもより強く、より多くの素数が n と 2n の間に存在していることが分かる。しかしここで素数定理をベルトランの仮説の証明に用いるためには、n と 2n の間の実際の素数の個数が [math]\frac{n}{\log n}[/math] からどれだけずれているのかを評価しなければならない。この評価を得ることは可能だが、証明は入り組んだものになるし、チェビシェフによるベルトランの仮説の証明は素数定理の証明よりも前に得られていた。
ゴールドバッハの予想による証明
ゴールドバッハの予想を真と仮定すれば、ベルトランの仮説は簡単に示せる。
- n > 1 に対し 2n と 2n + 2 は2つの素数の和として表せる。n が素数でないとき 2n の場合の2つのうち大きい方が、n が素数のとき 2n + 2 の場合の2つのうち大きい方が、n より大きく 2n より小さい。
一般化
ポール・エルデシュはこの命題の一般化として次の命題を証明した。
- 「任意の自然数 k に対して、ある自然数 N を取ると、任意の自然数 n > N に対して、n と 2n の間に 素数が少なくとも k 個存在する」[2]
脚注
- ↑ 1.0 1.1 数研通信70号（2011年5月） (PDF)
- ↑ 2.0 2.1 "Proofs from the Book" 第1章を参照。原論文は P. Erdös, "Beweis eines Satzes von Tschebyschef", Acta Litt. Sci. Szeged 5 (1932), 194-198
- ↑ 数研通信76号（2013年5月） (PDF)
参考文献
- M. Aigner and G. M. Ziegler, "Proofs from the Book", 3rd edition, Springer, 2003. ISBN 3-540-40460-0
- 日本語訳、蟹江幸博『天書の証明』シュプリンガー・フェアラーク東京、2002年 ISBN 4-431-70986-X
- H.J. Ricardo, "Goldbach's conjecture implies Bertrand's postulate," The American Mathematical Monthly 112 (2005) 492.
- Goldbach implies Bertrand (Proof Wiki) http://www.proofwiki.org/wiki/Goldbach_implies_Bertrand