「算術級数定理」の版間の差分
削除された内容 追加された内容
m robot Adding: pt:Teorema de Dirichlet |
m 逆数の和 |
||
2行目:
==概要==
定理の言い換えとして、<math>\gcd(a, b)=1</math> である自然数 ''a'', ''b'' に対し、<math>an + b</math> (n は[[自然数]])と書ける素数が無限に存在する、としてもよい。さらに、そのような素数の逆和は発散し、 ''x''以下の該当する素数の逆数の和は<math>\sim (\log\log x) /\varphi(a)</math>を満たす。
この定理は[[カール・フリードリヒ・ガウス|ガウス]]が予想したとされるが、証明は[[1837年]]に[[ペーター・グスタフ・ディリクレ|ディリクレ]]が[[L関数]]を導入して行った。
| |||