質數，是我們從國小就接觸過的一種數。
像2、3、5、7、11，只有1和自己兩個正因數。
這個定義看起來並不困難，但質數的分布，卻是數學中最深奧的研究主題之一。
今天要討論的問題是：
兩個相鄰的質數，最遠可以隔多遠？
例如11和13，只差2。
23和29，則相差6。
89和97，相差8。
隨著數字愈來愈大，質數之間還能不能出現更大的空隙？
答案是可以。
而且這些空隙沒有固定的最大值。
換句話說，不管你提出100、1000，甚至一百萬，都可以在數線上找到一對相鄰質數，兩者的距離比這個數還大。
這個看似高深的結論，其實可以從國中程度的整除概念開始理解。
先製造一個特別的數
我們先把2到10全部乘起來：
N＝2×3×4×5×6×7×8×9×10。
這個數其實是：
N＝3,628,800。
不過，真正重要的不是它到底有多大，而是它具有一個特殊性質：
N可以被2、3、4，一直到10整除。
接下來，我們不看N本身，而是觀察N後面的數。
先看N＋2。
因為N可以被2整除，2也可以被2整除，所以N＋2一定可以被2整除。
因此，N＋2不是質數。
再看N＋3。
N可以被3整除，3也可以被3整除，所以N＋3同樣可以被3整除。
因此，N＋3也不是質數。
依照相同的道理：
N＋4可以被4整除。
N＋5可以被5整除。
N＋6可以被6整除。
一直到N＋10，都可以找到除了1和自己以外的因數。
所以：
N＋2、N＋3、N＋4，……，N＋10，
連續九個整數全部都是合數。
我們等於親手在數線上製造出一小片完全沒有質數的區域。
可以把它稱為一片「質數荒漠」。
從連續合數，推到相鄰質數
但是，證明出現連續九個合數，為什麼就能說相鄰質數的距離很大？
這裡還有一個重要步驟。
我們在這片質數荒漠的左邊，找出距離最近的一個質數，先把它叫做p。
接著，在荒漠的右邊，也找出距離最近的一個質數，把它叫做q。
數線上的排列大致會變成：
p、……、N＋2、N＋3、……、N＋10、……、q。
由於N＋2到N＋10全部都是合數，而p和q又分別是左右兩側最近的質數，所以p和q之間不會再有其他質數。
因此，p和q就是一對相鄰質數。
又因為p最多只能到N＋1，而q最少也要從N＋11開始，所以：
q－p至少等於10。
這才是整個推理最關鍵的地方。
我們不是只找到一串合數，而是利用這串合數，證明在它的左右兩側，一定存在一對間距很大的相鄰質數。
想要多長的荒漠，就能製造多長
剛才，我們把2到10全部乘起來，因此得到連續九個合數。
如果改成把2到100全部乘起來，並將結果稱為M，那麼：
M＋2可以被2整除。
M＋3可以被3整除。
一直到M＋100，都可以被對應的整數整除。
因此，從M＋2到M＋100，會出現連續99個合數。
在這片荒漠的左右兩側，找出最近的兩個質數，它們的距離至少是100。
同樣地，想要製造連續999個合數，就把2到1000全部乘起來。
想要製造更長的質數荒漠，就把更多整數乘在一起。
一般來說，把2到n全部乘起來，再依序加上2到n，就能得到：
N＋2、N＋3、……、N＋n。
這些數全部都是合數。
因此，我們可以製造出連續n－1個合數，也就能找到一對距離至少為n的相鄰質數。
因為n可以任意選得很大，所以相鄰質數之間的距離，沒有固定的最大值。
這個想法，和兩千多年前的證明很相似
早在兩千多年前，歐幾里得就在《幾何原本》第九卷命題20中，證明了質數不可能只有有限多個。
他的核心想法是：
先取一批質數，找出一個能被它們整除的數，再加上1。
新的數除以原本列出的任何質數，都會餘1。
因此，它本身是質數，或者至少含有一個沒有出現在原本名單中的新質因數。
所以，不論原本列出多少個質數，都能再找到其他質數，質數的數量因此不可能是有限的。
歐幾里得的證明，是「乘起來再加1」。
我們製造質數荒漠的方法，則是「乘起來再分別加2、加3、加4」。
兩者使用的都是整除與餘數，目標卻剛好相反。
歐幾里得用這個想法尋找新的質因數。
我們則利用同樣的結構，製造一整排合數。
這也是數學有趣的地方。
同一個簡單的操作，稍微改變使用方式，就可能得到完全不同的結論。
質數愈來愈少，間距通常也愈來愈大
雖然質數有無限多個，但它們在整數中的分布會逐漸變得稀疏。
質數定理告訴我們，在一個很大的數X附近，相鄰質數的平均間距大約是log X。
簡單來說，數字愈大，通常需要走過更多整數，才會遇到下一個質數。
不過，「平均間距」不代表每一次的距離都差不多。
有些地方會出現非常接近的質數。
有些地方則會形成遠大於平均值的質數荒漠。
這就像降雨量。
一個地區的年平均雨量，不能告訴我們每一天都會下多少雨。
有時候連續多日大雨，有時候很長一段時間完全不下雨。
質數的分布也帶有類似的不規則性。
有時候很遠，有時候卻非常靠近
質數間距的研究有兩個看似相反的方向。
一個方向研究：
質數究竟可以離得多遠？
另一個方向則研究：
質數能不能無限次靠得非常近？
例如：
11和13。
17和19。
29和31。
這些相差2的質數稱為「孿生質數」。
數學家猜測，孿生質數應該有無限多對。
但是直到今天，這個猜想仍然沒有被證明。
2013年，張益唐完成了一項歷史性的突破。
他證明存在無限多對質數，彼此的距離不超過七千萬。
七千萬看起來仍然很大，但這是人類第一次證明：
即使質數整體愈來愈稀疏，仍然會有無限多對質數，始終保持在某個固定的有限距離之內。
之後，James Maynard提出新的篩法。
陶哲軒與許多數學家也透過Polymath網路協作計畫，共同改進估計。
七千萬很快被降到4680、600，最後進一步降到246。
截至2026年8月，公開研究仍將「246」列為最好的無條件結果：
存在無限多對相鄰質數，距離不超過246。
但數學家真正希望得到的答案仍然是2，也就是證明孿生質數有無限多對。
從七千萬降到246，是非常巨大的進步。
但從246降到2，至今仍是一道尚未跨越的鴻溝。
初等證明和現代研究，有什麼不同？
我們前面利用：
2×3×4×……×n，
可以輕易製造任意長的連續合數。
這已經證明質數間距沒有最大值。
但是，這個方法有一個明顯限制。
為了製造99個連續合數，我們需要先把2到100全部乘起來。
這個數極為龐大。
所以這個證明只告訴我們：
「很大的質數荒漠一定存在。」
卻沒有告訴我們：
「在某個指定範圍之內，最大的質數荒漠究竟有多長？」
現代數論研究的問題更加精細。
假設只看小於X的所有質數，這些質數之間最大的間距是多少？
數學家不只想證明大間距存在，還希望估計它大約會以多快的速度增長。
Ford、Green、Konyagin、Tao與Maynard等人的研究，結合篩法、機率方法與算術級數覆蓋，證明在足夠大的範圍裡，確實會出現遠大於平均質數間距的空隙。
初等證明處理的是：
能不能找到任意大的間距？
現代研究處理的則是：
在不把數字放得過度巨大之前，究竟能保證找到多大的間距？
兩個問題看起來接近，難度卻相差非常多。
最近，數學家還在研究什麼？
今天的質數間距研究，已經不只關心空隙的長度。
研究者還會分析：
這些空隙裡面究竟放著什麼樣的合數？
多個相鄰的質數間距，能不能同時都很大？
質數間距會不會出現平方數或其他完全冪的特殊結構？
2025年，Ayla Gafni與陶哲軒研究了質數間距內部的整數結構。
他們證明，幾乎所有質數間距中，都能找到一個最小質因數相對很大的整數。
這表示，即使質數之間全部都是合數，這些合數的結構也不一定只是由2、3、5等小質數簡單組成。
2026年的研究則繼續探討多個連續質數間距能否同時很大，以及間距為平方數、完全冪等更細緻的問題。
這些研究離國中課本看起來很遠，但它們的起點，其實仍是最基本的問題：
一個數能被哪些數整除？
哪些數是質數？
相鄰兩個質數之間，究竟會出現什麼？
從國中數學走向真正的數學研究
在學校學習質數時，我們通常練習的是：
判斷一個數是不是質數。
進行質因數分解。
尋找最大公因數與最小公倍數。
這些當然很重要。
但如果學習只停留在計算，很容易讓人誤以為質數只是一個簡單的課本單元。
事實上，國中所學的整除、因數與倍數，正是現代數論研究的起點。
真正值得學習的，不只是記住答案，而是看見推理的過程：
為什麼把2到10乘起來後，分別加上2到10，會全部變成合數？
為什麼連續合數的兩側，能幫助我們找到間距很大的相鄰質數？
為什麼能製造任意長的合數區域，就代表質數間距沒有最大值？
當學生開始追問這些「為什麼」，數學就不再只是計算。
它會從一道課本題目，逐漸變成一場真正的探索。
結語
質數有一種非常矛盾的性格。
有時候，它們靠得非常近。
像11和13，只差2。
有時候，它們之間卻隔著一片遼闊的荒漠。
我們已經知道，這些荒漠可以任意長。
卻仍然不知道，相差2的孿生質數是否會永遠不斷出現。
一邊是沒有上限的大間距。
另一邊是尚未證明的最小間距。
人類研究質數超過兩千年，許多最基本的問題，至今仍然沒有完整答案。
而這一切，都從國小就學過的因數、倍數與整除開始。
這正是質數最神祕，也最迷人的地方。
