∂多元微积分 · 正反例全景实验室 主线：命题层级 → 反例强度 → 正例边界 → 统一控制 反例索引
FIXED-LINE EXTREME MODEL · 先看极强版本

每条直线都完美平坦，
整个曲面仍没有切平面。

真正的漏洞不是“方向还不够多”，而是：你先固定方向再取极限，只得到方向变量上的逐点收敛；可微要求的是所有方向同时受控的一致收敛。右图中的细脊会随尺度移动，每条固定射线最终都错过它，但脊顶始终保留一阶高度。

函数在原点连续 每条直线限制在原点附近恒为 0 各阶方向导数全为 0 仍不可微
它在什么意义下极强？不是“某条直线看漏了”，而是任意固定直线在足够靠近原点后都只看见完全平坦的零函数；坏点却沿一条方向不断变化的曲线钻进原点。这把“逐方向”和“统一控制”的差别推到了极致。
进入移动脊线实验 →先校准“连续”到底对谁
三维图：会移动、会变窄的一阶脊线白色平面是候选切平面 z=0；红线追踪脊顶 θ=r
默认即为最佳教学镜头 · 无需拖动
曲面 z=F(x,y)移动坏路径候选切平面
沿红线：F/||(x,y)||=1
01

先校准语言：同一句“所有方向都好”，可能说的是三种完全不同的事

反例不是钻字眼，而是迫使我们把变量、量词、邻域和线性模型说完整。只要这四件事含混，直觉就会把不同层级误当成同一个性质。

本页统一约定

方向导数采用双侧定义；“直线限制”也检查正、负两个方向

有些教材把方向导数定义为 的单侧极限。两种约定会影响少数例子（例如范数函数），但不会改变本页的核心反例：移动脊线与 在双侧、单侧定义下都照样击穿“方向导数推出可微”。

t

固定方向，沿一条直线看步长

对每个固定 ，考察 是否连续、可导甚至光滑。

不能推出可微不同方向可以拥有不同的“足够小”范围；方向还可能随尺度移动。
u

固定基点，看方向映射是否连续

考察 在单位圆上是否连续。

仍不能推出可微连续不等于线性；即使它恰为零线性映射，也可能缺少统一余项。
P

固定方向，让基点在邻域中移动

考察 是否在邻域存在并在 连续。

取两个坐标方向便足以推出可微这正是“偏导在邻域存在并在点连续”的标准充分条件。
最容易混淆的量词：方向导数给的是 ；可微要求 。前者允许每个方向各自挑半径，后者要求同一个小圆盘同时管住所有方向。

四类局部信息不是一条可以随意倒推的链

采样两条轴偏导存在

只看 两个方向，连连续性都未必得到。

≠
逐条固定直线所有方向导数存在

先固定方向再取一元极限；还缺线性相容与统一余项。

≠
所有路径的零阶高度连续

要求 ，却不要求存在一阶平面。

≠
整邻域的一阶模型可微

同一个线性映射 必须让最坏归一化误差趋零。

必要条件链

可微 必然推出连续、两个偏导存在、所有方向导数存在，而且 。

这些都是从同一个线性模型向外读出的影子。

常用充分条件

若 在点的某邻域存在，并在该点连续，则可微。

它是强而好用的充分条件，不是必要条件；后文会用正例证明机制，也会给出可微但偏导不连续的反例。

邻域内偏导存在且在 P 连续
⇒
P 点可微
⇒
P 点连续
由“可微”另一路推出
⇒
所有方向导数存在且由同一线性映射给出
⇒
两个偏导存在

只允许沿箭头正向使用。连续与“所有方向导数存在”彼此也不蕴含：圆锥给出“连续但方向导数不存在”，而后文的 给出“所有方向导数全为 0 但不连续”。

先把最基础的两条断箭头钉牢：否则后面的强反例会显得像魔术

实验 0：连续、偏导、方向导数究竟各自在看什么

左图是连续但连坐标偏导都不存在的圆锥；右图是偏导在整个邻域每一点都存在、坐标轴也完全平坦，却仍不连续的 。两图共同说明这些性质不是“差不多”。

基础断箭头
圆锥 R(x,y)=√(x²+y²)高度连续压向 0；x 轴截线却是 |x|，左右斜率相反
G₂：偏导处处存在，函数仍不连续两坐标轴恒为 0；红色抛物线 y=x² 上恒为 1/2

连续 ⇏ 偏导存在

不存在

