海岛算经

重差理论起源于《周髀算经》的《日高图》“以表高乘两表相去为黄甲之实。以影差为黄乙之广而一，所得则变为黄乙之袤，上与日齐。”

刘徽在《九章算术·序》中，进一步发展了重差术：“凡望極高、測絕深，而兼知其遠者必用重差、句股，則必以重差為率，故曰重差也。立兩表於洛陽之城，令高八尺。南北各盡平地，同日度其正中之時，以景差為法，表高乘表間为實，實如法而一。所得加表高，即日去地也。以南表之景乘表間為實，實如法而一，即為從南表至南戴日下也。以南戴日下及日去地為句、股，為之求弦，即日去人也。”

日去地=${\displaystyle H*D \over d}$${\displaystyle +H}$

南戴日下= 南表景 *${\displaystyle D \over d}$

其中H为表高，D为表间，d为景差。

《海岛算经》共九问。都是用表尺重复从不同位置测望，取测量所得的差数，进行计算从而求得山高或谷深，这就是刘徽的重差理论。《海岛算经》中，从题目文字可知所有计算都是用筹算进行的。“为实”指作为一个分数的分子，“为法”指作为分数的分母。所用的长度单位有里、丈、步、尺、寸；１里＝180丈=1800尺；1丈=10尺：1步=6尺，1尺=10寸。

望海岛

今有望海岛，立两表，齐高三丈，前后相去千步，令后表与前表三相直。从前表却行一百二十三步，人目著地取望岛峰，与表末三合。从后表却行一百二十七步，人目著地取望岛峰，亦与表末三合。问岛高及去表各几何？ 答曰：岛高四里五十五步；去表一百二里一百五十步。 术曰：以表高乘表间为实；相多为法，除之。所得加表高，即得岛高。求前表去岛远近者：以前表却行乘表间为实；相多为法。除之，得岛去表里数。

望海岛二次测量示意图

由于前表去岛的距离不能直接测量，刘徽用同样高度的表杆前后测量，表杆与地面垂直，人眼贴地，望表杆顶和岛上山顶对齐，这时测得人眼和前表杆的水平距离叫“前表却行”DG=123步；再将表杆往后移动，两表杆间距称为“表间”=1000步，依法测出“后表却行”FH=127步。

表高 =CD

前表却行=DG

后表却行=FH

相多=FH-DG

表间=DF

岛高=AB

前表去岛远近=BD

依法得岛高 AB=${\displaystyle {\tfrac {CD\times DF}{FH-DG}}+CD}$

依法得前表去岛远近 BD=${\displaystyle {\tfrac {DG\times DF}{FH-DG}}}$

松生山上三次测量示意图

望松生山上

今有望松生山上，不知高下。立两表齐，高二丈，前后相去五十步，令后表与前表三相直。从前表却行七步四尺，薄地遥望松末，与表端三合。又望松本，入表二尺八寸。复从后表却行八步五尺，薄地遥望松末，亦与表端三合。问松高及山去表各几何？ 答曰：松高一十二丈二尺八寸；山去表一里二十八步、七分步之四。术曰：以入表乘表间为实。相多为法，除之。加入表，即得松高。求表去山远近者：置表间，以前表却行乘之为实。相多为法，除之，得山去表。

CD EF 表示前后两支表杆，前表杆有刻度，用作两次测量，第一次从G点瞄准A、C两点成直线，第二次从G点校准树根J，读出前表杆上度数（入表）。

表高 =CD=2丈

前表却行=DG=7步4尺

后表却行=FH=8步5尺

相多=FH-DG

表间=DF=50步

松高=AJ

前表去山远近=BD

入表=CK=二尺八寸

松高=AJ=${\displaystyle {\tfrac {CK\times DF}{(FH-DG)}}+CK}$

前表去山远近=BD=${\displaystyle {\tfrac {DF\times DG}{(FH-DG)}}}$

《海岛算经》今有南望方邑示意图

登山望楼

今有登山望楼，楼在平地。偃矩山上，令句高六尺。从句端斜望楼足，入下股一丈二尺。又设重矩于上，令其间相去三丈。更从句端斜望楼足，入上股一丈一尺四寸。又立小表于入股之会，复从句端斜望楼岑端，入小表八寸。问楼高几何？ 答曰：八丈。 术曰：上下股相减，余为法；置矩闲，以下股乘之，如句高而一。所得，以入小表乘之，为实。实如法而一，即是楼高。

楼高=（距间 * 下股）* （入小表）/句高/（下股-上股）。

《海岛算经》东南望波口示意图

望清渊

望清渊示意图

今有望清渊，渊下有白石。偃矩岸上，令句高三尺。斜望水岸，入下股四尺五寸。望白石，入下股二尺四寸。又设重矩于上，其间相去四尺。更从句端斜望水岸，入上股四尺。以望白石，入上股二尺二寸。问水深几何？ 答曰：一丈二尺。 术曰：置望水上下股相减，余以乘望石上股为上率。又以望石上下股相减，余以乘望水上股为下率。两率相减，余以乘矩间为实；以二差相乘为法。实如法而一，得水深。又术：列望水上下股及望石上下股，相减，余为法。以望石下股减望水下股，余以乘矩间为实，实如法而一，得水深。

