拓十年匠心定制 · 商业建站与技术教学双线并行 咨询热线:400-886-1026 service@lmnt.cn
ARTICLE DETAIL

资讯详情

深耕网站建设与运营推广的一线实战洞察。

罗尔定理推论与辅助函数构造:考研中值定理证明题的核心思路

罗尔定理推论与辅助函数构造:考研中值定理证明题的核心思路

考研数学里,罗尔定理是微分中值定理这一章的“发动机”。很多同学背结论很熟——“闭区间连续,开区间可导,端点值相等,则存在一点导数为零”,可真到做题,尤其是碰到它的各种推论时,就懵了。最典型的困惑是:为什么有的题要证“一阶导有零点”,有的题要证“二阶导有零点”,还有的题证到一半凭空冒出一个辅助函数,完全不知道是怎么想出来的。

这篇文章,我不打算把罗尔定理的推论一条条抄给你看。我会把这些推论拆开揉碎,告诉你它们是怎么从罗尔定理“长”出来的,在考场上看到什么条件该往哪个方向想,以及如何通过构造辅助函数把一道中值定理证明题做成送分题。

我的目标很直接:看完这篇文章,你拿到一道罗尔定理相关题目,能在三分钟内判断清楚主干思路,并且能把证明过程写规范、拿到满分。内容适合刚开始复习中值定理的考生,也适合刷了很多题但依然“一看就会、一做就废”的同学对照自查。

1. 罗尔定理到底在说什么?先把这个基础说透

1.1 罗尔定理的准确表述与三个条件

罗尔定理的完整表述是这样的:设函数在闭区间上连续,在开区间内可导,且满足端点函数值相等,即,则在内至少存在一点,使得。这个定理看起来简单,但它有三个条件,一个都不能少。

第一个条件是“闭区间连续”,它保证函数在区间上有最大值和最小值,这是最值定理的内容。第二个条件是“开区间可导”,它保证函数在区间内每一点都有切线。第三个条件是“端点函数值相等”,这是罗尔定理区别于其他中值定理的核心特征。

很多同学在默写定理时喜欢简化,比如说“函数在区间上连续可导且两端相等”,这种说法是不严格的。连续可导通常被理解为在整个闭区间上可导,这实际上要求了端点处的单侧导数存在,这个条件比“开区间可导”更强。做题时如果题目只给出“内可导”,你就不能直接说函数在端点可导,这在某些证明题里会导致步骤不严谨而被扣分。

我当年复习时犯过一个错误:遇到一道题,条件是“函数在上连续,在内可导”,我就直接在点处用拉格朗日中值定理的结论“,其中在某之间”,这样做是错的,因为题目没有给出在端点可导,拉格朗日中值定理并不需要端点可导。这个细节让我明白了一个道理:中值定理题目的每一个条件都有它的用处,不满足条件的位置,就是命题人埋坑的位置。

1.2 为什么定理成立?背后的费马定理才是关键

罗尔定理的证明过程是考研数学的经典内容,很多教材把证明放在例题里,但它背后的逻辑链条值得你自己推一遍。基本思路是这样的:既然函数在闭区间上连续,那么根据最值定理,函数在上存在最大值和最小值。

如果最大值和最小值都出现在端点处,由于端点函数值相等,那么最大值等于最小值,这说明函数在区间上是一个常值函数,那么内任意一点的导数都是零,结论显然成立。

如果最大值和最小值至少有一个出现在区间内部的某点,那么该点就是函数的极值点。根据费马定理,可导函数在极值点处的导数必为零。这样我们就找到了使的点。

费马定理就是那根最关键的杠杆。它告诉我们:可导函数的极值点处导数为零。罗尔定理之所以成立,本质上是因为连续函数在有界闭区间上必有最值,而端点值相等这个条件排除了最值都出现在端点、从而函数为常数的情形之外,剩下的情况里一定存在内部极值点。

