# 反三角函数（仅HL）

> IB 数学：分析与方法 HL · 函数
> 来源: https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-inverse-trigonometric-functions/

本子主题涵盖IB AA HL中反正弦、反余弦、反正切函数的定义、定义域、值域和图像。你将学习如何化简反三角函数的复合表达式，以及求解含反三角函数的方程，这是考试中的常见考点。

**先修:** [函数反函数、定义域与值域](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-function-inverses/); [核心三角函数性质](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-trigonometric-functions/)

## 学习目标

- 定义反三角函数，掌握其正确的受限定义域和值域
- 绘制并变换反正弦、反余弦和反正切函数的图像
- 化简三角函数与反三角函数的复合表达式
- 求解包含反三角函数的代数方程

## 1. 定义与定义域限制

一个函数要有反函数，它必须是一一对应的（通过水平线检验）。标准三角函数是周期函数，在整个自然定义域上不是一一对应的，因此我们需要限制它们的定义域使其可逆。

**反三角函数** — 限制了定义域后的三角函数的反函数，将三角函数的输出值映射回受限区间内唯一的输入角（称为主值）。

*记法:* $\arcsin x$, $\arccos x$, $\arctan x$ (also written $\sin^{-1}x$, $\cos^{-1}x$, $\tan^{-1}x$)

*例:* $\sin\left(\frac{\pi}{6}\right) = \frac{1}{2}$ so $\arcsin\left(\frac{1}{2}\right) = \frac{\pi}{6}$

| 函数 | 原函数受限定义域 | 反函数定义域 | 反函数值域（主值） |
| --- | --- | --- | --- |
| $\arcsin x$ | $[-\frac{\pi}{2}, \frac{\pi}{2}]$ | $[-1, 1]$ | $[-\frac{\pi}{2}, \frac{\pi}{2}]$ |
| $\arccos x$ | $[0, \pi]$ | $[-1, 1]$ | $[0, \pi]$ |
| $\arctan x$ | $(-\frac{\pi}{2}, \frac{\pi}{2})$ | $\mathbb{R}$ | $(-\frac{\pi}{2}, \frac{\pi}{2})$ |

> **warning**
>
> 注意$\sin^{-1}x$**不等于**$(\sin x)^{-1} = \frac{1}{\sin x} = \csc x$。请始终使用$\arcsin x$以避免歧义。

**例题:** 求$\arccos\left(-\frac{1}{2}\right)$的精确值

1. 记得$\arccos x$的值域是$[0, \pi]$，因此我们需要在此区间内找到余弦值等于$-\frac{1}{2}$的角。
2. 我们知道$\cos\left(\frac{2\pi}{3}\right) = \cos\left(\pi - \frac{\pi}{3}\right) = -\cos\left(\frac{\pi}{3}\right) = -\frac{1}{2}$
3. 检验该角是否在要求的区间内：
4. $$\frac{2\pi}{3} \in [0, \pi], so \arccos\left(-\frac{1}{2}\right) = \frac{2\pi}{3}$$

## 2. 反三角函数的图像

任意反函数的图像都是原函数图像关于直线$y=x$的对称翻折。每个反三角函数图像都有你在作图题中需要记住的关键特征：

- $\arcsin x$: 单调递增，过原点，端点在$(-1, -\frac{\pi}{2})$ 和 $(1, \frac{\pi}{2})$
- $\arccos x$: 单调递减，端点在$(-1, \pi)$ 和 $(1, 0)$
- $\arctan x$: 在全体实数$x$上单调递增，水平渐近线为$y = -\frac{\pi}{2}$ 和 $y = \frac{\pi}{2}$

**例题:** 对于变换后的函数$y = 2\arcsin(x - 1)$，写出其定义域和值域

1. 从母函数$y = \arcsin x$开始，它的定义域是$[-1, 1]$，值域是$[-\frac{\pi}{2}, \frac{\pi}{2}]$
2. $(x-1)$项将图像向右平移1个单位，调整定义域：
3. $$-1 \leq x - 1 \leq 1 \implies 0 \leq x \leq 2$$
4. 系数2将图像垂直拉伸为原来的2倍，调整值域：
5. $$2 \times \left[-\frac{\pi}{2}, \frac{\pi}{2}\right] = [-\pi, \pi]$$

> **tip**
>
> 对于考试中的作图题，务必标注端点、截距和渐近线以获得满分。

## 3. 化简复合表达式

HL考试中最常见的题型之一就是化简形如$\sin(\arccos x)$或$\arcsin(\sin \theta)$的复合表达式，其中$\theta$可能在主值域之外。我们可以使用直角三角形三角关系和勾股恒等式来化简这些表达式。

**例题:** 将$\sin\left(\arccos\left(\frac{1}{3}\right)\right)$化简为精确形式

1. 令$\theta = \arccos\left(\frac{1}{3}\right)$。根据定义，$\cos \theta = \frac{1}{3}$且$\theta \in [0, \pi]$，此区间内$\sin \theta \geq 0$。
2. 使用勾股恒等式$\sin^2 \theta + \cos^2 \theta = 1$：
3. $$\sin^2 \theta = 1 - \left(\frac{1}{3}\right)^2 = 1 - \frac{1}{9} = \frac{8}{9}$$
4. 因为在$[0, \pi]$中$\sin \theta$非负，所以取正根：
5. $$\sin \theta = \frac{2\sqrt{2}}{3}, so \sin\left(\arccos\left(\frac{1}{3}\right)\right) = \frac{2\sqrt{2}}{3}$$

