摘要
从arctanc=arctana+arctanb和arctanx的级数展开式出发,对圆周率π可以推导出许多计算公式,并可设计出计算软件.基于此软件,可验证现有公式的正确性,找出现有公式的失误,并推导出收敛效率更高的计算公式.
From the equality of arctan c = arctan a + arctan b, and the expression of the series of inverse tangent function, many formulas for computing the ratio of circumference π can be derived, and the computational software for this aim can be designed. Based on the computational software, the correctness or the errors of the present formulas can be checked, and the new formulas with rapid convergence can be created. The method based on inverse tangent function for computing π has still great vitality at present.
出处
《上海理工大学学报》
EI
CAS
北大核心
2005年第3期271-274,共4页
Journal of University of Shanghai For Science and Technology
关键词
圆周率
反正切函数
级数计算
Π
计算公式
级数展开式
计算软件
正确性
推导
收敛
ratio of circumference
series of inverse tangent function
computational software
decomposition of inverse tangent function
machine proof
