函数连续性定理、导函数定理、中值定理证明

函数连续性定理、导函数定理、中值定理证明

1 函数连续性定理

1.1 有界性定理

$\text{Theorem}$ 有界性定理

若 $f\in C[a,b]$，则 $\exists M\in {\mathbb{R}}^{+},s.t.|f(x)|⩽M$

$\text{Proof1:}$

假设 $f(x)$ 于 $[a,b]$ 无界，二分区间

$$[a,b]=\left[a,\frac{a+b}{2}\right]\cap \left[\frac{a+b}{2},b\right]$$

则 $f(x)$ 至少在其中一个半区间无界，记该半区间为 $[a_1,b_1]$，再次二分区间，记其中函数无界区间为 $[a_2,b_2]$，重复以上过程，可得一列闭区间套 $\{[a_n,b_n]{\}}_{n\in {\mathbb{N}}^{+}}$，$f(x)$ 在该区间套上均无界，由闭区间套定理有

$$\exists !\xi \in \bigcap _{n=1}^{\infty }[a_n,b_n]\subseteq [a,b]$$

因 $\xi \in [a,b],f\in C[a,b]$，故 $f(x)$ 于 $\xi$ 点连续，于是有

$$\underset{x\to \xi }{\lim }f(x)=f(\xi )$$

由极限局部有界性，$\exists \epsilon >0,s.t.f(x)$ 在 $U(\xi ,\delta )$ 有界，又 $\forall \epsilon >0,\exists N\in {\mathbb{N}}^{+},s.t.\forall n>N:[a_n,b_n]\subseteq U(\xi ,\delta )$，所以 $\exists n>N,s.t.f(x)$ 在 $[a_n,b_n]$ 有界，矛盾，假设不成立，故 $f(x)$ 于 $[a,b]$ 有界.

$\text{Proof2:}$

假设 $f(x)$ 在区间 $[a,b]$ 上无界，即

$$\forall M\in {\mathbb{R}}^{+},\exists x\in [a,b],s.t.|f(x)|>M$$

则

$$\forall n\in {\mathbb{N}}^{+},\exists x_n\in [a,b],s.t.|f(x_n)|>n$$

由 $\text{Bolzano-Weierstrass}$ 定理，有界数列 { x n } \{x_n\} {xn​} 存在收敛子列 { x n k } \{x_{n_k}\} {xnk​​} 收敛于 $\xi$，即

$$\underset{k\to \infty }{\lim }{x}_{n_k}=\xi$$

因 $f\in C[a,b],\xi \in [a,b]$，故 $f(x)$ 在 $\xi$ 点处连续，又

$$\forall k\in {\mathbb{N}}^{+},\exists x_{n_k}\in [a,b],s.t.|f(x_{n_k})|>n_k$$

故由 $\text{Heine}$ 归结原则有

$$f(\xi )=\underset{x\to \xi }{\lim }f(x)=\underset{k\to \infty }{\lim }f(x_{n_k})=+\infty$$

连续点处必存在极限，矛盾，于是 $f(x)$ 在 $[a,b]$ 上有界.

$\text{Proof3:}$

由局部有界性有

$$\forall x\in [a,b],\exists {\delta }_x,M_x>0,s.t.\forall x\in U(x,\delta )\cap [a,b]:|f(x)|⩽M_x$$

一组开区间集 { U ( x , δ x ) ∣ x ∈ [ a , b ] } \{U(x,\delta_x)|x\in[a,b]\} {U(x,δx​)∣x∈[a,b]} 为闭区间 $[a,b]$ 的一个无限开覆盖，即

[ a , b ] ⊆ { U ( x , δ x ) ∣ x ∈ [ a , b ] } [a,b]\subseteq \{U(x,\delta_x)|x\in[a,b]\} [a,b]⊆{U(x,δx​)∣x∈[a,b]}

由 $\text{Heine-Borel}$ 定理，可从无限开覆盖中选择有限开区间覆盖 $[a,b]$，设有限开覆盖为

[ a , b ] ⊆ { U ( x k , δ k ) ∣ x ∈ [ a , b ] ; k = 1 , 2 , ⋯   , n } [a,b]\subseteq\{U(x_k,\delta_k)|x\in[a,b];k=1,2,\cdots,n\} [a,b]⊆{U(xk​,δk​)∣x∈[a,b];k=1,2,⋯,n}

则

$$\exists M_k>0,s.t.\forall x\in U(x_k,{\delta }_k)\cap [a,b]:|f(x)|⩽M_k(k=1,2,\cdots ,n)$$

故

$$\forall x\in [a,b]:x\in U(x_k,{\delta }_k),|f(x)|⩽M_k⩽\underset{1⩽k⩽n}{\max }{M}_k$$

1.2 最值定理

$\text{Theorem}$ 最值定理

若 $f\in C[a,b]$，则 $\exists \xi ,\eta \in [a,b],s.t.\forall x\in [a,b]:f(\xi )⩽f(x)⩽f(\eta )$

