全微分，可微，偏导存在，连续三者之间的逻辑链条——考试最爱考的三角关系

1. 定义（标准版）#

若函数 $z=f(x,y)$ 在点 $(x_0,y_0)$ 的全增量 $\Delta z = f(x_0+\Delta x, y_0+\Delta y) - f(x_0,y_0)$ 可以表示为： $\Delta z = A\Delta x + B\Delta y + o(\rho)$

其中 $A,B$ 仅与 $(x_0,y_0)$ 有关，与 $\Delta x,\Delta y$ 无关，$\rho=\sqrt{(\Delta x)^2+(\Delta y)^2}$，则称 $f$ 在 $(x_0,y_0)$ 可微。

此时全微分为： $\boxed{dz = \frac{\partial z}{\partial x}dx + \frac{\partial z}{\partial y}dy}$

2. 核心内涵：为什么要”合成”？#

关键洞察：全微分不是两个偏导数的简单相加，而是说”曲面在某点可以用一个切平面很好地近似”——就像地球表面是曲面，但在你脚下很小一块范围内，可以当成平地走。

3. 可微的”灵魂条件”#

可微的真正含义是：全增量与线性主部之差是距离的高阶无穷小。

$\lim_{\rho\to 0} \frac{\Delta z - [f_x\Delta x + f_y\Delta y]}{\rho} = 0$

这个极限才是判断可微的终极武器！很多考题就是考你能否验证这个极限。

逻辑链条详解#

考试常考的”陷阱”#

陷阱1：偏导存在就以为可微

偏导存在只是”沿坐标轴方向可导”，但可微要求所有方向的线性逼近都成立。就像你只知道东西和南北两个方向的路况，不能推断斜向也畅通。

陷阱2：连续就以为偏导存在

连续只要求”走到该点函数值不跳变”，但偏导要求”沿坐标轴方向的瞬时变化率存在”。就像路面是连续的，但可能有尖角（不可导）。

类比1：登山看地形（全微分）#

想象你在山坡上某点：

• 偏导数 = 你分别朝正东、正北走一小步，测出的坡度
• 全微分 = 你拿一块小木板放在脚下，这块木板就是山坡的切平面
• 可微 = 这块木板能很好地贴合你脚下的小范围地形；如果地形有断崖或尖石（不可微），木板就放不平

类比2：城市交通（三角关系）#

把函数在某点的性态比作一个路口的交通状况：

反例理解：

• 偏导存在但不连续：东西、南北路很平，但斜对角有个大坑（你斜着走会掉下去）→ 路口不连续
• 连续但偏导不存在：路口是个”尖角”（比如金字塔的棱），你能走到顶点，但正东正北方向刚好是”撞墙”的锐角，没有确定坡度

题型一：概念辨析（选择题重灾区）#

例题1：考虑以下四个性质：

• (1) $f(x,y)$ 在 $(x_0,y_0)$ 连续
• (2) $f(x,y)$ 在 $(x_0,y_0)$ 两个偏导数连续
• (3) $f(x,y)$ 在 $(x_0,y_0)$ 可微
• (4) $f(x,y)$ 在 $(x_0,y_0)$ 两个偏导数存在

则正确的是（ ）

A. (2)⇒(3)⇒(1)
B. (3)⇒(2)⇒(1)
C. (3)⇒(4)⇒(1)
D. (3)⇒(1)⇒(4)

解析：

• (2)偏导连续 ⇒ (3)可微：✓（充分条件）
• (3)可微 ⇒ (4)偏导存在：✓
• (3)可微 ⇒ (1)连续：✓
• 但 (4)偏导存在 ⇏ (1)连续，所以C错
• (3)⇒(2) 不成立（可微不要求偏导连续），B错
• (1)⇒(4) 不成立（连续⇏偏导存在），D错

答案：A

题型二：分段函数判定可微性（大题核心）#

例题2：设 $f(x,y) = \begin{cases} \frac{x^2y}{x^2+y^2}, & (x,y)\neq(0,0) \\ 0, & (x,y)=(0,0) \end{cases}$

判断 $f$ 在 $(0,0)$ 是否：(1) 连续；(2) 偏导存在；(3) 可微。

解析：

(1) 连续性： $\left|\frac{x^2y}{x^2+y^2}\right| = |y|\cdot\frac{x^2}{x^2+y^2} \leq |y| \to 0$ 所以 $\lim_{(x,y)\to(0,0)}f(x,y)=0=f(0,0)$，连续 ✓

(2) 偏导存在： $f_x(0,0) = \lim_{h\to 0}\frac{f(h,0)-f(0,0)}{h} = \lim_{h\to 0}\frac{0-0}{h} = 0$ 同理 $f_y(0,0)=0$，偏导存在 ✓

(3) 可微性（关键！用定义验证）： 需检验： $\lim_{\rho\to 0}\frac{\Delta z - [f_x(0,0)\Delta x + f_y(0,0)\Delta y]}{\rho} = \lim_{(x,y)\to(0,0)}\frac{\frac{x^2y}{x^2+y^2}-0}{\sqrt{x^2+y^2}} = \lim_{(x,y)\to(0,0)}\frac{x^2y}{(x^2+y^2)^{3/2}}$

取路径 $y=kx$： $\frac{x^2\cdot kx}{(x^2+k^2x^2)^{3/2}} = \frac{kx^3}{|x|^3(1+k^2)^{3/2}} = \frac{k\cdot\text{sgn}(x)}{(1+k^2)^{3/2}}$

极限与 $k$ 有关（例如 $k=1$ 时为 $\frac{1}{2\sqrt{2}}$，$k=0$ 时为 $0$），故极限不存在。

结论：不可微 ✗

题型三：偏导连续⇒可微的证明（定理题）#

例题3：证明：若 $f_x, f_y$ 在点 $(x_0,y_0)$ 的某邻域内存在且在 $(x_0,y_0)$ 连续，则 $f$ 在 $(x_0,y_0)$ 可微。

证明思路： $\Delta z = f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0)$ 拆成两步： $= [f(x_0+\Delta x,y_0+\Delta y)-f(x_0,y_0+\Delta y)] + [f(x_0,y_0+\Delta y)-f(x_0,y_0)]$

对第一个括号用拉格朗日中值定理（对 $x$）： $= f_x(x_0+\theta_1\Delta x, y_0+\Delta y)\Delta x + f_y(x_0, y_0+\theta_2\Delta y)\Delta y$

由 $f_x, f_y$ 连续： $f_x(x_0+\theta_1\Delta x, y_0+\Delta y) = f_x(x_0,y_0) + \alpha$ $f_y(x_0, y_0+\theta_2\Delta y) = f_y(x_0,y_0) + \beta$

其中 $\alpha,\beta\to 0$（当 $\rho\to 0$）。代入得： $\Delta z = f_x\Delta x + f_y\Delta y + \alpha\Delta x + \beta\Delta y$

而 $\frac{|\alpha\Delta x + \beta\Delta y|}{\rho} \leq |\alpha| + |\beta| \to 0$，故 $\Delta z = f_x\Delta x + f_y\Delta y + o(\rho)$。

证毕。