第1章　這個墓穴埋葬著丟番圖

在很多個世紀以前的古亞歷山大，一位老人埋葬了自己的兒子。這位心碎的老人為了轉(zhuǎn)移自己的悲傷，開始整理大量的代數(shù)問題，并將這些問題及其解法匯編成書，取名《算術(shù)》（Arithmetica）。這些就是人們對亞歷山大的丟番圖幾乎所有的了解，而這些了解絕大多數(shù)來自其好友在他去世后不久所寫的一個謎題：¹

行人啊，請稍駐足，這里埋葬著丟番圖。上帝賦予他一生的六分之一，享受童年的幸福；再過十二分之一，兩頰長胡；又過了七分之一，燃起結(jié)婚的蠟燭。愛子的降生盼了五年之久，可憐那遲來的兒郞啊，只活到父親歲數(shù)的一半，便進入冰冷的墳墓。悲傷只有通過數(shù)學來消除，四年后，他自己也走完了人生旅途。²

¹ 托馬斯·希恩，Diophantus of Alexandria: A Study in the History of Greek Algebra，second edition（Cambridge University Press，1910，Dover Publications，1964），3。

² Greek Mathematical Works II: Aristarchus to Pappus of Alexandria（Loeb Classical Library No. 362），由Ivor Thomas翻譯（Harvard University Press，1941），512–3。

這篇墓志銘對丟番圖兒子的死亡說得不是很清楚。其中提到，他只活到了“父親歲數(shù)的一半”，但這是指兒子死時父親年齡的一半，還是指他父親壽命的一半？不論怎樣理解，都可以解答。但如果是后一種理解“只活到他父親壽命的一半”，我們得出的歲數(shù)會是一個漂亮而又簡潔的整數(shù)。

我們假設丟番圖的壽命為x。丟番圖生命中每個時期的年數(shù)要么是他壽命的幾分之幾（例如，x除以6是他的童年時光），要么是一個整數(shù)（例如，從他結(jié)婚到兒子出生有5年的時光）。丟番圖生命中所有時期的年份之和為x，所以這個謎題可以用下面這個簡單的代數(shù)式來表示：

所有分母的最小公倍數(shù)是84，將等號兩邊同時乘以84得到：

14x + 7x +12x + 420 + 42x + 336 = 84x

分別整理帶有x的項和常數(shù)項，得到：

84x - 14x - 7x -12x - 42x = 420 + 336

即：

9x = 756

方程的解是：

x = 84

所以，丟番圖的童年時光是14年，7年后他長大成人。又過了12年，在33歲的時候，他結(jié)了婚，5年后有了兒子。兒子死于42歲，丟番圖當時80歲，4年后丟番圖去世。

事實上，有一個更快捷的方法來解這個謎題：如果深入探索出題人的內(nèi)心想法，你就會發(fā)現(xiàn)他并不想用分數(shù)來增加麻煩。丟番圖壽命的“十二分之一”和“七分之一”必然是整數(shù)，所以他的壽命年數(shù)一定可以被7和12整除（自然也會被2和6整除）。只需將12乘以7就能得到84。這個看起來也像是合適的高齡歲數(shù)，所以它極有可能是對的。

丟番圖去世時也許是84歲，但是對于歷史來說，更重要的問題是找到具體時間。人們曾經(jīng)猜測，丟番圖的時代是在公元前150年到公元280年之間³，那是一個令人向往的時期。這樣的話，丟番圖就活在歐幾里得（活躍在約公元前295年⁴）和埃拉托色尼（約公元前276—前195年）等早期亞歷山大數(shù)學家們之后，這也說明他與亞歷山大的海倫（活躍在公元62年）處于同一時期。海倫的著作涉及了力學、氣體力學以及自動控制，他似乎還發(fā)明了一種原始蒸汽機。丟番圖也許還認識那位憑著作《天文學大成》而被世人銘記的亞歷山大天文學家托勒密（約公元100—170）。那本書包含了世界上第一個三角函數(shù)表，并且建立了直到十六七世紀哥白尼革命時才被推翻的描述天體運動的數(shù)學。

³ 這些日期來自Simon Hornblower and Antony Sprawforth，eds.，Oxford Classical Dictionary，revised third edition（Oxford University Press，2003），483。

⁴ 這些亞歷山大數(shù)學家們的生活年代來自Charles Coulston Gillispie，ed.，Dictionary of Scientific Biography （Scribners，1970）。

