素数定理には，ディリクレの算術級数定理などいろいろなバリエーションがあります．素数定理（ＰＴ）は，漸近分布の形で

　　π（ｘ）〜ｘ／ｌｏｇｘ

と表すことができます．素数は無限個存在し，そして等差数列｛ａ＋ｋｎ｝にも素数は無限に含まれるのですが，素数ｐでａ＋ｋｎの形のものの分布問題がディリクレの算術級数定理です．

　　π（ｘ；ａ，ｎ）〜Ｃ・ｘ／ｌｏｇｘ　　　Ｃ＝１／φ（ｎ）

　算術級数定理は素数定理を精密化したもので，初項ａの取り方にはよらないのですが，ここで，オイラーの関数φ（ｎ）は１からｎ−１までの整数のうち，ｎと互いに素になるものの個数

　　φ（ｎ）＝＃（Ｚ／ｎＺ）

として定義されます．たとえば，ｎ＝７の場合，１，２，３，４，５，６なのでφ（７）＝６，ｎ＝１０の場合１，３，７，９がそうなのでφ（１０）＝４となります．

　１７６０年頃，オイラーは，数ｎが素因数ｐ，ｑ，ｒ，・・・をもつときに，それらの重複度にかかわらず，

　　φ（ｎ）＝ｎ（１−１／ｐ）（１−１／ｑ）（１−１／ｒ）・・・

であることを示しました．この原理は「エラトステネスのふるい」によっているのですが，たとえば，１０＝２・５，４４＝２^2・１１，１００＝２^2・５^2より，

　　φ（１０）＝１０（１−１／２）（１−１／５）＝４

　　φ（４４）＝４４（１−１／２）（１−１／１１）＝２０

　　φ（１００）＝１００（１−１／２）（１−１／５）＝４０

また，任意の素数ｐに対して，

　　φ（ｐ^n）＝ｐ^n（１−１／ｐ）

したがって，

　　φ（ｐ）＝ｐ（１−１／ｐ）＝ｐ−１

となります．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

算術級数定理は，たとえば，4で割って1余る素数と４で割って3余る素数はいずれも無数に存在し，それらは素数全体のほぼ半数ずつを占めるという内容になっています．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