反函数求导

设$f$在$(a,b)$内严格单调且连续，$x_0\in (a,b)$，$f^{\prime }(x_0)\ne 0$，则反函数$x=f^{-1}(y)$在$y_0=f(x_0)$处可导，并且$(f^{-1}{)}^{\prime }(y_0)=\frac{1}{f^{\prime }(x_0)}$

证明：
$\underset{y\to y_0}{\lim }\frac{f^{-1}(y)-f^{-1}(y_0)}{y-y_0}=\underset{x\to x_0}{\lim }\frac{x-x_0}{f(x)-f(x_0)}=\underset{x\to x_0}{\lim }\frac{1}{\frac{f(x)-f(x_0)}{x-x_0}}=\frac{1}{f^{\prime }(x_0)}$

也可以写为$\frac{dx}{dy}=\frac{1}{\frac{dy}{dx}}$

例1

求反正弦函数$y=\arcsin x$的导数。

解：
$\because y=\arcsin x$与$x=\sin y$互为反函数

$\therefore (\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}}$

例2

求函数$y=e^x+\arctan x$的反函数$x=x(y)$的导数。

解：
$\because$函数$y=e^x+\arctan x$严格单调递增且可导

\qquad 且$y^{\prime }=e^x+\frac{1}{x^2+1}=\frac{e^x{x}^2+e^x+1}{x^2+1}$

$\therefore x=x(y)$可导

$x^{\prime }(y)=\frac{1}{y^{\prime }(x)}=\frac{x^2+1}{e^x{x}^2+e^x+1}$

\qquad 其中右式中的$x$为$x=x(y)$，所以右式为$y$的复合函数

$x=x(y)$的导数为$x^{\prime }(y)=\frac{x^2+1}{e^x{x}^2+e^x+1}$