0301微分中值定理-微分中值定理与导数的应用

1 罗尔定理

费马引理 设函数$f(x)在点x_0$的某邻域$U(x_0)$内有定义，并且在点$x_0$处可导，如果对任意的$x\in U(x_0),$有

$f(x)\le f(x_0)(或f(x)\ge f(x_0))$

那么$f^{{}^{\prime }}(x_0)=0$

$$\begin{gathered} 以f(x)\le f(x_0)为例 \\ 证明：设x\in U(x_0),f(x)\le f(x_0) \\ 则x_0+△x\in U(x_0),有f(x_0+△x)\le f(x_0) \\ 从而当△x>0时，\frac{f(x_0+△x)-f(x_0)}{△x}\le 0 \\ 当△x<0时，\frac{f(x_0+△x)-f(x_0)}{△x}\ge 0 \\ 又因为f(x)在点x_0处可导，即f^{{}^{\prime }}(x_0)存在 \\ {f}^{{}^{\prime }}(x_0)=f_{+}^{{}^{\prime }}(x_0)=\underset{△x\to 0^{+}}{\lim }\frac{f(x_0+△x)-f(x_0)}{△x}\le 0 \\ {f}^{{}^{\prime }}(x_0)=f_{-}^{{}^{\prime }}(x_0)=\underset{△x\to 0^{-}}{\lim }\frac{f(x_0+△x)-f(x_0)}{△x}\ge 0 \\ 所以f^{{}^{\prime }}(x_0)=0 \end{gathered}$$

通常称导数等于零的点为函数的驻点（或稳定点，临界点）

罗尔定理 如果函数$f(x)$满足

(1)在闭区间$[a,b]$上连续

(2)在开区间$(a,b)$上可导

(3)在区间端点处的函数值相等，即$f(a)=f(b)$,

那么在$(a,b)$内至少存在一点$\xi (a<\xi <b)$，使得$f^{{}^{\prime }}(\xi )=0$

$$\begin{gathered} 证明：因为函数在[a,b]上连续，根据闭区间上连续函数的最大值最小值定理 \\ f(x)在闭区间[a,b]上必取得最大值M和最小值m，有两种情况 \\ (1)M=m，即f(x)在[a,b]为常数M，任取\xi \in [a,b],有f^{{}^{\prime }}(\xi )=0 \\ (2)M>m,因为f(a)=f(b),所以M和m这两个数中至少有一个不等于端点处的值，这里假设M\ne f(a) \\ 则必定在开区间(a,b)内存在一点\xi ,使得f(\xi )=M \\ 任取x\in (a,b),则f(x)\le f(\xi ),根据费马引理得f^{{}^{\prime }}(\xi )=0 \end{gathered}$$

例1 证明$4a{x}^3+3b{x}^2+2cx=a+b+c在(0,1)$内至少有一个根。
$$\begin{gathered} 解：等号右侧左移得到以函数式，则 \\ 令f(x)=4a{x}^3+3b{x}^2+2cx-(a+b+c)要证明f(x)在(0,1)内至少有一个根 \\ 即证明f(x)=0,x\in (0,1),根据上面学习的罗尔定理，我们来构建导函数为f(x)的原函数 \\ F(x)=a{x}^4+b{x}^3+c{x}^2-(a+b+c)x+C,则 \\ F(0)=C，F(1)=C,很明显F(x)在[0,1]上连续，在(0,1)上可导且F(0)=F(1) \\ 根据罗尔定理有\exists \xi \in (0,1)使得f^{{}^{\prime }}(\xi )=0即 \\ 4a{x}^3+3b{x}^2+2cx-(a+b+c)=0即4a{x}^3+3b{x}^2+2cx=a+b+c \end{gathered}$$
例2 设$f(x)在[0,a]$上连续，在$(0,a)$内可导，且$f(a)=0$证明存在一点$\xi \in (0,a),使得f(\xi )=-\xi f^{{}^{\prime }}(\xi )$
$$\begin{gathered} 证明：要证明\xi \in (0,a),使得f(\xi )=-\xi f^{{}^{\prime }}(\xi )，即f(\xi )+\xi f^{{}^{\prime }}(\xi )=0 \\ 令g(x)=f(x)+x{f}^{{}^{\prime }}(x),x\in (0,a), \\ 构建g(x)的原函数G(x)=xf(x)+C,C为常数 \\ 则G(x)在[0,a]上连续，在(0,a)上可导且G(0)=C=G(a)=C, \\ 根据罗尔定理，有\exists \xi \in (0,a)使得G^{{}^{\prime }}(\xi )=0 \\ 即f(\xi )+\xi f^{{}^{\prime }}(\xi )=0即f(\xi )=-\xi f^{{}^{\prime }}(\xi ) \end{gathered}$$

