微积分-微分应用2（平均值定理）
微积分-微分应用2（平均值定理）
要得出平均值定理，我们首先需要以下结果。
罗尔定理
设函数f满足以下三个假设：
- f在闭区间[a, b]上连续。
- f在开区间(a, b)上可导。
- f(a) = f(b)
则在开区间(a, b)内存在一个数c，使得f'(c) = 0。
在给出证明之前，让我们先看一些满足这三个假设的典型函数的图形。图显示了四个此类函数的图形。在每种情况下，图上似乎至少有一个点((c, f©))，该点处的切线是水平的，因此(f’© = 0)。因此，罗尔定理是合理的。
例子 1让我们将罗尔定理应用于一个运动物体的位置函数s = f(t)。如果物体在两个不同的时刻t = a和t = b处于相同的位置，则f(a) = f(b)。罗尔定理表明，在a和b之间的某个时刻t = c，存在f'(c) = 0；也就是说，速度为0。（当一个球被直接向上抛时，你可以看到这一点是成立的。）
例子 2证明方程(x^3 + x - 1 = 0)恰好有一个实数根。
解答
首先我们使用介值定理（Intermediate Value Theorem）来证明存在一个根。令f(x) = x^3 + x - 1。那么f(0) = -1 < 0和f(1) = 1 > 0。因为f是一个多项式函数，它在整个区间上是连续的，因此根据介值定理，在[0, 1]区间内存在一个数c，使得f(c) = 0。因此，给定的方程存在一个根。
为了证明该方程没有其他实数根，我们使用罗尔定理（Rolle’s Theorem）并通过反证法来进行论证。假设它有两个根a和b。那么f(a) = 0和f(b) = 0，并且由于f是一个多项式，它在(a, b)上可导并在[a, b]上连续。因此，根据罗尔定理，在(a, b)内存在一个数c，使得f'(c) = 0。
但是，对于微分方程
f'(x) = 3x^2 + 1
因为x^2 ≥ 0，所以f'(x)永远不可能等于0。这导致了矛盾。因此，方程不能有两个实数根。
我们主要使用罗尔定理来证明以下重要定理，这一定理最初是由另一位法国数学家Joseph-Louis Lagrange提出的。
平均值定理
设f是满足以下假设的函数：
- f在闭区间[a, b]上连续。
- f在开区间(a, b)上可导。
那么在(a, b)中存在一个数c，使得
f'(c) = \frac{f(b) - f(a)}{b - a}
或者等价地，
f(b) - f(a) = f'(c)(b - a)
在证明这个定理之前，我们可以通过几何解释来看它是合理的（如图所示）。
证明
我们将罗尔定理应用于一个新函数h，该函数定义为f和割线AB所对应的函数之差。使用直线的点斜式方程，我们可以看到直线AB的方程可以写成
y - f(a) = \frac{f(b) - f(a)}{b - a} (x - a)
或者写成
y = f(a) + \frac{f(b) - f(a)}{b - a} (x - a)
因此，如图所示，
h(x) = f(x) - f(a) - \frac{f(b) - f(a)}{b - a} (x - a)
首先我们必须验证h满足罗尔定理的三个假设。
- 函数h在[a, b]上连续，因为它是f和一个一阶多项式的和，两者都是连续的。
- 函数h在(a, b)上可导，因为f和这个一阶多项式都是可导的。实际上，我们可以直接计算h'(x)：
h'(x) = f'(x) - \frac{f(b) - f(a)}{b - a}
（注意f(a)和\frac{f(b) - f(a)}{b - a}是常数。）
h(a) = f(a) - f(a) - \frac{f(b) - f(a)}{b - a} (a - a) = 0
h(b) = f(b) - f(a) - \frac{f(b) - f(a)}{b - a} (b - a)
= f(b) - f(a) - [f(b) - f(a)] = 0
因此h(a) = h(b)。
因为h满足罗尔定理的假设，该定理说明在(a, b)中存在一个数c，使得h'(c) = 0。因此，
0 = h'(c) = f'(c) - \frac{f(b) - f(a)}{b - a}
于是
f'(c) = \frac{f(b) - f(a)}{b - a}
例子 3为了用一个具体的函数说明平均值定理，让我们考虑f(x) = x^3 - x，其中a = 0，b = 2。由于f是一个多项式，它在所有x上都是连续和可导的，因此它在[0, 2]上肯定是连续的，并且在(0, 2)上是可导的。因此，根据平均值定理，在(0, 2)中存在一个数c，使得
f(2) - f(0) = f'(c)(2 - 0)
现在f(2) = 6，f(0) = 0，并且f'(x) = 3x^2 - 1，因此这个方程变成
6 = (3c^2 - 1)2 = 6c^2 - 2
这给出了c^2 = \frac{4}{3}，即c = \pm \frac{2}{\sqrt{3}}。但c必须在(0, 2)中，因此c = \frac{2}{\sqrt{3}}。图中展示了这个计算：在这个c值处的切线平行于割线OB。
例子 4如果一个物体沿直线运动，其位置函数为s = f(t)，那么在t = a和t = b之间的平均速度为
\frac{f(b) - f(a)}{b - a}
并且在t = c时的速度为f'(c)。因此，平均值定理告诉我们，在a和b之间的某个时刻t = c，瞬时速度f'(c)等于该平均速度。例如，如果一辆车在2小时内行驶了180公里，那么车速计必须至少有一次显示90公里/小时。
一般来说，平均值定理可以解释为在某个时刻，瞬时变化率等于区间上的平均变化率。
平均值定理的主要意义在于它使我们能够通过导数的信息来获得函数的信息。下一个例子提供了这个原理的一个实例。
例子 5假设f(0) = -3且f'(x) ≤ 5对于所有x都成立。那么f(2)最大可能是多少？
解答
我们知道f在所有地方都是可导的（因此也是连续的）。特别地，我们可以在区间[0, 2]上应用平均值定理。存在一个数c，使得
f(2) - f(0) = f'(c)(2 - 0)
所以
f(2) = f(0) + 2f'(c) = -3 + 2f'(c)
我们已知f'(x) ≤ 5对于所有x都成立，所以特别地我们知道f'(c) ≤ 5。将这个不等式的两边乘以2，我们得到2f'(c) ≤ 10，所以
f(2) = -3 + 2f'(c) ≤ -3 + 10 = 7
因此f(2)最大可能的值是7。
定理
如果f'(x) = 0对所有在区间(a, b)内的x都成立，那么f在(a, b)上是常数。
证明设x1和x2是(a, b)中的任意两个数，且x1 < x2。由于f在(a, b)上可导，因此它在(x1, x2)上也必定可导，并且在[x1, x2]上连续。应用均值定理于f在区间[x1, x2]上，我们可以得到一个数c满足x1 < c < x2，且
f(x2) - f(x1) = f'(c)(x2 - x1)
由于f'(x) = 0对所有x成立，我们有f'(c) = 0，因此公式变为
f(x2) - f(x1) = 0 或 f(x2) = f(x1)
因此，f在(a, b)中的任意两个数x1和x2上具有相同的值。这意味着f在(a, b)上是常数。
推论
如果f'(x) = g'(x)对在区间(a, b)内的所有x成立，那么f - g在(a, b)上是常数；即，f(x) = g(x) + c，其中c是一个常数。
证明
令F(x) = f(x) - g(x)。则
F'(x) = f'(x) - g'(x) = 0
对在(a, b)内的所有x成立。因此，根据定理，F是常数；即，f - g是常数。