什么是反三角函数？
在数学分析中，反三角函数（Inverse Trigonometric Functions）是一组重要的基本初等函数。它们是三角函数的反函数，主要用于解决已知三角函数值求角度的问题。由于三角函数本身不是单射函数（即一个函数值可能对应多个角度），因此我们需要限制三角函数的定义域，使其成为一一映射，从而定义出唯一的反函数。
常见的反三角函数包括反正弦（arcsin）、反余弦（arccos）、反正切（arctan）和反余切（arccot）。这些函数在微积分、物理学、工程学以及几何学中有着广泛的应用，特别是在处理周期性现象、振动问题和几何计算时不可或缺。
核心反三角函数公式大全
掌握反三角函数公式是解决相关数学问题的关键。以下整理了最常用且必须熟记的公式体系，包括定义、诱导公式和运算公式。
反正弦函数 y = arcsin(x)
反余弦函数 y = arccos(x)
反正切函数 y = arctan(x)
反余切函数 y = arccot(x)
通用运算公式
反三角函数性质深度解析
单调性
arcsin(x) 和 arctan(x) 在定义域内是严格单调递增的；arccos(x) 和 arccot(x) 在定义域内是严格单调递减的。这一性质在解不等式时非常有用。
连续性
所有反三角函数在其定义域内都是连续的。arcsin和arccos在端点±1处是单侧连续，arctan和arccot在整个实数轴上连续。
有界性
arcsin和arccos的值域是有界的，分别为[-π/2, π/2]和[0, π]；arctan和arccot的值域也是有界的，分别为(-π/2, π/2)和(0, π)。
导数公式
(arcsin(x))' = 1/√(1-x²)
(arccos(x))' = -1/√(1-x²)
(arctan(x))' = 1/(1+x²)
(arccot(x))' = -1/(1+x²)
图像记忆与几何意义
理解反三角函数的图像有助于直观掌握其性质。每个反三角函数的图像都是对应三角函数图像关于直线 y=x 对称的结果。
| 函数 | 图像特征 | 渐近线 | 关键点 |
|---|---|---|---|
| arcsin(x) | 过原点，单调递增，S形曲线 | 无 | (0,0), (1, π/2), (-1, -π/2) |
| arccos(x) | 单调递减，从左上到右下 | 无 | (0, π/2), (1, 0), (-1, π) |
| arctan(x) | 过原点，单调递增，S形曲线 | y = π/2, y = -π/2 | (0,0) |
| arccot(x) | 单调递减，从左上到右下 | y = 0, y = π | (0, π/2) |
网友最关心的常见问题 (FAQ)
在搜索反三角函数公式的过程中，许多用户会遇到一些特定的困惑。以下是根据搜索引擎数据整理的高频问题及深度解答。
设 α = arcsin(x)，则 sin(α) = x，且 α ∈ [-π/2, π/2]。
设 β = arccos(x)，则 cos(β) = x，且 β ∈ [0, π]。
由于 sin(α) = cos(β)，根据诱导公式 cos(π/2 - α) = sin(α)，可得 cos(π/2 - α) = cos(β)。
在各自值域范围内，唯一解为 β = π/2 - α，即 arccos(x) = π/2 - arcsin(x)，移项即得 arcsin(x) + arccos(x) = π/2。
这是一个经典的竞赛题。利用公式 arctan(x) + arctan(y) = arctan((x+y)/(1-xy))。
首先计算 arctan(1) + arctan(2)：由于 12 > 1，公式需调整，结果为 π + arctan((1+2)/(1-2)) = π + arctan(-3) = π - arctan(3)。
再加上 arctan(3)，总和为 π - arctan(3) + arctan(3) = π。
所以，arctan(1) + arctan(2) + arctan(3) = π。
首先求出角度值：arcsin(0.5) = π/6，arccos(-0.5) = 2π/3。
原式变为 sin(π/6 + 2π/3) = sin(5π/6)。
sin(5π/6) = sin(π - π/6) = sin(π/6) = 0.5。
常用特殊值速查表
| x | arcsin(x) | arccos(x) | arctan(x) | arccot(x) |
|---|---|---|---|---|
| -1 | -π/2 | π | -π/4 | 3π/4 |
| -√3/2 | -π/3 | 5π/6 | -π/3 | 4π/3 (注: 不同定义域可能为 5π/6) |
| -√2/2 | -π/4 | 3π/4 | -π/4 | 3π/4 |
| -1/2 | -π/6 | 2π/3 | -π/6 | 7π/6 (注: 不同定义域可能为 5π/3) |
| 0 | 0 | π/2 | 0 | π/2 |
| 1/2 | π/6 | π/3 | π/6 | π/3 |
| √2/2 | π/4 | π/4 | π/4 | π/4 |
| √3/2 | π/3 | π/6 | π/3 | π/6 |
| 1 | π/2 | 0 | π/4 | π/4 |