微分中值定理这一组结论几乎是每个学微积分的人都要反复过一遍的内容。罗尔、拉格朗日、柯西、达布、导数极限五个名字摆在一起很多人第一反应是背条件、背结论、套公式做题考完就忘。但我这些年带人复盘数学基础、帮人补分析功底的过程中发现一个挺反直觉的现象真正把这几个定理吃透的人往往不是刷题最多的而是能把它们串成一条逻辑链、说清楚谁是谁的特例、谁比谁更强、条件少一条会怎样的人。这篇东西就是想把这条链子讲清楚顺带把那些教材上一笔带过、但实际用起来特别容易翻车的细节摊开说。不管你是刚学完一元微积分想理清脉络还是准备考研、准备复试被追问证明细节或者只是想把当年囫囵吞下的东西重新嚼一遍下面这些内容应该都能对上你的需求。我会尽量少用显然易证这种糊弄人的词该展开的地方展开该给反例的地方给反例。1. 先把五个定理摆到同一张桌子上看很多人学这组定理的顺序是教材顺序先罗尔再拉格朗日再柯西达布和导数极限定理往往散落在习题或者附录里。这个顺序本身没问题但它容易让人产生一种错觉好像这五个是并列的五个工具各管各的。实际上它们之间的关系远比并列紧密有的是特例关系有的是补充关系有的干脆是在补前面定理的漏洞。先把这层关系理清楚后面每一个定理的证明和用法都会顺很多。1.1 一条主线从存在水平切线到存在任意斜率切线罗尔定理说的是函数在闭区间连续、开区间可导、两端点函数值相等那么中间某点导数为零。翻译成人话就是你从同一高度出发又回到同一高度路上必然有某一瞬间是水平走的。这个结论直观得几乎不需要证明但它是整条主线的起点。拉格朗日定理把两端等高这个限制去掉了两端不等高也行只要连续可导中间必有一点其切线斜率恰好等于两端连线的斜率。这就是所谓的平均变化率等于某点瞬时变化率。罗尔定理其实是拉格朗日定理在两端等高时的特例——这一点很多人知道但真正做题时经常忘记反过来用遇到需要证某点导数为零的题先想想能不能构造一个两端相等的辅助函数把问题塞进罗尔定理。柯西定理再往前走一步不光是两个函数值之间的关系而是两个函数各自的增量之比等于某点处两函数导数之比。拉格朗日定理是柯西定理取分母函数为恒等函数时的特例。这条特例关系是理解柯西定理的关键——柯西定理不是凭空冒出来的新东西它是把拉格朗日定理从一个函数推广到一对函数的比值形式。达布定理导函数介值定理走的是另一条路。它说的不是存在某点导数等于某个值这种中值性质而是导函数即使不连续也不能有第一类间断点它取遍两个导数值之间的所有中间值。这个定理经常被忽略因为它看起来不像中值定理但它在处理导函数性质、判断某函数能否成为某个函数的导数时非常关键。导数极限定理则是另一个方向的补充如果函数在某点连续、在该点去心邻域内可导且导函数在该点趋于某点时有极限那么这个函数在该点也可导且导数就等于那个极限。它解决的是用导函数的极限反推该点导数的问题在分段函数求导、判断可导性时特别常用。1.2 一张对照表把条件和结论钉死光靠文字描述容易记混我习惯用一张表把五个定理的入场券和产出对齐。下面这张表是我自己整理时用的版本条件栏里我特意把连续和可导的范围写清楚因为考试和实际证明里闭区间连续、开区间可导这个搭配是最容易写错的地方。定理闭区间连续开区间可导额外条件结论罗尔定理需要需要f(a)f(b)存在 ξ∈(a,b)f(ξ)0拉格朗日定理需要需要无存在 ξ∈(a,b)f(ξ)[f(b)-f(a)]/(b-a)柯西定理两函数均需要两函数均需要g(x)≠0存在 ξf(ξ)/g(ξ)[f(b)-f(a)]/[g(b)-g(a)]达布定理不需要导函数存在即可区间内处处可导无导函数取遍两导数值间一切中间值导数极限定理该点连续去心邻域可导导函数极限存在该点可导且导数等于该极限这张表里有两个地方值得单独拎出来说。第一柯西定理额外要求 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)]这样 F0 就等价于原式。这种构造不是天上掉下来的它的逻辑是把要证的等式看成某个函数的导数等于零。我把常见的构造套路归成三类实际做题时按这三类去套命中率会高很多。第一类是乘以积分因子。要证的式子形如 f(x)p(x)f(x)0就构造 F(x)f(x)·exp(∫p(x)dx)。原理是 (f·μ)μ(fpf)取 μ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 减去两端连线那条直线。在 xa 和 xb 处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(ξ) 的取值范围去放缩。举个具体例子。要证当 x0 时 ln(1x)x。取 f(t)ln(1t)在 [0,x] 上用拉格朗日得 ln(1x)-ln1f(ξ)(x-0)即 ln(1x)x/(1ξ)其中 0ξx。因为 ξ0所以 1/(1ξ)1于是 ln(1x)x。这个证明干净利落比用导数单调性去证要短。但这里有个方向感的坑放缩的方向必须和要证的不等号一致。上面例子里我们要证小于所以要把 x/(1ξ) 往大了放放大到 x这就要求 1/(1ξ)1而 ξ0 正好保证这一点。如果题目要证的是大于那放缩方向就得反过来这时候 ξ 的范围估计就要更精细。我见过不少人放缩方向搞反证出来一个反向不等式还浑然不觉所以每写完一步放缩最好回头对一下不等号方向。取点也有讲究。拉格朗日要求区间端点而很多不等式是在整个定义域上成立的这时候要选一个已知值的点作为一端。比如证 x0 时的某个不等式常取 a0因为 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 用罗尔定理存在某点 g0和 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 柯西定理在比值型不等式里的用法柯西定理也能证不等式而且比拉格朗日更适合处理两个量之比的估计。比如要证当 0ab 时(b-a)/b ln(b/a) (b-a)/a。这个不等式其实是 ln 的拉格朗日估计但用柯西可以给出另一种视角取 f(x)ln xg(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)kf(b)或反过来则存在 ξ∈(a,b) 使 f(ξ)k。注意这里不要求 f 连续这是它和连续函数介值定理的根本区别。连续函数介值定理要求函数连续而达布定理告诉你导函数这个特殊函数即使不连续介值性依然成立。为什么导函数有这个性质直观理解是导数描述的是瞬时变化率如果变化率从负变到正中间必然经过零或者经过任何中间值因为函数值的变化是连续的变化率不可能跳过去而不经过中间状态。这个直观背后是严格的证明通常用极值或者构造辅助函数来做。一个标准证法是构造 g(x)f(x)-kx则 g(a)0g(b)g 在 a 点附近递减、在 b 点附近递增所以 g 在内部某点取到最小值该点 g0即 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≠0f(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)0x≠0f(0)1。在去心邻域内 f0极限为 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 fL。于是差商极限为 L即 f(x₀)L。这个证明很漂亮它把差商极限转化成了导函数在中间点的极限而中间点趋于 x₀ 保证了可以用导函数的极限。注意这里用到了f 在 x₀ 连续吗其实这个证明里f(x)-f(x₀) 的写法用到了 f 在 x₀ 有定义但连续性的作用体现在差商极限存在这个结论上——如果 f 不连续差商可能趋于无穷拉格朗日的前提闭区间连续也不满足。所以连续性既是定理条件也是证明中拉格朗日适用的保证。6.3 分段函数求导的标准流程有了导数极限定理分段函数在分段点的可导性判断就有了标准流程。我一般按这个顺序走先看分段点处函数值是否定义、左右极限是否等于函数值连续性。在分段点两侧分别求导函数用求导公式。算导函数在分段点的左右极限。如果左右极限存在且相等且函数连续则由导数极限定理该点可导导数等于该极限。如果左右极限存在但不相等则该点不可导且是跳跃型。如果左右极限至少一个不存在则定理不适用需要回到定义用差商判断。这个流程里第 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)}因为 Fe^{-g}(f-fg)零点对应原式。这类题的关键是把 ξ 换成 x移项看能不能凑成某个函数的导数。凑的时候优先考虑积法则、商法则、链式法则的逆运算。如果凑不出来再考虑用柯西定理如果式子里有两个函数或者达布定理如果涉及导函数的取值。7.2 场景二证明导函数取到某个中间值这类题直接对应达布定理。比如已知 f 在 [a,b] 可导f(a)0f(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 证明题的书写顺序先条件再构造再结论最后说一个格式上的经验。中值定理的证明题阅卷时是按步骤给分的所以书写顺序要清晰先写验证条件连续、可导、端点值再写构造辅助函数如果有再写由某定理得结论。三步分开写每步都有依据这样即使中间某步出错前面的条件分也能拿到。我见过不少人把条件和构造混在一起写或者先写结论再补条件逻辑上是乱的阅卷时容易判为论证不完整。养成条件—构造—结论的三段式书写习惯是性价比很高的改进。这组定理我前前后后复盘过很多遍每次重看都能发现之前忽略的细节。它们看起来是五个独立的结论实际上是一条从水平切线到任意斜率切线再到比值中值的推广链达布和导数极限定理则从两个侧面补上了导函数性质的空缺。真正把它们用顺手的标志不是能背出五个结论而是看到一道题的条件能条件反射地想到这该用哪个、为什么用这个、条件够不够。这个反射建立起来之后很多看似复杂的证明题其实就是在几个固定套路里选一个而已。
