之矩」定理与「股实之矩」定理。当中唯有「勾股」定理已见于《周髀算经》。稍后的刘徽亦魏晋时人，着有《九章算术注》，为《九章算术》各种算法提出简括証明。他并在注文中提出割圆术，以内接正六边形开始，逐次倍加边数的方法，逐步逼近圆周率。前三世纪，希腊数学家阿基米德已用正多边形逐渐增加边数的方法求圆周率，但他兼用内接和外切两种计算，得到出的估计值:formula_4；也就是 formula_5。刘徽的割圆术相比更为简便，刘徽所得的π=3.1416也优于阿基米德。《九章算术注》亦提出重差术，应用中国传统的出入相补原