質數無窮之戀：第一部——從遠古刻痕到文藝復興的覺醒 (01-05集)
第 01 集：質數的曙光：從遠古刻痕到尼羅河畔
人類對數字的迷戀，遠比文字的發明還要古老。
在古老圖書館的燭光下，學者正細心鑽研質數的源頭。
故事要從非洲中部的愛德華湖畔說起。1960 年，比利時探險家兼地質學家海因澤林（Jean de Heinzelin）在剛果（現剛果民主共和國）的伊尚戈（Ishango）地區挖掘出一根奇怪的骨頭——後來被稱為「伊尚戈骨頭」（Ishango bone）。這片位於舊石器時代晚期（Upper Paleolithic era）的伊尚戈地區，孕育了早期人類寶貴的數字符號感知智慧。這是一根狒狒的腓骨，頂端鑲嵌著一片石英，更引人注目的是骨頭上刻著三列平行的刻痕。
當考古學家和數學家仔細觀察這些刻痕時，驚人的一幕出現了：在其中一列刻痕中，數字分別是 11、13、17、19。這是介於 10 與 20 之間的所有質數！
這是否意味著，早在兩萬年前的舊石器時代，遠古人類就已經意識到這些數字的奇異之處？雖然有些學者認為這可能只是某種天文曆法或計數符號，但這四個數字的並存，無疑為質數的起源蒙上了一層神秘的面紗。在當時的舊石器時代晚期，人類雖然主要以採集和狩獵為生，但對於數字與自然界週期的觀察已經開始進入抽象化與符號化的階段。除了著名的伊尚戈骨頭，考古發現如更早的南非勒邦博骨頭（Lebombo bone，約 42,000 年前，發現於南非與斯威士蘭邊境）以及捷克沃爾夫骨頭（Wolf bone，約 26,000 年前）等遠古刻痕證據，也同樣證明了早期智慧在正式文字誕生前對數字符號的驚人感知。
隨著文明的車輪滾滾向前，美索不達米亞平原的泥板上、尼羅河畔的莎草紙上，人類對數字的理解逐漸加深。古埃及人在處理分數時，發現將一個分數拆解為若干個分子為 1 的「埃及分數」時，某些數字總是扮演著不可拆解的「基石」角色。這種不可被進一步分解的特性，正是質數（Prime Numbers）的核心定義：只能被 1 和自身整除的大於 1 的正整數。
質數是萬數之源，是構成所有自然數的「原子」。然而，此時的人類只是零星地觸碰到這些奇異的數字，真正將其推向理智巔峰的，是地中海畔的古希臘人。
第 02 集：歐幾里得的天才一躍：證明質數無窮多
公元前 300 年左右，埃及亞歷山大港的圖書館裡，一位學者正在用鵝毛筆在莎草紙上整理人類所有的數學知識。他就是歐幾里得（Euclid）。
歐幾里得在繁星點點的夜空下，向世人證明質數是無窮無盡的。
在他的不朽巨著《幾何原本》（Elements）第九卷中，歐幾里得提出了一個令後世無數人嘆為觀止的命題：質數有無窮多個。
在歐幾里得之前，人們已經知道質數的分佈似乎沒有任何規律，但一個迫在眉睫的問題是：隨著數字越來越大，質數會不會在某個地方突然消失？畢竟，數字越大，它能被更小數字整除的機會就越多。會不會存在一個「最大的質數」，在它之後所有的數字都是合數？
歐幾里得用了一種極其精妙的「反證法」解決了這個疑問。
歐幾里得的證明：
假設質數只有有限個，我們將它們全部列出來，記為：$p_1, p_2, p_3, \dots, p_n$。
現在，我們構造一個全新的大數字 $N$，它是所有這些質數的乘積再加上 1：
\[N = (p_1 \times p_2 \times p_3 \times \dots \times p_n) + 1\]對於這個新數字 $N$，有兩種可能：
- $N$ 本身就是一個質數。但因為 $N$ 顯然大於我們列出的任何一個質數，這與「質數只有有限個」的前提矛盾。
- $N$ 是一個合數。根據算術基本定理，它必然能被某個質數整除。然而，如果我們用列出來的任何一個質數 $p_i$ 去除 $N$，餘數永遠是 1。這意味著，能整除 $N$ 的那個質數，絕對不在我們當初列出的有限質數清單中！
無論哪種情況，都推導出存在一個不包含在清單中的新質數。因此，質數只有有限個的假設是錯誤的。
這是一次理智的天才一躍。歐幾里得不僅證明了質數無窮多，還確立了數學論證中嚴密推理的典範。
第 03 集：埃拉托斯特尼的篩子：捕捉質數的古老濾網
既然質數有無窮多個，那我們該如何把它們從無窮無盡的數字中一個個找出來呢？
亞歷山大圖書館館長埃拉托斯特尼在鑽研著過濾合數、留下質數的神奇篩網。
公元前 276 年，在北非的亞歷山大港，誕生了一位博學多才的學者——埃拉托斯特尼（Eratosthenes of Cyrene）。他的一生正處於托勒密王朝的黃金鼎盛期，在國王托勒密三世（Ptolemy III Euergetes）統治下，托勒密王國國力達到頂峰。為了將亞歷山大港打造成全世界的智慧中心，托勒密三世不惜重金搜羅天下古籍與學者，並親自邀請埃拉托斯特尼擔任亞歷山大圖書館的第三任館長，同時擔任其子托勒密四世的皇家導師。
當時的亞歷山大港是古代世界的知識中心，托勒密三世甚至採取了極為激進的擴展藏書與文獻獲取政策——例如在港口扣留所有入港船隻上的手抄本，將其複製後歸還副本並留下原本。正是在這種博學、不計代價廣納天下知識的黃金學術時代，身處這座藏有數十萬卷莎草紙卷、聚集了全古代世界最頂尖頭腦的智慧聖殿中，埃拉托斯特尼不僅精通天文、地理與文學，甚至用極其優美的幾何方法，測算出了極其精準的地球周長。
在數論領域，埃拉托斯特尼發明了一種捕捉質數的古老濾網，後人稱之為「埃拉托斯特尼篩法」（Sieve of Eratosthenes）。
埃拉托斯特尼的思維非常直觀：既然合數是由質數相乘得到的，那麼我們只要把質數的所有倍數像過濾雜質一樣全部剔除，剩下的就只能是質數了。
篩法的操作步驟：
- 列出從 2 開始的所有自然數（例如 2 到 100）。
- 2 是第一個質數，保留它，然後把所有 2 的倍數（4, 6, 8, 10…）全部劃掉。
- 下一個沒被劃掉的數字是 3，保留它，然後把所有 3 的倍數（9, 15, 21…）全部劃掉。
- 依此類推，下一個沒被劃掉的數字是 5，繼續劃掉 5 的倍數……
- 直到篩到 $\sqrt{100} = 10$ 為止。
當這個過程結束時，留在濾網上的數字就是：2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97。
這種方法雖然古老，但直到今天，它依然是計算機尋找中小規模質數的最快、最有效率的算法基礎。
第 04 集：漫長的沉寂與梅森素數：修道院裡的密碼
古希臘文明衰落後，歐洲進入了漫長而沉寂的中世紀。在這段時期，數論的進展幾乎停滯，質數的秘密被塵封在泛黃的羊皮紙中。直到 17 世紀，文藝復興的曙光才再次照亮了數學的星空。
這一次，探索質數的主角是一位法國修道士——馬蘭·梅森（Marin Mersenne）。
梅森修道士在他的修道院僧房中，計算著具有特殊規律的梅森質數。
梅森並非與世隔絕的隱士。相反，他身處 17 世紀歐洲知識交流的最前沿。在那個尚未出現學術期刊與正式發表機制的年代，梅森身兼「學人共和國」（Republic of Letters）的核心節點，常被後世譽為「全歐洲學術界的中介與秘書」。他在巴黎孚日廣場（Place des Vosges，當時稱皇家廣場 Place Royale）附近的最小兄弟會修道院（Minim monastery）裡，利用他的僧房建立了一個非正式的學者沙龍——這正是後來著名的巴黎科學院（Academia Parisiensis）之前身「梅森學院」。
因為梅森廣發書信、熱衷於促進學者之間的思想交鋒，他的僧房成為了 17 世紀上半葉歐洲科學資訊的集散地與非正式交流中心。他與笛卡爾、帕斯卡、費馬、伽利略等人保持著頻繁的書信往來，定期召集頂尖學者在修道院內舉行思想聚會。
梅森對一種特殊形式的質數產生了極大的興趣：
\[M_p = 2^p - 1\]其中 $p$ 必須是一個質數。 梅森注意到，當 $p = 2, 3, 5, 7$ 時，$M_p = 3, 7, 31, 127$，這些都是質數。 1644 年，梅森發表了一篇論文，聲稱當 $p \le 257$ 時，只有當 $p = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127, 257$ 時，$M_p$ 才是質數。
雖然梅森的斷言中後來被發現有幾處錯誤（例如 $M_{67}$ 其實是個合數，而漏掉了 $M_{61}$ 等），但這並未削弱「梅森素數」（Mersenne Primes）的魅力。尋找梅森素數成為了檢驗人類計算能力的極限。因為當 $p$ 很大時，$2^p - 1$ 是一個極其龐大的數字。
梅森素數與古希臘人所迷戀的「完全數」（Perfect Numbers，其所有真因子之和等於自身的數，如 $6 = 1+2+3$）有著完美的對應關係：每一個歐幾里得型的完全數都可以寫成 $2^{p-1}(2^p - 1)$ 的形式，其中 $2^p - 1$ 必須是梅森素數。
第 05 集：業餘數學之王：費馬的小定理與大猜想
在 17 世紀的法國，還有一位極具傳奇色彩的人物，他白天是圖盧茲（Toulouse）地方法院的法官，晚上則沉浸在數學的世界裡。他就是皮埃爾·德·費馬（Pierre de Fermat）。
熱愛數學的法官費馬，正在書本空白處隨筆記下令人驚艷的大膽猜想。
費馬從不發表他的數學研究成果，只是把心得寫在書本的空白處，或者在給朋友的信中隨性地提起。然而，他那驚人的直覺讓後世數學家追趕了數百年。
在質數的研究中，費馬留下了一個著名的定理，稱為「費馬小定理」（Fermat’s Little Theorem）：
費馬小定理：
設 $p$ 是一個質數，且 $a$ 是一個不能被 $p$ 整除的整數，則有：
\[a^{p-1} \equiv 1 \pmod p\]
這個定理告訴我們，任何一個不能被質數 $p$ 整除的數字 $a$，將其進行 $p-1$ 次方後再除以 $p$，餘數必定是 1。這條定理成為了現代密碼學的基石。
然而，天才也有看走眼的時候。費馬曾提出過一個猜想，他認為對於所有的非負整數 $n$，以下形式的數字：
\[F_n = 2^{2^n} + 1\]全都是質數。這種數字被稱為「費馬數」。 當 $n = 0, 1, 2, 3, 4$ 時，$F_n$ 分別等於 3、5、17、257、65537，這些確實全都是質數。 遺憾的是，費馬並沒有算到 $n=5$。而這個猜想的破滅，將由下一位大師來完成。