微分中值定理这一组结论，几乎是每个学微积分的人都要反复过一遍的内容。罗尔、拉格朗日、柯西、达布、导数极限，五个名字摆在一起，很多人第一反应是"背条件、背结论、套公式做题"，考完就忘。但我这些年带人复盘数学基础、帮人补分析功底的过程中发现一个挺反直觉的现象：真正把这几个定理吃透的人，往往不是刷题最多的，而是能把它们串成一条逻辑链、说清楚"谁是谁的特例、谁比谁更强、条件少一条会怎样"的人。这篇东西就是想把这条链子讲清楚，顺带把那些教材上一笔带过、但实际用起来特别容易翻车的细节摊开说。不管你是刚学完一元微积分想理清脉络，还是准备考研、准备复试被追问证明细节，或者只是想把当年囫囵吞下的东西重新嚼一遍，下面这些内容应该都能对上你的需求。我会尽量少用"显然""易证"这种糊弄人的词，该展开的地方展开，该给反例的地方给反例。

1. 先把五个定理摆到同一张桌子上看

很多人学这组定理的顺序是教材顺序：先罗尔，再拉格朗日，再柯西，达布和导数极限定理往往散落在习题或者附录里。这个顺序本身没问题，但它容易让人产生一种错觉，好像这五个是并列的五个工具，各管各的。实际上它们之间的关系远比"并列"紧密，有的是特例关系，有的是补充关系，有的干脆是在补前面定理的漏洞。先把这层关系理清楚，后面每一个定理的证明和用法都会顺很多。

1.1 一条主线：从"存在水平切线"到"存在任意斜率切线"

罗尔定理说的是：函数在闭区间连续、开区间可导、两端点函数值相等，那么中间某点导数为零。翻译成人话就是，你从同一高度出发又回到同一高度，路上必然有某一瞬间是水平走的。这个结论直观得几乎不需要证明，但它是整条主线的起点。

拉格朗日定理把"两端等高"这个限制去掉了：两端不等高也行，只要连续可导，中间必有一点，其切线斜率恰好等于两端连线的斜率。这就是所谓的"平均变化率等于某点瞬时变化率"。罗尔定理其实是拉格朗日定理在两端等高时的特例——这一点很多人知道，但真正做题时经常忘记反过来用：遇到需要证某点导数为零的题，先想想能不能构造一个两端相等的辅助函数，把问题塞进罗尔定理。

柯西定理再往前走一步：不光是两个函数值之间的关系，而是两个函数各自的增量之比，等于某点处两函数导数之比。拉格朗日定理是柯西定理取分母函数为恒等函数时的特例。这条特例关系是理解柯西定理的关键——柯西定理不是凭空冒出来的新东西，它是把拉格朗日定理从"一个函数"推广到"一对函数"的比值形式。

达布定理（导函数介值定理）走的是另一条路。它说的不是"存在某点导数等于某个值"这种中值性质，而是：导函数即使不连续，也不能有第一类间断点，它取遍两个导数值之间的所有中间值。这个定理经常被忽略，因为它看起来不像"中值定理"，但它在处理导函数性质、判断某函数能否成为某个函数的导数时非常关键。

导数极限定理则是另一个方向的补充：如果函数在某点连续、在该点去心邻域内可导，且导函数在该点趋于某点时有极限，那么这个函数在该点也可导，且导数就等于那个极限。它解决的是"用导函数的极限反推该点导数"的问题，在分段函数求导、判断可导性时特别常用。

1.2 一张对照表把条件和结论钉死

光靠文字描述容易记混，我习惯用一张表把五个定理的"入场券"和"产出"对齐。下面这张表是我自己整理时用的版本，条件栏里我特意把"连续"和"可导"的范围写清楚，因为考试和实际证明里，闭区间连续、开区间可导这个搭配是最容易写错的地方。

这张表里有两个地方值得单独拎出来说。第一，柯西定理额外要求 g'(x)≠0，这个条件不是装饰，它是为了保证分母不为零、比值有意义，同时它还能推出 g(b)≠g(a)（否则由罗尔定理 g' 在某点为零，矛盾）。第二，达布定理那一行的"闭区间连续"我写的是"不需要"，因为达布定理只关心导函数在区间内存在这件事，它不要求导函数连续，这正是它比"连续函数介值定理"更强的地方——连续函数介值定理要求函数连续，而达布定理告诉你，导函数哪怕不连续，介值性依然成立。

