数学一

高等数学

知识单元 MATH-CAL-37：隐函数求导（一个方程与方程组）

---

一、定位信息

• 圈层：核心层（大纲考点）
• 前置知识回顾：偏导数与全微分（MATH-CAL-34）、链式法则（MATH-CAL-36）。隐函数求导的理论基础是隐函数存在定理，计算工具是链式法则。
• 知识网络定位：本单元是多元微分学的重要应用，上承链式法则，下启空间曲线的切线与法平面。隐函数求导在几何应用和极值问题中广泛使用。
• 考点热度等级：H级（高频重点）。隐函数求导是解答题的高频考点。

---

二、知识点讲解

2.1 一个方程的情形

2.1.1 隐函数存在定理（一元）

设 $F(x,y)$ 在点 $(x_0, y_0)$ 的某邻域内满足：

1. $F(x_0, y_0) = 0$
2. $F$ 具有连续偏导数
3. $F_y(x_0, y_0) \neq 0$

则方程 $F(x,y) = 0$ 在 $(x_0, y_0)$ 的某邻域内唯一确定一个隐函数 $y = y(x)$，且

$\frac{dy}{dx} = -\frac{F_x}{F_y}$

证明思路：由全微分 $F_x\,dx + F_y\,dy = 0$（因为 $F(x,y)=0$ 沿曲线恒为零），解出 $\frac{dy}{dx}$。

2.1.2 隐函数存在定理（二元）

设 $F(x,y,z)$ 在点 $(x_0, y_0, z_0)$ 的某邻域内满足：

1. $F(x_0, y_0, z_0) = 0$
2. $F$ 具有连续偏导数
3. $F_z(x_0, y_0, z_0) \neq 0$

则方程 $F(x,y,z) = 0$ 唯一确定隐函数 $z = z(x,y)$，且

$\frac{\partial z}{\partial x} = -\frac{F_x}{F_z}, \quad \frac{\partial z}{\partial y} = -\frac{F_y}{F_z}$

记忆技巧：公式结构为"负的、求导变量对应的偏导数除以因变量对应的偏导数"。

2.2 方程组的情形

设方程组 $\begin{cases} F(x,y,u,v) = 0 \ G(x,y,u,v) = 0 \end{cases}$ 确定隐函数 $u = u(x,y)$，$v = v(x,y)$。

对两个方程分别关于 $x$ 求偏导（$y$ 视为常数）：

$\begin{cases} F_x + F_u \frac{\partial u}{\partial x} + F_v \frac{\partial v}{\partial x} = 0 \\ G_x + G_u \frac{\partial u}{\partial x} + G_v \frac{\partial v}{\partial x} = 0 \end{cases}$

这是关于 $\frac{\partial u}{\partial x}$ 和 $\frac{\partial v}{\partial x}$ 的线性方程组，用克拉默法则解出：

$\frac{\partial u}{\partial x} = -\frac{\begin{vmatrix} F_x & F_v \\ G_x & G_v \end{vmatrix}}{\begin{vmatrix} F_u & F_v \\ G_u & G_v \end{vmatrix}}, \quad \frac{\partial v}{\partial x} = -\frac{\begin{vmatrix} F_u & F_x \\ G_u & G_x \end{vmatrix}}{\begin{vmatrix} F_u & F_v \\ G_u & G_v \end{vmatrix}}$

分母 $\begin{vmatrix} F_u & F_v \ G_u & G_v \end{vmatrix} = \frac{\partial(F,G)}{\partial(u,v)}$ 称为 $F, G$ 对 $u, v$ 的雅可比行列式。

隐函数存在条件：雅可比行列式 $\frac{\partial(F,G)}{\partial(u,v)} \neq 0$。

2.3 隐函数求导公式对比

情形	方程	求导公式	存在条件
一个方程，一个隐函数	$F(x,y)=0$	$\frac{dy}{dx}=-\frac{F_x}{F_y}$	$F_y\neq 0$
一个方程，两个自变量	$F(x,y,z)=0$	$\frac{\partial z}{\partial x}=-\frac{F_x}{F_z}$，$\frac{\partial z}{\partial y}=-\frac{F_y}{F_z}$	$F_z\neq 0$
方程组	$F=0, G=0$	用雅可比行列式	$\frac{\partial(F,G)}{\partial(u,v)}\neq 0$

---

三、记忆与理解辅助

1. 公式记忆口诀："负的、分子分母颠倒"。$F(x,y)=0$ 求 $\frac{dy}{dx}$，分子是 $F_x$（求导变量的偏导），分母是 $F_y$（因变量的偏导），前面加负号。

2. 隐函数求导的本质：方程 $F(x,y)=0$ 定义了一条曲线。沿曲线移动时 $F$ 始终为零，所以 $dF = F_x\,dx + F_y\,dy = 0$，由此解出 $\frac{dy}{dx}$。

3. 方程组求导的步骤：

   • 对每个方程关于目标变量求偏导
   • 得到关于未知偏导数的线性方程组
   • 用克拉默法则（行列式）求解

4. 雅可比行列式的作用：类似一元函数中导数不为零保证反函数存在，多元函数中雅可比行列式不为零保证隐函数存在。

---

四、例题与精解

例题 1（基础巩固）

