# 反三角函数

> AP 预备微积分 · CED 第三单元：三角函数与极坐标函数
> 来源: https://www.owlsprep.com/zh/study/ap-precalculus-u3-inverse-trigonometric-functions/

本模块讲解AP预备微积分中反三角函数的所有核心概念，包括定义域/值域限制、复合函数求值、反三角函数方程求解以及常见考试易错点。

**先修:** 基础三角函数的定义域与值域; 一对一函数及其反函数的性质; 常用角的单位圆值

## 学习目标

- 解释为什么定义反三角函数需要对定义域进行限制
- 记住反正弦、反余弦和反正切的定义域与值域
- 计算三角函数与反三角函数复合函数的精确值
- 求解含反三角函数的代数方程，并检验增根

## 核心定义与符号记法

反三角函数是三角函数的可逆反函数，通过将原三角函数限制在一对一的定义域上得到。由于所有基础三角函数都是周期函数，在其自然定义域上不是一对一的，因此必须通过限制定义域才能得到唯一反函数，这一操作直接决定了每个反三角函数的值域，是AP考试反复考察的核心细节。

> **符号说明**
>
> AP考试的标准符号同时使用$\arcsin(x)$、$\arccos(x)$、$\arctan(x)$，以及指数形式$\sin^{-1}(x)$、$\cos^{-1}(x)$、$\tan^{-1}(x)$。指数$-1$表示反函数，**不是**倒数（正弦的倒数是余割，记为$\csc(x)$或$(\sin x)^{-1}$）。

## 主值反三角函数的定义域与值域

要得到合法的反函数，原函数必须通过水平线测试（即是一对一函数）。对于每个三角函数，我们选择一个连续的主分支，它覆盖原函数所有可能的输出值，并且包含零附近和第一象限的角度：

- 对于$y = \sin x$：限制定义域为$[-\pi/2, \pi/2]$，因此$\text{Dom}(\arcsin x) = [-1, 1]$，$\text{Ran}(\arcsin x) = [-\pi/2, \pi/2]$
- 对于$y = \cos x$：限制定义域为$[0, \pi]$，因此$\text{Dom}(\arccos x) = [-1, 1]$，$\text{Ran}(\arccos x) = [0, \pi]$
- 对于$y = \tan x$：限制定义域为$(-\pi/2, \pi/2)$，因此$\text{Dom}(\arctan x) = (-\infty, \infty)$，$\text{Ran}(\arctan x) = (-\pi/2, \pi/2)$

**例题:** 求$f(x) = 2\arcsin(3x - 1) + \pi/4$的定义域，并写出$f(x)$的值域。

1. 根据定义，$\arcsin(z)$的自变量必须在$[-1, 1]$内，因此列出不等式：
2. $$-1 \leq 3x - 1 \leq 1$$
3. 给所有部分加1，再除以3，解出$x$：
4. $$0 \leq 3x \leq 2 \implies 0 \leq x \leq 2/3$$
5. 这就是$f(x)$的定义域。
6. $\arcsin(3x-1)$的值域与$\arcsin(z)$的基础值域一致，因为输入变换不会改变反函数的输出值域。
7. 对值域边界应用垂直变换：
8. $$-\pi \leq 2\arcsin(3x - 1) \leq \pi$$
9. $$-3\pi/4 \leq f(x) \leq 5\pi/4$$
10. 最终结果：定义域$= [0, 2/3]$，值域$= [-3\pi/4, 5\pi/4]$

> **考试提示:** 除非另有说明，AP考试始终要求主值（即限制值域内的输出）。如果你得出$\arccos(-1/2) = - \pi/3$，这个答案自动错误，因为反余弦永远不会输出负值。

## 计算三角函数与反三角函数的复合函数

求三角函数与反三角函数复合函数的精确值是AP考试最常见的题型之一，有三条核心规则：

