查看“割圆术 (刘徽)”的源代码

{{Pi box}}
[[File:Cutcircle2.svg|thumb|right|300px|刘徽割圆术原理]]
[[三国]]时代[[数学家]][[刘徽]]的'''割圆术'''是中国古代数学中“一个十分精彩的算法<ref>[[吴文俊]] 《中国数学史大系》第三卷  367页</ref>”。在此之前，[[圆周率]]采用“径一周三”的实验数据。[[东汉]]科学家[[张衡]]采用<math>\pi =\frac{736}{232}=3.172</math>和<math>\pi=\sqrt{10}=3.16</math>。刘徽认为<math>\pi=\sqrt{10}</math>过大。<ref>“增周太多，过其实矣”</ref>。[[东汉]]天文学家[[王蕃]]采用<math>\pi={142 \over 45}=3.156</math>。这些圆周率都是实验值，都只准确到二位数字。刘徽是中国数学史上最先创造了一个从数学上计算圆周率到任意精确度的迭代程序。他自己通过分割圆为192边形，计算出圆周率在3.141024 与 3.142704之间，取其近似，并以 <math>{157 \over 50}</math>表示。这个数值准确到三位数字，比前人的圆周率数值都准，但他自己次承认这个数值偏小<ref>“此术微小”</ref>。后来刘徽发明一种快捷算法，可以只用96边形得到和1536边形同等的精确度，从而得令他自己满意的<math>\pi=3.1416</math>。

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

刘徽在圆周率领域的贡献，不仅在于求得 <math>{157 \over 50}</math>和<math>\pi=3.1416</math>，更重要的在于他创造了一世界数学史上最精彩的割圆术：[[阿基米德]]割圆术和刘徽割圆术一样用双向迫近，因而同样严谨完备，但远不如刘徽简洁；阿基米德用双归谬法推证圆面积，不如刘徽用极限论先进；[[托勒密]]割圆术和[[阿尔·卡西]]割圆术只是单向迫近，不如刘徽严谨；[[赵友欣]]割圆术和[[日本]][[关孝和]]割圆术从正方开割，属于刘徽割圆术的变化，而且也是单向迫近。刘徽割圆术虽然不是世界最早，却是数学史上最严谨完备简洁的[[割圆术]]。{{Fact|time=2009-03-22T17:57:36+00:00}}<!-- 本模板調用由 {{subst:Fact/auto}} 自動產生 -->

==圆面积公式==
[[File:Cutcircle.svg|thumb|right|300px|圆面积=圆的半周长X半径]]
刘徽割圆术是建立在圆面积论的基础之上的。他首先论证，将圆分割成多边形，分割来越细，多边形的边数越多，多边形的面积就和圆面积没有差别了。他说，将6边形一边的长度乘以圆半径，再乘3，得12边形的面积。将12边形的一边长乘半径，再乘6，得24边形面积。越割越细，多边形和圆面积的差越小。如此割了再割，最后终于和圆合为一体，毫无差别了<ref>以六觚之一面乘半径，因而三之，得十二觚之幂(中国古代数学文献中'''幂'''指几何图形的面积)。若又割之，次以十二觚之一面乘半径，因而六之，则得二十四觚之幂。割之弥细，所失弥少。割之又割，则与园合体，而无所失矣。”《九章算术》第一卷 方田 刘徽注</ref>。