连续只管函数值是否靠近；偏导还要求沿坐标轴存在一个双侧线性斜率。圆锥顶点高度连续，却有尖角。

偏导在邻域处处存在 ⇏ 连续

原点外它是光滑有理函数，所以偏导在邻域每一点都存在；原点处两个偏导也由坐标轴直接得到 0。偏导只抽查两条轴，仍会漏掉抛物线通道。

02

固定直线信息意义下的极强反例：把“逐方向不等于统一”做成一条三维移动脊线

这一节不靠某个偶然的有理式，而是直接按照量词漏洞造函数。它把每条固定直线的局部信息都做到极好，是理解“逐方向成立仍不等于可微”的核心模型。

这里 ，。只讨论足够小的圆盘 ；若想把它定义到全平面，只需在外侧乘一个光滑径向截断，原点附近的全部性质不变。函数只在角带 内隆起；半径越小，脊线方向越靠近 x 轴，角宽也越窄。

实验 A：曲面高度趋零，但归一化误差的脊顶永远不降

左边看原函数 z=F；右边看可微性真正检查的量 E=|F|/r。函数连续只要求左图整体压向 0；可微要求右图也整体压向 0。

核心实验
原函数曲面|F|≤r，所以整张曲面高度确实趋于 0
归一化误差曲面 E=|F|/r脊顶恒为 1，故不可能统一趋于 0
固定半径上的角向剖面半径缩小时，尖峰向 θ=0 移动并变窄，但峰高不变
量词翻译
方向导数给出的只是逐方向结论

固定一个方向后，移动尖峰最终离开该方向，所以这条射线上的误差变成 0。

可微要求统一结论

每个半径 r 都能选择“追着尖峰走”的方向 ，使误差仍为 1。

严格证明：为什么它比普通路径反例更强

1

连续：因为 ，所以 。

2

每条固定直线在原点附近都恒为 0：固定方向角 。脊线只占据 。若 ，因 ，0 永远不在此区间；若 ，取 r 足够小便有 。因此固定射线最终完全错过脊线。

3

于是每条直线限制局部恒零： 在 t=0 的某个邻域内就是零函数。它不仅一阶方向导数存在，而是任意阶导数都存在且全为 0；方向映射也是连续的零映射。

4

仍不可微：若可微，因所有方向导数为 0，微分只能是 。但沿 ，恰有 ，故 ，与可微要求矛盾。

一针见血：每个固定方向都拥有自己的“从此以后没有尖峰”的半径 ；但不存在一个统一半径 能让所有方向同时避开尖峰。反例不是方向数量不足，而是 不能交换成 。
它为何不与“连续偏导推出可微”冲突？脊线的角宽随 r 缩小，横跨脊线时函数要在极窄的空间距离内从 0 升到一阶高度；附近偏导并不连续，甚至会出现越来越陡的横向斜率。它满足的是“固定直线限制很光滑”，不是“基点附近的方向导数场连续”。
03

方向信息会在两道关口断裂：先看“能否拼成平面”，再看“能否统一贴合”

“所有方向导数存在”离可微还隔着两个独立条件。第一关是线性相容；第二关是一致余项。把二者分开，所有反例就不再混乱。

与下一节的参数族相连：。因此 对应“方向斜率不共面”；从 起，方向导数全部为 0，才进入第二道关口“统一余项失败”。
第一关失败

线性相容失败

各方向斜率虽然存在，却不像某个平面的斜率。也就是 不是线性泛函。

第二关失败

统一控制失败

方向斜率已经组成同一个线性映射 L，但沿不同方向趋近的速度没有统一界；坏方向会随尺度移动。

逐点

实验 B：每条径向截线都是直线，仍拼不出一张切平面

反例 是一次齐次函数。图面由穿过原点的直线生成，看似“每个方向都有漂亮切线”，但这些切线不共面。

线性相容失败
锥形曲面与径向生成线蓝线是当前方向截线；灰平面是由两个偏导给出的候选平面 z=0
方向角上的有符号斜率平面的方向斜率必须是 a cosθ+b sinθ；本例还混入第三谐波
D(e₁)0
D(e₂)0
D(e₁+e₂)1/2
可加性失败
1

沿任意向量 ，，所以所有方向导数都存在。

2

坐标方向给出 。若存在切平面，其线性部分只能是零。

3

但按“向量方向”定义有 。一个线性映射不可能同时满足 而 。若教材只允许单位方向，改取 ，仍有 。

