实变函数论5-积分论5-黎曼积分和勒贝格积分4：定理3【设f是[a,∞)上的一个非负实函数，若对于任意的A＞a，f在[a,A]上R可积且R反常积分收敛，则f在[a,∞)上L可积，且R积分=L积分】

定理3

设 $f(x)$ 是 $[a,\infty )$ 上的一个非负实函数，若对于任意的$A>a,f(x)$ 在 $[a,A]$上 $R$ 可 积且 $R$ 反常积分$(R){\int }_a^{\infty }f(x)\mathrm{d}x$ 收敛，则$f(x)$ 在 $[a,\infty )$ 上 $L$ 可积且

$$(L){\int }_{(a,\infty )}f(x)\mathrm{d}x=(R){\int }_a^{\infty }f(x)\mathrm{d}x.$$

证明
由已知条件可知 $f(x)$ 在 $[a,\infty )$ 上非负可测，故积分值$(L){\int }_{(a,x)}f(x)\mathrm{d}x$ 存在.任取数列 { A n } n = 1 ∞ \left\{ A _ { n } \right\} _ { n = 1 } ^ { \infty } { An​}n=1∞​ 使得$a<A_n\to \infty (n\to \infty$ 时)，令

f n ( x ) = { f ( x ) , 若 a