1. 从一道让人抓狂的判断题说起
“函数可导，导函数一定连续吗？”这个问题我在不同场合被问过不下二十次，问的人里有刚学完导数定义的学生，也有工作几年回头补数学基础的开发者。绝大多数人的第一反应是“当然连续啊，都叫导函数了还能不连续？”，然后翻到教材某页看到一个反例，愣住，接着产生一种被耍了的感觉。这个标题要拆的正是这个疙瘩：导函数连续和函数可导到底差在哪，差在哪个环节，经典反例长什么样，证明该怎么写才不绕。
先把结论摆出来，省得你带着悬念往下读：函数在某点可导，只能保证导函数在该点“存在”，不能保证导函数在该点“连续”。可导是一个逐点的性质，导函数连续是一个区间上的整体性质，两者之间隔着一层“极限交换”的鸿沟。这个鸿沟不是文字游戏，它背后牵扯到导数极限定理、达布定理（导函数介值性）、以及“导函数不能有第一类间断点”这一串硬核结论。搞懂这一串，你再看微积分里那些“连续但不可导”“可导但导函数不连续”的构造，就不会再觉得是教材在故意刁难人。
这篇东西适合谁看？准备考研数学的、在补数学分析的、写数值代码时被“光滑性假设”坑过的、以及单纯想把导数这块地基夯实的人。我会从定义出发，把两个概念的差别掰开，给出两三个经典反例的完整构造和验证过程，再补上证明思路和几个容易踩的坑。全程用大白话加必要的形式化，能抄的构造我直接给你写出来。
2. 先把两个概念的定义摆到台面上
2.1 可导：一个逐点的、局部的性质
函数 f 在点 x₀ 可导，意思是极限
lim (f(x₀+h) - f(x₀)) / h （h → 0）存在且有限，这个极限值记作 f'(x₀)。注意这里的关键词是“在点 x₀”。可导性是一个逐点定义的性质，它只关心 x₀ 附近那一小撮点的行为，而且只关心差商的极限存不存在。它压根没提 f' 这个函数在 x₀ 附近长什么样，因为 f' 在 x₀ 处是不是连续，需要先知道 f' 在 x₀ 附近有定义，再谈极限。
这里有个容易被忽略的细节：f 在 x₀ 可导，只能推出 f 在 x₀ 的某个邻域内“几乎处处”可导吗？不能。可导是逐点的，f 完全可能只在 x₀ 这一个点可导，别处都不可导。当然实际遇到的函数通常在一个区间上可导，但定义层面必须分清“点”和“区间”。
2.2 导函数连续：一个整体的、区间上的性质
说“导函数 f' 在 x₀ 连续”，前提是 f' 在 x₀ 的某个邻域内有定义，并且
lim f'(x) = f'(x₀) （x → x₀）这个式子里，左边的极限是对 f' 这个新函数取的，右边的 f'(x₀) 是那个逐点导数值。要让这个等式有意义，f' 得在 x₀ 附近先存在。所以“导函数连续”天然比“函数可导”多了一层要求：不仅每点导数存在，而且这些导数值作为 x 的函数要能连起来。
打个生活化的比方。可导好比“每个站点都有公交车经过”，导函数连续好比“公交车的到站时间随站点平滑变化，不会突然跳变”。每个站有车，不代表时刻表是平滑的；时刻表可能在某站突然从 8:00 跳到 8:30，车还是每站都停，但“到站时间函数”不连续。导函数连续讨论的就是这个“时刻表函数”的连续性。
2.3 两者的逻辑关系：一个方向成立，另一个方向不成立
从可导能推出什么？能推出 f 在该点连续（这是可导必连续的老结论），但推不出 f' 在该点连续。反过来，f' 在某点连续能不能推出 f 在该点可导？严格说，f' 连续的前提就是 f' 存在，所以这个方向是“定义域内”的蕴含，没什么信息量。真正有价值的命题是：f 在区间上可导，且 f' 在该区间上连续，则称 f 是连续可微的（C¹）。C¹ 是一个比“可导”更强的类，很多定理（比如某些中值定理的加强版、微分方程解的存在唯一性）需要 C¹ 而不是仅仅可导。
所以两个概念的关系可以概括成一张表：
| 性质 | 可导 | 导函数连续（C¹） |
|---|---|---|
| 定义范围 | 逐点 | 区间（或点的邻域） |
| 关心对象 | 差商极限 | 导数值的极限 |
| 强度 | 较弱 | 较强 |
| 典型反例 | 无（可导本身是基础） | f(x)=x²sin(1/x)，f(0)=0 |
| 常见误判 | 以为可导就光滑 | 以为导函数一定连续 |
这张表先放这儿，后面每个格子我都会展开讲。
3. 经典反例：x²sin(1/x) 到底怎么构造出来的
3.1 反例的完整写法与可导性验证
这个反例几乎是所有教材的标配，但很多人只记住了形式，没搞懂为什么偏偏是 x² 乘 sin(1/x)，而不是 x 乘 sin(1/x) 或者 x³ 乘。先把函数写全：
f(x) = x² · sin(1/x)， x ≠ 0 f(0) = 0先验证 f 在 x=0 处可导。按定义算差商：
[f(h) - f(0)] / h = [h² · sin(1/h)] / h = h · sin(1/h)当 h → 0 时，sin(1/h) 在 [-1, 1] 之间震荡，但前面乘了个 h，整个表达式被 |h| 夹住，由夹逼定理极限为 0。所以 f'(0) = 0，f 在 0 处可导。
再算 x ≠ 0 处的导数，用乘积法则和链式法则：
f'(x) = 2x · sin(1/x) + x² · cos(1/x) · (-1/x²) = 2x · sin(1/x) - cos(1/x)现在看 x → 0 时 f'(x) 的极限。第一项 2x·sin(1/x) 被 2|x| 夹住，趋于 0；第二项 -cos(1/x) 在 -1 和 1 之间剧烈震荡，极限不存在。所以
lim f'(x) （x → 0）不存在而 f'(0) = 0。导函数在 0 处的极限不等于导数值（甚至不存在），所以 f' 在 0 处不连续。结论：f 处处可导，但导函数在 0 处不连续。
3.2 为什么是 x² 而不是 x 或 x³
这是我最想强调的一点，因为理解了“指数选择”就理解了整个构造的机理。
如果换成 f(x) = x·sin(1/x)，f(0)=0，差商是 sin(1/h)，h→0 时极限不存在，所以 f 在 0 处根本不可导。x 的一次方压不住 sin(1/x) 的震荡，差商极限炸了。
如果换成 f(x) = x³·sin(1/x)，差商是 h²·sin(1/h)，极限为 0，可导。再算导数：
f'(x) = 3x²·sin(1/x) - x·cos(1/x)x→0 时，3x²·sin(1/x) → 0，x·cos(1/x) → 0（被 |x| 夹住），所以 f'(x) → 0 = f'(0)，导函数连续。x³ 太强了，把震荡项也压没了。
所以 x² 是那个“刚刚好”的临界指数：它足够强，能让差商 h·sin(1/h) 趋于 0 从而保证可导；又不够强，压不住导数里的 cos(1/x) 项，从而让导函数不连续。这个“临界”感觉，跟相变里的临界点有点像，多一分则连续，少一分则不可导。你以后自己构造反例，就是调这个指数：要让 f 可导，震荡项外面至少乘 x 的一次方以上（保证差商有界趋于 0）；要让 f' 不连续，导数里得留下一个不被压住的震荡项，通常就是 cos(1/x) 这种。
3.3 这个反例的几何直观
画图的话，f(x)=x²sin(1/x) 在原点附近是一层层越来越密的“波纹”，振幅被 x² 的抛物线包络压住，所以曲线整体是“夹在两条抛物线之间”趋于原点的。它在原点可导、切线水平（f'(0)=0），但切线斜率在原点附近疯狂震荡，一会儿接近 1，一会儿接近 -1。也就是说，曲线在原点虽然有个明确的切线，但切线斜率在原点附近根本不收敛。这就是“可导但不 C¹”的几何图像：有切线，但切线斜率不连续。
提示：很多教材画这个图时会放大原点附近，你会看到曲线在两条抛物线 y=±x² 之间来回穿，越靠近原点穿得越密。这个“包络”就是理解指数选择的钥匙。
4. 导函数不连续，能“不连续”到什么程度
4.1 达布定理：导函数不能有第一类间断点
上面那个反例里，f' 在 0 处的极限不存在，属于第二类间断点（震荡型）。一个自然的问题是：导函数能不能有跳跃间断点？也就是能不能出现“左极限和右极限都存在但不相等”的情况？
答案是不能。这就是达布定理（也叫导函数介值定理）：如果 f 在区间 I 上可导，那么 f' 在 I 上具有介值性——也就是说，对任意 a < b 和任意介于 f'(a) 与 f'(b) 之间的值 λ，都存在 c ∈ (a,b) 使得 f'(c) = λ。这个性质跟连续函数的介值定理长得一样，但注意 f' 本身不一定连续，它只是“碰巧”也有介值性。
由达布定理立刻推出：导函数不可能有第一类间断点（跳跃间断或可去间断）。因为第一类间断点意味着左右极限存在但不等于函数值（或彼此不等），这会破坏介值性。所以导函数的间断点如果存在，只能是第二类（震荡型或无穷型）。上面 x²sin(1/x) 的例子正好是震荡型，符合这个约束。
这个结论的价值在于：它告诉你“导函数不连续”不是随便什么不连续都行，它有硬性限制。你构造反例时别去想着搞跳跃，搞不出来，只能往震荡方向走。
4.2 一个更“野”的例子：处处可导但导函数处处不连续
x²sin(1/x) 只在一点不连续，还算温和。有没有可能构造一个函数，处处可导，但导函数处处不连续？有，而且思路是把上面的“震荡源”铺满整个定义域。经典做法是用类似 Weierstrass 函数的思想，但那个原函数本身处处不可导，方向反了。要“处处可导、导函数处处不连续”，需要更精细的构造，通常借助级数：
f(x) = Σ (1/n²) · g(nx)其中 g 是某个有界、导数震荡的周期函数。这个构造的细节比较重，这里不展开完整证明，但结论是成立的：存在处处可导、导函数处处不连续的函数。这说明“可导”和“C¹”之间的差距可以大到“处处都差”，不是个别点的瑕疵。
对大多数应用来说，这个极端例子意义不大，但它提醒你：不要把“可导”脑补成“光滑”。在数值计算里，如果算法依赖导函数的连续性（比如某些牛顿法的收敛性证明），你必须显式假设 C¹ 或更强，不能只假设可导。
4.3 导数极限定理：什么情况下“导函数极限存在”能反推连续
有一个很实用的定理，常被叫做“导数极限定理”或“洛必达法则的导数版基础”：如果 f 在 x₀ 的某去心邻域内连续、可导，且 lim_{x→x₀} f'(x) 存在（记为 L），那么 f 在 x₀ 处也可导，且 f'(x₀) = L。
这个定理说明：只要导函数在 x₀ 处的极限存在，导函数就在 x₀ 处连续（因为极限值等于导数值）。换句话说，导函数不连续的唯一可能是“极限不存在”，而不可能是“极限存在但不等于导数值”。这跟达布定理是呼应的：可去间断点被排除了。
用这个定理可以快速判断很多问题。比如给你一个分段函数，问分界点处导函数连不连续，你就分别算左右两侧导函数的极限，如果两个极限都存在且相等，那导函数连续；如果某个极限不存在，那就不连续。上面 x²sin(1/x) 的例子，f'(x) 在 0 处极限不存在，所以不连续，一步到位。
5. 证明思路：怎么严谨地写出“可导但不 C¹”
5.1 证明的骨架：三步走
写这类证明，套路很固定，我总结成三步：
- 验证 f 在可疑点可导：用导数定义算差商极限，通常靠夹逼定理。
- 算出可疑点以外的导函数表达式：用求导法则。
- 考察导函数在可疑点的极限：证明它不存在或不等于导数值。
这三步里，第一步和第三步是重点，第二步是机械计算。很多人卡在第一步的夹逼上，或者第三步忘了“极限不存在”也是一种“不连续”的合法理由。
以 x²sin(1/x) 为例，第一步差商是 h·sin(1/h)，夹逼得 0；第二步得 2x·sin(1/x) - cos(1/x)；第三步看 x→0，第一项趋 0，第二项震荡无极限，所以整体无极限，不连续。三步清清楚楚。
5.2 夹逼那一步的细节：别漏了绝对值
夹逼定理用的时候，标准写法是：
0 ≤ |h · sin(1/h)| ≤ |h|因为 |sin(1/h)| ≤ 1。当 h→0 时 |h|→0，所以 |h·sin(1/h)|→0，进而 h·sin(1/h)→0。这里必须带绝对值，因为 sin(1/h) 有正有负，直接写“≤ |h|”是不严谨的（负数不可能小于等于正数还夹出 0 来，得用绝对值把符号统一）。这个细节考试里扣分很常见，我见过不少人直接写 h·sin(1/h) ≤ |h|，逻辑上不成立。
5.3 导函数极限不存在那一步：说清楚“为什么不存在”
第三步证明 f'(x) 在 0 处极限不存在，不能只说“因为 cos(1/x) 震荡”。严谨的写法是取两个子列，让它们趋于不同的值。比如取
x_n = 1/(2nπ)， 则 cos(1/x_n) = cos(2nπ) = 1 y_n = 1/((2n+1)π)， 则 cos(1/y_n) = cos((2n+1)π) = -1当 n→∞ 时，x_n→0，y_n→0，但 f'(x_n) 和 f'(y_n) 的极限分别对应 -1 和 1 附近的值（还要加上趋于 0 的第一项），两个子列极限不同，所以整体极限不存在。这种“取子列”的证法是证明极限不存在的标准手段，比“震荡”这种口语化描述严谨得多。
注意：写证明时，“震荡”只能作为直观解释，正式证明必须落到子列或 ε-δ 语言上。阅卷和审稿都认这个。
6. 实操中容易踩的坑与排查清单
6.1 常见误判：把“可导”当“C¹”用
在实际建模和数值计算里，这个混淆非常致命。举几个我见过的场景：
- 用牛顿法解方程，理论上要求 f 在根附近 C¹ 且 f' 不为零，有人只验证了“可导”就上，结果在导函数震荡的点附近迭代乱跳。
- 写物理仿真，假设速度场光滑，直接对加速度求导，但速度场只是可导不 C¹，求出来的加速度在个别点附近数值爆炸。
- 做优化，用二阶信息，但目标函数只是可导，二阶导存在性都没保证，硬套 Hessian 矩阵。
排查思路很简单：凡是你的推导里出现了“对 f' 再取极限”“交换求导和极限顺序”“假设 f' 有界”这类操作，先回头确认 f 是不是 C¹，别默认可导就够。
6.2 构造反例时的参数调试清单
自己动手构造“可导但不 C¹”的函数时，按这个清单调：
| 调试项 | 作用 | 调错后果 |
|---|---|---|
| 震荡项外的幂次 | 控制可导性 | 幂次太低不可导，太高则 C¹ |
| 震荡频率函数 | 控制震荡剧烈程度 | 频率太低震荡不明显，太高数值上难验证 |
| 分段点取值 | 保证函数值定义完整 | 漏定义则连连续性都没有 |
| 导函数表达式 | 检查是否残留未压住的震荡项 | 残留项决定不连续的类型 |
以 x^α·sin(1/x) 为模板，α 的临界值就是 2：α>2 时 C¹，α=2 时可导但不 C¹，1<α<2 时可导但不 C¹（其实 α>1 就可导，α=2 是分界），α≤1 时不可导。你可以自己拿 α=1.5 试一下，差商是 h^0.5·sin(1/h)→0，可导；导数是 1.5x^0.5·sin(1/x) - x^(-0.5)·cos(1/x)，第二项发散，导函数在 0 附近甚至无界，不连续得更厉害。这个练习能帮你把“临界指数”的感觉坐实。
6.3 数值验证时的小技巧
如果你写代码验证这类反例，别直接画 f'(x) 在 0 附近的图然后肉眼判断，浮点误差会让你看到一堆噪声。靠谱的做法是：
- 用符号计算（比如 SymPy）先算出 f'(x) 的解析式，确认震荡项。
- 取两列趋于 0 的点（对应 cos 取 1 和 -1 的两族点），分别算 f' 的值，看是否收敛到不同极限。
- 用高精度算术（比如 mpmath 设 50 位精度）避免舍入误差掩盖真实行为。
我试过用双精度直接算 x=1/(2nπ) 附近的 f'(x)，n 大到一定程度后 cos(1/x) 的计算本身就有误差，结论会飘。所以数值验证只能作为辅助，严格结论还得靠解析证明。
7. 这个区别在后续课程和工程里的回响
7.1 在数学分析里的连锁反应
“可导 vs C¹”的区分在数学分析里是一连串定理的分水岭。比如：
- 中值定理的加强版：拉格朗日中值定理只要求连续加可导，但有些推论（比如导函数有界推 Lipschitz）需要导函数有界，而有界性在 C¹ 下更容易保证。
- 泰勒公式的余项估计：皮亚诺余项只要求 n 阶可导，但拉格朗日余项需要更高阶的连续性假设，混淆两者会导致余项估计失效。
- 微分方程解的存在唯一性：皮卡-林德洛夫定理要求右端函数对 y 满足 Lipschitz 条件，实践中常通过“C¹ 且有界导数”来验证，只可导不够。
这些定理的条件不是数学家为了严谨而堆砌的，每一条都对应着反例。x²sin(1/x) 这类函数就是用来“打脸”那些试图放宽条件的猜想的。
7.2 在数值方法和工程里的实际影响
工程上，C¹ 假设无处不在。有限元方法的收敛性分析里，单元形函数通常要求 C⁰ 或 C¹ 连续；样条插值里，三次样条是 C² 的，这保证了二阶导连续，从而曲率连续；计算机图形学里，曲面建模要求切线连续（G¹）甚至曲率连续（G²），本质都是在追求“导函数连续”的离散版本。
反过来，如果你处理的信号只是“可导”而不 C¹，做频域分析时高频分量可能不衰减，滤波设计就得更保守。我做过一个数据平滑的小项目，原始数据理论上可导但导函数有震荡，直接对差分序列做低通滤波效果很差，后来改成先做一次积分平滑再差分，才把震荡压下去。这个经验说明：理论上的“可导”在数值上可能表现为“导数噪声大”，得用额外的平滑手段处理。
7.3 一个值得记住的判据
最后给你一个我常用的快速判据，遇到“这个函数够不够光滑”的问题时先过一遍：
如果只用到函数值和一阶差商，可导够用；如果要对导数再取极限、再求导、或者假设导数有界/连续，必须确认 C¹ 或更强。
这个判据帮我省了很多返工。写证明前列一下“我用到了导数的哪些性质”，如果出现“导数的极限”“导数的连续性”“导数有界”，立刻回头查假设，别等证到一半发现条件不够。
8. 我个人在实际操作中的体会
这个反例我前后给学生讲过很多遍，每次讲完都有人问“那实际中怎么判断一个函数是不是 C¹”。我的经验是：别指望从函数表达式一眼看出来，尤其是带震荡项、分段、绝对值、取整的表达式，老老实实按定义验证。验证的顺序也有讲究，先看可疑点（分段点、震荡中心、绝对值零点），在这些点上单独算差商和导数极限，别的地方用求导法则扫一遍就行。
还有一个体会是关于“反例的价值”。很多人学微积分时觉得反例是边角料，考试不考就跳过。但恰恰是这些反例定义了概念的边界。你知道了 x²sin(1/x)，就再也不会把“可导”和“光滑”混为一谈；你知道了达布定理，就明白导函数的间断点为什么只能是第二类。这些边界感，在做研究、写代码、审别人的证明时，比会算几个导数有用得多。
如果让我给一个练习建议：拿 x^α·sin(1/x) 这个模板，把 α 从 0.5 调到 3，每隔 0.5 算一遍可导性和导函数连续性，画个表。这个练习花不了半小时，但能把“临界指数”和“震荡压制”这两件事刻进肌肉记忆里。以后遇到更复杂的构造，你一眼就能看出该调哪个参数。
