谁说中国古代数学只有方法，没有理论？刘徽就是我国古代数学理论奠基者 [复制链接]

第4版()
专栏：

谁说中国古代数学只有方法，没有理论？
刘徽就是我国古代数学理论奠基者
中国科学院自然科学史研究所的专家们的研究结果表明，我国魏晋时期的数学家刘徽的数学理论是完整的，他不仅对《九章算术》的全部公式和定理给出合乎形式逻辑的证明，对一般算法中一些重要的数学概念也给出严格的定义，并根据定义的性质，说明这些算法的道理。
新华社北京4月22日电　记者张继民报道：中国科学院自然科学史研究所的专家们称，我国魏晋时期数学家刘徽，是我国古代数学理论的奠基者。那种认为中国古代数学只有数学方法，没有数学理论的看法是不恰当的。
刘徽大致生活在魏晋时期，具体生卒年份不见史籍记载。他在数学上的贡献，主要是他在公元263年对东汉初期著名数学著作《九章算术》所作的注。过去从事数学史研究的学者对《九章算术》注，没有进行深入系统的研究，因此对刘徽在数学理论上的成就没有引起足够的重视。自然科学史研究所的有关科研人员，用了近三年的时间，搞清了《九章算术》刘徽注中一些疑难问题。研究结果表明，刘徽的数学理论是完整的，他不仅对《九章算术》的全部公式和定理给出合乎形式逻辑的证明，对一般算法中一些重要的数学概念也给出严格的定义，并根据定义的性质，说明这些算法的道理。例如他给比、方程组、正负数下了非常科学的定义，运用这些定义，有效地论证了算术中的分数加减运算、代数中的方程组解法，以及几何中利用相似直角三角形求解的问题。
早在1，900年，德国数学家希尔伯特在国际数学会上，列举了哥德巴赫猜想、体积理论等23个数学问题。其中体积理论，1，700年前刘徽已有论述。他用极限的方法证明了圆面积的公式，用出入相补原理证明了勾股定理和许多面积体积的公式，重要的是，他还应用无穷分割的方法，证明了方锥体的体积公式。这一公式比十九世纪初欧洲学者提出计算体积的理论要显豁自然。
自然科学史研究所的专家们还证明，晚于刘徽约200年的南朝时期杰出的数学家祖冲之在数学上的重要成就，是在刘徽建立起来的数学理论的基础上获得的。例如，祖冲之推算出圆周率在3．1415927和3．1415926两个数值之间，是运用刘徽的割圆理论实现的。刘徽运用自己的割圆理论，已经把圆周率计算到3．1416。
在球的体积计算上，刘徽从理论上指出了《九章算术》公式的错误方法，可惜他没有算出最后的结果。他谦逊地说：“敢不阙疑，以俟能言者。”后来，祖冲之的儿子祖暅运用刘徽提出的方法，找到了正确的结果。此外，在数字二次方程与数字三次方程的解法方面，祖冲之也是继承和发展了刘徽的工作。
刘徽在数学理论上的贡献还有很多。研究人员认为，这些事实表明，中国古代数学不仅有数学理论，而且这种理论对中国古代数学的发展是有相当影响的。现在，这个研究成果已引起我国数学史界不少人的关注，并给予高度评价。