9.5隐函数的求导公式

来源：隐函数的求导公式

设方程 $F(x,y)=0$ 满足：

1. 函数 $F$ 在点 $P_0(x_0,y_0)$ 的某个邻域内具有连续偏导数；
2. $F(x_0,y_0)=0$；
3. $F_y(x_0,y_0)\ne 0$。

则方程 $F(x,y)=0$ 在 $x_0$ 的某个邻域内唯一确定一个具有连续导数的函数 $y=f(x)$，它在 $x_0$ 处取值 $y_0$，且

本页用 $F_x$、$F_y$、$F_z$ 表示 $F$ 对相应变量的偏导数。求某一点处的导数时，公式右端取该点的偏导数值。这个结论称为隐函数存在定理。

三个条件各自排除一种失败：连续偏导数让 $F$ 可以在 $P_0$ 附近线性化；$F(x_0,y_0)=0$ 保证 $P_0$ 确实在曲线上；$F_y(x_0,y_0)\ne 0$ 保证方程能对 $y$ 解出，局部曲线的切线不竖直。第三条一旦不成立，公式的分母为零，结论本身也可能不再成立。

来源：隐函数的求导公式

设方程 $F(x,y,z)=0$ 满足：

1. 函数 $F$ 在点 $P_0(x_0,y_0,z_0)$ 的某个邻域内具有连续偏导数；
2. $F(x_0,y_0,z_0)=0$；
3. $F_z(x_0,y_0,z_0)\ne 0$。

则方程 $F(x,y,z)=0$ 在点 $(x_0,y_0)$ 的某个邻域内唯一确定一个具有连续偏导数的函数 $z=f(x,y)$，它在 $(x_0,y_0)$ 处取值 $z_0$，且

与一元情形相比，$x$ 与 $y$ 都是自变量，因此要分别固定其中一个、对另一个求偏导；分母始终是对被解出的变量 $z$ 的偏导数。

来源：隐函数的求导公式

设方程组

满足：

1. $F$、$G$ 在点 $P_0(x_0,y_0,u_0,v_0)$ 的某个邻域内对各变量具有连续偏导数；
2. 在 $P_0$ 处两式同时成立；
3. 偏导数组成的雅可比行列式在 $P_0$ 处不为零，即

则方程组在点 $(x_0,y_0)$ 的某个邻域内唯一确定一组连续且具有连续偏导数的函数 $u=u(x,y)$、$v=v(x,y)$，它们在 $(x_0,y_0)$ 处取值 $u_0$、$v_0$。

求 $\dfrac{\partial u}{\partial x}$、$\dfrac{\partial v}{\partial x}$ 时，固定 $y$，把 $u$、$v$ 看成 $x$ 的函数，对两个方程分别关于 $x$ 求偏导：

这是关于 $\dfrac{\partial u}{\partial x}$、$\dfrac{\partial v}{\partial x}$ 的线性方程组，系数行列式正是 $J$。由 $J\ne 0$ 可用克莱姆法则解出

把 $x$ 换成 $y$，就得到对 $y$ 的偏导数：

记号 $\dfrac{\partial(F,G)}{\partial(x,v)}$ 表示把 $J$ 中对应变量所在的那一列换成 $(F_x,G_x)$，列的顺序与分母一致。以 $u_x$ 为例：分母是 $\partial(u,v)$，$u$ 所在的第一列被替换，得到 $\partial(x,v)$；$v_x$ 则替换第二列。

来源：隐函数的求导公式