中国古代数学家 李锐
发布:佚名 时间:2009-12-24 15:28:00 来源:京翰教育中心 录入:技艺 人气:351
【文字:
大 小】
(三)疏解调日法和求一术
调日法是中国古代天文学家用分数来近似表达天文基本数据的一种数理方法,但是“元明以来畴人子弟,罔识古义,竞天知其说者。”李锐在读《宋书•律历志》的时候,注意到其中周琼转述“宋世何承天更以四十九分之二十六为强率,十七分之九为弱率,于强弱之际以求日法”的意义,他解释道:何氏以26/49和19/17为上、下限,将朔望月的奇零部分表示为(26×15+9×1)/ (49×15+17×1)=399/752,即选取强、弱二率适当的加权平均来近似表达观测值,这就是调日法的本质。上述分数中分子叫作朔余,分母叫作日法。
以此为契机,李锐对51家古代历法进行了考察.试图将每一历法所给出的日法和朔余二值表示成上述带权加成的形式,并以此推测它们是否应用调日法而来。这一工作使调日法这—古代分数近似法重新受到重视,被人称为“尤为抉尽间奥,皆必传之作,不但与秦氏书为羽翼也。”
但是从现代数学的观点来看,位于两个既约分数之间的任何分数都可以表示为它们二者的带权加成形式,因此仅以此来判定古代历法的数据系由调日法而来是欠严谨的。况且由于精度所限和运算之繁复,古代制历者也不大可能全用这种累乘累加的方法来确定其日法和朔余。李锐大约感到了后一困难.他又创造了一种“有日法求强弱(数)”的方法,其目的仍然是将朔余与日法的比值表示为26/49和9/17的带权加成。若以A表示日法,x和y分别表示强、弱二数,李锐提出的问题相当与求解二元一次不定方程:47x+17y=A,其术文提供了一种依赖于求一术的简捷算法,从而在中国数学史上第一次沟通了二元一次不定方程与同余式组这两类问题之间的联系。
(四)研究代数方程论
李锐对代数方程论的兴趣发轫于对秦九韶、李冶等末元数学家著作的整理与研习,但其直接导因却是汪莱在《衡斋算学》第五册中对各类方程是否仅有一个正根的讨论。在为汪莱所作的跋文中,他将汪莱所得到的96条“知不知”归纳为三条判定准则,其中第一条相当于说系数序列有一次变号的方程只有一个正根,第三条相当于说系数序列有偶数次变号的方程不会只有一个正根;它们与l6世纪意大利数学家卡当(G•CarJano)提出的两个命题十分相似。
在《开方说》中,李锐则给出了更一般的陈述:“凡上负、下正,可开一数”,“上负、中正、下负,可开二数”,“上负、次正、次负、下正,可开三数或一数”,“上负、次正、次负、次正、下负,可开四数或二数”;推而广之,他的意思相当于说:(实系数)数字方程所具有的正根个数等于其系数符号序列的变化数或者比此变化数少2(精确的陈述应为“少一个偶数”)。这一认识与法国数学家笛卡儿(R.Descartes)于l637年提出的判别方程正根个数的符号法则是不分伯仲的。
除了关于方程正根个数的判定法则之外,《开方说》中还有许多其他的重要成果。例如李锐首先引进了负根和重根的概念;他又将方程的非正数解称为“无数”,并声称“凡无数必两,无一无数者”,这里隐约含着虚根共扼出现的思想。李锐又在整数范围内讨论了二次方程和双二次方程无实根的判别条件,创造了先求出一根首位再由变形方程续求其余位数字和其余根的“代开法”,还对末元算书中所包含的各种方程变形法,如倍根变形、缩根变形、减根变形、负根变形,逐一进行了解释并加以完善。
所有这些内容,标志着李锐在方程论领域的工作突破了中国古典代数学的窠臼,成为清代数学史上一个引人注目的理论成果。