刘徽
刘徽(生于公元250年左右),三国后期魏国人,是中国古代杰出的数学家,也是中国古典数学理论的奠基者之一.其生卒年月、生平事迹,史书上很少记载。据有限史料推测,他是魏晋时代山东邹平人。终生未做官。他在世界数学史上,也占有杰出的地位.他的杰作《九章算术注》和《海岛算经》,是中国最宝贵的数学遗产.
《九章算术》约成书于东汉之初,共有246个问题的解法.在许多方面:如解联立方程,分数四则运算,正负数运算,几何图形的体积面积计算等,都属于世界先进之列,但因解法比较原始,缺乏必要的证明,而刘徽则对此均作了补充证明.在这些证明中,显示了他在多方面的创造性的贡献.他是世界上最早提出十进小数概念的人,并用十进小数来表示无理数的立方根.在代数方面,他正确地提出了正负数的概念及其加减运算的法则;改进了线性方程组的解法.在几何方面,提出了"割圆术",即将圆周用内接或外切正多边形穷竭的一种求圆面积和圆周长的方法.他利用割圆术科学地求出了圆周率π=3.14的结果.刘徽在割圆术中提出的"割之弥细,所失弥少,割之又割以至于不可割,则与圆合体而无所失矣",这可视为中国古代极限观念的佳作.
《海岛算经》一书中, 刘徽精心选编了九个测量问题,这些题目的创造性、复杂性和富有代表性,都在当时为西方所瞩目.
刘徽思想敏捷,方法灵活,既提倡推理又主张直观.他是中国最早明确主张用逻辑推理的方式来论证数学命题的人.
祖冲之
祖冲之(公元429年─公元500年)是中国杰出的数学家,科学家。南北朝时期人,汉族人,字文远。生于未文帝元嘉六年,卒于齐昏侯永元二年。祖籍范阳郡遒县(今河北涞水县)。其主要贡献在数学、天文历法和机械三方面。在数学方面,他写了《缀术》一书,被收入著名的《算经十书》中,作为唐代国子监算学课本,可惜后来失传了。祖冲之还和儿子祖暅一起圆满地利用「牟合方盖」解决了球体积的计算问题,得到正确的球体积公式。在机械学方面,他设计制造过水碓磨、铜制机件传动的指南车、千里船、定时器等等。此外,对音乐也研究。他是历史上少有的博学多才的人物。月球上还有一座环形山是以他的名字命名的。
祖冲之在数学上的杰出成就,是关于圆周率的计算.秦汉以前,人们以"径一周三"做为圆周率,这就是"古率".后来发现古率误差太大,圆周率应是"圆径一而周三有余",不过究竟余多少,意见不一.直到三国时期,刘徽提出了计算圆周率的科学方法--" 割圆术",用圆内接正多边形的周长来逼近圆周长.刘徽计算到圆内接96边形, 求得π=3.14,并指出,内接正多边形的边数越多,所求得的π值越精确.祖冲之在前人成就的基础上,经过刻苦钻研,反复演算,求出π在 3.1415926与3.1415927之间.并得出了π分数形式的近似值,取22/7为约率,取355/113为密率,其中355/113取六位小数是 3.141592,它是分子分母在16604以内最接近π值的分数.祖冲之究竟用什么方法得出这一结果,现在无从考查.若设想他按刘徽的"割圆术"方法去求的话,就要计算到圆内接12288边形,这需要花费多少时间和付出多么巨大的劳动啊!由此可见他在治学上的顽强毅力和聪敏才智是令人钦佩的.祖冲之计算得出的密率, 外国数学家获得同样结果,已是一千多年以后的事了.为了纪念祖冲之的杰出贡献,有些外国数学史家建议把π=叫做"祖率".
祖冲之博览当时的名家经典,坚持实事求是,他从亲自测量计算的大量资料中对比分析,发现过去历法的严重误差,并勇于改进,在他三十三岁时编制成功了《大明历》,开辟了历法史的新纪元.
祖冲之还与他的儿子祖暅(也是中国著名的数学家)一起,用巧妙的方法解决了球体体积的计算.他们当时采用的一条原理是:"幂势既同,则积不容异."意即,位于两平行平面之间的两个立体,被任一平行于这两平面的平面所截,如果两个截面的面积恒相等,则这两个立体的体积相等.这一原理,在西文被称为卡瓦列利原理, 但这是在祖氏以后一千多年才由卡氏发现的.为了纪念祖氏父子发现这一原理的重大贡献,大家也称这原理为"祖暅原理".祖冲之也制造过许多工具,如指南车等。
张丘建
《张丘建算经》三卷,据钱宝琮考,约成书于公元466~485年间。张丘建,北魏时清河(今山东临清一带)人,生平不详。最小公倍数的应用、等差数列各元素互求以及“百鸡术”等是其主要成就。“百鸡术”是世界著名的不定方程问题。13世纪意大利斐波那契《算经》、15世纪阿拉伯阿尔·卡西《算术之钥》等著作中均出现有相同的问题。
朱世杰:《四元玉鉴》
朱世杰(1300前后),字汉卿,号松庭,寓居燕山(今北京附近),“以数学名家周游湖海二十余年”,“踵门而学者云集”。朱世杰数学代表作有《算学启蒙》(1299)和《四元玉鉴》(1303)。《算学启蒙》是一部通俗数学名著,曾流传海外,影响了朝鲜、日本数学的发展。《四元玉鉴》则是中国宋元数学高峰的又一个标志,其中最杰出的数学创作有“四元术”(多元高次方程列式与消元解法)、“垛积法”(高阶等差数列求和)与“招差术”(高次内插法)。
贾宪
中国古典数学家在宋元时期达到了高峰,这一发展的序幕是“贾宪三角”(二项展开系数表)的发现及与之密切相关的高次开方法(“增乘开方法”)的创立。贾宪,北宋人,约于1050年左右完成〈〈黄帝九章算经细草〉〉,原书佚失,但其主要内容被杨辉(约13世纪中)著作所抄录,因能传世。杨辉〈〈详解九章算法〉〉(1261)载有“开方作法本源”图,注明“贾宪用此术”。这就是著名的“贾宪三角”,或称“杨辉三角”。〈〈详解九章算法〉〉同时录有贾宪进行高次幂开方的“增乘开方法”。
贾宪三角在西方文献中称“帕斯卡三角”,1654年为法国数学家 B·帕斯卡重新发现。
秦九韶:《数书九章》
秦九韶(约1202~1261),字道吉,四川安岳人,先后在湖北、安徽、江苏、浙江等地做官,1261年左右被贬至梅州(今广东梅县),不久死于任所。秦九韶与李冶、杨辉、朱世杰并称宋元数学四大家。他早年在杭州“访习于太史,又尝从隐君子受数学”,1247年写成著名的《数书九章》。《数书九章》全书共18卷,81题,分九大类(大衍、天时、田域、测望、赋役、钱谷、营建、军旅、市易)。其最重要的数学成就——“大衍总数术”(一次同余组解法)与“正负开方术”(高次方程数值解法),使这部宋代算经在中世纪世界数学史上占有突出的地位。
李冶
随着高次方程数值求解技术的发展,列方程的方法也相应产生,这就是所谓“开元术”。在传世的宋元数学著作中,首先系统阐述开元术的是李冶的《测圆海镜》。
李冶(1192~1279)原名李治,号敬斋,金代真定栾城人,曾任钧州(今河南禹县)知事,1232年钧州被蒙古军所破,遂隐居治学,被元世祖忽必烈聘为翰林学士,仅一年,便辞官回家。1248年撰成《测圆海镜》,其主要目的就是说明用开元术列方程的方法。“开元术”与现代代数中的列方程法相类似,“立天元一为某某”,相当于“设x为某某”,可以说是符号代数的尝试。李冶还有另一部数学著作《益古演段》(1259),也是讲解开元术的。