反三角函数

问题提出

“同学们，“我站在呼噜星球的教室里，“我们已经学习了三角函数 sin、cos、tan 等。今天我们要学习它们的’逆运算’——反三角函数。”

一个学生问：“老师，三角函数的反函数是什么？比如，已知 sin θ = 0.5，θ 是多少？”

我点头：“好问题！这正是反三角函数要解决的问题。但有一个关键问题：三角函数是否有反函数？”

学生们思考后说：“函数要有反函数，必须一一对应。但三角函数是周期函数，一个 y 对应多个 x，不是一一对应。”

我赞许道：“完全正确！那怎么办呢？“

观察与猜想

反函数存在的条件

我先让学生回顾反函数的条件：

反函数存在条件：函数必须是一一对应的（单调）。

三角函数是周期函数，不满足一一对应，所以整体上没有反函数。

我问：“但我们只需要’一个周期’内的反函数，怎么办？”

一个学生说：“限制定义域，在某个区间上单调，就有反函数了！“

主值区间的选择

我让学生思考：应该选择哪个区间？

对于 sin x：

在 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ 上单调递增
值域是 $[-1, 1]$
包含了所有可能的函数值

对于 cos x：

在 $[0, \pi]$ 上单调递减
值域是 $[-1, 1]$

对于 tan x：

在 $(-\frac{\pi}{2}, \frac{\pi}{2})$ 上单调递增
值域是 $\mathbb{R}$ （所有实数）

我说：“这些区间叫做主值区间。我们在主值区间上定义反函数。“

严格证明

反正弦函数

将 sin x 的定义域限制在 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ ，则 sin x 在此区间上单调递增，存在反函数。

反函数记作：

y = \arcsin x \quad \text{或} \quad y = \sin^{-1} x

定义域： $x \in [-1, 1]$

值域： $y \in [-\frac{\pi}{2}, \frac{\pi}{2}]$

含义： $\arcsin x$ 表示在 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ 内，正弦值为 x 的角。

基本性质：

$\sin(\arcsin x) = x$ ， $x \in [-1, 1]$
$\arcsin(\sin x) = x$ ， $x \in [-\frac{\pi}{2}, \frac{\pi}{2}]$
$\arcsin(-x) = -\arcsin x$ （奇函数）

特殊值：

$\arcsin 0 = 0$
$\arcsin \frac{1}{2} = \frac{\pi}{6}$
$\arcsin \frac{\sqrt{2}}{2} = \frac{\pi}{4}$
$\arcsin 1 = \frac{\pi}{2}$

反余弦函数

将 cos x 的定义域限制在 $[0, \pi]$ ，则 cos x 在此区间上单调递减，存在反函数。

反函数记作：

y = \arccos x \quad \text{或} \quad y = \cos^{-1} x

定义域： $x \in [-1, 1]$

值域： $y \in [0, \pi]$

含义： $\arccos x$ 表示在 $[0, \pi]$ 内，余弦值为 x 的角。

基本性质：

$\cos(\arccos x) = x$ ， $x \in [-1, 1]$
$\arccos(\cos x) = x$ ， $x \in [0, \pi]$
$\arccos(-x) = \pi - \arccos x$

证明 $\arccos(-x) = \pi - \arccos x$ ：

设 $\alpha = \arccos x$ ，则 $\cos\alpha = x$ ， $\alpha \in [0, \pi]$ 。

$\cos(\pi - \alpha) = -\cos\alpha = -x$

由于 $\pi - \alpha \in [0, \pi]$ ，所以：

\arccos(-x) = \pi - \alpha = \pi - \arccos x

特殊值：

$\arccos 1 = 0$
$\arccos \frac{\sqrt{2}}{2} = \frac{\pi}{4}$
$\arccos \frac{1}{2} = \frac{\pi}{3}$
$\arccos 0 = \frac{\pi}{2}$

反正切函数

将 tan x 的定义域限制在 $(-\frac{\pi}{2}, \frac{\pi}{2})$ ，则 tan x 在此区间上单调递增，存在反函数。

反函数记作：

y = \arctan x \quad \text{或} \quad y = \tan^{-1} x

定义域： $x \in \mathbb{R}$ （所有实数）

值域： $y \in (-\frac{\pi}{2}, \frac{\pi}{2})$

基本性质：

$\tan(\arctan x) = x$ ， $x \in \mathbb{R}$
$\arctan(\tan x) = x$ ， $x \in (-\frac{\pi}{2}, \frac{\pi}{2})$
$\arctan(-x) = -\arctan x$ （奇函数）

