跳转至内容

The Wikibooks community is developing a policy on the use of generative AI. Please review the draft policy and provide feedback on its talk page.

微积分/一些重要定理

来自Wikibooks,开放世界的开放书籍
← 指数函数和对数函数的导数 微积分 微分/微分的初步/练习 →
一些重要定理

本节涵盖了微分学中三个基本重要的定理:极值定理、罗尔定理和中值定理。它还讨论了可导性和连续性之间的关系。

极值定理

[编辑 | 编辑源代码]

极值的分类

[编辑 | 编辑源代码]

我们从一些定义开始。

全局最大值

函数在闭区间上的全局最大值(也称为绝对最大值)是某个值,使得对于所有,都有

全局最小值

函数在闭区间上的全局最小值(也称为绝对最小值)是某个值,使得对于所有,都有

最大值和最小值统称为极值

极值定理

[编辑 | 编辑源代码]
极值定理

如果是在闭区间上连续的函数,那么上既有全局最小值,也有全局最大值。假设都是有限的。

极值定理是实分析中的一个基本结果,其证明超出了本文的范围。但是,该定理的正确性使我们能够讨论闭区间上连续函数的最大值和最小值,而无需考虑它们是否存在。当处理不满足定理前提的函数时,我们需要考虑这些问题。例如,无界函数根本没有任何极值。如果被限制在半闭区间上,则处具有最小值0,但它没有最大值,因为对于任何给定的值,总能找到更大的值,其中,例如通过形成,其中与1的平均值。函数处不连续。在围绕的任何闭区间内都没有任何极值,因为当从左侧接近0时函数是无界下降的,而当从右侧接近0时函数是无界上升的。(事实上,函数在处未定义。但是,如果将赋值为任意值,则该示例不受影响。)

极值定理是一个存在定理。它告诉我们,如果满足某些条件,则全局极值存在,但它没有告诉我们如何找到它们。我们将在标题为极值和拐点的部分中讨论如何确定连续函数的极值。

罗尔定理

[编辑 | 编辑源代码]
罗尔定理

如果函数

  • 在闭区间上连续
  • 在开区间上可导

那么至少存在一个数,使得

罗尔定理在证明均值定理中非常重要。直观地说,它表示如果有一个函数在区间内处处连续,并且该区间的边界点处的函数值相同,并且如果该函数在区间内处处可导(除了可能在端点处),那么该函数在区间内部至少存在一个地方斜率为零。

罗尔定理的证明

[编辑 | 编辑源代码]

如果上是常数,则对于每个,因此定理成立。因此,在接下来的讨论中,我们假设上不是常数。

由于满足极值定理的条件,必须在上取得其最大值和最小值。由于上不是常数,端点不可能同时是最大值和最小值。因此,至少存在一个极值在内。我们可以假设,不失一般性,这个极值是一个最大值,因为如果它是一个最小值,我们可以考虑函数。令,其中为最大值。剩下的需要证明的是

根据导数的定义,。将代入,这等价于。注意,对于所有,因为上的最大值。

,因为分子非正,分母为负。

,因为分子非正,分母为正。

由于函数在处可导,因此左右极限必须相等,所以

练习

[编辑 | 编辑源代码]
1. 证明罗尔定理适用于函数的x截距之间。
1:问题希望我们使用截距作为我们区间的端点。
将表达式因式分解得到 是我们的两个端点。我们知道 是相同的,因此满足罗尔定理的第一部分()。

2:现在根据罗尔定理,我们知道在这两个点之间,某个点的斜率将为 0。在哪里?很简单:求导数。

因此,在 处,我们有一个斜率为 0 的点。我们知道(或 1.5)介于 0 和 3 之间。因此,罗尔定理对于这种情况是正确的(对于所有情况都是如此)。
1:问题希望我们使用截距作为我们区间的端点。
将表达式因式分解得到 是我们的两个端点。我们知道 是相同的,因此满足罗尔定理的第一部分()。

2:现在根据罗尔定理,我们知道在这两个点之间,某个点的斜率将为 0。在哪里?很简单:求导数。

因此,在 处,我们有一个斜率为 0 的点。我们知道(或 1.5)介于 0 和 3 之间。因此,罗尔定理对于这种情况是正确的(对于所有情况都是如此)。

均值定理

[编辑 | 编辑源代码]
均值定理

如果函数

  • 在闭区间上连续
  • 在开区间上可导

则存在至少一个 使得

均值定理是微积分中的一个重要定理。它基本上说,对于定义在区间上的可微函数,区间上存在某个点的瞬时斜率等于该区间的平均斜率。请注意,当 时,罗尔定理是均值定理的特例。

为了证明均值定理,我们将证明一个更一般的陈述,均值定理是其特例。该陈述是柯西均值定理,也称为扩展均值定理。

柯西均值定理

[编辑 | 编辑源代码]
柯西均值定理

如果

  • 在闭区间上连续
  • 在开区间上可导

则存在一个数 使得

如果 ,则这等价于

为了证明柯西中值定理,考虑函数

由于 上连续并在 上可微,因此 也是如此。

由于 (参见练习),罗尔定理告诉我们存在某个数 使得 。这意味着

这就是需要证明的。

练习

[编辑 | 编辑源代码]
2. 证明 ,其中 是在柯西中值定理证明中定义的函数。

3. 证明均值定理可由柯西均值定理推导得出。
。则 ,如果 ,则该值不为零。则
简化为 ,这就是均值定理。

。则 ,如果 ,则该值不为零。则
简化为 ,这就是均值定理。

4. 求满足函数在端点的区间上的平均值定理的
5. 求满足函数以及区间上的平均值定理的点。

解答

可导蕴含连续

[编辑 | 编辑源代码]

如果存在,则处连续。要看到这一点,请注意。但是

这意味着,这表明 处是连续的。

然而,反之则不成立。例如,取 在 0 处是连续的,因为 ,且 ,但它在 0 处不可导,因为 ,但

← 指数函数和对数函数的导数 微积分 微分/微分的初步/练习 →
一些重要定理
检索自“https://wikibooks.cn/w/index.php?title=Calculus/Some_Important_Theorems&oldid=4113051”
华夏公益教科书