1.3 为什么这组定理值得反复嚼

有人会问，这些定理证明都看过了，做题也会套了，还有必要反复看吗。我的经验是，这组定理是微积分里少数几个"看起来简单、用起来处处是坑"的地方。坑主要集中在三类：一是条件验证不完整，比如用拉格朗日定理时忘了验证闭区间连续，或者用柯西定理时没检查 g'(x)≠0；二是辅助函数构造不出来，尤其是证明题里需要自己造一个 F(x) 塞进罗尔定理，这一步没有通用公式，全靠对结论形式的敏感度；三是把达布定理和连续函数介值定理混为一谈，导致在导函数不连续的场景下用错工具。

这三类坑，本质上都不是"没背下来"，而是"没理解定理为什么长这样"。所以下面我不打算按教材顺序一个个复述证明，而是按"这条定理到底在解决什么问题、它的条件为什么一条都不能少、它的证明思路能不能迁移到别的题上"这个角度来拆。这样拆完，你再回头看那张表，会发现每个条件都有它的来处。

2. 罗尔定理：所有中值定理的"种子"

罗尔定理在整个体系里的地位，有点像搭积木时最底下那块。拉格朗日靠它证，柯西靠它证，甚至很多证明题最后都归结为"构造一个函数用罗尔"。所以把它吃透，性价比最高。但恰恰因为它直观，很多人证明时写得含糊，条件漏写、结论表述不严谨，阅卷时是要扣分的。

2.1 证明里那个"最大值最小值"到底怎么用

罗尔定理的标准证明走的是极值路线：闭区间连续函数必有最大值和最小值（这是闭区间连续函数的基本性质，也叫最值定理），然后分两种情况。如果最大值等于最小值，函数是常数，导数处处为零，随便取一点就行。如果最大值大于最小值，那么至少有一个最值点不在端点取到（因为两端函数值相等，如果最值都在端点，那最大值等于最小值等于端点值，和假设矛盾），这个内部的最值点就是极值点，由费马引理，该点导数为零。

这个证明里有两个地方初学者容易写漏。第一，"闭区间连续函数必有最值"这一步要明确引用，不能默认。第二，费马引理要求的是"内部点且可导"，所以必须说清楚这个最值点落在开区间内，而这正是"两端函数值相等"这个条件在起作用——它保证了最值不可能只在端点取到。换句话说，f(a)=f(b) 这个条件不是为了好看，它是把最值点"逼"进开区间的关键。

我见过不少人证明时写"因为 f(a)=f(b)，所以存在内部极值点"，中间跳过了"最值不在端点"的论证。严格来说这是有漏洞的，因为完全可能出现最大值在端点、最小值也在端点、中间还有别的点但都不是最值的情况——虽然这种情况和 f(a)=f(b) 结合起来会推出矛盾，但矛盾要写出来才算证完。补全的写法是：若最值都在端点取到，则最大值=最小值=f(a)=f(b)，函数为常数，结论成立；否则至少有一个最值在内部取到，用费马引理。

2.2 辅助函数构造：没有公式，但有套路

