我们之前已经提到过连续函数,但让我们重述一下我们所使用的初步定义。设 是一个在包含 的区间上有定义的函数。那么我们说,如果 从 仅作微小变化时, 的值相对于它在 处的值 也只产生微小变化,则 在 处连续。更简短地说,如果 接近 ,则 接近 。注意这个定义是不精确的,因为小和接近这些词没有确切的含义。对某个人来说, 可能已经足够接近,而另一个人可能认为一个数要小于 才算小。我们最终将给出的连续性的精确定义将同时满足这两个人以及所有其他人。
现在设 对所有满足 的 有定义。该区间的一点 被称为 在该区间上的最大值点,如果对所有满足 的 都有 。 被称为 在该区间上的最小值点,如果对所有满足 的 都有 。并非所有函数都必须有最大值或最小值;例如考虑函数
它的图像为
其中斜线没有右端点。这个函数在区间 上没有最大值。显然 1 不可能是最大值,因为 。但如果 是最大值,注意
因此
所以 不可能是最大值。然而,请注意这个函数在 1 处不连续。
在本课程的后面,我们将证明以下定理:
设 在区间 的每一点都连续。那么至少存在一个 ,使得 是 在 上的最大值点。
注意由此可推出 在 上也有最小值。因为 的最小值就是 的最大值。现在设 在 处取得最大值,即 不是端点。那么考虑差商
对所有的 ,
如果 ,
如果 ,
如果 存在,当 时,这些表达式趋近于共同的极限 。但如果 ,第一个表达式( 的情况)永远不可能比 与 0 的距离更接近 。如果 ,第二个表达式()也不可能趋近于它。因此我们必须有 。于是我们的结论是:
设 在 上有定义,设 是一点,满足 且 是 在 上的最大值点。那么如果 存在,我们必须有 。
(我们同样可以用“最小值”代替“最大值”。)
设 在区间 上连续。设 对所有满足 的 可导。如果 ,则存在一个 ,使得 。
对于看起来光滑的函数,这似乎是显而易见的,但我们仍然必须证明它。由最大值存在性定理以及我们关于最大值处导数的讨论,可以很快地推出它。
罗尔定理的证明。
由于 连续, 在 上有最大值和最小值。现在,要么 在 上为常数,要么对某个 有 ,要么对某个 有 。在第一种情况下,我们已经看到只要 就有 ,我们可以取 为任意满足 的点。在第二种情况下, 的任何最大值点 都满足 ,所以 存在。但我们已经看到此时 ,于是可以取 。如果第二种情况不成立,且 不是常数,那么 的任何最小值点 都满足 ,且和前面一样有 。在这种情况下我们可以取 。于是定理得证。
接下来我们证明罗尔定理的一个推论,称为中值定理,它也许是我们迄今为止得到的最有用的结果。
设 在 上连续,在 上可导。那么存在一个 ,使得
我们希望构造一个新函数 ,它满足罗尔定理的条件,并且使得罗尔定理关于 的结论能推出我们所期望的结果。因此我们尝试
那么 ;由于 连续, 在 上连续,并且
所以 在 上可导。由罗尔定理,存在一个 ,使得
即
这正是我们所期望的。于是中值定理得证。
从几何上看,中值定理意味着:如果我们对满足条件的函数图像作一条割线,那么在割线与图像的两个交点之间存在一点,使得曲线在该点处的切线平行于这条割线。
中值定理的几何意义
随着课程的进行,我们将对中值定理的用途作更多讨论;稍后我们也将更详细地讨论最大值和最小值的问题。现在让我们概述一下,对于在 上连续且在 上可导的函数 ,我们可以用来确定其最大值和最小值的步骤。我们知道,如果 在 (满足 )处取得最大值(或最小值),则 。最大值、最小值或两者也都有可能出现在端点 和 处。因此,设 是区间内所有满足 的点,并考虑这些数
对应于其中最大数的 值是一个最大值点;对应于其中最小数的 值是一个最小值点。因此,可能存在满足 的点 ,它们既不是 的最大值点也不是最小值点。
习题
习题 1. 为下列函数在相应区间上找出一个最大值和一个最小值:
a)
b)
c)