考研高数定理证明拆解：顺着逻辑走，考场遇到直接推

【来源：易教网 更新时间：2026-09-12】

我常跟复习考研数学的同学念叨，高数的定理证明你别觉得是“可看可不看”的边角料，其实是你和别人拉开差距的核心。很多同学到冲刺阶段刷真题，一遇到证明题就卡壳，要么跳步被扣分，要么直接不会写，仔细问下来都是基础阶段觉得“只要会用结论就行”，根本没搞懂证明的底层逻辑。

今天就把大家问得最多的几类高数定理证明，给你掰开揉碎讲明白，顺着逻辑走，哪怕考场上记不清完整步骤，也能把思路顺出来。

一、微分中值定理的核心逻辑：从费马引理到罗尔定理，一步扣一步

微分中值定理这块是所有定理证明的基础，核心就是费马引理和罗尔定理，你把这两个搞明白，后面的都能触类旁通。

先说费马引理，条件就两个：一是f'(x_0)存在，二是f(x_0)是f(x)的极值，结论是f'(x_0)=0。

很多同学不知道这个证明怎么想，其实就是从条件往结论顺：点的导数按定义写出来是\lim_{x \to x_0} \frac{f(x)-f(x_0)}{x-x_0}，第二个条件说f(x_0)是极值，翻译成数学语言就是x在x_0的去心邻域内，f(x)-f(x_0)的符号是固定的，要么都正要么都负。

那分子符号固定，分母x-x_0在去心邻域内的符号也是固定的，所以整个分式的符号是固定的，再加上分子分母都趋近于0，根据极限的保号性，这个极限只能是0，结论就出来了。

费马引理名字里的“引理”两个字，就是告诉你它是用来引出其他定理的，后面要讲的罗尔定理，就是直接拿它当基础。罗尔定理的三个条件大家都很熟：函数在闭区间上连续、开区间内可导、区间端点函数值相等，结论是开区间里存在ξ使得f'(\xi)=0。很多同学说“这不就是费马引理的结论吗，直接用不就行了？

”大方向没错，但你要先凑费马引理的条件：可导是开区间本来就满足的，关键是“极值”条件怎么来？这时候就用闭区间连续函数的最值定理：闭区间上的连续函数一定有最大值和最小值。

这里很多人分不清最值和极值的关系，我得给你捋清楚：如果最值取在区间内部，那这个最值就是极值；如果最值都取在端点，那就不是极值。所以分两种情况讨论就行：第一种情况，最值取在区间内部，那直接满足费马引理的两个条件，结论成立；

第二种情况，最值都取在端点，结合罗尔定理第三个条件“端点函数值相等”，说明整个闭区间上的最大值和最小值相等，那这个函数在整个闭区间上就是常数函数，开区间里随便取一点导数都是0，结论也成立。你看，这里没有复杂的计算，就是条件的对应，别跳步，一步步来就能推出来。

二、拉格朗日、柯西定理证明：构造辅助函数的逻辑能复用

拉格朗日定理和柯西定理都是用罗尔定理证明的，这块你学会了，不仅真题直接考证明的时候你能写出来，后面遇到其他需要构造辅助函数的题，思路也能用得上。

核心逻辑就是对比两个定理的结论：罗尔定理的结论是导数等于0，拉格朗日定理的结论是\frac{f(b)-f(a)}{b-a}=f'(\xi)，你把结论里的ξ换成x，移项之后变成f(x)-\frac{f(b)-f(a)}{b-a}x的导数等于0，这不就是罗尔定理要的“导数为0”的形式吗？

那这个f(x)-\frac{f(b)-f(a)}{b-a}x就是你要构造的辅助函数，只要验证它满足罗尔定理的三个条件，就能用罗尔定理的结论证明拉格朗日定理了。

这里很多同学卡壳不会构造辅助函数，记住我教你的方法：如果直接看不出来，就把结论里的中值换成x，对得到的式子求不定积分，得到的函数就是辅助函数，百试不爽。柯西定理的证明逻辑完全一样，就是先把结论变形凑成罗尔的形式，再构造辅助函数就行。

泰勒中值定理这块不用证明，但要能分清不同余项的使用场景，考频非常高，一定要把公式记熟。

三、乘积求导公式证明：别觉得基础就不看，考过真题的

前几年真题直接考过两个函数乘积的导数公式证明，很多同学看到题都懵了，平时只会用公式，从来没想过它怎么来的。这块我早在基础阶段就跟你们强调过，所有基础公式的证明，你都要搞懂逻辑，不能只会套用。

