17.4.2　单位圆面积算式

此外，历代《九章算术》注只记载了应用割圆术到正3072边形。

要达到与《隋书》“正数在盈胬二限之间”相同精度，假如如祖冲之那样，取一亿为一丈，由九位数字算起，需要按刘徽需要应用割圆术，算到正12288边形和正24576边形，才可以得出

正12288边形面积S12288=3.14159251，

正24576边形面积S24576=3.14159262。

根据刘徽不等式，可有

S24576＜S＜S24576+(S24576-S12288),

即可算出

3.14159262＜π＜3.14159271。

这才会出现3.1415926＜π＜3.1415927。