特殊值：

$\arctan 0 = 0$
$\arctan 1 = \frac{\pi}{4}$
$\arctan \sqrt{3} = \frac{\pi}{3}$

极限行为：

$\lim_{x \to +\infty} \arctan x = \frac{\pi}{2}$
$\lim_{x \to -\infty} \arctan x = -\frac{\pi}{2}$

arcsin 和 arccos 的关系

定理： $\arcsin x + \arccos x = \frac{\pi}{2}$

证明：

设 $\alpha = \arcsin x$ ，则 $\sin\alpha = x$ ， $\alpha \in [-\frac{\pi}{2}, \frac{\pi}{2}]$ 。

$\cos(\frac{\pi}{2} - \alpha) = \sin\alpha = x$

由于 $\frac{\pi}{2} - \alpha \in [0, \pi]$ ，所以：

\arccos x = \frac{\pi}{2} - \alpha = \frac{\pi}{2} - \arcsin x

因此：

\arcsin x + \arccos x = \frac{\pi}{2}

证毕。

结论与应用

核心结论

反函数	定义域	值域（主值区间）
arcsin x	[-1, 1]	$[-\frac{\pi}{2}, \frac{\pi}{2}]$
arccos x	[-1, 1]	$[0, \pi]$
arctan x	ℝ	$(-\frac{\pi}{2}, \frac{\pi}{2})$

应用举例

例题 1：计算 $\arcsin\frac{\sqrt{3}}{2}$

解：

设 $\arcsin\frac{\sqrt{3}}{2} = \theta$ ，则 $\sin\theta = \frac{\sqrt{3}}{2}$ 。

在 $[-\frac{\pi}{2}, \frac{\pi}{2}]$ 内， $\sin\frac{\pi}{3} = \frac{\sqrt{3}}{2}$ 。

所以 $\arcsin\frac{\sqrt{3}}{2} = \frac{\pi}{3}$ 。

例题 2：计算 $\cos(\arcsin\frac{3}{5})$

解：

设 $\alpha = \arcsin\frac{3}{5}$ ，则 $\sin\alpha = \frac{3}{5}$ ， $\alpha \in [0, \frac{\pi}{2}]$ 。

由 $\sin^2\alpha + \cos^2\alpha = 1$ ：

\cos\alpha = \sqrt{1 - \frac{9}{25}} = \sqrt{\frac{16}{25}} = \frac{4}{5}

所以 $\cos(\arcsin\frac{3}{5}) = \frac{4}{5}$ 。

例题 3：计算 $\arctan 1 + \arctan 2 + \arctan 3$

解：

先计算 $\arctan 1 + \arctan 2$ 。

利用公式 $\arctan a + \arctan b = \arctan\frac{a+b}{1-ab}$ （当 $ab < 1$ 时）：

$\arctan 1 + \arctan 2 = \arctan\frac{1+2}{1-2} = \arctan(-3)$

再计算 $\arctan(-3) + \arctan 3$ ：

由于 $\arctan(-3) = -\arctan 3$ ：

$\arctan(-3) + \arctan 3 = 0$

所以原式 = 0。

例题 4：解方程 $\sin x = \frac{1}{2}$

解：

先求主值： $x = \arcsin\frac{1}{2} = \frac{\pi}{6}$ 。

由于 sin 是周期函数，所有解为：

x = \frac{\pi}{6} + 2k\pi \quad \text{或} \quad x = \pi - \frac{\pi}{6} + 2k\pi = \frac{5\pi}{6} + 2k\pi

其中 $k$ 为整数。

呼噜星人的收获

课程结束时，学生们认识到：

反三角函数通过限制主值区间定义：保证一一对应
不同反函数有不同的主值区间：arcsin、arccos、arctan 各有不同
反三角函数与三角函数的关系：在定义域内互为逆运算
应用：解三角方程、计算角度

“老师，“一个学生总结道，“反三角函数的关键是’限制区间’。三角函数整体没有反函数，但在特定的单调区间上就有反函数。这让我理解了反函数的条件：必须一一对应。”

“正是！“我赞许道，“反三角函数是三角函数的逆运算。理解主值区间的选择，是理解反三角函数的关键。接下来的课程，我们将学习三角恒等式。”

下节课：三角恒等式。

上一章节三角函数的奇偶性 sin是奇函数，cos是偶函数，如何从单位圆理解？

下一章节三角恒等式三角函数有哪些重要恒等式？如何推导和记忆？