$\text{Proof1:}$

由有界性定理可知，函数 $f(x)$ 于 $[a,b]$ 有界，则 f ( [ a , b ] ) = { f ( x ) ∣ x ∈ [ a , b ] } f([a,b])=\{f(x)|x\in[a,b]\} f([a,b])={f(x)∣x∈[a,b]} 为有界数集，由确界存在原理，$f([a,b])$ 存在上、下确界，记

$$\alpha =\inf f([a,b]),\beta =\sup f([a,b])$$

此时证 $f(x)$ 在 $[a,b]$ 内可以取到上下确界，即

$$\exists \xi ,\eta \in [a,b],s.t.f(\xi )=\alpha ,f(\eta )=\beta$$

考虑反证，由上确界定义，$\forall x\in [a,b]:f(x)⩽\beta$，假设 $\forall x\in [a,b]:f(x)<\beta$，即函数无法取到上确界，构造如下函数

$$g(x):=\frac{1}{\beta -f(x)}>0$$

由连续函数四则运算法则可知 $g\in C[a,b]$，故 $g(x)$ 亦有界，记上界为 $g(x)⩽{\beta }^{\prime }$，则

$$0<g(x)=\frac{1}{\beta -f(x)}⩽{\beta }^{\prime }\Rightarrow f(x)⩽\beta -\frac{1}{{\beta }^{\prime }}<\beta$$

此时 $\beta -\frac{1}{{\beta }^{\prime }}$ 为 $f(x)$ 的上界，与 $\beta$ 是上确界矛盾，故

$$\exists \eta \in [a,b],s.t.f(\eta )=\beta =\underset{x\in [a,b]}{\max }f(x)$$

同理可证下确界情形.

$\text{Proof2:}$

由有界性定理，函数 $f(x)$ 于 $[a,b]$ 有界，则 f ( [ a , b ] ) = { f ( x ) ∣ x ∈ [ a , b ] } f([a,b])=\{f(x)|x\in[a,b]\} f([a,b])={f(x)∣x∈[a,b]} 为有界数集，由确界存在原理，数集 $f([a,b])$ 存在上下确界，记

$$\alpha =\inf f([a,b]),\beta =\sup f([a,b])$$

此时证 $f(x)$ 于 $[a,b]$ 内可以取到上下确界，即

$$\exists \xi ,\eta \in [a,b],s.t.f(\xi )=\alpha ,f(\eta )=\beta$$

由下确界定义

$$\forall x\in [a,b]:f(x)⩾\alpha$$

则

$$\forall \epsilon >0,\exists x\in [a,b],s.t.f(x)<\alpha +\epsilon$$

取 ${\epsilon }_n=\frac{1}{n}$，相应可得数列 { x n } n ∈ N + ∈ [ a , b ] \{x_n\}_{n\in\mathbb{N^+}}\in[a,b] {xn​}n∈N+​∈[a,b]，有

$$\alpha ⩽f(x_n)<\alpha +{\epsilon }_n=\alpha +\frac{1}{n}$$

由 $\text{Bolzano-Weierstrass}$ 定理， { x n } \{x_n\} {xn​} 存在子列 { x n k } \{x_{n_k}\} {xnk​​} 收敛于 $\xi$，于是

$$\alpha ⩽f(x_{n_k})<\alpha +\frac{1}{n_k}$$

由迫敛性准则可知

$$f(\xi )=\alpha =\underset{x\in [a,b]}{\min }f(x)$$

同理可证上确界情形.

1.3 零点存在定理

$\text{Theorem}$ 零点存在定理

若 $f\in C[a,b],f(a)\cdot f(b)<0$，则 $\exists \xi \in (a,b),s.t.f(\xi )=0$

$\text{Proof:}$

不妨设 $f(a)<0,f(b)>0$，记 $\frac{a+b}{2}=c$，二分区间 $[a,b]=[a,c]\cap [c,b]$，若 $f(c)=0$，则命题显然成立；否则令

