arctanx加减公式推导

arctanx的加减公式是三角函数中的重要知识，常用于简化计算和解决实际问题。其核心思想是利用正切的加减公式进行反推。

总结：

- 公式1： arctan a + arctan b = arctan[(a + b)/(1 - ab)]（当ab < 1时）

- 公式2： arctan a - arctan b = arctan[(a - b)/(1 + ab)]（当ab > -1时）

注意： 公式成立需考虑角度范围及符号问题，实际应用中需结合具体数值判断。

这些公式在微积分、工程计算中广泛应用，掌握其推导过程有助于加深理解。