隐函数求导

一、核心思想隐函数存在定理的条件分析（为什么能求导？）#

隐函数就是”藏在方程里的函数”——变量之间的关系没有写成 $y=f(x)$ 这种显式形式，而是藏在 $F(x,y)=0$ 这样的方程中。

核心策略：对方程两边同时求导，遇到 $y$ 就乘以 $y'$（链式法则）。

二、一元隐函数求导（基础版）#

情境：方程 $F(x,y)=0$ 确定了 $y$ 是 $x$ 的函数。

三、多元隐函数求导（进阶版）#

这是考试重点，分为两种情况：

四、高阶隐函数求导#

对一阶导数的结果再次求导，注意 $y'$ 中可能还含有 $y$。

示例：继续 $x^2 + y^2 = 1$，求 $\frac{d^2y}{dx^2}$。

已知 $\frac{dy}{dx} = -\frac{x}{y}$，再对 $x$ 求导：

$\frac{d^2y}{dx^2} = -\frac{y \cdot 1 - x \cdot \frac{dy}{dx}}{y^2} = -\frac{y - x(-\frac{x}{y})}{y^2} = -\frac{y^2 + x^2}{y^3} = -\frac{1}{y^3}$

最后一步利用了原方程 $x^2+y^2=1$ 进行化简。

五、考试常见题型 & 例题#

六、与相关概念的关系图#

1
隐函数求导
2
    │
3
    ├── 一元情形 ──→ 直接求导 / 公式法
4
    │                  ↑
5
    │           依赖链式法则
6
    │
7
    ├── 多元情形 ──→ 偏导数公式 Fx/Fz
8
    │                  ↑
9
    │           依赖偏导数概念
10
    │
11
    └── 方程组情形 ──→ 雅可比行列式 / 克莱姆法则
12
                       ↑
13
                依赖线性代数

七、常见错误警示#

你想继续深入哪个方向？比如：

1. 出几道练习题 让你实战演练
2. 隐函数存在定理 的条件分析（为什么能求导？）
3. 与全微分、方向导数 的综合题

【基础篇】第 1 题：一元隐函数求导#

题目：设函数 $y=y(x)$ 由方程 $e^{x+y} + \cos(xy) = 2$ 确定，求 $\frac{dy}{dx}$ 及该曲线在点 $(0,0)$ 处的切线方程。

思路分析：

• 方程含有 $x$ 和 $y$ 的混合项（$e^{x+y}$ 和 $\cos(xy)$），无法显式解出 $y=f(x)$。
• 采用直接求导法：两边对 $x$ 求导，遇到 $y$ 就乘 $y'$，遇到复合函数用链式法则。
• 求切线需要先确定该点是否在曲线上（验证），再代入求斜率。

详细解析：

第一步：验证点 $(0,0)$ 在曲线上 $e^{0+0} + \cos(0) = 1 + 1 = 2 \checkmark$

第二步：方程两边对 $x$ 求导

$\frac{d}{dx}[e^{x+y}] + \frac{d}{dx}[\cos(xy)] = \frac{d}{dx}[2]$

