上海理工大学学报
上海理工大學學報
상해리공대학학보
2005年
3期
271-274
,共4页
圆周率π%反正切函数的级数%计算软件%反正切函数的分解%机器证明
圓週率π%反正切函數的級數%計算軟件%反正切函數的分解%機器證明
원주솔π%반정절함수적급수%계산연건%반정절함수적분해%궤기증명
从arctan c=arctan a+arctan b和arctan x的级数展开式出发,对圆周率π可以推导出许多计算公式,并可设计出计算软件.基于此软件,可验证现有公式的正确性,找出现有公式的失误,并推导出收敛效率更高的计算公式.
從arctan c=arctan a+arctan b和arctan x的級數展開式齣髮,對圓週率π可以推導齣許多計算公式,併可設計齣計算軟件.基于此軟件,可驗證現有公式的正確性,找齣現有公式的失誤,併推導齣收斂效率更高的計算公式.
종arctan c=arctan a+arctan b화arctan x적급수전개식출발,대원주솔π가이추도출허다계산공식,병가설계출계산연건.기우차연건,가험증현유공식적정학성,조출현유공식적실오,병추도출수렴효솔경고적계산공식.