反正切函数

反正切函数（arctan 或 tan⁻¹）是正切函数在区间 (−π/2, π/2) 上的反函数，记作 y = arctan x。其定义域为全体实数 R，值域为开区间 (−π/2, π/2)。作为基本初等函数之一，反正切函数在数学分析、三角运算、复变函数和工程应用中具有重要地位。

定义与基本性质

对于任意实数 x，y = arctan x 是满足 tan y = x 且 y ∈ (−π/2, π/2) 的唯一实数。正切函数在开区间 (−π/2, π/2) 上严格单调递增且连续，值域覆盖全体实数，因此其反函数存在且唯一。这种一一对应的关系保证了反正切函数作为单值函数的合法性。

反正切函数具有以下基本性质。第一，奇函数性：arctan(−x) = −arctan x 对一切实数 x 成立，这一性质源于正切函数本身的奇对称性，也使得反正切函数的图像关于原点中心对称。第二，单调性：反正切函数在整个定义域上严格单调递增，即若 x₁ < x₂，则 arctan x₁ < arctan x₂。第三，有界性与渐近性：当 x → +∞ 时 arctan x → π/2，当 x → −∞ 时 arctan x → −π/2，函数图像存在两条水平渐近线 y = ±π/2。第四，零点：arctan 0 = 0，这是定义中的自然结论。

导数与高阶导数

反正切函数的导数公式具有极为简洁的形式：

d/dx arctan x = 1/(1 + x²)

该公式可通过反函数求导法则直接导出：若 y = arctan x，则 x = tan y，两边对 x 求导得 1 = sec² y · dy/dx，故 dy/dx = 1/sec² y = 1/(1 + tan² y) = 1/(1 + x²)。由于 1/(1 + x²) > 0 对一切实数 x 恒成立，这再次印证了反正切函数的严格单调递增性。

高阶导数可以表示为有理函数的递推形式。通过莱布尼茨法则或直接对 1/(1 + x²) 反复求导，可得 arctan x 的 n 阶导数一般形式涉及切比雪夫多项式。例如二阶导数为 d²/dx² arctan x = −2x/(1 + x²)²。

积分表达式

反正切函数的不定积分为：

∫ arctan x dx = x arctan x − (1/2) ln(1 + x²) + C

该结果可通过分部积分法得到：令 u = arctan x，dv = dx，则 du = dx/(1 + x²)，v = x，代入分部积分公式即得。

此外，反正切函数的定积分也出现在诸多经典结果中，例如：

∫₀¹ [arctan x / x] dx = G

其中 G 为卡特兰常数，约等于 0.915965594。该积分是数论与组合数学中重要常数的一种表示方式。

级数展开与莱布尼茨公式

当 |x| ≤ 1 时，反正切函数可展开为收敛的幂级数：

这便是著名的莱布尼茨级数，其收敛半径为 1。在端点 x = ±1 处，级数条件收敛。特别地，取 x = 1 可得：

π/4 = 1 − 1/3 + 1/5 − 1/7 + 1/9 − ⋯

这是历史上第一个将圆周率 π 表示为有理数交错级数之和的公式，由莱布尼茨于 17 世纪发现。该级数收敛极慢，实际计算中很少直接使用，但其理论意义深远，标志着无穷级数方法在分析学中的奠基。

为提高收敛速度，实用中常用马青公式等基于反正切加法公式的快速算法：

π/4 = 4 arctan(1/5) − arctan(1/239)

该公式利用小参数的反正切级数快速收敛特性，曾被用于计算 π 的上万位小数。

反正切加法公式

反正切函数满足以下重要的加法公式：

arctan u + arctan v = arctan[(u+v)/(1−uv)] + kπ

其中 k 为整数，其取值由 uv 与 1 的大小关系决定。具体而言：当 uv < 1 时 k = 0；当 uv > 1 且 u, v > 0 时 k = 1；当 uv > 1 且 u, v < 0 时 k = −1。该公式在三角化简和数值计算中极为常用。

另一个常用的恒等式是：

arctan x + arctan(1/x) = π/2, x > 0

该公式几何意义清晰：若一个角的正切为 x，其余角的正切即为 1/x。

复数域中的推广

反正切函数可自然推广到复数域。对于复数 z，有：

arctan z = (1/2i) ln[(1 + iz)/(1 − iz)]

该表达式将反正切函数与复对数函数联系起来，使其定义域扩展至去掉两个支点 z = ±i 的整个复平面。在复分析中，反正切函数是多值函数，其主值支通常取割线沿虚轴连接 i 和 −i 的黎曼面。

与反三角函数的转换

反正切函数与反正弦、反余弦函数之间存在以下转换关系：

arcsin x = arctan(x/√(1−x²)), x ∈ (−1, 1) arccos x = π/2 − arctan(x/√(1−x²)), x ∈ (−1, 1)

这些关系在积分换元、微分方程求解和三角恒等式推导中具有实用价值。

应用领域

反正切函数在多个学科中发挥着基础作用。

1. 坐标转换与计算机图形学：在直角坐标与极坐标的转换中，θ = arctan(y/x) 用于计算方位角。编程语言中的 atan2(y, x) 函数正是基于反正切原理的增强版本，可根据 x 和 y 的符号确定角度所在的正确象限，返回值范围覆盖 (−π, π]。

1. 信号处理与控制工程：在控制系统频率响应分析中，反正切函数用于计算相位响应。例如一阶低通滤波器的相频特性为 φ(ω) = −arctan(ωRC)，一阶高通滤波器则为 φ(ω) = π/2 − arctan(ωRC)。在 PID 控制器设计中，反正切函数也用于相位裕度的计算。

1. 数值计算与数学库实现：现代数学库（如 IEEE 标准数学库）中，反三角函数通常通过反正切函数实现。利用恒等式将 arcsin 和 arccos 转化为 arctan 形式，再通过切比雪夫逼近或极小化多项式逼近进行高效计算。

1. 几何与物理学：在计算直线与水平方向的倾斜角、斜坡的坡度角以及光学中的布儒斯特角等问题中，反正切函数是基本工具。在机械工程中，螺旋线的升角 γ = arctan(导程/周长) 依赖于反正切计算。

1. 概率与统计：柯西分布的累积分布函数为 F(x) = (1/π) arctan(x) + 1/2，这正是反正切函数在概率论中的直接应用。柯西分布是典型的重尾分布，其在信号检测和稳健统计中具有特殊地位。

历史注记

反正切函数的研究可追溯至 14 世纪。印度数学家马达瓦（约 1400 年）最早给出了反正切函数的无穷级数展开，比莱布尼茨早了两个多世纪。詹姆斯·格雷果里在 1671 年独立发现了同一级数，莱布尼茨则在 1673 年左右将其用于圆周率计算。欧拉在其《无穷分析引论》（1748 年）中系统整理了反正切函数的性质，并给出了复数域中的表达式。

总之，反正切函数作为基本反三角函数，从初等数学中的角度计算到高等分析中的级数理论，从实数域的单调有界性到复数域的多值解析结构，其丰富的数学内涵使其成为连接多个数学分支的重要纽带。