formula_1、formula_2、formula_3作为圆周率的值。
魏晋南北朝.此一时期(220-581)，中国数学在四方面有长足进展，分别为直角三角形三边关系的确认、测量学、平面面积和立体体积的计算，以及推算圆周率，由赵爽、刘徽、祖沖之与祖暅父子4人个别或相继完成。赵爽是魏晋时人，着有《周髀算经注》，其中「勾股圆方图注」附有图示，列出有关直角三角形三边关系的命题21条，分属「勾股」定理、「弦图」定理、「勾实之矩」定理与「股实之矩」定理。当中唯有「勾股」定理已见于《周髀