根据华夏历史的介绍,祖冲之,字文远,祖籍范阳逎县(今河北涞水),先世迁居江南,是南北朝时期杰出的数学家和天文学家。
他的父、祖皆谙熟天算。。学识渊博,为时人所敬重。
冲之少传家业,青年时代入华林学省,从事学术研究。此后,历仕刘宋、南齐,官至长水校尉。他在数学、天文历法、机械制造等方面,都有重大成就。
在数学方面,祖冲之推算出圆周率π的不足近似值和过剩近似值,并用以校算新莽嘉量斛的容积。
这个圆周率值,是当时世界上最先进的数学成就,直到15世纪的阿拉伯数学家阿尔·卡西和16世纪的法兰西数学家韦达才得到更精确的结果。
祖冲之还确定了两个分数形式的圆周率值,约率π=227(≈3.14),密率π=355113(≈3.1415929),其中密率是在分母小于1000的条件下圆周率的最佳近似分数。
密率为祖冲之首创,直到16世纪,才被德国数学家奥托和荷兰工程师安托尼兹重新得到。
在西方数学史上,这个圆周率值常被称为安托尼兹率。
祖冲之和其子祖暅,在刘徽工作的基础上,圆满解决了球体积计算问题。
他们得到下列结果:“牟合方盖”(底径相等的两圆柱直交之公共部分)的体积等推算过程中提出了“幂势既同,则积不容异(二立体等高处截面积恒相等,则二立体体积相等)”原理。
这个原理,直到17世纪才为意大利数学家卡瓦列利重新提出,而被称为卡瓦列利原理,华夏现在一般称为祖暅公理。
The content is not finished, continue reading on the next page