祖冲之(Zu Chongzhi,字文远)
中国古代最具国际声誉的科学家之一,以七位小数圆周率、密率 355/113 和引入岁差的《大明历》闻名;其精度纪录保持近千年,月球环形山与小行星皆以其名命名。
一、生平与时代背景
祖冲之(429—500,卒年有异说,MacTutor 作 501),字文远,范阳蓟(今河北保定一带)人,生于建康(今江苏南京)。他出身于一个世代相传的天算世家:
- 曾祖父仕东晋,祖父祖昌在刘宋任「大匠卿」(掌管宫廷建筑工程),父祖朔之亦为朝臣,以学识渊博见称;
- 祖家「世传算数」,数学与天文历法技能父子相承,这是中国古代知识传承的主要方式。
祖冲之自幼受到良好的数学与天文教育,主要从刘徽的《九章算术注》学习数学。他少年即以才学名世,被宋孝武帝送入华林学省(皇家学术机构),后又入总明观(国立大学)从事研究。461 年在南徐州(今镇江)任地方官属吏,约 464 年调任娄县(今上海松江)令——在此期间他完成了《大明历》的编制与 π 的精密计算。
政治上,他历仕刘宋与南齐两朝。462 年上呈《大明历》,遭权臣戴法兴阻挠;478 年(南齐初年)奉敕重造「指南车」;488 年造水碓磨。晚年著《缀术》(与子祖暅合著)。卒于南齐永元二年(500),享年七十二(虚岁)。
时代背景:南北朝(420—589)南北分裂,但南朝数学与天文在汉代、魏晋的基础上继续发展。祖冲之是这一传统的高峰,其工作上承刘徽,下启唐代算学。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 429 年 | 生于建康(今南京),祖氏天算世家 |
| 约 440 年代 | 入华林学省、总明观研习数学与天文,主要从刘徽《九章注》学数学 |
| 461 年 | 任南徐州(今镇江)从事史 |
| 约 462—464 年 | 在娄县(今上海松江)任上,编制《大明历》并精密计算 π |
| 462 年 | 上呈《大明历》,首次将岁差引入历法;遭戴法兴反对,撰《驳议》 |
| 约 464 年 | 算得 3.1415926 < π < 3.1415927,提出密率 355/113 |
| 478 年 | 南齐初,奉敕重造「指南车」,以青铜机械差动齿轮实现 |
| 488 年 | 造水碓磨(水力驱动的杵锤机械) |
| 约 480—490 年代 | 与子祖暅合著《缀术》,含球体积、三次方程等成果 |
| 500 年 | 卒(《南齐书》载永元二年卒,年七十二;MacTutor 作 501,存疑) |
| 510 年 | 《大明历》经其子祖暅修订推动,由梁朝正式颁行 |
| 656 年 | 《缀术》经李淳风校订,列为唐代算学教材(《算经十书》之一) |
| 约 12 世纪初 | 《缀术》因「学官莫能究其深奥」被废,遂失传 |
三、核心成果(逐条技术解析)
1. 圆周率七位小数精度
问题背景:刘徽割圆至 3072 边得 π≈3.14159,祖冲之沿其法继续推进,把精度提高到前所未有的水平。
精确结果(载于《隋书·律历志》,7 世纪李淳风等编纂,因《缀术》失传,此为唯一传世记录):
「以圆径一亿为一丈,圆周盈数三丈一尺四寸一分五厘九毫二秒七忽,朒数三丈一尺四寸一分五厘九毫二秒六忽,正数在盈朒二限之间。」
即: $$3.1415926 < \pi < 3.1415927.$$
为达到此精度,需用圆内接正 24576 边形($3\times 2^{13}$),并对大量平方根作至 9 位小数的运算——在算筹时代是惊人的计算工程。
意义:这一精度保持世界最精确纪录近九百年,直到 15 世纪中亚数学家阿尔·卡西(al-Kāshī,约 1424)算至 16 位才被超越。
2. 密率 355/113
祖冲之给出 π 的两个有理逼近: - 约率:$22/7$(与阿基米德所得相同,作粗略计算用); - 密率:$355/113 \approx 3.1415929$,精确到小数点后 6 位。
密率是分母小于 16604 的最佳有理逼近(下一个更佳逼近是 52163/16604)。在欧洲,直到 1585 年荷兰人 Adriaan Anthoniszoon 才重新得到这个分数,比中国晚了一千一百余年。日本数学家三上义夫(Yoshio Mikami)主张将其命名为「Zu's ratio」(祖率),在中国文献中称「祖率」。
与前人关系:关于祖冲之如何从十进制小数反推出密率,因《缀术》失传而不可确考。史家推测他可能利用了「若 $b/a \le d/c$ 则 $b/a \le (b+d)/(a+c)$」之类的内插性质(即加权平均构造)。
3. 《大明历》与首次引入岁差
问题背景:此前的历法(如 412 年的《元始历》)采用 600 年 221 闰,精度不足,且未考虑岁差(春分点沿黄道缓慢西移,导致回归年短于恒星年)。
主要成就: - 首次将岁差引入历法计算:岁差由东晋虞喜(4 世纪)发现,祖冲之是第一个把它用于历法的人。他取每 45 年 11 个月差 1 度(今测约 70.7 年/度,数值偏粗,但方向正确); - 改革闰周:以 391 年置 144 闰(共 4836 个月)取代旧的 19 年 7 闰或 600 年 221 闰,更精确地协调朔望月与回归年; - 测得回归年长 365.24281481 日,与今测值 365.24219878 日相比,误差仅约 50 秒; - 测得交点月(月球两次过同一交点的时间)为 27.21223 日,与今测 27.21222 日几乎一致;据此成功预报了 436—459 年间的 4 次日食; - 测得木星恒星周期约 11.859 年(今测 11.862 年),精度达 1/4000。
颁行波折:462 年上呈后,权臣戴法兴斥其「诬天背经」,祖冲之写《驳议》据理力争:「此非出神思,皆自测验所得」。宋孝武帝已批准于 464 年颁行,然帝崩而废。直至 510 年(梁天监九年),经其子祖暅修订推动才正式颁行——距祖冲之上书已近半个世纪。
4. 球体积公式(与子祖暅合作)
沿刘徽「牟合方盖」的思路,祖冲之与子祖暅提出并运用祖暅原理(「缘幂势既同,则积不容异」),求出: $$V_{\text{球}} = \frac{\pi}{6}d^3 = \frac{4}{3}\pi r^3.$$ 完成了刘徽「以俟能言者」的未竟之业。该原理与西方卡瓦列里原理(1635)等价,但早约 1100 年。详见祖暅档案。
5. 《缀术》(已失传)
祖冲之(与子祖暅)的数学专著《缀术》(「缀」指推导、推算),唐代被列为《算经十书》之一、算学考试教材,但因「内容精深,学官莫能究其深奥」,在 12 世纪初被废,全书失传。据《隋书》追述,其内容可能包括:π 的精密计算、球体积公式、三次方程求解等。因其失传,许多细节(如他如何系统处理高次方程)至今只能推测。
6. 机械与工程发明
祖冲之不仅是数学家,也是杰出工程师: - 指南车(478 年):重造早已失传的指南车,以青铜差动齿轮机械实现,无论车行如何转向,车上木人始终指向南方(非磁性,纯机械),《南齐书》称其「圆转不穷,而司方如一」; - 千里船(桨轮船):南朝末年创制,使航行不依赖风力,日行可达百余里; - 水碓磨(488 年):水力驱动的粮食加工机械。
四、代表著作与文献
- 《大明历》(462 年上呈,510 年颁行):引入岁差、改革闰周的先进历法。
- 《缀术》(约 480—490 年代,与子祖暅合著):数学专著,已失传。
- 《述异记》:志怪文学作品,传世。
- 原始文献:《隋书·律历志》(唐,李淳风等编,7 世纪)——保存祖冲之 π 成果的最早记录;《南齐书·祖冲之传》;钱宝琮校点《算经十书》。
五、师承、学派与同时代交往
- 师承:祖家「世传算数」,父祖朔之传其数学天文;他自称主要从刘徽《九章算术注》学习数学,是刘徽学术谱系的直接继承者;
- 子:祖暅(字景烁),杰出数学家,父子合作完成球体积与《缀术》;
- 同时代人物:天文历法方面与戴法兴(反对者)有著名争论;与北魏、南朝其他天算家的直接交往史料甚少。
六、争议、公案与历史评价
- 卒年两说:《南齐书》作永元二年(500),MacTutor 作 501,标存疑(差异源于南朝纪年换算)。
- π 算法与边数:24576 边形与计算细节仅见《隋书》追述,《缀术》失传,具体算法(如是否用外切多边形、如何处理平方根)无法复原,只能据刘徽割圆术推测。
- 《缀术》内容:「含三次方程」等说法为后世推测,原书不存,证据不足,宜表述为「据载可能涉及」。
- 球体积归属:球体积公式由父子合作完成,通常将原理(祖暅原理)与证明归于祖暅,但成果记在父子名下。
- 密率的独立性:密率 355/113 未见于任何希腊、印度、阿拉伯手稿,确为中国独立发现,三上义夫已论证。
七、身后影响与学术谱系
- 唐代:《缀术》与《大明历》体系被国家采纳(虽《缀术》后失传);
- 国际荣誉:月球背面环形山命名为 Tsu Chung-Chi;小行星 1888 Zu Chong-Zhi 以其命名;中国研制的量子计算机原型命名为「祖冲之号」;LTE/5G 加密算法族 ZUC 取其名首字母;
- 文化象征:祖冲之是中国古代科学成就的标志性人物,圆周率与密率是中学数学教材中的经典内容;
- 学术谱系:刘徽 → 祖冲之 → 祖暅 → 祖暅子祖皓,构成贯穿 3—6 世纪的中国数学天算世家传统。
八、延伸阅读与权威来源
- MacTutor: Zu Chongzhi(Biography):最权威英文传记,详述 π、密率、《大明历》与《缀术》。
- Wikipedia: Zu Chongzhi:交叉核对生卒年、家族、机械发明与荣誉命名,引《南齐书》《隋书》。
- MacTutor: Overview of Chinese mathematics:祖冲之父子在中国数学通史中的定位。
- MacTutor: The Ten Mathematical Classics:《缀术》作为《算经十书》之一及其失传经过。
- MacTutor: A history of Pi:π 计算史中的祖冲之位置。
- J-C Martzloff, A History of Chinese Mathematics (Springer, 1997):标准中国数学史专著,祖冲之章节。
- Chinaculture.org: Zu Chongzhi:中文权威普及来源。