海島算經(jīng)
重差理論的歷史
重差理論起源于《周髀算經(jīng)》的《日高圖》“以表高乘兩表相去為黃甲之實(shí)。以影差為黃乙之廣而一,所得則變?yōu)辄S乙之袤,上與日齊?!?
劉徽在《九章算術(shù)·序》中,進(jìn)一步發(fā)展了重差術(shù):“凡望極高、測絕深,而兼知其遠(yuǎn)者必用重差、句股,則必以重差為率,故曰 重差 也。立兩表于洛陽之城,令高八尺。南北各盡平地,同日度其正中之時,以景差為法,表高乘表間為實(shí),實(shí)如法而一。所得加表高,即日去地也。以南表之景乘表間為實(shí),實(shí)如法而一,即為從南表至南戴日下也。以南戴日下及日去地為句、股,為之求弦,即日去人也?!?
內(nèi)容
《海島算經(jīng)》共九問。都是用表尺重復(fù)從不同位置測望,取測量所得的差數(shù),進(jìn)行計算從而求得山高或谷深,這就是劉徽的重差理論?!逗u算經(jīng)》中,從題目文字可知所有計算都是用籌算進(jìn)行的?!盀閷?shí)”指作為一個分?jǐn)?shù)的分子,“為法”指作為分?jǐn)?shù)的分母。所用的長度單位有里、丈、步、尺、寸;1里=180丈=1800尺;1丈=10尺:1步=6尺,1尺=10寸。
望海島
今有望海島,立兩表,齊高三丈,前后相去千步,令后表與前表三相直。從前表卻行一百二十三步,人目著地取望島峰,與表末三合。從后表卻行一百二十七步,人目著地取望島峰,亦與表末三合。問島高及去表各幾何? 答曰:島高四里五十五步;去表一百二里一百五十步。 術(shù)曰:以表高乘表間為實(shí);相多為法,除之。所得加表高,即得島高。求前表去島遠(yuǎn)近者:以前表卻行乘表間為實(shí);相多為法。除之,得島去表里數(shù)。
望海島二次測量示意圖
由于前表去島的距離不能直接測量,劉徽用同樣高度的表?xiàng)U前后測量,表?xiàng)U與地面垂直,人眼貼地,望表?xiàng)U頂和島上山頂對齊,這時測得人眼和前表?xiàng)U的水平距離叫“前表卻行”DG=123步;再將表?xiàng)U往后移動,兩表?xiàng)U間距稱為“表間”=1000步,依法測出“后表卻行”FH=127步。
依法得島高 AB= C D × × --> D F F H ? ? --> D G + C D {\displaystyle {\tfrac {CD\times DF}{FH-DG}}+CD}
依法得前表去島遠(yuǎn)近 BD= D G × × --> D F F H ? ? --> D G {\displaystyle {\tfrac {DG\times DF}{FH-DG}}}
松生山上三次測量示意圖
望松生山上
今有望松生山上,不知高下。立兩表齊,高二丈,前后相去五十步,令后表與前表三相直。從前表卻行七步四尺,薄地遙望松末,與表端三合。又望松本,入表二尺八寸。復(fù)從后表卻行八步五尺,薄地遙望松末,亦與表端三合。問松高及山去表各幾何? 答曰:松高一十二丈二尺八寸;山去表一里二十八步、七分步之四。術(shù)曰:以入表乘表間為實(shí)。相多為法,除之。加入表,即得松高。求表去山遠(yuǎn)近者:置表間,以前表卻行乘之為實(shí)。相多為法,除之,得山去表。
CD EF 表示前后兩支表?xiàng)U,前表?xiàng)U有刻度,用作兩次測量,第一次從G點(diǎn)瞄準(zhǔn)A、C兩點(diǎn)成直線,第二次從G點(diǎn)校準(zhǔn)樹根J,讀出前表?xiàng)U上度數(shù)(入表)。
松高=AJ= C K × × --> D F ( F H ? ? --> D G ) + C K {\displaystyle {\tfrac {CK\times DF}{(FH-DG)}}+CK}
前表去山遠(yuǎn)近=BD= D F × × --> D G ( F H ? ? --> D G ) {\displaystyle {\tfrac {DF\times DG}{(FH-DG)}}}
《海島算經(jīng)》今有南望方邑示意圖
南望方邑
今有南望方邑,不知大小。立兩表東、西去六丈,齊人目,以索連之。令東表與邑東南隅及東北隅三相直。當(dāng)東表之北卻行五步,遙望邑西北隅,入索東端二丈二尺六寸半。又卻北行去表一十三步二尺,遙望邑西北隅,適與西表相三合。問邑方及邑去表各幾何? 答曰:邑方三里四十三步、四分步之三;邑去表四里四十五步。 術(shù)曰:以入索乘后去表,以兩表相去除之,所得為景差;以前去表減之,不盡以為法。置后去表,以前去表減之,余以乘入索為實(shí)。實(shí)如法而一,得邑方。求去表遠(yuǎn)近者:置后去表,以景差減之,余以乘前去表為實(shí)。實(shí)如法而一,得邑去表。
由于待測的方城寬度AB,在東西方向,與地面平行,因此兩支在C點(diǎn)D點(diǎn)插入地面與地面垂直的表?xiàng)U,在此不用作直接測量,測量是依靠一根拴在C、D兩根垂直表?xiàng)U中間的一條水平測量繩索CD完成的。此題中一根水平測量繩作兩次測量用。
望深谷
今有望深谷,偃矩岸上,令勾高六尺。從勾端望谷底,入下股九尺一寸。又設(shè)重矩于上,其矩間相去三丈。更從勾端望谷底,入上股八尺五寸。問谷深幾何?答曰:四十一丈九尺。術(shù)曰:置矩間,以上股乘之,為實(shí)。上、下股相減,余為法,除之。所得以勾高減之,即得谷深。
登山望樓
今有登山望樓,樓在平地。偃矩山上,令句高六尺。從句端斜望樓足,入下股一丈二尺。又設(shè)重矩于上,令其間相去三丈。更從句端斜望樓足,入上股一丈一尺四寸。又立小表于入股之會,復(fù)從句端斜望樓岑端,入小表八寸。問樓高幾何? 答曰:八丈。 術(shù)曰:上下股相減,余為法;置矩閑,以下股乘之,如句高而一。所得,以入小表乘之,為實(shí)。實(shí)如法而一,即是樓高。 樓高=(距間 * 下股)* (入小表)/句高/(下股-上股)。
《海島算經(jīng)》東南望波口示意圖
南望波口
今有東南望波口,立兩表南、北相去九丈,以索薄地連之。當(dāng)北表之西卻行去表六丈,薄地遙望波口南岸,入索北端四丈二寸。以望北岸,入前所望表里一丈二尺。又卻后行1去表一十三丈五尺。薄地遙望波口南岸,與南表三合。問波口廣幾何?答曰:一里二百步。 術(shù)曰:以后去表乘入索,如表相去而一。所得,以前去表減之,余以為法;復(fù)以前去表減后去表,余以乘入所望表里為實(shí),實(shí)如法而一,得波口廣。
此題中一根水平測量繩,作三次測量用。
望清淵
望清淵示意圖
今有望清淵,淵下有白石。偃矩岸上,令句高三尺。斜望水岸,入下股四尺五寸。望白石,入下股二尺四寸。又設(shè)重矩于上,其間相去四尺。更從句端斜望水岸,入上股四尺。以望白石,入上股二尺二寸。問水深幾何? 答曰:一丈二尺。 術(shù)曰:置望水上下股相減,余以乘望石上股為上率。又以望石上下股相減,余以乘望水上股為下率。兩率相減,余以乘矩間為實(shí);以二差相乘為法。實(shí)如法而一,得水深。又術(shù):列望水上下股及望石上下股,相減,余為法。以望石下股減望水下股,余以乘矩間為實(shí),實(shí)如法而一,得水深。
A標(biāo)志水岸,S標(biāo)志白石,C標(biāo)志岸邊;句是古代測量用具之一,有兩個邊成直角(如今三角板):使用時句的一邊務(wù)必與地面垂直。此題用兩個句,一個在C,一個在D,各測量水岸和水底白石。此題用四次測望術(shù)。
登山望津
今有登山望津,津在山南。偃矩山上,令句高一丈二尺。從句端斜望津南岸,入下股二丈三尺一寸。又望津北岸,入前望股里一丈八寸。更登高巖北,卻行二十二步,上登五十一步,偃矩山上。更從句端斜望津南岸,入上股二丈二尺。問津廣幾何? 答曰:二里一百二步。 術(shù)曰:以句高乘下股,如上股而一。所得以句高減之,余為法;置北行,以句高乘之,如上股而一。所得以減上登,余以乘入股里為實(shí)。實(shí) 如法而一,即得津廣。
登山臨邑
今有登山臨邑,邑在山南。偃矩山上,令勾高三尺五寸。令勾端與邑東南隅及東北隅三相直。從勾端遙望東北隅,入下股一丈二尺。又施橫勾于入股之會,從立勾端望西北隅,入橫勾五尺。望東南隅,入下股一丈八尺。又設(shè)重矩于上,令矩間相去四丈。更從立勾端望東南隅,入上股一丈七尺五寸。問邑廣長各幾何? 答曰:南北長一里一百步;東西廣一里三十三步、少半步。術(shù)曰:以勾高乘東南隅入下股,如上股而一,所得減勾高,余為法;以東北隅下股減東南隅下股,余以乘矩間為實(shí)。實(shí)如法而一,得邑南北長也。求邑廣:以入橫勾乘矩間為實(shí)。實(shí)如法而一,即得邑東西廣。
此題用四次測望術(shù)
歷代研究
秦九韶 《數(shù)書九章》《表望浮屠》
南北朝數(shù)學(xué)家祖沖之曾為《九章重差圖》作注。唐朝將《九章重差圖》從《劉徽九章算術(shù)注》中分離出來單獨(dú)成書,以第一題“今有望海島”取名為《海島算經(jīng)》。唐高宗顯慶元年(656年)數(shù)學(xué)家李淳風(fēng)等注釋《算經(jīng)十書》,作為國子監(jiān)學(xué)習(xí)和考試用書,《海島算經(jīng)》就是《算經(jīng)十書》之一,并且規(guī)定《海島算經(jīng)》的學(xué)習(xí)期限為三年,是其他算經(jīng)學(xué)習(xí)期限的三倍 ,可見《海島算經(jīng)》在唐代受重視的程度。北宋元豐七年(1084年)和南宋寧宗嘉定六年(1213年)先后刻印兩次。但宋刻本《海島算經(jīng)》后來遺失。南宋秦九韶研究過類似于海島算經(jīng)的測量書題目《表望浮屠》,南宋數(shù)學(xué)家楊輝《續(xù)古摘奇算法》討論了四種測量問題,包括來自《海島算經(jīng)》海島題,并指出“登高望松,遙望波口,非三望之術(shù)乎?清淵白石、登山臨邑,非四望之術(shù)乎?”。明永樂年間收入《永樂大典》,但只存劉徽文字和李淳風(fēng)注,劉徽原圖和劉徽所作的注釋已不存。元朝數(shù)學(xué)家朱世杰《四元玉鑒》《勾股測望》門第四,六,七,八等四問用天元術(shù)闡述《海島算經(jīng)》的《望海島》,《望深谷》,《南望方邑》,《望清淵》。清乾隆時代,經(jīng)學(xué)家戴震將《海島算經(jīng)》文字,從《永樂大典》中輯錄出來收入《四庫全書》 。 清代數(shù)學(xué)家李潢著《海島算經(jīng)細(xì)草圖說》,沈欽裴著《重差圖說》,均以歐幾里德幾何學(xué)論證,已失劉徽原意 。 李镠著《海島算經(jīng)緯筆》。到民國時期,中算史家李儼《重差術(shù)流源及其新注》 和《中國古代中算家的測繪術(shù)》 ,《海島算經(jīng)新注》 都對《海島算經(jīng)》有所論述。
近年中國數(shù)學(xué)家白尚恕 對海島算經(jīng)有較詳細(xì)的論證。吳文俊院士論文《我國古代測望之學(xué)重差理論評介兼評數(shù)學(xué)史研究中的某些方法問題》 與《海島算經(jīng)古證探源》 兩篇論文對《海島算經(jīng)》有詳細(xì)的論證,前文批評一些前人對《海島算經(jīng)》的論證中添加歐幾里德幾何的平行線或利用相似形理論或后代的代數(shù)論證的方法,顛倒歷史,都是錯誤的方法,并提出正確的論證,必須以劉徽時代的出入相補(bǔ)原理為基礎(chǔ),才能還原《海島算經(jīng)》的。
傳播
《海島算經(jīng)》在唐代傳入朝鮮、日本。最早向西方介紹《海島算經(jīng)》的是19世紀(jì)來華傳教士偉烈亞力。他1852年在《北華捷報》(North China Herald,《字林西報》前身)發(fā)表的論文:《中國數(shù)學(xué)科學(xué)札記》(Jottings on the Sciences of Chinese Mathematics)。偉烈亞力在文中介紹了《海島算經(jīng)》,說此書是“一部關(guān)于實(shí)用三角學(xué)的九個問題”。1913年日本數(shù)學(xué)史家三上義夫在其英文著作《中國與日本數(shù)學(xué)的發(fā)展》 第五章《海島算經(jīng)》 中譯出頭三則問題,1932年法國數(shù)學(xué)家 L·van·Hee 翻譯《海島算經(jīng)》全文 。1986年澳大利亞華人數(shù)學(xué)家洪天賜和美國數(shù)學(xué)家弗蘭克·斯委特茲將《海島算經(jīng)》全文翻譯成英文。此外還有日文翻譯本和俄文翻譯本。
評價
3世紀(jì)劉徽《海島算經(jīng)》運(yùn)用二次、三次、四次測望法,是測量學(xué)歷史上領(lǐng)先的創(chuàng)造。中外學(xué)者對《海島算經(jīng)》的成就,給予很高的評價?!逗u算經(jīng)》的英譯者和研究者,美國數(shù)學(xué)家弗蘭克·斯委特茲,在比較西歐測量學(xué)從古代希臘、羅馬直到文藝復(fù)興時期的發(fā)展,認(rèn)為希臘測量術(shù),重點(diǎn)在測量器具的運(yùn)用,而其數(shù)學(xué)水準(zhǔn)遠(yuǎn)不如劉徽《海島算經(jīng)》,直到文藝復(fù)興時代,才差強(qiáng)達(dá)到《海島算經(jīng)》水準(zhǔn)。他還指出17世紀(jì)初意大利來華傳教士利瑪竇和中國徐光啟合著的《測量法義》十五題,并未能達(dá)到或超越《海島算經(jīng)》。他結(jié)論;“簡而言之,在測量數(shù)學(xué)領(lǐng)域,中國人的成就,超越西方世界約一千年。 ”
《中國數(shù)學(xué)大系》一書中評價《海島算經(jīng)》:“使中國測量學(xué)達(dá)到登峰造極的地步。在西歐直到16,17世紀(jì),才出現(xiàn)二次測量術(shù)的記載,到18世紀(jì),才有了三、四次測量之術(shù),可見中國古代測量學(xué)的意境之深,功用之廣” 。劉徽《海島算經(jīng)》的測量術(shù),實(shí)比歐洲早一千三百至一千五百年。
翻譯本
(法)L. van Hee: Le Classique de l"?le Maritime: Ouvrage Chinois de III siècle 1932。
(美)Frank J. Swetz: The Sea Island Mathematical Manual, The Pennsylvania State University Press, 1992 ISBN 0-271-00799-0
(日)川原秀成譯 《海島算經(jīng)》
(俄)別遼姿金娜譯 《海島算經(jīng)》 1974年
參考文獻(xiàn)
^ 引自吳文俊主編 《中國數(shù)學(xué)史大系》第三卷 248頁 ISBN 7-303-04557-0/O
^ "Quite Simply, in the endeavors of mathematical surveying, China"s accomplishments exceeded those realized in the West by about one thousand years", 見 弗蘭克·斯委特茲: 《海島算經(jīng):古代中國的測量學(xué)和數(shù)學(xué)》第四章第二節(jié) 比較回顧: 中國測量學(xué)的成就。(Frank J. Swetz: The Sea Island Mathematical Manual,Surveying and Mathematics in Ancient China 4.2 Chinese Surveying Accomplishments, A Comparative Retrospection 第63頁 The Pennsylvania State University Press, 1992 ISBN 0-271-00799-0 )
^ 關(guān)于此題的討論詳見吳文俊主編 《中國數(shù)學(xué)大系》第三卷 247-248 ISBN 7-303-04557-0/O
^ Frank J. Swetz: The Sea Island Mathematical Manual, P9 The Pennsylvania State University Press, 1992 ISBN 0-271-00799-0
^ Frank J. Swetz: The Sea Island Mathematical Manual, P13 The Pennsylvania State University Press, 1992 ISBN 0-271-00799-0
^ 吳文俊 《我國古代測望之學(xué)重差理論評介兼評數(shù)學(xué)史研究中的某些方法問題》 《吳文俊文集》 12-73 山東教育出版社 1986
^ 李儼《[重差術(shù)流源及其新注》《李儼.錢寶琮科學(xué)史全集》卷10
^ 李儼《中國古代中算家的測繪術(shù)》《李儼.錢寶琮科學(xué)史全集》卷10
^ 李儼 《海島算經(jīng)新注》 《中國古代數(shù)學(xué)史料》 中國科學(xué)圖書儀器公司 1954
^ 白尚恕 《劉徽海島算經(jīng)造術(shù)的探討》 《白尚恕文集 中國數(shù)學(xué)史研究》 73-82 北京師范大學(xué)出版社 2008 ISBN 978-7-303-09242-0
^ 吳文俊 《我國古代測望之學(xué)重差理論評介兼評數(shù)學(xué)史研究中的某些方法問題》 《吳文俊文集》 12-73 山東教育出版社 1986
^ 吳文俊 《海島算經(jīng)古證探源》 《吳文俊文集》 54-72
^ Mikami, Yoshio: The Development of Mathematics in China and Japan 1913
^ L. van Hee: Le Classique de l"?le Maritime: Ouvrage Chinois de III siècle 1932
^ Frank J. Swetz: The Sea Island Mathematical Manual, The Pennsylvania State University Press, p63 1992 ISBN 0-271-00799-0
^ 引自吳文俊主編 《中國數(shù)學(xué)大系》第三卷 東漢三國 243-248 ISBN 7-303-04557-0/O
免責(zé)聲明:以上內(nèi)容版權(quán)歸原作者所有,如有侵犯您的原創(chuàng)版權(quán)請告知,我們將盡快刪除相關(guān)內(nèi)容。感謝每一位辛勤著寫的作者,感謝每一位的分享。
相關(guān)資料
- 有價值
- 一般般
- 沒價值
{{item.userName}} 舉報
{{item.time}} {{item.replyListShow ? '收起' : '展開'}}評論 {{curReplyId == item.id ? '取消回復(fù)' : '回復(fù)'}}
{{_reply.userName}} 舉報
{{_reply.time}}