証明。他并在注文中提出割圆术，以内接正六边形开始，逐次倍加边数的方法，逐步逼近圆周率。《九章算术》仅以π=3，刘徽则先求得formula_4，和晋武库王莽铜律嘉量比较，觉得“此术微小”，于是再用圆周率捷法求得π=formula_5。前三世纪，希腊数学家阿基米德已用正多边形逐渐增加边数的方法求圆周率，但他兼用内接和外切两种计算，得到出的估计值:formula_6；也就是 formula_7。刘徽的割圆术相比更为简便，刘徽所得的π=3.1416也优于阿基米德。刘徽并在《九章算术注》提出重差术，应用中国传统