:6边形的面积显然和圆面积相差很多。
:[[出入相补#内接正十二边形面积|内接正12边形面积]] = 6边形面积+6个蓝色三角形面积，向圆面积趋近了一步。
:正24边形面积=6边形面积+6个蓝色三角形面积+12个黄色三角形面积，更加接近圆面积了。
:显然：
:正12边形面积 <正24边形面积< 正48边形面积<正96边形面积……<内接6*2<sup>N</sup>边形面积<圆面积。

刘徽明显已经掌握了无穷小分割和极限的概念：<ref>最先指出这一点的日本数学史家[[三上义夫]]</ref>
:<math>   \lim_{N \to \infty}</math>  内接 6*2<sup>N</sup>边形面积  <math>\longrightarrow</math> 圆面积。
:他又指出：6边形之外，遗留了半径的一小段d ，称为余径。将余径d乘多边形的一边，所得长方形ABCD，已经越出圆周范围之外。如果将圆周分割得很细，余径d趋向于0，而长方形ABCD的面积也趋向于0<ref>觚面之外，犹有余径，以面乘余径，则幂出觚表，若夫觚之细者，与圆合体，则表无余径。表无余径则幂不出外矣。以一面乘半径，觚而裁之，每辄自倍。”</ref>。

显然，刘徽之所以研究余径，目的是从上限和下限两个方面逐步逼近圆面积：
:<math>\lim_{N \to \infty}</math>  内接 6*2<sup>N</sup>边形面积  <math>\longrightarrow</math> 圆面积<math> \longleftarrow \lim_{N \to \infty}</math>  内接 6*2<sup>N</sup>边形面积+6*2<sup>N</sup>*d*L。

刘徽进一步证明圆面积=圆周/2  ×  半径。
:关于多边形的面积，刘徽有如下公式：
:2 N边形的面积= N边形的半周长×R。
:=<math> L\times \frac{N}{2} \times R</math>,
:其中L为N边形的单边长，R为圆半径。
:此公式可用刘徽[[出入相补|出入相补原理]]证明： 将内接2N边形，分割，然后重新排列成宽为  L x N/2,  高为R的长方形；
:显然2N边形的面积=长方形面积=<math>\frac{N}{2}\cdot  L \cdot R</math>=N边形的半周长 * R
:当<math>N \longrightarrow \infty</math>
:N边形的半周长<math>\longrightarrow </math>圆的半周长
:<math>\lim_{N \to \infty}</math> 2N边形面积=N边形的半周长 *  R <math>\longrightarrow</math>圆面积
:所以
:圆的半周长 * R = 圆面积<ref>刘徽注：“故以半周乘半径而为圆幂”。</ref>
:因此
:圆周  = 2* 圆面积/R
:圆周率<math>  \overset{\underset{\mathrm{def}}{}}{=}</math>圆周/直径=  2* 圆面积/(R*2R)= 圆面积/R<sup>2</sup>
:= <math>\lim_{N \to \infty}</math> 2N边形的面积/R<sup>2</sup>

==割圆术程序==
刘徽从半径1尺圆的[[外接圓|内接]][[正六邊形|正6边形]]开始，逐次分割为12边形，24边形，48边形，96边形。反复使用勾股定理求得各多边形的边长，又用刘氏多边形面积公式求多边形面积。
===分割6边形为[[正十二邊形|12边形]]===
[[File:Liuhui geyuanshu.svg|thumb|right|300px|刘徽割圆术原理]]
令圆直径为2尺，折半得半径1尺。圆内接正6边形的边长也是1尺。<ref>刘徽原文：
<div style="font-size: 80%">
术曰：“置圆径二尺，半之为一尺，即圆里觚之面也。令半径一尺为弦，半面五寸为句，为之求股。以句幂二十五寸减弦幂，余七十五寸，开方除之下至秒忽，又一退法，求其微数。微数无名，知以为分子，以下为分母，约作五分忽之二，故得股八寸六分六厘二秒五忽五分忽之二。以减半径，余一寸三分三厘九毫七秒四忽五分忽之三，谓之小句。觚之半面，又谓之小股，为之求弦。其幂二千六百七十九亿四千九百一十九万三千四百四十五忽，余分弃之。开方除之，即十二觚之一面也。”</div>
</ref>
如图：
:半径OA=r=1尺=10寸
:6边形单边长AB=M=10寸
:从圆心O作AB的垂直平分线OC，将AB平分为二，
::AP=BP=M/2，AP+BP=AB
:垂直平分线OC和圆周相交于C，
:作直线AC
:AC就是12边形的一边，

<span style="font-size:larger;">OAP是一个直角三角形</span>
:弦=半径=r=10寸
:勾=AP=M/2=5寸
:股OP 可用勾股定理求得：

:令弦长=X，股长=G， 句长=M/2，则：
:<math>{} G^2 = r^2 - \left(\frac{M}{2}\right)^2=100-25=75</math> 平方寸
:<math>{}G= \sqrt{r^2-  \frac{M^2}{4}}</math>
:因为1寸 =100000忽
:1平方寸 =10000000000平方忽
:<math>{}G=\sqrt{750000000000}=866025 {2 \over 5}</math>忽<ref>三国时代还没有发明小数点，而用分数表示个位以下的数</ref>

<span style="font-size:larger;">APC是一个小直角三角形</span>

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

:<math>{} j= r - G =1000000-866025 {2 \over 5}= 133974 {3 \over 5 }</math>忽

:用勾股定理求m：

:<math>{}m^2= \left(\frac{M}{2}\right)^2 + j^2</math>
:<span style="font-size:larger;">=<math>{}(500000)^2 + (133974.6)^2=267949193445</math></span>平方忽

:12边形的一边长度<math> = m = \sqrt{267949193445} =517638.09</math>忽
::
:12边形的一边长度的一半<math>= {m \over 2}={ 517638.09 \over 2}=258819.045</math>忽

===分割12边形为[[正二十四邊形|24边形]]===
将上一轮的多边形边长m作为新一轮割圆的开始，
作替换M=m=12边形的一边长度<math>=517638.09</math>忽
继续将此多边形的一边平分，周而复始，重复使用<ref>刘徽原文：
<div style="font-size: 85%">
术曰：“亦令半径为弦，半面为句，为之求股。置上小弦幂，四而一，得六百六十九亿八千七百二十九万八千三百六十一忽，余分弃之，即句幂也。以减弦幂，其余开方除之，得股九寸六分五厘九毫二秒五忽五分忽之四。以减半径，余三分四厘七秒四忽五分忽之一，谓之小句。觚之半面又谓之小股。为之求小弦。其幂六百八十一亿四千八百三十四万九千四百六十六忽，余分弃之。开方除之，即二十四觚之一面也。”<div>
</ref>：
:<math>{}G= \sqrt{r^2-  \frac{M^2}{4}}</math>
:<math>{} j= r - G</math>
:<math>{}m^2= \left(\frac{M}{2}\right)^2 + j^2</math>
:<math>{}= \frac{M^2}{4}+j^2</math>

:由上M^2已有现成数值<math>{}M^2=      267949193445</math>
:<math> \frac{M^2}{4}={267949193445 \over 4}=66987298361</math>

:<math>{}G= \sqrt{r^2-\frac{M^2}{4}}=\sqrt{1000000000000-66987298361}=965925{ 4 \over 5}</math>

:<math>{} j= r - G   =1000000-965925{ 4 \over 5}=34074{1 \over 5}</math>
:<math>{}m^2= (\frac{M}{2})^2 + j^2  =66987298361+ (34074{1 \over 5})^2=68148349466</math>
::24边形一边长度 <math>m=\sqrt{68148349466}=261052{ 2 \over 5}</math>

===分割24边形为[[正四十八邊形|48边形]]===
将第二轮的多边形边长m作为第三轮割圆的起点<ref>刘徽原文：<div style="font-size: 85%">
术曰：“亦令半径为弦，半面为句，为之求股。置上小弦幂，四而一，得一百七十亿三千七百八万七千三百六十六忽，余分弃之，即句幂也。以减弦幂，其余，开方除之，得股九寸九分一厘四毫四秒四忽五分忽之四。以减半径，余八厘五毫五秒五忽五分忽之一，谓之小句。觚之半面又谓之小股。为之求小弦。其幂一百七十一亿一千二十七万八千八百一十三忽，余分弃之。开方除之，得小弦一寸三分八毫六忽，余分弃之，即四十八觚之一面”。</div></ref>，
作替换<math>M=m=261052{ 2 \over 5}</math>
:<math>{}M^2=m^2 =68148349466</math>

::<math> \frac{M^2}{4}={68148349466 \over 4}=17037087366</math>

:<math>{}G= \sqrt{r^2-\frac{M^2}{4}}=\sqrt{1000000000000-17037087366}=991444 {4 \over 5}</math>

:<math>{} j = r - G =1000000-991444 {4 \over 5}=8555{ 1 \over 5}</math>
:<math>{}m^2=(\frac{M}{2})^2 + j^2= {68148349466 \over 4}+(8555 {1 \over 5})^2=17110278813</math>

:开平方，得48边形一面<math>m= \sqrt{17110278813}=130806</math>忽

根据刘徽多边形面积公式：
:96边形的面积= 48边形的半周长×半径=<math> m \times \frac{48}{2} \times r</math>,

所以96边形的面积<math>A_{96}= 130806 \times \frac{48}{2}\times 1000000</math>
:<math>={130806 \times 24 \times 1000000}=31393440000000</math>平方忽
:<math>A_{96}=\frac{31393440000000}{10000000000}= 313{584 \over 625}</math> 平方寸

===分割48边形为[[正九十六邊形|96边形]]===
将第三轮的多边形边长m作为第四轮割圆的起点<ref>刘徽原文：
<div style="font-size: 85%">
术日：“亦令半径为弦，半面为句，为之求股。置次上弦幂，四而一，得四十二亿七千七百五十六万九千七百三忽，余分弃之，则句幂也。以减弦幂，其余，开方除之，得股九寸九分七厘八毫五秒八忽十分忽之九。以减半径，余二厘一毫四秒一忽十分忽之一，谓之小句。觚之半面又谓之小股。为之求小弦。其幂四十二亿八千二百一十五万四千一十二忽，余分弃之。开方除之，得小弦六分五厘四毫三秒八忽，余分弃之，即九十六觚之一面。”</div>
</ref>

作替换<math>M=m=130806</math>忽

:<math>M^2=m^2 =17110278813</math>

::<math> \frac{M^2}{4}={17110278813 \over 4}=4277569703</math>

:<math>{}G= \sqrt{r^2-\frac{M^2}{4}}=\sqrt{1000000000000-4277569703}= 997858 {9 \over 10}</math>

:<math>{} j = r - G =1000000-997858{ 9 \over 10}=2141{1 \over 10}</math>
:<math>{}m^2=(\frac{M}{2})^2 + j^2= {17110278813 \over 4}+(2141{1 \over 10})^2 =4282154012</math>
:开方得
:96边形的一边<math>m=\sqrt{4282154012}=65438</math>忽

根据刘徽多边形面积公式：
:192边形的面积<math>A_{192}=</math>96边形的半周长×半径=<math> m \times \frac{96}{2} \times r</math>

所以192边形的面积<math>A_{192}= 65438 \times \frac{96}{2}\times 1000000</math> 平方忽
:<math>={65438 \times 48 \times 1000000}=3141024000000</math>平方忽
:<math>A_{192}= \frac{3141024000000}{10000000000}= 314 {64 \over 625}</math> 平方寸

==刘徽圆周率不等式==
[[File:Liuhui Pi Inequality.svg|right|thumb|320px|刘徽圆周率不等式示意图]]
刘徽利用多边形面积差的几何学，得出圆周率的双边不等式。
:如图：
:黄色代表N边形面积<math>A_{N}</math>
:黄色+绿色代表2N边形面积<math>A_{2N}</math>
:绿色代表2N边形面积与N边形面积之差<math>D_{2N}</math>=<math>A_{2N} -A_{N}</math>
:长方形ABCD面积<math>=2 \times D_{2N}</math>
:C代表圆面积。
:如下不等式成立：

:<math>A_{2N} <  C  < A_{2N} +1 \times D_{2N} </math>
或
:<math>A_{2N} <  C  < A_{N} + 2 \times D_{2N}</math>

当N=96，2N=192：

:192边形面积 <math>A_{192}= 314  {64 \over 625}</math>
:96边形的面积 <math>A_{96}= 313{  584 \over 625}</math>
::
:192边形面积和96边形的面积之差（差幂）<math>=D_{192}=A_{192} - A_{96}=314{64 \over 625} - 313\frac{584}{625}</math>

:<math>D_{192}=  {105 \over 625}</math>

:<math>A_{192} <  C  < A_{96} + 2 \times D_{192} =A_{192} + D_{192}</math>

:<math>314{64 \over 625} < C < 313{584 \over 625}+ 2 \times {105 \over 625}= 314{64 \over 625} + {105 \over 625}</math>

:<math>314{64 \over 625} < C < 314 {169 \over 625}</math>

:即
:<math>3.141024  < \pi  <3.142704 </math>

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

:圆面积~192边形面积=<math>314  {64 \over 625}  =314.1024 \approx 314</math>
:所以圆周率=圆面积/半径<sup>2</sup><math>\approx \frac{314 }{100} ={157  \over 50}(=3.14)</math>

这就是徽率。

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

==圆周率捷法==
刘徽在得圆周率=3.14之后，将这个数值和晋武库中汉王莽时代制造的铜制体积度量衡标准[[嘉量斛]]的直径和容积检验，发现3.14这个数值还是偏小。于是继续割圆到1536边形，求出3072边形的面积，得到令自己满意的圆周率<math>={3927 \over 1250} =3.1416 </math>。但是刘徽却不叙述“分割96边形为192边形”，“分割192边形为384边形”，“分割384边形为768边形”，“分割768边形为1536边形”：因为他发现了一个快捷的算法<ref>最早由日本数学史家[[三上义夫]]提出</ref>，只要利用96边形的数据经过一次除法和一次加法，就可以获得和计算到1536边形同等的精确度 <math> \pi =3.1416</math>，省去了4次开方计算；毕竟在三国时代用[[筹算]]进行开方相当的繁难。

刘徽圆周率捷法乃是以他素有研究的多边形面积差为基础的。
:令<math>D_{2N}</math>表示2N边形的面积<math>A_{2N}</math>和N边形的面积<math>A_{N}</math>差

<math>D_{2N} = A_{2N} - A_{N}</math>

:<math>D_{96}</math>，<math>D_{192}</math>，<math>D_{384}</math>，<math>D_{768} \cdots</math>形成一个等比级数:

:<math>D_{192} \approx {1 \over 4} \times D_{96}</math>
:<math>D_{384} \approx {1 \over 4} \times D_{192}</math>
:<math>D_{768}\approx {1 \over 4} \times D_{384}</math>
:因此
:<math>
\begin{align}
D_{384} & {} \approx  \frac{1}{4} D_{192} \\
D_{768} & {} \approx  \left(\frac{1}{4}\right)^2 D_{192} \\
D_{1536} & {} \approx  \left(\frac{1}{4}\right)^3 D_{192} \\
D_{3072} & {} \approx  \left(\frac{1}{4}\right)^4 D_{192} \\
& {} \ \ \vdots
\end{align}
</math>

:<math>{}\pi = A_{192} + D_{384} + D_{768}+D_{1536}+D_{3072} + \cdots
\approx  A_{192} + F \cdot D_{192}.</math>

其中
:<math> F = \frac{1}{4}+\left(\frac{1}{4}\right)^2 +\left(\frac{1}{4}\right)^3 + \left(\frac{1}{4}\right)^4 +\cdots=\frac{\frac{1}{4}}{1-\frac{1}{4}}=\frac{1}{3}.</math>
:<math> {}=\pi = A_{192} + \left(\frac{1}{3}\right)D_{192} \sim {3927 \over 1250} = 3.1416.\,</math>

刘徽圆周率捷法，可以解释如下几个问题：{{Fact|time=2009-03-22T17:57:36+00:00}}<!-- 本模板調用由 {{subst:Fact/auto}} 自動產生 -->

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

刘徽的<math>  \pi </math> =<math> 3927 \over 1250 </math> 后来见于印度数学中，足证古印度数学采用刘徽注《九章算术》<ref>《李俨.钱宝琮科学史全集》卷9 396页</ref>

==割圆术迭代公式==
如令半径=1，
从
:<math>{} G= \sqrt{r^2-  \frac{M^2}{4}}</math>
:<math>{} j= r - G</math>
:<math>{} m^2= \frac{M^2}{4}+j^2</math>

可简化为：
:<math>{}G= \sqrt{1-  \frac{M^2}{4}}</math>
:<math>{}m^2= \frac{M^2}{4}+(1-G)^2</math>
:<math>m^2= \frac{M^2}{4}+1-2 \times G + G^2</math>
:<math>m^2= \frac{M^2}{4}+1-2 \times G + 1-  \frac{M^2}{4}</math>
:<math>m^2= 2-2 \times G= 2 -2 \times \sqrt{1-  \frac{M^2}{4}}</math>
:<math>m^2=  2 -\sqrt{4-  {M^2}}</math>
:由此可得刘徽割圆术迭代公式：
::            <math>  2-m^2 =\sqrt{2+ (2-M^2)}</math>
:圆周率= 3*2^N * m
===π的连平方根表示式===
根据刘徽割圆术迭代公式：
::            <math>  2-m^2 =\sqrt{2+ (2-M^2)}</math>
:圆周率= 3*2^N * m

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

:各多边形的一边长m：
:<math> m_{6}= M=1</math>
:<math>{} m_{12} = \sqrt{2- \sqrt{2+1}} </math>
:<math>{} m_{24} = \sqrt{2-\sqrt{2+ \sqrt{2+1}}} </math>
:<math>{} m_{48} = \sqrt{2-\sqrt{2+\sqrt{2+ \sqrt{2+1}}}} </math>
:<math>{} m_{96} = \sqrt{2-\sqrt{2+\sqrt{2+\sqrt{2+ \sqrt{2+1}}}}} </math>

半径=1圆形正内接多边形面积：
:<math>{}\pi\approx A_{24} =m_{12}\cdot 6 =\sqrt{2- \sqrt{2+1}}\cdot 6 </math>
:<math>{}\pi\approx A_{48} =m_{24}\cdot 12 =\sqrt{2-\sqrt{2+ \sqrt{2+1}}}\cdot 12</math>
:<math>{}\pi\approx A_{96} =m_{48}\cdot 24 =\sqrt{2-\sqrt{2+\sqrt{2+\sqrt{2+1}}}}\cdot24</math>
:<math>{}\pi\approx A_{192} =m_{96}\cdot 48 =\sqrt{2-\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+1}}}}}\cdot 48</math>

