数学分析(九)-定积分5-2-定积分计算1-1：定积分换元积分法【若f在[a,b]连续，φ´在[α,β]可积，且φ(α)=a、φ(β)=b，则：∫ₐᵇf(x)dx=∫ₐᵝf(φ(t))φ´(t)dt】

对原函数的存在性有了正确的认识,就能顺利地把不定积分的换元积分法和分部积分法移植到定积分计算中来.

定理 9.12 (定积分换元积分法)

若函数 $f$ 在 $[a,b]$ 上连续, ${\phi }^{\prime }$ 在 $[\alpha ,\beta ]$ 上可积, 且满足

$$\phi (\alpha )=a,\phi (\beta )=b,\phi ([\alpha ,\beta ])\subseteq [a,b],$$

则有定积分换元公式:

$${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{\beta }f(\phi (t)){\phi }^{\prime }(t)\mathrm{d}t.(9)$$

证
由于 $f$ 在 $[a,b]$ 上连续, 因此它的原函数存在. 设 $F$ 是 $f$ 在$[a,b]$ 上的一个原函数,由复合函数微分法

$$\frac{\mathrm{d}}{\mathrm{d}t}(F(\phi (t)))=F^{\prime }(\phi (t)){\phi }^{\prime }(t)=f(\phi (t)){\phi }^{\prime }(t),$$

可见 $F(\phi (t))$ 是 $f(\phi (t)){\phi }^{\prime }(t)$的一个原函数. 因为 $f(\phi (t)){\phi }^{\prime }(t)$ 在$[\alpha ,\beta ]$ 上可积, 根据牛顿一莱布尼茨公式 (定理 9.1 ) 的注 2,2 )之所述, 证得

$$\begin{array}{r}{\int }_a^{\beta }f(\phi (t)){\phi }^{\prime }(t)\mathrm{d}t\\ \end{array}$$