【２】ｎ^2＋１型素数

　ガウスは，π（ｘ）をｘ以下の素数の個数とすると，

　　π（ｘ）〜ｘ／ｌｏｇｘ　　　（ｘ→∞）

が成り立つだろうと予想しました．この予想はリーマンの研究を経て，１８９６年，フランスの数学者アダマールとプーサンによって証明されました．これを素数定理といいます．

［１］双子素数の分布に関しては，ハーディとリトルウッドによって，

　　πtwin（ｘ）〜Ｃ∫(2,x)ｄｔ／（ｌｏｇｔ）^2〜Ｃｘ／（ｌｏｇｘ）^2

ただし，ｐを３以上の素数として

　　Ｃ＝２Π（１−１／（ｐ−１）^2）＝１．３２０３２・・・

と予想されています．

［２］１０を原始根とする素数，たとえば，

　　７，１７，１９，２３，２９，４７，５９，６１，９７，・・・

の密度について，アルティンは

　　π10（ｘ）〜Ｃｘ／（ｌｏｇｘ）

と予想しています．

　ただし，ｐを素数として，Ｃは

　　Ｃ＝Π（１−１／ｐ（ｐ−１））＝０．３７３９５・・・（アルティンの定数）

［３］ｎ^2＋１型素数

　　πq（ｘ）〜Ｃ∫(2,x)ｄｔ／（ｌｏｇｔ・√ｔ）〜Ｃ√ｘ／（ｌｏｇｘ）

と予想できます．ハーディとリトルウッドはＣの値も決定しています．

　　Ｃ＝Π（１−χ（ｐ）／（ｐ−１））

　　ｎ^2＋１＝０　（ｍｏｄｐ）→　χ（ｐ）＝１

　　ｎ^2＋１≠０　（ｍｏｄｐ）→　χ（ｐ）＝−１

　　Ｃ＝Π（１−（−１）^(p-1)/2／（ｐ−１））＝１．３７２７・・・

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

【３】ゴールドバッハ予想

　ゴールドバッハ予想（４より大きいすべての偶数ｎは２つの奇素数の和で表すことができる）に関連して，偶数ｎを２つの奇素数の和で表す表し方の数をＮ2（ｎ）とするとき，

　　Ｎ2（ｎ）〜Ｃｎ／（ｌｏｇｎ）^2Π（（ｐ−１）／（ｐ−２））

　　Ｃ＝２Π（１−１／（ｐ−１）^2）＝２＝１．３２０３２・・・

で与えられるだろうと予想されています．

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

【４】平方数の和（ランダウ・ラマヌジャン定数）

　すべての整数は４つ以下の平方数の和として表現することができます（ラグランジュの定理，１７７０年）．

　ゴールドバッハ予想の素数のところを平方数で置き換えた類似問題：２つの平方数の和として表現できるｘ以下の整数の個数をｎ（ｘ）とすると，ランダウとラマヌジャンはそれぞれ独自に

　　ｎ（ｘ）〜Ｃｘ／（ｌｏｇｘ）^1/2　　　（ｘ→∞）

　　Ｃ＝｛１／２Π（１／１−ｐ^-2）｝^1/2＝０．７６４２２３６５３・・・

　　ｐは４ｎ＋３型素数をわたる

が成り立つことを証明しました．

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