几何识别法：若 f 在原点可微，单位方向上的斜率图一定是 ——只含一次谐波。本例却有 ，多出的 正是“这些切线无法共面”的代数指纹。
04

同一族函数跨过两道关口：为什么这里必须区分 m=1 与 m≥2

原页面只写 ，容易让人误以为 “不成立”。真正原因不是反例失效，而是反例在 时击穿的是第一道关口；从 起才把第一关完全通过，只留下更深的统一性失败。

先把结论说死

m=1 当然也是不可微反例，但它就是上一节的线性相容反例 A

。它连续、所有方向导数存在，却因方向斜率不是线性映射而不可微。只有 时，所有方向导数才全部为零，因而“线性相容”已经彻底通过。

m=1

第一关失败

方向导数存在，但 不是线性函数。

连续，但不可微
m≥2

第一关通过，第二关失败

所有方向导数全为 0，已经组成连续线性零映射；隐藏曲线仍保留一阶误差。

更强的不可微反例
m 越大

固定直线被“骗”得越彻底

每条直线限制为 ；前 阶沿线导数都为 0。

任何有限阶直线抽查都可被绕过

实验 C：拖动 m，亲眼看见失败机制在 m=1 与 m≥2 之间换挡

默认镜头仍保持最优教学视角。先读顶部状态条，再比较灰色固定直线、红色尺度匹配曲线与候选平面。

两道关口 · 同族分层
第一关：线性相容通过
固定直线量级O(t²)
候选微分L=0
可微性失败
函数曲面与尺度匹配路径m≥2：灰线方向导数全为 0；红线 y=xᵐ 上 Bₘ=x/2
归一化误差面把“看似贴平”改成可检验的比值 |Bₘ−L|/√(x²+y²)

完整计算：同一个代入式怎样自动分出 m=1 与 m≥2

1

先保住连续性

所以所有 都连续。这里不是反例强度的分界。

2

沿固定向量计算一次

除以 后， 留下非线性方向函数； 才全部趋于 0。若 ，函数恒为 0。

3

再走尺度匹配曲线

时极限为 ； 时极限为 。无论哪一种，都不是 0，因此都不可微。

最省力的机制诊断：两条曲线切向量相同，复合函数的一阶变化却不同

输入平面（以 m=2 示意）γ₀(t)=(t,0)γ₂(t)=(t,t²)同一切向量 (1,0)
送入 Bₘ 后的一元输出Bₘ∘γ₀=0Bₘ∘γₘ=t/2输出斜率 0 与 1/2

若 在原点可微，链式法则会强迫两条曲线得到同一个一阶输出：

但实际一个是 0，一个是 1/2。这说明可微不仅要认“切向方向”，还必须保证所有拥有同一切向量的曲线路径都具有相同的一阶响应。 时 ，并非同切向情形，所以它应归入前一节的线性相容失败。

m=1 的精确失败位置

候选偏导给 ，但斜向方向导数不为 0：切线本身就拼不成平面。无需再谈统一余项。

m≥2 的精确失败位置

所有方向导数已经与 完全相容；只有沿 的归一化余项不降。这才是“逐方向不等于统一”的纯粹反例。

只多乘一个 x，怎样修复

令 ，则 ，于是可微且微分为 0。

05

极限与连续：m=1 完全可以，但它与 m≥2 反驳的命题强度不同

路径反例的价值不只在“找两条路算出不同答案”，而在于精确说明：哪些检查已经通过，失败还藏在哪一层。把 分开后，这一族函数就是一张完整的反例强度阶梯。

直接回答你的质疑

你是对的：m=1 时沿 y=x 与 y=−x 分别得到 1/2 与 −1/2，极限当然不存在

原来限定 的唯一合理目的，是要构造更强的版本：让所有固定直线都趋于 0，迫使坏路径藏进非线性尺度 。若只是反驳“二重极限存在”， 已经足够。

m=1 · 基础版

坏路径就是直线

。不同斜率给不同常数； 立刻给 。

击穿轴检验、累次极限、分别连续
m=2 · 隐蔽版

所有直线都通过

任意固定 都趋 0，但 保留 。

方向导数全存在，但方向函数非线性
m≥3 · 本族极强版

所有方向导数还全为 0

直线函数值为 ，差商为 ；仍沿 不连续。

方向映射已是连续线性零映射

实验 D：同一曲面族的三档强度 + 幂次路径扫描器

