矩」定理与「股实之矩」定理。当中唯有「勾股」定理已见于《周髀算经》。稍后的刘徽亦魏晋时人，着有《九章算术注》，为《九章算术》各种算法提出简括証明。他并在注文中提出割圆术，以内接正六边形开始，逐次倍加边数的方法，逐步逼近圆周率。《九章算术》仅以π=3，刘徽则先求得formula_4，和晋武库王莽铜律嘉量比较，觉得“此术微小”，于是再用圆周率捷法求得π=formula_5。前三世纪，希腊数学家阿基米德已用正多边形逐渐增加边数的方法求圆周率，但他兼用内接和外切两种计算，得到出的估计值:formula_6；也就