理解了这层关系,你就会发现一个更重要的做题思路:凡是要证明“存在一点导数等于零”,本质上都是在找函数在某个区间内部的极值点。而找极值点最常见的方法,就是找两个等值的点,然后由罗尔定理过渡到导数为零。

1.3 罗尔定理的“人质谈判”模型:一个帮你记住本质的类比

罗尔定理的作用方式,我后来在给学生讲课时用了一个“人质谈判”的类比:你在桥的两端各站一个人,这两个人身高相同,那么他们中间一定有一段路是“平”的,或者说他们中间至少有一个人的脚下坡度为零。

更准确一点说:如果你从山的这一端走到山的那一端,起点高度和终点高度一样,那么这一路上至少有一个点的切线是水平的。要么你一路都是平的,要么你先上坡再下坡,要么你先下坡再上坡,无论如何,转折处一定有水平切线。这个转折点就是极值点,水平切线对应的就是导数为零。

这个模型看似简单,但它确实能帮助你在直觉层面理解罗尔定理的威力。考研数学里的中值定理题目,绝大多数都是在“人为制造”两个等值的点,然后套用罗尔定理。你的任务,就是找出那两座“等高的桥墩”,剩下的事情就交给定理本身。

2. 由罗尔定理推出的核心结论:三大推论的系统梳理

罗尔定理本身只是一个启动装置,它的推论才是考场上真正的主力。我把考研范围内最重要的推论分成三类:零点链推论、积分型推论、以及结合介值定理的存在性推论。这一部分,逐一拆开讲。

2.1 推论一:n个零点能推出n-1个导数为零的点

这是罗尔定理最直接的推广形式。如果函数在区间上连续、在内可导,并且在这个区间内有个不同的零点,那么在每两个相邻零点之间,函数值都满足,可以应用罗尔定理,因此导数在每个小区间内至少有一个零点。合起来,至少有个点使得导数为零。

举一个具体的例子。设函数在闭区间上连续,在开区间内可导,且满足,要证明方程在内至少有两个不同的实根。这里提示已经给了三个零点,所以由罗尔定理可以得到至少两个一阶导数零点,但题目要的是至少两个实根,不能直接套,因为一阶导数为零的点对应的是一阶导数方程的实根,而题目中方程的左边是。

这种变形需要用一次“换元”的思路:令新函数,那么。因为,由罗尔定理可以推出在之间存在使得,从而在之间存在使得。再用一次罗尔定理,对来说它的两个零点分别是和,推导出存在使得。最后由于,所以,但这样只能在之间确定一个点使得。要证明两个根,需要对和在之间各用一次罗尔定理。

这道题的真正用意是展示“零点链”的思考方式:有多个零点,就对导数连续用罗尔定理。如果题目要求二阶导数有零点,你就要找使一阶导数相等的两个点,或者找函数的三个等值点。

2.2 推论二:积分等于零,也能触发罗尔定理

考研中值定理题目里有一类高频类型:题目给出,或者给出某个区间的积分为零,然后让你证明存在一点使得什么条件成立。这类题目的解题套路非常固定——构造变上限积分函数。

设。如果,那么,同时。如果题目还给了,那就又有,于是函数在上满足,两端函数值相等,由罗尔定理可以得到存在一点使得,而恰好等于。

所以,请记住这个条件反射:看到“积分等于零”这四个字,立刻设变上限积分函数,然后检查它是不是能用罗尔定理。这几乎已经是考研数学命题人的固定套路了,你把这个反射弧练好,这类题就是白送分。

2.3 推论三:零点定理与罗尔定理的搭配使用

第三种常见类型的题目给出函数在端点处一正一负,然后要求证明某点导数的某个等式成立。这种题目通常需要分两步走:先用零点定理或介值定理找到另一个使函数值满足某种等式的点,再结合罗尔定理推出导数的结论。