- $f(f^{-1}(x)) = x$对所有属于$f^{-1}$定义域的$x$成立。例如，当$x \in [-1,1]$时，$\sin(\arcsin x) = x$。
- $f^{-1}(f(x)) = x$ **仅当**$x$在原函数$f$的主定义域内时成立。如果不在，你必须在主定义域内找到与$x$三角函数值相等的角度。
- 对于混合复合函数（外层和内层函数不同），给内层的反三角函数设变量，使用勾股恒等式，然后检查反三角函数角度所在象限得到正确的符号。

**例题:** 求$\cos\left(\arcsin\left(-\frac{2}{5}\right)\right)$的精确值。

1. 设$\theta = \arcsin(-2/5)$。根据定义，$\sin \theta = -2/5$，且$\theta \in [-\pi/2, \pi/2]$（反正弦的主值域）。
2. $[-\pi/2, \pi/2]$内的所有角度都在第一或第四象限，这两个象限中余弦非负，因此$\cos \theta \geq 0$。
3. 使用勾股恒等式$\sin^2 \theta + \cos^2 \theta = 1$，代入$\sin \theta = -2/5$：
4. $$\left(-\frac{2}{5}\right)^2 + \cos^2 \theta = 1 \implies \frac{4}{25} + \cos^2 \theta = 1 \implies \cos^2 \theta = \frac{21}{25}$$
5. 根据第二步的符号规则取非负根：
6. $$\cos \theta = \frac{\sqrt{21}}{5}$$
7. 最终结果：$\cos\left(\arcsin\left(-\frac{2}{5}\right)\right) = \frac{\sqrt{21}}{5}$

> **考试提示:** 计算复合函数时，在选择外层三角函数输出的符号前，一定要确认内层反三角函数角度所在的象限；这是这类题型最容易遗漏的步骤。

## 求解含反三角函数的方程

AP预备微积分经常要求解包含一个或多个反三角函数的代数方程，核心策略是：

1. 将反三角函数项移到方程一侧单独分离出来。
2. 利用反函数性质，对两边同时取对应的三角函数，消去反三角函数。
3. 将所有解对照原反三角函数的定义域限制进行检验，检查符号/象限是否一致，因为增根非常常见。

**例题:** 求方程$\arcsin(2x) = \arccos(x)$的所有实数解。

1. 设$\theta = \arcsin(2x) = \arccos(x)$。根据定义，$\sin \theta = 2x$，$\cos \theta = x$，且$\theta$必须在$[0, \pi/2]$内（因为反余弦的输出仅在$0$到$\pi$之间，且$\sin \theta \geq 0$，因此$2x \geq 0$）。
2. 使用勾股恒等式$\sin^2 \theta + \cos^2 \theta = 1$：
3. $$(2x)^2 + x^2 = 1 \implies 5x^2 = 1 \implies x^2 = \frac{1}{5} \implies x = \pm \frac{\sqrt{5}}{5}$$
4. 检验形式定义域限制：$2x \in [-1, 1]$要求$-1/2 \leq x \leq 1/2$，两个解都满足；反余弦要求$x \in [-1, 1]$，两个解也都满足。
5. 应用第一步的符号条件：$x \geq 0$，因此我们舍去负解$x = -\sqrt{5}/5$。
6. 在原方程中验证正解：两边都约等于1.107弧度，验证通过。唯一实数解是：
7. $$x = \frac{\sqrt{5}}{5}$$

> **考试提示:** 求解反三角函数方程后一定要检验增根；通过形式定义域检验的负解常常不符合反函数值域限制带来的象限/符号条件。

## 常见错误

- **错误做法:** 认为$\arcsin(\sin(3\pi/4)) = 3\pi/4$。
  - 原因: 学生记住了反函数性质$f^{-1}(f(x)) = x$，却忘记这个性质仅当$x$在原正弦函数的主定义域内时成立。
  - 正确做法: 在$[-\pi/2, \pi/2]$中找到与$3\pi/4$正弦值相等的角度，即$\pi/4$，因此正确结果是$\pi/4$。
- **错误做法:** 最终答案给出$\arccos(-1/2) = - \pi/3$。
  - 原因: 学生将反余弦的值域与反正弦的值域搞混，反正弦的值域包含负角度。
  - 正确做法: 记住$\arccos(x)$的值域始终是$[0, \pi]$，因此正确答案是$2\pi/3$，它在要求的值域内。
