李善蘭組合思想研究

張必勝

(遵義醫(yī)學院醫(yī)學信息工程系，貴州遵義　563000)

李善蘭組合思想研究

張必勝*

(遵義醫(yī)學院醫(yī)學信息工程系，貴州遵義563000)

基于李善蘭傳統(tǒng)數(shù)學著作中關于組合問題歷史文獻的研究，得出李善蘭組合恒等式與西方數(shù)學是保持一致的。李善蘭在其著作《垛積比類》得到了一些組合求和的數(shù)學表達式。

李善蘭；垛積；組合恒等式；求和

李善蘭(1811—1882)是我國清末杰出的數(shù)學家和數(shù)學教育家，其主要關于中國傳統(tǒng)數(shù)學成果收集在著作《則古惜齋算學》中，這本集大成的著作中主要是整合了李善蘭的《弧矢啟秘》、《萬圓闡幽》及《對數(shù)探源》等24卷，13種，這些傳統(tǒng)數(shù)學理論著述包括了素數(shù)理論，分析理論，組合數(shù)學等等，而其中特別是李善蘭對組合數(shù)學理論進行了深入的研究和發(fā)展。

1　傳統(tǒng)組合思想

14世紀以前，我國傳統(tǒng)數(shù)學處于世界領先地位，但從此就開始落后于西方近代數(shù)學。并且隨著西方數(shù)學的進入，傳統(tǒng)的中算理論開始漸漸地被理論化的符號數(shù)學代替。這一時期也出現(xiàn)了一些數(shù)學家在堅持傳統(tǒng)數(shù)學的同時也吸收了西方近代數(shù)學。在這樣的情況下也得到了一些成果，或者是獨立得到，或者是在西方數(shù)學的啟發(fā)下得到的一些代表性成果[1]。李善蘭在《垛積比類》(1867)中以“比類”、“數(shù)形結合”、“垛積”、“組合三角”等傳統(tǒng)數(shù)學方法，在該著作中提出了相關的求和公式。

求和思想在我國傳統(tǒng)數(shù)學中可以追溯到很早的歷史，春秋戰(zhàn)國時期極限求和思想的論述?！耙怀咧?，日取其半，萬世不竭”，實際上，這一論述就是對求和的粗糙描述，而且是一種極限求和的思想[2]。到了劉徽(225—295)和祖沖之(429—500)時代，極限求和思想得到了深入的發(fā)展和研究[3]。

公元前1世紀的《周髀算經(jīng)》以及經(jīng)典巨著《九章算術》中均有關于一般等差級數(shù)求和的問題，實際上就是關于級數(shù)求和:

這實際上是很簡單的等差級數(shù)求和問題。公元5世紀的《張丘建算經(jīng)》中下卷36問給出了自然數(shù)級數(shù)求和:

到了13世紀，數(shù)學家楊輝以體積“比類垛積”的思想，發(fā)展了傳統(tǒng)的“垛積術”，楊輝在其著作《詳解九章算法》中，關于一般的自然數(shù)冪和問題進行了具體的解釋[4]。他把這各項之間的求和關系看成一種類似垛的比擬。將上式自然數(shù)求和關系看成垛，然后求和，再補充，最后得到了求和的垛積公式。

圖1　求和

從圖1可以看出，S＝1+2+3+…+n，將其補充成為一個方形，補充的部分為S-n，而方形為n2，即有S+S-n＝n2，故有:

楊輝關于冪和12+22+32+…+n2時，將方錐比類果垛，十分形象地轉化了問題，并且給出了冪和公式:

朱世杰(1249—1314)在楊輝的基礎上，把“垛積術”提高到一個空前的水平，他不僅掌握了一般三角垛的求和公式，還掌握了四角垛:

此公式同楊輝的冪和公式，四角垛又稱為“一乘方垛”，類似的還得出了“二乘方垛”:

2　李善蘭組合思想

在傳統(tǒng)數(shù)學中關于組合求和已經(jīng)有了一定的理論基礎和相關的成果，而李善蘭是中國古代“垛積求和”的集大成者，他利用垛積術徹底地解決了自然數(shù)冪和的相關問題[5]。李善蘭關于組合數(shù)學著作《垛積比類》共四卷，除“三角垛”公式外，其中給出了六類垛積求和公式。其中的“三角垛”公式為:

該公式是垛積術的基礎公式，其余給出的公式都是以該公式為理論基礎?！抖夥e比類》全書四卷，每一卷給出了一個垛積體系:

卷二:乘方垛nm，其各支垛記為

關于《垛積比類》中有一些圖(圖2)，并且在圖的后面有解，除了第六和十兩表造表法所給出的定義域其解相同，其他十一類所給定義都是把其中的垛分為若干種垛進行求解。比如三角垛:

圖2　三角垛

將這十一類垛解所給出的四十五則具體垛的定義分別歸納課得四個通項公式:

在《垛積比類》前三卷關于支垛系統(tǒng)中，按照李善蘭的方法必然可以得到:卷一中的當 p＝m時，即為三角變垛:

如果把n改成n+1，即得著名的“李善蘭恒等式”:

李善蘭給出的恒等式是“三角自乘垛”的中心，關于“李善蘭恒等式”的研究，數(shù)學史學者也進行了相關歷史研究[6]。李善蘭在《垛積比類》中沒有詳細證明公式來源，但是，從李善蘭研究三角垛表和三角自乘支垛各表的數(shù)字規(guī)律，其制造了非常嚴格的“造表法”。

3　國外組合思想