举个例子。设在上连续,在内可导,且,要证明存在一点使得。很多同学看到这个题目直接就想构造,但关键在于要先找到两个等值点才能用罗尔定理。构造函数后,有,现在要找另一个点使得。显然即时可以用零点定理来寻找:在这两个点之间,存在使得。于是和就是两个等值点,对用罗尔定理,得到存在使得,即。

这类题目的精髓在于,罗尔定理需要的三个条件中,“”这一个条件,往往是由零点定理或介值定理来“制造”的。不要只盯着罗尔定理本身。只要需要证明一阶导数为某个值的零点问题,思路就该是:先找等值点,再罗尔。找等值点的工具有时候是端点条件直接给出的,有时候需要零点定理配合单调性。

2.4 为什么这三条推论在真题里这么重要?

统计近十五年考研数学真题,中值定理相关大题基本没有脱离过这三条推论的范围。直接考罗尔定理本身的反而不多,更多时候考的是“告诉你一些条件,让你自己构造出一个满足罗尔定理的函数”。

命题人真正在测试的,是你对“导数零点”这件事的理解深度:什么条件能推出导数有零点?什么条件能推出二阶导数有零点?如果给的是积分条件又该怎么转化?这些问题归根结底都指向同一种能力:把一个不显眼的条件翻译成“存在两个使函数值相等的点”的能力。

所以理解推论的意义不在于背下那几句话,而在于建立“翻译体系”。看到三零点,翻译成导数有若干零点;看到积分,翻译成变上限积分函数有零点;看到一正一负,翻译成存在使函数值为零的中间点。这三条翻译路径,就是你做中值定理题目的主干思路。

3. 拉开差距的关键环节:辅助函数构造的通用方法

如果说罗尔定理及其推论是刀身,那么辅助函数的构造就是用刀的手感。我辅导过不少学生,很多人卡在辅助函数这一步,题目读完不知道把哪个表达式乘以,也不知道为什么别人的辅助函数一下就试出来了。这一节,我把常用的辅助函数构造方法系统讲一遍。

3.1 为什么你需要辅助函数?本质是在“还原求导过程”

先想清楚一个根本问题:为什么要构造辅助函数?因为罗尔定理只告诉我们一件事——如果函数的两个端点值相等,那么它内部有一点导数为零。但大多数证明题要求我们证明的是“存在一点使得某个表达式等于零”,比如,或者,甚至更复杂一点,。

这些表达式的左边不一定恰好是某个函数的导函数。我们的任务是“反推”出一个函数,使得它对求导之后恰好等于题目要求证明的那个表达式。这样就能用罗尔定理了。

所以,辅助函数构造的本质就是“反向求导”,即“还原被导函数”。你手里有一个等式,比如,你需要找到一个函数,使得。这样的函数当然不唯一,任意加一个常数都不影响,而我们只需要找到其中最方便的那个就行。

3.2 考研范围内最常用的几类辅助函数原型

我把考研中值定理证明题里出现频率最高的几类辅助函数做一个系统分类,每一类都配它的特征、构造方式和使用场景。

第一类:目标式是“导函数加自身”型,即需要证明。这时候看到,就想到。因为,如果再对恒有,那么就是罗尔定理中要找的那个函数。这个模式的常见触发特征是目标式里有“系数为1的”和“本身”相加。

第二类:目标式是“导函数加k倍自身”型,即需要证明,其中是常数。这时候目标是。这正好是函数对求导得到的结构,因为。所以辅助函数直接设成。

第三类:目标式是“导函数的某种比例”,比如需要证明。这个类型稍微复杂一点,但很快能识别出来:如果把等式两边同时除以(假设),会得到,也就是。也就是说,函数在点处导数为零。因为。这就是典型的“对数型”构造:目标式里有项,就优先考虑构造或类似的形式。

第四类:目标式是“二阶导和三阶导”,比如需要证明。这里需要把看成一个新的“一阶导函数”,那么原式就等价于证明“的导数为零”,和第一类、第二类的情况一样,转化为构造关于的辅助函数。实际上在计算过程中,你会发现关键操作是对求导后等于一个只含的表达式,然后用罗尔定理连续用两次。