• 对 $e^{x+y}$：链式法则，$e^{x+y} \cdot (1 + y')$
• 对 $\cos(xy)$：链式法则，$-\sin(xy) \cdot (y + xy')$
• 右边：$0$

得到： $e^{x+y}(1 + y') - \sin(xy)(y + xy') = 0$

第三步：解出 $y'$

$e^{x+y} + e^{x+y} \cdot y' - y\sin(xy) - x\sin(xy) \cdot y' = 0$

$y'[e^{x+y} - x\sin(xy)] = y\sin(xy) - e^{x+y}$

$\boxed{\frac{dy}{dx} = \frac{y\sin(xy) - e^{x+y}}{e^{x+y} - x\sin(xy)}}$

第四步：代入 $(0,0)$ 求切线斜率

$y'\big|_{(0,0)} = \frac{0 \cdot \sin(0) - e^{0}}{e^{0} - 0 \cdot \sin(0)} = \frac{-1}{1} = -1$

切线方程： $y - 0 = -1(x - 0) \Rightarrow \boxed{x + y = 0}$

【基础篇】第 2 题：公式法速算 + 高阶导数#

题目：设 $y=y(x)$ 由 $\ln\sqrt{x^2+y^2} = \arctan\frac{y}{x}$ 确定，求 $\frac{dy}{dx}$ 和 $\frac{d^2y}{dx^2}$。

思路分析：

• 这题直接求导会比较繁琐（对数+根号+反正切），用公式法更简洁。
• 高阶导数的关键：一阶结果中可能还含有 $y$，求二阶时必须继续用链式法则，且最后尽量用原方程化简。

详细解析：

第一步：化简原方程

$\frac{1}{2}\ln(x^2+y^2) = \arctan\frac{y}{x}$

设 $F(x,y) = \frac{1}{2}\ln(x^2+y^2) - \arctan\frac{y}{x} = 0$

第二步：求偏导数

• $F_x = \frac{1}{2} \cdot \frac{2x}{x^2+y^2} - \frac{1}{1+(\frac{y}{x})^2} \cdot (-\frac{y}{x^2})$

  $= \frac{x}{x^2+y^2} + \frac{y}{x^2+y^2} = \frac{x+y}{x^2+y^2}$

• $F_y = \frac{1}{2} \cdot \frac{2y}{x^2+y^2} - \frac{1}{1+(\frac{y}{x})^2} \cdot \frac{1}{x}$

  $= \frac{y}{x^2+y^2} - \frac{x}{x^2+y^2} = \frac{y-x}{x^2+y^2}$

第三步：代入公式

$\frac{dy}{dx} = -\frac{F_x}{F_y} = -\frac{\frac{x+y}{x^2+y^2}}{\frac{y-x}{x^2+y^2}} = \boxed{\frac{x+y}{x-y}}$

第四步：求二阶导数

对 $\frac{dy}{dx} = \frac{x+y}{x-y}$ 再对 $x$ 求导（注意 $y$ 是 $x$ 的函数）：

$\frac{d^2y}{dx^2} = \frac{(1+y')(x-y) - (x+y)(1-y')}{(x-y)^2}$

将 $y' = \frac{x+y}{x-y}$ 代入：

分子 $= (1+\frac{x+y}{x-y})(x-y) - (x+y)(1-\frac{x+y}{x-y})$

$= \frac{(x-y+x+y)(x-y)}{x-y} - \frac{(x+y)(x-y-x-y)}{x-y}$

$= \frac{2x(x-y)}{x-y} - \frac{(x+y)(-2y)}{x-y}$

$= 2x + \frac{2y(x+y)}{x-y} = \frac{2x(x-y) + 2y(x+y)}{x-y}$

$= \frac{2x^2 - 2xy + 2xy + 2y^2}{x-y} = \frac{2(x^2+y^2)}{x-y}$

所以： $\frac{d^2y}{dx^2} = \frac{2(x^2+y^2)}{(x-y)^3}$

也可以保留一阶导数形式，视题目要求而定。

【进阶篇】第 3 题：多元隐函数求偏导（考试高频）#

题目：设函数 $z=z(x,y)$ 由方程 $x^2 + y^2 + z^2 = yf(\frac{z}{y})$ 确定，其中 $f$ 可微，求 $\frac{\partial z}{\partial x}$ 和 $\frac{\partial z}{\partial y}$。

思路分析：

• 这是二元隐函数标准题型，方程右边含有抽象函数 $f$，需要用到链式法则。
• 设 $F(x,y,z) = x^2 + y^2 + z^2 - yf(\frac{z}{y}) = 0$，用公式 $\frac{\partial z}{\partial x} = -\frac{F_x}{F_z}$。
• 求 $F_y$ 和 $F_z$ 时，注意 $f(\frac{z}{y})$ 是复合函数。

详细解析：

设 $F(x,y,z) = x^2 + y^2 + z^2 - yf(\frac{z}{y}) = 0$

求 $F_x$： $F_x = 2x$

求 $F_z$： $F_z = 2z - y \cdot f'(\frac{z}{y}) \cdot \frac{1}{y} = 2z - f'(\frac{z}{y})$

求 $F_y$： $F_y = 2y - \left[f(\frac{z}{y}) + y \cdot f'(\frac{z}{y}) \cdot (-\frac{z}{y^2})\right]$

$= 2y - f(\frac{z}{y}) + \frac{z}{y}f'(\frac{z}{y})$

代入公式：

$\boxed{\frac{\partial z}{\partial x} = -\frac{2x}{2z - f'(\frac{z}{y})} = \frac{2x}{f'(\frac{z}{y}) - 2z}}$

$\boxed{\frac{\partial z}{\partial y} = -\frac{2y - f(\frac{z}{y}) + \frac{z}{y}f'(\frac{z}{y})}{2z - f'(\frac{z}{y})} = \frac{f(\frac{z}{y}) - 2y - \frac{z}{y}f'(\frac{z}{y})}{2z - f'(\frac{z}{y})}}$

【进阶篇】第 4 题：隐函数求全微分 + 二阶混合偏导#

题目：设 $z=z(x,y)$ 由方程 $e^z - xyz = 0$ 确定，求 $dz$ 及 $\frac{\partial^2 z}{\partial x \partial y}$。

思路分析：

• 求全微分 $dz = \frac{\partial z}{\partial x}dx + \frac{\partial z}{\partial y}dy$，本质还是求两个一阶偏导。
• 求二阶混合偏导时，建议先求一阶偏导的表达式，再对另一个变量求偏导，注意 $z$ 仍是 $x,y$ 的函数。

详细解析：

第一步：求一阶偏导

设 $F(x,y,z) = e^z - xyz = 0$

• $F_x = -yz$
• $F_y = -xz$
• $F_z = e^z - xy$

$\frac{\partial z}{\partial x} = -\frac{-yz}{e^z - xy} = \frac{yz}{e^z - xy}$

$\frac{\partial z}{\partial y} = -\frac{-xz}{e^z - xy} = \frac{xz}{e^z - xy}$

第二步：求全微分

$\boxed{dz = \frac{yz}{e^z - xy}dx + \frac{xz}{e^z - xy}dy}$

也可利用原方程 $e^z = xyz$ 化简分母：$e^z - xy = xyz - xy = xy(z-1)$，则 $dz = \frac{z}{x(z-1)}dx + \frac{z}{y(z-1)}dy$

第三步：求 $\frac{\partial^2 z}{\partial x \partial y}$

对 $\frac{\partial z}{\partial x} = \frac{yz}{e^z - xy}$ 关于 $y$ 求偏导：

$\frac{\partial^2 z}{\partial x \partial y} = \frac{\partial}{\partial y}\left(\frac{yz}{e^z - xy}\right)$

用商的求导法则，注意 $z$ 是 $y$ 的函数：

分子对 $y$ 求导：$z + y\frac{\partial z}{\partial y}$

分母对 $y$ 求导：$e^z\frac{\partial z}{\partial y} - x$

$\frac{\partial^2 z}{\partial x \partial y} = \frac{(z + y\frac{\partial z}{\partial y})(e^z - xy) - yz(e^z\frac{\partial z}{\partial y} - x)}{(e^z - xy)^2}$

将 $\frac{\partial z}{\partial y} = \frac{xz}{e^z - xy}$ 代入并化简（过程较长，考试时可保留此形式或进一步代入 $e^z = xyz$）。

【提高篇】第 5 题：方程组确定的隐函数（考研难度）#

题目：设 $\begin{cases} x + y + z = 0 \\ x^2 + y^2 + z^2 = 1 \end{cases}$，求 $\frac{dy}{dx}$ 和 $\frac{dz}{dx}$。

思路分析：

• 两个方程，三个变量，确定两个一元函数（通常选 $x$ 为自变量，$y=y(x), z=z(x)$）。
• 方法：两个方程两边同时对 $x$ 求导，得到关于 $\frac{dy}{dx}$ 和 $\frac{dz}{dx}$ 的线性方程组，用消元法或行列式法求解。

详细解析：

第一步：方程两边对 $x$ 求导

方程组 1：$x + y + z = 0$ $1 + \frac{dy}{dx} + \frac{dz}{dx} = 0 \quad \text{...(a)}$

方程组 2：$x^2 + y^2 + z^2 = 1$ $2x + 2y\frac{dy}{dx} + 2z\frac{dz}{dx} = 0 \quad \text{...(b)}$

第二步：解线性方程组

由 (a)：$\frac{dz}{dx} = -1 - \frac{dy}{dx}$

代入 (b)： $2x + 2y\frac{dy}{dx} + 2z(-1 - \frac{dy}{dx}) = 0$

$2x + 2y\frac{dy}{dx} - 2z - 2z\frac{dy}{dx} = 0$

$\frac{dy}{dx}(2y - 2z) = 2z - 2x$

$\boxed{\frac{dy}{dx} = \frac{z - x}{y - z}}$

代回求 $\frac{dz}{dx}$： $\frac{dz}{dx} = -1 - \frac{z-x}{y-z} = \frac{-(y-z) - (z-x)}{y-z} = \frac{-y + z - z + x}{y-z} = \frac{x-y}{y-z}$

$\boxed{\frac{dz}{dx} = \frac{x - y}{y - z}}$

验证：也可直接用雅可比行列式公式： $\frac{dy}{dx} = -\frac{\frac{\partial(F,G)}{\partial(x,z)}}{\frac{\partial(F,G)}{\partial(y,z)}}$

【综合篇】第 6 题：隐函数 + 极值 + 几何应用（压轴题）#

题目：设函数 $z=z(x,y)$ 由方程 $2x^2 + 2y^2 + z^2 + 8xz - z + 8 = 0$ 确定，求 $z=z(x,y)$ 的极值。

思路分析：

• 求隐函数的极值，关键是找驻点：$\frac{\partial z}{\partial x} = 0, \frac{\partial z}{\partial y} = 0$。
• 由隐函数求导公式，这等价于 $F_x = 0, F_y = 0$（前提是 $F_z \neq 0$）。
• 找到驻点后，再用二阶偏导判别极值。

详细解析：

设 $F(x,y,z) = 2x^2 + 2y^2 + z^2 + 8xz - z + 8 = 0$

第一步：求驻点条件

$\frac{\partial z}{\partial x} = -\frac{F_x}{F_z} = 0 \Rightarrow F_x = 4x + 8z = 0 \Rightarrow x = -2z$

$\frac{\partial z}{\partial y} = -\frac{F_y}{F_z} = 0 \Rightarrow F_y = 4y = 0 \Rightarrow y = 0$

第二步：代入原方程求 $z$

将 $x = -2z, y = 0$ 代入原方程：

$2(-2z)^2 + 2(0)^2 + z^2 + 8(-2z)z - z + 8 = 0$

$8z^2 + z^2 - 16z^2 - z + 8 = 0$

$-7z^2 - z + 8 = 0$

$7z^2 + z - 8 = 0$

$(7z + 8)(z - 1) = 0$

得 $z_1 = 1, z_2 = -\frac{8}{7}$

对应驻点：

• $P_1: x = -2, y = 0, z = 1$
• $P_2: x = \frac{16}{7}, y = 0, z = -\frac{8}{7}$

第三步：二阶判别

求 $F_{xx} = 4, F_{xy} = 0, F_{yy} = 4, F_{xz} = 8, F_{yz} = 0, F_{zz} = 2$

隐函数二阶偏导公式（在驻点处）：

$A = \frac{\partial^2 z}{\partial x^2} = -\frac{F_{xx}}{F_z}, \quad B = \frac{\partial^2 z}{\partial x \partial y} = -\frac{F_{xy}}{F_z}, \quad C = \frac{\partial^2 z}{\partial y^2} = -\frac{F_{yy}}{F_z}$

• 在 $P_1(-2,0,1)$：$F_z = 2z + 8x - 1 = 2 + (-16) - 1 = -15$

  $A = -\frac{4}{-15} = \frac{4}{15}, B = 0, C = -\frac{4}{-15} = \frac{4}{15}$

  $AC - B^2 = \frac{16}{225} > 0, A > 0$ → 极小值 $z = 1$

• 在 $P_2(\frac{16}{7},0,-\frac{8}{7})$：$F_z = 2(-\frac{8}{7}) + 8(\frac{16}{7}) - 1 = -\frac{16}{7} + \frac{128}{7} - 1 = \frac{112-7}{7} = 15$

  $A = -\frac{4}{15}, B = 0, C = -\frac{4}{15}$

  $AC - B^2 = \frac{16}{225} > 0, A < 0$ → 极大值 $z = -\frac{8}{7}$

结论： $\boxed{\text{极小值 } z(-2,0) = 1, \quad \text{极大值 } z(\frac{16}{7}, 0) = -\frac{8}{7}}$