乐思数学通 › 考研数学(一) › 第 2 章 一元函数微分学

微分中值定理(罗尔、拉格朗日、柯西)

§2.5 · 核心概念🌱 基础篇 →

考频价值

3.89 分/卷近 11 年平均
9/11 年出现年份
6.6 分支撑的下游价值

前置诊断

① 直接前置(需先掌握)导数与微分的概念闭区间上连续函数的性质③ 掌握后可解锁泰勒公式洛必达法则函数的单调性与极值

要点精讲

把关键道理、证明与典型例子重新过一遍。

1. 三大中值定理的完整陈述:罗尔 、拉格朗日 、柯西★★ 必会

本节所有的方法都建立在三条定理的原文之上,条件与结论都必须一字不差。设 在闭区间 上连续,在开区间 内可导,这是三条定理共同的条件。

① 罗尔定理:如果还有 ,那么存在 ,使几何意义:两端等高的光滑曲线,其内部必有一条水平切线。

② 拉格朗日中值定理(不再要求 ):存在 ,使几何意义:曲线上必有一点,它的切线平行于弦 。常用的增量形式是 。这条定理是用导数的信息控制函数增量的总桥梁,单调性的判别法(§2.8)与导数极限定理(§2.1)都由它推出。

③ 柯西中值定理:如果 也满足上述条件,且在 内 ,那么存在 ,使几何意义:把 看作参数曲线,它就是这条曲线上的拉格朗日中值定理;洛必达法则的证明就以它为依据。

④ 三者的关系:从结论上看,一条比一条更一般。在柯西定理中取 即得拉格朗日定理,再加上条件 即得罗尔定理;而从证明上看,方向恰好相反,是先证罗尔定理,再借助辅助函数逐级推出后两条。条件缺一不可,但它们只是充分条件: 在 上连续且两端等高,仅在内部一点不可导,而 恒等于 ,水平切线并不存在;又如在 上取 ,只在端点一处不连续,,结论同样不成立。最后还应注意: 只保证存在,未必唯一,位置一般也求不出来,中值定理都是存在性定理。
xABξab① 罗尔:两端等高,中间必有水平切线f(a) = f(b) ⟹ 存在 ξ 使 f′(ξ) = 0xABξab② 拉格朗日:必有一点的切线平行于弦 ABf(b) − f(a) = f′(ξ)(b − a)
证明 / 推导罗尔定理的证明(用最值定理与费马引理). 因为 在 上连续,由最值定理(§1.10)它必取得最大值 与最小值 。如果 ,那么 恒为常数,在 内处处有 ,任取 即可。如果 ,由于 , 与 不可能都在端点取得(否则将有 ),因此至少有一个在内部的点 处取得。这时 是内部的极值点,而 存在,根据费马引理(严格证明见下一条)得 。

拉格朗日定理的证明(作辅助函数,再用罗尔定理). 用曲线减去弦,令则 在 上连续,在 内可导,且 。对 应用罗尔定理,存在 使即 。

柯西定理同样是作一个辅助函数、再用一次罗尔定理得到的。它的完整证明,以及为什么不能对 各用一次拉格朗日定理再相除,见后文专讲柯西中值定理证明的一条。
举例说明真题(2009·数一,解答题). (Ⅰ)证明拉格朗日中值定理:若 在 上连续,在 内可导,则存在 ,使 ;(Ⅱ)设 在 处连续,在 内可导,且 ,证明 存在且等于 。

解.(Ⅰ)即上面的证明:构造 ,验证 之后应用罗尔定理。教材中定理的陈述与证明本身就会成为考题,必须一字不落地掌握。(Ⅱ)任取 ,则 在 上满足拉格朗日定理的条件,故存在 使当 时, 被夹在中间而 ,因此 。这就是用拉格朗日定理把导数的信息传回到函数增量上的标准做法(即导数极限定理,§2.1)。

2. 费马引理是一切的基础:内部极值点处 的严格证明★ 要懂

罗尔定理的证明中用到了内部极值点处导数为零这一事实,这就是费马引理,它才是全部微分中值定理的真正基础。直观的说明:在极大值点处,左侧函数上升,差商 ;右侧函数下降,差商 。可导要求左、右导数相等,因此只能都等于 。为什么必须是内部的点:端点处只有单侧的差商,无法从两侧夹住。例如 在 上的最大值在端点 处取得,但 。为什么必须可导: 在极小值点 处不可导。这两个条件缺少任何一个,结论都不再成立。
证明 / 推导证. 设 是内部的极大值点,且 存在,那么在它的某个邻域内有 ,即 。
- 右导数: 时 ,,故 ;
- 左导数: 时 ,,故 。
由可导性知 ,于是 ,即 。极小值点的情形与此相类似。 用左、右差商符号相反把导数夹住,这就是极值必要条件最本质的论证。

3. 柯西中值定理的证明,以及为什么不能对两个函数各用一次拉格朗日定理再相除★ 要懂

柯西定理 的要点在于分子与分母中是同一个 。常见的错误:对 分别应用拉格朗日定理,得 与 ,再把两式相除。但 一般并不相等,约去两个 之后所得的是 ,并非所要的结论。正确的做法是构造一个辅助函数,只用一次罗尔定理,这样才能得到同一个 。
证明 / 推导证. 因为 ,由拉格朗日定理 ,可见分母不为零,比值有意义。构造

则 ,且 。又 在 上连续,在 内可导,根据罗尔定理,存在 使 ,即

因为 ,移项即得 。分子与分母中是同一个 ,这一点由只用一次罗尔定理来保证。