2 拉格朗日定理

拉格朗日定理 如果函数$f(x)$满足

(1)在闭区间$[a,b]$上连续

(2)在开区间$(a,b)$上可导

那么在$(a,b)$内至少存在一点$\xi (a<\xi <b)$，使等式

$f(b)-f(a)=f^{{}^{\prime }}(\xi )(b-a)或者f^{{}^{\prime }}(\xi )=\frac{f(b)-f(a)}{b-a}$

成立。

注：

• 另外一种形式：$f(b)-f(a)=f^{{}^{\prime }}[a+\theta (b-a)](b-a)(0<\theta <1)$
• 设$x,x+△x\in (a,b)$,以$(x,x+△x)$为端点区间$f(x)$显然也满足拉格朗日定理，导入公式得$f(x+\triangle x)-f(x)=f^{'}(x+\theta\triangle x)\triangle x(0\lt\theta\lt0 ) $ 等式左侧为函数的增量，替换为$△y,即△y=f^{{}^{\prime }}(x+\theta △x)△x$。上式给出了自变量取得优先增量时，函数增量的准确表达式。

定理 如果函数$f(x)$在区间$I$上连续，$I$内可导且导数恒为零，那么$f(x)$在区间$I$上是一个常数。

例3 证明$\arcsin x+\arccos x=\frac{\pi }{2}(-1\le x\le 1)$
$$\begin{gathered} 证明：(\arcsin x+\arccos x{)}^{{}^{\prime }}=\frac{1}{\sqrt{1-x^2}}-\frac{1}{\sqrt{1-x^2}}=0 \\ 所以\arcsin x+\arccos x在[-1,1]为常数，令x=1，得 \\ \arcsin x+\arccos x=\frac{\pi }{2} \end{gathered}$$
例4 证明当$x>0$时，$\frac{x}{1+x}<\ln (1+x)<x$
$$\begin{gathered} 证明：令f(x)=\ln (1+x),x>0 \\ 在区间(0,x)内，f(x)满足拉格朗日定理，所以 \\ f(x)-f(0)=f^{{}^{\prime }}(\xi )\cdot x,f^{{}^{\prime }}(x)=\frac{1}{1+x} \\ f(x)=\frac{x}{1+\xi }(0<\xi <x) \\ 因为0<\xi <x，所以\frac{x}{1+x}<\frac{x}{1+\xi }<x \\ 即\frac{x}{1+x}<\ln (1+x)<x \end{gathered}$$

3 柯西中值定理

柯西中值定理 如果函数$f(x)及F(x)$满足

(1)在闭区间$[a,b]$上连续

(2)在开区间$(a,b)$上可导

(3)对于任一$x\in (a,b),F^{{}^{\prime }}(x)\ne 0$

那么$(a,b)$内至少有一点$\xi$，使等式

$\frac{f(b)-f(a)}{F(b)-F(a)}=\frac{f^{{}^{\prime }}(\xi )}{F^{{}^{\prime }}(\xi )}$

成立。

例5 设$0<a<b,f(x)在[a,b]$上连续，在$(a,b)$内可导，证明$\exists \xi \in (a,b)$,使得$f(b)-f(a)=\xi f^{{}^{\prime }}(\xi )\ln \frac{b}{a}$
$$\begin{gathered} 证明，令F(x)=\ln x,当x\in [a,b]时，f(x)及F(x)满足柯西中值定理条件，所以 \\ \exists \xi \in (a,b)使得\frac{f(b)-f(a)}{F(b)-F(a)}=\frac{f^{{}^{\prime }}(\xi )}{F^{{}^{\prime }}(\xi )} \\ 因为(\ln x{)}^{{}^{\prime }}=\frac{1}{x} \\ \frac{f(b)-f(a)}{\ln b-\ln a}=\frac{f^{{}^{\prime }}(\xi )}{F^{{}^{\prime }}(\xi )}=\xi f^{{}^{\prime }}(\xi ) \\ 化简得f(b)-f(a)=\xi f^{{}^{\prime }}(\xi )\ln \frac{b}{a} \end{gathered}$$

5后记

❓QQ:806797785

⭐️文档笔记地址：https://gitee.com/gaogzhen/math

参考：

[1]同济大学数学系.高等数学 第七版 上册[M].北京:高等教育出版社,2014.7.P110~p120.

[2]【梨米特】同济七版《高等数学》全程教学视频｜纯干货知识点解析，应该是全网最细｜微积分 | 高数[CP/OL].2020-04-16.p17.