A标志水岸，S标志白石，C标志岸边；句是古代测量用具之一，有两个边成直角（如今三角板）：使用时句的一边务必与地面垂直。此题用两个句，一个在C，一个在D，各测量水岸和水底白石。此题用四次测望术。

秦九韶 《数书九章》《表望浮屠》

南北朝数学家祖冲之曾为《九章重差图》作注。唐朝将《九章重差图》从《刘徽九章算术注》中分离出来单独成书，以第一题“今有望海岛”取名为《海岛算经》。唐高宗显庆元年（656年）数学家李淳风等注释《算经十书》，作为国子监学习和考试用书，《海岛算经》就是《算经十书》之一，并且规定《海岛算经》的学习期限为三年，是其他算经学习期限的三倍[4]，可见《海岛算经》在唐代受重视的程度。北宋元丰七年（1084年）和南宋宁宗嘉定六年（1213年）先后刻印两次。但宋刻本《海岛算经》后来遗失。南宋秦九韶研究过类似于海岛算经的测量书题目《表望浮屠》，南宋数学家杨辉《续古摘奇算法》讨论了四种测量问题，包括来自《海岛算经》海岛题，并指出“登高望松，遥望波口，非三望之术乎？清渊白石、登山临邑，非四望之术乎？”。明永乐年间收入《永乐大典》，但只存刘徽文字和李淳风注，刘徽原图和刘徽所作的注释已不存。元朝数学家朱世杰《四元玉鉴》《勾股测望》门第四，六，七，八等四问用天元术阐述《海岛算经》的《望海岛》，《望深谷》，《南望方邑》，《望清渊》。清乾隆时代，经学家戴震将《海岛算经》文字，从《永乐大典》中辑录出来收入《四库全书》[5]。 清代数学家李潢著《海岛算经细草图说》，沈钦裴著《重差图说》，均以欧几里德几何学论证，已失刘徽原意[6]。 李鏐著《海岛算经纬笔》。到民国时期，中算史家李俨《重差术流源及其新注》[7]和《中国古代中算家的测绘术》[8]，《海岛算经新注》[9]都对《海岛算经》有所论述。

近年中国数学家白尚恕[10]对海岛算经有较详细的论证。吴文俊院士论文《我国古代测望之学重差理论评介兼评数学史研究中的某些方法问题》[6] 与《海岛算经古证探源》[11]两篇论文对《海岛算经》有详细的论证，前文批评一些前人对《海岛算经》的论证中添加欧几里德几何的平行线或利用相似形理论或后代的代数论证的方法，颠倒历史，都是错误的方法，并提出正确的论证，必须以刘徽时代的出入相补原理为基础，才能还原《海岛算经》的本来面目。

《海岛算经》在唐代传入朝鲜、日本。最早向西方介绍《海岛算经》的是19世纪来华传教士伟烈亚力。他1852年在《北华捷报》（North China Herald，《字林西报》前身）发表的论文：《中国数学科学札记》（Jottings on the Sciences of Chinese Mathematics）。伟烈亚力在文中介绍了《海岛算经》，说此书是“一部关于实用三角学的九个问题”。1913年日本数学史家三上义夫在其英文著作《中国与日本数学的发展》[12]第五章《海岛算经》 中译出头三则问题，1932年法国数学家 L·van·Hee 翻译《海岛算经》全文[13]。1986年澳大利亚华人数学家洪天赐和美国数学家弗兰克·斯委特兹将《海岛算经》全文翻译成英文。此外还有日文翻译本和俄文翻译本。

3世纪刘徽《海岛算经》运用二次、三次、四次测望法，是测量学历史上领先的创造。中外学者对《海岛算经》的成就，给予很高的评价。《海岛算经》的英译者和研究者，美国数学家弗兰克·斯委特兹，在比较西欧测量学从古代希腊、罗马直到文艺复兴时期的发展，认为希腊测量术，重点在测量器具的运用，而其数学水准远不如刘徽《海岛算经》，直到文艺复兴时代，才差强达到《海岛算经》水准。他还指出17世纪初意大利来华传教士利玛窦和中国徐光启合著的《测量法义》十五题，并未能达到或超越《海岛算经》。他结论；“简而言之，在测量数学领域，中国人的成就，超越西方世界约一千年。[14]”

《中国数学大系》一书中评价《海岛算经》：“使中国测量学达到登峰造极的地步。在西欧直到16，17世纪，才出现二次测量术的记载，到18世纪，才有了三、四次测量之术，可见中国古代测量学的意境之深，功用之广”[15]。刘徽《海岛算经》的测量术，实比欧洲早一千三百至一千五百年。

• （法）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
• （日）川原秀成译 《海岛算经》
• （俄）别辽姿金娜译 《海岛算经》 1974年