割圆术 (刘徽)

(重定向自刘徽割圆术

三国时代数学家刘徽割圆术是中国古代数学中“一个十分精彩的算法[1]”。在此之前,圆周率采用“径一周三”的实验数据。东汉科学家张衡采用。刘徽认为过大。[2]东汉天文学家王蕃采用。这些圆周率都是实验值,都只准确到二位数字。刘徽是中国数学史上最先创造了一个从数学上计算圆周率到任意精确度的迭代程序的数学家。他自己通过分割圆为192边形,计算出圆周率在3.141024 与 3.142704之间,取其近似,并以 表示。这个数值准确到三位数字,比前人的圆周率数值都准,但他自己次承认这个数值偏小[3]。后来刘徽发明一种快捷算法,可以只用96边形得到和1536边形同等的精确度,从而得令他自己满意的

刘徽割圆术原理

刘徽割圆术简单而又严谨,富于程序性,可以继续分割下去,求得更精确的圆周率。南北朝时期著名数学家祖冲之用刘徽割圆术计算11次,分割圆为12288边形,得圆周率=3.1415926,成为此后千年世界上最准确的圆周率。

圆面积公式

 
圆面积=圆的半周长X半径

刘徽割圆术是建立在圆面积论的基础之上的。他首先论证,将圆分割成多边形,分割来越细,多边形的边数越多,多边形的面积就和圆面积没有差别了。他说,将6边形一边的长度乘以圆半径,再乘3,得12边形的面积。将12边形的一边长乘半径,再乘6,得24边形面积。越割越细,多边形和圆面积的差越小。如此割了再割,最后终于和圆合为一体,毫无差别了[4]

6边形的面积显然和圆面积相差很多。
内接正12边形面积 = 6边形面积+6个蓝色三角形面积,向圆面积趋近了一步。
正24边形面积=6边形面积+6个蓝色三角形面积+12个黄色三角形面积,更加接近圆面积了。
显然:
正12边形面积 <正24边形面积< 正48边形面积<正96边形面积……<内接6*2N边形面积<圆面积。

刘徽明显已经掌握了无穷小分割和极限的概念:[5]

  内接 6*2N边形面积   圆面积。
他又指出:6边形之外,遗留了半径的一小段d ,称为余径。将余径d乘多边形的一边,所得长方形ABCD,已经越出圆周范围之外。如果将圆周分割得很细,余径d趋向于0,而长方形ABCD的面积也趋向于0[6]

显然,刘徽之所以研究余径,目的是从上限和下限两个方面逐步逼近圆面积:

  内接 6*2N边形面积   圆面积  内接 6*2N边形面积+6*2N*d*L。

刘徽进一步证明圆面积=圆周/2 × 半径。

关于多边形的面积,刘徽有如下公式:
2 N边形的面积= N边形的半周长×R。
= ,
其中L为N边形的单边长,R为圆半径。
此公式可用刘徽出入相补原理证明: 将内接2N边形,分割,然后重新排列成宽为 L x N/2, 高为R的长方形;
显然2N边形的面积=长方形面积= =N边形的半周长 * R
 
N边形的半周长 圆的半周长
  2N边形面积=N边形的半周长 * R  圆面积
所以
圆的半周长 * R = 圆面积[7]
因此
圆周 = 2* 圆面积/R
圆周率 圆周/直径= 2* 圆面积/(R*2R)= 圆面积/R2
=   2N边形的面积/R2

割圆术程序

刘徽从半径1尺圆的内接正6边形开始,逐次分割为12边形,24边形,48边形,96边形。反复使用勾股定理求得各多边形的边长,又用刘氏多边形面积公式求多边形面积。

分割6边形为12边形

 
刘徽割圆术原理

令圆直径为2尺,折半得半径1尺。圆内接正6边形的边长也是1尺。[8] 如图:

半径OA=r=1尺=10寸
6边形单边长AB=M=10寸
从圆心O作AB的垂直平分线OC,将AB平分为二,
AP=BP=M/2,AP+BP=AB
垂直平分线OC和圆周相交于C,
作直线AC
AC就是12边形的一边,

OAP是一个直角三角形

弦=半径=r=10寸
勾=AP=M/2=5寸
股OP 可用勾股定理求得:
令弦长=X,股长=G, 句长=M/2,则:
  平方寸
 
因为1寸 =100000忽
1平方寸 =10000000000平方忽
 [9]

APC是一个小直角三角形

令小弦AC长度为m,令小句PC长度为j

 
用勾股定理求m:
 
= 平方忽
12边形的一边长度 
12边形的一边长度的一半 

分割12边形为24边形

将上一轮的多边形边长m作为新一轮割圆的开始, 作替换M=m=12边形的一边长度 忽 继续将此多边形的一边平分,周而复始,重复使用[10]

 
 
 
 
由上M^2已有现成数值 
 
 
 
 
24边形一边长度  

分割24边形为48边形

将第二轮的多边形边长m作为第三轮割圆的起点[11], 作替换 

 
 
 
 
 
开平方,得48边形一面 

根据刘徽多边形面积公式:

96边形的面积= 48边形的半周长×半径= ,

所以96边形的面积 

 平方忽
  平方寸

分割48边形为96边形

将第三轮的多边形边长m作为第四轮割圆的起点[12]

作替换 

 
 
 
 
 
开方得
96边形的一边 

根据刘徽多边形面积公式:

192边形的面积 96边形的半周长×半径= 

所以192边形的面积  平方忽

 平方忽
  平方寸

刘徽圆周率不等式

 
刘徽圆周率不等式示意图

刘徽利用多边形面积差的几何学,得出圆周率的双边不等式。

如图:
黄色代表N边形面积 
黄色+绿色代表2N边形面积 
绿色代表2N边形面积与N边形面积之差 = 
长方形ABCD面积 
C代表圆面积。
如下不等式成立:
 

 

当N=96,2N=192:

192边形面积  
96边形的面积  
192边形面积和96边形的面积之差(差幂) 
 
 
 
 
 

刘徽认为这个面积已经超过圆面积,所以将192边形的面积的整数部分定为圆面积:

圆面积~192边形面积= 
所以圆周率=圆面积/半径2 

这就是徽率。

实际上只要计算精确度够高,刘徽割圆术可以计算到任何精确度,不仅限于二位小数点。

圆周率捷法

刘徽在得圆周率=3.14之后,将这个数值和晋武库中汉王莽时代制造的铜制体积度量衡标准嘉量斛的直径和容积检验,发现3.14这个数值还是偏小。于是继续割圆到1536边形,求出3072边形的面积,得到令自己满意的圆周率 。但是刘徽却不叙述“分割96边形为192边形”,“分割192边形为384边形”,“分割384边形为768边形”,“分割768边形为1536边形”:因为他发现了一个快捷的算法[13],只要利用96边形的数据经过一次除法和一次加法,就可以获得和计算到1536边形同等的精确度  ,省去了4次开方计算;毕竟在三国时代用筹算进行开方相当的繁难。

刘徽圆周率捷法乃是以他素有研究的多边形面积差为基础的。

 表示2N边形的面积 和N边形的面积 

 

    形成一个等比级数:
 
 
 
因此
 
 

其中

 
 

刘徽圆周率捷法,可以解释如下几个问题:[來源請求]

1)为什么刘徽割圆术以多边形面积为基础,因为圆周率捷法必须用到多边形面积差。
2)刘徽对割圆术的陈述为什么止于96边形。因为他发明了一个便捷的方法,只用96边形数据,就可以算出相当于1536边形(甚至12288边形)的精确度。
3)晋武库一段的作者,非刘徽莫属,而不可能出自祖冲之。面积差法本来就是他推求不等式  的基础。从   一脉相承。何况九章算术中全无“祖冲之注”的痕迹,而且一字不提祖冲之密率 