先点三个预设档位认清“哪些检查已经被蒙混过关”，再拖动 p。m=1 时危险尺度本身是直线；m≥2 时它才弯成固定直线扫描看不见的窄通道。

命题强度分层
当前反例层级所有直线通过
直线检验全部趋 0
方向导数存在但非线性
联合连续失败
三维曲面与当前路径黑线是 y=±x²；红线是 y=cxᵖ
限制到当前幂次路径后的函数p=m 时保留常数；p≠m 时离开危险尺度
当前关系p=m
主导阶x⁰
路径极限1/2
把所有固定直线压成一张“斜率—极限”图横轴 k 表示直线 y=kx；这一图直接解释为什么 m=1 与 m≥2 不同

不是凭感觉：两次代入把所有层级一次算清

第一步：固定直线 y=kx

当 时，它恒等于 ；当 时，对每个固定 都趋 0， 时恒为 0。竖直线 也恒为 0。

第二步：让分母两项同阶

这条式子对所有 都成立。 时它是一族直线； 时才是直线测试看不见的非线性路径。

关于路径指数 p 的合法性：滑块允许非整数 ，图中明确取 ；仅从右侧沿一条合法曲线趋近已经足以否定二重极限。若希望使用双侧参数，可改写成 ，或把 取整数。另需注意： 只有在 时才是坏路径； 只是 x 轴，函数恒为 0。

正向对照：证明连续不是继续试路径，而是控制整个小圆盘的最坏高度

对同一个分母，坏例 的最坏高度永远不降；连续对照 的整个圆盘却被统一压进高度 以内。

零阶统一控制
圆盘最坏高度包络 ω(r)红：ω_G(r)=1/2；绿：ω_B(r)≤r/2→0
为什么 Gₘ 永远卡在 1/2

，而任意小圆盘都含有 上的非零点，在那里 ；所以 。

为什么 Bₘ 确实连续

对圆盘内所有点同时成立；所以 。

方向导数强度再细分：对 ，。因此 时方向导数为 （存在但不线性，且靠近 会变得很大）； 时所有方向导数均为 0。函数却仍不连续，所以“所有方向导数存在”甚至不推出连续。
直线法能做什么

找到两条直线给不同值，就足以否定极限；所以 是完全合法而高效的反例。

直线法不能做什么

所有固定直线都给同一值，只是逐条通过，不能证明二重极限； 正是为击穿这一错误逆推而选。

真正的证明工具

要证明极限，应做与路径无关的统一估计、夹逼、极坐标上界，或直接按 定义控制整个邻域，而不是继续增加抽查路径数。

06

什么条件真正补上漏洞：连续偏导把“逐方向”升级为“统一邻域控制”

反例不是要摧毁直觉，而是告诉你缺了哪颗螺丝。连续偏导之所以有力，不是因为多算了两个导数，而是它允许用一元中值定理把整个二维增量拆成两段并统一估计。

可微的圆周判据：这是整页最值得记住的等价形式

若候选线性映射为 L，令

方向导数与 L 相容

只是在单位圆上的每个固定点逐个收敛。

≠
可微

整条单位圆的最坏误差一起归零。

实验 E：三类函数的“最坏归一化误差”同图比较

不是看若干路径，而是在每个半径 r 上扫描整圈方向，取上确界 M(r)（本页绘制的连续圆周例子中，上确界能够取到，因而也是最大值）。这正是可微定义的数值化版本。

统一诊断仪
M(r)=sup||u||=1|f(ru)-f(0)-rL(u)|/r平滑函数趋 0；代数坏槽趋 1/2；移动脊线恒为 1

连续偏导推出可微：把证明拆成“走两条边 + 两次中值定理”

实验 F：在真实三维曲面上看增量分解

从 P 到 P+(h,k) 不直接穿过去，而是先沿 y 方向、再沿 x 方向走一个 L 形；每一段都是一元函数，可以使用中值定理。

正向定理
平滑曲面、切平面与 L 形路径示例 S(x,y)=sin x+0.3xy+cos y−1，P=(0,0)
证明骨架
P=(a,b)起点
→
(a,b+k)先改 y
→
(a+h,b+k)再改 x

由一元中值定理，存在 ，使

减去候选线性部分 ：

偏导在 P 连续：给定任意 ，可令两个方括号同时小于它；于是

由于 ε 可以任意小，故归一化余项的极限为 0。

