第 3 章 《象數一原》內容分析(上)
本章先項名達的著作《象數一原》的前四卷。《象數一原》是項名達的代表 作,主要內容為項名達在割圓術、和三角函數冪級數展開式的研究。項名達生前 並未完成《象數一原》,於項名達死後,好友戴煦為之完成,後來徐有壬(1800~
1860,字君青,又字鈞卿,烏程人)囑託張南坪(張福僖)於蘇州刊刻,未及印行,
咸豐十年(1860)即遇太平軍攻占蘇州,書板被毀,底本後為張文虎(1808~1885,
字孟彪,又字嘯山,江蘇南匯周浦人)所得,收藏近二十年,張文虎晚年將項氏 遺書寄贈予華蘅芳(1833~1902,字若汀,江蘇金匱人),終於在光緒十四年(1888) 刊刻行世。1
項名達在《象數一原》所呈現的象、數對比的思路,是本書的一大特色。其 實,中國人關於象與數對應的觀念由來已久,例如:北宋新儒象數之學的根本思 想,正是「形由象生,象由數設」。也就是說雖然天下萬物都有形,但是數是最根 本的,有數而後有象,有象而後有形,從而數可以解釋宇宙與人事各種現象。這 裡的象數關係,雖然帶有一點命數論,但象與數的對應觀念,卻是深植人心。2
《象數一原》立論之初提到的「象」,指的是弦、矢及與之有關的一系列相似 等腰三角形,「數」指的是遞加數(賈憲三角形)。如《象數一原》卷一「整分起度 弦矢率論」,即是項名達先製造出一系列邊長帶有遞迴關係式的等腰三角形,再 由三角形的腰率係數對應到賈憲三角形,其思路是先有象而後有數。3但在卷二「
半分起度弦矢率論」,項名達卻是先有數再論象。他先由「遞加數以根求積法」製 造遞加圖,4再由遞加圖的數字創造出腰率係數與之對應的一系列相似的等腰三 角形。而卷二所指的「數」,已擴充到指數冪為
2
n的二項式定理係數表。5在卷三
「零分起度弦矢率論」,項名達先由卷二的圖形類推,得到卷三的圖形,再由圖形 創造出相應的遞加圖,其思路是先有象後有數。6由前三卷,可以了解項名達透
1參閱華蘅芳,〈象數一原跋〉,項名達,《象數一原》。
2洪萬生,〈十三世紀的中國數學中心〉,《從李約瑟出發-數學史、科學史文集》,頁 130。
3詳見本文 3.1「《象數一原》卷一:整分起度弦矢率論」,頁 73~92。
4由遞加數構成的圖形稱為遞加圖,即是賈憲三角形的推廣,是以「遞加數以根求積法」
作出。「遞加數以根求積法」是以賈憲三角形斜左第二行每個數稱為根,依此根求各層數 的方法。詳見本文,頁 84~86。
5詳見本文 3.2「《象數一原》卷二:半分起度弦矢率論」,頁 93~94。
6詳見本文 3.3「《象數一原》卷三:零分起度弦矢率論」,頁 108~132。
過象與數的對應,才創作了《象數一原》。「象」與「數」發展到最後,已不再是立 論之初的形勢。其所謂的「象」,相當於空間形式,「數」為數量關係。如他卷六所 說的:「象」不僅僅限於弦矢和八綫,耳聞、目見、身觸、意知者皆是象;而「數」
也擴充到廣義的二項式定理係數表,象數兩相成,而得其原,這就是項名達冠以 其著作《象數一原》的原因。《象數一原》為項名達去世前未完成之作品,卷四 只有六紙,卷六校勘未半,且圖解未立,所以該書卷七和卷四的部分內容以及卷 六的內容校補,係由其友人戴煦於 1857 年補寫完成。本章筆者打算說明《象數 一原》前四卷,這四卷最終會得到兩個公式,分別是「知本度通弦求他度通弦」
和「知本度矢求他度矢」,項名達認為這兩個公式是杜氏九術和董氏四術的立法之 原。此外,筆者也將介紹遞加圖的由來,與圖形上連比例遞歸模型的起源,其中 尤其以遞加數部分與同時期的汪萊有著密切的關係。關於《象數一原》後三卷合 併其它的著作,會留待第 4 章探討。
3.1《象數一原》卷一:整分起度弦矢率論
項名達可能在京盤桓時,即看過明安圖和董祐誠的著作,7對其割圓術除了 佩服外,另一方面也充滿疑惑。像董氏四術的「有通弦,求通弧加倍幾分之通弦」:
2 2 3 2 2 2 2 5 2 2 2 2 2 2 7
2 2 4 3 6
( 1 ) ( 1 )( 3 ) ( 1 )( 3 )( 5 ) 4 3! 4 5! 4 7! ...)
n
n n c n n n c n n n n c
c nc
r r r
「有通弦,求幾分通弧之一通弦」:
2 3 2 2 5 2 2 2 2 7
1 3 2 2 5 4 3 7 6
( 1 ) ( 1)(9 1) ( 1 )(9 1)(25 1)
4 3! 4 5! 4 7! ...)
n
c n c n n c n n n c
c n n r n r n r
上面公式 n 皆為奇數,但 n 為偶數的情況並沒有討論,而且董祐誠的倍分通弦c (nn 為奇數)和倍分矢rvers(n) (n 奇數、偶數皆可)冪級數展開式的係數,何以能和 三角堆(賈憲三角形)的數字對應?而 1
n
c 和r vers( ) n
卻無法與三角堆對應?針對 上述疑問,項名達苦思多年,終於在 1837 年離開苕南書院回到杭州途中獲得靈 感,而後用數個月時間著成圖說兩卷。他這些疑問得到圓滿的解決後,依此心 得寫下《象數一原》。該書前四卷得到了一個重要的結果:有理數的倍分弦率或 矢率,皆可由遞加圖一一對應,同時,得到兩個一般性的公式:「知本度通弦求 他度通弦」、「知本度矢求他度矢」。我們先來看《象數一原》的卷一。
7何紹庚,〈象數一原提要〉,收入郭書春主編《中國科學技術典籍通彙》數學卷,頁 5-472。
首先,項名達先說明他所謂的「象」:
象者何?兩等邊三角形,是此形為逐分之通弦、半徑相割而成,一縱一橫,
邊角交錯,而其式常等。若析分愈細,則角越小,初分底,密切於弧,逐分 腰皆通於弦矢,此天然之象所為。8
乙 甲
心 界
圖 3-1-1 接下來,項名達介紹他所謂的「數」:
數者何?遞加數,是此數生於一,遞加一得諸根,而一即根差,遞加根得平 積,而根即平積差,遞加平積得立積,而平積即立積差,如是以至無盡,諸 差亦無盡。9
圖 3-1-2
接下來,項名達先建構一個割圓連比例圖形。如下圖 3-1-3,將半圓弧長均 分為十八分,得到十八個點,自圓心至十八個點各作半徑,以界為起點,界甲為 一分弧,界坎為三分弧,界震為五分弧,……自界至一、三、五等奇分弧各作 通弦線,諸線相交成兩等邊三角形,如心界甲,心乙丙,挨次鱗列,漸小至
心午未。界甲乙,界丙丁,挨次鱗列,漸大至界辰午。以 界甲乙 為例,
乙界甲 對二分弧,故 乙界甲 界心甲,所以 心界甲界甲乙。又 界甲乙 和 心乙丙 同是等腰三角形,界乙甲=心乙丙 ,所以 界甲乙心乙丙 。同
8參考項名達,《象數一原》,頁 1。
9同上。
項名達所謂的象,即如右圖所示。取圓心為心,
r
心界 ,取界乙 甲界 ,則 心界甲~ 界甲乙 , 兩者皆為等腰三角形。若甲心界,則甲界 稱為圓心角 的通弦。又甲乙2 (1 cos )r ,此稱為 圓心角 的倍矢。
項名達所謂的數,即是巴斯卡 三角形,如右圖所示。斜左第一行 皆是 1,稱為根差。斜左第二行稱為 根,斜左第三行稱為平積,斜左第 四行稱為立積,依此類推。由上述 所言,項名達已掌握巴斯卡三角形 與垛積術的聯繫。
理,底下圖形可得十七個相似的等腰三角形,依序分別為 心界甲界甲乙
心乙丙 界丙丁 心丁戊 界戊己 心己庚 界庚辛 心辛壬
界壬癸 心癸子 界子丑 心丑寅 界寅卯 心卯辰 界辰午
心午未 。如下圖 3-1-3 所示:
震 土
金
木
火
水
亥
酉
申 未
午 辰
卯
丑
子 癸
壬 辛
庚 己
丁 戊
乙 丙 黑
白
赤
青
兌
坤
離
巽
艮
坎 乾 界 甲
心 黃
寅
圖 3-1-3
圖 3-1-3 中十七個相似的等腰三角形,我們依次排序,稱 心界甲為第一形,
界甲乙 為第二形,…… 心午未 為第十七形。若 n 為奇數,則稱第 n 形為心 角形,若 n 為偶數,則稱第 n 形為界角形。10而項名達此番的設計乃連比例的設 計,符合一個遞歸關係,同時我們在《數理精蘊》卷十六中,「圓俓求內容十邊 形之邊長」一題,11兩者建構的圖形十分近似,項名達的圖形建構的靈感很可能 來自《數理精蘊》。這許多相似的等腰三角形,其邊長可以形成連比例,若「以心
10心角形即是諸如心界甲或 心乙丙 這些等腰三角形,皆以心為三角形之頂點;界角 形像界甲乙或界丙丁這些等腰三角形,皆以界為三角形之頂點。
11參考《數理精蘊》下編卷十六,頁 12b-13a。
界甲為第一形,其腰即半徑,底即一分通弦,以界甲乙為第二形,其腰即一分通 弦,底即一分倍矢,此兩形相比例,為心界腰比界甲底,若界甲腰與甲乙底,是 界甲者,既為此底,復為彼腰,遂成連比例三率,故以半徑心界為一率,一分通 弦界甲為二率,一分倍矢甲乙為三率,三率既全,迺可求眾形之腰底各率」。12 文中的正矢為割圓八線之一,令界心甲 ,則正矢 r vers =r(1 cos ) , 倍矢 2 正矢2 (1 cos )r 。若界甲視為一分弧,所對的弦為界甲,稱為一分通 弦,甲申 r vers,稱為一分正矢,甲乙 甲申2 ,稱為一分倍矢。文中的一 率用現在代數符號1表示,二率用2表示,三率用3表示,……類推之。令第一 形心界甲腰心界1,第二形界甲乙腰界甲2= 第一形心界甲底,第二形
界甲乙底甲乙3,由相似的等腰三角形腰與底邊比的關係得
心界 界甲 界甲 甲乙
1 2
2 3
(意即 半徑 一分通弦
一分通弦 一分倍矢) 3 2 2
1
。
再由1、2、3,可創造出一個連比列: 1 2 3 4
2 3 4 5
...
,則由連比例關 係推得 1 2
1
n n
。這種把率用在割圓術的獨特方式,源自明安圖,而董祐誠也 繼承之,這是清代中算家處理割圓術特有的技巧。接著,項名達藉由圖 3-1-3,
從眾多等腰三角形間的關係發現:
以現得界角形底,減先得心角形腰,得次後心角形腰,乘除而得底;以現得 心角形底,加先得界角形腰,得次後界角形腰,乘除而得底。13
項名達所說的這些關係式已經是一般化的陳述,令第 n 形腰為Mn,底為Ln,可 由圖 3-1-3 發現:
3 1 2,
M M L M5 M3L4,M7 M5L6,類推之得 關係式一:Mn Mn2Ln1,其中 n 為奇數。
2 1,
M L M4M2L3, M6M4L5,類推之得 關係式二:Mn Mn2Ln1,其中 n 為偶數。
如此可化為一個遞迴數列,令第 n 形腰為Mn,底為 2
1
n n
L M
。底下項名達會 把長度用連比例的率來表達,比如一段長度化成a1 1 a2 2 a3 3 a4 4 ...表示,
12項名達,《象數一原》卷一,頁 3。
13項名達,《象數一原》卷一,頁 4~5。
像是等腰三角形腰的長度以此種方式表達,即稱為腰率,若是底的長度,在此稱 為底率。而我們眾三角形腰所形成之數列,可得到關係式三:
1 1, 2 2
M M ,
2 1
1 2
2 1
1
,
,
n n
n
n n
M M n
M
M M n
為奇數
為偶數
, n 1, 2,...,16。
接著文中再說:「凡應減者恆異名,應加者恆同名,故皆用加法,乘除恆降 一率。」14此揭示了由Mn與Mn1在求Mn2,當 n 為奇數時, 1 2
1
n n
M M
,兩
個相減其率的係數正好是一正一負;當 n 為偶數時, 1 2
1
n n
M M
,兩個相加其 率的係數數正好是同正或同負,故捨棄正負符號來看,其數是不斷的遞加上去,
然後項名達依上述遞迴關係,求出眾三角形腰和底,化為現在符號統整如下:
M1=1 L1=2 M2=2 L2=3 M3=1 3 L3=24 M4=22 4 L4=23 5 M5=1 335 L5=2 346 M6=32 446 L6=33 457 M7=1 6355 7 L7=2 6456 8 M8=42 10466 8 L8=43 10567 9 M9=1 103155 779 L9=2 104156 7810 M10=52 204216 8810 L10=53 205217 8911
…….
一直計算到M18。緊接著,項名達列出逐分通弦率,若我們以cn表示 n 分通弦(若 一分弧所對的圓心角 ,則 n 分通弦為圓心角n 所對的弦),再由圖 3-1-3 觀察 可得:
1 2
c M ,c3 M2M4,c5 M4 M6,……c17M16M18, 由此歸納得關係式四:cn Mn1Mn1, n 為奇數,n 3。 因此,所有的奇分通弦率皆可求出,統整如下:
一分通弦=2 三分通弦=32 4
14項名達,《象數一原》卷一,頁 5。
五分通弦=52 546 七分通弦=72 144768
九分通弦=92 3042769810
十一分通弦=112 554776448111012
十三分通弦=132 94182615686510131214
十五分通弦=152 140437864508275109012151416
十七分通弦=172 2044714611228935104421211914171618 然後,項名達列出逐分倍矢率,若以bn表示 n 分倍矢(若一分弧所對的圓心 角 ,則 n 分倍矢2(rvers n)),以X 表示第 n 形腰較,其中 n 是奇數。而所n 謂的腰較,指的是此等腰三角形腰的長度與半徑的差。由圖 3-1-3 可以看出:
1 3
b X ,b2 X3X5,b3 X5X7,…,b8 X15X17,歸納出關係式五:
2 1 2 1
n n n
b X X (rM2n1) ( rM2n1)。由此可計算出各 n 分倍矢,如下所示:
一分倍矢= 3 二分倍矢=435 三分倍矢=93657
四分倍矢=16320587 9
五分倍矢=25350535710911
六分倍矢=36310551127 549121113
七分倍矢=49319652967 21097711141315
八分倍矢=6433365672766093521110413161517 接著,項名達把其腰較及腰其率的係數形成遞加圖,他覺得:
按此弦矢諸率,雖多寡錯出,要之一皆遞加數耳。弦率由界角形兩腰相加而 得,矢率由心角形兩腰較相加而得,腰底率雖備用乘除加減,而乘除祇降一 率,原數不動,應減者皆屬異名,相加約其所用,無非加法,且腰底每遞相 生,取第一形底加第三形底,得第四形腰,又加第五形底得第六形腰,又加 第七形底得第八形腰,是界角形腰生於心角形底,取第二形底加第四形底得 第五形腰較,又加第六形底得第七形腰較,又加第八形底得第九形腰較,是 心角形腰又生於界角形底,而其加底得腰也;迺重叠相加實與遞加數等。今 就遞加數以明腰底之遞生諸率,隨之而衍,絕不待安排造作而自然羅列燦陳 腰底諸率,明弦矢率不煩言而解矣。15
15項名達,《象數一原》卷一,頁 8~9。
由此可知,項名達了解到一個遞迴關係。若我們令第 n 形腰為Mn,底為Ln,Xn 表示第 n 形腰較,搭配圖 3-1-3 可了解其遞迴關係,化為現代符號表示:
2 1
M L ,將這式子配合關係式二:Mn Mn2Ln1,n 代 4 求M ,即可得4
4 2 3 1 3
M M L L L ,將此式配合關係式二:Mn Mn2Ln1代入M ,得 6
6 4 5 1 3 5
M M L L L L ,將此式配合關係式二:Mn Mn2Ln1代入M 得8
8 6 7 1 3 5 7
M M L L L L L,…歸納得關係式六:M2n L1L3...L2n1, 故項名達才推論界角形腰生於心角形底。
上文論及腰較,以圖 3-1-3 來看,可知腰較與底的關係。化為現代符號表示:
3 2
X L
甲乙 ,
丁乾 丙乾 丁丙 X5 X3L4,
己坎 戊坎 己戊 X7 X5L6,……類推之,可得 關係式七:Xn2 XnLn1,其中 n 為奇數。
將X3L2,配合關係式七:Xn2 XnLn1代入X ,可得5
5 3 4 2 4
X X L L L ,
上面式子配合關係式七:Xn2 XnLn1再代入X ,可得7
7 5 6 2 4 6
X X L L L L ,
上面式子配合關係式七:Xn2 XnLn1再代入X ,可得9
9 7 8 2 4 6 8
X X L L L L L ,……
歸納得關係式八:X2n1 L2L4...L2n, 故項名達歸納出心角形腰又生於界角形底。
由這些遞迴關係,項名達發現到這與古代的「三角堆」有相當的聯繫,他所謂 的「三角堆」,即是「巴斯卡三角形」。16古代「巴斯卡三角形」都緊跟著開方法,《永 樂大典》本楊輝《詳解九張算法》(1261 年)有「開方作法本源圖」,17楊輝指明它
「出《釋鎖》算書,賈憲用此術」,此圖即為「巴斯卡三角形」,但只到五乘方。18
16「巴斯卡三角形」即是「賈憲三角形」,董祐誠《割圜連比例術圖解》卷中之「弦矢連比例 諸率成遞加數圖」與之「弦矢連比例諸率成三角堆圖」,即本諸「巴斯卡三角形」。項名達
《象數一原》卷一之「遞加圖」,即「巴斯卡三角形」。參考李儼〈中算家的「巴斯噶三角 形」研究〉,收入杜石然主編《李儼、錢寶琮科學史全集》第六卷,頁 228。或參考李迪,
《中國數學通史》明清卷,頁 375~378。
17「開方作法本源圖」可見本文附錄 7,頁 308。
18李儼,〈中算家的「巴斯噶三角形」研究〉,《李儼、錢寶琮科學史全集》第六卷,頁 219。
之後元朝數學家朱世傑(1303 年)將它推廣到七乘方,提出「古法七乘方圖」,19除 了用在開方外,還可能把它應用在垛積問題(即高階等差級數求和問題)上。而明 代吳敬(1450 年),周述學(1558 年)及程大位(1593 年)也收錄五乘方圖,乃至清初 梅文鼎(1692 年)的十二乘方圖,其外觀皆等同於「巴斯卡三角形」。20項名達再把
「三角堆」圖形略作變化,比起朱世傑的「古法七乘方圖」,每一列都多了幾條橫 線,項名達又補上一些特別的斜線(底下粗黑線段),並做到十一乘方(12 次方)。
由這種三角堆擴展出來的圖形,項名達稱為遞加圖。下圖即是他所謂的遞加圖:
圖 3-1-4
項名達發覺第一形腰到第十七形腰的腰率係數與遞加圖之關係。為了更容易 理解,筆者將上圖附上文字與符號形成右下圖 3-1-5,搭配圖 3-1-5,以平行於粗 黑的線段觀察各個三角形的腰率係數。
圖 3-1-5
19「古法七乘方圖」可見本文附錄 8,頁 309。
20參考洪萬生,〈中西「巴斯卡三角」的比較研究:1000~1700〉。 斜右第一行代表第一形腰
M1=1。 斜右第二行代表第二形腰
M2=2。
斜右第三行代表第三形腰 M3=1 3。
斜右第四行代表第四形腰 M4=22 4。
斜右第五行代表第五形腰M5=1 335。 斜右第六行代表第六形腰M6=32 446。 斜右第七行代表第七形腰M7=1 6355 7。 斜右第八行代表第八形腰M8=42 10466 8。 斜右第九行代表第九形腰M9=1 103155 779。 斜右第十行代表第十形腰M10=52 204216 8810。 第十一形腰以下繼續將遞加圖延伸下去,依相同方法類推。
項名達發現,若第 n 形的腰率係數姑且不討論正負,其係數正好和上圖數字 相符。接著,項名達論述第 n 形的腰率係數與遞加圖的對應關係:
腰率應遞加數,何也?曰:如一率即第一形腰,以下眾心角形腰,其一率亦 皆一,乘除得底,降為二率,即其底內二率亦皆一,如根差之數,皆為一也。
21
意即:從圖 3-1-5 可以看出根差一層數皆為 1,正好對應心角形腰率M2n1之 係1 數皆為 1。由 2
1
n n
L M
可知心角形底率L2n1之 係數也皆為 1。接著論道: 2 二率起於第一形底,如上,論心角形各底內二率,既皆為一,若取第一形以 下各底,遞加成界角形腰,則二率必隨之遞加,一加一得二,二加一得三,
三加一得四,是為界角第二形下各腰內二率,乘除得底,降為三率,即其底 內三率,亦為一、二、三、四等,如根之一、二、三、四等數,由遞加根差 而得也。22
意即:因為每個心角形底率L2n1之 係數皆為 1,所以,可由關係式六2
2n 1 3 ... 2n 1
M L L L 得底下式子之 係數: 2
2 1
M L ,所以腰率M2之 係數為 1,由2 2
1
n n
L M
可知L 之2 係數為 1。 3
4 1 3
M L L ,所以腰率M4之 係數為 1+1=2,由2 2
1
n n
L M
可知L 之4 係 3 數為 2。
6 1 3 5
M L L L,所以腰率M6之 係數為 2+1=3,由2 2
1
n n
L M
可知L 之6 3 係數為 3。
21項名達,《象數一原》卷一,頁 12。
22項名達,《象數一原》卷一,頁 12~13。
8 1 3 5 7
M L L L L,所以腰率M8之 係數為 3+1=4,由2 2
1
n n
L M
可知L 8 之 係數為 4。……類推之。 3
可由關係式六:M2n L1L3...L2n1得M2n之 係數為2
1
1
n
k
n
,和L 之2n 係3 數為
1
1
n
k
n
。
接著又論:
三率起於第二形底,如上,論界角形各底內三率,既為一、二、三、四等數,
若取各底遞加成心角形各腰,則三率必轉而相加,一加二得三,三加三得六,
六加四得十,是為心角第三形下各腰內三率,乘除得底,降為四率,即其底 內四率亦為一、三、六、十,如平積之一、三、六、十等數,由遞加根而得 也。23
意即:由關係式八:X2n1 L2L4...L2n,得rM2n1L2L4...L2n
1 M2n1 L2 L4 ... L2n
,所以若不論係數的正負而言,M2n1之 係數為3
2 4 ... 2n
L L L 之 係數。如: 3
M 之3 係數為3 L 之2 係數,故3 M 之3 係數為 1,3 L 之3 係數為 1。 4 M 之5 係數為3 L2L4之 係數,故3 M 之5 係數為 1+2=3,3 L 之5 係數為 3。 4 M 之7 係數為3 L2L4L6之 係數,故3 M 之7 係數為 3+3=6,3 L 之7 係4 數為 6。
M 之9 係數為3 L2L4L6L8之 係數,故3 M 之9 係數為 6+4=10,3 L 之9 4 係數為 10。
歸納得底下兩個關係式:
2n 1
M 之 係數3 1 2 3 ... n 。 又 2 1 2 1 2
1
n n
L M
,所以L2n1之 係數4 1 2 3 ... n 。 接著又論:
23項名達,《象數一原》卷一,頁 13。
四率起於第三形底,如上,論心角形各底內四率,既為一、三、六、十等數,
若取各底遞加成界角形各腰,則四率必隨之遞加,一加三得四,四加六得十,
十加十得二十,是為界角第四形下各腰內四率,乘除得底,降為五率,即其 底內五率,亦為一、四、十、二十,如立積之一、四、十、二十等數,由遞 加平積而得也;五率以下可推,此腰底率,所以即遞加數也。24
意即:由關係式六:M2n L1L3...L2n1得底下式子之 係數: 4
4 1 3
M L L ,所以腰率M4之 係數為 1,由4 2
1
n n
L M
可知L 之4 係數為5 1。
6 1 3 5
M L L L,所以腰率M6之 係數為 1+3=4,由4 2
1
n n
L M
可知L 之6 5 係數為 4。
8 1 3 5 7
M L L L L,所以腰率M8之 係數為 4+6=10,由4 2
1
n n
L M
可知L 8 之 係數為 10。 5
10 1 3 5 7 9
M L L L L L ,所以腰率M10之 係數為 10+10=20,由4
2 1
n n
L M
可知L 之10 係數為 20。……5 以下的係數類推之。 5
項名達解釋第 n 形的腰率係數與遞加圖的對應關係,其遞加圖斜右第 n 行之 數字,正好代表第 n 形之腰率係數。綜觀項名達的論述,無異是以關係式三對照 遞加圖。
關係式三:M11,M2 2,
2 1
1 2
2 1
1
,
,
n n
n
n n
M M n
M
M M n
為奇數
為偶數
由此看出,項名達卷一所討論的遞加圖,稍稍與董祐誠不同,25項名達更進 一步將遞加圖轉變成第 n 形之腰率係數的遞迴關係。不妨從圖 3-1-5 觀之,三 角堆粗黑色斜線畫過的數字,正好是腰率旁邊的係數(捨棄正負號),所以,項名 達由他所設計的遞歸圖形,完成了象與數的對應。接下來他在把遞加圖左線第一
24項名達,《象數一原》卷一,頁 13。
25董祐誠遞加圖顯示兩個遞迴關係:
(1) cn 2Mn1 fn,也就是cn 2Mn1(2Ln),n 3,且n為奇數。
(2) 2dn 2Mn1Ln,n 4,且n為偶數。
行去除掉,再旋轉90,變形底下另一種遞加圖,圖如下:
圖 3-1-6
圖 3-1-6 的第二行、第四行、第六行等,不再表示第三形、第五形、第七形 等心角形之腰率係數,反而代表的是各心角形之腰較率係數。這是因為第 n 形( n 為奇數)之腰較Xn (rMn)1Mn,所以去除遞加圖(圖 3-1-4)斜左第一行,
就類似取M 與n 相減,所以圖 3-1-6 才會表示出各心角形之腰較率係數1 。
完成了象與數的對應之後,項名達就可以利用三角堆的公式,由數來論象。
他的「論遞加數以根求積法」,即是汪萊的三角堆公式:26
「論遞加數以根求積法」
遞加數各積由諸根遞加而得,故求積之乘除皆用根一層數,遞以根層相連兩 數相乘,二除之,得平積一層數,遞以相連三數相乘,二除、三除之得立積 一層數,遞以相連四數相乘,二除、三除、四除之,得三乘積一層數,如是 依次遞乘遞除得多乘各積數。27
26三角堆公式,即是指汪萊《衡齋算學》三角堆求積通法,參考本文,頁 54。
27項名達,《象數一原》卷一,頁 14~15。