4.4
中值定理
学习目标
- 4.4.1
解释罗尔定理的含义。
- 4.4.2
描述中值定理的重要性。
- 4.4.3
阐述中值定理的三个重要推论。
中值定理是微积分中最重要的定理之一。本节末尾将讨论它的若干重要推论。首先从中值定理的一个特例——罗尔定理——开始。
罗尔定理
直观地说,罗尔定理指出:如果一个可微函数 在某个区间两端点处的函数值相等,则该区间内必存在一个内点 使得 。图 4.21 说明了这一定理。
定理
4.4
罗尔定理
设 是在闭区间 上连续且在开区间 上可微的函数,使得 。则至少存在一个 使得 。
证明
设 。我们考虑三种情况:
- 对所有 ,。
- 存在 使得 。
- 存在 使得 。
情况1:如果对所有 ,,那么对所有 ,。
情况2:由于 是在闭有界区间 上的连续函数,根据最值定理,它存在一个绝对最大值。此外,由于存在一个点 使得 ,因此绝对最大值大于 。所以,绝对最大值不会发生在任何一个端点处。因此,绝对最大值必发生在内点 处。因为 在内点 处有最大值,且 在 处可微,根据费马定理,。
情况3:存在一个点 使得 的情况与情况2类似,只是将最大值替换为最小值。
□
需要强调的是,罗尔定理中函数 的可微性条件不可或缺。即使 仅在一个点处不可微,定理的结论也可能不成立。例如,函数 在 上连续,且 ,但对任何 ,,如下图所示。
下面我们考虑满足罗尔定理条件的函数,并具体求出使得 的点 。
例
4.14
应用罗尔定理
对于下列每个函数,验证该函数满足罗尔定理中所述的条件,并找出给定区间内所有使得 的 值。
- 在 上
- 在 上
解
- 由于 是一个多项式,它处处连续且可微。此外,。所以, 满足罗尔定理的条件。故,至少存在一个 值使得 。由于 ,可知 意味着 ,如下图所示。
- 如a部分所述, 是一个多项式,因此处处连续且可微。此外,。即 满足罗尔定理的条件。求导得 。令 解得 。这两个点都在区间 内,均满足罗尔定理的结论,如下图所示。
检验点
4.14
验证在区间 上定义的函数 满足罗尔定理的条件。找出罗尔定理所保证的所有点 。
中值定理及其意义
罗尔定理是中值定理的特殊情况。罗尔定理考虑的是在闭区间 上定义的,且 的可微函数 。中值定理将罗尔定理推广到端点处函数值不必相等的情形。因此,中值定理可以看作罗尔定理的"倾斜版本"(图 4.25)。中值定理指出:若 在闭区间 上连续,并在开区间 上可微,则存在某点 ,使得 在 处的切线平行于连接 和 的割线。
定理
4.5
中值定理
设 在闭区间 上连续,并在开区间 上可微。则至少存在一点 使得
证明
证明思路是构造一个满足罗尔定理条件的辅助函数,从而将本定理归结为罗尔定理。考虑连接 和 的直线。由于该直线的斜率为
且该直线经过点 ,因此该直线的方程可写为
设 为曲线上的点 与割线上对应点 之间的垂直距离,即
由于 的图形在 和 处与割线相交,故 。由于 是在 上的可微函数, 也是在 上的可微函数。此外,由于 在 上连续, 也在 上连续。因此, 满足罗尔定理的条件。所以,存在一点 使得 。由于
可得
由于 ,可得
□
例
4.15
验证中值定理的适用性
对于区间 上的 ,证明 满足中值定理的假设,因此至少存在一个值 使得 等于连接 和 的直线的斜率。求出中值定理所保证的这些值 。
解
由于 在 上连续,并在 上可微,故 满足中值定理的条件。因此至少存在一个 使得 等于连接 和 的直线的斜率(图 4.27)。为求 的值,先计算导数: 。连接 和 的割线斜率为
需要求 使得 即求 使得
解此方程得 。此时切线斜率恰好等于连接端点的割线斜率。
中值定理的一个直观应用与速度有关。例如,假设我们在一条直路上以 45 英里/小时的平均速度行驶了 1 小时。设 和 分别表示汽车在 小时内的位置和速度。假设位置函数 可微,则由中值定理可知,存在某个时刻 ,使得汽车的瞬时速度恰好为
例
4.16
中值定理与速度
如果一块石头从 100 英尺的高度落下,从落下到落地的时间 秒内的位置由函数 给出。
- 确定石头落地需要多长时间。
- 求出石头从释放到落地期间的平均速度 。
- 求出中值定理所保证的时刻 ,此时石头的瞬时速度为 。
解
- 当石头落地时,其位置为 。解方程 ,得 。由于我们只考虑 ,因此石头将在落下 秒后落地。
- 平均速度由下式给出:
- 瞬时速度由位置函数的导数给出。因此,我们需要找到一个时刻 使得 。由于 在区间 上连续,并在区间 上可微,根据中值定理,保证存在一点 使得:
对位置函数 求导,我们发现 。故方程化为 。解此方程得 。因此,在石头落下 秒时,石头的瞬时速度恰好等于整个下落过程的平均速度,即 英尺/秒。
检验点
4.15
假设一个球从 200 英尺的高度落下。它在时刻 的位置是 。求出球的瞬时速度等于其平均速度的时刻 。
中值定理的推论
下面我们介绍中值定理的三个推论。这些结论意义重大,将在后续章节中频繁使用。
我们已经知道,任何常数函数的导数都为零。利用中值定理,可以证明其逆命题也成立。具体来说,如果对于区间 中的所有 ,都有 ,那么 在该区间上是常数。这个结果看似显而易见,但它蕴含着深刻的重要推论,我们将在后文加以讨论。
定理
4.6
推论 1:导数为零的函数
设 在区间 上可微。如果对于所有 ,都有 ,则 对于所有 都是常数。
证明
由于 在 上可微,因此 必须在 上连续。假设 在 上不是常数。那么存在 ,其中 和 。不妨设 。于是,
由于 是一个可微函数,根据中值定理,存在 使得
因此,存在 使得 ,这与对于所有 都有 的假设相矛盾。
□
从 推论 1:导数为零的函数可知,如果两个函数具有相同的导数,那么它们至多相差一个常数。
定理
4.7
推论 2:常数差定理
如果 和 在区间 上可微,并且对于所有 ,都有 ,那么 对于某个常数 成立。
证明
设 。那么,对于所有 ,都有 。根据推论 1,存在一个常数 使得对于所有 ,都有 。因此,对于所有 ,都有 。
□
这一结论的重要意义在于:对于给定的函数 ,如果存在一个函数 使得 ,那么所有导数等于 的函数必为 的形式,其中 为某个常数。我们将在本章后面进一步讨论这一结论。
中值定理的第三个推论涉及函数的单调性。回顾递增和递减的定义:如果当 时 ,则函数 在 上递增;而如果当 时 ,则 在 上递减。利用中值定理,我们可以证明,如果函数的导数为正,则函数递增;如果导数为负,则函数递减(图 4.29)。下一节将利用这一结论,说明如何借助导数来确定函数的局部极值以及图形的形状。
定理
4.8
推论 3:递增和递减函数
设 在闭区间 上连续,并在开区间 上可微。
- 如果对于所有 ,都有 ,则 在 上是递增函数。
- 如果对于所有 ,都有 ,则 在 上是递减函数。
证明
下面证明 i.,ii. 的证明类似。假设 在区间 上连续且可微,并且对于所有 ,都有 。用反证法。假设 在 上不是递增函数。那么在 中存在 和 ,使得 ,但 。由于 是在 上的可微函数,中值定理保证存在某个值 使得
现在 ,所以 。因为 ,所以 。所以, 和 的商为负。从而
然而,对于所有 (特别是在 处),都有 ,矛盾。 在 上不递增的假设不成立,故 必在 上递增。
□
第4.4节练习
151.
如果一个函数有一个不连续点,是否仍然可能存在?画出这样一个例子或证明为什么不可能。
对于以下练习,确定中值定理适用于哪些区间(如果有的话)。请说明理由。
152.
156.
对于以下练习,在计算器上绘制函数图形,并绘制连接端点的割线。估计满足的点的数量。
157.
[T] 在区间上
158.
[T] 在区间上
159.
[T] 在区间上
160.
[T] 在区间上
对于以下练习,找出中值定理预测的所有满足的点。
161.
162.
163.
164.
165.
166.
对于以下练习,证明不存在使得。解释为什么中值定理不适用于区间。
167.
168.
169.
170.
(提示:这称为取整函数,其定义为是小于或等于的最大整数。)
对于以下练习,确定中值定理是否适用于给定区间上的函数。请说明理由。
172.
在区间上
173.
在区间上
174.
在区间上
175.
在区间上
176.
在区间上
177.
在区间上
178.
在区间上
179.
在区间上
180.
在区间上
181.
在区间上
对于以下练习,考虑方程的根。
182.
证明方程恰好有一个实根。它是多少?
183.
找出方程恰好有一个根(重根)的条件。
184.
找出有一个根的条件。是否可能有一个以上的根?
对于以下练习,使用计算器绘制函数在区间上的图形,并绘制从到的割线。使用计算器估计中值定理所保证的所有值。然后,如果可能,求出的精确值,或者写出最终方程并使用计算器估计到四位小数。
185.
[T] 在区间上
186.
[T] 在区间上
187.
[T] 在区间上
188.
[T] 在区间上
189.
[T] 在区间上
190.
上午10:17,你以55英里/小时的速度经过一辆停在高速公路上的警车。上午10:53,你以55英里/小时的速度经过第二辆警车,它距离第一辆警车39英里。如果限速是60英里/小时,警察能以超速为由给你开罚单吗?
191.
两辆车同时从一个红绿灯开到下一个红绿灯,并且同时到达。是否存在某个时刻它们的速度相同?证明或反驳。
192.
证明和具有相同的导数。关于你能说什么?
193.
证明和具有相同的导数。关于你能说什么?