,实际上不是圆的周长而是圆内接正六边形的周长,其数值要比实际的圆周长小得多。东汉的张衡不满足于这个结果,他从研究圆与它的外切正方形的关系着手得到圆周率。这个数值比“周三径一”要好些,但刘徽认为其计算出来的圆周长必然要大于实际的圆周长,也不精确。刘徽以极限思想为指导,提出用“割圆术”来求圆周率,既大胆创新,又严密论证,从而为圆周率的计算指出了一条科学的道路。
在刘徽看来,既然用“周三径一”计算出来的圆周长实际上是圆内接正六边形的周长,与圆周长相差很多;那么我们可以在圆内接正六边形把圆周等分为六条弧的基础上,再继续等分,把每段弧再分割为二,做出一个圆内接正十二边形,这个正十二边形的周长不就要比正六边形的周长更接近圆周了吗?如果把圆周再继续分割,做成一个圆内接正二十四边形,那么这个正二十四边形的周长必然又比正十二边形的周长更接近圆周。这就表明,越是把圆周分割得细,误差就越少,其内接正多边形的周长就越是接近圆周。如此不断地分割下去,一直到圆周无法再分割为止,也就是到了圆内接正多边形的边数无限多的时候,它的周长就与圆周“合体”而完全一致了。
按照这样的思路,刘徽把圆内接正多边形的面积一直算到了正3072边形,并由此而求得了圆周率 为31415和 31416这两个近似数值。这个结果是当时世界上圆周率计算的最精确的数据。刘徽对自己创造的这个“割圆术”新方法非常自信,把它推广到有关圆形计算的各个方面,从而使汉代以来的数学发展大大向前推进了一步。以后到了南北朝时期,祖冲之在刘徽的这一基础上继续努力,终于使圆周率精确到了小数点以后的第七位。在西方,这个成绩是由法国数学家韦达于1593年取得的,比祖冲之要晚了一千一百多年。祖冲之还求得了圆周率的两个分数值,一个是“约率” ,另一个是“密率”,其中 这个值,在西方是由德国的奥托和荷兰的安东尼兹在16世纪末才得到的,都比祖冲之晚了一千一百年。刘徽所创立的“割圆术”新方法对中国古代数学发展的重大贡献,历史是永远不会忘记的。
基本算法编辑
根据刘徽的记载,在刘徽之前,人们求证圆面积公式时,是用圆内接正十二边形的面积来代替圆面积。应用出入相补原理,将圆内接正十二边形拼补成一个长方形,借用长方形的面积公式来论证《九章算术》的圆面积公式。刘徽指出,这个长方形是以圆内接正六边形周长的一半作为长,以圆半径作为高的长方形,它的面积是圆内接正十二边形的面积。这种论证“合径率一而弧周率三也”,即后来常说的“周三径一”,当然不严密。他认为,圆内接正多边形的面积与圆面积都有一个差,用有限次数的分割、拼补,是无法证明《九章算术》的圆面积公式的。因此刘徽大胆地将极限思想和无穷小分割引入了数学证明。他从圆内接正六边形开始割圆,“割之弥细,所失弥少,割之又割,以至不可割,则与圆周合体,而无所失矣。”也就是说将圆内接正多边形的边数不断加倍,则它们与圆面积的差就越来越小,而当边数不能再加的时候,圆内接正多边形的面积的极限就是圆面积。刘徽考察了内接多边形的面积,也就是它的“幂”,同时提出了“差幂”的概念。“差幂” 是后一次与前一次割圆的差值,可以用图中阴影部分三角形的面积来表示。同时,它与两个小黄三角形的面积和相等。刘徽指出,在用圆内接正多边形逼近圆面积的过程中,圆半径在正多边形与圆之间有一段余径。以余径乘正多边形的边长,即2倍的“差幂”,加到这个正多边形上,其面积则大于圆面积。这是圆面积的一个上界序列。刘徽认为,当圆内接正多边形与圆是合体的极限状态时,“则表无余径。表无余径,则幂不外出矣。”就是说,余径