不幸的是，丟番圖也許從未見過這些亞歷山大的數(shù)學家和科學家們。過去一百多年來，古典學者們之間的共識是，丟番圖大約活躍在公元250年，他現(xiàn)存的主要著作《算術(shù)》很可能也追溯到那個時期。這樣的話，丟番圖的出生時間大概是在托勒密去世時間的前后。曾經(jīng)編輯了權(quán)威的希臘版《算術(shù)》（1893~1895年出版）的保羅·塔納里注意到，這本書寫著獻給“尊敬的狄奧尼修”。雖然這是一個常用名，但塔納里猜測，這個狄奧尼修就是那個曾在公元232~247年擔任亞歷山大傳道學校校長，以及之后在公元248~265年擔任亞歷山大主教的狄奧尼修。因此，丟番圖可能是個基督徒。⁵如果是這樣，下面這一事實就有點諷刺意味了：對《算術(shù)》的一個早期但遺失了的評注是由塞翁的女兒希帕蒂亞（約公元370—415）所寫的，她是亞歷山大最后一位偉大的數(shù)學家，后來被一幫反對她“異教徒”哲學思想的基督教暴徒殺害。

⁵ 希恩，Diophantus of Alexandria，2，note 2。希恩本人好像也對此持懷疑態(tài)度。

古希臘數(shù)學家在幾何學和天文學領域一直是最強的。丟番圖在種族上是希臘人，但與眾不同的是，他用“數(shù)字的科學”，即我們所知的代數(shù)，來緩解兒子去世的悲痛。他似乎是代數(shù)上很多創(chuàng)新的源頭，包括他在問題中使用的符號和縮寫，這標志著數(shù)學問題從文字描述到現(xiàn)代代數(shù)表示法的轉(zhuǎn)變。

《算術(shù)》的6本書（原來是13本）中羅列的問題一道比一道難，大部分都難于求解丟番圖年齡的問題。丟番圖的問題常常含有多個未知量。他的一些問題是不定的，也就是說這些問題通常有多個解?！端阈g(shù)》中只有一個問題不是抽象的，也就是說其他問題都是絕對數(shù)字化、不指代現(xiàn)實事物的。

丟番圖提及的另一個抽象元素是冪。那個時候，數(shù)學家們已經(jīng)熟悉了平方和立方。平方用來計算一個平面圖形的面積，立方用來計算一個實體的體積。但是丟番圖將高次方引入了他的問題：4次方（他稱為“平方-平方”）、5次方（他稱為“平方-立方”）和6次方（他稱為“立方-立方”）。丟番圖知道，這些冪與現(xiàn)實沒有關(guān)聯(lián)性，并且他也不在乎這種數(shù)學的實用性。這是純粹的娛樂性數(shù)學，僅僅用來強化思維，沒有別的目的。

這里列舉第4本書中的第一個問題。⁶丟番圖先是概括地闡述了：

將一個已知數(shù)拆分成為兩個立方體的體積，并且這兩個立方體的邊之和等于另一個已知數(shù)。

⁶ 希恩，Diophantus of Alexandria，168。

接著給出了例子：

已知數(shù)為370，邊長之和是10。

將這個問題用圖表示后可見，他需要處理兩個不同邊長的立方體?，F(xiàn)代代數(shù)學家可以將這兩個立方體的邊標記為x和y：

這兩條邊加起來為10。這兩個立方體的體積之和（x³和y³）是370。我們現(xiàn)在寫下兩個等式：

x + y = 10

x³ + y³ = 370

由第一個等式得出，y等于(10- x)，將其代入第二個等式：

x³ + (10 - x)³ = 370

展開(10 - x)³，我們希望立方項最終可以消失：

x³ + (1000 + 30x² - 300x - x³ ) = 370

很幸運，立方項消失了，經(jīng)過整理后可以得到：

30x² - 300x + 630 = 0

等式左邊的3個數(shù)有一個公因數(shù)，所以可以同時除以30：

x² -10x + 21 = 0

現(xiàn)在，這個問題基本解決了。你有兩個選擇。如果記得二次方程的求根公式⁷就可以直接使用它；或者，如果你曾經(jīng)練習過求解類似的方程，就可以一直盯著它思索，直到它自己神奇地分解成

(x - 7)(x - 3) = 0

⁷ 對于ax² + bx + c = 0，解為x = 。

因此兩個邊的長度分別為7和3。的確，這兩個邊加起來等于10，它們的立方（343和27）和等于370。

丟番圖并不像你我這樣解決這個問題，他確實不會。盡管丟番圖的問題經(jīng)常涉及多個未知數(shù)，但是他的記號只允許他表達一個未知數(shù)。他用了一個巧妙的方法彌補了這一點。他沒有將兩個立方體的邊長標記為x和y，而是標記為(5 + x)和(5 - x)。這兩個邊長可以用一個未知數(shù)x表示，并且加起來確實等于10。接下來，他就可以將這兩條邊進行立方運算，相加后等于370：

(5 + x)³ + (5 - x)³ = 370

這個式子看起來比我們的糟，但是如果展開這些立方，一些項便會迅速消去，只留下：

30x² + 250 = 370

合并同類項，方程兩邊再同除以30，進一步化簡為：

