【Datawhale组队学习】机器学习数学基础 - 中值定理【Task 05】

函数相关的中值定理

以下的内容均为需要保证$f(x)$在$[a,b]$内连续。

有界与最值定理

$m\le f(x)\le M$，其中，m和M分别为$f(x)$在$[a,b]$上的最大值与最小值。

人话：闭区间上的连续函数必有最值。

介值定理

当$m\le \mu \le M$时，存在$\xi \in [a,b]$，使得$f(\xi )=\mu$。

人话：闭区间上的连续函数，能取到最值之间的任何数。

平均值定理

当$a<x_1<x_2<\cdots <x_n<b$时，在$[x_1,x_n]$内至少存在一点$\xi$，使得
$$f(\xi )=\frac{f(x_1)+f(x_2)+...+f(x_n)}{n}$$

利用最值定理，有限个处于最值之间的数据之和。

零点定理

当$f(a)\cdot f(b)<0$时，存在$\xi \in (a,b)$，使得$f(\xi )=0$。

拓展为闭区间可取到端点：$f(a)\cdot f(b)\le 0$时，存在$\xi \in [a,b]$，使得$f(\xi )=0$。

导数（微分）相关中值定理

费马定理

设$f(x)$满足在$x_0$处$\{\begin{array}{l}①可导，\\ ②取极值，\end{array}$则$f^{\prime }(x_0)=0$。

罗尔定理

设$f(x)$满足$\{\begin{array}{l}①在[a,b]上连续，\\ ②在(a,b)内可导，\\ ③f(a)=f(b)，\end{array}$则存在$\xi \in (a,b)$，使得$f^{\prime }(\xi )=0$。

需要注意的是，罗尔定理中存在三个条件：

1. ①中根据最值定理可以推出$m\le f(x)\le M$；
2. ③是为了保证a和b的端点处不同时为最大和最小值
3. ②是为了满足费马定理

这三个条件主要是为了说明极值点在函数内部。

拉格朗日中值定理

设$f(x)$满足$\{\begin{array}{l}①在[a,b]上连续，\\ ②在(a,b)内可导，\end{array}$则存在$\xi \in (a,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)，\theta \in (0,1)$$
或者写成
$$f(a+h)-f(a)=f^{\prime }(a+\theta h)h，\theta \in (0,1)$$

想要证明该定理的时候，需要构造辅助函数：
$$F(x)=f(x)-f(a)-\frac{f(b)-f(a)}{b-a}(x-a)$$
可以很显然的发现：$F(a)=F(b)=0$

然后再根据罗尔定理，即可得证。

柯西中值定理

设$f(x)$，$g(x)$满足$\{\begin{array}{l}①在[a,b]上连续，\\ ②在(a,b)内可导，\\ ③g^{\prime }(x)\ne 0，\end{array}$则存在$\xi \in (a,b)$，使得
$$\frac{f(b)-f(a)}{g(b)-g(a)}=\frac{f^{\prime }(\xi )}{g^{\prime }(\xi )})$$

证明柯西定理的时候，也需要构造辅助函数，其形状类似：
$$F(x)=f(x)-f(a)-\frac{f(b)-f(a)}{g(b)-g(a)}[g(x)-g(a)]$$
可以很显然的发现：$F(a)=F(b)=0$

然后再根据罗尔定理，即可得证。

泰勒公式

1. 带拉格朗日余项的n阶泰勒公式
   设$f(x)$在$x_0$的某个邻域内$n+1$阶导数存在，则对该邻域内的任意点$x$，有
   $$f(x)=f(x_0)+f^{\prime }(x_0)(x-x_0)+\cdots +\frac{1}{n!}{f}^{(n)}(x_0)(x-x_0{)}^n+\frac{f^{(n+1)}(\xi )}{(n+1)!}$$
   其中$\xi$介于$x$，$x_0$之间。

2. 带佩亚诺余项的n阶泰勒公式
   设$f(x)$在$x_0$的某个邻域内$n$阶可导，则存在$x_0$的一个邻域，使得该邻域内的任意点，有
   $$f(x)=f(x_0)+f^{\prime }(x_0)(x-x_0)+\cdots +\frac{1}{n!}{f}^{(n)}(x_0)(x-x_0{)}^n+o((x-x_0{)}^n)$$

若$x_0=0$时为麦克劳林公式。

积分相关的中值定理

积分中值定理

设$f(x)$在$[a,b]$上连续，那么存在$\xi \in [a,b]$，使得
$${\int }_a^{b}f(x)dx=f(\xi )(b-a)$$

相比于平均值定理而言，一个是有限的数，取平均，一个是无限个数的和取平均。

---

以上内容是DataWhale第28期组队学习，根据b站视频考研数学之高等数学（一二三都适用）学习整理所得，若有不足，望指出。