算圆周率的近似值，最简单的公式是formula_15时的情况，称为莱布尼茨公式更精确的写法是梅钦类公式
性质.由于反正切函数是一个奇函数，因此满足下面等式：反正切函数的微分导数为：
Atan2.在三角函数中，atan2是反正切函数的一个变种，有两个变数，主要是提供给计算机编程语言一个简便的角度计算方式，其定义为：