我再强调一点:这些原型不用死记硬背,关键是识别特征。看到某项乘或除某项,就要想着“指数因子”构造;看到目标式里有分式,就想着“对数函数”构造。多练十道题,你就能形成肌肉记忆。

3.3 辅助函数构造的两步法:从目标等式到辅助函数

我教学生的时候,会把辅助函数的构造过程压缩成两个步骤:

第一步,把要证明的等式改写成某一个函数求导后等于零的形式。这需要你熟悉基本初等函数的求导公式以及乘积求导法则、商求导法则。比如要证明,就把它看成,也就是已自动写成了某个函数平方后求导等于零的形式。

第二步,写出这个“某个函数”的具体表达式。比如由知道原函数应该是,或者更精确一点,是。然后检查它在区间端点处是否满足。

举一个完整的例子。设在上连续,在内可导,且,证明存在使得。第一步,把要证的式子改写为。令,则。这正是“导函数加自身”型的辅助函数,即的导数为零。取辅助函数。检验:,这样就和就构成了两个等值点。由罗尔定理,存在使得,而,因此。

这道题做完之后,你自己回看一下:关键的步骤发生在“改写目标式”这一步。如果不做改写,直接盯着题目发愣,那确实很难想到辅助函数是什么。但只要你对乘积求导公式足够熟悉,看到就会意识到这可能是某个函数的导数的一部分,自然就想到构造。

3.4 检验辅助函数是否构造成功的技巧

还有一个很实用的检查技巧:构造出辅助函数之后,对它求一次导,看导出的结果是否包含目标等式。如果求导结果和目标式之间只差一个正数系数或一个符号,那就说明方向对了。

比如你构造了,求导后得到。如果题目要证明的是,那说明这个辅助函数完全正确,因为两者就差了一个符号(考虑对的导数吧,其实是差一个正负号,不能只看表面,要看需要的是还是0)。总之,验证的一步耗时不超过十秒,考场上不要省这个时间。

另外一个经验之谈:辅助函数不唯一。有的题既可以用构造出对的导数,也可以直接对某个更复杂的函数用罗尔定理。只要推得动结论,写得规范,就是好方法。不要在一道题上死磕“标准答案”的辅助函数形式,那没有意义。

4. 真题实战:从条件翻译到采分点的完整拆解

这一节,我用三道考研风格的典型题,完整演示罗尔定理推论的实战流程。重点不是给大家背答案,而是展示考场上读完题目后的完整思考链:条件能翻译成什么?目标能改写成什么?中间需要什么桥梁?

4.1 真题题型一:给出零点条件,证明一阶导相关等式

题目:设函数在上连续,在内可导,且,,证明存在一点使得。

考场思考过程如下:

目标式是,看到“导函数加自身”的典型模式,辅助函数方向确定为。构造函数,这是第一步。

找两个等值点。题目给了和,所以要计算:,。这里还没有出现两个相等的值。注意条件还有一个,这个条件意味着零点定理可以用在上。但直接用的话需要确保端点值异号,而题中没有明说。观察发现零点定理本身不依赖区间端点为和,只要能找到一个,使得,就可以继续。

比如我们看:令,若是正值,那么在区间端点处至少有一个大于零,同时,零点定理给出存在使。若是负值,零点定理也给出存在使。总之,存在,使得在两端仍相等。因此辅助函数在上满足端点等值。

之后就是罗尔定理的标准操作:存在,使得。而,于是,即。命题得证。

这道题的考点无非是:(1) 识别辅助函数类型;(2) 灵活应用零点定理寻找等值点;(3) 罗尔定理收尾。只要前两步想通了,第三步就是公式化书写。

4.2 真题题型二:综合积分条件与罗尔推论的综合题

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

分析步骤:给出的是积分条件,立刻想到变上限积分。设,则,。又因为,所以。

