考研学习
题型与解法高等数学

高等数学模块 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题:

证明方程

在区间内部有根。

直接看目标:

这已经完全长成柯西中值定理:

取

则存在

满足:

整理即得结论。

所以一个很实用的识别法是:

目标中出现 “函数端点差 / 某个已知表达式端点差” 就尝试找一个 ,让分母变成 。


二十七、题型十:泰勒中值定理

考频:★★★★★

这一块近年来尤其值得重视。

考研不是只问:

“写一个泰勒展开”。

更高级的考法是:

  1. 导数估计;
  2. 函数值估计;
  3. 存在某一点满足高阶导数等式;
  4. 中值点位置极限;
  5. 对称展开消掉奇数阶项;
  6. 极值 + 泰勒;
  7. 插值误差估计。

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从传统中值定理证明到近年综合型命题的发展路线。

On this page

一、先建立整个模块的“定理武器库”1. 闭区间连续函数三大性质最值定理介值定理二、费马、罗尔、拉格朗日、柯西到底怎么区分?1. 费马引理2. 罗尔定理三、最重要的隐藏规律:零点数量会逐阶减少四、题型一:定理条件、真假命题、导数与函数性质考频:★★★☆另一高频逻辑:导数极限与函数极限五、这一类题最容易犯的逻辑错误1.2.3.4.六、题型二:闭区间连续函数——存在零点、唯一零点、取到某值考频:★★★典型套路1:存在 + 唯一第一步:存在第二步:唯一七、题型三:积分条件如何变成中值定理条件真题:1991-12八、题型四:连续使用罗尔定理——高阶导数存在性考频:★★★★★真题:1993-4第一步:减掉弦第二步:连续两次罗尔九、把上题升维:为什么“减多项式”如此重要?真题:1999-2十、题型五:辅助函数构造——模块8的核心考频:★★★★★十一、辅助函数构造方法1:看到目标式,反向认导数典型结构真题:1995-5十二、必须背熟的“导数原型表”出现出现出现出现出现出现十三、真题:1999-3——积分因子思想十四、这里可以总结出一个万能规律十五、真题:2001-34——更复杂的辅助函数十六、题型六:极值 + 费马 + 辅助函数十七、看到这种题怎么识别?十八、题型七:双中值问题考频:★★★☆十九、双中值第一型:先造一个分割点,再左右分别拉格朗日经典真题:2005-12第一步:为什么不能直接拉格朗日?第二步:需要什么分割点?第三步:怎么证明这个分割点存在?二十、这道题抽象成万能模板二十一、双中值第二型:等长区间消去中间值真题:2010-2二十二、这种题的核心信号二十三、双中值第三型:拉格朗日 + 柯西消公共因子二十四、题型八:微分不等式——拉格朗日中值定理直接估计二十五、中值定理证明不等式的通法二十六、题型九:柯西中值定理——看到“奇怪差商”优先考虑二十七、题型十:泰勒中值定理考频:★★★★★二十八、拉格朗日余项必须真正理解二十九、真题:1996-12——两边同时展开消未知项三十、泰勒题最重要的“消项思想”三十一、2023真题:对称泰勒已经成为必须掌握的模型三十二、这道2023题还有一个极重要的组合三十三、2024真题:线性插值误差——非常重要的新趋势三十四、为什么2024题特别值得研究?三十五、可以认为值得预测的考法1:一般区间的弦误差三十六、预测考法2:梯形公式误差推广三十七、题型十一:中值点 的极限三十八、中值点极限的本质三十九、张宇1000题里的一个漂亮变式四十、题型十二:特殊零点数量 + 罗尔定理四十一、题型十三:积分为0如何证明函数有零点?四十二、更难的真题:两个积分条件证明至少两个零点四十三、这类题的高级通法四十四、李正元练习题中最值得吸收什么?1. 把导数不等式变成辅助函数单调性2. 导数下界推出唯一零点四十五、李正元第五章对模块8真正有价值的内容1. 根据泰勒系数反求导数;2. 利用泰勒比较最低非零阶;3. 用拉格朗日余项估计误差;4. 根据函数在某点的高阶可导性反推局部性质。四十六、整个模块最重要的“辅助函数逆向生成法”第一类:目标是第二类:目标是第三类:目标是第四类:目标含第五类:目标含第六类:目标是第七类:目标是四十七、一个更高级的统一观点四十八、真题:2013-12——非常值得掌握四十九、真题:2020-2——变限积分 + 辅助函数五十、最值得优先掌握的真题清单S级:必须真正会独立构造1. 2005-122. 1999-33. 2001-344. 2013-125. 2020-26. 2023-1237. 2024-123A级:必须熟练1993-42007-34 / 2007-122010-32001-1B级:熟悉套路即可五十一、模块8可归纳为“8大解题发动机”发动机1:异号发动机2:相等发动机3:函数值之差发动机4:两个函数差商发动机5:内点极值发动机6:目标含导数线性组合发动机7:多个零点 + 高阶导数发动机8:二阶/高阶导数上界或精确中值五十二、真正的考场决策树第一步:看结论第二步:看已知条件第三步:检查定理条件五十三、模块8最容易出现的失分点1. 为了罗尔硬猜辅助函数2. 有三个零点却只用一次罗尔3. 证明“唯一”只证明了存在4. 把拉格朗日余项的中值点当固定点5. 看到泰勒就只会在0展开五十四、结合真题,模块8考频判断五十五、最后把模块8压缩成一页“万能方法”模块8真正应该达到的水平