隐函数存在定理&&隐函数的高阶导数

现在已知两个变量之间的一个关系：F(x,y）=0，能否确定一个函数关系，即y=f(x)？

定理

$$\begin{gathered} F(x,y)在P(x_0.y_0)的邻域有连续的偏导数， \\ 且方程F(x_0,y_0)=0的F_y(x_0,y_0)\ne 0, \\ 则在P(x_0.y_0)的邻域内能唯一确定一个连续且具有连续导数的函数y=f(x) \\ 它满足y_0=f(x_0),且\frac{dy}{dx}=-\frac{F_x}{F_y} \end{gathered}$$

证明(链式法则)

$$F(x,y)=0$$
$$\begin{gathered} 欲证y=y(x)存在,求\frac{dy}{dx}, \\ 由链式求导法则 \\ 将F对x求导 \\ {F}_x+F_y\ast \frac{dy}{dx}=0 \\ 解出\frac{dy}{dx}即可 \\ (注：也可用一阶微分形式的不变性证明F_{x}dx+F_{y}dy=0) \end{gathered}$$

即隐函数求一阶导数有两种方法：直接微分得到微分的表示或链式法则

隐函数的高阶导数

例：
$$\begin{gathered} 求y^{\prime \prime },y=y(x)由e^y=xy确定 \\ 由链式求导法对x求一阶导与二阶导 \\ \{\begin{array}{l}{e}^y\ast y^{\prime }-y+-x\ast y^{\prime }=0\\ (e^y-x)\ast y^{\prime \prime }+e^y\ast (y^{\prime }{)}^2-2\ast y^{\prime }=0\end{array} \\ 由以上方程组解出y^{\prime },y^{\prime \prime }即可 \end{gathered}$$