孿生質數(英語:twin prime),也稱為孿生素數雙生質數,是指一對質數,它們之間相差2。例如3和5,5和7,11和13,10016957和10016959等等都是孿生質數。

關於孿生質數有著名的孿生質數猜想,即是否存在無窮多對孿生質數。這是數論中未解決的一個重要問題。哈代-李特爾伍德猜想是孿生質數猜想的一個增強形式,猜測孿生質數的分佈與質數定理中描述的質數分佈規律相類似。

與之相關的,兩者相差為1的質數對只有 (2, 3);兩者相差為3的質數對只有 (2, 5)。

簡介

編輯

質數在自然數中的分佈是不規則的。歐幾里得在他的著作《幾何原本》中首次證明了質數有無窮多個。十九世紀後,質數定理的證明給出了質數在自然數中大致的分佈情況。根據質數定理,在前 個自然數裡,質數的個數大約是 。也就是說前 個自然數裡,質數的比例是 。因此,隨着 增大,前 個自然數裡,質數的比例會越來越小。事實上,給定一個自然數 ,那麼連續的 個自然數:

 

都是合數[1]

是否越大的質數,兩兩之間就隔得越遠呢?實際上不然。在某些時候,兩個連續的質數之間只相差2。這樣的質數對就是孿生質數。

以下列出了最小的35對孿生質數(1000以內的孿生質數)( A001359 A006512):

(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),

(347, 349), (419, 421), (431, 433), (461, 463), (521, 523), (569, 571), (599, 601), (617, 619), (641, 643), (659, 661),

(809, 811), (821, 823), (827, 829), (857, 859), (881, 883)

即使是大的質數,也有可能成為孿生質數。通過窮舉式的計算發現:在小於 的29,844,570,422,669個質數中,有1,177,209,242,304對孿生質數,佔了3.94%[1]。而且這些孿生質數並沒有表現出停止在某一個上限的趨勢。

截至2016年9月為止,已知最大的孿生質數為 [2][3],此數有388342位。

質數定理說明了質數在趨於無窮大時變得稀少的趨勢。而孿生質數,與質數一樣,也有相同的趨勢,並且這種趨勢比質數更為明顯。直覺上可以作如下的估計:在前 個自然數裡找一個數,它是質數的可能性大約是 ;所以在前 個自然數裡找一個數   都是質數的可能性大約是 。當然,這種推算只能是直覺上的猜測,而不是嚴謹的證明,因為質數的排列是已知的,而不是概率上的事件[1]

哈代-李特爾伍德猜測

編輯

1921年,英國數學家哈代李特爾伍德也做出了類似的猜測。他們提出以下的猜想:設 為前  個自然數裡孿生質數的個數。那麼

 

其中的常數 是所謂的孿生質數常數:

 

其中的 表示質數[1]

孿生質數猜想

編輯

哈代李特爾伍德的猜測實際上是存在已久的孿生質數猜想的加強版。孿生質數猜想是指「孿生質數有無窮多個」。這個猜想至今仍未被證明。然而,哈代李特爾伍德的猜測並不是需要建立在孿生質數猜想成立的前提上。很多時候,對於無法證明的命題,數學家會嘗試證明比它更強或更為廣泛的命題,從而解決原來的命題。例如數學家安德魯·懷爾斯就是證明了比費馬最後猜想更廣泛的命題,從而完成了費馬最後猜想的證明[1]

2013年5月14日,《自然》雜誌報道,數學家張益唐證明存在無窮多個質數對相差上界都小於7000萬。論文已被《數學年刊》(Annals of Mathematics)接受 [4][5][6]。截至2014年10月9日 (2014-10-09), 質數對之差被縮小為 [7]

性質

編輯

孿生質數猜想也可以用另一種形式表達:

自然數2可以表示為無窮多個質數對( )的差: 

1920年代,通過使用著名的篩法,也就是基於埃拉托斯特尼篩法的技巧[註 1],挪威的瑋哥·布朗證明了2能表示成兩個最多有9個質數因子的數的差。這個結論已經有些近似於孿生質數猜想了。可以看到,只要將這個證明中的「最多有9個質數因子的數」改進到「最多有1個質數因子的數」,就可以證明孿生質數猜想了[1]。利用同樣的方法,布朗證明了所有偶數都能表達成兩個最多有9個質數因子的數的和,也就是所謂的「9+9」。這個思路被不少數學家沿用,1966年陳景潤利用篩法證明了「1+2」。基於陳景潤的工作,也可以證明2有無限多種方法表示成一個質數和一個最多有兩個質數因子的數的差[1]

布朗為了證明孿生質猜想而開發了布朗篩法,這種篩法對篩法的發展及質數研究都造成了深遠的影響。

