定理4.14(定積分の積分変数の変換)

定積分における変数変換（置換積分）の公式を与える定理である。関数 によって、定積分の積分変数を から へと変換し、対応する積分範囲で計算できることを示している。

定理4.14

を に属する2点とし、 とおけば，

をある区間 で連続な の関数、 を区間 で定義された連続微分可能な の関数とし、 の値域 が に含まれているとして、 と の合成関数 を考察する。仮定により、 の導関数 は の連続関数である。

定理の主張

この定理は，定積分の変数変換（置換積分）において，積分変数を から に変換した際，積分範囲もそれに対応して から 、 から へと適切に変更すれば，積分の値が不変であることを主張している．

具体的には，関数 が微分可能であり，その導関数 が連続であるとき，

が成り立つというものである．ここで かつ であることが重要である．

証明

は連続であるから，その原始関数の つを とすると，微分積分学の基本定理より

である．

次に，合成関数 を考える．合成関数の微分法（連鎖律）より

となる．したがって， は被積分関数 の原始関数の つであることがわかる．

再び微分積分学の基本定理を適用すると，

となる．仮定より であるから，

が成り立つ．したがって，

となり，式 の値と一致する．

以上により，等式

が示された．

まとめ：定理4.14 と 定理4.15 の違い

定理4.14は，被積分関数 が連続であり，積分範囲が有界閉区間である場合の定積分に関する変数変換の公式である．

一方，積分範囲が無界であったり，被積分関数が区間の端で発散したりする「広義積分」の場合には，定理4.15を用いる必要がある．定理4.15では，収束性の等価性についても言及されている．

定理4.15（広義積分の積分変数の変換）についてはこちらを参照すること： 定理4.15 (積分変数の変換と広義積分の収束性および同値性)