命题意图：考查一个方程确定的隐函数的偏导数计算。

设 $e^z - xyz = 0$，求 $\frac{\partial z}{\partial x}$ 和 $\frac{\partial z}{\partial y}$。

审题分析：方程确定了隐函数 $z = z(x,y)$。设 $F(x,y,z) = e^z - xyz$，用公式求偏导。

解题思路：直接用隐函数求导公式 $\frac{\partial z}{\partial x} = -\frac{F_x}{F_z}$。

完整步骤：

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

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

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

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

由于 $e^z = xyz$（由原方程），也可化简：$e^z - xy = xy(z-1)$（当 $z \neq 1$ 时），因此

$\frac{\partial z}{\partial x} = \frac{yz}{xy(z-1)} = \frac{z}{x(z-1)}$

方法反思：隐函数求导公式直接给出结果，比两边对 $x$ 求导再解方程更简洁。但两种方法都可以，结果应一致。

---

例题 2（中等提升）

命题意图：考查方程组确定的隐函数的偏导数计算。

设方程组 $\begin{cases} x + y + z = 1 \ x^2 + y^2 + z^2 = 3 \end{cases}$ 确定 $y = y(x)$，$z = z(x)$，求 $\frac{dy}{dx}$ 和 $\frac{dz}{dx}$ 在 $x = 0$ 处的值（已知当 $x = 0$ 时，$y = 1$，$z = 0$）。

审题分析：两个方程、三个变量，确定两个隐函数 $y(x), z(x)$。对两个方程关于 $x$ 求导，得到线性方程组。

解题思路：对每个方程关于 $x$ 求导，解关于 $y'$ 和 $z'$ 的方程组。

完整步骤：

对第一个方程 $x + y + z = 1$ 关于 $x$ 求导：

$1 + y' + z' = 0 \quad \cdots (1)$

对第二个方程 $x^2 + y^2 + z^2 = 3$ 关于 $x$ 求导：

$2x + 2yy' + 2zz' = 0 \quad \cdots (2)$

化简 $(2)$：$x + yy' + zz' = 0$

代入 $x = 0, y = 1, z = 0$：

$(1)$：$1 + y' + z' = 0$$(2)$：$0 + 1 \cdot y' + 0 \cdot z' = 0$，即 $y' = 0$

代入 $(1)$：$1 + 0 + z' = 0$，$z' = -1$

因此在 $x = 0$ 处，$\frac{dy}{dx} = 0$，$\frac{dz}{dx} = -1$。

方法反思：方程组隐函数求导的标准步骤：（1）对每个方程关于目标变量求导；（2）代入已知点的坐标；（3）解线性方程组。先代入具体值再解方程，往往比先求一般表达式再代入更简洁。

---

五、考情分析

• 考查频次：近五年出现约 4 次，解答题和填空题均有。
• 常见题型：填空题（直接求隐函数的偏导数）、解答题（隐函数的二阶偏导数、与几何应用结合）。
• 分值占比：约 4–10 分。
• 命题趋势：隐函数求导常与空间曲线的切线、曲面的切平面等几何问题结合，形成综合性解答题。

---

六、易错点提醒

1. 错误表现：公式中分子分母颠倒或忘记负号。

   • 错误原因：对公式记忆不牢。
   • 正确理解/做法：$\frac{\partial z}{\partial x} = -\frac{F_x}{F_z}$，记住"负号 + 求导变量的偏导 / 因变量的偏导"。

2. 错误表现：对 $F(x,y,z) = 0$ 求 $\frac{\partial z}{\partial x}$ 时，将 $F_x$ 误解为"对 $z$ 的偏导"。

   • 错误原因：混淆了 $F_x$（$F$ 对 $x$ 的偏导）和 $F_z$（$F$ 对 $z$ 的偏导）的含义。
   • 正确理解/做法：$F_x = \frac{\partial F}{\partial x}$ 是将 $F$ 中 $x$ 视为变量、$y,z$ 视为常数的偏导。分母 $F_z$ 则是对隐变量 $z$ 的偏导。

3. 错误表现：方程组隐函数求导时，对两个方程求导后忘记这是一个方程组，试图分别求解。

   • 错误原因：不理解 $y'$ 和 $z'$ 出现在两个方程中，需要联立求解。
   • 正确理解/做法：两个方程关于 $x$ 求导后，得到关于 $y'$ 和 $z'$ 的二元一次方程组，必须联立求解。

4. 错误表现：求二阶偏导数时，直接对 $-\frac{F_x}{F_z}$ 关于 $x$ 求导，忘记 $z$ 也是 $x$ 的函数。

   • 错误原因：在求 $\frac{\partial^2 z}{\partial x^2}$ 时，$\frac{F_x}{F_z}$ 中的 $F_x$ 和 $F_z$ 都含有 $z$，而 $z = z(x)$。
   • 正确理解/做法：对 $-\frac{F_x}{F_z}$ 求导时，需要用商的求导法则，且对含 $z$ 的部分再用链式法则乘以 $\frac{\partial z}{\partial x}$。

---

七、来源标注

• 依据 2026 考研数学一大纲"隐函数求导"部分
• 依据大学本科经典教材《高等数学》（同济大学第七版）第九章