中值定理

前言

对高等数学中值定理部分进行深化学习，欢迎大家一起学习，并提出宝贵意见~

一、中值定理的内容

费马引理
设函数$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$。

罗尔定理  如果函数$f(x)$满足
         (1)在闭区间$[a,b]$上连续;
         (2）在开区间$(a,b)$内可导；
         (3)在区间端点处的函数值相等，即$f(a)=f(b)$.
那么在$(a,b)$内至少有一点$\xi (a<\xi <b)$,使得$f^{\prime }(\xi )=0$。

拉格朗日中值定理  如果函数$f(x)$满足
         (1)在闭区间$[a,b]$上连续；
         (2)在开区间$(a,b)$内可导;
那么在$(a,b)$内至少有一点$\xi (a<\xi <b)$，使等式
$$f(b)-f(a)=f^{\prime }(\xi )(b-a)$$成立。

柯西中值定理   如果函数$f(x)$及$F(x)$满足
         (1)在闭区间$[a,b]$上连续;
         (2)在开区间$(a,b)$内可导；
         (3)对任一$x\in (a,b),F(x)\ne 0,$
那么在$(a,b)$内至少有一点$\xi$，使等式
$$\frac{f(b)-f(a)}{F(b)-F(a)}=\frac{f’(\xi )}{F^{\prime }(x)}$$成立。

泰勒中值定理   如果函数$f(x)$在含有某个开区间$(a,b)$内具有直到(n+1)阶的导数，则对任一$x\in (a,b)$，有
$$f(x)=f(x_0)+f^{\prime }(x_0)+\frac{f^{\prime \prime }(x_0)}{2!}(x-x_0{)}^2+...+\frac{f^n(x_0)}{n!}+R_n(x)$$其中，$R_n(x)=\frac{f^{n+1}(\xi )}{(n+1)!}(x-x_0{)}^{n+1}$，这里$\xi$是$x_0$与$x$之间的某个值.

定积分中值定理  如果函数$f(x)$在积分区间$[a,b]$上连续，则在$[a,b]$上至少存在一个点$\xi$，使得下式成立:
$${\int }_a^{b}f(x)\mathrm{d}x=f(\xi )(b-a)$$
二重积分中值定理 设函数$f(x,y)$在闭区域$D$上连续，$\sigma$是$D$的面积，则在$D$上至少存在一点$(\xi ,\eta )$,使得
$${\iint }_{D}f(x,y)\mathrm{d}\sigma =f(\xi ,\eta )\cdot \sigma$$

三重积分中值定理 设函数$f(x,y,z)$在$\Omega$上连续，$V$是$\Omega$的面积，则在$D$上至少存在一点$(\xi ,\eta )$,使得
$${\iiint }_{\Omega }f(x,y,z)\mathrm{d}V=f(\xi ,\eta ,\zeta )\cdot V$$

---

二、微分中值定理之间的关系

①推广：罗尔定理$⟹$拉格朗日中值定理$⟹$柯西中值定理

②特例：柯西中值定理+($f(x)=x$)$⟹$拉格朗日中值定理
      拉格朗日中值定理+$(f(a)=f(b))$$⟹$罗尔定理

③泰勒中值定理是拉格朗日中值定理的推广。

三、泰勒中值定理推导过程

①产生泰勒中值定理的原因：为解决在微分中近似表达式精确度不高，误差大小无法比较，无法计算误差公式等。
例： $e^x\approx 1+x$, $ln(x+1)\approx x$

②科学家提出一个想法——做误差公式：误差=原函数$f(x)-$构造函数$p_n(x)$
下面借用高等数学课本上的一段证明过程：

再证明泰勒中值定理，只要$R_n(x)=f(x)-p_n(x)$,即公式中所说的，
$$R_n(x)=\frac{f^{n+1}(\xi )}{(n+1)!}(x-x_0{)}^{n+1},(\xi 在x_0与x之间)$$取$x=x_0$,
即$(x-x_0)=0$,(前面假设$R_n(x_0)$在$(a,b)$具有直到$(n+1)$阶的导数)，则
$$R_n(x_0)=R_n^{\prime }(x_0)=R_n^{\prime \prime }(x_0)=...=R_n^n(x_0)=0$$
使用柯西中值定理，令$g(x)=R_n(x),F(x)=(x-x_0{)}^{n+1}$，在以$x_0$和$x$为端点的区间上进行使用，得：
$$\frac{R_n(x)}{(x-x_0{)}^{n+1}}=\frac{R_n(x)-R_n(x_0)}{(x-x_0{)}^{n+1}-0}=\frac{R_n^{\prime }({\xi }_1)}{({\xi }_1-x_0{)}^n}({\xi }_1在x_0与x之间)$$
再对两个函数$R_n^{\prime }(x)$和$(n+1)(x-x_0{)}^n$使用柯西中值定理，即得
$$\frac{R_n^{\prime }({\xi }_1)}{({\xi }_1-x_0{)}^n}=\frac{R_n^{\prime }({\xi }_1)-R_n^{\prime }(x_0)}{({\xi }_1-x_0{)}^{n+1}-0}=\frac{R_n^{\prime }({\xi }_2)}{({\xi }_2-x_0{)}^{n-1}}({\xi }_2在x_0与{\xi }_1之间)$$
注意前边的条件无论求几阶导，都有Rn（x）的n阶导数等于0。
照此方法，进行$(n+1)$次后，得
$$\frac{R_n(x)}{(x-x_0{)}^{n+1}}=\frac{R_n^{(n+1)}(\xi )}{(n+1)!}(\xi 在x_0与{\xi }_n之间,因而也在x_0与x之间)$$
看泰勒中值定理里的$f(x)$，对它求$(n+1)$阶导，前边的n项将都变为0，即得
$R_n^{(n+1)}(x)=f^{n+1}(x)$,即得
$$R_n(x)=\frac{f^{(n+1)}(\xi )}{(n+1)!}(x-x_0{)}^{n+1}(\xi 在x_0与x之间)$$
定理证明完成。
还有一部分关于拉格朗日余型、佩亚诺余型和麦克劳林公式未再展开叙述，有关部分可参考高等数学上册，进行学习研究。

四、带有拉格朗日余项的n阶麦克劳林公式

$sinx=x-\frac{1}{3!}{x}^3+\frac{1}{5!}{x}^5-...+(-1{)}^{m-1}\frac{1}{(2m-1)!}{x}^{2m-1}+R_{2m}(x)$

$cosx=1-\frac{1}{2!}{x}^2+\frac{1}{4!}{x}^4-...+(-1{)}^m\frac{1}{(2m)!}{x}^{2m}+R_{2m+1}(x)$

$e^x=1+x+\frac{1}{2!}{x}^2+...+\frac{1}{n!}{x}^n+R_n(x)$

$ln(1+x)=x-\frac{1}{2}{x}^2+\frac{1}{3}{x}^3-...+(-1{)}^{n-1}\frac{1}{n}{x}^n+R_n(x)$

$(1+x{)}^{\alpha }=1+\alpha x+\frac{\alpha (\alpha -1)}{2!}{x}^2+...+\frac{\alpha (\alpha -1)...(\alpha -n+1)}{n!}{x}^n+R_n(x)$

$\frac{1}{1-x}=1+x+x^2+...+x^n+R_n(x)$

$\frac{1}{1+x}=1-x+x^2-...+(-1{)}^n{x}^n+R_n(x)$

$arctanx=x-\frac{1}{3}{x}^3+\frac{1}{5}{x}^5-...+(-1{)}^n\frac{1}{2n+1}{x}^{2n+1}+R_n(x)$

$tanx=x+\frac{1}{3}{x}^2+\frac{2}{15}{x}^5+o(x^5)$

$arcsinx=x+\frac{1}{6}{x}^3+o(x^3)$

余项的公式没有展开写。

五、罗尔中值定理作辅助函数部分记录

  (1)$[x^{n}f(x){]}^{{}^{\prime }}=n{x}^{n-1}f(x)+x^n{f}^{{}^{\prime }}(x)=0$
        　$\Rightarrow nf(x)+x{f}^{{}^{\prime }}(x)=0$

  (2)$[e^{\pm \lambda x}f(x){]}^{{}^{\prime }}=\pm \lambda e^{\pm \lambda x}f(x)+\lambda e^{\pm \lambda x}{f}^{{}^{\prime }}(x)=0$
         $\Rightarrow \pm \lambda f(x)+f^{{}^{\prime }}(x)=0$

　　(3)乘以$x^n$或$e^{\pm \lambda x}$