积分第一中值定理

前置知识：黎曼积分的概念

积分的单调性

设$f,g$在$[a,b]$上可积，如果在$[a,b]$上$f(x)\le g(x)$，则有

$${\int }_a^{b}f(x)dx\le {\int }_a^{b}g(x)dx$$

特别地，如果存在$m,M$，使得$m\le f(x)\le M$，则有

$$m(b-a)\le {\int }_a^{b}f(x)dx\le M(b-a)$$

证明： 在$[a,b]$上$g(x)-f(x)\ge 0$，所以

$${\int }_a^{b}g(x)dx-{\int }_a^{b}f(x)dx={\int }_a^b(g(x)-f(x))dx=\lim \sigma (g-f,T)\ge 0$$

积分第一中值定理

设$f$在$[a,b]$上连续，$g$在$[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 1$时，原式变为

$${\int }_a^{b}f(x)dx=f(\xi )(b-a)$$

证明： 不妨设$g(x)\ge 0$，记$M$和$m$为$f$在$[a,b]$上的最大值和最小值，由积分的单调性，得

$$m{\int }_a^{b}g(x)dx\le {\int }_a^{b}f(x)g(x)dx\le M{\int }_a^{b}g(x)dx$$

若${\int }_a^{b}g(x)=0$，则显然$\int f(x)g(x)dx=0$，此时式子对于任意$\xi \in [a,b]$都成立。

若${\int }_a^{b}g(x)>0$，则

$$m\le \frac{{\int }_a^{b}f(x)g(x)dx}{{\int }_a^{b}g(x)dx}\le M$$

由连续函数的介值定理可得，存在$\xi \in [a,b]$，使得

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

由此得证。

例题

求证$\underset{n\to +\infty }{\lim }{\int }_n^{n+\pi }\frac{\sin x}{x}dx=0$

证明：
\qquad 由积分第一中值定理可得，$\exists \xi \in [n,n+\pi ]$，使得

$$|{\int }_n^{n+\pi }\frac{\sin x}{x}dx|=|\pi (\frac{\sin \xi }{\xi })|\le \frac{\pi }{n}$$

因为当$n\to +\infty$时，$\frac{\pi }{n}\to 0$，所以$\underset{n\to +\infty }{\lim }{\int }_n^{n+\pi }\frac{\sin x}{x}dx=0$