金元时期,数学家李冶在河北省石家庄市元氏县封龙书院研究天元术,比西方数学界早300多年。天元术是利用未知数列方程的一般方法,与现代
代数学中列方程的方法基本一致,在
古代数学中,列方程和
解方程是相互联系的两个重要问题。宋代以前,数学家要列出一个方程,如唐代
王孝通运用几何方法列
三次方程,往往需要高超的数学技巧、复杂的推导和大量的文字说明,这是一件相当困难的工作。随着宋代创立的
增乘开方法的发展,解方程有了完善的方法,这就直接促进了对于列方程方法的研究,于是,又出现了中国数学的又一项杰出创造——天元术。1248年,金代数学家
李冶在其著作《
测圆海镜》、《
益古演段》,以及元代数学家
朱世杰的《
算学启蒙下卷》《
四元玉鉴》,都系统地介绍了用天元术建立
二次方程。
历史发展
据史籍记载,金、元之际已有一批有关天元术的著作,如蒋周《
益古演段》、李文一《照胆》、石信道《钤经》、刘汝锴《如积释锁》等(
朱世杰《
四元玉鉴》祖颐后序),可惜都已失传。但在稍晚的
李冶和
朱世杰的著作中,都对天元术作了清楚的阐述。
理论
天元术是利用未知数列方程的一般方法,与现代代数学中列方程的方法基本一致,但写法不同。它首先要“立天元一为某某”,相当于“设x 为某某”,再根据问题给出的条件列出两个相等的
代数式。然后,通过类似合并同类项的过程,得出一个一端为零的方程。天元术的表示方法不完全一致,按照李冶的记法,方程可写成如下形式:其中a0,a1,.,an 表示方程各项系数,均为
筹算数码,在
常数项旁边记一“太”字(或在一次项旁边记一“元”字),“太”或“元”向上每层减少一次幂,向下每层增加一次幂。方程列出后,再按
增乘开方法求正实根。
解题方法
欧洲的数学家,到了十六世纪才完成的东西,在我国在十三世纪已经作出来了。1248年,金代数学家
李冶在其著作《
测圆海镜》中,系统地介绍了天元术。用天元术列方程的方法是:首先“立天元一为某棠”,就是设未知数x,然后依据问题的条件列出两个相等的天元式(就是含这个天元的
多项式),把这两个天元式相减,就得到一个天元式,就是高次
方程式。最后用增乘开方法求这个方程的正根。显然,天元术和现今
代数方程的列法雷同,而在欧洲,只是在十六世纪才开始做到这一点。
我国把解方程称为“开方术”,除了天元术,还有四元术,即是解四元
高次方程,这一点,欧洲直到十八世纪才完成,比中国晚了四百多年。
天元式
主要影响
天元术的出现,提供了列方程的统一方法,其步骤要比
阿拉伯数学家的代数学进步得多。而在欧洲,只是到了十六世纪才做到这一点。此外,宋代创立的
增乘开方法又简化了求解数学
高次方程正根的运算过程。因此,在这一时期,列方程和
解方程都有了简单明确的方法和程式,中国古典代数学发展到了比较完备的阶段。
不仅如此,继天元术之后,数学家又很快把这种方法推广到多元高次方程组,如李德载《两仪群英集臻》有天、地二元,刘大鉴《乾坤括囊》有天、地、人三元等,最后又由
朱世杰创立了
四元术。
渊源
天元术的思想渊源于道、名、墨三家。作为天元术发展高峰的
四元术,朱世杰的《四元玉鉴》天地人与物并列的“四象会元”方法极有可能也受到道教思想的影响。
天元术是一种半符号式的代数,“以不同的文字表示不同的未知数意味着开始向符号代数的转化,这包括了
对数的抽象、对文字的抽象、对运算的
抽象思维过程,表现了中国数学家高度的抽象思维能力。”王鸿钧、
孙宏安:《中国古代
数学思想方法》,
江苏教育出版社,1988,第143页。是近代符号代数的雏形。天元术的出现和完善是中国古代数学思想发展的重要环节,而这一重要数学思想的源头活水乃是道教思想。
天元术是一种用数学
文字符号列方程的方法。“立天元一”是其主要数学思想方法,这与今之
代数学“设Ⅹ为某某”是等价的。
中国古代数学列方程的数学思想可以远溯到汉代《
九章算术》,书中就用文字叙述的方法建立了
二次方程,但尚缺乏明确的未知数概念。唐代
王孝通以高度的数学技巧成功地列出了
三次方程,但还无法掌握列方程的一般方法,仍然需要借助
语言文字来表述。郭金彬先生对中国传统计算思想的演变进行了研究,认为:“到了宋代,
高次方程的发展使方程的造法越来越困难。但是,不找出某种普遍的列方程的方法是不行的。因为,众所周知,要运用
方程求解实际问题,首先要根据问题所提供的条件列出方程,然后解
方程求根,获得答案。‘天元术’就是在这种情况下产生出来的具有中国独特风格的一种普遍的列方程的方法”郭金彬:《中国传统科学思想史论》,
知识出版社,1993,第43页。郭金彬先生所说的“中国独特风格”,笔者以为其主要就体现在道门中人洞渊所创的“天元”概念及“立天元一”天元术思想方法。
金代道教数学家所传的天元术对
南宋数学思想的发展可能也产生过积极影响。钱宝琮先生在论及“金元之际数学之传授”这一问题时,指出:
南宋数学以
秦九韶《
数书九章》(公元1247年)为最有价值。九韶为四川人,转至东南,寓居湖州。《数书九章》自序云“早岁侍亲中都,因得访习于太史。又尝从隐君子受数学”。其
大衍求一术之“立天元一”,疑得自金人,非南宋另有天元术也。《钱宝琮科学史论文选集》,
科学出版社,1983,第321页。
相关人物
李冶
李冶(1192—1279),真定
栾城(今河北
栾城县)人。生于大兴府(今
北京市)。曾为金代词赋科进士,
钧州(今河南
禹州市)知州,元翰林学士
知制诰同
修国史。晚年隐居于河北
元氏县封龙山下,收徒讲学并勤于著述,与
元好问、
张德辉交往密切,时人尊称“龙山三老”。他在数学专著《
测圆海镜》(12 卷)中通过
勾股容圆问题全面地论述了设立未知数和列方程的步骤、技巧、
运算法则,以及文字符号
表示法等,使天元术发展到相当成熟的
新阶段。《
益古演段》(3 卷)则是他为天元术初学者所写的一部简明易晓的入门书。
朱世杰
朱世杰,字汉卿,号松庭,生平不详。所著《
算学启蒙》3 卷,内容包括常用数据、
度量衡和田亩
面积单位的换算、算四则运算法则、筹算简法、分数、比例、面积、体积、
盈不足术、高阶等差级数求和、数字方程解法、
线性方程组解法、天元术等,是一部较全面的数学启蒙书籍。《数学启蒙》曾传入朝鲜和日本,产生了一定的影响。
赡思
除李冶、朱世杰外,
赡思《
河防通议》中也有天元术在水利工程方面的应用。