科数网
公式
首页
初中
高中
高数
线代
概率
高中物理
赞助
在线教程
高等数学
第二章 一元函数微分学及其应用
反函数的求导法则
最后更新:
2023-10-01 11:28
查看:
291
次
下载
编辑本文
科数网
反函数的求导法则
定理 3 如果单调函数 $x=\varphi(y)$ 在某一区间 $I_y$ 内可导,且 $\varphi^{\prime}(y) \neq 0$ ,则它 的反函数 $y=f(x)$ 在对应的区间 $I_x=\left\{x \mid x=\varphi(y), y \in I_y\right\}$ 内也可导,且 $$ f^{\prime}(x)=\left.\frac{1}{\varphi^{\prime}(y)}\right|_{y=f(x)} $$ 证明 由反函数存在定理可知 $y=f(x)$ 是单调、连续的,当 $x$ 取得增量 $\Delta x$ 时, $\Delta y=f(x+\Delta x)-f(x) \neq 0 \quad(f(x)$ 单调 $)$. 当 $\Delta x \rightarrow 0$ 时,有 $\Delta y \rightarrow 0 \quad(f(x)$ 连续 $)$. 定理 3 如果单调函数 $x=\varphi(y)$ 在某一区间 $I_y$ 内可导,且 $\varphi^{\prime}(y) \neq 0$ ,则它 的反函数 $y=f(x)$ 在对应的区间 $I_x=\left\{x \mid x=\varphi(y), y \in I_y\right\}$ 内也可导,且 $$ f^{\prime}(x)=\left.\frac{1}{\varphi^{\prime}(y)}\right|_{y=f(x)} $$ 因为 $x=\varphi(y)$ 可导,且 $\varphi^{\prime}(y) \neq 0$ ,即 $\lim _{\Delta y \rightarrow 0} \frac{\Delta x}{\Delta y} \neq 0$ , 因此, $$ f^{\prime}(x)=\lim _{\Delta t \rightarrow 0} \frac{\Delta y}{\Delta x}=\lim _{\Delta y \rightarrow 0} \frac{1}{\frac{\Delta x}{\Delta y}}=\frac{1}{\lim _{\Delta y \rightarrow 0} \frac{\Delta x}{\Delta y}}=\frac{1}{\varphi^{\prime}(y)} $$ 本定理也可简单叙述为: 反函数的导数等于直接函数导数的倒数. 利用反函数的求导法则可以求出四个反三角函数的导数. $y=\arcsin x$ 是 $x=\sin y$ 的反函数, $x=\sin y\left\{-\frac{\pi}{2}<y<\frac{\pi}{2}\right\}$ 在 $I_y=\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)$ 内单调、可导, 且 $(\sin y)_y^{\prime}=\cos y>0$ , 因此,在对应的 $I_x=(-1,1)$ 内,有 $$ (\arcsin x)^{\prime}=\frac{1}{(\sin y)^{\prime}}=\frac{1}{\cos y}=\frac{1}{\sqrt{1-\sin ^2 y}}=\frac{1}{\sqrt{1-x^2}} $$ (由于 $\cos y$ 在 $\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)$ 内大于零,故取正号); 同理可得 $$ (\arccos x)^{\prime}=\frac{1}{(\cos y)^{\prime}}=-\frac{1}{\sin y}=-\frac{1}{\sqrt{1-\cos ^2 y}}=-\frac{1}{\sqrt{1-x^2}} $$ (由于 $\cos y$ 在 $(0, \pi)$ 内大于零,故取正号) ; $y=\arctan x$ 是 $x=\tan y\left\{-\frac{\pi}{2}<y<\frac{\pi}{2}\right\}$ 的反函数, $x=\tan y$ 在 $I_y=\left(-\frac{\pi}{2}, \frac{\pi}{2}\right)$ 内单调、可导,且 $(\tan y)^{\prime}=\sec ^2 y \neq 0$ , 因此,在对应的 $I_x=(-\infty,+\infty)$ 内, 有 $(\arctan x)^{\prime}=\frac{1}{(\tan y)^{\prime}}=\frac{1}{\sec ^2 y}=\frac{1}{1+\tan ^2 y}=\frac{1}{1+x^2}$ 同理可得 $$ (\operatorname{arccot} x)^{\prime}=\frac{1}{(\cot y)^{\prime}}=-\frac{1}{\csc ^2 y}=-\frac{1}{1+\cot ^2 y}=-\frac{1}{1+x^2} $$
上一篇:
函数和差积商的求导法则
下一篇:
求导公式
本文对您是否有用?
有用
(
0
)
无用
(
0
)
科数网知识库旨在打造一个可以顺序阅读的在线电子学习教程,点击顶部的
编辑本文
来完善本文,如果本文对您有用,我们感觉很高兴。 科数网目前处于严重的亏损状态,也欢迎
赞助我们
,支持本站的发展。
0
篇笔记
写笔记
更多笔记
提交笔记