罗尔定理真正的用武之地在证明题里，而证明题的核心难点是构造辅助函数。教材上一般会给几个经典例子，比如要证 f'(ξ)+f(ξ)=0，就构造 F(x)=e^x·f(x)，因为 F'(x)=e^x[f'(x)+f(x)]，这样 F'=0 就等价于原式。这种构造不是天上掉下来的，它的逻辑是"把要证的等式看成某个函数的导数等于零"。

我把常见的构造套路归成三类，实际做题时按这三类去套，命中率会高很多。

第一类是"乘以积分因子"。要证的式子形如 f'(x)+p(x)f(x)=0，就构造 F(x)=f(x)·exp(∫p(x)dx)。原理是 (f·μ)'=μ(f'+pf)，取 μ=exp(∫p) 就能把括号里的东西凑成 F'。上面那个 e^x 的例子就是 p(x)=1 的特例。再比如要证 f'(x)-2xf(x)=0，取 μ=exp(-x²)，构造 F(x)=f(x)e^{-x²}。

第二类是"把结论里的 ξ 换成 x，移项凑成某函数导数"。比如要证 f'(ξ)=f(ξ)/ξ（ξ≠0），把 ξ 换成 x 得 f'(x)=f(x)/x，即 xf'(x)-f(x)=0，这正好是 (f(x)/x)' 的分子（在 x≠0 时），所以构造 F(x)=f(x)/x。这类构造的关键是识别出"商法则"或"积法则"的逆运算。

第三类是"双函数型"，要证的式子里同时出现 f 和 g，比如 f'(ξ)g(ξ)-f(ξ)g'(ξ)=0，这明显是 (f/g)' 的分子，构造 F(x)=f(x)/g(x)（需 g≠0）。柯西定理的证明本质上就是这一类。

提示：构造完辅助函数，一定要回头验证它在闭区间连续、开区间可导、两端相等这三个条件。尤其是两端相等，很多时候构造出来的 F 两端相等不是显然的，需要用到题目给的 f(a)=f(b) 之类的条件，这一步不能省。

2.3 一个容易忽略的细节：ξ 是"存在"不是"任意"

罗尔定理的结论是"存在 ξ"，不是"对任意 ξ 都成立"。这个区别在做题时经常被模糊掉。比如有的题目让你"求 ξ"，那是在结论存在的前提下进一步定位；但如果是证明题，你只需要说明存在，不需要（也往往不可能）求出具体值。

更隐蔽的一个坑是：ξ 的位置依赖于函数，不同的函数对应不同的 ξ，不能把一个函数得到的 ξ 拿去套另一个函数。我见过有人在一道题里对 f 用罗尔得到 ξ₁，对 g 用罗尔得到 ξ₂，然后默认 ξ₁=ξ₂ 往下推，这是典型的逻辑错误。如果题目确实需要同一个点，那得用柯西定理或者更精细的构造，不能靠"两个存在"硬凑成一个"共同存在"。

3. 拉格朗日定理：把"等高"这个枷锁卸掉

拉格朗日定理是这组里用得最频繁的一个，没有之一。它的形式简单到几乎像一句废话：平均变化率等于某点瞬时变化率。但正因为简单，它的应用面极广，从证明不等式到估计函数值，从判断单调性到推导泰勒公式的余项，背后都有它的影子。

3.1 辅助函数是怎么想出来的

拉格朗日的标准证明是构造辅助函数，把问题化归到罗尔定理。具体构造是：

F(x) = f(x) - f(a) - [f(b)-f(a)]/(b-a) · (x-a)

这个 F 的几何意义是：原函数 f 减去"两端连线"那条直线。在 x=a 和 x=b 处，F(a)=F(b)=0，所以可以用罗尔定理，得到某点 F'(ξ)=0，而 F'(x)=f'(x)-[f(b)-f(a)]/(b-a)，令其为零就得到拉格朗日结论。

这个构造很多人是背下来的，但我想强调它的"想法"：我们要证的是 f'(ξ) 等于一个常数 k=[f(b)-f(a)]/(b-a)，那就构造一个函数，让它的导数等于 f'(x)-k，这样导数零点就对应 f'(ξ)=k。而导数等于 f'(x)-k 的函数，最自然的就是 f(x)-kx，再调整常数让它两端相等（罗尔定理的要求），就得到上面的 F。这个思路可以迁移：以后遇到"证某点导数等于某表达式"的题，先看能不能构造一个函数，使其导数正好是"原导数减去目标表达式"。

3.2 用拉格朗日证不等式：方向感和取点技巧

拉格朗日定理在不等式证明里出场率极高，典型套路是：要证 f(b)-f(a) 和某个量的大小关系，就对 f 在 [a,b] 上用拉格朗日，得到 f(b)-f(a)=f'(ξ)(b-a)，然后利用 f'(ξ) 的取值范围去放缩。

举个具体例子。要证当 x>0 时 ln(1+x)<x。取 f(t)=ln(1+t)，在 [0,x] 上用拉格朗日，得 ln(1+x)-ln1=f'(ξ)(x-0)，即 ln(1+x)=x/(1+ξ)，其中 0<ξ<x。因为 ξ>0，所以 1/(1+ξ)<1，于是 ln(1+x)<x。这个证明干净利落，比用导数单调性去证要短。

但这里有个方向感的坑：放缩的方向必须和要证的不等号一致。上面例子里，我们要证"小于"，所以要把 x/(1+ξ) 往大了放（放大到 x），这就要求 1/(1+ξ)<1，而 ξ>0 正好保证这一点。如果题目要证的是"大于"，那放缩方向就得反过来，这时候 ξ 的范围估计就要更精细。我见过不少人放缩方向搞反，证出来一个反向不等式还浑然不觉，所以每写完一步放缩，最好回头对一下不等号方向。

取点也有讲究。拉格朗日要求区间端点，而很多不等式是在整个定义域上成立的，这时候要选一个"已知值"的点作为一端。比如证 x>0 时的某个不等式，常取 a=0，因为 f(0) 往往是个好算的已知值。如果函数在 0 处没定义，就取一个极限好算的点，或者分段处理。

3.3 拉格朗日的"中间点"能定位到什么程度

拉格朗日定理只告诉你 ξ 存在，不告诉你它在哪。但实际应用中，有时候需要估计 ξ 的位置，比如证明某些极限或者做误差分析。这时候可以用"ξ 介于 a 和 b 之间"这个信息做夹逼。

一个经典场景是：已知 f 在区间上二阶可导，要估计 f(b)-f(a)-f'(a)(b-a) 的阶。用拉格朗日得到 f(b)-f(a)=f'(ξ)(b-a)，再用一次拉格朗日（对 f' 用）得到 f'(ξ)-f'(a)=f''(η)(ξ-a)，其中 η 介于 a 和 ξ 之间。因为 ξ 介于 a 和 b 之间，所以 η 也介于 a 和 b 之间，于是整个误差被 f''(η)(ξ-a)(b-a) 控制，量级是 (b-a)²。这就是泰勒公式一阶余项的拉格朗日推导思路。

这里的关键是"ξ 介于 a、b 之间"这个信息要一路传下去。很多人做误差估计时，把 ξ 当成一个固定但未知的数，忘了它其实被夹在区间里，导致估计做不下去。记住：ξ 虽然不知道具体值，但它的范围是已知的，这个范围就是放缩的依据。

4. 柯西定理：两个函数之间的"比值中值"

柯西定理的形式是 f'(ξ)/g'(ξ)=[f(b)-f(a)]/[g(b)-g(a)]，看起来像是拉格朗日定理的"分式版"。它的证明也是构造辅助函数用罗尔，但构造方式和拉格朗日略有不同，而且条件里多了一个 g'(x)≠0，这个条件的必要性值得单独说。

4.1 证明的构造与 g'(x)≠0 的真正作用

柯西定理的辅助函数是：

F(x) = [f(b)-f(a)]·g(x) - [g(b)-g(a)]·f(x)

验证一下：F(a)=[f(b)-f(a)]g(a)-[g(b)-g(a)]f(a)，F(b)=[f(b)-f(a)]g(b)-[g(b)-g(a)]f(b)，两式相减可以验证 F(a)=F(b)（展开后交叉项抵消）。于是由罗尔定理，存在 ξ 使 F'(ξ)=0，即 [f(b)-f(a)]g'(ξ)-[g(b)-g(a)]f'(ξ)=0，移项就得到柯西结论。

现在说 g'(x)≠0 的作用。表面上看，它是为了保证分母 g'(ξ) 不为零，让比值有意义。但更深一层，它还保证了 g(b)≠g(a)：如果 g(b)=g(a)，那么对 g 用罗尔定理，存在某点 g'=0，和 g'(x)≠0 矛盾。所以 g(b)-g(a)≠0，分母 [g(b)-g(a)] 也不为零。这两个"不为零"合起来，才让整个分式合法。

我见过有人问：如果 g'(x) 只是"不恒为零"行不行？不行。因为柯西定理的结论里 g'(ξ) 出现在分母，如果 g' 在某点为零而恰好 ξ 取在那点，比值就没意义。条件必须是"处处不为零"，这样才能保证无论 ξ 落在哪，分母都安全。这个细节在证明题里经常被忽略，写条件时只写"g 可导"，漏掉 g'≠0，是要扣分的。

4.2 柯西定理和拉格朗日定理的包含关系要会用

前面说过，拉格朗日是柯西取 g(x)=x 的特例。这个包含关系不只是理论上的漂亮，它在做题时有实际用途：遇到需要"两个函数增量比"的题，用柯西；遇到"单个函数增量"的题，用拉格朗日。但反过来，有时候题目表面上是单个函数，实际上需要引入第二个函数才能证，这时候就要想到柯西。

一个典型例子是证明洛必达法则的 0/0 型。要证 lim f(x)/g(x)=lim f'(x)/g'(x)，在 0/0 型下，f(a)=g(a)=0，于是 f(x)/g(x)=[f(x)-f(a)]/[g(x)-g(a)]，用柯西定理等于 f'(ξ)/g'(ξ)，ξ 介于 a 和 x 之间。当 x→a 时 ξ→a，如果 f'/g' 的极限存在，就得到结论。这个证明里，柯西定理是不可替代的——你用拉格朗日只能分别处理 f 和 g，得不到比值关系。

注意：洛必达法则的证明里，柯西定理用在了 [a,x] 这个区间上，而 a 点本身可能 f、g 都不可导（只要求极限意义下趋于 0）。所以严格证明时需要处理"a 点可导性"的细节，通常的做法是在去心邻域内用柯西，再取极限。这个细节教材上常简化，但复试被追问时是要说清楚的。

4.3 柯西定理在"比值型"不等式里的用法

柯西定理也能证不等式，而且比拉格朗日更适合处理"两个量之比"的估计。比如要证当 0<a<b 时，(b-a)/b < ln(b/a) < (b-a)/a。这个不等式其实是 ln 的拉格朗日估计，但用柯西可以给出另一种视角：取 f(x)=ln x，g(x)=1/x 或者别的辅助函数，通过比值关系去夹。

不过说实话，这个具体不等式用拉格朗日更直接：ln(b/a)=ln b-ln a=(1/ξ)(b-a)，ξ∈(a,b)，于是 (b-a)/b<(b-a)/ξ<(b-a)/a。柯西在这里不是必需的。我想说的是，柯西定理的真正优势场景是"结论本身就是两个函数增量之比"的题，比如证明 (f(b)-f(a))/(g(b)-g(a)) 等于某点导数比。如果结论是单个函数的增量，优先考虑拉格朗日，别为了用柯西而硬凑第二个函数，那样反而绕远。

5. 达布定理：导函数不连续也不能"跳"

达布定理是这五个里最容易被低估的一个。很多教材把它放在习题里，或者只在讲导函数性质时提一句，导致很多人对它的印象是"知道有这么个东西，但不知道什么时候用"。实际上，达布定理在分析里的地位相当硬，它揭示的是导函数的一个本质性质：导数可以有不连续点，但不能有"跳跃"型的不连续。

5.1 达布定理到底在说什么

严格表述：若 f 在 [a,b] 上可导，且 f'(a)<k<f'(b)（或反过来），则存在 ξ∈(a,b) 使 f'(ξ)=k。注意这里不要求 f' 连续，这是它和连续函数介值定理的根本区别。连续函数介值定理要求函数连续，而达布定理告诉你，导函数这个特殊函数，即使不连续，介值性依然成立。

为什么导函数有这个性质？直观理解是：导数描述的是瞬时变化率，如果变化率从负变到正，中间必然经过零（或者经过任何中间值），因为函数值的变化是连续的，变化率不可能"跳"过去而不经过中间状态。这个直观背后是严格的证明，通常用极值或者构造辅助函数来做。

一个标准证法是构造 g(x)=f(x)-kx，则 g'(a)<0<g'(b)，g 在 a 点附近递减、在 b 点附近递增，所以 g 在内部某点取到最小值，该点 g'=0，即 f'(ξ)=k。这个证法的关键是"g'(a)<0 推出 a 点右侧 g 递减"——这一步用的是导数的定义（差商的符号），不需要 f' 连续。这正是达布定理比连续介值定理强的地方：它只用了"可导"这一个条件。

5.2 达布定理的经典应用：判断函数能否成为导数

达布定理最常用的场景是"反证"：要证明某个函数不是某个函数的导数，就看它是否满足介值性。比如符号函数 sgn(x) 在包含 0 的区间上，取值只有 -1、0、1，如果它是某个函数的导数，那么由达布定理，它必须取遍 -1 和 1 之间的所有值，但实际只取三个值，矛盾。所以 sgn(x) 不是任何函数的导数。

这个应用思路很值得记：判断一个函数"能不能是导数"，先看它有没有介值性。没有介值性，一定不是导数；有介值性，也不一定是（介值性是必要条件不是充分条件），但至少排除了很多候选。

再比如，考虑函数 f(x)=sin(1/x)（x≠0），f(0)=0。这个函数在 0 点不连续，它的"导数"在 0 附近震荡，不满足介值性（在 0 附近取不到某些中间值），所以它不能是某个函数的导数。这类例子在实分析里很常见，达布定理是判断的第一道筛子。

5.3 达布定理和"导函数无第一类间断点"的关系

由达布定理可以推出一个常用结论：导函数没有第一类间断点（可去间断点和跳跃间断点都不行）。原因是第一类间断点意味着左右极限存在但不相等（跳跃）或相等但不等于函数值（可去），这两种情况都会破坏介值性。

这个结论在判断"某函数是否可导"时很有用。比如一个分段函数，如果在分段点两侧导数极限存在但不相等，那么它在分段点不可能可导——因为如果可导，导函数在该点就得满足介值性，而左右极限不等意味着跳跃，矛盾。这其实就是导数极限定理要处理的情形，达布定理从另一个角度给出了同样的限制。

我个人的体会是，达布定理的价值不在于直接计算，而在于"排除"。做题时如果遇到"证明某函数不是导数"或者"证明导函数在某点不连续的类型"，先想达布定理，往往能省很多事。

6. 导数极限定理：用导函数的极限反推该点导数

导数极限定理处理的是一个很实际的问题：分段函数在分段点可不可导，怎么判断。它的表述是：若 f 在 x₀ 处连续，在 x₀ 的某去心邻域内可导，且 lim_{x→x₀} f'(x) 存在（记为 L），则 f 在 x₀ 处可导，且 f'(x₀)=L。

这个定理的实用价值在于，它把"求分段点导数"这件事从"用定义算差商极限"简化成了"算导函数在分段点的极限"。但它的条件有讲究，尤其是"f 在 x₀ 连续"这一条，很多人会漏。

6.1 为什么"连续"这个条件不能丢

如果 f 在 x₀ 不连续，那么 f 在 x₀ 根本不可导（可导必连续），定理的结论自然不成立。但更微妙的是，即使 lim f'(x) 存在，也不能推出 f 在 x₀ 连续——导函数在去心邻域的极限存在，和函数在该点的值没有直接关系。举个反例：f(x)=0（x≠0），f(0)=1。在去心邻域内 f'=0，极限为 0，但 f 在 0 点不连续，不可导。所以"连续"这个条件是定理成立的前提，不能省。

实际做题时，验证连续性往往被跳过，因为很多题目默认函数连续。但如果是证明题，或者题目本身在考"可导性判断"，这一步必须写出来。我的习惯是，用导数极限定理之前，先在草稿上写一行"验证 f 在 x₀ 连续"，确认了再往下走。

6.2 定理的证明思路：拉格朗日的中值形式

导数极限定理的证明用的是拉格朗日定理。对 x≠x₀，在 [x₀,x]（或 [x,x₀]）上用拉格朗日，得 f(x)-f(x₀)=f'(ξ)(x-x₀)，其中 ξ 介于 x₀ 和 x 之间。于是差商 [f(x)-f(x₀)]/(x-x₀)=f'(ξ)。当 x→x₀ 时，ξ→x₀（因为 ξ 被夹在中间），所以 f'(ξ)→L（由 lim f'=L）。于是差商极限为 L，即 f'(x₀)=L。

这个证明很漂亮，它把"差商极限"转化成了"导函数在中间点的极限"，而中间点趋于 x₀ 保证了可以用导函数的极限。注意这里用到了"f 在 x₀ 连续"吗？其实这个证明里，f(x)-f(x₀) 的写法用到了 f 在 x₀ 有定义，但连续性的作用体现在"差商极限存在"这个结论上——如果 f 不连续，差商可能趋于无穷，拉格朗日的前提（闭区间连续）也不满足。所以连续性既是定理条件，也是证明中拉格朗日适用的保证。

6.3 分段函数求导的标准流程

有了导数极限定理，分段函数在分段点的可导性判断就有了标准流程。我一般按这个顺序走：

1. 先看分段点处函数值是否定义、左右极限是否等于函数值（连续性）。
2. 在分段点两侧分别求导函数（用求导公式）。
3. 算导函数在分段点的左右极限。
4. 如果左右极限存在且相等，且函数连续，则由导数极限定理，该点可导，导数等于该极限。
5. 如果左右极限存在但不相等，则该点不可导（且是跳跃型）。
6. 如果左右极限至少一个不存在，则定理不适用，需要回到定义用差商判断。

这个流程里，第 4 步和第 5 步是导数极限定理的直接应用，第 6 步是它的边界——定理只处理"极限存在"的情形，极限不存在时它帮不上忙，得用定义。很多人误以为导数极限定理能判断所有情况，其实它只覆盖"导函数极限存在"这一种，这是它的适用边界。

提示：左右极限相等只是"该点可导"的充分条件（在连续前提下），不是必要条件。有些函数在分段点可导，但导函数在该点的极限不存在（比如 x²sin(1/x) 在 0 点，导数为 0，但导函数在 0 附近震荡无极限）。这种情况导数极限定理失效，只能用定义。所以"导函数极限不存在"不能推出"不可导"，这个逻辑方向要分清。

7. 五个定理串起来用：几个真实的证明场景

单独看每个定理都觉得懂了，一到综合题就卡壳，这是最常见的状态。原因是没有形成"看到什么条件想到什么定理"的条件反射。下面我挑几个典型的综合场景，展示这五个定理是怎么配合的。这些场景不是编的，是我在帮人复盘时反复遇到的题型结构。

7.1 场景一：证明"存在某点，满足一个含 f 和 f' 的等式"

这类题的标准解法是构造辅助函数用罗尔。难点在构造，而构造的线索往往藏在要证的等式里。比如要证存在 ξ 使 f'(ξ)+f(ξ)=0，前面说过构造 e^x f(x)。但如果等式更复杂，比如 f'(ξ)=f(ξ)·g'(ξ)，那就构造 F(x)=f(x)e^{-g(x)}，因为 F'=e^{-g}(f'-fg')，零点对应原式。

这类题的关键是"把 ξ 换成 x，移项，看能不能凑成某个函数的导数"。凑的时候优先考虑积法则、商法则、链式法则的逆运算。如果凑不出来，再考虑用柯西定理（如果式子里有两个函数）或者达布定理（如果涉及导函数的取值）。

7.2 场景二：证明导函数取到某个中间值

这类题直接对应达布定理。比如已知 f 在 [a,b] 可导，f'(a)<0<f'(b)，证存在 ξ 使 f'(ξ)=0。这就是达布定理的直接应用。但要注意，达布定理不要求 f' 连续，所以即使 f' 在中间有间断，结论依然成立。这一点在证明时要强调，不能默认 f' 连续然后用连续函数介值定理——那样证法虽然结论对，但逻辑上多用了条件，不够严谨。

如果题目进一步要求"ξ 在某个特定子区间内"，那就需要更精细的构造，比如先在一个子区间上用达布，再用另一个条件限制位置。这类题难度较高，但思路还是"先保证存在，再定位"。

7.3 场景三：分段点可导性 + 全局性质

这类题综合了导数极限定理和拉格朗日。典型结构是：给一个分段函数，先判断分段点可导性（用导数极限定理），再在可导的前提下用拉格朗日或者罗尔证明某个全局结论。比如证明该函数在某个区间上存在导数为零的点，或者证明它满足某个不等式。

做这类题时，分段点的处理要单独拿出来，不能和区间内部的讨论混在一起。我的习惯是先在草稿上把分段点的可导性、导数值确定下来，再把它当成一个"已知点"参与后面的全局论证。这样条理会清楚很多，也不容易在分段点处漏条件。

7.4 场景四：用柯西定理处理"两个函数"的极限或不等式

当题目里同时出现两个函数，且结论涉及它们的增量之比或者导数之比时，柯西定理是首选。典型的是洛必达法则的证明，以及一些"证明 (f(b)-f(a))/(g(b)-g(a)) 落在某个范围"的题。用柯西时，除了验证两个函数各自连续可导，还要单独验证 g'(x)≠0，这一步不能省。

如果题目只涉及一个函数，但结论形式像"比值"，可以考虑引入一个辅助的 g（比如 g(x)=x 或 g(x)=e^x），把单函数问题转化成双函数问题。但这种转化要看是否真的简化了问题，如果引入 g 之后条件更难验证，那就得不偿失，还是用拉格朗日更直接。

8. 那些教材不写、但实际会绊倒人的细节

最后这部分，我想集中说几个"知道了能少踩坑"的点。这些不是定理本身的内容，而是使用定理时的经验性注意事项，很多是从错误里总结出来的。

8.1 条件的"范围"比条件的"有无"更容易错

大家都知道罗尔定理要"闭区间连续、开区间可导"，但实际写的时候，"闭"和"开"经常写反。比如把"开区间可导"写成"闭区间可导"，或者把"闭区间连续"写成"开区间连续"。前者是加强了条件（闭区间可导要求端点单侧可导，有时不满足），后者是削弱了条件（开区间连续不能保证最值存在，罗尔定理的证明就断了）。

我的建议是，每次用定理前，把条件逐条对着区间写一遍，别凭记忆默写。尤其是端点处的连续性和可导性，要分清哪个是"闭"哪个是"开"。这个习惯看起来笨，但能避免大量低级失分。

8.2 ξ 的"存在性"不能升级为"唯一性"

所有中值定理的结论都是"存在 ξ"，不是"存在唯一 ξ"。有些函数确实只有一个这样的点（比如严格单调的导函数），但定理本身不保证唯一。做题时如果题目没要求唯一，就不要去证唯一；如果题目要求"求所有的 ξ"，那是在存在性之外额外加了任务，需要单独分析。

我见过有人在证明题里写"设 ξ 是唯一的点"，然后基于唯一性往下推，这是没有依据的。除非题目给了单调性之类的额外条件，否则唯一性不成立。

8.3 达布定理不能替代连续函数介值定理，反之亦然

这两个定理经常被混用。区别在于：连续函数介值定理要求函数连续，达布定理只要求是导函数。所以如果已知函数连续，用介值定理没问题；如果已知的是"某函数是另一个函数的导数"，那用达布定理，即使它不连续。反过来，如果函数只是连续但不是导数，达布定理不适用（因为达布定理的前提是"是导函数"）。

判断用哪个，看已知条件里有没有"这是某个函数的导数"这个信息。有，优先达布；没有，用连续介值。

8.4 导数极限定理的"去心邻域"容易被忽略

导数极限定理要求"在 x₀ 的某去心邻域内可导"，这个"去心"很重要——它不要求 f 在 x₀ 本身可导（那正是我们要证的），但要求 x₀ 附近（除 x₀ 外）都可导。如果函数在 x₀ 附近有别的不可导点，定理就不适用。

实际做题时，如果分段函数在分段点附近还有别的"坏点"，要先处理那些坏点，或者缩小讨论范围。这个细节在简单题里不出现，但在综合题里是隐藏的坑。

8.5 证明题的书写顺序：先条件，再构造，再结论

最后说一个格式上的经验。中值定理的证明题，阅卷时是按步骤给分的，所以书写顺序要清晰：先写"验证条件"（连续、可导、端点值），再写"构造辅助函数"（如果有），再写"由某定理得结论"。三步分开写，每步都有依据，这样即使中间某步出错，前面的条件分也能拿到。

我见过不少人把条件和构造混在一起写，或者先写结论再补条件，逻辑上是乱的，阅卷时容易判为"论证不完整"。养成"条件—构造—结论"的三段式书写习惯，是性价比很高的改进。

这组定理我前前后后复盘过很多遍，每次重看都能发现之前忽略的细节。它们看起来是五个独立的结论，实际上是一条从"水平切线"到"任意斜率切线"再到"比值中值"的推广链，达布和导数极限定理则从两个侧面补上了导函数性质的空缺。真正把它们用顺手的标志，不是能背出五个结论，而是看到一道题的条件，能条件反射地想到"这该用哪个、为什么用这个、条件够不够"。这个反射建立起来之后，很多看似复杂的证明题，其实就是在几个固定套路里选一个而已。