微积分-反函数6.6（反三角函数）

在本节中，我们应用 6.1 节的思想来找到所谓反三角函数的导数。在这个任务中，我们遇到了一些困难：由于三角函数不是一对一的，它们没有反函数。这个困难通过限制这些函数的定义域，使其成为一对一的函数，从而得到解决。

从图 1 可以看到，正弦函数 $y=\sin x$ 不是一对一的函数（使用水平线测试）。但是函数 $f(x)=\sin x$ 在 $-\frac{\pi }{2}\le x\le \frac{\pi }{2}$ 内是一对一的（见图 2）。这个限制正弦函数 $f$ 的反函数存在，并且记作 ${\sin }^{-1}$ 或者 $\arcsin$。它被称为反正弦函数或反正弦函数。

由于反函数的定义为：

$$f^{-1}(x)=y⟺f(y)=x$$

因此我们有：

1$${\sin }^{-1}x=y⟺\sin y=x\text{and}-\frac{\pi }{2}\le y\le \frac{\pi }{2}$$

因此，如果 $-1\le x\le 1$，那么 ${\sin }^{-1}x$ 是介于 $-\frac{\pi }{2}$ 和 $\frac{\pi }{2}$ 之间，使得其正弦值为 $x$ 的数。

例1 计算： (a) ${\sin }^{-1}\left(\frac{1}{2}\right)$ 和 (b) $\tan (\arcsin \frac{1}{3})$。

解
(a) 我们有：

$${\sin }^{-1}\left(\frac{1}{2}\right)=\frac{\pi }{6}$$

因为 $\sin \left(\frac{\pi }{6}\right)=\frac{1}{2}$ 并且 $\frac{\pi }{6}$ 位于 $-\frac{\pi }{2}$ 和 $\frac{\pi }{2}$ 之间。

(b) 设 $\theta =\arcsin \frac{1}{3}$，因此 $\sin \theta =\frac{1}{3}$。我们可以画出一个夹角为 $\theta$ 的直角三角形（见图 3），并根据勾股定理得出第三条边的长度为：

$$\sqrt{9-1}=2\sqrt{2}$$

这使得我们可以从三角形中得出：

$$\tan (\arcsin \frac{1}{3})=\tan \theta =\frac{1}{2\sqrt{2}}$$

反函数的消去方程在此情况下变为：

2$$\begin{array}{rl}{\sin }^{-1}(\sin x)& =x\text{for}-\frac{\pi }{2}\le x\le \frac{\pi }{2}\\ \sin ({\sin }^{-1}x)& =x\text{for}-1\le x\le 1\end{array}$$

反正弦函数 ${\sin }^{-1}$ 的定义域是 $[-1,1]$，值域是 $[-\frac{\pi }{2},\frac{\pi }{2}]$。其图像如图 4 所示，可以通过反射线 $y=x$ 从限制正弦函数的图像（见图 2）得到。

我们知道正弦函数 $f$ 是连续的，因此反正弦函数也是连续的。我们也知道正弦函数是可微的，因此反正弦函数也是可微的。我们可以通过定理 6.1.7 的公式来计算 ${\sin }^{-1}$ 的导数，但因为我们知道 ${\sin }^{-1}$ 是可微的，我们也可以通过隐式求导计算它，如下所示。

令 $y={\sin }^{-1}x$，因此 $\sin y=x$ 并且 $-\frac{\pi }{2}\le y\le \frac{\pi }{2}$。对 $\sin y=x$ 关于 $x$ 隐式求导，得到：

$$\begin{array}{rl}\cos y\frac{dy}{dx}& =1\\ \frac{dy}{dx}& =\frac{1}{\cos y}\end{array}$$

由于 $\cos y\ge 0$，且 $-\frac{\pi }{2}\le y\le \frac{\pi }{2}$，所以：

$$\cos y=\sqrt{1-{\sin }^{2}y}=\sqrt{1-x^2}$$

因此：

$$\frac{dy}{dx}=\frac{1}{\cos y}=\frac{1}{\sqrt{1-x^2}}$$

3 $$\frac{d}{dx}({\sin }^{-1}x)=\frac{1}{\sqrt{1-x^2}}-1<x<1$$

例2 如果 $f(x)</$