$$[a_1,b_1]:=\{\begin{array}{l}[a,c],f(c)>0\\ \\ [c,b],f(c)<0\end{array}$$

不断二分区间并取端点异号区间，有

$$[a_n,b_n]\subseteq [a_{n+1},b_{n+1}],\underset{n\to \infty }{\lim }|a_n-b_n|=\underset{n\to \infty }{\lim }\frac{b-a}{2^n}=0$$

故可得闭区间套 $\{[a_n,b_n]{\}}_{n\in {\mathbb{N}}^{+}}$，由闭区间套定理可知

$$\exists !\xi \in \bigcap _{n=1}^{\infty }[a_n,b_n]\subseteq [a,b],\xi =\underset{n\to \infty }{\lim }{a}_n=\underset{n\to \infty }{\lim }{b}_n$$

又 $f\in C[a,b]$，且 $f(a_n)<0,f(b_n)>0$，故由极限保号性推论

$$f(\xi )=\underset{n\to \infty }{\lim }f(a_n)⩽0,f(\xi )=\underset{n\to \infty }{\lim }f(b_n)⩾0$$

从而

$$\exists \xi \in (a,b),s.t.f(\xi )=0$$

1.4 介值定理

$\text{Theorem}$ 介值定理

若 $f\in C[a,b]$，则 $\forall \eta \in [m,M]:\exists \xi \in [a,b],s.t.f(\xi )=\eta$

$\text{Proof:}$

由最值定理可知，$\exists {\xi }_1,{\xi }_2\in [a,b],s.t.$

$$f({\xi }_1)=\underset{x\in [a,b]}{\min }f(x)⩽f(x)⩽\underset{x\in [a,b]}{\max }f(x)=f({\xi }_2)$$

令 $\phi (x):=f(x)-\eta$，其中 $\eta \in f([a,b])$，则

$$\phi ({\xi }_1)=f({\xi }_1)-\eta ⩽0,\phi ({\xi }_2)=f({\xi }_2)-\eta ⩾0$$

由零点存在定理

∃ ξ ∈ [ min ⁡ { ξ 1 , ξ 2 } , max ⁡ { ξ 1 , ξ 2 } ] ⊆ [ a , b ] , s . t . f ( ξ ) = η \exists \xi\in[\min\{\xi_1,\xi_2\},\max\{\xi_1,\xi_2\}]\subseteq [a,b],\mathrm{s.t.}f(\xi)=\eta ∃ξ∈[min{ξ1​,ξ2​},max{ξ1​,ξ2​}]⊆[a,b],s.t.f(ξ)=η

2 导函数定理

2.1 导数零点定理

$\text{Theorem}$ 导数零点定理

若 $f\in C[a,b]\cap D(a,b),f_{+}^{\prime }(a)\cdot f_{-}^{\prime }(b)<0$，则 $\exists \xi \in (a,b),s.t.f^{\prime }(\xi )=0$

$\text{Proof:}$

不妨设

$$\begin{gathered} f_{+}^{\prime }(a)=\underset{x\to a^{+}}{\lim }\frac{f(x)-f(a)}{x-a}>0 \\ {f}_{-}^{\prime }(b)=\underset{x\to b^{-}}{\lim }\frac{f(x)-f(b)}{x-b}<0 \end{gathered}$$

由极限局部保号性

$$\begin{array}{rl}& \exists {\delta }_1>0,s.t.\forall x\in (a,a+{\delta }_1):f(x)>f(a)\\ & \exists {\delta }_2>0,s.t.\forall x\in (b-{\delta }_2,b):f(x)>f(b)\end{array}$$

故 $\underset{x\in [a,b]}{\max }f(x)$ 只能在 $(a,b)$ 内取得，于是

$$\exists \xi \in (a,b),s.t.f(\xi )=\underset{x\in [a,b]}{\max }f(x)$$

从而

$$\exists \xi \in (a,b),s.t.f^{\prime }(\xi )=0$$

2.2 导数介值定理

$\text{Theorem}$ $\text{Darboux}$ 定理(导数介值定理)

若 $f\in D(a,b)$，则 $\forall \eta \in [f_{+}^{\prime }(a),f_{-}^{\prime }(b)]:\exists \xi \in (a,b),s.t.f^{\prime }(\xi )=\mu$

$\text{Proof:}$

令

$$\phi (x):=f(x)-\mu x$$

则

$${\phi }^{\prime }(x)=f^{\prime }(x)-\mu ,{\phi }_{+}^{\prime }(a)\cdot {\phi }_{-}^{\prime }(b)<0$$

由导数零点定理，$\exists \xi \in (a,b),s.t.$

$${\phi }^{\prime }(\xi )=0\iff f^{\prime }(\xi )=\mu$$

3 中值定理

3.1 微分中值定理

3.1.1 Fermat 定理

$\text{Theorem}$ $\text{Fermat}$ 定理

若 $f(x)$ 在 $\xi$ 处可导，且 $\xi$ 为极值，则 $f^{\prime }(\xi )=0$

$\text{Proof:}$

不妨设 $\xi$ 为 $f(x)$ 极大值点，由极大值定义

$$\forall x\in U(\xi ,\delta ):f(\xi )⩾f(x)$$

则

$$\forall x\in U_{\pm }(\xi ,\delta ):\frac{f(x)-f(a)}{x-a}\begin{array}{c}⩽\\ ⩾\end{array}0$$

于是

$$f_{\pm }^{\prime }(\xi )\stackrel{\mathrm{def}}{=}\underset{x\to {\xi }^{\pm }}{\lim }\frac{f(x)-f(a)}{x-a}\begin{array}{c}⩾\\ ⩽\end{array}0$$

因 $f(x)$ 在 $\xi$ 处可导，故

$$f_{\pm }^{\prime }(\xi )=f^{\prime }(\xi )=0$$

同理可证极小值情况.

3.1.2 Rolle 中值定理

$\text{Theorem}$ $\text{Rolle}$ 中值定理

若 $f\in C[a,b]\cap D(a,b),f(a)=f(b)$，则 $\exists \xi \in (a,b),s.t.f^{\prime }(\xi )=0$

$\text{Corollary}$ 广义 $\text{Rolle}$ 中值定理

若 $f\in D(a,b),\underset{x\to a^{+}}{\lim }f(x)=\underset{x\to b^{-}}{\lim }f(x)=A$，则 $\exists \xi \in (a,b),s.t.f^{\prime }(\xi )=0$

其中 $(a,b)$ 为有限区间或无穷区间，$A$ 为有限值或无穷值.

$\text{Thm Proof1:}$

设 $\forall x\in (a,b):f^{\prime }(x)\ne 0$，又 $f\in C[a,b]$，所以 $f^{\prime }(x)>0$ 或 $f^{\prime }(x)<0$，于是 $f(x)$ 单调递增或递减，与 $f(a)=f(b)$ 矛盾，故 $\exists \xi \in (a,b),s.t.f^{\prime }(\xi )=0$.

$\text{Thm Proof2:}$

由最值定理有

$$m=\underset{x\in [a,b]}{\min }f(x)⩽f(x)⩽\underset{x\in [a,b]}{\max }f(x)=M$$

若 $m=M$，$f(x)$ 为常函数，故 $f^{\prime }(x)=0$；

若 $m<M$，$m$ 或 $M$ 至少有一个不同于$f(a)$，故 $m,M$ 在区间 $(a,b)$ 内部取得，不妨设 $m⩽f(a)=f(b)<M$，此时 $\exists \xi \in (a,b),s.t.M=f(\xi )$ 为极大值点，由 $\text{Fermat}$ 引理可知，$f^{\prime }(\xi )=0$.

$\text{Cor Proof1:}$

(1) 当 $A\in \mathbb{R}$：

若 $f(x)\equiv A$，则待证结论显然成立；

若 $f(x)\not\equiv A$，则

$$\exists x_0\in (a,b),s.t.f(x_0)\ne A$$

不妨设 $f(x_0)<A$，由介值定理有

$$\exists {\xi }_1\in (a,x_0),{\xi }_2\in (x_0,b),s.t.f({\xi }_1)=f({\xi }_2)\in (f(x_0),A)$$

由 $\text{Rolle}$ 定理可知

$$\exists \xi \in ({\xi }_1,{\xi }_2)\subseteq (a,b),s.t.f^{\prime }(\xi )=0$$

(2) 当 $A=\pm \infty$：同上第二种情况.

$\text{Cor Proof2:}$

(1) 有限值，有限区间：

令

g ( x ) = {   A , x ∈ { a , b } f ( x ) , x ∈ ( a , b ) g(x)=\left\{\begin{array}{l} \ A\quad,x\in\{a,b\} \\f(x),x\in(a,b) \end{array}\right. g(x)={ A,x∈{a,b}f(x),x∈(a,b)​

则

$$\begin{gathered} g(a)=\underset{x\to a^{+}}{\lim }f(x)=g(b)=\underset{x\to b^{-}}{\lim }f(x)=A \\ g(x)\in C[a,b] \end{gathered}$$

由 $\text{Rolle}$ 定理有，$\exists \xi \in (a,b),s.t.g^{\prime }(\xi )=0$，又 $\forall x\in (a,b):g(x)=f(x)$，故 $\exists \xi \in (a,b),s.t.f^{\prime }(\xi )=0$

(2) 有限值，无限区间：

令

$$g(x)=\{\begin{array}{l}f(\tan x),x\in (-\frac{\pi }{2},\frac{\pi }{2})\\ A,x=\pm \frac{\pi }{2}\end{array}$$

则 $f(x)\in D(a,b)\Rightarrow f(x)\in C(a,b)\Rightarrow g(x)=f(\tan x)\in C(a,b)$

(3) 无穷值：

令

g ( x ) = { arctan ⁡ f ( x )   , x ∈ ( a , b )   π   2 , x ∈ { a , b } g(x)=\left\{\begin{array}{l} \arctan{f(x)}\ ,x\in(a,b) \\\qquad\frac{\ \pi\ }{2}\qquad,x\in\{a,b\} \end{array}\right. g(x)={arctanf(x) ,x∈(a,b)2 π ​,x∈{a,b}​

则 $f(x)\in D(a,b)\Rightarrow f(x)\in C(a,b)\Rightarrow g(x)=\arctan f(x)\in C(a,b)$

3.1.3 Lagrange 中值定理

$\text{Theorem}$ $\text{Lagrange}$ 中值定理

若 $f\in C[a,b]\cap D(a,b)$，则 $\exists \xi \in (a,b),s.t.$
$$f^{\prime }(\xi )=\frac{f(b)-f(a)}{b-a}$$

$\text{Thm Proof:}$

令

$$\phi (x):=f(x)-\frac{f(b)-f(a)}{b-a}(x-a)$$

则

$$\phi (a)=\phi (b)=f(a)$$

由 $\text{Rolle}$ 定理可知，$\exists \xi \in (a,b),s.t.$

$${\phi }^{\prime }(\xi )=f^{\prime }(\xi )-\frac{f(b)-f(a)}{b-a}=0\iff f^{\prime }(\xi )=\frac{f(b)-f(a)}{b-a}$$

3.1.4 Cauchy 中值定理

$\text{Theorem}$ $\text{Cauchy}$ 中值定理
若 $f\in C[a,b]\cap D(a,b),g(a)\ne g(b),\forall x\in (a,b):f^{\prime 2}+g^{\prime 2}\ne 0$，则 $\exists \xi \in (a,b),s.t.$

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

$\text{Thm Proof:}$

令

$$\phi (x):=[f(x)-f(a)]-\frac{f(b)-f(a)}{g(b)-g(a)}[g(x)-g(a)]$$

则

$$\phi (a)=\phi (b)=0$$

由 $\text{Rolle}$ 定理，$\exists \xi \in (a,b),s.t.$

$${\phi }^{\prime }(\xi )=f^{\prime }(\xi )-\frac{f(b)-f(a)}{g(b)-g(a)}{g}^{\prime }(\xi )=0\iff \frac{f^{\prime }(\xi )}{g^{\prime }(\xi )}=\frac{f(b)-f(a)}{g(b)-g(a)}$$

3.1.5 Taylor 中值定理

$\text{Theorem}$ $\text{Taylor}$ 中值定理

若 $f\in C^n[a,b]\cap D^{n+1}(a,b),\forall x,x_0\in [a,b]$，则 $\exists {\xi }_x=x_0+\theta (x-x_0),\theta \in (0,1),s.t.$

$$f(x)=\sum _{k=0}^n\frac{f^{(k)}(x_0)}{k!}(x-x_0{)}^k+\frac{f^{(n+1)}({\xi }_x)}{(n+1)!}(x-x_0{)}^{n+1}$$

$\text{Thm Proof:}$

令

$$G(t):=f(x)-\sum _{k=0}^n\frac{f^{(k)}(t)}{k!}(x-t{)}^k,H(t):=(x-t{)}^{n+1}$$

不妨设 $x_0<x$，则

$$G(t),H(t)\in C[x_0,x]\cap D(x_0,x)$$

且

$$G^{\prime }(t)=-\frac{f^{(n+1)}(x)}{n!}(x-t{)}^n,H^{\prime }(t)=-(n+1)(x-t{)}^n$$

由 $\text{Cauchy}$ 中值定理可知，$\exists \xi \in (x_0,x),s.t.$

$$\frac{G(x)-G(x_0)}{H(x)-H(x_0)}=\frac{G^{\prime }(\xi )}{H^{\prime }(\xi )}\iff G(x_0)=\frac{f^{(n+1)}(\xi )}{(n+1)!}H(x_0)$$

3.1.6 Flett 中值定理

$\text{Theorem}$ $\text{Flett}$ 中值定理

若 $f\in D(a,b),f^{\prime }(a)=f^{\prime }(b)$，则 $\exists \xi \in (a,b),s.t.$
$$f^{\prime }(\xi )=\frac{f(\xi )-f(a)}{\xi -a}$$

$\text{Thm Proof:}$

令

$$h(x)=\{\begin{array}{c}\frac{f(x)-f(a)}{x-a},x\in (a,b]\\ \\ f^{\prime }(a),x=a\end{array}\in C[a,b]\cap D(a,b]$$

则

$$\forall x\in (a,b]:h^{\prime }(x)=\frac{f^{\prime }(x)-\frac{f(x)-f(a)}{x-a}}{x-a}$$

(1) 若 $h(a)=h(b)$，则由 $\text{Rolle}$ 定理，$\exists \xi \in (a,b),s.t.h^{\prime }(\xi )=0$，得证；

(2) 若 $h(a)<h(b)$，假设 $\forall x\in (a,b):h^{\prime }(x)\ne 0$，则 $h(x)$ 必然严格单增，且

$$h^{\prime }(b)=\frac{f^{\prime }(b)-h(b)}{b-a}=\frac{f^{\prime }(a)-h(b)}{b-a}=\frac{h(a)-h(b)}{b-a}<0$$

由极限局部保号性

$$\exists c\in (b-\delta ,b),s.t.h(c)>h(b)$$

与 $h(x)\uparrow$ 矛盾，故假设不成立，$\exists \xi \in (a,b),s.t.h^{\prime }(\xi )=0$，得证；

(3) 若 $h(a)>h(b)$，则 $h^{\prime }(b)>0$，故 $\exists c\in (b-\delta ,b),s.t.h(c)<h(b)<h(a)$，于是 $h(x)$ 极小值在 $(a,b)$ 内部取得，由 $\text{Fermat}$ 定理，$\exists \xi \in (a,b),s.t.h^{\prime }(\xi )=0$，得证.

3.2 积分中值定理

3.2.1 积分第一中值定理

$\text{Theorem}$ 积分第一中值定理

若 $f\in C[a,b],g\in R[a,b],g$ 在 $[a,b]$ 不变号，则 $\exists \xi \in [a,b],s.t.$
$${\int }_a^{b}f(x)g(x)\mathrm{d}x=f(\xi ){\int }_a^{b}g(x)\mathrm{d}x$$
$\text{Corollary}$ 积分第一中值定理-开区间推广

若 $f,g\in R[a,b],g$ 在 $[a,b]$ 不变号，则 $\exists \xi \in (a,b),s.t.$
$${\int }_a^{b}f(x)g(x)\mathrm{d}x=f(\xi ){\int }_a^{b}g(x)\mathrm{d}x$$

$\text{Thm Proof:}$

不妨设 $\forall x\in [a,b]:g(x)⩾0$，则

$${\int }_a^{b}g(x)\mathrm{d}x⩾0$$

由最值定理有，$m⩽f(x)⩽M$，故

$$m{\int }_a^{b}g(x)\mathrm{d}x⩽{\int }_a^{b}f(x)g(x)\mathrm{d}x⩽M{\int }_a^{b}g(x)\mathrm{d}x$$

若 ${\int }_a^{b}g(x)\mathrm{d}x=0$，结论显然成立；若${\int }_a^{b}g(x)\mathrm{d}x>0$，则

$$m⩽\frac{{\int }_a^{b}f(x)g(x)\mathrm{d}x}{{\int }_a^{b}g(x)\mathrm{d}x}⩽M$$

由介值定理可知

$$\exists \xi \in (a,b),s.t.f(\xi )=\frac{{\int }_a^{b}f(x)g(x)\mathrm{d}x}{{\int }_a^{b}g(x)\mathrm{d}x}$$

同理可证 $g(x)⩽0$ 情形.

$\text{Cor Proof1:}$

令

$$F(x):={\int }_a^{x}f(t)g(t)\mathrm{d}t,G(x):={\int }_a^{x}g(t)\mathrm{d}t$$

由于 $f,g\in R[a,b]$ 且 $g(x)$ 不变号，故

$$F(x),G(x)\in C[a,b]\cap D(a,b)$$

由 $\text{Cauchy}$ 中值定理，$\exists \xi \in (a,b),s.t.$

$$\frac{F(b)-F(a)}{G(b)-G(a)}=\frac{F^{\prime }(\xi )}{G^{\prime }(\xi )}\iff \frac{{\int }_a^{b}f(x)g(x)\mathrm{d}x}{{\int }_a^{b}g(x)\mathrm{d}x}=f(\xi )$$

$\text{Cor Proof2:}$

令

$$\phi (x):={\int }_a^{x}f(t)g(t)\mathrm{d}t-K{\int }_a^{x}g(t)\mathrm{d}t,K=\frac{{\int }_a^{b}f(x)g(x)\mathrm{d}x}{{\int }_a^{b}g(x)\mathrm{d}x}$$

则 $\phi (a)=\phi (b)=0$，由 $\text{Rolle}$ 定理可知

$$\exists \xi \in (a,b),s.t.{\phi }^{\prime }(\xi )=f(\xi )g(\xi )-Kg(\xi )$$

又 $g(x)$ 于 $[a,b]$ 不变号，故

$$f(\xi )=K$$

3.2.2 积分第二中值定理

$\text{Theorem}$ 积分第二中值定理

若 $g\in C[a,b],f\in D[a,b]$ 单调递增、减且非负，则 $\exists \xi \in [a,b],s.t.$

$$\begin{gathered} {\int }_a^{b}f(x)g(x)\mathrm{d}x=f(b){\int }_{\xi }^{b}g(x)\mathrm{d}x \\ {\int }_a^{b}f(x)g(x)\mathrm{d}x=f(a){\int }_a^{\xi }g(x)\mathrm{d}x\text{\hspace{1em}(3.2.2-1)} \end{gathered}$$

若 $g\in C[a,b],f\in D[a,b]$ 单调，则 $\exists \xi \in [a,b],s.t.$

$${\int }_a^{b}f(x)g(x)\mathrm{d}x=f(a){\int }_a^{\xi }g(x)\mathrm{d}x+f(b){\int }_{\xi }^{b}g(x)\mathrm{d}x\text{\hspace{1em}(3.2.2-2)}$$

$\text{Corollary.1}$ 积分第二中值定理-条件削弱

设 $g\in R[a,b],f(x)$ 在 $[a,b]$ 单调递增、减且非负，则 $(\mathrm{3.2.2}-1)$ 成立.

设 $g\in R[a,b],f:[a,b]\to \mathbb{R}$ 单调，则 $(\mathrm{3.2.2}-2)$ 成立.

$\text{Corollary.2}$ 积分第二中值定理-开区间推广

设 $g\in R[a,b],f(x)$ 在 $[a,b]$ 非负单调递增、减，在 $(a,b)$ 内不恒为常数，则 $(\mathrm{3.2.2}-1)$ 成立.

设 $g\in R[a,b],f$ 在 $[a,b]$ 单调，在 $(a,b)$ 不恒为常数，则 $(\mathrm{3.2.2}-2)$ 成立.

$\text{Thm.1 Proof:}$

令

$$G(x):={\int }_x^{b}g(t)\mathrm{d}t$$

则

$$\begin{array}{rl}{\int }_a^{b}f(x)g(x)\mathrm{d}x& \stackrel{IBP}{=}{\int }_a^{b}f(x)\mathrm{d}[-G(x)]\\ & =-f(x)G(x){\mid }_a^b+{\int }_a^{b}G(x)f^{\prime }(x)\mathrm{d}x\\ & =f(a)G(a)+{\int }_a^{b}G(x)f^{\prime }(x)\mathrm{d}x\end{array}$$

由于 $g\in R[a,b]\Rightarrow G\in C[a,b]\Rightarrow m⩽G(x)⩽M$，故

$$f(a)m+m{\int }_a^b{f}^{\prime }(x)\mathrm{d}x⩽f(a)G(a)+{\int }_a^{b}G(x)f^{\prime }(x)\mathrm{d}x⩽f(a)M+M{\int }_a^b{f}^{\prime }(x)\mathrm{d}x$$

即

$$mf(b)⩽{\int }_a^{b}f(x)g(x)\mathrm{d}x⩽Mf(b)$$

当 $f(b)=0$ 时，$0⩽f(x)\uparrow ⩽f(b)=0\Rightarrow f(x)=0$，任取 $\xi \in (a,b)$ 结论均成立；

当 $f(b)\ne 0$ 时，有

$$m⩽\frac{{\int }_a^{b}f(x)g(x)\mathrm{d}x}{f(b)}⩽M$$

由介值定理可知， $\exists \xi \in [a,b],s.t.$

$$G(\xi )=\frac{{\int }_a^{b}f(x)g(x)\mathrm{d}x}{f(b)}$$

即

$${\int }_a^{b}f(x)g(x)\mathrm{d}x=f(b)G(\xi )=f(b){\int }_{\xi }^{b}g(x)\mathrm{d}x$$

同理可证递减情形.

$\text{Thm.2 Proof:}$

令

$$G(x):={\int }_a^{x}g(t)\mathrm{d}t$$

则

$$\begin{array}{rl}{\int }_a^{b}f(x)g(x)\mathrm{d}x& \stackrel{IBP}{=}{\int }_a^{b}f(x)\mathrm{d}[G(x)]\\ & =f(b)G(b)-{\int }_a^{b}G(x)f^{\prime }(x)\mathrm{d}x\\ & =f(b){\int }_a^{b}g(t)\mathrm{d}t-{\int }_a^{b}G(x)f^{\prime }(x)\mathrm{d}x\end{array}$$

因 $f(x)$ 在 $[a,b]$ 单调，故 $f^{\prime }(x)$ 不变号，则由积分第一中值定理 $\exists \xi \in (a,b),s.t.$

$${\int }_a^{b}G(x)f^{\prime }(x)\mathrm{d}x=G(\xi ){\int }_a^b{f}^{\prime }(x)\mathrm{d}x=[f(b)-f(a)]{\int }_a^{\xi }g(t)\mathrm{d}t$$

于是

$$\begin{array}{rl}{\int }_a^{b}f(x)g(x)\mathrm{d}x& =f(b){\int }_a^{b}g(t)\mathrm{d}t-[f(b)-f(a)]{\int }_a^{\xi }g(t)\mathrm{d}t\\ & =f(b)\cdot ({\int }_a^b-{\int }_a^{\xi })g(t)\mathrm{d}t+f(a){\int }_a^{\xi }g(t)\mathrm{d}x\\ & =f(b){\int }_{\xi }^{b}g(x)\mathrm{d}x+f(a){\int }_a^{\xi }g(x)\mathrm{d}x\end{array}$$

$\text{Cor.1 Proof:}$

设点集 P = { x k ( k = 1 , 2 , ⋯   , n ) } P=\{x_k(k=1,2,\cdots,n)\} P={xk​(k=1,2,⋯,n)} 为区间 $[a,b]$ 的任意分划，则

$$a=x_0<x_1<\cdots <x_{n-1}<x_n=b$$

故

∫ a b f ( x ) g ( x ) d x = ∑ k = 0 n − 1 ∫ x k x k + 1 f ( x ) g ( x ) d x = ∑ k = 0 n − 1 ∫ x k x k + 1 { f ( x k ) + [ f ( x ) − f ( x k ) ] } g ( x ) d x = ∑ k = 0 n − 1 { f ( x k ) ∫ x k x k + 1 g ( x ) d x + ∫ x k x k + 1 [ f ( x ) − f ( x k ) ] g ( x ) d x } = I 1 + I 2 \begin{aligned} \int_a^bf(x)g(x)\mathrm{d}x&=\sum_{k=0}^{n-1}\int_{x_k}^{x_{k+1}}f(x)g(x)\mathrm{d}x \\&=\sum_{k=0}^{n-1}\int_{x_k}^{x_{k+1}}\{f(x_k)+[f(x)-f(x_k)]\}g(x)\mathrm{d}x \\&=\sum_{k=0}^{n-1}\left\{f(x_k)\int_{x_k}^{x_{k+1}}g(x)\mathrm{d}x+\int_{x_k}^{x_{k+1}}[f(x)-f(x_k)]g(x)\mathrm{d}x\right\} \\&=I_1+I_2 \end{aligned} ∫ab​f(x)g(x)dx​=k=0∑n−1​∫xk​xk+1​​f(x)g(x)dx=k=0∑n−1​∫xk​xk+1​​{f(xk​)+[f(x)−f(xk​)]}g(x)dx=k=0∑n−1​{f(xk​)∫xk​xk+1​​g(x)dx+∫xk​xk+1​​[f(x)−f(xk​)]g(x)dx}=I1​+I2​​

对于 $I_1$：令 $G(x):={\int }_a^{x}g(t)\mathrm{d}t$，有

$$\begin{array}{rl}{I}_1& =\sum _{k=0}^{n-1}f(x_k){\int }_{x_k}^{x_{k+1}}g(x)\mathrm{d}x\\ & =\sum _{k=0}^{n-1}f(x_k)\left[{\int }_a^{x_{k+1}}g(t)\mathrm{d}t-{\int }_a^{x_k}g(t)\mathrm{d}t\right]\\ & =\sum _{k=0}^{n-1}f(x_k)[G(x_{k+1})-G(x_k)]\\ & =-f(x_0)G(x_0)+\sum _{k=1}^{n-1}G(x_k)[f(x_{k-1})-f(x_k)]+G(x_n)f(x_{n-1})\end{array}$$

由 $g\in R[a,b]\Rightarrow G\in C[a,b]$，所以 $G(x)$ 存在最值，于是

$$\begin{array}{rl}{I}_1& ⩽M\sum _{k=1}^{n-1}[f(x_{k-1})-f(x_k)]+Mf(x_{n-1})=Mf(x_0)=Mf(a)\\ I_1& ⩾m\sum _{k=1}^{n-1}[f(x_{k-1})-f(x_k)]+mf(x_{n-1})=mf(x_0)=mf(a)\end{array}$$

从而

$$mf(a)⩽I_1⩽Mf(a)$$

对于 $I_2$：

$$\begin{array}{rl}0⩽|I_2|& =|\sum _{k=0}^{n-1}{\int }_{x_k}^{x_{k+1}}[f(x)-f(x_k)]g(x)\mathrm{d}x|\\ & ⩽\sum _{k=0}^{n-1}{\int }_{x_k}^{x_{k+1}}|f(x)-f(x_k)||g(x)|\mathrm{d}x\\ & ⩽\sum _{k=0}^{n-1}{\int }_{x_k}^{x_{k+1}}|\underset{x\in [x_k,x_{k+1}]}{\sup f(x)}-\underset{x\in [x_k,x_{k+1}]}{\inf f(x)}|\cdot \underset{x\in [a,b]}{\sup }|g(x)|\mathrm{d}x\\ & =\underset{x\in [a,b]}{\sup }|g(x)|\cdot \sum _{k=0}^{n-1}{\omega }_k\Delta x_k\end{array}$$

由于 $f(x)$ 单调，故 $f\in R[a,b]$，于是

$$\underset{||P||\to 0}{\lim }\sum _{k=0}^{n-1}{\omega }_k\Delta x_k=0$$

从而

$$\underset{||P||\to 0}{\lim }{I}_2=0$$

综上，当 $||P||=\underset{1⩽k⩽n}{\max }\Delta x_k\to 0$ 时

$$mf(a)⩽{\int }_a^{b}f(x)g(x)\mathrm{d}x⩽Mf(a)$$

由介值定理，$\exists \xi \in [a,b],s.t.$

$$G(\xi )=\frac{{\int }_a^{b}f(x)g(x)\mathrm{d}x}{f(a)}$$

得证.

$\text{Cor.2 Proof:}$

见文献 [1] 刘小茂,张钧.关于积分第二中值定理的讨论[J].武汉汽车工业大学学报,1996,(第3期).