现在目标式是,这不是标准型。把它改写成,即。如果设,那么题目要求的就是有零点。注意函数已经满足。

整理一下信息:,其中。由罗尔定理的推论——如果有个零点,则导数至少有个零点?其实本项目中有两个零点,所以至少有一个零点,对应的导数零点就是使得的,这并不是我们要的。需要进一步转化。

看和的关系:。由给出的条件可知存在使得。这给出了的一个零点。那么另一个零点自然是。由于在可导,且,由罗尔定理,存在使得。而,所以,即。

这道题最关键的一步是:积分条件要先转化为变上限积分函数的零点,再用一次罗尔定理得到“的导数为零”的中间结论,然后再利用这个中间结论继续构造第二次辅助函数。逻辑链比较长,但只要每一步都有意识地翻译条件,就不会乱。

4.3 真题题型三:涉及高阶导数的罗尔推论

题目:设函数在闭区间上三阶可导,且,证明存在一点使得。

这道题如果用前述方法会显得很复杂,但用零点链的思路会非常干净:题目给出的三个零点,相当于给出了一个“三阶导数的零点痕迹”。

先证明有一阶导数至少有一个零点。两次使用罗尔定理:在之间和在之间各有一个零点。然后对二阶导数再使用罗尔定理:因为在的两个零点之间,存在一个使的点。最后对三阶导数使用罗尔定理:因为在存在使得,而由给出的条件,即存在和使得,所以存在使。

这样不断“升级”的推理过程,正是罗尔定理推论“零点链”的标准操作。每用一次罗尔定理,函数阶数就上升一阶,零点个数就减一。三次罗尔定理之后正好到达三阶导数是零的目标。书写时建议分步写,每写一步都要明确说明是哪两个点之间应用了罗尔定理,这样阅卷老师不用帮你找中间点在哪里。

4.4 中值定理证明题的四步答题模板

结合以上三道题,我总结出中值定理证明题最实用的四步模板:

第一步,读题时圈出所有“零点”“积分为零”“端点函数值”“导数等式”这四类关键信息。同时把目标式抄在草稿纸上,不要凭记忆想。

第二步,把目标式改写成“某个函数导数等于零”的形式。这一步是核心,可能需要试错,但根据目标式的形态去匹配前述几种辅助函数原型,通常试一两次就能找到方向。

第三步,寻找辅助函数的两个等值点。来源通常有三个:题目直接给出;通过零点定理或介值定理间接获得;通过变上限积分函数构造获得。

第四步,套罗尔定理,写出结论,并反推回目标式。整个过程要求书写规范:说清楚“在上连续、在内可导、满足”,再引出存在使得,代入表达式化简。

四步模板适合拿来核对考场上的思路完整性。每次做题都在心里过一遍这四步,能避免“想到了辅助函数但不知道下一步干什么”的尴尬。

5. 高频易错点与考前自查清单

再好的方法,如果踩了低级错误的坑,也拿不到分。这一节我把这些年看到的考生在罗尔定理题目中最常犯的错误集中梳理一遍,每一个都是真实的考场教训。

5.1 对定理条件“只背不验”的坑

最常见的错误是:构造好辅助函数后,不检查它是否满足罗尔定理的三个条件,直接就写“由罗尔定理可得”。

有一个真实案例:题目给出在上连续、在内可导,但辅助函数里恰好含有分母。如果题目条件没有明确说不为零,那么你在使用罗尔定理时就必须先说明在区间上恒正或恒负,才能保证辅助函数在闭区间上连续、开区间内可导。很多同学漏掉这一句,分就会扣在不显眼的位置。

避免方法很简单:每用一次罗尔定理,就在草稿纸上写三行——“连续:是否满足?可导:是否满足?等值:哪两个点相等?”确认打勾后再写证明过程。哪怕草稿纸上多写几句,也不亏,因为它能防止你在一眼能看出来的题目上翻车。

