作者简介播报编辑
作者简介
刘徽(约225-295),是中国数学史上一个非常伟大的数学家,中国古典数学理论的奠基人之一,在世界数学史上,也占有杰出的地位。刘徽为今山东邹平市人(具体为韩店镇旧口村)。他的杰作《九章算术注》和《海岛算经》,是我国最宝贵的数学遗产。2021年5月24日,国际天文学联合会将嫦娥五号探测器着陆点附近的一个月球地貌命名为“刘徽星”。2024年,联合国教科文组织启动刘徽诞辰周年系列纪念活动,2024年至2025年被定为“刘徽年” [19]。
刘徽《九章算术》约成书于东汉之初,共有246个问题的解法.在许多方面:如解联立方程,分数四则运算,正负数运算,几何图形的体积面积计算等,都属于世界先进之列,但因解法比较原始,缺乏必要的证明,而刘徽则对此均作了补充证明.在这些证明中,显示了他在多方面的创造性的贡献.他是世界上最早提出十进小数概念的人,并用十进小数来表示无理数的立方根.在代数方面,他正确地提出了正负数的概念及其加减运算的法则;改进了线性方程组的解法.在几何方面,提出了“割圆术”,即将圆周用内接或外切正多边形穷竭的一种求圆面积和圆周长的方法.他利用割圆术科学地求出了圆周率,算得π=3.1416 [17]。刘徽在割圆术中提出的“割之弥细,所失弥少,割之又割以至于不可割,则与圆合体而无所失矣”,这可视为中国古代极限观念的佳作。
简介播报编辑
简介
《海岛算经》由刘徽于三国魏景元四年(公元263年)所撰,本为《九章算术注》之第十卷,题为《重差》。唐初开始单行,体例亦是以应用问题集的形式。研究的对象全是有关高与距离的测量,所使用的工具也都是利用垂直关系所连接起来的测竿与横棒。该书是中国最早的一部测量数学著作,为地图学提供了数学基础。 [7] [13]有人说是实用三角法的启蒙,不过其内容并未涉及三角学中的正余弦概念。所有问题都是利用两次或多次测望所得的数据,来推算可望而不可及的目标的高、深、广、远。此卷书被收集于明成祖时编修的永乐大典中,现保存在英国剑桥大学图书馆。刘徽也曾对九章算数重编并加以注释。9个算例分别涉及测量海岛、山松、城市、涧谷、塔楼、河流、渊潭、湖塘等的尺寸,并提出了重表法、连索法和累距法等具体测量方法。其核心数学原理是基于相似直角三角形对应边成比例的“重差术”。 [6]全书共9题,全是利用测量来计算高深广远的问题,首题测算海岛的高、远,故得名。《海岛算经》将以重差术为主的中国测望技术发展得相当完善,在西方测望技术于明末传入中国之前,再无大的突破。 [11]
数学原理与特征播报编辑
数学原理与特征
《海岛算经》的核心数学方法是重差术,即通过两次或多次测望,利用测望值的差距来计算目标物的高、深、广、远。其基本原理是依据相似直角三角形对应边成比例的内在关系 [6] [9]。现代学者吴文俊分析其证明基于相似勾股形的命题或与之等价的出入相补原理,表明中国古代拥有独立于西方欧几里得体系的度量几何学理论 [12]。
全书共设九个算例,均涉及测高、望远、量深等复杂测量问题,具体包括测量海岛的高度、山上的松树高度、城市的大小、涧谷的深度等 [6-7]。为解决这些问题,刘徽系统总结并提出了重表法、连索法和累距法等具体的测量和计算方法,这些方法皆可归结为重差测量术 [6]。
测量所使用的工具简单,主要是“表”和“矩”等利用垂直关系的测竿与横棒 [6-7]。该方法实现了从直接测量向间接测量的飞跃 [6]。在刘徽之后,以重差术为主的中国测望技术已发展得相当完善,直至明末西方测望技术传入前,再无大的突破 [11]。
评价播报编辑
评价
《海岛算经》是中国最早的一部测量数学著作,亦为地图学提供了数学基础 [7]。该书原为刘徽所著《九章算术注》的第十卷“重差”,唐代开始单行,并列为古代数学经典“算经十书”之一,李淳风等曾为其作注 [6] [10] [15]。中国科学技术协会在2025年国际纪念活动中强调,刘徽的数学体系不仅奠定了中国古典数学理论基础,其“析理以辞、解体用图”的思维方法对当代科技创新仍具有范式意义 [5]。3世纪刘徽《海岛算经》运用二次、三次、四次测望法,是测量学历史上领先的创造 [2]。中外学者对《海岛算经》的成就,给予很高的评价。《海岛算经》的英译者和研究者,美国数学家弗兰克·斯委特兹,在比较西欧测量学从古代希腊、罗马直到文艺复兴时期的发展,认为希腊测量术,重点在测量器具的运用,而其数学水准远不如刘徽《海岛算经》,直到文艺复兴时代,才差强达到《海岛算经》水准。他还指出17世纪初意大利来华传教士利玛窦和中国徐光启合著的《测量法义》十五题,并未能达到或超越《海岛算经》。他结论;“简而言之,在测量数学领域,中国人的成就,超越西方世界约一千年” [3]。2025年阿塞拜疆国家科学院院长伊萨·哈比巴伊利在刘徽纪念活动中指出,重差理论在人工智能与数字技术领域仍具启示价值,这种跨时代的科学智慧正成为中阿科技合作的新桥梁 [5]。
《中国数学大系》一书中评价《海岛算经》:“使中国测量学达到登峰造极的地步。在西欧直到16,17世纪,才出现二次测量术的记载,到18世纪,才有了三、四次测量之术,可见中国古代测量学的意境之深,功用之广”。刘徽《海岛算经》的测量术,实比欧洲早一千三百至一千五百年 [2]。2023年联合国教科文组织大会正式将2024-2025年命名为“刘徽年”,这是中国首次成功申办以古代科学家为主题的全球性纪念活动,标志着国际学术界对刘徽数学成就的持续认可 [5]。2025年,“数韵千年·对话寰宇——刘徽诞辰周年系列纪念活动”先后在韩国首尔、阿塞拜疆巴库、意大利罗马等地举办 [14]。
后世应用播报编辑
后世应用
《海岛算经》为地图学提供了数学基础,并对后来航海图的测绘有深远影响。 [7] [13] [18]
现代中学数学教科书如浙教版引入“海岛算经”问题作为相似三角形应用案例,浙江测绘与地理信息科技博物馆也设有“海岛算经”互动展项,利用多媒体技术展示测量原理。 [8]
2026年3月25日,全国首部数学题材网络微短剧《刘徽传奇》精品打造研讨会在济南举行。该剧以刘徽为核心原型,立足邹平“刘徽故里”的文化根脉,通过创新影视叙事活化《海岛算经》等数学成就。 [19]
2024-2025年“刘徽年”系列国际纪念活动提升了国际社会对包括《海岛算经》在内的中国古代科学成就的认知,其测量术比欧洲早约一千四百年。 [14] [16]
历代研究播报编辑
历代研究
秦九韶《表望浮屠》继承《海岛算经》《海岛算经》的理论源于《周髀算经》中的测日高方法,刘徽将其扩张为一般的测望之学——重差术。 [12]南北朝数学家祖冲之曾为《九章重差图》作注。唐朝将《九章重差图》从《刘徽九章算术注》中分离出来单独成书,以第一题“今有望海岛”取名为《海岛算经》。唐高宗显庆元年(656年)数学家李淳风等注释《算经十书》,作为国子监学习和考试用书,《海岛算经》就是《算经十书》之一,并且规定《海岛算经》的学习期限为三年,是其他算经学习期限的三倍,可见《海岛算经》在唐代受重视的程度。北宋元丰七年(1084年)和南宋宁宗嘉定六年(1213年)先后刻印两次。但宋刻本《海岛算经》后来遗失。南宋秦九韶研究过类似于海岛算经的测量书题目《表望浮屠》南宋数学家杨辉《续古摘奇算法》讨论了四种测量问题,包括来自《海岛算经》海岛题,并指出“登高望松,遥望波口,非三望之术乎?清渊白石、登山临邑,非四望之术乎?”。明永乐年间收入《永乐大典》,但只存刘徽文字和李淳风注,刘徽原图和刘徽所作的注释已不存。元朝数学家朱世杰《四元玉鉴》《勾股测望》门第四,六,七,八等四问用天元术阐述《海岛算经》的《望海岛》,《望深谷》,《南望方邑》,《望清渊》。清乾隆时代,经学家戴震将《海岛算经》文字,从《永乐大典》中辑录出来收入《四库全书》。 清代数学家李潢著《海岛算经细草图说》,沈钦裴著《重差图说》,均以欧几里德几何学论证,已失刘徽原意。 李鏐著《海岛算经纬笔》。到民国时期,中算史家李俨《重差术流源及其新注》和《中国古代中算家的测绘术》,《海岛算经新注》都对《海岛算经》有所论述。
中国数学家白尚恕对海岛算经有较详细的论证。吴文俊在研究中指出,后世对《海岛算经》的论证中,除杨辉及李俨对杨辉论证的解释外,多不符合中国古代几何学原意。 [12]吴文俊院士论文《我国古代测望之学重差理论评介兼评数学史研究中的某些方法问题》 与《海岛算经古证探源》两篇论文对《海岛算经》有详细的论证,前文批评一些前人对《海岛算经》的论证中添加欧几里德几何的平行线或利用相似形理论或后代的代数论证的方法,颠倒历史,都是错误的方法,并提出正确的论证,必须以刘徽时代的出入相补原理为基础,才能还原《海岛算经》的本来面目。
传播海外播报编辑
传播海外
《海岛算经》在唐代传入朝鲜、日本。最早向西方介绍《海岛算经》的是19世纪来华传教士伟烈亚力。他1852年在《北华捷报》(North China Herald,《字林西报》前身)发表的论文:《中国数学科学札记》(Jottings on the Sciences of Chinese Mathematics)。伟烈亚力在文中介绍了《海岛算经》,说此书是“一部关于实用三角学的九个问题”。1913年日本数学史家三上义夫在其英文著作《中国与日本数学的发展》第五章《海岛算经》 中译出头三则问题 [1]1932年法国数学家 L·van·Hee 翻译《海岛算经》全文 [2]
《海岛算经》的英文翻译本1986年澳大利亚华人数学家洪天赐和美国数学家弗兰克·斯委特兹将《海岛算经》全文翻译成英文还有日文翻译本和俄文翻译本 [2]。
内容播报编辑
内容
望海岛图《海岛算经》共九问。都是用表尺重复从不同位置测望,取测量所得的差数,进行计算从而求得山高或谷深,这就是刘徽的重差理论。《海岛算经》中,从题目文字可知所有计算都是用筹算进行的。“为实”指作为一个分数的分子,“为法”指作为分数的分母。所用的长度单位有里、丈、步、尺、寸;1里=180丈=1800尺;1丈=10尺:1步=6尺,1尺=10寸。
(1)今有望海岛,立两表,齐高三丈,前后相去千步,令后表与前表参相直。从前表却行一百二十三步,人目着地取望岛峰,与表末参合。从后表却行一百二十七步,人目着地取望岛峰,亦与表末参合。问岛高及去表各几何?答曰:岛高四里五十五步;去表一百二里一百五十步。
翻译:假设测量海岛,立两根表高均为3丈,前后相距1000步,令后表与前表在同一直线上,从前表退行123 步,
人目著地观测到岛峰,从后表退行127步,人目著地观测到岛峰,问岛高多少 岛与前表相距多远?
术曰:以表高乘表间为实;相多为法,除之。所得加表高,即得岛高。求前表去岛远近者:以前表却行乘表间为实;相多为法。除之,得岛去表数。
(2)今有望松生山上,不知高下。立两表齐,高二丈,前後相去五十步,令後表与前表参相直。从前表却行七步四尺,薄地遥望松末,与表端参合。又望松本,入表二尺八寸。复从後表却行八步五尺,薄地遥望松末,亦与表端参合。问松高及山去表各几何?答曰:松高一十二丈二尺八寸;山去表一里二十八步、七分步之四。
术曰:以入表乘表间为实。相多为法,除之。加入表,即得松高。求表去山远近者:置表间,以前表却行乘之为实。相多为法,除之,得山去表。
(3)今有南望方邑,不知大小。立两表东、西去六丈,齐人目,以索连之。令东表与邑 东南隅及东北隅参相直。当东表之北却行五步,遥望邑西北隅,入索东端二丈二尺六寸半。又却北行去表一十三步二尺,遥望邑西北隅,适与西表相参合。问邑方及邑去表各几何?答曰:邑方三里四十三步、四分步之三;邑去表四里四十五步。
术曰:以入索乘後去表,以两表相去除之,所得为景长;以前去表减之,不尽以为法。置後去表,以前去表减之,余以乘入索为实。实如法而一,得邑方。求去表远近者:置後去表,以景长减之,余以乘前去表为实。实如法而一,得邑去表。
(4)今有望深谷,偃矩岸上,令勾高六尺。从勺端望谷底,入下股九尺一寸。又设重矩于上,其矩间相去三丈。更从勺端望谷底,入上股八尺五寸。问谷深几何?答曰:四十一丈九尺。
术曰:置矩间,以上股乘之,为实。上、下股相减,余为法,除之。所得以勾高减之,即得谷深。
(5)今有登山望楼,楼在平地。偃矩山上,令勾高六尺。从勾端斜望楼足,入下股一丈二尺。又设重矩於上,令其间相去三丈。更从勾端斜望楼足,入上股一丈一尺四寸。又立小表於入股之会,复从勾端斜望楼岑端,入小表八寸。问楼高几何?答曰:八丈。
术曰:上、下股相减,余为法;置矩间,以下股乘之,如勾高而一。所得,以入小表乘之,为实。实如法而,即是楼高。
(6)今有东南望波口,立两表南、北相去九丈,以索薄地连之。当北表之西却行去表六丈,薄地遥望波口南岸,入索北端四丈二寸。以望北岸,入前所望表里一丈二尺。又却行,後去表一十三丈五尺。薄地遥望波口南岸,与南表参合。问波口广几何?答曰:一里二百步。
术曰:以後去表乘入索,如表相去而一。所得,以前去表减之,余以为法;复以前去表减後去表,余以乘入所望表里为实,实如法而一,得波口广。
(7)今有望清渊下有白石。偃矩岸上,令勾高三尺。斜望水岸,入下股四尺五寸。望白石,入下股二尺四寸。又设重矩於上,其间相去四尺。更从勾端斜望水岸,入上股四尺。以望白石,入上股二尺二寸。问水深几何?答曰:一丈二尺。
术曰:置望水上、下股相减,余以乘望石上股为上率。又以望石上、下股相减,余以乘望水上股为下率。两率相减,余以乘矩间为实;以二差相乘为法。实如法而一,得水深。
(8)今有登山望津,津在山南。偃矩山上,令勾高一丈二尺。从勾端斜望津南岸,入下股二丈三尺一寸。又望津北岸,入前望股里一丈八寸。更登高岩,北却行二十二步,上登五十一步,偃矩山上。更从勾端斜望津南岸,入上股二丈二尺。问津广几何?答曰:二里一百二步。
术曰:以勾高乘下股,如上股而一。所得以勾高减之,余为法;置北行,以勾高乘之,如上股而一。所得以减上登,余以乘入股里为实。实如法而一,即得津广。
(9)今有登山临邑,邑在山南。偃矩山上,令勾高三尺五寸。令勾端与邑东南隅及东北隅参相直。从勾端遥望东北隅,入下股一丈二尺。又施横勾於入股之会,从立勾端望西北隅,入横勾五尺。望东南隅,入下股一丈八尺。又设重矩於上,令矩间相去四丈。更从立勾端望东南隅,入上股一丈七尺五寸。问邑广长各几何?答曰:南北长一里百步;东西广一里三十三步、少半步。
术曰:以勾高乘东南隅入下股,如上股而一,所得减勾高,余为法;以东北隅下股减东南隅下股,余以乘矩间为实。实如法而一,得邑南北长也。求邑广:以入横勾乘矩间为实。实如法而一,即得邑东西广。