x² = 4

即x=2。因為兩條邊是(5 + x)和(5 - x)，所以這兩條邊是7和3。

丟番圖用來解決這個問題的方法比現(xiàn)在學生用的方法輕松，他神奇并正確地將兩個邊長用一個未知數(shù)表示。這個方法會適用于下一個問題嗎？也許可以，也許不可以。建立解決代數(shù)方程的通用方法確實不是丟番圖所要考慮的。正如一位數(shù)學家論述的：“每一個問題都需要一個十分具體的方法，這個方法通常連最類似的問題都不適用。這使得現(xiàn)代數(shù)學家即使在研究了100道丟番圖問題的解答后，還是很難找到解決第101道題的方法。”⁸

⁸ Hermann Hankel (1874) 引用希恩的Diophantus of Alexandria，54–55。其他數(shù)學家就丟番圖的方法找到了更清晰的方式。參見Isabella Grigoryevna Bashmakova，Diophantus and Diophantine Equations（Mathematical Association of America，1997），ch. 4。

當然，丟番圖在展示這個立方之和為370、邊長之和為10的問題時，顯然并不是隨意選取某些數(shù)字，他知道這些假設條件將會導出一個整數(shù)解。實際上，丟番圖方程就是指只允許整數(shù)解的代數(shù)方程。丟番圖方程可以有很多未知量，這些未知量可以帶有整數(shù)冪，但是它的解（如果有）總是整數(shù)。盡管丟番圖經(jīng)常使用減法來命題，但是他的解從不涉及負數(shù)。“對于一個沒有用任何正整數(shù)相減就得到的負整數(shù)本身，丟番圖顯然沒有任何概念?！?sup >9任何一道問題也不會包含有0的解，古希臘人不將0考慮在內(nèi)。

⁹ 希恩，Diophantus of Alexandria，52–53。

現(xiàn)代讀者們，特別是那些已經(jīng)默認了丟番圖問題只有整數(shù)解的人，在遇到丟番圖問題中的有理數(shù)時也許會有點吃驚。有理數(shù)之所以這樣命名，不是因為它們在某種程度上符合邏輯，而是因為它們可以表示為兩個整數(shù)的比。例如：

就是一個有理數(shù)。

在《算術(shù)》中，有理數(shù)只出現(xiàn)在涉及現(xiàn)實物體的問題中，特別是那些一直被大家津津樂道的問題：飲料和德拉克馬（古希臘貨幣）。雖然從這個問題的描述里看不出來，但是有理數(shù)在這個解中是必需的：

一個人買了若干份酒，有些單價是8德拉克馬，有些是5德拉克馬。他為這些酒支付的德拉克馬是個平方數(shù)，如果這個數(shù)再加上60，結(jié)果還是一個平方數(shù)，該平方數(shù)的根是這些酒的份數(shù)。求兩類酒他各買了多少。¹⁰

¹⁰ 希恩，Diophantus of Alexandria，224。

這里的“平方數(shù)”是指一個數(shù)與它自身的積。例如，25是一個平方數(shù)，因為它等于5乘以5。

在進行了一整頁的計算后，¹¹它揭示了單價5德拉馬克的數(shù)量是一個有理數(shù)：

¹¹ 希恩，Diophantus of Alexandria，225。

單價8德拉馬克的數(shù)量也是一個有理數(shù)：

我們檢驗一下這個結(jié)果。（檢驗這個結(jié)果要比推導它容易得多。）如果你用5德拉馬克乘以79/12，然后加上8德拉馬克乘以59/12的積，就會發(fā)現(xiàn)這個人總共支付了德拉馬克。丟番圖說這個人支付了“平方數(shù)的錢”。支付的錢數(shù)必須是某個數(shù)的平方。令人好奇的是，丟番圖認為是個平方數(shù)，因為它可以表示為：

分母和分子都是平方數(shù)：分別是17和2的平方。因此，是（即）的平方。丟番圖進一步說：“如果這個數(shù)再加上60，結(jié)果還是一個平方數(shù)，該平方數(shù)的根是整個酒的數(shù)量。”這里的“整個”不是指整數(shù)。丟番圖（或者說是《算術(shù)》英文版的譯者托馬斯·哈斯爵士）的意思是指度量的總份數(shù)。60加是，也就是有理數(shù)：

丟番圖再一次認為這個數(shù)是平方數(shù)，因為它的分子和分母都是平方數(shù)：分別是23和2的平方。因此，總的度量數(shù)是23/2（即），這同樣可以通過將79/12和59/12相加得到。

《算術(shù)》中最著名的問題也許要算第2本書的第8個問題：將給出的平方數(shù)分解為兩個平方數(shù)的和，也就是說，求x、 y、 z，使它們滿足：

x² + y² = z²