- **错误做法:** 将$\sin(\arccos(-1/3))$计算为$- 2\sqrt{2}/3$。
  - 原因: 学生忘记检查内层角度所在象限，自动取了负根。
  - 正确做法: $\arccos(x)$的值域是$[0, \pi]$，因此反余弦任何输出对应的正弦值都是非负的，正确值是正的$2\sqrt{2}/3$。
- **错误做法:** 尝试计算$\arcsin(1.2)$，并从计算器得到一个数值结果。
  - 原因: 学生忘记反正弦和反余弦的定义域限制在$[-1, 1]$，因此这个区间外的输入是无定义的。
  - 正确做法: 立即意识到，对于反正弦或反余弦，任何$[-1, 1]$之外的输入都意味着该表达式无定义（对应方程就是无解）。
- **错误做法:** 将$\sin^{-1}(x)$理解为$1/\sin(x) = \csc(x)$。
  - 原因: -1指数记法对新生来说容易混淆，他们将反函数记法与幂次记法搞混。
  - 正确做法: 记住在AP考试中，$\sin^{-1}(x)$始终表示反正弦（arcsine），正弦的倒数始终记为$\csc(x)$或$(\sin x)^{-1}$。
- **错误做法:** 对于$f(x) = \arctan(2x)$，声称$f(x)$的值域是$(-\pi, \pi)$。
  - 原因: 学生错误地随输入缩放也缩放了反正切的值域。
  - 正确做法: 记住输入缩放不会改变反三角函数的值域；任何$\arctan(自变量)$的值域始终是$(-\pi/2, \pi/2)$。

## 速查表

| 类别 | 公式/数值 | 说明 |
| --- | --- | --- |
| 定义域：反正弦 | $\text{Dom}(\arcsin x) = [-1, 1]$ | 该区间外的任何输入都无定义 |
| 值域：反正弦 | $\text{Ran}(\arcsin x) = [-\pi/2, \pi/2]$ | AP考试始终要求该区间内的主值输出 |
| 定义域：反余弦 | $\text{Dom}(\arccos x) = [-1, 1]$ | 与反正弦的定义域限制相同 |
| 值域：反余弦 | $\text{Ran}(\arccos x) = [0, \pi]$ | 反余弦永远不会输出负值 |
| 定义域：反正切 | $\text{Dom}(\arctan x) = (-\infty, \infty)$ | 无定义域限制，接受所有实数输入 |
| 值域：反正切 | $\text{Ran}(\arctan x) = (-\pi/2, \pi/2)$ | 输出永远不包含$\pm \pi/2$ |
| 反函数性质：$f(f^{-1}(x))$ | $f(f^{-1}(x)) = x$ | 对所有属于$f^{-1}$定义域的$x$成立 |
| 反函数性质：$f^{-1}(f(x))$ | $f^{-1}(f(x)) = x$ | 仅当$x$在$f$的主定义域内时成立 |

## 下一步

反三角函数是AP预备微积分第三单元剩余内容的关键前置知识。接下来，你会应用反三角函数求解直角和斜三角形中的未知角度，在这类问题中需要从反三角函数的输出中选择正确的主角度，才能匹配三角形的几何性质。你还会使用反三角函数进行直角坐标与极坐标的转换，这是绘制极坐标曲线和求解极坐标方程的核心技能。如果不掌握反三角函数的定义域、值域限制以及复合函数求值方法，你在学习这些后续内容时会很难选出正确角度，导致本可以避免的错误。反三角函数也为你在AP微积分预备之后的后续课程中会学到的内容奠定了基础。

- [三角方程与不等式](https://www.owlsprep.com/zh/study/ap-precalculus-u3-trigonometric-equations-and-inequalities/)
- [三角函数的等价表示](https://www.owlsprep.com/zh/study/ap-precalculus-u3-equivalent-representations-of-trigonometric-functions/)
- [三角恒等式（勾股型、和差、二倍角）](https://www.owlsprep.com/zh/study/ap-precalculus-u3-trigonometric-identities/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ap-precalculus-u3-inverse-trigonometric-functions/