內容來源：本文爲吳文俊1986年在國際數學家大會上的報告，英文原稿收入Proceedings of the International Congress of Mathematicians Berkeley, California, USA, 1986 第2卷, pp. 1657—1667. 中譯文原載於《自然雜誌》第12卷第7期，王志健譯。
>>>>
一、引言
我們將僅限於討論中國傳統數學，即從遠古至14世紀。近年來，國內外學者對此進行了許多卓有成效的研究，從而對中國傳統數學的真髓有了相當深刻的認識。筆者將隨意引用他們的研究成果，但對在本文表述的觀點，則負完全責任。
我們的研究必須遵循兩項基本原則。
原則一 引出的所有結論都必須依據倖存至今的原始文獻。
原則二 引出的所有結論都必須依據我們祖先的特有方式去論證。應用的知識、所用的輔助手段和方法都僅僅限於古代。
根據原則一，在以後的敘述中，我們要反覆引用下列文獻：
《九章算術》，於公元50年明確成型；
《九章算術注》，劉徽，公元263年；
《海島算經》，劉徽，公元263年；
《數書九章》，秦九韶，公元1247年。
根據原則二，我們強調，在代數和幾何的推演中，不得使用代數符號演算，不得添加平行線，因爲在中國傳統數學中沒有這些手段。事實上，中國傳統數學有着自己的發展路線、思維方式和表達風格。它與作爲希臘遺風的西方數學不僅毫無關聯，而且差別極大。在詳盡具體研究中國傳統數學的成就之前，我們先指出它的幾個特點。
第一，中算家不用筆算，而用算籌在籌算盤上作籌算。中算家很早就發明了完善的十進位制記數法，這就使得把算籌排在籌算盤上的適當位置上表示整數成爲可能。尤其是，在十進位值制記數法中，只要在某個恰當的位置上留一個空位便能很好地將0表示出來。其實“數學”在中國曆來稱爲“算術”，它的意思是“計算的方法”。
第二，中國傳統數學的成果通常表達爲分類問題集的形式，每個問題則分爲若干條目。條目一是“問”，即帶數據的實際問題陳述。條目二是“答”，給出這問題的數字解。條目三是“術”，即得出結果的方法，常常就是我們今天所說的“算法”，有時也是公式或定理。要注意，條目一中的數據在算法中不起多大作用，方法則具有普遍意義，在問題中可以任意替換爲其他數據，條目一僅僅起着舉例的作用。條目四是“注”，說明條目三中算法的根據及理由。宋代以後，往往添加了一個條目五，“草”，它包含了獲得最後結果的詳細運算過程。
二、數論
本節中，我們所談到的整數指的是都是正整數。
中國傳統數學沒有素數和因子分解之類的概念。然而，它有求兩整數的最大公約數——稱爲“等”——的方法，就是“更相減損術”。算法始下：
“以少減多，更相減損，求其等也。”
例如24與15的等是3，就是按下述方法求得的：
正如劉徽在《九章算術注》中指出的，這個算法的原理是：在運算過程中，整數逐步減小，但其等卻始終保持不變。
儘管實際上在我國古代從未引入素數概念，但中算家卻在數論研究中取得了非凡的成就。我們介紹其中兩項，它們是中國南京大學莫紹揆和西北大學李繼閔的研究成果。
在中國傳統數學發展的漫長歲月中，勾股形——直角三角形——是一個頗受寵愛的研究對象。尤其是，可以作爲勾股形中勾、股、弦——短直角邊、長直角邊和斜邊——的長度的三元整數組，在典籍《九章算術》中已被完全確定。在第九章勾股章中，列出了8個這樣的三元數組：
（3，4，5），（5，12，13），
（7，24，25），（8，15，17），
（20，21，29），（20，99，101），
（48，55，73），（60，91，109）。
列出這三元數組絕非湊巧，實際上，在這章的問題十四中已經包含了一個求這種一般形式的三元數組的方法。我們把此題抄錄如下：
“今有二人同所立。甲行率七，乙行率三。乙東行。甲南行十步而邪東北與乙會。問甲乙行各幾何。”
解題的“術”是這樣的：
“令七自乘，三亦自乘，並而半之，以爲甲邪行率。邪行率減於七自乘，餘爲南行率。以三乘七爲東行率。”
在第一節中我們已經指出，特殊數值7和3在問題中僅僅起着舉例說明的作用，完全可以用任意一對整數m、n（m>n>0）來代替這兩個數。“術”就是說，三條邊有這樣的比率：
前列的8個三元數組完全可以由下列整數對用這個方法定出來：
（m，n）=（2，1），（3，2），（4，3），（4，1），（5，2），（10，1），（8，3），（10，3）。
在劉徽的《九章算術注》裏，對幾何性質所作的證明依據了一個普遍原理：出入相補原理，第三節要對它作詳細說明。在這裏我們要指出，劉徽的證明同時顯示了，m:n實質上就是（勾+弦）對股的比率，只要勾:股:弦的比率爲整比率，m:n也爲整比率。
作爲第二個例子，我們來討論“求一術”。衆所周知，當今它被稱爲“中國剩餘定理”。新近的研究表明，這種算法是自漢代以來編歷時開創的，沿着十分清晰的路線，發展爲1247年秦九韶《數書九章》中的形式。在秦九韶著作的序言裏，他說，《九章算術》沒有這個方法，也沒有人知道怎樣推演它，但是編歷者卻廣泛運用它。《數書九章》第一卷首先闡明瞭這個方法。此章有9個問題，包括歷表編制、河堤修築、財物計算、租稅分配、穀物出售、軍隊計點、土木建築，甚至還有一個盜竊追贓的案例。所有這些題目都化歸爲一個問題，用現代符號寫出來就是：
其中Uj, Mj爲已知數，U則爲待求，整數被秦九韶稱爲“定母”（模數），即固定分母的意思，它們不必是兩兩互素的。秦九韶首先反覆應用更相減損術把問題化歸爲模數兩兩互素的情形，因此我們在下面的討論中可以只限於Mj兩兩互素的情形。
按現代數學，(2.2)的解可沿下述方法求得（可參見Knuth的《計算機編程藝術》第二卷250頁）。
記 φ(N) 爲整數N的Euler函數，可通過把N分解爲素因子來求出它。令
則(2.2)的解由下式給出：
解法和結果都簡潔而優美。但由於分解N很困難，對於秦九韶著作中的9個問題，即便是藉助於現代的電子計算機，也很難得到最後的答案。
秦九韶的算法則是如下進行。
第一步，取M/Mj模Mj的餘數Rj，稱爲“奇數”，是個專門名詞。現在求出滿足下式的Kj：
所求的最終解由下式給出：
秦九韶稱爲“乘率”，是一個專門名詞。求出滿足(2.4)的的算法被秦稱爲“大衍求一術”。“求一”是尋找數1的意思，“大衍”則是一個哲學術語， 我們不必去管它。求一術的第一步是由4個已知數組成一個方陣：1、0（空格）、、分別放於方陣的左上（LU）、左下（LL）、右上（RU）、右下（RL）：
注意這4個數顯然符合下面的關係：
算法的下一步是進行運算，使方陣中4個數逐步減小同時保持（2.6）成立。運算到最後，右上數減小到1，根據（2.6），左上數即爲所求的乘率。從下述的算法細節可以看出，求一術原理與求兩整數之等的更相減損術類同，只是複雜些。其算法是：
“置奇右 ，定居右上，立天元一於左上。先以右上除右下，所得商數與左上一相生入左下，然後乃以右行上下，以少除多，遞互除之，所得商數，隨即遞互累乘，歸左行上下。須使右上末後奇一而止，乃驗左上所得，以爲乘率。”
作爲具體例子，我們舉出秦的著作中的問題九，它是一宗盜竊案的追贓斷結。審案法官可用此算法確定3個賊人中每人所偷稻穀的數量。對於第一個賊人，相應的乘率是這樣確定的：
於是得K1=15。我們可以把這個運算程序與（2.1）的運算過程相比較。
上面例題的數據在秦九韶著作的9個問題中是最簡單的，但用 Euler 函數法來算已經很不容易了。另外8題包含了天文數字般的大數，非 Euler 函數法力所能及，但秦九韶卻用求一術容易地解決了它們。
三、幾何
與人們通常的成相反，中國古代的幾何學的研究很深入並且很發達。誤解大概是出於這樣的事實：中國傳統幾何在內容上和表現形式與歐幾里得的那一套由定義、公理、定理、證明構成的演繹體系。相反，中算家不去建立公理，而是提煉少數普遍而合理的一般原理。依據這些原理，就可以用演繹的方式發現和證明形形色色的幾何結論。劉徽的《九章算術注》就是這樣做的。
中國傳統幾何與歐幾里得幾何的着重點也截然不同。我們的祖先從未考慮平行性，相反，對直線的垂直性非常關心。事實上，勾股形，也就是直角三角形，在幾千年的發展歷程中，一直佔據着幾何研究的中心位置。其次，中算家不怎麼關心角度，但卻很重視距離。再次，中國傳統幾何學研究總是緊密結合着應用，因此，測量、面積和體積計算就是中心研究課題。最後，幾何學一直與代數同步發展，到宋元時便育成了幾何的代數化。李約瑟正確地指出，這個發展乃是走向創立解幾何重要的第一步（甚至是決定性的一步）。
我們通過例子說明這些觀點。
例1 日高公式
在地面上相隔一定距離處立等高的兩表（古代測日影的標杆）G1, G2，日光照表的影子即可測到，於是從地面算起的日高便可求出：
漢代以前的著作就已描述了這個公式，在其後的編歷工作中又經常用它。但它顯然只是粗略而不可靠的概算。因此，劉徽便把它移植到大地測量，用海島代替太陽，把日高公式變爲海島公式。他的《海島算經》中共有9個應用這類公式的問題，上述公式是其中第一個，也是最簡單的一個。書中有證明和附圖，宋朝的一些著作還提到了這些圖和證明，但以後就失傳了。依據公元30年趙爽著作中殘缺不全的顏色圖，筆者重新整理了這本著作中的論據，對上述的日高公式或海島公式重作證明如下。
如圖1，黃1與黃2面積相等，黃1加青3與黃2加青6面積也相等。表距與表高乘積等於黃1的面積。黃2的寬就是影差，黃2除以影差便是黃2的高，它就是從表頂水平面算起的日高，加上表高便得從面算起的日高。
從圖1看，海島公式的這個證明非常清楚。
例2 出入相補原理
在例1中，各種圖形面積的相等乃是出入相補原理的結論，在《九章算術注》中，這個原理簡單地表述爲：一個平面（或立體）圖形被分割成若干塊並移至他處，其總面積（或體積）保持不變。這個看來極平凡的原理被成功地用來解決各式各樣的有時甚至意想不到的問題，例1便是一例。
勾股形可作爲更深入應有這個原理的例子。由勾、股、弦三邊組成不同的和與差，如勾股和、勾弦差等。勾、股、弦及它們兩兩之間的和、差共9個數，在《九章算術》第九章勾股章裏，有不少用這9個數中的兩個爲求出勾、股、弦的問題，它們都是依據出入相補原理解出來的。特別是，我們在第二節中敘述過的勾股數組公式就是應用這個原理於問題十四而求得的。問題十四事實上是已知勾弦和對股的比率而求第三邊，劉徽應用出入相補原理給出瞭如下證明。
如圖2，
在《數書九章》裏，有一個三角形三邊求面積的公式：
顯然它與 Heron 公式等價，但形式複雜，而 Heron 公式優美簡潔。當然，前者不會從後者推導出來。應用《九章算術》中問題十四的公式，依據出入相補原理，筆者按照中國傳統數不的思路，自然地重新證明了秦九韶的這個公式。
Heron（海倫）公式
我們強調，中國傳統的求（平方和立方）根及解方程的方法實質上都依據了出入相補原理這個幾何特性的原理。我們還強調，《海島算經》中極難理解的公式，乃是應用出入相補原理自然而然得到的結果。若應用歐幾里得的方法，則似乎很難推出這些公式，或者至少是非常迂迴曲折和極不自然的。
例3 體積
只依據出入相補原理，便能求得任意多邊形的面積。對於求多面體的體積，卻不能照此類推。劉徽對此很清楚。因而，他按如下推理完美地解決了這一難題。
把一個長方體斜剖爲兩個相等的部分，稱爲塹堵，再把塹堵斜分爲二，一個（棱錐）稱陽馬，另一個（特殊形狀的四面體）稱鱉臑（圖3）。劉徽用了一個極其巧妙的相當於極限過程的推理，得到一個結論，筆者命之爲劉徽原理：
“陽馬居二，鱉臑居一，不易之率也。”
這個原理與出入相補原理結合可解決任意多面體的體積問題。《九章算術》第五章商功章中一批優美的體積公式都可用這個方法求得。劉徽對這個原理的證明既優雅又嚴謹，他把一個大塹堵剖分爲很多小陽馬。從圖3可清楚地看出，
1陽馬－2鱉臑 = 2×（1小陽馬－2小鱉臑）.
繼續做下去，等式右側變得越來越小，最後變得可以忽略，於是劉徽得出結論：
“半之彌少，其餘彌細。至細曰微，微則無形。由是言之，安取餘哉。”
更詳盡的論述可以參看 Wagner 的出色論文（Donald B. Wagner, An early Chinese derivation of the volume of a pyramid: Liu Hui, third century A.D., Historia Math. 6 (1979), 169-188.）。【此處編者未能看懂，懇請明白的讀者在評論區指教】
劉徽還研究了曲面體體積、尤其是球體體積的求法。他指出在一立方體中作兩內切圓柱體。其交叉部分形成的特殊曲體（牟合方蓋）體積的確定乃是求球體體積關鍵。劉徽本人經過周密的思考，未能解決。他採取出嚴肅的態度，決定把它留給下一代人，他說：
“敢下闕疑，以待能言者。”
牟合方蓋
劉徽敏銳觀察被繼承下來，導致5世紀時祖𣈶完滿地最終解決了這個難題。祖𣈶是偉大的數學家、天文學家、機械學家祖沖之的兒子。事實上，祖𣈶獲得了一個普遍原理，後來它重新發現時又被稱爲Cavalieri 原理：
“緣冪勢既同，則積不容異。”
祖𣈶對於球體體積公式有一個優美的證明，我們將在另文介紹。值得注意的是，劉徽已經在《九章算術注》中應用這個原理求得多種簡單曲體的體積。雖然沒有明確陳述，但確實使用了它。爲此，筆者提議應該把我國數學課本里所稱的祖𣈶原理改稱爲劉祖原理。
總之，出入相補原理、劉徽原理和劉祖原理足以建立整個體積理論，就像我們祖先所做的那樣。
四、代數
毫無疑問，代數乃是中國傳統數學更爲發達的分支。應該指出，在古代，代數實質上等同於解方程。解方程的問題似來源於兩個方面。一個來源於商業貿易和貨物交換，這導致遠古的盈虧術直到《九章算術》第八章所描述的方程術。這一章詳述了線性聯立方程組的解法並引進了負數。按中國現代語言，“方程”這一術語的最好解釋就是“方陣”。實際上，“方”的字面意義爲正方形或“矩形”；“程”，按劉徽在《九章算術注》裏的解釋，就是把數據在盤上擺成矩陣：
“並列爲行，故謂之方程”。
因此，解法便是縱橫移動算籌，按現代術語那就是消元法。在《九章算術注》中可以找到逐步將方陣化爲標準型的詳細步驟的例子。
方程的另一來源是測量或幾何問題，例如在日高研究中就有日高和太陽與觀察者之間水平距離這兩個公式。太陽與觀察這間距離當然用古已熟知的勾股定理來確定，這就需要求平方根。勾股定理的證明和求平方根顯然要依賴出入相補原理，求立方根也是如此。在《九章算術》的第九章勾股章中還有一個從出入相補原理自然引出的二次方程問題。解這類方程還有個專門術語：“開帶從平方”，這顯然蘊含了方程的來源和解法。
方程的這一源流最遲發展到唐朝成爲解三次方程，到了宋朝終於完成了高次方程的數值解法。1819年，Horner 又重新發現了這個方法。
宋元時期（10--14世紀）“天元”這個概念的引入是極爲重要的發現，它就是現在所說的未知數。雖然解方程在數千年的數學發展中佔據着中心地位，但這才第一次對未知數引入了正確的概念並系統使用。當時，中算家清楚地認識到，天元術具有非常強大的威力，正如在朱世傑著作中所表述的：天元術既闡明基礎原理，又提供通用解法，且省卻大量勞動。
在宋元，天元術進一步發展爲解四元高次聯立方程組，同時，幾何代數化、多項式運算和消元法也發展起來。方程求解的兩個源流合而爲一，已經接近現代意義的代數了。因爲在籌算盤上運算，多項式中各項係數要擺在盤上的固定位置，這一事實規定了未知數的個數只能以4個爲限。只要一旦擺脫籌算而改用其他的運算體系，中國數學就會進入繁榮昌盛時代。當時與阿拉伯世界密切交流，受他們影響比任何時候都大，傳入其他運算體系是完全有希望 。可惜，自元代之後，中國數學停止向前發展並且中斷了。當利瑪竇在明代來到中國時，已經沒有中國學者懂得《九章算術》了！
五、結束語
由於篇幅有限，我們來不及論述中國傳統數學的其他成就，如：極限概念、高階差分、級數等等。總之，中國傳統數學的特色是構造性、計算性和機械化，經典著作的那些“術”大多數可以容易地改寫成實現計算功能的程序。實際上，中國傳統數學慣於從具體對象中抽取其內在本質，然後綜合這些本質提煉出簡明的原理。它們論述簡單而應用廣泛，形成中國傳統數學極不平凡的特色。重點在於始終着眼於處理實際問題，在於簡單合情的原理和普遍方法。同樣的思想也體現在諸如代數化和十進位值制記數法之類的出色成就中。總的說來，中國傳統數學有它自己獨特的風格，然而它中斷了。蔑視我們祖先輝煌成就——如同在明朝時那樣——是不能容忍的。拒絕吸收外國的先進技術——如在初唐時那樣——也是荒唐的，那時，已經傳入印度數字的書寫體系，但卻由於堅持籌算而拒絕採用。
在充分認識我們傳統思維方法的威力和吸收當代高度發達的國外技術的基礎上，我們可以預料，中國數學將進入蓬勃發展的新時代。
THE END—
編輯 ∑Gemini
來源：好玩的數學
文章推薦
