3.2 高斯的《算術研究》：十九歲少年的尺規挑戰#

1796 年 3 月 30 日的日記#

1796 年 3 月 30 日清晨，十八歲的哥廷根大學學生高斯（Carl Friedrich Gauss）從床上跳起來，在一本新日記的第一頁寫下：

「正十七邊形可以用尺規作出的原理，我發現了。」

在此之前兩千年，希臘人只知道尺規可作正三、四、五（及其倍數）邊形。中間的正七、九、十一、十三、十七邊形全部失敗，多數數學家早已相信這是極限。高斯的發現意味著：古希臘人漏掉了一整片大陸。這個發現讓他放棄了原本想學的語言學，立志獻身數學。

背後的機器：同餘算術#

正十七邊形能作圖，只是一座冰山露出的頂尖。1801 年，二十四歲的高斯出版《算術研究》（Disquisitiones Arithmeticae），把整座冰山畫了出來。

書的開創性在於發明了新的記號與新的對象。他引進同餘記號：

即 \(a\) 與 \(b\) 除以 \(n\) 餘數相同。更重要的是，他把這些「餘數類」當成新的數來整套整套地加減乘除——這實際上是人類第一次系統地研究有限域 \(\mathbb{Z}/p\mathbb{Z}\)。書中證明了二次互反律（高斯稱之為「算術的寶石」，一生給出八個證明）、原根理論，以及正多邊形可作圖的判準：

正 \(n\) 邊形可尺規作圖，當且僅當 \(n = 2^k p_1 p_2 \cdots p_m\)，其中每個 \(p_i\) 都是費馬素數（形如 \(2^{2^t}+1\) 的素數）。

十七正是費馬素數 \(F_4 = 2^8 + 1\)。高斯以同餘算術回答了一個純幾何問題——代數與幾何的疆界第一次被正面攻破。他如此自豪，遺願是墓碑刻上正十七邊形（石匠以「刻了會像圓」為由婉拒；哥廷根的紀念碑以十七角星底座代替）。

制度背景：從決鬥到期刊#

《算術研究》的出版史本身就是學術制度變遷的縮影。1801 年法國大革命戰爭的硝煙中，書稿送巴黎科學院審查被擱置（戰時郵路不穩、審稿人怠工），高斯最後自費在不倫瑞克出版。但依靠新興的期刊與通信網絡，書的影響迅速擴散：狄利克雷把這本書放在枕頭下帶著睡，後來在柏林大學以它為教材，培養出克羅內克與黎曼。

大學取代宮廷與科學院，成為數學的生產中心——高斯所在的哥廷根大學將在此後一百五十年間成為世界數學首都。這是「大學時代」數學的第一本聖經。

幾條通往未來的伏線#

《算術研究》對本書主題的意義有三層：

1. 有限系統 \(\mathbb{Z}/p\mathbb{Z}\) 被正視為完整的代數結構——群、環、域這些抽象代數的核心對象，都能在書中找到胚胎；
2. 這個有限域在 160 年後成為現代密碼學與糾錯碼的底層（見第五章）；
3. 高斯證明代數基本定理（1799 年博士論文，一生給出四個證明），確認複數域是「所有多項式都有根」的終點——為下一節伽羅瓦的「可解性」問題鋪好了舞台。

高斯本人對五次方程可解性問題掃了一眼便斷定「無解公式存在」，卻沒有投入證明。這個燙手山芋，將落在一個短命的法國青年手裡。