1. 中值定理与微分不等式习题精解
作为一名数学系毕业的考研辅导老师，我深知中值定理和微分不等式在高等数学中的核心地位。这些内容不仅是考研数学的重难点，更是后续学习分析学的基础。今天我将结合张宇1000题中的典型例题，为大家详细解析这类题目的解题思路和技巧。
1.1 拉格朗日中值定理的应用
例题1：设函数f(x)在[0,4]上一阶可导，且f'(x)≥1/4，f(2)≥0，试证：当x∈[3,4]时，必有f(x)≥1/4成立。
解题思路：
- 首先观察题目条件：给出了导数的下界和某点的函数值下界
- 考虑使用拉格朗日中值定理建立函数值与导数之间的关系
- 选择适当的区间应用定理（这里选择[2,x]）
详细证明：
根据拉格朗日中值定理，对∀x∈[3,4]，存在ξ∈(2,x)，使得：
f(x)-f(2)=f'(ξ)(x-2)
由条件f'(ξ)≥1/4且x-2≥1（因为x≥3），可得：
f(x)≥f(2)+1/4(x-2)≥0+1/4·1=1/4
关键点：
- 选择正确的区间应用定理（这里选择包含已知点x=2的区间）
- 利用导数下界和区间长度估计函数值
- 注意单调性分析（f'(x)>0说明函数单调递增）
常见错误：
- 错误选择区间（如选择[0,x]会导致无法利用f(2)的信息）
- 忽略x的范围限制（x∈[3,4]保证了x-2≥1）
- 忘记讨论单调性对结论的强化作用
1.2 二阶导数与函数不等式
例题2：求证：(x-2)e^(x-2)/2 - xe^x + 2e^(-2) < 0 (x>-2)
解题策略：
- 构造辅助函数f(x) = (x-2)e^(x-2)/2 - xe^x + 2e^(-2)
- 分析函数在边界点的值（f(-2)=0）
- 通过导数分析函数的单调性
详细步骤：
-
求一阶导数：
f'(x) = e^(x-2)/2 + (x-2)/2·e^(x-2)/2 - e^x - xe^x
= x/2·e^(x-2)/2 - (x+1)e^x -
求二阶导数：
f''(x) = (x+2)/4·e^(x-2)/2 - (x+2)e^x
= (x+2)e^x[1/4·e^(-x-2)/2 - 1] -
分析二阶导数符号：
当x>-2时，x+2>0，e^x>0，且1/4·e^(-x-2)/2 - 1 < 0
因此f''(x)<0，即f'(x)单调递减 -
结论：
由于f'(x)单调递减且f'(-2)=0，故f'(x)<0对x>-2成立
因此f(x)单调递减，结合f(-2)=0，得f(x)<0对x>-2成立
技巧总结：
- 构造辅助函数是证明不等式的常用方法
- 高阶导数可以帮助分析低阶导数的性质
- 边界点的分析往往能为证明提供突破口
1.3 三角函数不等式的证明
例题3：当x∈(0,π/2)时，证明sinx/x > ∛(cosx)
解题思路：
- 将不等式变形为便于分析的形式
- 构造辅助函数并分析其性质
- 利用泰勒展开或导数分析
详细证明：
- 不等式等价于(cosx)^(-1/3)sinx - x > 0
- 构造F(x) = (cosx)^(-1/3)sinx - x
- 计算导数：
F'(x) = 1/3(cosx)^(-4/3) + 2/3(cosx)^(2/3) - 1
F''(x) = 4/9(cosx)^(-7/3)sin³x > 0 (x∈(0,π/2)) - 由F''(x)>0知F'(x)单调递增
- 又F'(0)=0，故F'(x)>0对x∈(0,π/2)成立
- 因此F(x)单调递增，结合F(0)=0得证
注意事项：
- 三角函数不等式常涉及函数的凹凸性
- 合理选择辅助函数可以简化证明过程
- 注意定义域的限制（这里x∈(0,π/2)保证cosx>0）
2. 微分方程与函数性质
2.1 微分方程与恒等性证明
例题4：已知f(x)在[a,b]上二阶可导，f(a)=f(b)=0，且f''(x)+cosf'(x)=e^f(x)，求证：f(x)≡0
证明方法：
- 反证法：假设f(x)不恒为零
- 考虑函数的极值点性质
- 利用微分方程导出矛盾
详细证明：
假设f(x)不恒为零，则存在最大值M>0或最小值m<0
情况1：若M>0，设f(x₁)=M
则在x₁处：f'(x₁)=0，f''(x₁)≤0
但由方程得f''(x₁)=e^M -1 >0，矛盾
情况2：若m<0，设f(x₂)=m
则在x₂处：f'(x₂)=0，f''(x₂)≥0
但由方程得f''(x₂)=e^m -1 <0，矛盾
因此f(x)≡0
关键点：
- 极值点的导数性质（f'(x₀)=0）
- 二阶导数的符号与极值的关系
- 微分方程在特殊点的取值分析
2.2 高阶导数中值定理
例题5：设f(x)在[1,3]上三阶可导，∫₁³f(x)dx=0，f'(2)=0，求证存在ξ∈(1,3)使f'''(ξ)=0
解题思路：
- 利用积分条件和微分条件构造辅助函数
- 应用泰勒展开建立关系式
- 使用罗尔定理得出结论
详细证明：
- 构造F(x)=∫₂ˣf(t)dt
- 在x=1和x=3处泰勒展开：
F(1)=-f(2)-1/6f''(ξ₁)
F(3)=f(2)+1/6f''(ξ₂) - 由∫₁³f(x)dx=F(1)+F(3)=0得f''(ξ₁)=f''(ξ₂)
- 对f''(x)在[ξ₁,ξ₂]上应用罗尔定理得证
技巧总结：
- 变上限积分是构造辅助函数的有效方法
- 泰勒展开可以建立函数值与导数之间的关系
- 多个条件的综合运用需要仔细分析
3. 函数零点与迭代序列
3.1 函数零点个数讨论
例题6：讨论f(x)=xe^(2x)-2x-cosx的零点个数
分析方法：
- 计算特殊点的函数值定位零点
- 分析导数的符号变化确定单调性
- 结合二阶导数分析函数的凹凸性
详细解答：
- 计算：
f(-1)>0，f(0)=-1<0，f(1)>0 ⇒ 至少两个零点 - 求导：
f'(x)=(2x+1)e^(2x)+sinx-2
f''(x)=(4+4x)e^(2x)+cosx>0 (x>-1) - 分析：
- x<-1时f'(x)<0，函数单调减，至多一个零点
- x>-1时f''(x)>0，f'(x)先减后增
- 结合f'(0)<0，f'(1)>0知f(x)先减后增
- 因此在x>0区域至多一个零点
- 结论：共两个零点
注意事项：
- 零点存在定理与单调性分析相结合
- 高阶导数可以帮助理解函数的整体形态
- 注意分段讨论函数的性质
3.2 迭代序列的收敛性
例题7：设f(x)在[a,b]上二阶可导，|f'(x)|≤1/2，f'(x₀)=0，f''(x₀)=c≠0，f(x₀)=x₀。定义x_{n+1}=f(x_n)，求：
- lim x_n
- lim (x_{n+1}-x₀)/(x_n-x₀)²
解题思路：
- 利用压缩映射原理证明收敛性
- 使用泰勒展开分析收敛速度
详细解答：
-
由中值定理：
|x_{n+1}-x₀|=|f(x_n)-f(x₀)|≤1/2|x_n-x₀|
递推得lim x_n=x₀ -
泰勒展开：
f(x_n)=x₀+0+1/2·c(x_n-x₀)²+o((x_n-x₀)²)
因此极限为c/2
深入理解：
- 压缩映射保证了迭代的收敛性
- 二阶导数决定了收敛的速度（二阶收敛）
- 泰勒展开的高阶项决定了极限的形式
4. 微分不等式与辅助函数构造
4.1 微分不等式与函数恒等性
例题8：设f(x)在[0,+∞)可导，f(0)=0，且|f'(x)|≤k|f(x)|，证明f(x)≡0
证明方法：
- 使用数学归纳法分段证明
- 在每个小区间应用中值定理
- 利用不等式导出矛盾
详细证明：
-
在[0,1/2k]上：
设x₀为|f(x)|最大值点
|f(x₀)|=|f'(ξ)|x₀≤k|f(ξ)|·1/2k≤1/2|f(x₀)|
故f(x₀)=0 -
归纳假设在[0,n/2k]上f(x)≡0
在[n/2k,(n+1)/2k]上类似证明
关键点：
- 归纳法的合理使用
- 区间长度的选择（1/2k保证系数1/2）
- 最大值点的巧妙运用
4.2 辅助函数的构造技巧
例题9：设f(x)在[-2,2]上二阶可导，|f(x)|≤1，且f²(0)+[f'(0)]²=4，证明存在ξ∈(-2,2)使f(ξ)+f''(ξ)=0
解题思路：
- 构造辅助函数φ(x)=f²(x)+[f'(x)]²
- 分析φ(x)的极值性质
- 利用费马定理得出结论
详细证明：
- 由中值定理得存在ξ₁∈(-2,0),ξ₂∈(0,2)使|f'(ξ₁)|≤1,|f'(ξ₂)|≤1
- 计算：
φ(ξ₁)≤2, φ(ξ₂)≤2, φ(0)=4
故φ(x)在(ξ₁,ξ₂)内取得最大值 - 在最大值点ξ处φ'(ξ)=0
即2f(ξ)f'(ξ)+2f'(ξ)f''(ξ)=0 - 由φ(ξ)≥4且|f(ξ)|≤1知f'(ξ)≠0
故f(ξ)+f''(ξ)=0
技巧总结：
- 辅助函数的构造需要结合结论形式
- 极值点的分析是证明的关键
- 注意排除f'(ξ)=0的情况
5. 学习建议与总结
通过以上例题的分析，我们可以总结出一些解决中值定理和微分不等式问题的通用方法：
-
构造辅助函数：这是解决微分等式和不等式问题的核心技巧。常见构造方法包括：
- 将结论中的表达式重新排列
- 引入积分形式的变换
- 使用已知函数（如指数函数）作为乘子
-
多阶导数分析：当一阶导数无法解决问题时，考虑：
- 计算高阶导数
- 分析导数的单调性和极值
- 使用泰勒展开进行局部近似
-
综合运用各种中值定理：
- 拉格朗日中值定理：建立函数值与导数之间的关系
- 柯西中值定理：处理两个函数之间的关系
- 泰勒公式：进行更高精度的近似
-
不等式处理技巧：
- 适当放大或缩小表达式
- 利用函数的单调性和极值
- 考虑引入中间点进行分析
在实际解题过程中，我建议同学们：
- 先仔细分析题目条件和结论形式
- 尝试将结论转化为更易处理的形式
- 考虑使用哪种定理或方法最合适
- 注意每一步推导的严密性
- 最后验证结果是否满足所有条件
记住，熟能生巧。通过大量练习，你会逐渐培养出对这类问题的直觉，能够快速识别适用的解题方法。张宇1000题中的这些例题都是精心设计的，建议同学们不仅要看懂解答，更要自己动手推导，理解每一步背后的数学原理。