真正起作用的是“邻域 + 连续”。只有该点两个偏导值，无法在 L 形路径的中间点使用它们；而附近偏导存在且靠近 P 时接近固定值，才把两段一元估计合成一个统一的二维估计。
同族正例

反例只差一个幂次就被修复：这是最干净的边界对照

沿隐藏路径保留一阶误差而不可微； 多乘一个 后，归一化误差被统一压到 0。

07

反向箭头也会断：函数可微，并不要求附近的偏导函数连续

可微控制的是“函数高度相对切平面的误差”；偏导连续控制的是“附近斜率场是否稳定”。高度很小，斜率仍可能因高频振荡而剧烈变化。

实验 G：不断放大原点——函数面越来越平，偏导面仍保持单位振荡

拖动观察窗口。左图的振幅按 x² 缩小；右图中的 −cos(1/x) 却不会衰减。

可微 ≠ C¹
函数曲面 H(x,y)灰平面 z=0 是真正的切平面；缩放后曲面被压平
偏导曲面 Hₓ(x,y)2x sin(1/x)−cos(1/x) 在 x→0 时持续振荡

为什么可微

因此线性部分 L=0 的余项确实比距离小。

为什么偏导不连续

求导把快速变化的相位 拉出来，产生不衰减的余弦项。

机制：函数可微是对“高度”的一阶控制；偏导连续是对“斜率场”的零阶控制。后者更强，所以它能作为可微的充分条件，却绝不是必要条件。
08

混合偏导：反例没有推翻 Schwarz 定理，它恰好把定理前提断裂的位置暴露出来

“两个混合偏导在一点存在”与“两个混合偏导作为邻域中的函数连续”不是同一件事。最直观的观察对象也不应只是一阶原曲面，而应是同一个小矩形的四点差商。

标准充分条件

若两个混合偏导在点的某邻域内存在并连续，则它们在该点相等

在的某邻域连续

这是考研中最稳妥、最常用的强版本；它是充分条件，不宣称必要。若它们在开区域 内连续，就对 内每一点应用这个局部结论，故处处相等。反例若在原点给出相反值，就必定不满足原点附近的连续性前提。

下标约定： 与 在本页表示同一对象。本页采用 ，即先 x，后 y。部分教材采用相反口径；那只会交换名称，不会改变“两条路线一个得 −1、一个得 +1”的事实。

为什么“小矩形四点差商”是最合适的统一镜头

f(0,0)
f(h,0)
f(0,k)
f(h,k)
先沿 x
再沿 y
先沿 y
再沿 x

严格地说，四点差商先只在 时定义。图中轴线表示相应的路线极限或连续延拓，而不是把分母为 0 的式子硬算成数。

这是同一个矩形的“净交互增量”。先令 ，再令 ，读到 ；先令 ，再令 ，读到 。

连续性的作用：它让矩形无论按哪条路线缩小，内部取到的二阶斜率都被迫靠近同一个点值。

实验 H1：正例与反例使用同一把尺子——都看四点差商曲面

拖动观察半宽 ρ。正例会整体压向水平面 z=1；反例的曲面无论缩小多少都保持原形，两个坐标轴方向分别钉在 +1 与 −1。

正反同尺
正例 S(x,y)=xy+x²y²Qₛ(h,k)=1+hk；窗口缩小时整张面统一贴向 z=1
反例 M 的矩形差商Qₘ(h,k)=(h²−k²)/(h²+k²)；缩放不改变形状

正例：两条路线被统一压到同一个值

事实上 在邻域连续。这里不是“恰好算出相等”，而是整张矩形差商面都在缩小。

反例：两个累次极限相反，联合极限不存在

依本页约定，前者是 ；后者是 。

实验 H2：把“定理前提失败”直接画出来

原函数在原点一阶可微并不重要到足以保证二阶规则。真正要看的是：原点外两个混合偏导确实相等，但它们共同形成的穿孔斜率场在原点没有极限，因而无法连续延拓。

连续性断点定位
原函数 M 与一阶切平面|M(x,y)|≤(x²+y²)/2，所以它在原点一阶可微
原点外共同的混合偏导场Mxy=Myx 在 (x,y)≠0 成立；问题只集中在原点连续性
两条一阶斜率轴：代数核对蓝：Mₓ(0,y)=−y；红：Mᵧ(x,0)=x；再取斜率分别为 −1 与 +1
沿 y=0共同场 → 1
沿 x=0共同场 → −1
沿 y=x共同场 → 0
结论原点极限不存在
所以哪里没有矛盾

