|
算術級数定理(さんじゅつきゅうすうていり、theorem on arithmetic progressions)は、初項と公差が互いに素である算術級数(等差数列)には無限に素数が存在する、という定理である。ペーター・グスタフ・ディリクレが1837年にディリクレのL関数を用いて初めて証明した。そのため、定理はしばしばディリクレの算術級数定理と呼ばれる。 == 概要 == 定理の言い換えとして、 である自然数 ''a'', ''b'' に対し、 (n は自然数)と書ける素数が無限に存在する、としてもよい。さらに、そのような素数の逆和は発散し、 ''x''以下の該当する素数の逆数の和はを満たす。 この定理はガウスが予想したとされるが、証明は1837年にディリクレがL関数を導入して行った。 ユークリッドによる素数が無限に存在するという定理を越えて、近代の数学が大きく進歩したことを示した。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「算術級数定理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Dirichlet's theorem on arithmetic progressions 」があります。 スポンサード リンク
|