我國數(shù)學(xué)史上有一部堪與歐幾里得《幾何原本》媲美的書,這就是歷來被尊為算經(jīng)之首的《九章算術(shù)》。它是我國現(xiàn)存最早的數(shù)學(xué)專著,其傳本包括《九章算術(shù)》本文、曹魏劉徽注、唐初李淳風等注釋三部分內(nèi)容。
《九章算術(shù)》集先秦至西漢我國數(shù)學(xué)知識之大成,其編纂也是集體勞動的成果。根據(jù)劉徽的記載,《九章算術(shù)》是從先秦"九數(shù)"發(fā)展來的。暴秦焚書,經(jīng)術(shù)散壞。西漢張蒼(?-前152年)、耿壽昌(前1世紀)收集遺文殘稿,加以刪補整理,編成《九章算術(shù)》。
《九章算術(shù)》包括了近百條一般性的抽象公式、解法,246個應(yīng)用問題,分屬方田、粟米、衰分、少廣、商功、均輸、盈不足、方程、勾股九章。
方田章提出了各種多邊形、圓、弓形等的面積公式;分數(shù)的通分、約分和加減乘除四則運算的完整法則。后者比歐洲早1400多年。
粟米章提出比例算法,稱為今有術(shù);衰分章提出比例分配法則,稱為衰分術(shù);商功章除給出了各種立體體積公式外,還有工程分配方法;均輸章用衰分術(shù)解決賦役的合理負擔問題。今有術(shù)、衰分術(shù)及其應(yīng)用方法,構(gòu)成了包括今天正、反比例、比例分配、復(fù)比例、連鎖比例在內(nèi)的整套比例理論。西方直到15世紀末以后才形成類似的全套方法。
少廣章介紹了開平方、開立方的方法,其程序與現(xiàn)今程序基本一致。這是世界上最早的多位數(shù)和分數(shù)開方法則。它奠定了我國在高次方程數(shù)值解法方面長期領(lǐng)先世界的基礎(chǔ)。
盈不足章提出了盈不足、盈適足和不足適足、兩盈和兩不足三種類型的盈虧問題,以及若干可以通過兩次假設(shè)化為盈不足問題的一般問題的解法。這也是處于世界領(lǐng)先地位的成果,傳到西方后,影響極大。
方程章采用分離系數(shù)的方法表示線性方程組,相當于現(xiàn)在的矩陣;解線性方程組時使用的直除法,與矩陣的初等變換一致。這是世界上最早的完整的線性方程組的解法。在西方,直到17世紀才由萊布尼茲提出完整的線性方程的解法法則。這一章還引進和使用了負數(shù),并提出了正負術(shù)——正負數(shù)的加減法則,與現(xiàn)今代數(shù)中法則完全相同;解線性方程組時實際還施行了正負數(shù)的乘除法。這是世界數(shù)學(xué)史上一項重大的成就,第一次突破了正數(shù)的范圍,擴展了數(shù)系。外國則到7世紀印度的婆羅摩及多才認識負數(shù)。
《九章算術(shù)》確定了中國古代數(shù)學(xué)的框架,以計算為中心的特點,密切聯(lián)系實際,以解決人們生產(chǎn)、生活中的數(shù)學(xué)問題為目的的風格。其影響之深,以致以后我國數(shù)學(xué)著作大體采取兩種形式:或為之作注,或仿其體例著書;甚至西算傳入中國之后,人們著書立說時還常常把包括西算在內(nèi)的數(shù)學(xué)知識納入"九章"的框架。
然而,《九章算術(shù)》亦有其不容忽視的缺點:沒有任何數(shù)學(xué)概念的定義,也沒有給出任何推導(dǎo)和證明。魏景元四年(263年),劉徽給《九章算術(shù)》作注,才大大彌補了這個缺陷。
劉徽是我國也是世界歷史上最偉大的數(shù)學(xué)家之一。遺憾的是,他的生平我們現(xiàn)在知之甚少。據(jù)考證,他是山東鄒平人。劉徽定義了若干數(shù)學(xué)概念,全面論證了《九章算術(shù)》的公式解法,提出了許多重要的思想、方法和命題,他在數(shù)學(xué)理論方面成績斐然。
劉徽對數(shù)學(xué)概念的定義抽象而嚴謹。他揭示了概念的本質(zhì),基本符合現(xiàn)代邏輯學(xué)和數(shù)學(xué)對概念定義的要求。而且他使用概念時亦保持了其同一性。如他提出"凡數(shù)相與者謂之率",把"率"定義為數(shù)量的相互關(guān)系。又如他把正負數(shù)定義為"今兩算得失相反,要令正負以名之",擺脫了正為余,負為欠的原始觀念,從本質(zhì)上揭示了正負數(shù)得失相反的相對關(guān)系。
《九章算術(shù)》的算法盡管抽象,但相互關(guān)系不明顯,顯得零亂。劉徽大大發(fā)展深化了中算中久已使用的率概念和齊同原理,把它們看作運算的綱紀。許多問題,只要找出其中的各種率關(guān)系,通過"乘以散之,約以聚之,齊同以通之",都可以歸結(jié)為今有術(shù)求解。
一平面(或立體)圖形經(jīng)過平移或旋轉(zhuǎn),其面積(或體積)不變。把一個平面(或立體)圖形分解成若干部分,各部分面積(或體積)之和與原圖形面積(或體積)相等?;谶@兩條不言自明的前提的出入相補原理,是我國古代數(shù)學(xué)進行幾何推演和證明時最常用的原理。劉徽發(fā)展了出入相補原理,成功地證明了許多面積、體積以及可以化為面積、體積問題的勾股、開方的公式和算法的正確性?!」室园胫艹税霃蕉鵀閳A冪"。從明證明了S=l/2·r。劉批評了以往"圓徑一而周三"的錯誤,指出此公式中周徑是"至然之數(shù)",即圓周率π。他以此公式為基礎(chǔ),求出了π的兩個近似值157/20和3927/1250,在中國首次創(chuàng)立了求圓周率的科學(xué)方法,奠定了我國圓周率研究在世界長期領(lǐng)先的基礎(chǔ)。
劉徽注關(guān)于體積問題的論述已經(jīng)接觸到現(xiàn)代體積理論的核心問題,指出四面體體積的解決是多面體體積理論的關(guān)鍵,而用有限分割和棋驗法無法解決其體積。為了解決這個問題,他提出了一個重要原理"邪解壍堵,其一為陽馬,一為鱉臑。
陽馬居二,鱉臑居一,不易之率也",今稱為劉徽原理。劉徽平分壍堵的長、寬、高,通過出入相補,可以證明在壍堵的3/4中上述原理成立;而剩余的1/4與原壍堵的結(jié)構(gòu)相同,可以重復(fù)上述分割,又可以證明其3/4中這個原理成立。這個過程可以無限繼續(xù)下去,"半之彌少,其余彌細。至細曰微,微則無形。由是言之,安取余哉?"完成了該原理的證明。由壍堵的體積公式v=1/2abh,便證明《九章算術(shù)》提出的陽馬體積公式v=1/3abh,鱉臑的體積公式v=1/6abh。近代數(shù)學(xué)大師高斯、希爾伯特才討論這個問題,已是近100多年以來的事。
劉徽注多方面表述了今天稱之為祖暅之原理的命題,并由此證明了《九章算術(shù)》中球體積公式的錯誤。他設(shè)計了牟合方蓋,指出球與牟合方蓋的體積之比是π∶4,只要求出后者的體積就可以求出球體積了。他盡管沒能求出牟合方蓋的體積,但誠懇地表示"以俟能言者",表現(xiàn)出一位偉大學(xué)者的坦蕩胸懷。這個問題后來由祖沖之父子徹底解決,李淳風注釋《九章算術(shù)》時詳細記述了祖氏的方法。
劉徽注中還有不少有價值的成就。如對開方不盡,提出繼續(xù)開方,求其"微數(shù)",以十進分數(shù)逼近無理根,開十進小數(shù)之先河;他還認識到不定方程有無窮多組解,等等。劉徽注形成了一套數(shù)學(xué)體系,他說"事類相推,各有攸歸,故枝條雖分而同本干知,發(fā)其一端而已。"把數(shù)學(xué)看作一株枝條雖然分開但本干相同的大樹。他認為數(shù)學(xué)是"規(guī)矩"與"度量"亦即空間形式與數(shù)量關(guān)系的統(tǒng)一?;谶@些深刻的認識,他的證明除個別失誤外,都論點明確,論據(jù)充分,條理清晰,推理嚴謹;而且大都使用演繹推理,沒有循環(huán)論證。是嚴格的數(shù)學(xué)證明。有了劉徽的證明?!毒耪滤阈g(shù)》的公式解法,才建立在真實可靠的基礎(chǔ)上。
《九章算術(shù)》及其劉徽注,以杰出的數(shù)學(xué)成就,獨特的數(shù)學(xué)體系。不僅對東方數(shù)學(xué),而且對整個世界數(shù)學(xué)的發(fā)展產(chǎn)生了深遠的影響,在科學(xué)史上占有極為重要的地位。它的出現(xiàn),標志著從公元前1世紀開始,中國取代古希臘成為世界數(shù)學(xué)的中心,為此后中國數(shù)學(xué)領(lǐng)先世界1500多年奠定了基礎(chǔ)。今天,隨著計算機的出現(xiàn)和發(fā)展,它所蘊含的算法和程序化思想,仍給數(shù)學(xué)家以啟迪。吳文俊先生指出"《九章》所蘊含的思想影響,必將日益顯著,在下一世紀中凌駕于《原本》思想體系之上,不僅不無可能,甚至說是殆成定局,本人認為也絕非過甚妄測之辭。"