广义中值定理

广义罗尔定理（用费马定理证明）

设$f(x)$在$(-\infty ，+\infty )$上连续且可导，并且$\underset{x\to -\infty }{\lim }f(x)=\underset{x\to +\infty }{\lim }f(x)=A$，则$\exists \xi \in (-\infty ，+\infty )$，使得$f^{\prime }(\xi )=0$

证明：至少可取到一点$c\in R$，使$f(c)\ne A$，否则$f(x)$恒等于$A$，对于任意的实数$\xi$，都有$f^{\prime }(\xi )=0$。

不妨设$f(c)<A$，取$\epsilon =\frac{A-f(c)}{2}$，显然$\epsilon >0$。

根据极限定义，由$\underset{x\to +\infty }{\lim }f(x)=A$可得
$\exists X>c$，当$x>X$时，有$|f(x)-A|<\epsilon$，$-\epsilon <f(x)-A<\epsilon$，$f(x)>A-\epsilon =\frac{A+f(c)}{2}>f(c)$，任取$b>X$，则有$b>c$，$f(b)>f(c)$。

利用$\underset{x\to -\infty }{\lim }f(x)=A$，类似地可知存在$a<c$，使$f(a)>f(c)$。

于是，$f(x)$在闭区间$[a,b]$上连续，则在闭区间$[a,b]$上必有$f(x)$的最小值点$\xi$，由于闭区间$[a,b]$的两个端点都不可能是$f(x)$的最小值点，由此可知$\xi \in (a,b)$，根据费马定理可知$f^{\prime }(\xi )=0$。

广义拉格朗日中值定理（不常见）

设函数$f(x)$在$[a,b]$上连续，并且$f_{+}^{\prime }(x)$，$f_{-}^{\prime }(x)$存在，则至少存在一点$\xi \in (a,b)$及正数$p$，$q$，$p+q=1$，使得
$$\frac{f(b)-f(a)}{b-a}=p{f}_{+}^{\prime }(\xi )+q{f}_{-}^{\prime }(\xi )$$

证明：参考广义Cauchy中值定理

广义柯西中值定理（不常见）

设函数$f(x)$，$g(x)$满足

1. $f(x)$，$g(x)$在$[a,b]$上连续；
2. $f_{+}^{\prime }(x)$，$f_{-}^{\prime }(x)$，$g_{+}^{\prime }(x)$，$g_{-}^{\prime }(x)$在$[a,b]$上存在。

则在$(a,b)$内至少存在一点$\xi$及非负数$p$，$q$，$p+q=1$，使得
$$[p{f}_{+}^{\prime }(\xi )+q{f}_{-}^{\prime }(\xi )][g(b)-g(a)]=[p{g}_{+}^{\prime }(\xi )+q{g}_{-}^{\prime }(\xi )][f(b)-f(a)]$$

证明：参考广义Cauchy中值定理

积分第一中值定理（用柯西中值定理证明）

设$f(x)$，$g(x)$在[a，b]上连续，且g(x)在[a，b]上不变号，证明：

$$\exists \xi \in [a,b]，使得{\int }_a^{b}f(x)g(x)dx=f(\xi ){\int }_a^{b}g(x)dx$$

证明：当$g(x)\equiv 0$时，显然成立
当$g(x)\ne 0$时，不妨设$g(x)>0$
令$F(x)={\int }_a^{x}f(t)g(t)dt$，$g(x)={\int }_a^{x}g(t)dt$
根据柯西中值定理$\exists \xi \in (a,b)$，使得

$$\frac{F^{\prime }(x)}{G^{\prime }(x)}=\frac{F(b)-F(a)}{G(b)-G(a)}$$

即

$$\frac{f(\xi )g(\xi )}{g(\xi )}=\frac{{\int }_a^{b}f(t)g(t)dt-0}{{\int }_a^{b}g(t)dt-0}$$

即

$${\int }_a^{b}f(x)g(x)dx=f(\xi ){\int }_a^{b}g(x)dx，\xi \in [a,b]$$

故$g(x)>0$，$\xi \in [a,b]$时，显然成立

同理可得$g(x)<0$也成立

故$\exists \xi \in [a,b]$，使得${\int }_a^{b}f(x)g(x)dx=f(\xi ){\int }_a^{b}g(x)dx$

积分第二中值定理

设$f(x)$在[a，b]上可积，g(x)在[a，b]上单调，证明：

$$\exists \xi \in [a,b]，使得{\int }_a^{b}f(x)g(x)dx=g(a){\int }_a^{\xi }f(x)dx+g(b){\int }_{\xi }^{b}f(x)dx$$

例题

计算$\underset{n\to \infty }{\lim }{\int }_0^1\frac{x^n}{1+x}dx$

由积分第一中值定理知，$\exists {\xi }_n\in [0,1]$

$$\underset{n\to \infty }{\lim }{\int }_0^1\frac{x^n}{1+x}dx=\underset{n\to \infty }{\lim }\frac{1}{1+{\xi }_n}{\int }_0^1{x}^{n}dx=\underset{n\to \infty }{\lim }\frac{1}{1+{\xi }_n}\cdot \frac{1}{n+1}=0$$

下面是错误做法：

由积分中值定理知，$\exists {\xi }_n\in (0,1)$
$$\underset{n\to \infty }{\lim }{\int }_0^1\frac{x^n}{1+x}dx=\underset{n\to \infty }{\lim }\frac{{\xi }_n^n}{1+{\xi }_n}=0$$

因为${\xi }_n$与$n$有关，$\underset{n\to \infty }{\lim }{\xi }_n$是否为0证明起来很麻烦，也许$\underset{n\to \infty }{\lim }{\xi }_n=1$