<>具体方法就是当年刘徽的“割圆术”,一直割到圆内接12288边形和外切24576边形,就可得到祖冲之的结论。再继续,精确度更高。以下是在Maple上编程实现的。</P>
<>a(1):=1:pn(1):=3*a(1):b(1):=a(1)/sqrt(1-0.25*a(1)^2):pw(1):=3*b(1):<BR> for i from 1 to 16 do </P>
<> a(i+1):=evalf(sqrt((1-sqrt(1-0.25*a(i)^2))^2+0.25*a(i)^2),60):</P>
<P> pn(i+1):=evalf(3*2^i*a(i+1),60):</P>
<P> b(i+1):=evalf(a(i+1)/sqrt(1-0.25*a(i+1)^2),60):</P>
<P> pw(i+1)=evalf(3*2^i*b(i+1),60)d:</P>
<P> pn6144:=pn(11);pn12288:=pn(12);</P>
<P> pw24576:=evalf(3*2^12*b(13),60);pw12288:=evalf(3*2^11*b(12),60);<BR></P>