证明过程特别简单，就用导数定义：要证[f(x)g(x)]'=f'(x)g(x)+f(x)g'(x)，先看x_0处的导数，按定义写出来是\lim_{x \to x_0} \frac{f(x)g(x)-f(x_0)g(x_0)}{x-x_0}，这时候是0/0型，但不能用洛必达法则，因为分子里的乘积导数就是你还没证的，不能用。

这时候用“加一项减一项”的技巧，把中间项凑成和前后都有联系的形式：\frac{f(x)g(x)-f(x)g(x_0)+f(x)g(x_0)-f(x_0)g(x_0)}{x-x_0}，拆成两个部分分别取极限，第一个部分是f(x)乘以\frac{g(x)-g(x_0)}{x-x_0}的极限，x趋近于x_0时f(x)趋近于f(x_0)，后面的极限是g'(x_0)，所以第一部分是f(x_0)g'(x_0)；

第二个部分是g(x_0)乘以\frac{f(x)-f(x_0)}{x-x_0}的极限，也就是g(x_0)f'(x_0)，加起来就是乘积的导数公式。再由x_0的任意性，就得到了任意点的导数公式。

这里再跟你们提个醒，基础阶段复习别太功利，你觉得不会考的证明，命题人可能就会拿来当题，你只有搞懂了底层逻辑，哪怕公式忘了，也能现场推出来，比死记硬背靠谱多了。

四、积分中值定理、微积分基本定理证明：找关联是最快的方法

先说积分中值定理，条件是f(x)在闭区间[a,b]上连续，结论是\int_a^b f(x)dx = f(\xi)(b-a)。很多同学上来想用微分中值定理，其实走弯路，你要看结论的特征：积分中值定理的结论里有中值，但没有导数，所以应该选连续相关的定理，介值定理或者零点存在定理。

再看中值的位置：积分中值定理的中值在闭区间上，介值定理的中值也在闭区间上，零点存在定理的中值在开区间上，所以直接选介值定理就对了。

接下来把积分中值定理的结论两边除以(b-a)，就变成\frac{1}{b-a}\int_a^b f(x)dx = f(\xi)，这时候左边这个积分除以区间长度的数，其实就是介值定理里的常数A。

现在只要证明这个A在f(x)在闭区间上的最大值M和最小值m之间就行，用定积分的比较定理，m(b-a) \leq \int_a^b f(x)dx \leq M(b-a)，两边除以(b-a)就得到m \leq \frac{1}{b-a}\int_a^b f(x)dx \leq M，满足介值定理的条件，所以必然存在\xi\in[a,b]使得f(\xi)等于这个值，定理就证完了。

再说微积分基本定理的两个部分，第一个是变限积分求导定理：如果f(x)在闭区间[a,b]上连续，那么\frac{d}{dx}\int_a^x f(t)dt = f(x)在闭区间上成立，开区间内是普通导数，端点是单侧导数。

证明还是用导数定义，开区间内的点x，导数是\lim_{h \to 0} \frac{\int_x^{x+h} f(t)dt}{h}，根据积分中值定理，分子等于f(\xi)h，其中ξ在x和x+h之间，当h趋近于0的时候，ξ就趋近于x，又因为f(x)连续，所以这个极限就是f(x)，端点处的单侧导数把h的方向固定成从左边或者右边趋近就行，逻辑是一样的。

第二个是牛顿-莱布尼茨公式，也叫微积分基本公式，条件是f(x)在闭区间上连续，F(x)是f(x)的一个原函数，结论是\int_a^b f(x)dx = F(b)-F(a)。

这个证明特别简单，用刚才的变限积分求导定理就行：首先\int_a^x f(t)dt也是f(x)的一个原函数，原函数之间只差一个常数，所以\int_a^x f(t)dt = F(x)+C，把x=a代进去，左边是0，所以C=-F(a)，整理一下就是\int_a^x f(t)dt = F(x)-F(a)，再令x=b，直接就能得到\int_a^b f(x)dx = F(b)-F(a)，证明就结束了。

你看这些定理证明，其实没有复杂的计算，就是条件的对应和逻辑的顺承，你基础阶段把每个定理的前提、结论、怎么用前面的结论凑条件搞明白，后面不管是证明题还是综合题，都不会卡壳。很多同学觉得证明题难，其实就是你懒，基础阶段不愿意动脑子想逻辑，只想背结论，到了考场上吃亏的还是你自己。