刘徽的  =  后来见于印度数学中,足证古印度数学采用刘徽注《九章算术》[14]

割圆术迭代公式

如令半径=1, 从

 
 
 

可简化为:

 
 
 
 
 
 
由此可得刘徽割圆术迭代公式:
 
圆周率= 3*2^N * m

π的连平方根表示式

根据刘徽割圆术迭代公式:

 
圆周率= 3*2^N * m

从半径=1的内接6边形开始:

各多边形的一边长m:
 
 
 
 
 

半径=1圆形正内接多边形面积:

 
 
 
 

祖率

南北朝数学家祖冲之,并没有发明新的方法计算圆周率[15][16],而是将刘徽割圆术的计算,继续分割到12288边形,又用刘徽多边形面积公式,求得24576边形的面积:

 

再用刘徽圆周率不等式:

 
其中:
 
 
得不等式:
 

取八位有效数字即得祖冲之著名的圆周率不等式:

 

祖冲之算得的圆周率准确到小数点后7位,保持了世界最准确圆周率达900年之久。祖冲之熟悉何承天调日法,以3为弱率, 以4为强率,通过调日法计算7次得圆周率约率 ,计算23次得密率 

根据调日法计算出来的约率和密率都是强率;所谓约率只意味这个数值和圆周率的误差较大,并无约率“小于”圆周率的意思。

和阿基米德割圆术比较

