ベルトランの仮説

ベルトランの仮説（）とは、フランスの数学者ジョゼフ・ベルトランが1845年に発表した、という命題である。
 とも言い換えられる。ベルトランはこの命題を  の場合に検証し、一般の場合についての予想として提出した。この命題は実際には1852年にチェビシェフによって証明されており、現在ではベルトラン＝チェビシェフの定理（）、数論におけるチェビシェフの定理（）とも呼ばれている。

証明

ガンマ関数を使った証明 
最初に得られたチェビシェフによる証明はガンマ関数を使った高度なものであった。1919年にシュリニヴァーサ・ラマヌジャンは、ガンマ関数を用いて、チェビシェフの証明よりも簡単な証明を与えた。

初等的な証明 
1932年にポール・エルデシュが高校生のときに初等的な証明を与えた。

一松信は、エルデシュによる初等的な証明をさらに解きほぐしたものを『数研通信』70号（2011年5月）に発表した。2013年5月には、より強い評価式による証明が発表された。2019年8月には、『数学セミナー』に同様な証明が掲載された。

証明 
その証明の概略は次の通りである。背理法による。
ある自然数  を取ると、 を満たす素数  が存在しないと仮定する。
 を下と上から  の式で評価し、それを  とおく。
 は  で減少より、 は、幸いにもあまり大きくない数  以上では成り立たないと確認される。
 のとき、 を満たす  が存在することを確認する。
これらは矛盾。（証明終）

素数定理による証明 
素数定理により、 が十分大きいときには  と  の間の素数の個数は  に近いことが言え、特にベルトランの仮説によって保証されている1つの素数の存在よりもより強く、より多くの素数が  と  の間に存在していることが分かる。しかしここで素数定理をベルトランの仮説の証明に用いるためには、 と  の間の実際の素数の個数が  からどれだけずれているのかを評価しなければならない。この評価を得ることは可能だが、証明は入り組んだものになるし、チェビシェフによるベルトランの仮説の証明は素数定理の証明よりも前に得られていた。

ゴールドバッハの予想による証明 
ゴールドバッハの予想を真と仮定すれば、ベルトランの仮説は簡単に示せる。

この方向で次もいえる。 を満たす素数  が存在しないような正整数  が存在する時、 以上の偶数は、2つの素数と13個の2の冪の和として表せない（上記から2つの素数の和として表せないのは自明であり、そこから導ける）。そして、 と  は両方、4つの素数の和として表せない。逆に、 と  が両方、5つ以上の素数の和としてしか表せないような正整数  が存在する時、その5つ以上のうちの最大素数は  以下である。

一般化 
ポール・エルデシュはこの命題の一般化として次の命題を証明した。
「任意の自然数  に対して、ある自然数  を取ると、任意の自然数  に対して、 と  の間に素数が少なくとも  個存在する」

脚注

参考文献 

 - 注釈：原著第2版(2001年)の日本語訳。

. (命題の証明は 371-382頁を参照。) また、以下の論文も参照： .

外部リンク 
「nと2nの間には素数が存在する」の初等的な証明
チェビシェフの定理のラマヌジャンの鮮やかな証明

解析的整数論の定理
素数
数学に関する記事