高等数学模块 8:中值定理
考研高等数学模块 8 系统精讲:围绕中值定理梳理知识点、核心题型、代表真题、通用解法、易错点与变式拓展。
Last updated on
本章围绕中值定理展开,以考研数学真题为主线,并参考高质量练习题进行补充,按照“题型识别 → 核心方法 → 代表题 → 易错点 → 变式拓展”的方式组织。
一、先建立整个模块的“定理武器库”
这一部分必须达到看到条件就条件反射的程度。
1. 闭区间连续函数三大性质
若函数在闭区间上连续,则有:
最值定理
一定存在最大值、最小值。
这是很多“积分平均值”“存在某一点”的底层依据。
介值定理
若某个数介于两个函数值之间,那么中间必存在一点取到它。
特别是零点定理:
若
则至少存在
使
注意:
存在零点 ≠ 零点唯一。
要证明唯一,还要追加严格单调性。
所以最标准模板是:
再加
合起来才是“唯一零点”。
网站2016-2真题就是这一完整结构:先根据导数判断函数先减后增,再利用积分结果说明函数后面必取正值,于是由零点定理证明存在;最后用严格单调性证明唯一。
二、费马、罗尔、拉格朗日、柯西到底怎么区分?
这是模块8最基本也是最重要的识别能力。
1. 费马引理
看到:
- 内点;
- 可导;
- 极值;
立即想到
注意反过来不成立:
不意味着一定有极值。
2. 罗尔定理
条件:
结论:
因此考研题真正考的往往不是“会不会用罗尔”,而是:
怎么造出两个函数值相等的点?
常见来源有:
- 已知两个端点函数值相等;
- 积分中值定理造出函数值相等;
- 介值定理造出函数值相等;
- 辅助函数把两个端点变成0;
- 极值点通过费马引理产生导数零点;
- 已知三个函数零点,连续使用两次罗尔。
三、最重要的隐藏规律:零点数量会逐阶减少
这个规律非常重要。
如果函数有
个不同零点,那么由罗尔定理:
至少有
个零点。
继续:
至少有
个零点。
一般地:
这就是很多高阶导数存在性证明的底层机制。
四、题型一:定理条件、真假命题、导数与函数性质
考频:★★★☆
主要出小题,但它是所有证明题的基础。
网站1987-45真题问:
函数只知道在开区间
可导,给出四个中值定理结论,哪个一定成立?
正确的只能是在任意内部两点
之间应用拉格朗日:
因为函数在内部可导,所以在
连续。
但不能随意使用端点
因为题目并没有说明端点连续。
这是一类非常典型的陷阱:
另一高频逻辑:导数极限与函数极限
网站2002-12真题:
若函数在
有界且可导,并且
存在,那么这个极限必须是多少?
答案:
为什么?
设
如果
则充分大以后存在某个正数
使
于是对
使用拉格朗日中值定理:
右边趋于正无穷,于是
与有界矛盾。
同理
也不可能。
所以
网站2005-34真题又考了一个类似结论:
若
且区间长度有限,则
一定有界,因为
这实际上就是拉格朗日中值定理给出的 Lipschitz 型估计。
五、这一类题最容易犯的逻辑错误
一定记住下面四句话。
1.
一般不能推出
例如振荡越来越快的函数就可能失败。
2.
若
则函数通常一定无界。
这是中值定理能推出的。
3.
若
不能推出
有界。
经典反例:
有
但
4.
连续函数在闭区间必有界。
但在开区间不一定。
例如
这一组逻辑在真题和张宇1000题中都反复出现。张宇强化部分也集中训练了“导数极限与函数有界性/极限”的真假判断。
六、题型二:闭区间连续函数——存在零点、唯一零点、取到某值
考频:★★★
单独考频不是最高,但经常作为综合证明的第一步。
典型套路1:存在 + 唯一
想证明
在某区间有唯一解。
标准流程:
第一步:存在
找
满足
利用零点定理。
第二步:唯一
证明
或
于是严格单调。
所以:
七、题型三:积分条件如何变成中值定理条件
这是一个非常高频的转换。
看见:
或者:
要想到积分中值定理。
若
连续,则存在
使
于是积分条件瞬间变成了一个函数值条件。
真题:1991-12
条件大意:
由于区间长度
积分中值定理给出某
满足
于是
这时候立刻在
上用罗尔:
所以这一类题的通法是:
网站1991-12、1996-5、2010-3等真题都体现了这一思路。
八、题型四:连续使用罗尔定理——高阶导数存在性
考频:★★★★★
这是模块8必须掌握的大题类型。
真题:1993-4
已知:
曲线
与连接
的弦,在区间内部还有交点
证明存在
使
第一步:减掉弦
弦的方程:
令
因为三个交点:
第二步:连续两次罗尔
在
上:
在
上:
再在
上:
而弦是一次函数:
因此
所以
九、把上题升维:为什么“减多项式”如此重要?
如果目标是:
最强的思考方式之一是:
找一个多项式 ,使
然后研究
如果能够制造足够多的零点,就可以反复罗尔得到:
从而:
这就是“插值多项式 + 罗尔”的核心思想。
真题:1999-2
题目给出:
要求证明:
做法不是盲目泰勒,而是构造三次多项式
使它满足和
相同的一些插值条件,同时:
令
使得
以及
然后连续三层罗尔,最终得到
所以
这道题是整个模块最值得迁移的一道题之一。
十、题型五:辅助函数构造——模块8的核心
考频:★★★★★
这是整个中值定理部分最需要系统总结的内容。
千万不要靠“灵感”。
辅助函数绝大多数都可以反推。
十一、辅助函数构造方法1:看到目标式,反向认导数
典型结构
如果目标出现:
立刻识别:
所以构造:
真题:1995-5
证明存在
使
观察:
令
直接拉格朗日:
即:
一行结束。
十二、必须背熟的“导数原型表”
不是死背函数,而是形成模式识别。
出现
想到
出现
想到
出现
想到
出现
想到
出现
想到
出现
想到
或者直接构造 Wronskian 型组合。
这几种基本上覆盖考研绝大多数辅助函数题。
十三、真题:1999-3——积分因子思想
题目第二问要求证明存在
使:
先整理:
令
则:
目标就是:
现在看到标准形式:
构造:
因为
如果第一问已经得到两个点满足
那么罗尔定理立即得到
从而得到目标结论。
十四、这里可以总结出一个万能规律
以后看到:
首先移项:
如果能找到一个已知函数
使
令
则目标变成:
再找积分因子:
因为:
因此辅助函数自动得到:
这其实已经和一阶线性微分方程完全接轨。
十五、真题:2001-34——更复杂的辅助函数
题目要求证明存在
使
整理:
积分因子:
所以构造:
于是:
之后利用题目的积分条件制造:
再罗尔即可。
这道题说明:
辅助函数不是猜出来的,它就是“目标微分表达式的积分因子”。
这是非常重要的统一理解。
十六、题型六:极值 + 费马 + 辅助函数
网站1998-12是一道非常漂亮的题。
设
连续,要证明存在
满足:
不要直接解方程。
构造:
有:
而
时内部存在
所以最大值一定在内点
由费马:
计算:
因此:
十七、看到这种题怎么识别?
如果目标是:
可以尝试构造:
如果又能够证明:
在内部取得极值,那么:
即可。
所以:
十八、题型七:双中值问题
考频:★★★☆
数量没有罗尔/辅助函数那么多,但一旦出现通常是大题,而且区分度很高。
核心思想:
同一个差商或者同一个中间量,用两次中值定理分别表示,再消去它。
十九、双中值第一型:先造一个分割点,再左右分别拉格朗日
经典真题:2005-12
已知:
证明存在两个不同点
使
第一步:为什么不能直接拉格朗日?
整个
只能得到:
这只是一个点。
题目要求两个不同点,并且乘积等于1。
所以必须人为分区间。
第二步:需要什么分割点?
假设存在
满足:
则在
使用拉格朗日:
在
使用拉格朗日:
于是:
而且:
自动保证:
第三步:怎么证明这个分割点存在?
构造:
有:
所以零点定理给出:
即:
完成。
二十、这道题抽象成万能模板
假设想得到:
设分割点为
那么两边中值定理得到:
所以先倒过来设计
应该满足什么关系,才能使两者的乘积成为
然后再利用零点/介值定理证明这样的
确实存在。
这比“想到什么辅助函数试什么”有效得多。
二十一、双中值第二型:等长区间消去中间值
真题:2010-2
构造:
因为:
题目希望得到:
等价于:
又有:
分别在两个等长区间:
使用拉格朗日:
所以:
因此:
二十二、这种题的核心信号
如果题目要求:
或者:
并明确要求:
在左半区间、
在右半区间,
要高度警觉:
特别是两个区间长度相等时,中间函数值非常容易消掉。
二十三、双中值第三型:拉格朗日 + 柯西消公共因子
网站1998-3真题就是标准模型。
先拉格朗日:
再对
使用柯西中值定理:
两个式子共同包含:
消去之后就得到题目要求的两个中值点关系。
因此只要目标出现:
或者多个导数中值点,优先想:
二十四、题型八:微分不等式——拉格朗日中值定理直接估计
张宇1000题有一个非常标准的训练:
对
证明:
对
在
使用拉格朗日:
存在
满足
由于:
有:
乘以
得到:
二十五、中值定理证明不等式的通法
如果要求证明:
可以尝试:
然后只需估计:
所以:
这和积分中的“把复杂积分变为某点函数值”本质类似。
二十六、题型九:柯西中值定理——看到“奇怪差商”优先考虑
例如张宇1000题:
证明方程
在区间内部有根。
直接看目标:
这已经完全长成柯西中值定理:
取
则存在
满足:
整理即得结论。
所以一个很实用的识别法是:
目标中出现 “函数端点差 / 某个已知表达式端点差” 就尝试找一个 ,让分母变成 。
二十七、题型十:泰勒中值定理
考频:★★★★★
这一块近年来尤其值得重视。
考研不是只问:
“写一个泰勒展开”。
更高级的考法是:
- 导数估计;
- 函数值估计;
- 存在某一点满足高阶导数等式;
- 中值点位置极限;
- 对称展开消掉奇数阶项;
- 极值 + 泰勒;
- 插值误差估计。
2023、2024真题非常典型。
二十八、拉格朗日余项必须真正理解
在
处展开:
其中:
这里:
位于
与
之间。
和皮亚诺余项最大的区别是:
适合算极限、比较阶数;
而:
能对误差进行具体估计。
所以证明不等式时,拉格朗日余项往往比皮亚诺余项有用。
二十九、真题:1996-12——两边同时展开消未知项
已知:
要求控制任意
处的:
最聪明的方法不是只展开一个端点。
分别在
处展开:
以及:
两式相减:
所以:
而:
最终:
题目的精髓不是计算,而是:
三十、泰勒题最重要的“消项思想”
如果想消:
就分别展开:
因为:
而:
相加之后:
自动消失。
同理,相减则:
以及某些偶次项会消失。
所以对称区间
一出现,就要敏感:
三十一、2023真题:对称泰勒已经成为必须掌握的模型
题目第一问:
设
证明存在
使:
分别展开:
相加:
于是:
右边是两个二阶导数值的平均数。
由于
连续,根据介值定理必存在某
使:
完成。
三十二、这道2023题还有一个极重要的组合
第二问加入:
函数在内部取得极值。
于是立刻得到:
再在极值点
向两个端点作泰勒:
因为:
于是把函数值差完全转化成二阶导数。
所以考场看到:
要优先想到:
这是一条非常值得记住的新式命题套路。
三十三、2024真题:线性插值误差——非常重要的新趋势
2024-123真题要求证明:
在:
条件下成立。
注意中间:
是什么?
它就是连接:
两点的弦。
所以题目本质是:
如果曲率也就是二阶导数受控制,那么函数图像偏离它的弦不能太多。
令:
于是:
并且:
固定
进一步构造:
这样:
连续使用罗尔两次,存在:
使:
因此:
取绝对值:
这其实就是二次插值余项思想。
三十四、为什么2024题特别值得研究?
因为它把模块8的四件事完全融合了:
第二问再把点态估计积分:
本质上又变成了梯形公式误差估计。
这非常可能代表以后继续拓展的方向。
三十五、可以认为值得预测的考法1:一般区间的弦误差
2024题可以自然推广到:
若:
线性插值函数为:
可以证明存在
使:
因此:
进一步因为:
得到:
这是2024真题最自然的推广,值得重点掌握。
三十六、预测考法2:梯形公式误差推广
由上式积分:
可以估计。
因为:
所以:
这是2024题极自然的下一层变式。
三十七、题型十一:中值点 的极限
这是非常容易被忽视,但属于高质量题型。
网站2001-1真题:
根据拉格朗日中值定理:
其中:
然后研究:
最终结果:
三十八、中值点极限的本质
普通中值定理只说:
写成:
如果题目只问存在性,到这里结束。
如果问:
就必须引入更精细的泰勒信息。
对:
展开:
另一方面:
由:
比较一次修正项:
所以:
这个结论的直观意义是:
当区间很小时,拉格朗日中值点在一阶近似意义下趋向区间的中点。
三十九、张宇1000题里的一个漂亮变式
张宇题中:
要求:
这是拉格朗日中值点问题。
比较两边展开:
而:
所以:
得到:
这道题很适合训练“中值点 + 泰勒”的组合。
四十、题型十二:特殊零点数量 + 罗尔定理
张宇1000题有一道非常适合打基础的题:
三个不同零点为:
根据罗尔:
至少在两个相邻零点之间各有一个根。
因为:
只是二次函数,最多两个实根。
于是:
恰好有两个不同实根。
这种题形成一个非常有用的技巧:
两边夹住即可得到“恰好”。
网站2008-2真题也用了完全相同的思想。
四十一、题型十三:积分为0如何证明函数有零点?
这是非常通用的。
若:
连续,并且:
则:
- 若 ,显然有零点;
- 若不恒为0,而又没有零点,则连续性意味着整个区间同号;
- 同号非零函数的积分不可能为0。
因此至少存在:
满足:
张宇1000题将其应用到多项式:
若:
令:
则:
于是:
在
至少有一个根。
四十二、更难的真题:两个积分条件证明至少两个零点
网站2000-1234真题给:
以及:
证明内部至少有两个不同零点。
第一积分首先说明至少有一个零点。
假设只有一个零点:
那么函数在
两侧异号。
考虑:
因为:
在
严格单调,因此:
也在
两侧变号。
于是:
在两侧反而同号。
因此其积分应严格非零。
可是:
等于:
矛盾。
因此零点不止一个。
四十三、这类题的高级通法
如果知道:
要证明
至少有两个零点,可以反证“只有一个零点 ”,然后构造:
如果:
严格单调,那么:
恰好在
两边异号。
这和
的变号配合,就能让乘积恒同号,从而制造积分矛盾。
这是非常漂亮的一类证明方法。
四十四、李正元练习题中最值得吸收什么?
李正元第四章练习很多,但不是每一道都属于模块8核心。
真正值得吸收的是以下几种。
1. 把导数不等式变成辅助函数单调性
例如已知:
就观察:
于是:
严格递增。
这比机械应用中值定理更加直接。
2. 导数下界推出唯一零点
若:
则:
从而充分大时:
若:
零点定理得到存在性。
同时:
得到严格递增,因此零点唯一。
这也是非常标准的:
四十五、李正元第五章对模块8真正有价值的内容
第五章大量题目其实属于“泰勒计算”,不完全属于模块8。
对于本模块最值得掌握的是:
1. 根据泰勒系数反求导数;
2. 利用泰勒比较最低非零阶;
3. 用拉格朗日余项估计误差;
4. 根据函数在某点的高阶可导性反推局部性质。
例如:
可以通过幂级数系数直接得到:
又如已知某个极限和二阶可导,可以通过:
逐阶比较得到:
这类题更偏泰勒基础,为模块8的泰勒中值证明打底。
四十六、整个模块最重要的“辅助函数逆向生成法”
以后不要问:
“辅助函数到底怎么想到?”
按下面的顺序操作。
第一类:目标是
直接尝试把目标表达式看作某个函数的导数。
例如:
对应:
第二类:目标是
对应:
第三类:目标是
积分因子:
构造:
第四类:目标含
构造:
第五类:目标含
构造:
或者:
第六类:目标是
构造:
如果能使:
罗尔即可。
第七类:目标是
构造:
然后想办法制造三个零点。
四十七、一个更高级的统一观点
其实模块8大量题目的本质都是:
把待证明结论改写成某个辅助函数的导数等于0。
例如:
可以写:
于是考虑:
例如:
令:
目标变成:
于是构造:
网站2013-12真题第二问正是这一结构。
四十八、真题:2013-12——非常值得掌握
奇函数:
第一问:
因为奇函数:
在:
用拉格朗日:
由于奇函数的导数为偶函数:
第二问要求:
令:
那么:
罗尔:
而:
所以:
这道题几乎是“辅助函数逆向构造法”的标准教材。
四十九、真题:2020-2——变限积分 + 辅助函数
给:
于是:
第一问要求证明存在:
使:
整理:
观察:
所以目标就是:
构造:
因为:
直接罗尔即可。
这再次证明:
目标表达式先反推导数,辅助函数自然出现。
五十、最值得优先掌握的真题清单
如果不可能一次把所有题都精做,建议按下面优先级。
S级:必须真正会独立构造
1. 2005-12
分割点 + 两次拉格朗日:
双中值经典。
2. 1999-3
积分因子辅助函数。
3. 2001-34
积分条件 + 积分中值 + 罗尔。
4. 2013-12
奇偶性 + 中值定理 + 指数辅助因子。
5. 2020-2
变限积分 + 反推乘积辅助函数。
6. 2023-123
对称泰勒 + 极值点泰勒。
7. 2024-123
弦线插值 + 多次罗尔 + 二阶导数估计。
A级:必须熟练
1993-4
三个零点 → 两次罗尔 → 二阶导数零点。
2007-34 / 2007-12
两个函数最大值相同:
先造内部零点,再连续罗尔得到:
2010-3
积分条件 → 函数值相等 → 多次罗尔。
2001-1
中值点:
B级:熟悉套路即可
定理条件真假判断、积分中值、导数有界推出函数有界、简单零点定理、简单拉格朗日不等式。
这些容易拿分,但通常不是模块8最大区分度所在。
五十一、模块8可归纳为“8大解题发动机”
以后做题不要先想题号,而要判断属于哪台“发动机”。
发动机1:异号
→ 零点定理。
发动机2:相等
→ 罗尔。
发动机3:函数值之差
→ 拉格朗日。
发动机4:两个函数差商
→ 柯西。
发动机5:内点极值
→ 费马:
发动机6:目标含导数线性组合
→ 积分因子辅助函数。
发动机7:多个零点 + 高阶导数
→ 连续罗尔。
发动机8:二阶/高阶导数上界或精确中值
→ 泰勒拉格朗日余项 / 插值余项。
五十二、真正的考场决策树
以后遇到“证明存在 ”时,可以直接按这个顺序扫描。
第一步:看结论
如果结论是:
找零点定理。
如果是:
找罗尔或费马。
如果是:
考虑:
如果是:
考虑减二次多项式或者二阶泰勒。
第二步:看已知条件
出现积分:
想积分中值。
出现极值:
想费马。
出现三个函数值相等:
想连续罗尔。
出现两个函数:
想作差
或柯西。
出现:
想积分因子。
出现对称区间:
想:
配合泰勒。
第三步:检查定理条件
写证明时不要直接一句“由罗尔”。
一定检查:
和
这既是严谨要求,也是选择题最喜欢挖坑的位置。
五十三、模块8最容易出现的失分点
1. 为了罗尔硬猜辅助函数
解决:
先把目标式看成导数。
2. 有三个零点却只用一次罗尔
记住:
3. 证明“唯一”只证明了存在
存在靠介值,唯一靠严格单调。
4. 把拉格朗日余项的中值点当固定点
例如:
这里:
随
变化。
不能直接把它拿去积分然后说积分后还是同一个
网站某道真题的解析特别提醒:遇到这种情况应改用积分余项,再使用积分中值定理。
这一点很重要。
5. 看到泰勒就只会在0展开
展开中心应该服务于消项。
如果给极值点:
就在:
展开,因为:
如果区间对称:
在0展开最容易让奇偶项抵消。
如果需要估计:
就在:
展开端点。
五十四、结合真题,模块8考频判断
按站内目前收录真题的密度和近年来命题形式,可按如下顺序排序:
| 题型 | 重要度 | 典型形式 |
|---|---|---|
| 辅助函数 + 罗尔 | ★★★★★ | 证明某导数组合在某点为0 |
| 多次罗尔 / 高阶导数 | ★★★★★ | 三零点、插值、多项式构造 |
| 泰勒中值 / 二阶导估计 | ★★★★★ | 2023、2024式证明 |
| 拉格朗日 / 柯西综合 | ★★★★☆ | 差商、双中值、导数关系 |
| 双中值问题 | ★★★★☆ | 两个不同中值点关系 |
| 零点/介值/唯一性 | ★★★★ | 常作为综合题第一步 |
| 积分中值转函数值 | ★★★★ | 积分条件 → 罗尔条件 |
| 单纯定理条件判断 | ★★★ | 小题基本功 |
尤其要注意:双中值题数量未必最多,但一旦考就是很典型的区分度证明题;泰勒中值近年来则明显不能只当边缘知识处理。
五十五、最后把模块8压缩成一页“万能方法”
复习时应背下来的不是几十道题,而是下面这些箭头:
模块8真正应该达到的水平
不是看到一道做过的题会做,而是看到:
常见问题是:
它是谁的导数?
看到:
常见问题是:
能不能减一个二次多项式,再造三个零点?
看到两个不同点:
常见问题是:
是不是要把区间切成两段分别用中值定理?
看到积分条件:
常见问题是:
能不能先用积分中值把积分变成一个函数值?
看到极值:
常见问题是:
是不是应该在 做泰勒,因为 ?
看到:
常见问题是:
是不是在考函数与弦线/切线之间的误差?
一旦形成这套反射,模块8绝大多数证明题实际上就从“猜解法”变成了“识别结构”。
其中可以认为最应该反复吃透的是:
这几类基本覆盖了模块8从传统中值定理证明到近年综合型命题的发展路线。