這個問題的幾何解釋是畢達哥拉斯定理所描述的直角三角形三條邊之間的關(guān)系。

這個問題有許多整數(shù)解，例如x、y、z分別等于3、4、5（兩個平方數(shù)9和16的和等于25）。這個簡單的結(jié)果顯然不是丟番圖所希望的。他設定了一個“給出的平方數(shù)”（也就是z²）等于16，于是其他兩邊分別等于144/25和256/25。對于丟番圖來說，這些數(shù)當然都是平方數(shù)，其中第一個數(shù)是12/5的平方，第二個數(shù)是16/5的平方，并且它們的和是4的平方：

丟番圖允許有理數(shù)解并不重要，因為這個解等價于一個整數(shù)解。簡單地將等式兩邊同乘以5²（即25），即可得到：

12² + 16² = 20²

即144加256等于400。事實上，這是同一組解，它們的不同僅在于度量邊的方式不同。丟番圖的問題闡述中，斜邊是4。這可能是4英尺?，F(xiàn)在用一個單位長度不同的尺子去測量，比如單位長度等于五分之一英尺。用這個尺子測量，這條斜邊就等于20，其他兩條邊分別為12和16。

整數(shù)是在人們開始計數(shù)之時出現(xiàn)的，有理數(shù)也許是在人們開始測量時出現(xiàn)的。如果一根胡蘿卜的長度等于3根手指的寬度，另一根胡蘿卜的長度等于4根手指的寬度，這時第一根胡蘿卜的長度就是第二根的。

有理數(shù)有時也稱為可通約數(shù)字，因為長度被表示成有理數(shù)的兩個物體總可以重新度量為整數(shù)長度，你只需要將新的度量單位變得足夠地小。

丟番圖的《算術(shù)》是用希臘語寫的，至少有部分文稿被翻譯成了阿拉伯文。當它開始在歐洲數(shù)學界產(chǎn)生影響的時候，在1575年首次被翻譯成拉丁語，之后在1621年有了更好的版本。費馬（1601—1665）曾擁有一本1621年的拉丁語版《算術(shù)》，并在其空白處寫滿了筆記。1670年，費馬的兒子公布了這些筆記以及拉丁文版的《算術(shù)》。在這道問題旁有這樣一段筆記，費馬寫道：

另一方面，將一個立方數(shù)分解為2個立方數(shù)，或者將一個4次方數(shù)分解為兩個4次方數(shù)，亦或?qū)⒊椒街獾娜魏纬朔椒纸鉃閮蓚€有同冪的乘方，這些都是不可能的。對此，我已經(jīng)發(fā)現(xiàn)了一個非常漂亮的證明，但是這兒的空白之處不夠?qū)懴滤?sup >12

¹² 希恩，Diophantus of Alexandria，144，note 3。

費馬宣稱，例如：

x³ + y³ = z³

是沒有整數(shù)解的，并且冪為4、5、6及之后的類似方程都沒有解。這并不明顯。等式：

x³ + y³ + 1 = z³

非常接近于

x³ + y³ = z³

而且它有許多整數(shù)解，例如x、y、z分別等于6、8、9。等式

x³ + y³ - 1 = z³

同樣相似，也有許多整數(shù)解，例如9、10、12。為什么這兩個相似的等式有解，但是

x³ + y³ = z³

沒解呢？

丟番圖在《算術(shù)》中介紹的問題都有解，但是許多丟番圖方程，例如費馬描述的方程，看起來并沒有解。對于數(shù)學家來說，確定一個丟番圖方程是否有整數(shù)解比求解特定的丟番圖方程更加有趣。

費馬沒有寫出的證明就是大家熟知的費馬最后定理（有時也稱費馬大定理）。多年來，人們普遍相信，不管費馬當時想到了怎樣的證明，這個證明也許是錯的。英國數(shù)學家安德魯·懷爾斯（1953—?。?0歲開始就對這個問題產(chǎn)生了興趣，到了1995年，費馬最后定理才最終被他證明。（人們很早就證明了，對于一些特殊情況，例如指數(shù)為3時，方程是無解的。）

很顯然，證明某些丟番圖方程沒有解要比找到一個解（如果有）更具挑戰(zhàn)性。如果你知道某個特定的丟番圖方程存在解，可以簡單地驗證所有的可能性。由于允許的解只能是整數(shù)，因而你可以首先嘗試1，然后是2、3及之后的數(shù)。如果你不想做這些繁重的工作，可以寫一個計算機程序測試所有的可能性，程序遲早會幫你找到答案的。

但是，如果并不知道是否存在解，那么這個用計算機蠻力解決的方案就不合適了。你可以不斷嘗試，但怎樣知道何時該放棄呢？你怎么知道下一步將要測試的一組數(shù)字不是所要搜尋的那組數(shù)字呢？

麻煩來自這些可惡的數(shù)字：它們有無窮多個。