ディリクレの算術級数定理の証明(4n+1型の場合)

これらの数は で割って 余る素数です。このような形の素数のことを「 型の素数」と呼びますが、果たしてそのような素数は無限に存在するのでしょうか。この問いに答えるのが「ディリクレの算術級数定理」です。 ディリクレの算術級数定理: を互いに素な正の整数とするとき,( を正の整数)の形をした素数は無限に存在す…