公元前6世紀，古希臘數(shù)學家畢達哥拉斯(Pythagoras，約公元前580—約前500)在討論行數(shù)的時候給出了自然數(shù)和的公式，而且還給出了平方數(shù)和的公式。公元前3世紀，阿基米德(Archimedes，公元前287—前212)和公元前1世紀的尼可馬克分別得出了平方數(shù)和立方數(shù)求和公式。15世紀數(shù)學家阿爾卡西(Al-kashi，1380—1429)提出了4次方求和公式；17世紀日本合算家關孝和(1642—1708)給出了從1到11的自然數(shù)冪和公式，這里指出的是關孝和所使用的方法與我國傳統(tǒng)數(shù)學中的垛積術完全一樣。

17世紀末數(shù)學家雅克比·伯努利(Jacob Bernoulli，1654—1705)給出了無窮冪級數(shù)求和公式:

4　中外組合比較

從我國傳統(tǒng)數(shù)學中極限思想的發(fā)展史來看，求和思想有著悠久的歷史。李善蘭在《垛積比類》卷一中提到了郭守敬(1231—1316)、朱世杰(1249—1314)、汪萊(1763—1813)和董祐誠(1791—1823)等相關數(shù)學家在垛積術上的成就，并且參考了他們的論著。從《垛積比類》中可以看出，李善蘭運用了天元術等傳統(tǒng)數(shù)學理論。從西方組合理論的發(fā)展歷史可以看出，西方組合求和方面，特別是日本數(shù)學家關孝和的求和思想與我國傳統(tǒng)數(shù)學中的組合求和有著相同的地方。雅克比·伯努利給出了一般的求和公式:對于任意關于x的實函數(shù)f(x)，有下列公式:

雅克比·伯努利求和公式好處在于，如果一個函數(shù)f(x)是一個m次的多項式，那么對于任意的x，都有Δm+1f(x)＝0，所以，不論n是多大，以上的求和公式包含了m+1個項，計算方便。根據(jù)求和公式，有李善蘭利用垛積術徹底解決了自然數(shù)冪和問題，李善蘭的各類垛積數(shù)表不僅是從觀察歸納的基礎上發(fā)展起來的，還有一定的組合意義，并且創(chuàng)立了相關的乘方垛各廉表(圖3)。

圖3　廉表

在關于冪和問題，從宋元時期就有了一定的理論基礎，朱世杰的四角垛公式(1303):

數(shù)學家楊輝也有該結論，這一結論還可以追溯到沈括(1031—1095)的研究。到了清代的陳世仁(1676—1722)使一、二、三次冪和公式更系統(tǒng)化了，但是沒有向高次發(fā)展。李善蘭通過用組合級數(shù)和歐拉數(shù)解決了這一問題。由于組合數(shù)學的發(fā)展，這一問題吸引了一些數(shù)學家的興趣，其中 J. Riordan[7]，J.L.Paul[8]，B.Turner[9]等人都有相關研究。

5　結語

從組合思想的中外發(fā)展史可以看出李善蘭是在傳統(tǒng)組合數(shù)學思想的基礎上獨立地得出了李善蘭組合理論的相關結論。組合理論在西方經(jīng)過數(shù)學家們的不斷發(fā)展和完善。我國傳統(tǒng)數(shù)學中較早的組合思想到朱世杰、汪萊等人運用組合解決了一些幾何和代數(shù)的相關問題，從這個層面上來說，組合理論也是相對成熟。到了李善蘭的時代，傳統(tǒng)數(shù)學經(jīng)由宋元時期的數(shù)學家發(fā)展高峰后，傳統(tǒng)組合思想還是停留在以往的數(shù)學表現(xiàn)形式上。李善蘭是繼承了傳統(tǒng)組合思想加上他對其深刻理解。在傳統(tǒng)思想的基礎上得到了相當于組合中一些基本公式的表達式，如“李善蘭恒等式”等。說明其對組合思想的進一步理解和運用。

[1]張必勝.李善蘭微積分思想研究[J].貴州大學學報(自然科學版)，2013，30(6):1-5.

[2]張必勝.李善蘭與偉烈亞力合譯《代數(shù)學》的主要內容研究[J].西北大學學報(自然科學版)，2013，43(6):1021-1026.

[3]張必勝.李善蘭極限思想研究[J].貴州大學學報(自然科學版)，2015，32(3):7-9，13.

[4]李兆華.李善蘭垛積術與尖錐術略論[J].西北大學學報(自然科學版)，1986，16(4):109-125.

[5]錢寶琮.中國數(shù)學史[M].北京:科學出版社，1964:68.

[6]羅見今.李善蘭恒等式的導出[J].內蒙古師范學院學報(自然科學版)，1982，10(2):89-105.

[7]Riordan，J.Cominatorial identities[M].New York:R.E.Krieger Pub，1968:160.

[8]Paul，J.L.On the sum of the kth powers of the first n integers[J]. Amer.Math.Monthly.1971，78:271-272.

[9]Turner，B.Sums of powers of integers via the binomial theorem[J]. Math.Magazine，1980，52(2):92-96.

(責任編輯:曾晶)

Research on Li Shanlan's Combinatorial Thought

ZHANG Bisheng*
(Department of Medical Information Engineering，Zunyi Medical University，Zunyi 563000，China)

This paper reviews Li Shanlan traditional mathematics works on combinatorial problems of historical documents，obtained Li Shanlan combinatorial identities and Western mathematics is consistent.Li Shanlan in his book"DuoJiBiLei"got some mathematical expressions combination summation.

Li Shanlan；DuoJi；combinatorial identities；summation

O11

A

1000-5269(2016)01-0005-04DOI:10.15958/j.cnki.gdxbzrb.2016.01.02

2015-12-24

貴州省哲學社會科學規(guī)劃課題(14GZQN26)

張必勝(1980-)，男，副教授，理學博士，研究方向:數(shù)學史，Email:snxzbs＠163.com.

張必勝，Email:snxzbs＠163.com.