정적분의 치환적분법
\(x=\phi(t)\)라 둔다. 변수 \(t\)가 \(\alpha\)에서 \(\beta\)까지 변할 때 \(x=\phi(t)\)는 \(a\)에서 \(b\)까지 변한다고 하면 \[a=\phi(\alpha),\,b=\phi(\beta)\] 이다. 또 \(\phi(t)\)는 미분가능 이고, \(\phi'(t)\)도 연속 이라고 가정한다. 이 때 \[\int_a^bf(x)dx=\int_\alpha^\beta f\left\{\phi(t)\right\}\phi'(t)dt\] 이 성립한다. 이것이 정적분 에서의 치환적분법 의 공식이다. < 증명 > \(f(x)\)는 연속이라고 하자. \(\phi(t)\)는 미분가능이므로 연속이다. 따라서 \(f\left\{\phi(t)\right\}\)도 연속이다. 가정에 의해 \(\phi'(t)\)도 연속이므로 \(f\left\{\phi(t)\right\}\phi'(t)\)는 연속이다. 그리고 \(f(x)\)의 부정적분 을 \({\rm F}(x)\)라 하면 \[{\rm F}'(x)=f(x)\qquad\text{즉,}\ {\rm F}'\left\{\phi(t)\right\}=f\left\{\phi(t)\right\}\] 이므로 \[\frac{d{\rm F}\left\{\phi(t)\right\}}{dt}={\rm F}'\left\{\phi(t)\right\}\phi'(t)=f\left\{\phi(t)\right\}\phi'(t)\] 따라서 이것을 \(\alpha\)에서 \(\beta\)까지 적분하면 \[\int_\alpha^\beta f\left\{\phi(t)\right\}\phi'(t)dt=\left[{\rm F}\left\{\phi(t)\right\}\right]_\alpha^\beta={\rm F}\left\{\phi(\beta)\right\}-{\rm F}\left\{\phi(\alpha)\right\}={\rm F}(b)-{\rm F}(a...