在考研数学高数部分,微分中值定理绝对是很多同学的 “噩梦专题”。这部分属于高数证明题的高频出题板块,数一、数二、数三都会考察,一般以解答题形式出现,分值大概 10 分左右。
从考试特点来看,这一类题目条件给得都很抽象:只会给函数的区间范围、端点函数值、积分条件、可导阶数,很少给具体的函数表达式;问题一般是证明存在某个中值点 ξ、η,使得一阶导数或者二阶导数满足某个等式或者不等式。整体难度属于中等偏上,很多同学的痛点不是看不懂定理,而是不知道该用哪个定理、怎么构造辅助函数,拿到题目无从下手,看得懂参考答案,自己动笔就完全没思路。
微分中值定理大家族里面,拉格朗日中值定理又是重中之重。罗尔定理很多时候是作为工具使用,而拉格朗日中值定理是做题的主力。
考研里对它的考察,主要分为三大类:
其实中值证明题,本质就是两件事:第一,看懂题目给的条件,选择合适的定理;第二,当直接套定理行不通的时候,构造辅助函数,把陌生问题转化成我们熟悉的罗尔、拉格朗日的标准模型。
下面我们就拿一道经典的考研数学真题,完整拆解做题全流程,把参考答案里面 “突如其来” 的操作,和大家讲明白它的解题思路。

题目给的条件:f (0)=0,f (1)=1,∫₀¹ f (x) dx=1,函数二阶可导。要证存在 ξ,一阶导数等于 0。
看到要证 f’(ξ)=0,大家第一反应应该是罗尔定理。罗尔定理的要求:函数闭区间连续,开区间可导,区间两个端点函数值相等,区间内部就有一点导数等于 0。
现在目标是对 f (x) 用罗尔,那我们就需要找到两个点,使得 f 在这两个点函数值相等。但是题目给的 f (0)=0,f (1)=1,这两个端点值并不相等,直接对 f (x) 用罗尔定理是行不通的。
这里有一个很关键的条件:积分∫₀¹ f (x) dx=1。题目给积分条件的时候,我们有两个常见处理手段:积分中值定理,或者构造积分变上限函数 F (x)=∫₀ˣ f (t) dt。
这里第一步我们选择构造 F(x)是f(x)的变限积分函数,这个函数有个很好的性质:它的导数就是f (x)。

我们先算F(x)在 0 和 1 处的值:F (0)=0;F (1)=1。
现在对 F (x) 在区间 [0,1] 上使用拉格朗日中值定理。
拉格朗日公式:F (1)-F (0)=F’(c)(1-0),其中 c∈(0,1)。代入数值:1-0 = f (c),于是得到 f (c)=1。

【高等数学/考研数学】看图说话!拉格朗日中值定理及其题型—中值定理专项突破(2)
注意!我们已知 f (1)=1,现在得到在 c 点,f (c)=1。也就是 f (c)=f (1)=1,c 和 1 是两个不同的点,都在 [0,1] 区间。所以现在满足罗尔定理条件。于是就可以得到:

💡思考要点:为什么要构造 F (x)?那是因为直接看 f (x) 找不到两个相等函数值,但是积分条件可以通过变上限函数转化,借助拉格朗日,挖出隐藏的点 c,得到 f (c)=f (1),创造出罗尔定理需要的 “两点函数值相等”。很多同学卡在这里,就是想不到积分条件可以这么转化,不是上来就用积分中值定理,而是构造变上限积分。
第二问难度升级,要证明存在 η∈(0,1),使得 f''(η)<-2,这是二阶导数的不等式。
看到二阶导数,我们一般要使用两次中值定理。但是直接拿 f (x) 去算,很难凑出来 - 2 这个数字。参考答案直接抛出 φ(x)=f (x)+x²,很多同学看到这里直接懵掉:凭什么想到加 x²?
我们逆向思考目标式子:f''(η)<-2,移项就是 f''(η)+2 <0。如果我们构造一个新函数 φ(x),让它的二阶导数 φ''(x)=f''(x)+2,那问题就转化成:证明存在 η,φ''(η)<0。什么样的函数求二阶导会多出常数 2?x² 的二阶导数正好等于 2!于是自然就构造辅助函数 φ(x)=f (x)+x²。这个就是辅助函数的来源,不是出题人拍脑袋写出来,是从要证明的结论倒推出来的。
接下来我们把已知点代入 φ(x):φ(0)=f (0)+0² =0;φ(c)=f (c)+c² =1+c²(第一问已经得到 f (c)=1);φ(1)=f (1)+1² =1+1=2。
现在我们对 φ(x) 分别在 [0,c] 和 [c,1] 这两个区间,分别使用拉格朗日中值定理。过程如下图所示来写:

现在我们得到了 φ’(x) 在两个不同点 η₁、η₂处的导数值。φ’(x) 本身是可导的,我们再对一阶导函数 φ’(x),在区间 [η₁,η₂] 上,再用一次拉格朗日中值定理!把上面算出来 φ’(η₂)、φ’(η₁) 代入进去:

这里我们分析符号:c 是介于 0 到 1 之间的数,0<c<1,所以 1/c>1,分子 1‑1/c < 0;分母 η₂‑η₁,η₂>η₁,分母大于 0。整个分式,分子负,分母正,所以 φ''(η)<0。
又因为我们定义 φ''(x)=f''(x)+2,代入得到 f''(η)+2<0,整理得到 f''(η)<‑2。第二小问证毕。
💡思考要点:辅助函数 φ(x)=f (x)+x²,是从待证结论逆向构造,看到 f''(η)<‑2,移项之后就知道要构造一个函数,二阶导数等于 f''(x)+2;
做完这道题,我们可以总结微分中值证明题的做题思维流程:
很多同学学中值定理,总想着背一套万能模板,但是考研命题很灵活。真正的提分,是看懂每一步 “为什么要这么操作”,看懂参考答案里面那些突如其来的构造,背后的逻辑,而不是机械抄写答案。
遇到证明题不要直接摆烂,一步一步拆解条件,把大的证明目标拆成小目标,你会发现,看似晦涩的中值证明,其实套路感很强。