若把 D 取成去掉原点的区域，混合偏导连续且处处相等；若 D 包含原点，连续性前提就失败

反例不是说“连续的混合偏导也能不相等”，而是说“只在一点把两个二阶差商分别算出来，不足以保证换序”。它与 Schwarz 定理完全一致，甚至把定理为何需要邻域连续性展示得更清楚。

再防一个反向误解：连续是保证相等的充分条件，不是必要条件。令 （原点取 0）。原点外它光滑，故 ；原点又有 。因此两者在整个邻域逐点相等，但这个共同函数沿 趋 、沿 趋 0，仍不连续。正确逻辑是“连续 ⇒ 相等”，不是“相等 ⇔ 连续”。

Schwarz 定理的矩形机制：为什么连续性足以让次序消失

1

取同一个净增量

设 。

2

先对 x 用中值定理

再对 y 用一次，可写成 ，其中中间点落在小矩形内。

3

交换顺序再做一遍

同一个 也可写成 。

4

让矩形缩向原点

连续性迫使两边分别趋于 与 ；但它们始终来自同一个 ，故相等。

09

极值反例的共同陷阱：固定直线看见的“局部”，不一定共享同一个邻域

极值是整邻域的符号问题。每条直线各自存在一个小区间还不够；必须有同一个小圆盘，使所有路径都保持同号。

二阶判别安全版

临界点 + 邻域二阶连续（或明确的二阶 Taylor 展开）

在这套标准前提下：Hessian 正定 ⇒ 严格局部极小；负定 ⇒ 严格局部极大；不定 ⇒ 鞍点；半正定、半负定或 ⇒ 二阶判别无结论。连续混合偏导还保证 Hessian 对称。若只有“点上几个二阶偏导值”，不能机械套用。

实验 I：每条直线都像局部最小，负值却藏在两条抛物线之间

三维图和等高线同时标出零值边界 y=x²、y=2x²；中间是一条越来越窄的负值槽。

线检验失效 + Hessian 半正定失效
曲面、零值抛物线与当前路径红色路径若进入两条零值抛物线之间，就会落入负槽
当前路径上的一元限制比较“固定直线”和“随 x 弯曲的路径”
∇Q(0,0)0
Hessian半正定
每条直线局部非负
二维局部极小不是
对每个固定，当足够小时

这覆盖所有非竖直直线；竖直线 x=0 上有 ，因此确实是“每一条固定直线”都看成局部最小。

和方向导数反例是同一个量词漏洞：每条直线都有自己的 ，但当斜率 m 随 x 变成 时，就能始终钻入负槽。二维局部极小要求统一的 。

当二阶判别式 D=0：最大、最小、鞍点三种结局全部可能

实验 J：同一份二阶数据，三张完全不同的四阶曲面

三个函数在原点都满足梯度为 0、Hessian 为零、D=0。切换函数，观察高阶项如何决定结局。

二阶信息失语
四阶主导曲面二阶 Taylor 多项式都相同：恒为 0

更隐蔽的漏洞：点上的 Hessian 已经正定，也可能仍不是极小值

实验 J2：正例与反例拥有同一个点态 Hessian 2I

切换曲面。绿色半透明碗是 Hessian 预测的二次模型 ；正例与它完全一致，反例却沿对角线出现同阶负槽，说明缺少的正是二阶统一余项。

二阶正规性边界
真实曲面 vs. Hessian 二次模型两者在原点的梯度均为 0、点态 Hessian 均为 2I

正例：二阶模型就是函数本身

正定二次型在单位圆上有统一正下界，因此小圆盘内除原点外都为正。

反例：点态 Hessian 正定，但没有二阶 Taylor 余项

所以失败的不是“正定”二字，而是未经检查便假定了二阶 Taylor 展开。

梯度为 0 不推出极值

在原点梯度为零，却沿两轴异号，是鞍点。

极值点不一定梯度为 0

在定义域 上， 的原点是边界最小点，但梯度为 。

正定与半正定要分开

Hessian 正定可保证严格局部极小；半正定只说明二次项不降，零方向上的高阶项仍能翻盘。

10

定理边界：条件失效时，正确结论是“定理沉默”，不是“结论取反”

多元微积分中大量错题并非计算错，而是把充分条件误当成充要条件，或忽略定义域、奇点与拓扑前提。

拉格朗日

在 的开邻域可微，，且 ；若 是等式约束上的局部极值点，才必满足乘数方程。

隐函数

