祖冲之星(
小行星1888)是一颗以中国数学家祖冲之命名的小行星,于1964年11月9日由南京紫金山天文台发现。这一命名是为了纪念祖冲之对我国和世界科学文化的伟大贡献。
祖冲之(ZǔChōngzhī ,公元429年─公元500年)是我国杰出的数学家,科学家。
南北朝时期人,汉族人,字文远。生于
刘义隆元嘉六年,卒于齐昏侯永元二年。祖籍
范阳郡遒县(今河北涞水县)。
祖冲之公元429年生于
南京市(今江苏南京)。祖家历代都对天文历法素有研究,
祖冲之从小就有机会接触天文、数学知识。在青年时代祖冲之就博得了博学多才的名声,
刘骏听说后,派他到“华林学省”做研究工作。公元461年,他在南
徐州市(今江苏镇江)
刺史府里从事,先后任南徐州从事史、公府
参军。公元464年他调至
娄县(今江苏昆山东北)任县令。
在此期间他编制了《大明历》,在《大明历》中,他首次引用了
岁差,是我国历法史上的一次重大改革。他还采用了391年中设置144个闰月的新闰周,比古代发明的19年7闰的闰周更加精密。
祖冲之推算的回归年和交点月天数都与观测值非常接近。在数学上,祖冲之推算出
圆周率的真值应该介于3.1415926和3.1415927之间,比
欧洲要早一千多年。
在数学方面,他写了《
缀术》一书,被收入著名的《
算经十书》中,作为
唐朝国子监算学课本,可惜后来失传了。《隋书·律历志》留下一小段关于圆周率(π)的记载,祖冲之算出π的真值在3.1415926(数)和3.1415927(盈数)之间,相当于精确到小数第7位,成为当时世界上最先进的成就。这一纪录直到15世纪才由阿拉伯数学家
卡西打破。
祖冲之还给出π的两个分数形式:22/7(约率)和355/113(密率),其中密率精确到小数第7位,在西方直到16世纪才由
荷兰数学家奥托重新发现。祖冲之还和儿子
祖暅一起圆满地利用“牟合方盖”解决了球体积的计算问题,得到正确的球体积公式。在天文历法方面,祖冲之创制了《大明历》,最早将
岁差引进历法;采用了391年加144个闰月的新闰周;首次精密测出交点月日数(27.21223),回归年日数(365.2428)等数据,还发明了用圭表测量
冬至前后若干天的正午
太阳影长以定冬至时刻的方法。
此外,他在音律、文学、考据方面也有造诣,他精通音律,擅长下棋,还写有小说《
述异记》。是历史上少有的博学多才的人物。
宋朝末年,
祖冲之回到建康任者仆射,此后直到宋灭亡一段时间后,他花了较大精力来研究机械制造。公元494年到498年之间,他在
南齐朝廷担任长水校尉一职,受四品俸禄。鉴于当时战火连绵,他写有《安边论》一文,建议朝廷开垦荒地,发展农业,安定民生,巩固国防。公元500年祖冲之在他72岁时去世。祖冲之的主要成就在数学、天文历法和机械技术三个领域。此外祖冲之精通音律,擅长下棋,还写有小说《
述异记》。祖冲之著述很多,但大多都已失传。
祖冲之是一位少有的博学多才的人物。为了纪念祖冲之的功绩,1967年,国际天文学家联合会把月球上的一座环形山命名为“
祖冲之环形山”,将小行星1888命名为“祖冲之星”。