魏雪剛
(中國科學(xué)院自然科學(xué)史研究所,北京 100190)
東西文明的遭遇與沖撞是科技史研究的一個取向,西算在中國的境遇又是清代算學(xué)史重要且有趣的話題。就借根方來說,它經(jīng)歷了從傳入宮廷而被接受,到被收入《數(shù)理精蘊(yùn)》而廣為傳播,又到中算家受其助力而掌握天元術(shù),再到中算家對借根方和天元術(shù)看法的轉(zhuǎn)變等等,這一切值得我們進(jìn)行具體而微的研究。韓琦考察了借根方的傳入與乾嘉古算的復(fù)興[1—2]。本文嘗試在此基礎(chǔ)上,從算法的視角出發(fā),對借根方在乾嘉時期的具體遭遇展開進(jìn)一步的討論。
1797年春,李銳(1769—1817)?!稖y圓海鏡》完成,這是一大關(guān)節(jié)處[3],在此之前,算學(xué)家對借根方有較高的評價,在此之后,多數(shù)算家雖仍認(rèn)為借根方有很高的價值,他們卻轉(zhuǎn)而傾向于天元術(shù)。中算史家多注意到了這一轉(zhuǎn)變,就其轉(zhuǎn)變的原因,洪萬生、劉鈍從乾嘉學(xué)派與算學(xué)的關(guān)系展開論述[4—5],田淼從擇善而從的角度進(jìn)行分析[6—7]。他們的研究頗具啟發(fā)性,不過我們認(rèn)為這種轉(zhuǎn)變的原因極為復(fù)雜,需要從多個角度來討論。因此,我們在重新考察相關(guān)問題的基礎(chǔ)上,力圖尋找更多的原因,卻始終未曾想對此問題做一全面而完備的回答,這或許也是根本不可能的。
而在中算家看來,寄母和正負(fù)開方法卻是天元術(shù)優(yōu)于借根方的關(guān)鍵(3)事實上,中算家對寄母的重視淵源有自,《張邱建算經(jīng)·序》:“學(xué)算者不患乘除之為難,而患通分之為難?!崩罴毒耪滤阈g(shù)音義》:“能治諸分,則數(shù)學(xué)之能事盡矣?!比钤懂犎藗鳌肪砹皬埱窠ā睏l:“之分之術(shù)明,則《九章》之要一以貫之?!薄H缛钤?1764—1849)所說:
“西法之所自詡者,用八線推三角角度暨借根方而已。不知借根方即天元一,而較遜于天元一,以不善寄母兼不善古開方法,故三乘方已上與夫正負(fù)雜糅之方,皆借根之所窮。而三角八線未見于天元一,習(xí)西法者遂疑天元亦于此有窮。茗香羅君則謂元人之書所以不馭此者,彼時三角法未入中土也。”[11]
羅士琳(1774—1853)為了說明天元無窮,專門寫作了《三角和較算例》一書。
其實,《借根方算法》中的未知數(shù)表達(dá)形式并不限于“根”“方”,且不限于“甲”“乙”二字,正如題中雙行夾注所言:“此法內(nèi)用甲、乙、丙、丁字,不用根數(shù)?!边@里選擇天干表達(dá)未知數(shù),具有明顯的符號化特征,若把天干換成現(xiàn)代數(shù)學(xué)中的x、y、z也未嘗不可。《借根方算法》上卷之二和上卷之三有大量用天干表示未知數(shù)的例子,但其指數(shù)均為1。看來,《借根方算法》中的借根方也可解決多元一次問題,而天元術(shù)(四元術(shù))則不能解決五元以上的題目。同樣可惜的是,《借根方比例》未收錄這種天干表示法(4)明安圖《割圓密率捷法》卷三“分弧通弦率數(shù)求全弧通弦率數(shù)”注云:“借根方法任借數(shù)根俱可,故古法有立天元一、地元一、人元一者,《四元玉鑒》又有所謂四元者,皆此類也?!笨磥砻靼矆D對借根方未知數(shù)表達(dá)方法的理解更接近《借根方算法》,但這未在當(dāng)時產(chǎn)生影響。。
如此看來,乾嘉算家未能見到借根方的本來面貌,忽略了不少關(guān)鍵要素,以致它的優(yōu)勢無法在當(dāng)時發(fā)揮出來。算家正是在這種情況下來討論借根方與天元術(shù)的異同問題。
乾嘉算學(xué)家對借根方與天元術(shù)的異同多有辨析。梅瑴成(1681—1763)的《赤水遺珍》就是這樣。該書用借根方解釋天元術(shù)[12],具體而言,借根方等式兩側(cè)均不為零,即f(x)=g(x);天元術(shù)相消后得到開方式,形式類似于f(x)(或f(x)=0)。就各項的正負(fù)而言,相消前后兩種形式是有差別的,梅瑴成并不關(guān)心這種差異。“余勾余股求容圓徑”問得到負(fù)平方、負(fù)一次方、正常數(shù)的開方式后,梅瑴成注曰:“則右余一天元冪與左余九萬六千少八十根相等也?!?[13],頁13a)其中,平方的正負(fù)相反。不僅如此,他還用天元術(shù)的術(shù)語解釋借根方?!坝邢遗c積求勾股”問先借根為勾,后得一等式:676x2-x4=57600。這被描述成正實、從廉、負(fù)隅,然而按照天元術(shù)的方法,這只能是正實、負(fù)廉、正隅或負(fù)實、從廉、負(fù)隅。隨后的開方卻采用了“負(fù)隅、益積三乘方”法,不知梅瑴成是否留意到這里的矛盾。這個縫隙在乾嘉時期有很大的影響。梅瑴成對朱世杰的評價不高,原因有二:一,《四元玉鑒》“或問歌彖”第一問用“正隅”“從隅”兩詞指代正二次方,梅瑴成稱這是“故異其詞”([13],頁16a)。二,“或問歌彖”第三問求勾股時,因天元術(shù)左右可以互消,即f(x)=0可以轉(zhuǎn)化為-f(x)=0,同時用了這兩種形式,梅瑴成卻感慨道:“何以參差如此乎?”([13],頁18b)??磥砻番湷蓪μ煸g(shù)的了解并不深入。
李銳認(rèn)為借根方不如天元術(shù)“簡且易”([10],李銳跋),并在《測圓海鏡細(xì)草》中批評館案“惟知借根方法”([10],卷三,頁13b)。館案受《赤水遺珍》的影響較大,如用天元術(shù)術(shù)語解釋借根方?!都?xì)草》卷六第十二問“有草無法”,館案補(bǔ)法用實、從、廉、負(fù)隅指代等式35200x+21504000=640x2-0.5x3各項,這與梅瑴成對天元術(shù)術(shù)語的誤用如出一轍。對此,李銳提出了異議,“廉當(dāng)云益廉,負(fù)隅當(dāng)云隅。蓋加減所得多少,與相消所得正負(fù)相反也”([10],卷六,頁11a)。這種看法是正確的。
李銳進(jìn)而比較了借根方與天元術(shù)的異同([10],卷二,頁12b—13a)。借根方用“加減法”化簡后的形式是f(x)=c(c>0),天元術(shù)用“相消法”化簡后的形式有兩種f(x)-c=0(c>0)或0=c-f(x)(c>0)。若天元術(shù)常數(shù)項為正則兩術(shù)中f(x)各項正負(fù)相反,若天元術(shù)常數(shù)項為負(fù)則兩術(shù)中f(x)各項正負(fù)一致。李銳雖然指出了梅瑴成天元術(shù)術(shù)語使用的錯誤,卻沒注意到相消法與加減法在算理上的一致性(5)關(guān)于李銳的天元相消法,可參考:洪萬生.《無異解》中的三案初探:一個HPM的觀點.科學(xué)教育學(xué)刊,2000,第八卷第三期,215—224;郭世榮.中國數(shù)學(xué)典籍在朝鮮半島的流傳與影響,山東教育出版社,2009∶144—151.。此外,李銳強(qiáng)調(diào)相消“可以又?jǐn)?shù)減寄左數(shù),亦可以寄左數(shù)減又?jǐn)?shù)”([10],卷二,頁12b)。這其實點明了天元開方式的正負(fù)可以整體互換,反駁了梅瑴成對朱世杰的批判。
焦循(1789—1820)贊同李銳借根方與天元術(shù)之殊的看法,但在天元相消問題上與之有間([14],焦循序)。他說:“借根之用加減,與相消法異而數(shù)同……蓋兩邊各減,仍不啻以左減右。”([14],下,頁24b)并用一個算術(shù)式來說明:有5+5=10,左側(cè)+5為“多五”,相消法為5=10-5,加減法為(5+5)-5=10-5,兩法結(jié)果均“相等”。相消得到的開方式,在這里竟成了等式,且兩端均不為零,如其所說:“相消必分兩畔者,緣兩畔之相等也?!?[14],下,頁24a)“兩畔”除了具有等式兩側(cè)的涵義外,還表示開方式的各項按盈朒或和較所分成的兩類。若把開方式表示為f(x)-g(x)=0,則f(x)和g(x)也為“兩畔”。
焦循堅信天元相消不與直除同而與盈朒理同(6)關(guān)于盈朒與借根方的關(guān)系有很多論述,《借根方算法》認(rèn)為借根方算題“用疊借、互徵法可以類推”?!稊?shù)理精蘊(yùn)·疊借互徵》把盈朒比作疊借互徵?!督韪奖壤氛J(rèn)為借根方“大意與借衰、疊借略同”?!独锾脤W(xué)算記·阮元序》稱:“借衰即衰分之列衰,疊借即盈不足之假令?!?,理由是“方程之直除,可同減異加,亦可異減同加。惟盈不足則止可同減,不可異減;止可異加,不可同加,天元一之相消亦然”([14],下,頁28a)。關(guān)于直除,駱騰鳳(1770—1841)、安清翹(1759—1830)等算學(xué)家也有相同的認(rèn)識。這里討論的重點在加減,焦循有進(jìn)一步的論述,“方程兩色各備和較,故可以異加,亦可以同加,和較備則消息相通也。天元一本消之前,有和而較不備,其寄數(shù)、又?jǐn)?shù)兩列,不啻盈不足之有出率、有差數(shù),故止可異加,必不可同加,亦如盈不足之必用同減異加也”[15]。這就是說,和、較備與不備是方程、盈不足、天元三術(shù)的差異所在。和、較概念的使用顯然受到了梅文鼎(1633—1721)《方程論》的影響,其實就連所謂的“兩畔”及對盈不足和方程術(shù)的關(guān)注,也都與梅氏密切相關(guān)。
駱騰鳳聲明了他與李銳的差異:“李氏謂借根方出于天元一術(shù),其加減乘除之法并同,惟此相消法與借根方兩邊加減有異,不知借根方之異于天元一者,在正負(fù)多少之異,不在兩邊加減之異也?!?[16],卷一,頁36b)他所謂天元術(shù)的正、負(fù)并沒有實際意義,只是用來別同異、定加減的。借根方的多、少卻對應(yīng)著盈、朒,具有實際意義([16],卷一,頁38a—40a)。他還比較了兩者加減運算時的差異,“四平方多四根與二平方少三根相加”問中借根方需要解釋下式的實際含義:(4x2+4x)+(2x2-3x),即“則于多四根內(nèi)反減少三根,而多數(shù)大,仍為多,是為六平方多一根,蓋名為加而實減也”([16],卷一,頁39a)。這繼承自《借根方比例》。天元法則先變號后加減:4x2+4x+2x2-3x,即“則四正平方、四正元與二正平方、三負(fù)元相較,則同名相加,得六正平方;異名相減,得一正元矣”([16],卷一,頁39a)。由此,駱騰鳳認(rèn)為借根方窒礙,天元術(shù)直截了當(dāng)。事實上,這種難易程度的不同主要由直觀解釋與符號化的差異所致。吊詭的是,二者這方面特征在此互換了。這種先變號的方法,使得天元術(shù)只能“同加異減”。駱騰鳳對多、少的解釋受到了焦循的影響,《開方釋例》用天干表示大小數(shù)即來自《加減乘除釋》[17]。焦循用“兩畔”相等說明天元相消結(jié)果的做法,也被他采用了,如把“一立方多十三平方多三十根與二萬七千一百四十四尺等”說成“正隅一、正廉十三、正方三十與負(fù)積二萬七千一百四十四等”([16],卷一,頁38b)。
駱騰鳳在“方城圓城求徑法”中批評李銳:“惑于正負(fù)多少之說,而不知正負(fù)可以互用,遂以兩邊加減為誤,其為不知天元法也,一而已矣?!?[16],卷一,頁60b)此問為《測圓海鏡細(xì)草》卷三第十題,原文求出天元開方式后,館案用借根方等式把它翻譯了一遍,使得常數(shù)項或根方項的正負(fù)有變。李銳對其用借根方解釋天元術(shù)一事提出異議。李銳其實已明言天元開方式正負(fù)可以互換,駱騰鳳的批判是不合理的,這與他濫用“正負(fù)可以互用”原則有關(guān)。事實上,駱騰鳳念茲在茲的是,“正負(fù)者,加減之謂,非多少之謂也”([16],卷一,頁36a)。這里對正、負(fù)的看法是合理的,對多、少的看法有失偏頗,因為從《借根方算法》到《借根方比例》“多、少”一直都是“加減之謂”。造成這種誤解的原因當(dāng)然與焦循有一定的關(guān)系,但更主要的是:一,借根方用易與“大、小”相混的“多、少”來表示正負(fù)。二,《借根方比例》追求直觀解釋,“多、少”被賦予了實際意義。有趣的是,張文虎帶著更大的誤解把正負(fù)比作盈朒,并以此來批判駱騰鳳“異在正負(fù)不在兩邊加減”的說法[18]。
汪萊(1768—1813)一直堅持使用借根方,他認(rèn)為“夫天元一相消之后,其數(shù)已無,以其無數(shù)求其有數(shù),非初學(xué)所易會。借根方相等之后,其數(shù)相對,以其對數(shù)尋厥真數(shù),豈淺人所難解?”[19]這里的比較也集中在相消法與加減法的差異上。借根方加減之后等式兩側(cè)仍有“數(shù)”,天元相消則等式消失,開方式就不存在對應(yīng)的“數(shù)”了。
安清翹《學(xué)算存略》、張作楠(1772—1850)《翠微山房數(shù)學(xué)》也有相關(guān)討論,主要觀點不出以上所述。
總而言之,乾嘉時期中算家的關(guān)注點較為集中,即相消法與加減法、正負(fù)與多少。事實上,他們并未抓住借根方與天元術(shù)異同的關(guān)鍵所在,如都可歸為一元多次方程問題,如表達(dá)方式的區(qū)別,等等。究其原因:一,對相消法與加減法關(guān)注可以追溯到梅瑴成的《赤水遺珍》,對正負(fù)與多少的關(guān)注體現(xiàn)了符號化與直觀解釋取向的不同。二,算家無論對借根方還是對天元術(shù)都存在一定程度上的誤解。三,梅文鼎《方程論》扮演了重要的角色,李銳對直除只可用減的看法、焦循和較概念的使用都與之有關(guān),此二人的觀點又在當(dāng)時發(fā)揮著統(tǒng)領(lǐng)性的作用。
自從乾隆下詔開設(shè)《四庫全書》館,古代算學(xué)著作陸續(xù)被發(fā)現(xiàn)、整理與研究。天元術(shù)被再次理解,焦循在給李銳的信中,說出了他對當(dāng)時天元術(shù)和借根方的觀察:“竊謂天元一之法,晦之已久,而西人借根法,學(xué)習(xí)者亦少。兄更宜推而詳之,以彰明此絕學(xué),弟所深望也。”[20]
中算家曾一度把秦九韶的大衍術(shù)、李冶的天元術(shù)混為一談,認(rèn)為李冶的天元術(shù)來自秦九韶。錢大昕(1728—1804)《數(shù)學(xué)九章·跋》及焦循《天元一釋》都專門辨析了大衍術(shù)與天元術(shù)的異同,自此它們才被區(qū)分開來。焦循、李銳、張敦仁(1754—1834)、駱騰鳳還都對大衍術(shù)進(jìn)行了闡釋[21]。
“談天三友”是天元術(shù)復(fù)興的功臣,焦循多次談到他要使古學(xué)顯著于海內(nèi),李銳也說:“銳于算學(xué)未有深得,而篤好立天元術(shù),亟欲章而明之,則頗與里堂相似?!?[14],李銳序)焦廷琥(1782—1821)稱:“秦、李之學(xué)所以復(fù)明者,府君與汪、李兩先生證訂之力也。”[22]
乾嘉時期中算學(xué)家反復(fù)強(qiáng)調(diào)開方術(shù)的重要性。他們多是通過《數(shù)理精蘊(yùn)》才接觸到借根方的,該書說:“借根方比例法中,開各乘方為最要?!?[23],下編卷三十二,頁2)張作楠對借根方有所堅守,他的《量倉通法》重復(fù)了這種說法。阮元說:“少廣著開方之法,方程別正負(fù)之用,立天元一者融會少廣、方程而加精焉者也?!?[10],阮元序)這一說法在當(dāng)時產(chǎn)生了不小的影響,易之瀚《開方釋例》重述了這段話。羅士琳更是直接說:“不明正負(fù)開方者,不足與言天元?!盵24]汪萊與李銳還在方程論問題上取得了很大的成就。
梅文鼎《少廣拾遺》就是開方類的著作,自從乾嘉時期正負(fù)開方法被重新理解之后,中算家已經(jīng)認(rèn)識到了梅氏開方法的不足,對其多有微詞。焦循明確地說:“梅勿菴《少廣拾遺》發(fā)明諸乘方,于正負(fù)加減之際,厥而未備,故其廉隅繁瑣,步算既艱,亦且莫適于用?!盵25]由李銳《開方說·黎應(yīng)南跋》和易之瀚《開方釋例》可以看出,對中算家來說,正負(fù)開方法的優(yōu)勢主要體現(xiàn)在更具算理、更程式化兩方面,這是借根方開方法無法相比的。張作楠雖然贊揚借根方查表法“簡捷精妙,冠絕古今”[26],但影響有限。
四元術(shù)相較于借根方有一定的優(yōu)勢,如可以解決不超過四元的多次問題。朱世杰《四元玉鑒》發(fā)現(xiàn)較晚,《疇人傳》未提此書。嘉慶初年阮元在浙江訪得《四元玉鑒》之后,囑李銳校算,可惜李銳未完成就去世了。沈欽裴、羅士琳、徐有壬(1800—1860)、戴煦(1805—1860)也都研究過四元術(shù)。羅士琳《四元玉鑒細(xì)草》一書用了十多年的時間才完成,影響最大,雖然這樣,卻是沈欽裴的細(xì)草更符合朱世杰的本意[27]。
《九章算術(shù)》卷八為方程術(shù),其中,消法可加可減;正負(fù)用來別同異,無實際涵義;正負(fù)用法有序,沒有混亂的情況。此后,吳敬、程大位、李之藻、李篤培、李長茂、方中通等都傾向把正、負(fù)對應(yīng)于正數(shù)、欠數(shù),用焦循的話說就是,“元明以來,不知正負(fù)之旨。于是以空位立負(fù),往往推之不可以通”[28]。不過,他們還是堅持方程消法可加可減這一原則。
梅文鼎看到了正負(fù)使用的混亂狀況,他的《方程論》大有改舊弊的宏圖,通觀全書,他也確實做到了這一點,如其對正負(fù)的解釋:“立正負(fù)以別同異,猶彼我也?!?[29],卷一,頁15b)可是,在方程消法問題上,他卻堅持只能用減,不能用加,焦循、駱騰鳳、羅士琳都批評過這種看法(7)分別見:焦循《加減乘除釋》卷五,頁5b;駱騰鳳《藝游錄》卷二“方程正誤”;羅士琳《續(xù)疇人傳》“李銳論”。。梅文鼎的堅持與盈朒和陰陽觀念有一定的關(guān)系,他說:“同名相減,即如盈朒章兩盈、兩朒相減也,異名相并即如盈不足相并也,豈有同加異減之理乎?”([29],卷四,頁9b)又說:“同名相減者,陰陽之偏,不得其配也。異名相并者,陰陽得類,雌雄相食也。是皆有自然之理焉,可以思古人立法之原矣。”([29],卷一,頁17a)
1676年,李子金(1622—1701)完成了《算法通義》,該書雖用正數(shù)、欠數(shù)解釋正負(fù),但對方程消法可加可減的認(rèn)識及對正負(fù)的使用都是恰當(dāng)?shù)腫30]。杜知耕《數(shù)學(xué)鑰》(1681年)對方程的論述大體上出自此書。陳世明、屈曾發(fā)、屠文漪、吳蘭修都對方程術(shù)發(fā)表過意見,與他們相比,卻是戴震、李潢等校勘過《九章算術(shù)》的算家對方程術(shù)的理解更接近原意。
總而言之,天元術(shù)的發(fā)掘與整理是中算家態(tài)度轉(zhuǎn)變的前提。算家認(rèn)識到了大衍術(shù)和四元術(shù)的優(yōu)勢所在,這使他們更加堅信中算的價值,當(dāng)然也包括天元術(shù)的價值。正負(fù)開方法與天元術(shù)密切相關(guān),由第一節(jié)所引阮元語可知,它是天元術(shù)勝于借根方的關(guān)鍵之一。算家對借根方與天元術(shù)異同的比較與中算(如方程術(shù)、盈朒術(shù))乃至更大的文化傳統(tǒng)(如陰陽觀念)有關(guān)。
中西算家對借根方的詮釋是不同的,這可從觀念上的差異展開討論?!督韪剿惴ā分匾暯韪健霸O(shè)未知數(shù)”的特征,認(rèn)為借根方與平常算法的差別在于前者“全以借根察所求之?dāng)?shù)”[31],并用“相連比例數(shù)”(8)“相連比例數(shù)”對明安圖、董祐誠、項名達(dá)等算家用“連比例率”來研究冪級數(shù)展開式有一定的影響。解釋根方數(shù)的關(guān)系。書中雖有平方、立方、三乘方等術(shù)語,但它們與具體圖形無關(guān),只是用來描述數(shù)的類型。
1712年,法國耶穌會士傅圣澤(Jean-Francois Foucquet,1665—1741)為康熙寫作《阿爾熱巴拉新法》一文。該文認(rèn)為新舊法的差異在于“舊法所用之記號,乃數(shù)目字樣。新法所用之記號,乃可以通融之記號。如西洋即用二十二字母,在中華可以用天干、地支二十二字以代之”[32]。這無疑擴(kuò)大了符號的使用范圍,用天干表示未知數(shù),用地支表示已知數(shù),還用符號表示特定的對象。作者堅信“新法比舊法亦捷、亦簡、亦總括、亦通融”[32],“通融”即一般化,文中屢次提及。
然而,康熙否定了《阿爾熱巴拉新法》,學(xué)者就其原因做過很好的分析[33],此處提下我的淺見??滴跖u此書,“甲乘甲,乙乘乙,總無數(shù)目,即乘出來亦不知多少,看起來想是此人算法平平爾”(9)轉(zhuǎn)引自參考文獻(xiàn)[1].。這源于《阿爾熱巴拉新法》原書:“單用字作加減乘除之法即畢,總無數(shù)目可見,似為無用?!盵32]這里所說的新法沒能計算出具體數(shù)值,有一定道理。其實此書開頭就比較了算術(shù)法與新法的異同,算術(shù)式:12×12=144;新法式:(甲+乙)×(甲+乙)=甲甲+二甲乙+乙乙,甲、乙為滿足兩數(shù)和為12的任意正整數(shù)。可見算術(shù)法得到了具體數(shù)值,新法所求的只是解的結(jié)構(gòu),或者說是給出了運算程序,若想求出具體數(shù)值,還需再費一番功夫。傅圣澤無意于具體數(shù)值,運算至此就結(jié)束了。書中把系數(shù)全都用符號表示,其繁瑣程度可想而知。傅圣澤明白若不求出具體數(shù)值,新法恐會淪為“無用”,但他追求的是由符號而達(dá)于通融,并不留戀于此。相較之下,康熙更在乎具體數(shù)值,在他看來只有如此才算最終解決了問題。
不難看出,符號應(yīng)用范圍的擴(kuò)大是借根方發(fā)展的一個方向,晚清偉烈亞力對代數(shù)學(xué)發(fā)展歷程的回顧可作為旁證,“是時,惟未知數(shù)用字代,已知數(shù)皆用本數(shù)。至肥乙大始盡以字代,是為今代數(shù)術(shù)之始”[34]?!胺室掖蟆奔错f達(dá)(Franciscus Vieta,1540-1603)。韋達(dá)與前人的不同之處在于,他不僅用符號代替未知數(shù),還用符號代替已知數(shù),這就是偉烈亞力所謂“今代數(shù)”新之所在。
《借根方比例》則試圖給借根方以直觀解釋:“要之,所謂一立方者即一正方體,而多平方、多根、少平方、少根即變正方體而為長方體、扁方體或為磬折長方體、扁方體?!?[23],下編卷三十三,頁12)如此一來,脫離具體實意的天干符號就只好省略了。書中給出了帶縱平方法的十二種不同類型的等式,并構(gòu)造出了與之對應(yīng)的幾何圖形。
《借根方算法》直接給出加減乘除的運算法則,不做過多解釋。乘除法中用數(shù)值驗證的步驟,只是用來保證運算法則的正確性,并不負(fù)責(zé)解釋如此運算的原因?!督韪奖壤穭t試著說明各法的實際意義,還有用圖形解釋乘法的例子。由于無法直觀解釋根方加減的實際意義,《借根方比例》對之避而不談。
《借根方比例》認(rèn)為三乘方不可知,梅瑴成《赤水遺珍》“圓田截積”則把其描述為“帶一縱之長立方”,并畫出了具體的圖形([13],頁18b—20b)。其論證邏輯如下:因為x4=(x)·x3,若x的值為2,則x4=(x)·x3=2x3,此乃“兩立方相接”,這就是說,三乘方的形狀與x的值有關(guān)。帶縱三乘方,因為x4+nx3=(x+n)·x3(n為自然數(shù)),則x+n>x,所以縱“過于方根”。《同文算指》卷八“廣諸乘方法”(10)錢寶琮主編的《中國數(shù)學(xué)史》認(rèn)為《同文算指》開帶縱平方與開多乘方等“沒有超出我國古代數(shù)學(xué)的范圍”(1964年,第237頁)。嚴(yán)敦杰指出《同文算指通編》“十六乘通率”采Michael Stifel(1487—1511)的《整數(shù)算術(shù)》(Arithmetica Integera,1544)(李儼.《中算家的巴斯噶三角形研究》,《中算史論叢·第一集》,中國科學(xué)院出版,1954∶232)。潘亦寧在嚴(yán)敦杰的基礎(chǔ)上認(rèn)為,《同文算指》“廣諸乘方法”底本為也來自《整數(shù)算術(shù)》。(潘亦寧.中西數(shù)學(xué)的會通——以明清時期(1582—1722)的方程解法為例[D].北京:中國科學(xué)院自然科學(xué)史研究所博士學(xué)位論文.2006∶42—46)但潘文未討論多乘方圖形解釋法的來源,故此問題還需進(jìn)一步研究。與焦循《乘方釋例》《加減乘除釋》都有類似的看法。這種解釋有牽強(qiáng)的一面。
研讀乾嘉算學(xué)著作會發(fā)現(xiàn),即使像焦循一樣癡迷追求算理,即使正負(fù)開方法已被重新理解與研究,中算家還是對直觀解釋情有獨鐘。就算是支持借根方最有成就的算學(xué)家汪萊也是如此,如其《衡齋算學(xué)》對梅瑴成的批評,如他對“可知”與“不可知”的考察。
可見,西方士人看重借根方符號化與算理的特征,中算家受中算重視直觀解釋的傳統(tǒng)影響,更傾向用圖形與算法來詮釋借根方。這種差異導(dǎo)致中算家無法完全理解借根方。
自從借根方傳入中國之后,就遭遇了內(nèi)容的缺失、誤解、與天元術(shù)的比較或說是競爭、對其本意理解的偏差等等。在此基礎(chǔ)上,我們看到了乾嘉算學(xué)家對借根方與天元術(shù)看法轉(zhuǎn)變的復(fù)雜原因:一,天元術(shù)的再次被理解是前提條件。二,正負(fù)開方法、大衍術(shù)、四元術(shù)等與天元術(shù)密切相關(guān),它們的發(fā)掘與整理使得天元術(shù)隨之獲得了更多的認(rèn)可。以上兩條又與編纂《四庫全書》的社會背景密切相關(guān)。三,中算家對借根方和天元術(shù)異同的討論,集中在相消法與加減法、正負(fù)與多少兩個方面,未抓住問題的本質(zhì),這與中算及文化傳統(tǒng)有一定的關(guān)系。四,中算家未能完全掌握天元術(shù),這使得算理之外的因素更容易發(fā)生作用。五,借根方在傳播過程中內(nèi)容的缺失,導(dǎo)致它并非以全貌來與天元術(shù)比較。六、中算家對借根方的詮釋與西方士人有差異,使得中算家未能完全吸收借根方的精義。當(dāng)然還需加上學(xué)者已經(jīng)注意到的原因,如從現(xiàn)代數(shù)學(xué)角度來看天元術(shù)在某些方面具有一定的優(yōu)勢,如乾嘉學(xué)派的影響等等。顯而易見,社會背景、中算傳統(tǒng)、思想觀念等因素也都在這一轉(zhuǎn)變過程中發(fā)揮著重要的作用,因而不妨把我們討論的歷程看作是,西方殘缺的借根方遭遇到了中國的整個社會和文化。
致 謝本文承蒙業(yè)師韓琦研究員悉心指導(dǎo),特致謝忱!