第二百九十八章

径作为高的长方形，它的面积是圆内接正十二边形的面积。这种论证“合径率一而弧周率三也”，即后来常说的“周三径一”，当然不严密。他认为，圆内接正多边形的面积与圆面积都有一个差，用有限次数的分割、拼补，是无法证明《九章算术》的圆面积公式的。因此刘徽大胆地将极限思想和无穷小分割引入了数学证明。他从圆内接正六边形开始割圆，“割之弥细，所失弥少，割之又割，以至不可割，则与圆周合体，而无所失矣。”也就是说将圆内接正多边形的边数不断加倍，则它们与圆面积的差就越来越小，而当边数不能再加的时候，圆内接正多边形的面积的极限就是圆面积。刘徽考察了内接多边形的面积，也就是它的“幂”，同时提出了“差幂”的概念。“差幂” 是后一次与前一次割圆的差值，可以用图中阴影部分三角形的面积来表示。同时，它与两个衅三角形的面积和相等。刘徽指出，在用圆内接正多边形逼近圆面积的过程中，圆半径在正多边形与圆之间有一段余径。以余径乘正多边形的边长，即2倍的“差幂”，加到这个正多边形上，其面积则大于圆面积。这是圆面积的一个上界序列。刘徽认为，当圆内接正多边形与圆是合体的极限状态时，“则表无余径。表无余径，则幂不外出矣。”就是说，余径消失了，余径的长方形也就不存在了。因而，圆面积的这个上界序列的极限也是圆面积。于是内外两侧序列都趋向于同一数值，即，圆面积。

利用圆内接或外切正多边形，求圆周率近似值的方法，其原理是当正多边形的边数增加时，它的边长和逐渐逼近圆周。早在公元前5世纪，古希腊学者安蒂丰为了研究化圆为方问题就设计一种方法：先作一个圆内接正四边形，以此为基础作一个圆内接正八边形，再逐次加倍其边数，得到正16边形、正32边形等等，直至正多边形的边长小到恰与它们各自所在的圆周部分重合，他认为就可以完成化圆为方问题。到公元前3世纪，古希腊科学家阿基米德在《论球和圆柱》一书中利用穷竭法建立起这样的命题：只要边数足够多，圆外切正多边形的面积与内接正多边形的面积之差可以任意小。阿基米德又在《圆的度量》一书中利用正多边形割圆的方法得到圆周率的值小于三又七分之一而大于三又七十分之十 ，还说圆面积与外切正方形面积之比为11：14，即取圆周率等于22/7。公元263年，中国数学家刘徽在《九章算术注》中提出“割圆”之说，他从圆内接正六边形开始，每次把边数加倍，直至圆内接正96边形，，后人称之为徽率。书中还记载了圆周率更精确的值3927/1250（）。刘徽断言“割之弥细，所失弥少，割之又割，以至于不可割，则与圆合体，而无所失矣”。其思想与古希腊穷竭法不谋而合。割圆术在圆周率计算史上曾长期使用。1610年德国数学家柯伦用2^62边形将圆周率计算到小数点后35位。1630年格林贝尔格利用改进的方法计算到小数点后39位，成为割圆术计算圆周率的最好结果。分析方法发明后逐渐取代了割圆术，但割圆术作为计算圆周率最早的科学方法一直为人们所称道。

圆周率的三角函数算法

圆周率的三角函数算法

π=limi

）发表了一条新的公式，那是一条二次收敛算则，也就是说每经过一次计算，有效数字就会倍增。高斯以前也发现了一条类似的公式，但十分复杂，在那没有电脑的时代是不可行的。这算法被称为布伦特-萨拉明（或萨拉明-布伦特）演算法，亦称高斯-勒让德演算法。

1989年美国哥伦比亚大学研究人员用克雷－2型（C

ay-2）和IBM－3090/，。2010年1月7日——法国工程师法布里斯·贝拉将圆周率算到小数点后亿位。2010年8月30日——日本计算机奇才近藤茂利用家用计算机和云计算相结合，计算出圆周率到小数点后5万亿位。

2011年10月16日，日本长野县饭田市公司职员近藤茂利用家中电脑将圆周率计算到小数点后10万亿位，刷新了2010年8月由他自己创下的5万亿位吉尼斯世界纪录。56岁的近藤茂使用的是自己组装的计算机，从10月起开始计算，花费约一年时间刷新了纪录。