在 的开邻域为 ，并满足 、，才保证零水平集附近可唯一解出可微的 。

逆函数

设 位于开域内；若 在其邻域为 ，且 ，才保证 附近存在可微局部逆。

积分换序

闭矩形上连续，或反常情形满足绝对可积，是安全的换序条件。

保守场

单连通开域上的 向量场满足 ，才可推出保守。

统一逻辑：这些都是“前提 ⇒ 保证”。前提失败时，只能说定理不再担保；要判定结论，必须回到定义或另找结构，不能把箭头倒过来。
拉格朗日退化

约束极值不一定满足乘数方程

可行集只有原点，所以它同时是最大与最小；但 ，不存在 λ 使 。缺的是正则条件。

隐函数定理沉默

Fᵧ=0 不等于不能解出 y

原点 ，但方程恰好等价于 。条件失败只表示定理不给保证。

逆函数定理沉默

Jacobian 为 0 不等于映射不可逆

T 全局一一对应，逆为 ；只是逆映射在原点不可微。

反常二重积分：换序前必须审查绝对可积性

实验 K：同一奇异曲面，两种积分次序给出相反答案

曲面在原点附近呈四瓣奇性；图中为便于观察进行了高度截断，但积分计算使用原函数。

Fubini 前提缺失
s(x,y)=(x²−y²)/(x²+y²)²绝对值在极坐标下含 dr/r，故不绝对可积

先 y 后 x

先 x 后 y

这不是 Fubini 定理“失效”，而是函数不满足可交换次序的条件。

旋度为零：还要看定义域有没有洞

实验 L：穿孔平面上的环流

向量场处处绕原点旋转，局部旋度为 0；但绕洞一周的线积分为 2π。

拓扑前提
F=(-y/r², x/r²) 与单位圆原点被挖掉；箭头沿圆周切向

“旋度为 0 推出保守场”需要单连通定义域。局部微分信息看不见全局的洞。

11

参数相变工厂：参数不是装饰，而是一张“性质相变图”

前面的 、 与正例修复项其实来自同一个母族。现在把 也纳入，重新计算每个参数区间，避免把“反例成立”与“反例足够强”混为一谈。

实验 M：选隐藏尺度 m，再用分子阶数 a 决定你要破坏哪一层

红线始终取 y=xᵐ。左图看函数曲面与异常通道；右图把两个量取 log₁₀，用直线的升、平、降直接读取阶数。

参数相变实验
隐藏路径量级x¹
归一化误差量级x⁰
当前性质连续但不可微
反例角色统一控制失败
当前 Hₐ,ₘ 曲面与隐藏路径沿 y=xᵐ，函数正好是一阶量
路径量级诊断实线：log₁₀|H|；虚线：log₁₀(|H|/距离)；向右表示更靠近原点

两条公式控制整张相变图

沿隐藏尺度读精确阶数

指数 决定函数值：负指数爆炸，零指数保持常数，指数 1 留下一阶高度，更高则衰减。

用统一上界判断连续与可微

若 则连续；若 ，再除以 得 ，故可微且微分为 0。

参数位置隐藏路径上的量级基本性质m=1 时m≥2 时
爆炸原点附近无界极端极限失败；无需更细检查
常数量级有界但不连续坏路径就是直线，线检验立刻发现所有固定直线可趋 0，坏路径藏在
一阶量连续但不可微：线性相容失败：所有方向导数为 0，统一余项失败
高于一阶可微，同一个坏槽被额外幂次压平；这是必要的正例修复
极限族

位于“不连续”临界线。

不可微族

位于“连续但不可微”临界线。

正例修复

再多一个 x，统一误差开始归零。

制造反例的完整流程：先由分母找竞争尺度 ；再沿 读出精确阶数；然后分别检查固定直线、方向差商和归一化误差。只有最后一步 才能真正判定可微，前面都只是定位候选与漏洞。
12

反例总索引：不仅列函数，还标明“反例强度”与“定理前提在哪里断”

弱反例可以否定命题，但强反例还能排除更多错误解释。本表已经按本次审计统一修正 的层级，并把混合偏导的 Schwarz 前提写到同一行。

