5.1.5 Applications of Mean Value Theorem

中值定理的应用，包括证明函数恒等式、不等式、函数单调性以及导数零点存在性等问题

定义

中值定理的应用是指利用罗尔定理（Rolle's Theorem）和拉格朗日中值定理（Lagrange Mean Value Theorem）来解决实际问题的方法。这些应用主要包括：

1. 罗尔定理（Rolle's Theorem）：如果函数 \(f(x)\) 在闭区间 \([a,b]\) 上连续，在开区间 \((a,b)\) 上可导，且 \(f(a) = f(b)\)，则至少存在一点 \(c \in (a,b)\) 使得 \(f'(c) = 0\)。

2. 拉格朗日中值定理（Lagrange MVT）：如果函数 \(f(x)\) 在闭区间 \([a,b]\) 上连续，在开区间 \((a,b)\) 上可导，则至少存在一点 \(c \in (a,b)\) 使得 \(f'(c) = \frac{f(b)-f(a)}{b-a}\)。

3. 应用领域： - 证明函数恒等式：通过构造辅助函数，利用中值定理证明两个函数相等 - 证明不等式：利用导数的单调性和中值定理建立函数值之间的大小关系 - 判断函数单调性：通过导数的符号判断原函数的增减性 - 证明导数零点存在性：利用罗尔定理证明导数在某区间内至少有一个零点 - 估计函数值：利用中值定理估计函数在某点的近似值

核心公式

• \(f'(c) = 0 \text{ 其中 } c \in (a,b) \text{ （罗尔定理）}\)
• \(f'(c) = \frac{f(b)-f(a)}{b-a} \text{ 其中 } c \in (a,b) \text{ （拉格朗日中值定理）}\)
• \(f(b) - f(a) = f'(c)(b-a) \text{ 其中 } c \in (a,b)\)
• \(|f(b) - f(a)| \leq M|b-a| \text{ 其中 } M = \max_{x \in [a,b]} |f'(x)|\)
• \(f'(x) > 0 \text{ 在 } (a,b) \text{ 上恒成立} \Rightarrow f(x) \text{ 在 } [a,b] \text{ 上单调递增}\)

易错点

• ⚠️ 混淆罗尔定理和拉格朗日中值定理的条件：罗尔定理要求 \(f(a)=f(b)\)，而拉格朗日中值定理不需要此条件。学生常常忘记检查这个关键条件。
• ⚠️ 在应用中值定理时忽视定理的前提条件：函数必须在闭区间上连续，在开区间上可导。如果函数在某点不连续或不可导，定理不适用。
• ⚠️ 错误地理解中值定理的结论：中值定理只保证至少存在一个点 \(c\) 满足条件，不能确定 \(c\) 的具体位置。学生有时会试图求出 \(c\) 的确切值，这是不必要的。
• ⚠️ 在证明不等式时，未能正确构造辅助函数或选择合适的区间：应用中值定理证明不等式需要巧妙地设计辅助函数和选择合适的区间端点，这是难点所在。