希腊数学家阿基米德阿基米德割圆术计算圆周率,他的论证以计算线长为依据,在推导过程中不考虑多边形面积面积,和刘徽的以面积计算为中心的割圆术成对照。他用两套不同的方法方法,先多次分割圆的切线,证明π> ;另用内接多边形,计算到96边形,证明π< ,从而得到不等式

 
也就是  [17]

刘徽得到的圆周率弱值3.141024和强值3.142704都比阿基米德准确[18]

十七次調日值 阿基米德弱值 3.140845劉徽弱值 3.141024π二十三次調日值 祖沖之密率 3.14159292035劉徽強值 3.142704七次調日值 阿基米德強值 3.142857

[18]

参见

参考

  1. ^ 吴文俊 《中国数学史大系》第三卷 367页
  2. ^ “增周太多,过其实矣”
  3. ^ “此术微小”
  4. ^ 以六觚之一面乘半径,因而三之,得十二觚之幂(中国古代数学文献中指几何图形的面积)。若又割之,次以十二觚之一面乘半径,因而六之,则得二十四觚之幂。割之弥细,所失弥少。割之又割,则与园合体,而无所失矣。”《九章算术》第一卷 方田 刘徽注
  5. ^ 最先指出这一点的日本数学史家三上义夫
  6. ^ 觚面之外,犹有余径,以面乘余径,则幂出觚表,若夫觚之细者,与圆合体,则表无余径。表无余径则幂不出外矣。以一面乘半径,觚而裁之,每辄自倍。”
  7. ^ 刘徽注:“故以半周乘半径而为圆幂”。
  8. ^ 刘徽原文:
    术曰:“置圆径二尺,半之为一尺,即圆里觚之面也。令半径一尺为弦,半面五寸为句,为之求股。以句幂二十五寸减弦幂,余七十五寸,开方除之下至秒忽,又一退法,求其微数。微数无名,知以为分子,以下为分母,约作五分忽之二,故得股八寸六分六厘二秒五忽五分忽之二。以减半径,余一寸三分三厘九毫七秒四忽五分忽之三,谓之小句。觚之半面,又谓之小股,为之求弦。其幂二千六百七十九亿四千九百一十九万三千四百四十五忽,余分弃之。开方除之,即十二觚之一面也。”
  9. ^ 三国时代还没有发明小数点,而用分数表示个位以下的数
  10. ^ 刘徽原文:
    术曰:“亦令半径为弦,半面为句,为之求股。置上小弦幂,四而一,得六百六十九亿八千七百二十九万八千三百六十一忽,余分弃之,即句幂也。以减弦幂,其余开方除之,得股九寸六分五厘九毫二秒五忽五分忽之四。以减半径,余三分四厘七秒四忽五分忽之一,谓之小句。觚之半面又谓之小股。为之求小弦。其幂六百八十一亿四千八百三十四万九千四百六十六忽,余分弃之。开方除之,即二十四觚之一面也。”
  11. ^ 刘徽原文:
    术曰:“亦令半径为弦,半面为句,为之求股。置上小弦幂,四而一,得一百七十亿三千七百八万七千三百六十六忽,余分弃之,即句幂也。以减弦幂,其余,开方除之,得股九寸九分一厘四毫四秒四忽五分忽之四。以减半径,余八厘五毫五秒五忽五分忽之一,谓之小句。觚之半面又谓之小股。为之求小弦。其幂一百七十一亿一千二十七万八千八百一十三忽,余分弃之。开方除之,得小弦一寸三分八毫六忽,余分弃之,即四十八觚之一面”。
  12. ^ 刘徽原文:
    术日:“亦令半径为弦,半面为句,为之求股。置次上弦幂,四而一,得四十二亿七千七百五十六万九千七百三忽,余分弃之,则句幂也。以减弦幂,其余,开方除之,得股九寸九分七厘八毫五秒八忽十分忽之九。以减半径,余二厘一毫四秒一忽十分忽之一,谓之小句。觚之半面又谓之小股。为之求小弦。其幂四十二亿八千二百一十五万四千一十二忽,余分弃之。开方除之,得小弦六分五厘四毫三秒八忽,余分弃之,即九十六觚之一面。”
  13. ^ 最早由日本数学史家三上义夫提出
  14. ^ 《李俨.钱宝琮科学史全集》卷9 396页
  15. ^ 阮元撰《畴人传》:“后祖冲之更创密法,仍是割之又割耳,未能于徽注之外,别立新术也”
  16. ^ 吴文俊主编《中国数学史大系》第二卷 219页
  17. ^ 阿基米德原著 《量圆》 《中国数学史大系》 副卷第一 第二章 第三编 希腊 197-203页
  18. ^ 18.0 18.1 阿基米德原著 《量圆》 《中国数学史大系》 副卷第一 第二章 第三编 希腊 203页

延伸閱讀