布朗常數

編輯

布朗的另一個結論,是發現所有孿生質數的倒數之和收斂,即收斂到布朗常數 

 

 的值大約在1.9與2之間。與之相對的,所有質數的倒數之和是發散的。由於孿生質數的倒數之和收斂,所以無法依此證明孿生質數有無限個[1]

布朗還發現了孿生質數數量的一個上限。他證明了:

 

也就是說,當 足夠大的時候,小於 的孿生質數的數量比起小於 的質數的數量是可以忽略不計的。1987年的一個結果改進了這個上限:

 

其中 是一個常數。1998年上限中的7.1被改進為6.833[1]

必要條件

編輯

孿生質數還必須滿足一些必要的條件,比如:

  • 大於3的孿生質數可以表示成 ,其中 為一個自然數。除了 的情形, 必須以0,2,3,5,7或8結尾。
  • 可以證明: 是孿生質數,若且唯若
 [1]

統計分析

編輯

統計分析所有小於 的孿生質數,可以得到小於 的質數對的個數是 。當 較小時, 大約為 1.7, 當 較大時大約為 1.3。這個值和 相近。

多元組

編輯

孿生質數的概念可以擴展到多元組,即由多個間隔為2的質數構成的序列。由於三個相鄰奇數總有一個能被3整除,不可能是質數,因此 (3, 5, 7) 是唯一的孿生質數三元組。而且由於更多元素構成的孿生質數多元組必定包含三元組的結構,因此多於三個元素的孿生質數多元組不存在。

多項式公式

編輯

以下的多項式時由維也納大學數學系教授克里斯多夫·巴薩(Christoph Baxa)提出的,基於丟番圖不定方程理論。

 

其中有二十六個不定量 。當這二十六個變量取遍所有的自然數的時候,這個多項式的取值中正數的部分就會取遍所有孿生質數對 中的 [1]

大眾文化

編輯

意大利作家保羅·裘唐諾的小說《質數的孤獨》即是以孿生質數現象,比喻故事中相愛的男女主角牽攣乖隔的處境。

1994年10月,美國弗吉尼亞州林奇堡學院英語University of Lynchburg數學系教授托馬斯·尼科利(Thomas Nicely)在研究布朗常數時曾使用包括66 MHz Intel Pentium處理器的電腦對布朗常數進行計算,但用包括66 MHz Intel Pentium處理器的電腦處理長除法時一直出錯[8] 。他用一個數字去除以824,633,702,441時,答案一直是錯誤的,而這使得奔騰浮點除錯誤受到揭發,進而造成Intel的公關災難,並導致英特爾在1994年受到4.75億美元的損失。[9]

參見

編輯

註解

編輯
  1. ^ 然而現代研究在實務上很少使用埃拉托斯特尼篩法或作為埃拉托斯特尼篩法簡單推廣的勒讓德篩法,絕大多數的研究都使用布朗篩法塞爾伯格篩法等改良版的篩法。

參考來源

編輯
  1. ^ 1.00 1.01 1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09 1.10 (法文)Jean-Paul Delahaye. Merveilleux Nombres Premiers : Voyage au coeur de l'arithmétique. Belin. 2000. ISBN 2-84245-017-5. 第231-237頁
  2. ^ The Prime Database: 3756801695685 · 2666669 - 1. Prime Pages. 25 December 2011 [2011-12-25]. (原始內容存檔於2012-01-22). 
  3. ^ PrimeGrid’s Sophie Germain Prime Search (PDF). PrimeGrid. 14 September 2016 [2016-09-21]. (原始內容存檔 (PDF)於2016-10-19). 
  4. ^ 数学家张益唐破译“孪生素数猜想”. 新華網/騰訊新聞. 2013-05-18 [2013年5月19日]. (原始內容存檔於2013-10-01) (中文(簡體)). 
  5. ^ First proof that infinitely many prime numbers come in pairs. Nature. 2013-05-14 [2013-06-02]. (原始內容存檔於2015-08-14). 
  6. ^ 張益唐. Bounded gaps between primes (PDF). 數學年刊. [2013-06-05]. (原始內容存檔 (PDF)於2013-06-12) (英語).  (需要訂閱才能查看)
  7. ^ Bounded gaps between primes. Polymath Project. [9 Oct 2014]. (原始內容存檔於2013-06-20). 
  8. ^ Nicely, Thomas. Pentium FDIV flaw FAQ. trnicely.net. August 19, 2011 [June 18, 2019]. (原始內容存檔於2019-06-18). 
  9. ^ 1994 - Annual Report. Intel. June 20, 2020 [June 20, 2020]. (原始內容存檔於February 26, 2017).