**概念自测**

测试你对主值的理解

1. $\arcsin\left(\sin\left(\frac{5\pi}{6}\right)\right)$的值是多少？

   - $\frac{5\pi}{6}$
   - $\frac{\pi}{6}$
   - $-\frac{\pi}{6}$
   - $\frac{7\pi}{6}$

   *解析:* $\arcsin$的值域是$[-\frac{\pi}{2}, \frac{\pi}{2}]$。$\sin\left(\frac{5\pi}{6}\right) = \sin\left(\frac{\pi}{6}\right) = \frac{1}{2}$，因此$\arcsin\left(\frac{1}{2}\right) = \frac{\pi}{6}$。

## 4. 求解反三角函数方程

考试中经常会要求你求解包含反三角函数的方程。标准方法是整理方程分离出反三角函数项，然后对等式两边同时应用对应的三角函数。

**例题:** 求解方程$2\arctan x = \frac{\pi}{3}$，其中$x \in \mathbb{R}$

1. 两边除以2，分离出反三角函数项：
2. $$\arctan x = \frac{\pi}{6}$$
3. 两边同时取正切，利用恒等式：对所有$x \in \mathbb{R}$都有$\tan(\arctan x) = x$：
4. $$x = \tan\left(\frac{\pi}{6}\right) = \frac{\sqrt{3}}{3}$$
5. 在原方程中检验解：$2\arctan\left(\frac{\sqrt{3}}{3}\right) = 2 \times \frac{\pi}{6} = \frac{\pi}{3}$，该解有效。

> **warning**
>
> 最后一定要检验你的解。平方两边这类代数操作可能会引入不满足原方程的增根。

## 常见错误

- **错误做法:** 认为对任意$\theta$都有$\arcsin(\sin \theta) = \theta$
  - 原因: 该恒等式仅当$\theta$在$\arcsin$的主值域$[-\frac{\pi}{2}, \frac{\pi}{2}]$内时成立
  - 正确做法: 如果$\theta$在主值域之外，找到区间内具有相同正弦值的角，得到正确结果
- **错误做法:** 混淆$\arcsin x$和倒数$\frac{1}{\sin x} = \csc x$
  - 原因: 记号$\sin^{-1}x$指的是反函数，而非倒数
  - 正确做法: 使用$\arcsin x$表示反函数以避免歧义，倒数写作$\csc x$或$\frac{1}{\sin x}$
- **错误做法:** 化简$\cos(\arcsin x)$时取负根
  - 原因: $\arcsin x$的值域是$[-\frac{\pi}{2}, \frac{\pi}{2}]$，此区间内余弦始终非负
  - 正确做法: 选根前，先检查三角函数在反函数主值域内的符号
- **错误做法:** 认为$\arctan x$的定义域是$[-1, 1]$
  - 原因: 这是$\arcsin x$和$\arccos x$的定义域，不是$\arctan x$的
  - 正确做法: $\arctan x$的定义域是全体实数$\mathbb{R}$，值域为$(-\frac{\pi}{2}, \frac{\pi}{2})$
- **错误做法:** 计算$\arcsin x$时给出主值域之外的解$\theta$
  - 原因: 反三角函数的输出始终是其定义区间内唯一的主值
  - 正确做法: 计算或求解反三角函数问题时，将结果限制在反函数的主值域内

## 速查表

| 反函数 | 定义域 | 值域 | 核心恒等式 |
| --- | --- | --- | --- |
| $\arcsin x$ | $[-1,1]$ | $[-\frac{\pi}{2}, \frac{\pi}{2}]$ | $\sin(\arcsin x) = x$ |
| $\arccos x$ | $[-1,1]$ | $[0, \pi]$ | $\cos(\arccos x) = x$ |
| $\arctan x$ | $\mathbb{R}$ | $(-\frac{\pi}{2}, \frac{\pi}{2})$ | $\tan(\arctan x) = x$ |
| $\arcsin(-x)$ |  |  | $-\arcsin x$ |
| $\arccos(-x)$ |  |  | $\pi - \arccos x$ |
| $\arctan(-x)$ |  |  | $-\arctan x$ |

## 下一步

反三角函数是HL的基础主题，之后在微积分中会再次用到，你学习反函数求导和得到反三角函数结果的积分时会用到它。它也在向量几何中被广泛用于求直线和平面间的夹角，以及复平面中求复数的辐角。掌握反三角函数的定义域和值域限制对于避免后续主题中的错误至关重要，尤其是计算定积分或求解微分方程时。在这个基础上，你接下来将拓展微积分和三角学应用的知识。

- [三角恒等式](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-trigonometric-identities/)
- [函数性质：奇偶性与周期性](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-function-properties-parity-and-periodicity/)
- [求解函数方程与不等式](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-solving-function-equations-and-inequalities/)

---

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