而且别忘了,连续性和可导性对你构造的辅助函数而言,不一定自动成立。如果辅助函数中含有除法,要检查分母是否可能在区间内取到零;如果含有某个中间变量的开方,要检查定义域是否覆盖。这个“验条件”的步骤,是考研数学中值定理证明题最容易被扣分的地方。

5.2 构造辅助函数后“求错导”的坑

即使是辅助函数方向完全正确,很多同学在求导时也会出错。常见的错误集中在乘积求导公式上:对,求导时会想当然地写成,漏掉了那一项,或者把的导数写错。

这个坑的规避没有捷径,就是勤练习。中值定理题里涉及的函数基本都是初等函数,求导本身难度不大,但正因为不难,所以错得毫无价值。

我建议做题时,每写完一次求导过程,就默问一句:这个导数等于零的等式,再继续变形,能不能得到题目要的方向?如果变形后和目标式差距很大,那多半是求导过程出了问题,而不是思路出了问题。检查求导过程,通常很快就能找到问题所在。

5.3 忽略“零点定理与介值定理的过渡作用”的坑

很多同学做题思维太线性:罗尔定理的条件要从题目给的端点值里找,找不到就卡住。但实际上,考研中值定理题目最常用的技巧之一,就是先通过零点定理找到一个过渡点,再把这个过渡点当成新函数的一个端点值。

知道这个技巧之后,再看到“目标式看起来需要使用罗尔定理但还缺一个等值点”的情况,你的第一反应就应该是去寻找那个过渡点。而过渡点的存在性,往往来自于某个函数在某个区间端点处取值的正负号变化。

因此我的建议是,每做完一道中值定理题,把自己思考的过程反过来走一遍:从结论出发,一步步倒推需要增加哪些前置条件,这些条件又是题目里哪句话提供的。坚持这样做十道题之后,你就能逐渐培养起“条件翻译”的直觉,而不是陷入背题型套路的泥潭。

5.4 考前十天:罗尔推论自查清单

考前最后阶段,不需要再做大量新题,但可以把这张清单从头到尾过一遍。每一栏都能快速答出来,说明这部分基本功已经扎实了;如果有一栏答得磕磕绊绊,就针对性地找两到三题练一下。

考察点建议目标参考标志
罗尔定理的准确条件能一字不差写出三条条件并说明为什么缺一不可端点值相等是最容易被忽略的条件
费马定理与罗尔定理的关系能用自己的话复述罗尔定理的证明思路极值点是核心桥梁
零点链推论能从三个零点推出二阶导数至少为零点每用一次罗尔定理阶数升一阶
积分条件翻译看到就设立变上限积分函数变上限积分端点值自然相等
辅助函数原型识别见到就想到,见到就想到在草稿纸上默写三遍
罗尔定理条件验证每次使用前逐条确认尤其注意分母不为零
四步答题模板能在五分钟内完成一道中等难度证明题从条件翻译到目标改写

另外再说一句大实话:罗尔定理推论这一块,刷题量不需要特别多,把二十道典型题吃透的效果胜过盲目刷一百道题。每道题做完以后,问自己三个问题——这道题的条件为什么这样给?辅助函数为什么这样构造?如果改变一个条件,结论会变成什么?想明白了,你就不再是“记住一道题”,而是“理解了一类题”。

我在实际辅导中还有一个体会:很多学生之所以觉得罗尔定理推论难,不是数学功底不足,而是缺少一种“逆向思维”的练习。中值定理题目考的是从结论倒推条件的能力,而多数人习惯从条件正推结论。所以我建议,从今天开始,无论拿到什么题,先从最后一句话看起,把要证明的结论写在最上方,然后问自己——要得到这个结论,需要怎样的条件?需要哪个函数、在怎样的区间上使用罗尔定理?把倒推的链条理顺了,再回头从题目的条件里找对应的信息。这个过程开始会很慢,但坚持二十道题之后,你对罗尔定理及其推论的掌握程度,会有一种质变的提升。

返回列表