arctanx加减公式推导

arctan所有公式有

tan(arctan a ) = a；

arctan(-x) = -arctan x；

arctan A + arctan B= arctan(A+B)/(1-AB)；

arctan x + arctan (1/x) =π/2。

反三角函数中的反正切，一般大学高等数学中有涉及。反三角函数并不能狭义的理解为三角函数的反函数，是个多值函数。