4. 辅助函数是怎样构造出来的:把结论化成 ,即求原函数★★ 必会

凡要证存在 使某个含 的等式成立,一般的做法是把结论改写成某个 的形式,再对 应用罗尔定理。困难在于由 的关系式倒推出 ,这实质上是求原函数。最有用的一个办法是乘上积分因子 :如果结论形如 ,那么取 ;由于 ,故 。常用的对应关系有:;;;。
举例说明例. 设 在 连续、 内可导,。证明:存在 ,使 。
分析. 所要证的等式即 。取 ,则 ,,因此构造 。
证. 在 上连续,在 内可导。又 (因子 恰好补出了第二个零点),。根据罗尔定理,存在 使

因为 ,所以 。

5. 两个中值点的问题:把区间分成两段,各用一次中值定理★★ 必会

有些题目要证存在两个不同的点 满足某个关系。做法是:先在整个区间上取一个分点 (通常由介值定理或取平均值确定),把 分成 与 两段,在每一段上各用一次拉格朗日定理,得到 ;它们分别位于不同的子区间,因而自然互异。这里的要点是选好分点 ,通常使 取某个特定的中间值,从而把待证的关系拆成两段导数信息之和。
举例说明例. 设 在 连续、 内可导,。证明:存在互异的 ,使 。
证. 因为 且 连续,由介值定理,存在 使 。在 与 上分别应用拉格朗日定理,得


两式相加,左端为 ,于是

又因 ,二者必互异。

6. 达布定理:导函数即使不连续,也必有介值性

连续函数具有介值性;导函数却未必连续(例如 的导数),但它仍然必有介值性,这就是达布定理:设 在 上可导,则 取遍 与 之间的一切值。由此得到一个重要推论:导函数不可能有第一类(跳跃)间断点。如果有,左、右极限存在而不相等,中间的值就被跳过,这与介值性矛盾。也正因如此,分段函数在分界点处,若两段的导数极限都存在但不相等,则该点不可导;否则 将有跳跃间断点,与达布定理矛盾。
证明 / 推导证(设 ). 作 ,则 。因为 在 上连续,所以必取得最小值。由 知 在 的右侧严格下降,故最小值不在 处取得;由 知 在 的左侧严格上升,故最小值也不在 处取得。于是最小值在内部的某点 处取得,由费马引理 ,即 。 这样 就取到了 之间的任意值 ,而全部推理中从未假设 连续。
💡 小知识
拉格朗日中值定理常被戏称为交警定理:只要你两小时开了 240 公里,无论中途怎样忽快忽慢,途中必定有那么一瞬间,车速恰好是 120。这一瞬间的存在,是纯数学替交警出具的证明。

基础例题

从最基础开始,循序渐进;先独立尝试,再展开完整解答。

例 1 验证 在 上满足罗尔定理,并求出定理中的 。 难度 1 在 上连续、在 内可导,且 ,故 ,三条件满足。
由 得 ,即 。
例 2 验证 在 上满足拉格朗日中值定理,并求出 。 难度 1 在 连续、 内可导。定理要求 。
由 得 ,即 。
例 3 利用拉格朗日中值定理证明:当 时,。 难度 2设 ,在 上用拉格朗日中值定理,存在 使

即 。因 ,有 ,故 ,即 。
例 4 验证 在 上满足柯西中值定理,并求出 。 难度 2两函数在 连续、 内可导,且 。定理给出

令 ,解得 。

真题精选

近年原题,先做做看、自动判分,再对照答案、思路与完整解答。

2026 年 · 数一 · 第 20 题 · 解答题 · 12 分

设可导函数 严格单调递增且满足 。记 。

(1)证明 ;

(2)令 ,证明:存在 ,使得 。

2025 年 · 数一 · 第 19 题 · 解答题 · 12 分

设函数 在区间 内可导,证明:导函数 在 内严格单调增加的充分必要条件是,对 内任意的 ,当 时,.

2024 年 · 数一 · 第 19 题 · 解答题 · 12 分

设函数 具有 阶导数,且 ,。证明:

(Ⅰ)当 时,;

(Ⅱ)。

2023 年 · 数一 · 第 20 题 · 解答题 · 12 分

设函数 在 上具有 阶连续导数。证明:

(Ⅰ)若 ,则存在 ,使得 ;

(Ⅱ)若 在 内取得极值,则存在 ,使得 。

随堂练习

先用基础题热身,再按年份从新到旧挑战本知识点的其余真题。

练习 1 · 选择题

在 上满足罗尔定理,则定理中的 ( )
  • A
  • B
  • C
  • D

练习 2 · 填空题

在 上用拉格朗日中值定理,则 ____。

练习 3 · 选择题

下列函数在 上满足罗尔定理条件的是( )
  • A
  • B
  • C
  • D

练习 4 · 填空题

在 上用拉格朗日中值定理,则 ____。

练习 5 · 填空题

设 ,则方程 在区间 内的实根个数为 ____。

练习 6 · 解答题

设 在 上连续,在 内可导,且 。证明:存在 ,使得

练习 7 · 解答题

设 在 上连续,在 内可导,且 ,。证明:存在两个互异的点 ,使得

2020 年 · 数一 · 第 19 题 · 解答题 · 10 分

设函数 在区间 上具有连续导数,,。证明:
(Ⅰ)存在 ,使得 ;
(Ⅱ)若对任意的 ,,则 .

2018 年 · 数一 · 第 19 题 · 解答题 · 10 分

设数列 满足:,。证明数列 收敛,并求 .