平均值定理
的中值定理(MVT),又称拉格朗日的平均值定理(LMVT),提供了一个相当直观的表述,将函数的变化与其导数的行为联系起来的正式框架。定理说明了连续可微函数的导数必须达到函数的平均变化率(在给定的区间内)。例如,如果一辆汽车在2小时内行驶了100英里,那么它在某个时间点的准确速度一定是每小时50英里。
平均值定理
假设一个函数 是
- 闭区间上连续的 和
- 开区间上可微的
然后,有一个数字 这样 和
虽然听起来很简单,但中值定理实际上是证明<一个人力资源ef="//www.parkandroid.com/wiki/fundamental-theorem-of-calculus/" class="wiki_link" title="微积分的基本定理" target="_blank">微积分的基本定理,并且本身基于真实数字的属性。有一个略有的泛化,称为Cauchy的平均值定理;对于更高衍生物的概括,见<一个人力资源ef="//www.parkandroid.com/wiki/taylors-theorem-with-lagrange-remainder/" class="wiki_link" title="泰勒的定理" target="_blank">泰勒的定理.
解释
在检查一个例子或两者时,声明似乎合理。以下, 是间隔中切线的斜率 , 和 连接两个端点的割线的斜率是多少 和 .
请注意,平均值定理不会限制 只有一个值,它也不告诉我们在哪里 是(不在区间内)。
还要注意 不需要在端点处是可微的。两个例子足以说明这一点: 在 和 在 .
证明
中值定理的最好理解是首先研究一种被称为<一个人力资源ef="//www.parkandroid.com/wiki/rolles-theorem/" class="wiki_link" title="罗勒的定理" target="_blank">罗勒的定理.
罗尔定理
假设一个函数 上是连续的 ,可微的 ,这 .然后,有一个数字 这样 和 .
换句话说,如果函数在两个点处具有相同的值,则它必须在这些点之间的某个位置“级别”。通过考虑在第一点之后函数是否立即增加或减少,如果函数要返回相同的值,则清楚地明确表示任何选项可以无限期地继续;因此,在下一点发生之前必须存在局部最大值或最小值。
通过简单地歪斜函数的图表,Rolle的定理迅速进入平均值定理。
让一切都像上面的定理陈述一样。
定义一个新功能 随着差异 和通过点的线 和 .这条线有方程
因此,函数 有等式
下一个,<一个人力资源ef="//www.parkandroid.com/wiki/rolles-theorem/" class="wiki_link" title="罗勒的定理" target="_blank">罗勒的定理是有用的。这个函数 满足定理的条件:
- 这个函数 上是连续的 因为这是总和 和一次多项式,它们都是连续的。
函数是可微的 因为两者 并且第一度多项式是可微分的。事实上,我们可以直接计算它:
通过Rolle的定理,存在一个值 在 这样 .因此,
例子
确定所有数字 满足平均值定理的结论 的时间间隔 .
观察到 是一个在任何区间上连续可微的多项式,所以中值定理适用。事实上,我们可以计算出来 ,平均变化率为
我们想要找到价值 这样
请注意, 中值定理是否保证了另一个端点 在内部,我们确实有 .
汽车从休息区出发,行驶一段距离 在 .使用平均值定理来表明汽车达到速度 在间隔期间的某个点。
中值定理说,汽车的平均速度(切线的斜率)等于区间内某一点的瞬时速度(切线的斜率)。
平均速度是
从中值定理,我们可以找到 在这样的间隔中
假设 是所有的可差异功能 .如果 对所有 和 ,最大值是多少
自从 在所有区间上都是可微的,我们可以选择任意两点。根据中值定理,我们得到
所以可能的最大值 是 .
考虑到 是一个任意二次多项式:
证明这一点 其存在的平均值定理保证是间隔的中点 .
根据中值定理,我们得到
是否存在函数 这样 , 和 对所有
如果存在这样的功能,则从平均值定理中存在一个数字 这样 和
但这是不可能的,因为假设 .因此,这种功能是不存在的。
积分的中值定理
平均值定理的名称可能需要一些解释。对于一个功能 在一个间隔 ,不一定是连续的,可以定义它平均值或者通过公式的“平均”
当然提供了(riemann)积分的存在。原因很简单:积分给出曲线下的区域 并且除以间隔的长度将产生“平均”函数的高度 和 .在图片中,我们必须有曲线的部分 超越平均值,部分下面。如果 是连续的,那么它必须在某个点交叉平均值。这是“原始”平均值定理。
积分的中值定理
如果 上是连续的 ,那么存在一个点 之间 和 这样
这与(实际的)中值定理有什么关系,除了不确定性的表象之外 ?好吧,如果 是一个反对的 ),微积分基本定理(牛顿-莱布尼茨公式)使方程左边等于 ,所以我们有
这正是平均值定理,但是对于 .
然而,这并不算中值定理的真正证明。首先,微积分基本定理的证明实际上依赖于中值定理。其次,在这里 确实是连续的 和微弱的 ,但其导数进一步要求是连续的,这样黎曼积分才能存在。我们可以构造可微的函数(虽然有些特别),但它的导数在某一点上不是连续的,在某种程度上使它不能(黎曼)可积。
其他应用程序
我们也可以用中值定理来证明某些不等式。
使用均值定理来证明这一点 为
假设函数是 .请注意, 只是我们将要使用的哑变量吗 在我们的选择区间。现在,鉴于 在间隔中定义,连续,和可差 ,通过中值定理,我们可以看到
通过观察,我们知道 所以它如此 .因此, .
这告诉我们 为