==祖率==
南北朝数学家祖冲之，并没有发明新的方法计算圆周率<ref>清[[阮元]]撰《畴人传》：“后祖冲之更创密法，仍是割之又割耳，未能于徽注之外，别立新术也”</ref><ref>[[吴文俊]]主编《中国数学史大系》第二卷 219页</ref>，而是将刘徽割圆术的计算，继续分割到12288边形，又用刘徽多边形面积公式，求得24576边形的面积：
:<math> A_{24576}=3.14159261864 < \pi </math>。

再用刘徽圆周率不等式：
:<math> A_{24576}=3.14159261864 < \pi <A_{24576} + D_{24576}</math>。
:其中：
:<math> D_{24576}=A_{24576} - A_{12288}=0.0000001021</math>

:<math> A_{24576}=3.14159261864 < \pi <3.14159261864  +0.0000001021</math>。
:得不等式：
:<math>3.14159261864 < \pi <3.141592706934</math>。

取八位有效数字即得祖冲之著名的圆周率不等式：
:<math> 3.1415926 < \pi <3.1415927</math>。

祖冲之算得的圆周率准确到小数点后7位，保持了世界最准确圆周率达900年之久。祖冲之熟悉[[何承天 (南朝)|何承天]][[调日法#圆周率约率和密率|调日法]]，以3为弱率， 以4为强率，通过调日法计算7次得[[圆周率]]约率<math>{22 \over 7} >\pi </math>，计算23次得密率<math>{355 \over 113} > \pi</math>。

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

==和阿基米德割圆术比较==
[[希腊]]数学家[[阿基米德]]用[[割圆术 (阿基米德)|阿基米德割圆术]]计算圆周率，他的论证以计算线长为依据，在推导过程中不考虑多边形面积面积，和刘徽的以面积计算为中心的割圆术成对照。他用两套不同的方法方法，先多次分割圆的切线，证明π><math>{223 \over 71}</math>；另用内接多边形，计算到96边形，证明π<<math>{22 \over 7}</math>，从而得到不等式
:<math>{223 \over 71} < \pi < {22 \over 7}</math>。
:也就是  <math> 3.140845 < \pi < 3.142857</math><ref>阿基米德原著 《量圆》 《中国数学史大系》 副卷第一 第二章 第三编 希腊 197-203页</ref>

刘徽得到的圆周率弱值3.141024和强值3.142704都比阿基米德准确<ref>阿基米德原著 《量圆》 《中国数学史大系》 副卷第一 第二章 第三编 希腊 203页</ref>。

:<span style="color: red;">十七次調日值　阿基米德弱值 3.140845</span> ＜ <span style="color: blue;">劉徽弱值 3.141024</span> ＜ '''π''' ＜ <span style="color: green;">二十三次調日值　祖沖之密率 3.14159292035</span> ＜ <span style="color: blue;">劉徽強值 3.142704</span> ＜ <span style="color: red;">七次調日值　阿基米德強值 3.142857</span> 。

:刘徽的方法较简洁，只用内接多边形极限，未用外接多边形，所得圆周率也优于阿基米德<ref>阿基米德原著 《量圆》 《中国数学史大系》 副卷第一 第二章 第三编 希腊 203页</ref>。

==参见==
[[赵友钦割圆术]]

==注释==
<div class="references-small">
<references />
</div>
{{中国数学史}}
==延伸閱讀==
{{wikisource|刘徽割圆术|刘徽割圆术}}
*《[[九章算术]]》
*[[吴文俊]]主编 《[[中国数学史大系]]》第三卷 第一章第三节 刘徽的割圆术  152-164页  ISBN 7-303-04557-0
*傅海伦编著 《中外数学史概论》 第四章 第三节 刘徽的割圆术  49-52页 ISBN 987-7-03-018477-1

[[Category:中國古代數學]]
[[Category:圆周率]]
[[Category:圆周率算法]]
[[Category:数学近似]]