(3 , 5 ), (5 , 7 ), (11 , 13 ), (17 , 19 ), (29 , 31 ), … 各組の2素数の平均値(中間の偶数)は、次の通りである。3連続した数 (a, a+1, a+2 ) は2と3双方の倍数を含むことから、3の倍数で唯一素数である 3 を含む (3, 5) の組である 4 以外は全て 6 (=2x3) の倍数となる。
4 , 6 , 12 , 18 , 30 , 42 , 60 , 72 , 102 , 108 , 138 , … 双子素数の予想
素数が無数に存在することは古代ギリシア で既に知られており、ユークリッドの『原論』に証明がある 。これに対し、双子素数が無数に存在するかという問題、いわゆる「双子素数の予想」は、いまだに数学上の未解決問題 である。
双子素数予想が古代ギリシア時代から知られていたとの記述も一部文献に見られるが、確証は得られていない。(A. de Polignac(1849) ) は、双子素数予想を一般化して、任意の偶数を差とする素数の組が無数にあるか、という問題を提出している。
上からの評価式など部分的な結果があるが、その中でも漸近公式の予想は注目に値する。双子素数の組の数の漸近公式はハーディ・リトルウッド予想 の一部であり、これは素数定理 と似通った次のような双子素数の漸近的な分布公式を予想している。
x 以下の双子素数の組の数は、漸近的に
2 C x ( log x ) 2 {\displaystyle 2C{\frac {x}{(\log x)^{2}}}} 、あるいは 2 C ∫ 2 x d x ( log x ) 2 {\displaystyle 2C\int _{2}^{x}{\frac {dx}{(\log x)^{2}}}} で与えられる。後者の積分による表示式の方が良い近似を与える。ここで、定数 C は次のような無限積で定義される。
C = ∏ p > 2 { 1 − 1 ( p − 1 ) 2 } = 0.6601 ⋯ {\displaystyle C=\prod _{p>2}\left\{1-{\frac {1}{(p-1)^{2}}}\right\}=0.6601\cdots } この定数 C は「ハーディ・リトルウッド定数」の一つである。
この問題は、特に2素数の場合のゴールドバッハの予想 に密接に関係しており、篩法 などの研究者によって双方の研究が同時に進められてきた。
2004年 5月に、「双子素数が無数に存在することの証明」と題された論文が Richard Arenstorf によって提出され、上記のハーディ・リトルウッドの予想が正しいと主張されたが、内容に重大な誤りがあるとして著者自身によって撤回された。
例
最初の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 ), …
各組の双子素数の関数 知られている最大の双子素数 2020年7月現在で知られている最大の双子素数は、388,342 桁の 2996863034895 × 21290000 ± 1 である。これは、2016年 9月 に分散コンピューティング プロジェクトの一つである PrimeGrid により発見された。
双子素数に関する諸結果
(3, 5) を除く全ての双子素数は (6n − 1, 6n + 1) (n は特定の自然数 )の形であり、これは(3, 5) を除く双子素数同士の和が、常に12の倍数であることを意味する。 最初の2組を除き、双子素数の一の位は(十進法 で)(1, 3), (7, 9), (9, 1) のいずれかである。 x より小さな双子素数の個数は高々 O ( x / ( log x ) 2 ) {\displaystyle O\left(x/(\log x)^{2}\right)} である。したがって、p と p + 2 がともに素数の場合、次式は収束する (Brun, 1919)。 B 2 = ∑ p ( 1 p + 1 p + 2 ) {\displaystyle B_{2}=\sum _{p}\left({\frac {1}{p}}+{\frac {1}{p+2}}\right)} (双子素数の逆数 和 ) この値 (1.90強) をブルン定数 と呼ぶ。素数の逆数和は発散するので、素数の中で双子素数は、さほど多くはないといえる。また、すべての偶数は、高々9個の素数の積で表される2つの整数の差として無限通りに表すことができることもヴィーゴ・ブルン は示している (Brun, 1920)。これらの結果は篩法 によるものであり、篩法の最初の本格的な成果である。それと同時に、双子素数に関する最初の理論的な結果であり、双子素数に関する研究の出発点となった。 ブルン定数 B 2 の2005年時点での最も正確な値は、B 2 = 1.902160583104… である。この値は、1016 までに現れる双子素数を使用して求められた (Sebah, 2002)。なお、1994年 にブルン定数を計算する過程で P54C Pentium の浮動小数点演算命令にバグが存在する ことが発見され、話題となった(詳しくはPentium を参照)。 陳景潤 (Chen Jing Run) は、p + 2 が高々2個の素数の積 となるような素数 p が無数に存在することを示している (Chen, 1966)。 p + 2 が高々2個の素数の積となるような素数 p を陳素数 と定義したとき、無限個の陳素数の3項等差数列が存在する(Ben Green, テレンス・タオ , 2005)。 (n , n + 2) が双子素数であるための必要十分条件は、4{(n − 1)! + 1} + n ≡ 0 (mod n (n + 2)) である (Clement, 1949)。 2005年、D. Goldston-J. Pintz-C. Yildirim によって次式が証明された。 lim inf n → ∞ p n + 1 − p n log p n = 0. {\displaystyle \liminf _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log p_{n}}}=0.} 素数間間隔ごとの無限存在証明 2013年 4月17日 に、ニューハンプシャー大学(英語版 ) の張益唐 (Zhang Yitang) は、「隣り合った素数の隔たりが、7千万以下のものが無数組存在する」こと、言い換えると lim inf n → ∞ ( p n + 1 − p n ) < 7 × 10 7 {\displaystyle \liminf _{n\to \infty }(p_{n+1}-p_{n})<7\times 10^{7}} 2013年、張益唐の結果から数か月後、ジェームズ・メイナードとテレンス・タオがそれぞれ独立に、素数をm個含む連続した整数の区間が無数に存在する条件を解明した。区間の幅はmに依存する。例としてm=2である場合、連続した整数を 600 ごとに区切ると素数が2個含まれる場合が無数にあり、m=3とすると、素数を3個含み39万5122の幅を持つ区間が無数に存在する。これは張益唐の「7000万ごと」を大幅に小さくする成果である。メイナードはこの発見を含む業績により2022年のフィールズ賞 を受賞した。 2014年12月現在、張益唐が与えた7千万という間隔(上記のm=2である場合の区間の幅)は 246 まで狭められている。すなわち、間隔が 246 以内である素数の組は無数に存在する。 脚注
参考文献
de Polignac, Alphonse (1849). “Six propositions arithmologiques déduites du crible d'Ératosthène” . Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale 8 : 423-429. http://www.numdam.org/item/NAM_1849_1_8__423_1/ . BRUN, V. (1920). “Le crible d'Eratosthene et le theoreme de Goldbach” . Videnskaps. Skr., Mat. Natur. Kl. Kristiana (3). https://searchworks.stanford.edu/view/9591249 . JING-RUN CHEN (1973). “ON THE REPRESENTATION OF A LARGER EVEN INTEGER AS THE SUM OF A PRIME AND THE PRODUCT OF AT MOST TWO PRIMES” . Scientia Sinica 16 (2): 157-176. doi :10.1360/ya1973-16-2-157 . https://doi.org/10.1360/ya1973-16-2-157 . and II, ibid. 21(1978), 421-430. 本橋洋一『解析的整数論 』1 (素数分布論)、朝倉書店〈朝倉数学大系 ; 1〉、2009年。国立国会図書館書誌ID :000010611029 。https://ndlsearch.ndl.go.jp/books/R100000002-I000010611029 。"第2刷 2012:加筆含む"。 本橋洋一「‘篩法’概観 」『数学』第57巻第2号、日本数学会、2005年、138-163頁、doi :10.11429/sugaku1947.57.138 。 本橋洋一「素数の翼に乗って 」(PDF)『数学通信 』第10巻第1号、東京 : 日本数学会、2005年5月、4-19頁、CRID 1520572358126328192 、ISSN 13421387 。 H. Davenport, Multiplicative Number Theory, 3rd edition, Springer-Verlag, 2002. H. Halberstam and H. E. Richert, Sieve Methods, Academic Press, 1974. M. B. Nathanson, Additive Number Theory: The Classical Bases, Springer-Verlag, 1996. P. Sebar, Counting twin primes and Brun's constant new computation, [email protected] mailing list, 2002 関連項目
外部リンク
This article uses material from the Wikipedia 日本語 article 双子素数 , which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0") ; additional terms may apply (view authors ). コンテンツは、特に記載されていない限り、CC BY-SA 4.0 のもとで利用可能です。 Images, videos and audio are available under their respective licenses. ®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki 日本語 (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.