常见错误命题合适反例 / 正例它已经具备的更强好性质真正缺失或精确结论
连续 ⇒ 偏导存在函数在原点连续，且处处非负x 轴截线是 ，双侧偏导不存在
偏导在某邻域每一点都存在 ⇒ 连续原点外光滑；原点两个偏导均为 0沿 恒为
沿 x、y 轴极限相同 ⇒ 二重极限存在两轴都恒为 0；两个累次极限也为 0沿 得
两个累次极限相同 ⇒ 二重极限存在 或 两种次序都给 0累次趋近不等于同时沿任意路径趋近
所有固定直线极限相同 ⇒ 二重极限存在每条直线都趋 0尺度匹配曲线 保留常数
所有方向导数存在 ⇒ 连续每个方向导数都有有限值方向函数非线性；函数沿 不连续
所有方向导数均为 0 ⇒ 连续方向映射是连续线性零映射仍缺方向上的统一控制
分别连续 ⇒ 联合连续 或 固定任一变量时都连续缺二维联合邻域控制
连续 + 所有方向导数存在 ⇒ 可微 或 连续； 方向导数全零分别击穿线性相容与统一余项两道关口
每条直线限制都 C∞ ⇒ 可微移动脊线 每条固定直线在原点附近恒零，任意阶导数全零坏方向随尺度移动；逐点不等于一致
方向映射连续 ⇒ 可微；更强为 前者方向函数连续；后者恒为零线性映射还需线性相容与统一余项
所有方向导数已经组成线性映射 ⇒ 可微；更强为移动脊线 方向映射均为连续线性零映射仍缺归一化余项对方向的一致控制
偏导或方向导数存在时可机械使用梯度公式、链式法则两条同切向曲线都趋向原点复合导数分别为 0 与 1/2；可微才授权统一的一阶链式法则
可微 ⇒ 偏导函数连续原点余项为 偏导含不衰减的
两个混合偏导在一点存在 ⇒ 相等原函数在原点一阶可微；原点外两者处处相等共同混合偏导场在原点不连续，故 Schwarz 前提失败
混合偏导相等 ⇒ 它们必连续连续是充分条件，不是必要条件
⇒ P 是极值点光滑多项式梯度为零只是内点可微极值的必要条件
沿每条直线都是极小 ⇒ 二维极小每条固定直线局部非负两条抛物线之间藏有弯曲负槽
只要点上的 Hessian 正定 ⇒ 严格极小原点梯度为 0，且点上的 Hessian 为 沿 有 ；缺少二阶 Taylor 余项控制
Hessian 半正定 ⇒ 极小 半正定沿 有 ；零方向必须继续看高阶项
⇒ 无极值 / 一定有极值梯度与 Hessian 全相同二阶判别失语，不代表结论固定
约束极值必满足拉格朗日方程可行集只有一个点缺 的正则条件
⇒ 不能解出隐函数仍有光滑解 充分条件失败只表示定理沉默
⇒ 映射不可逆全局一一对应排除的是可微局部逆，不是集合可逆
反常二重积分总能换序两个累次积分各自存在不绝对可积，Fubini/Tonelli 前提不足
旋度为 0 ⇒ 保守场穿孔平面内处处旋度为 0定义域不单连通，环流为

考场七问法：从“能否否定”走到“为什么失败”

1范围

性质只在一点，还是在一个邻域？

2采样

检查的是轴、固定直线，还是所有路径？

3量词

方向先固定，还是可随尺度变化？

4线性

方向斜率能否拼成同一个线性映射？

5统一性

最坏归一化余项能否整圈趋零？

6阶数

当前导数阶与定理要求是否混层？

7前提

连续、内点、正则、单连通、绝对可积是否齐全？

快速判断训练

错误。 已经沿 与 给出 与 。 只是为了得到“所有固定直线都通过”的更强版本。
错误。沿 恒为 。固定直线的逐条检验无法替代所有路径的统一控制。
错误。 的方向斜率不能组成线性映射； 的方向导数已经全部为 0，失败只在统一余项。结论相同，机制不同。
错误。原点外两个混合偏导相等，但共同场在原点没有极限；“邻域连续”前提恰好失败。
正确。对 D 内每一点取一个小矩形，用两次一元中值定理与连续性即可证明换序。
错误。函数 N 在原点两个混合偏导都为 0，但邻域混合偏导沿不同路径有不同极限。
错误。条件失败时只能说“该定理不能保证”；隐函数、逆函数与混合偏导相等都存在结论仍成立的正例。
错误。圆锥 在原点连续，但 不存在。连续控制高度，不控制尖点斜率。
错误。标准二阶判别还需要足够的二阶正规性，使 Taylor 二阶余项为 。函数 W 在原点点态 Hessian 为 ，却沿 取负值。