|
双子素数（ふたごそすう、twin prime）とは、差が 2 である2つの素数の組のことである。2 と 3 の組を除くと、双子素数は最も近い素数の組である。双子素数の例としては、3 と 5 、11 と 13、857 と 859 などがある。 == 双子素数の予想 == 素数が無数に存在することは古代ギリシャ時代からほぼ分かっており、ユークリッドの『原論』に証明がある。これに対し、双子素数は無数に存在するかという問題、いわゆる「双子素数の予想」や「双子素数の問題」は、いまだに数学上の未解決問題である。無数に存在するだろう、とは、多くの数論学者が予想している。 双子素数問題そのものについては、古代ギリシャ時代から知られていたとの記述あるいは示唆が多く見られるが、何らの確証も存在しない。文献の上で確認できるものは、 A. de Polignac (1849) の言明である。彼は双子素数予想を一般化して任意の偶数を与え、それを差とする素数の組が無数にあるか、という問題を提出している。 上からの評価式など部分的な結果があるが、その中でも漸近公式の予想は注目に値する。双子素数の組の数の漸近公式はハーディ・リトルウッド予想の一部であり、これは素数定理と似通った次のような双子素数の漸近的な分布公式を予想している。 ''x'' 以下の双子素数の組の数は、漸近的に :、あるいは で与えられる。後者の積分による表示式のほうがよい近似を与える。ここで、定数 ''C'' は次のような無限積で定義される。 : この定数 ''C'' は「ハーディ・リトルウッド定数」の一つである。 この問題は、特に2素数の場合のゴールドバッハの予想に密接に関係しており、篩法などの研究者によって双方の研究が同時に進められてきた。 2004年5月に、「双子素数が無数に存在することの証明」と題された論文が Richard Arenstorf によって提出され〔Proof of Infinitely many Twin Primes 〕、上記のハーディ・リトルウッドの予想は正しいと主張したが、内容に重大な誤りがあるとして著者自身によって撤回された。 == 最初の20組の双子素数 == (3, 5)，(5, 7)，(11, 13)，(17, 19), (29, 31)，(41, 43)，(59, 61)，(71, 73)，(101, 103)，(107, 109)，(137, 139)，(149, 151)，(179, 181)，(191, 193)，(197, 199)，(227, 229)，(239, 241)，(269, 271)，(281, 283)，(311, 313), … 小さい方の数は、大きい方の数は、真ん中の偶数は、合計の数はを参照。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「双子素数」の詳細全文を読む スポンサード リンク
|