（ページ内リンク）
▽置換積分法
▽被積分関数を０で割り算して良いのか？
▽広義積分
〇変換された被積分関数の性質が変わる
▽積分できる区間の範囲に注意すること
▽広義積分を前提にした置換積分の計算事例
▽広義積分を利用する置換積分の事例２
高校生用の微分積分の教科書や参考書は不正確で、勉強用に不適切だと思います。高校２年生が微分積分を勉強するのに適切な参考書は、大学１年生向けの参考書：「やさしく学べる微分積分」（石村園子） ￥2000円 が良いと思います。
【置換積分法】
不定積分∫f(x)dx を求めるときに，積分変数を変換して積分する事を置換積分法といいます。
（広義積分に注意）置換積分では被積分関数を変形する計算をします。被積分関数を変形する際に広義積分を利用する計算が頻繁に行なわれています。広義積分は大学で学ぶ概念であり高校数学では説明されていません。しかし、積分の式の変形計算を理解するためには、避けて通れない概念です。積分の計算処理を理解するために、広義積分についても学んでおく必要があります。
(置換積分法の第１の定理)
関数f(x)が、変数ｘのある連結した区間内の全ての実数で定義された、１つながりに連続な関数である場合、
変数ｘを、微分可能な関数g(t)で、x=g(t)という式で変数ｔに変換すると、
が成り立つ。
（置換積分の第１の定理おわり）
(置換積分法の第２の定理＝逆向きの定理)
置換積分法には、以下の、逆向きの置換積分の定理があります。
「生き抜くための高校数学」（芳沢光雄） の４１７ページに逆向きの置換積分の使い方の説明があります。
ｘで微分可能な関数s(x)でｓ=s(x)とした変数ｓを使った置換積分によって、以下のように変数ｘを変数ｓに変換して積分できます。
この、置換積分の第２の定理では、dx部分をdsに置き換えるのと同時に、f(x)部分をp(x)に置き換える際にf(x)をs'(x)で割り算してp(x)にしている。
あるx=aの点でs'(a)=0となる場合、そのx=aの点で、式を0で割り算する計算をしているので、これは、式の同値変形では無い。
しかし、被積分関数の分母にs'(a)=0という関数があっても、広義積分によって、積分した結果の関数が、x=aで極限値を持てば、その極限値をx=aでの積分の値であると定義できる。
そのため、s'(a)=0となる関数が分母に来て、積分の定義域からx=aとなる点が除外されても、広義積分によって、x=aでの関数の極限値が存在すれば、x=aの点を定義域に復活できる。また、その極限値が存在しないならば、x=aとなる点で関数が定義され無いことがそのままで正しいのです。そのため、s'(a)=0となる関数s'(x)が分母に来ても良いのです。
（置換積分の第２の定理おわり）
《被積分関数を０で割り算して良いのか？》
以下の事例を考えてもう少し詳しくこの問題を考える。
《第１の事例》
置換積分の第２の定理ではs'(x)で割り算していることが顕著な事例として、「被積分関数p(x)がx=x0において1/0という計算をする、以下の例の様な置換積分の事例があります。以下の式の最後の式は、広義積分によって、積分範囲のxの上限が０に近づくいた積分の値の極限値を、x=0に至る積分範囲での積分と定義して解くことができます。
上の式の最後の式は、広義積分によって解くことはできますが、広義積分は大学生になって初めて学ぶことです。そのため、高校生は、広義積分をあまり良く知らないので、「x=0では被積分関数が定義されていないので、x=0までの定積分はできない」と答えるまでで留めれば良いと思います。
この事例から、置換積分の第２の定理ではp(x)=f(x)/s'(x)という計算をしている事が明らかになりました。
同様に、この事例ほど顕著でない場合の、「積分記号の中で、f(x)を、ｘ＝x0 で０になる式s'(x)で割り切った式p(x)=h(t)に置き換える場合」も、広義積分によって、そうする計算が無条件で許されています。そのため、逆向きの置換積分の公式を、s'(x)≠0という条件を付けずに使っています。
《第２の置換積分の計算では、なぜ逆向きの置換積分によって、 あたかも０を０で割り切るような式の変形をして良いのか？》
積分の計算で、０を０で割り切る形をした式の変形をして積分する事が許される根拠は広義積分です。
0を0で割り切る式では、分母が0になる点では被積分関数が定義されない。その点をｘ＝x0 とすると、
その点を除いた x0 の左右の連結区間では、被積分関数p(x)=h(t)は、分母と分子をs'(x)で割り切った式である。
そのx=x0の左右の連結区間でp(x)=h(t)を不定積分する。
そして、広義積分によって、その連結区間の境界を x0 に近づけた場合の被積分関数p(x)=h(t)の積分の極限値を、点x0での積分の値であると定義する。
そうして、x=x0の左右の連結区間における２つの不定積分を１つながりに連続な関数に連結する広義積分を行う。
すなわち、s'(x)が0となるｘ＝x0で定義されない関数f(x)/s'(x)=p(x)を、x=x0での値をp(x0)と定義してしまって、x0 をまたいで不定積分できる。
このように、広義積分によって、
「積分記号の中の被積分関数が、x＝x0 で０になる式s'(x)で割り算して割り切ってしまって式p(x)にした被積分関数は、x=x0の点を含む、その点をまたいだ区間で積分できる。」
法則が成り立っている。
この法則は、この関数s'(x)に限られず、
「積分記号の中の被積分関数が、x＝x0 で０になる式(x-x0)の項を分母と分子に持ち、それを約分して式p(x)の形にできる場合は（x=x0でp(x)が定義されている場合は）、その積分は、約分した形の被積分関数p(x)を、x=x0の点をまたいだ区間で積分して良い。」
これが、積分記号の中の被積分関数では、無条件で、0を0で割り算した計算で式を変形して良い理由です。
《広義積分》
上のグラフは、不連続な関数ｆ（ｘ）のグラフですが、無理やり積分して積分可能なグラフの例を示しています。
上の図の関数ｆ（ｘ）がリーマン積分可能なのは、変数ｘの全区間の部分区間毎です。
（１）第１の部分区間：
－∞＜ｘ＜Ａ
（２）第２の部分区間：
Ａ’≦ｘ≦Ｃ
（点Ａで関数は不連続であり、また、極限も存在しませんが、
－∞＜ｘ≦Ｃ
まで合わせた区間でも、関数の区間を細分した各小区間での関数の値の和が一通りに定まるので、その連続で無い点Ａを範囲内に持つ区間でもリーマン積分可能です。）
（点Ｂでは、関数が無限大になるので積分ができません）
（３）第３の部分：
Ｄ≦ｘ＜＋∞
（注意１）
リーマン積分では、点Ａ’から点Ｄまで、関数ｆ（ｘ）の値が無限に大きくなる点Ｂを範囲内に持つ区間で関数ｆ（ｘ）を積分することができません。
その理由は：
無限に関数値が大きくなる点Ｂを積分の範囲内に持つと、その点Ｂを中に持つｘの小区間で、
細分の幅Δｘがどれだけ小さな値であっても、
（１／Δｘ）≪ｆ（ξ）
となる関数値ｆ（ξ）を選ぶことができるからです。
そういう関数値ｆ（ξ）を選んでしまうと、関数値の総和が定まらなくなってしまうからです。
（広義積分によって、「積分可能性」の定義を拡大する）
しかし、上図の関数ｆ（ｘ）は、以下の２つの条件を満足するならば、以下のように広義積分することが可能です。
（条件１）
Ｂ点の左側の区間で、Ｘ＝Ａ’からｘ＝Ｃまでの積分の値の、Ｃを無限にＢに近付けた極限の有限の値を持つものとする。
（条件２）
また、Ｂ点の右側の区間で、Ｘ＝ＤからＸ＝＋∞までの積分の値の、Ｄを無限にＢに近付けた極限の有限の値を持つものとする。
「そのように左側の区間のＣ点及び右側の区間のＤ点をＢ点に近付けた極限での積分の値が存在するならば、
Ｂ点の左側の区間の積分値と、Ｂ点の右側の区間の積分値の和を、点Ｂを範囲内に持つｘの区間での積分とする（広義積分）」
と言うように、関数ｆ（ｘ）の「積分可能性」の定義を拡大することができます。
また、グラフが積分可能な範囲は、変数を置き換える置換積分によって、変数を変え、被積分関数の形を変えると、
積分可能な範囲が変わることがあります。
例えば、以下の図の、
関数ｆ（ｘ）≡１／√(-x)
は、ｘが－１から０未満の数までの範囲で定積分可能ですが、
ｘが－１から０までの範囲では、ｘ＝０に近づくと被積分関数の値が無限に大きくなるので、定積分できません。（ただし、これは広義積分によって定積分が可能になります。）
図：被積分関数f(x)のグラフ
しかし、
新たな変数ｔ≡－√(-x)
を使って、変数ｔで積分する式に変換する（置換積分）と、
以下の図の様に、被積分関数が定数２に変換されます。
そのため、その場合は、
ｘがー１から０までの範囲に対応する、
ｔが－１から０までの範囲で、
「積分可能」に変わります。以下で、その理由を詳しく説明します。
この被積分関数の計算では、先ず、置換積分によって、t=0の場合には定義されない関数 t/t を含む被積分関数ができます。
関数t/tは、t=0では定義されていないので、この積分は、t=0を積分範囲に含めることはできません。
しかし、次に、t/tの式を約分して１にして、t=0で定義された関数のみを残しています。t/tの約分の結果、被積分関数はt=0でも定義されている関数に変わります。
その関数を積分する際に、被積分関数が定義されていなかった点t=0の点を、広義積分によって積分可能な領域に加える処理を行っています。
被積分関数が定義されているt=0の点を積分可能な領域に加えるのは当然のように見えます。しかし、t=0の点を積分可能な領域に加えるのは、背後にある広義積分により行われています。
また、この関数ｆ（ｘ）に対して以下の図のグラフの不定積分F(x)を考えてみます。
（不定積分の求め方）
この不定積分の求め方は、上図の被積分関数f(x)の部分毎に原始関数＝不定積分F(x)を求め、それらの不定積分を、連続になるようにつなげば、以下のグラフのように、総体の不定積分が出来上がります。
定義域ｘ＜０の被積分関数ｆ（ｘ）の原始関数のF1(x)=－２ と、
定義域ｘ＞０の被積分関数ｆ（ｘ）の原始関数のF2(x)=２ と
を独立にＹ方向に平行移動させて、ｘ＝０で連続につないで不定積分を求めます。
この不定積分F(x)は、不定積分が、被積分関数f(x)の定義域のｘ＜０だけで定義されることになるのが気持ち悪かったので、被積分関数f(x)のｘ＞０の範囲を勝手に定義して、その全体の不定積分を作りました。被積分関数f(x)の部分毎に作った原始関数を、連続につないで総体の不定積分を作りました。
このグラフの不定積分F(x)を微分してみます。
この不定積分F（ｘ）は、１つながりの連続関数であって、
また、ｘ＝０以外の点で微分するとｆ（ｘ）になります。
この不定積分F(x)が１つながりに連続な変数ｘの範囲では、関数ｆ（ｘ）が積分可能です。
（その理由は、以下で、藤原松三郎の「微分積分学 第１巻」を解説して説明します）
そして、関数ｆ（ｘ）の定積分は、
不定積分F(x)が１つながりに連続な範囲の：
ａ≦ｘ≦ｂ
の区間では定積分でき、その定積分の値は：
Ｆ（ｂ）－Ｆ（ａ）
で計算しても良いです。
関数ｆ（ｘ）が積分可能な条件は、ｆ（ｘ）の不定積分Ｆ（ｘ）が、ｆ（ｘ）の積分区間において１つながりに連続である事です。
このように、広義積分を利用することで、積分可能の条件が広くされました。
----（補足）------
また、－１≦ｘ＜０で定義された
関数ｆ（ｘ）≡１／√(-x)
の定積分を計算する場合に、上図の不定積分Ｆ（ｘ）の他に以下の図の様に不定積分Ｆ（ｘ）と、それを微分した関数ｆ（ｘ）を考えて、それらの定義域を、元の関数ｆ（ｘ）の定義域にまで縮小して考えても同じことになります。
つまり、被積分関数ｆ（ｘ）のｘ＞０の範囲に接続する勝手な関数を別の関数に変えて、その全体の不定積分を作りました。関数ｆ（ｘ）の全体の定義域の部分の定義域毎の原始関数を、連続になるようにつないで総体の不定積分を作りました。
この関数Ｆ（ｘ）は、ｘ＝０で連続な１つながりな連続関数です。
この関数Ｆ（ｘ）を微分すると以下の関数ｆ（ｘ）になる。
そのため、F(x)は、そのｆ（ｘ）の不定積分です。
この不定積分Ｆ（ｘ）の定義域を、
ｘ≦０
にすれば良い。
ここで、ｘ＜０で定義される被積分関数ｆ（ｘ）に、ｘ＞０で定義される勝手な被積分関数ｆ（ｘ）を加えて、被積分関数ｆ（ｘ）を、その定義域を広げた異なる関数に変えて、その全体の不定積分F（ｘ）を作りました。そして、最終的に、その不定積分の定義域は削除するので、X>0の定義域の不定積分は、気休めに加えたものにすぎません。
ただし、いずれの作り方で作るにしても、不定積分F(x)の定義域はｘ≦０にでき、被積分関数ｆ（ｘ）の定義域はｘ＜０ですので、不定積分F(x)の定義域の方が被積分関数ｆ（ｘ）の定義域よりも広く作れました。
----補足おわり--------
これらの事については、数学者の藤原松三郎の「微分積分学 第１巻」が、
連結区間ａ≦ｘ≦ｂ内で定義される関数ｆ（ｘ）が、その連結区間内に有限個の連続で無い点を持つ関数ｆ（ｘ）である場合に、
その区間ａ≦ｘ≦ｂでのｆ（ｘ）の積分を広義積分と呼び、
関数ｆ（ｘ）の不定積分F(x)が求められて、
関数ｆ（ｘ）の積分範囲
ａ≦ｘ≦ｂ
内で不定積分F(x)が（端点では片側連続である）１つながりに連続な関数ならば、
（その積分範囲内にF(x)が微分不可能な点、それは被積分関数ｆ（ｘ）が連続で無い点、があっても良い）、
（１）それは、不連続関数ｆ（ｘ）が積分可能である証拠であり、
（２）以下の計算で定積分を計算して良い事が書いてあります。
Ｆ（ｂ）－Ｆ（ａ）
よって、
不連続な関数ｆ（ｘ）に対して、
その定義域を、関数ｆ（ｘ）の連続で無い点を除外した連結区間に分割し、
それら各連結区間毎に原始関数を計算し、
得られた各原始関数を連続につないで不定積分を構成します。
その１つながりに連続な不定積分を使って上の式で定積分を計算して良いのです。
また、小寺平治・著「はじめての微分積分15講」（2,200円）の１０３ページにも、このことが書いてあります。
小平邦彦「[軽装版]解析入門Ⅰ」の１８２ページにも、このことが書いてあります。
【積分できる区間の範囲に注意すること】
（積分区間を分割して、それぞれで積分する）
区間[a,b]に限ってx=g(t)で定義される変数 t で置換積分して不定積分を求める。その区間[a,b]に隣接する区間[c,d]でx=h(u)で定義される変数 u で置換積分して不定積分を求める。それらの不定積分の関数同士が、閉区間が隣接する境界の極限で１つながりに連続に連結できるかを考える。
すなわち、不定積分の部分として、確実に置換積分可能に範囲を狭めた連結区間[a,b]や連結区間[c,d]での不定積分の部分を複数求め、その関数を連続につないで１つながりに連続した不定積分を作るという広義積分を行なえば良いのです。
【定積分する積分区間を間違えないコツ】
後で説明する、置換積分を媒介する関数g(t)の条件を緩められる事の説明の中の事例のように、被積分関数が不連続であっても積分できることがある。
そのため、被積分関数が連続であるか否かという、積分可能の判定条件は、広義積分を利用する積分では、便宜的な十分条件であって、積分可能のための必要条件ではありません。
この、
「積分結果の不定積分の関数F(x)が積分区間[a,b]で１つながりに連続する」
という条件が、
広義積分の公式においても、積分値が有限である区間[a,b]を定めるための必要十分条件であると考えます。
（積分できない変数ｘの範囲に気をつける）
下図の関数f(x)は、ｘ＝０の点では関数f(x)の値が－∞になり、関数が定義されていないで、関数が不連続です。そして、この関数では、ｘ＝０を含んだ範囲で積分することはできません。
上図の関数を、上図の様にｘ＝０を含む区間で定積分したら、マイナスの無限大になるので、積分が不可能です。
そのため、上図の関数を、例えば－１から１までの区間で積分する事も不可能です。
そのため、この関数f(x)の不定積分の変数ｘの定義域の閉区間は、x=0を含む事ができません。
これを無視して、関数ｆ（ｘ）の不定積分F(x)の変数の定義域にｘ＝０を入れてしまうと以下の間違いをおかします。
Ｆ（ｘ）＝１／ｘをｘで微分したら
になります。
そして、変数ｘで積分する区間内に、ｆ（ｘ）が発散する点のｘ＝０を含めた、ｘが－１から１までの区間で、
関数ｆ（ｘ）の定積分を、F(x)を使って、 Ｆ（１）－Ｆ（－１）＝１－（－１）＝２
という 計算で求めると、明らかに間違えます。
上の図で明らかな様に、－１から１までの範囲でのｆ（ｘ）の積分はｆ（ｘ）のグラフの面積にならなければなりません。そのため、定積分の答えは、マイナス無限大にならなければなりません。そのため、 Ｆ（１）－Ｆ（－１）＝２は、明らかに間違っています。
なお、関数が不定積分できた積分変数ｘの積分区間の判定方法は：
不定積分ができた積分変数ｘの範囲は、
不定積分の関数が、１つながりに連続な連結区間です。
不定積分が１つながりに連結する積分変数ｘの区間を１単位にし、
その１単位毎の関数は、異なる不定積分の関数とします。
上の例：
（第１の積分）
（第２の積分）
では、
x<0, での t+C という不定積分と、
x>0, での t+C という不定積分とは、
異なる関数だと言えます。
（不定積分を表す関数の変数ｔの定義域が異なれば異なる関数だからです）
【広義積分を前提にした置換積分の計算事例１】
以下の不定積分を考えます。
（第１の解）
この不定積分は以下のように解けます。すなわち、先ず、元の式を以下の式に変形します。
ここで、以下の式で変数ｔを定義します。
以下のように積分の変数ｘを変数ｔに置き換えた積分に変換します。
（第１の解おわり）
（第２の解）
この解は、以下のように、広義積分の概念を用いて解けます。
先ず、元の式を以下のように変形します。
（補足）ここで、被積分関数の分母と分子に、x=0で値が０になる関数を掛け算しています。こうすると、被積分関数が、x=0で定義されていない関数に変わってしまいます。これは、式の同値変形では無い。（大学で学ぶ）広義積分によって、関数が定義されないx=0の点も、後で、積分可能な変数の領域に加える処理が行えます。そのため、0/0となる関数を掛け算して被積分関数の定義域を変えてしまう処理をしても良いのです。後に、広義積分がそのx=0の点を積分可能な領域に加えることができるからです。
次に、この積分を以下の式に変形します。
ここで、以下の式で変数ｔを定義します。
以下のように積分の変数ｘを変数ｔに置き換えた積分に変換します。
（第２の解おわり）
ここで、第２の解が得られたのですが、その解の、積分定数C以外の部分の以下の関数を考えます。
この関数は以下に示すように、x=0では定義されていないと分かります。第１の解が、x=0でも定義されているにもかかわらずです。
この関数は、以下の式に変形できます。
この関数のx=0における極限は、以下の式になります。
広義積分によって、積分結果の関数が定義されていないx=0における関数の値は、その関数のx→0における極限値であるものと解釈します。
そのため、この第２の解は、x=0の値においても、第１の解と等しい解であると解釈します。
広義積分によって、そのように積分結果の解を解釈できるので、この積分結果を以下の様にコメントを入れた上で変形するならば減点されないと考えます。
この関数のx→0の極限値をx=0での値とする：
（注意）しかし、この計算を、積分結果以外の式で行ない、x=0の場合に０を０で割る約分によって式を変形すれば、減点されてしまいます。広義積分を適用することで通用した上の式の計算は、式の同値変形では無いので、積分とは無関係な式の計算では通用しないのです。しかし、上の式の積分結果の式を変形する処理で、分母と分子をsin(x/2)で割り切って約分する、同値変形では無い式の変形をする際に、
「この関数のx→～の極限値をx=～での値とする：」
と一言書いてから式を約分すれば良い。そうすれば、このように同値変形では無い計算をすること、更に、関数の定義域にx=0の点も加えている処理が減点されないと思います。
【減点されない式変形】積分記号の中ならば０を０で割る式が自由に使えるので、積分記号の外に出さずに式を変形する。これならば減点されない。
（計算おわり）
【広義積分を利用する置換積分の事例２】
この積分を、以下の変数変換をする置換積分法で解く場合を考えます。
（注意）この変数ｔは、ｘ＝π／２の場合に無限大になってしまうので、この計算では、ｘ＝π／２の点を含む区間では積分ができない事に注意。すなわち、変数ｘが、
の（１つながりに連結する区間の）範囲内のみで、置換積分が可能であり、その区間の外の値の変数ｘでは置換積分ができないのです。
この関数のcosx→0となるｘでの極限値をそのxでの値F(x)とする：
ここで、
cosｘ＝0, 例えばx=π／２の場合の積分結果を求めるために、
以下の（関数の極限値を求める）広義積分を行う。
この様に広義積分を行うことで、変数ｔを利用した積分ではx=π/2では積分結果が定義されていなかった積分結果も定義でき、変数ｔを利用した積分が不十分だった積分結果を補うことができた。
（計算おわり）
【減点されない式変形】積分記号の中ならば０を０で割る式が自由に使えるので、積分記号の外に出さずに式を変形する。これならば減点されない。
（計算おわり）
（注意１）
なお、この積分は、広義積分が必要になるように、わざと難しい解き方をしました。
《事例２の別解》
事例２は、このように難しく解く必要は無く、以下のように解ける事を注意しておきます。
事例２の積分は、
変数2x=(π/2)−2y,
という変数変換をして、
１／sin(2y)のyによる積分に変換した上で、
tan(y)=ｔ
とする変数ｔを導入するのが普通の解き方です。
（参考例がここをクリックした先にあります）
ただし、そのようにする場合の変数ｔの導入でも、
y=π/2を含む区間では積分できません。
ただし、
被積分関数の１／sin(2y)は、元々
y=π/2の点で、分母が０になって、関数値が無限大になるので、
y=π/2の点を含む区間では積分できない関数でした。
そのため、ここで、この変数ｔを導入しても、新たに積分区間を制約することにもならないので、この変数ｔの導入方法は良い解き方です。
変数ｙをこの変数ｔに変換して解く積分の場合は、後で、広義積分する必要も生じないので、良い解き方です。
《事例２のその他の別解》
また、以上の別解とは異なる変数の変換をして、以下のように置換積分をしても、広義積分する必要も生じない解が得られます。
（計算おわり）
この積分結果の式は、「三角関数の分数式の変換公式」の公式４の式６を参照すると、先の計算の解の式と同じ式になることがわかる。
リンク：
高校数学の目次
高校２年生も覚えるべき置換積分法
▽置換積分法
▽被積分関数を０で割り算して良いのか？
▽広義積分
〇変換された被積分関数の性質が変わる
▽積分できる区間の範囲に注意すること
▽広義積分を前提にした置換積分の計算事例
▽広義積分を利用する置換積分の事例２
高校生用の微分積分の教科書や参考書は不正確で、勉強用に不適切だと思います。高校２年生が微分積分を勉強するのに適切な参考書は、大学１年生向けの参考書：「やさしく学べる微分積分」（石村園子） ￥2000円 が良いと思います。
【置換積分法】
不定積分∫f(x)dx を求めるときに，積分変数を変換して積分する事を置換積分法といいます。
（広義積分に注意）置換積分では被積分関数を変形する計算をします。被積分関数を変形する際に広義積分を利用する計算が頻繁に行なわれています。広義積分は大学で学ぶ概念であり高校数学では説明されていません。しかし、積分の式の変形計算を理解するためには、避けて通れない概念です。積分の計算処理を理解するために、広義積分についても学んでおく必要があります。
(置換積分法の第１の定理)
関数f(x)が、変数ｘのある連結した区間内の全ての実数で定義された、１つながりに連続な関数である場合、
変数ｘを、微分可能な関数g(t)で、x=g(t)という式で変数ｔに変換すると、
が成り立つ。
（置換積分の第１の定理おわり）
(置換積分法の第２の定理＝逆向きの定理)
置換積分法には、以下の、逆向きの置換積分の定理があります。
「生き抜くための高校数学」（芳沢光雄） の４１７ページに逆向きの置換積分の使い方の説明があります。
ｘで微分可能な関数s(x)でｓ=s(x)とした変数ｓを使った置換積分によって、以下のように変数ｘを変数ｓに変換して積分できます。
この、置換積分の第２の定理では、dx部分をdsに置き換えるのと同時に、f(x)部分をp(x)に置き換える際にf(x)をs'(x)で割り算してp(x)にしている。
あるx=aの点でs'(a)=0となる場合、そのx=aの点で、式を0で割り算する計算をしているので、これは、式の同値変形では無い。
しかし、被積分関数の分母にs'(a)=0という関数があっても、広義積分によって、積分した結果の関数が、x=aで極限値を持てば、その極限値をx=aでの積分の値であると定義できる。
そのため、s'(a)=0となる関数が分母に来て、積分の定義域からx=aとなる点が除外されても、広義積分によって、x=aでの関数の極限値が存在すれば、x=aの点を定義域に復活できる。また、その極限値が存在しないならば、x=aとなる点で関数が定義され無いことがそのままで正しいのです。そのため、s'(a)=0となる関数s'(x)が分母に来ても良いのです。
（置換積分の第２の定理おわり）
《被積分関数を０で割り算して良いのか？》
以下の事例を考えてもう少し詳しくこの問題を考える。
《第１の事例》
置換積分の第２の定理ではs'(x)で割り算していることが顕著な事例として、「被積分関数p(x)がx=x0において1/0という計算をする、以下の例の様な置換積分の事例があります。以下の式の最後の式は、広義積分によって、積分範囲のxの上限が０に近づくいた積分の値の極限値を、x=0に至る積分範囲での積分と定義して解くことができます。
上の式の最後の式は、広義積分によって解くことはできますが、広義積分は大学生になって初めて学ぶことです。そのため、高校生は、広義積分をあまり良く知らないので、「x=0では被積分関数が定義されていないので、x=0までの定積分はできない」と答えるまでで留めれば良いと思います。
この事例から、置換積分の第２の定理ではp(x)=f(x)/s'(x)という計算をしている事が明らかになりました。
同様に、この事例ほど顕著でない場合の、「積分記号の中で、f(x)を、ｘ＝x0 で０になる式s'(x)で割り切った式p(x)=h(t)に置き換える場合」も、広義積分によって、そうする計算が無条件で許されています。そのため、逆向きの置換積分の公式を、s'(x)≠0という条件を付けずに使っています。
《第２の置換積分の計算では、なぜ逆向きの置換積分によって、 あたかも０を０で割り切るような式の変形をして良いのか？》
積分の計算で、０を０で割り切る形をした式の変形をして積分する事が許される根拠は広義積分です。
0を0で割り切る式では、分母が0になる点では被積分関数が定義されない。その点をｘ＝x0 とすると、
その点を除いた x0 の左右の連結区間では、被積分関数p(x)=h(t)は、分母と分子をs'(x)で割り切った式である。
そのx=x0の左右の連結区間でp(x)=h(t)を不定積分する。
そして、広義積分によって、その連結区間の境界を x0 に近づけた場合の被積分関数p(x)=h(t)の積分の極限値を、点x0での積分の値であると定義する。
そうして、x=x0の左右の連結区間における２つの不定積分を１つながりに連続な関数に連結する広義積分を行う。
すなわち、s'(x)が0となるｘ＝x0で定義されない関数f(x)/s'(x)=p(x)を、x=x0での値をp(x0)と定義してしまって、x0 をまたいで不定積分できる。
このように、広義積分によって、
「積分記号の中の被積分関数が、x＝x0 で０になる式s'(x)で割り算して割り切ってしまって式p(x)にした被積分関数は、x=x0の点を含む、その点をまたいだ区間で積分できる。」
法則が成り立っている。
この法則は、この関数s'(x)に限られず、
「積分記号の中の被積分関数が、x＝x0 で０になる式(x-x0)の項を分母と分子に持ち、それを約分して式p(x)の形にできる場合は（x=x0でp(x)が定義されている場合は）、その積分は、約分した形の被積分関数p(x)を、x=x0の点をまたいだ区間で積分して良い。」
これが、積分記号の中の被積分関数では、無条件で、0を0で割り算した計算で式を変形して良い理由です。
《広義積分》
上のグラフは、不連続な関数ｆ（ｘ）のグラフですが、無理やり積分して積分可能なグラフの例を示しています。
上の図の関数ｆ（ｘ）がリーマン積分可能なのは、変数ｘの全区間の部分区間毎です。
（１）第１の部分区間：
－∞＜ｘ＜Ａ
（２）第２の部分区間：
Ａ’≦ｘ≦Ｃ
（点Ａで関数は不連続であり、また、極限も存在しませんが、
－∞＜ｘ≦Ｃ
まで合わせた区間でも、関数の区間を細分した各小区間での関数の値の和が一通りに定まるので、その連続で無い点Ａを範囲内に持つ区間でもリーマン積分可能です。）
（点Ｂでは、関数が無限大になるので積分ができません）
（３）第３の部分：
Ｄ≦ｘ＜＋∞
（注意１）
リーマン積分では、点Ａ’から点Ｄまで、関数ｆ（ｘ）の値が無限に大きくなる点Ｂを範囲内に持つ区間で関数ｆ（ｘ）を積分することができません。
その理由は：
無限に関数値が大きくなる点Ｂを積分の範囲内に持つと、その点Ｂを中に持つｘの小区間で、
細分の幅Δｘがどれだけ小さな値であっても、
（１／Δｘ）≪ｆ（ξ）
となる関数値ｆ（ξ）を選ぶことができるからです。
（広義積分によって、「積分可能性」の定義を拡大する）
しかし、上図の関数ｆ（ｘ）は、以下の２つの条件を満足するならば、以下のように広義積分することが可能です。
（条件１）
Ｂ点の左側の区間で、Ｘ＝Ａ’からｘ＝Ｃまでの積分の値の、Ｃを無限にＢに近付けた極限の有限の値を持つものとする。
（条件２）
また、Ｂ点の右側の区間で、Ｘ＝ＤからＸ＝＋∞までの積分の値の、Ｄを無限にＢに近付けた極限の有限の値を持つものとする。
「そのように左側の区間のＣ点及び右側の区間のＤ点をＢ点に近付けた極限での積分の値が存在するならば、
Ｂ点の左側の区間の積分値と、Ｂ点の右側の区間の積分値の和を、点Ｂを範囲内に持つｘの区間での積分とする（広義積分）」
と言うように、関数ｆ（ｘ）の「積分可能性」の定義を拡大することができます。
また、グラフが積分可能な範囲は、変数を置き換える置換積分によって、変数を変え、被積分関数の形を変えると、
積分可能な範囲が変わることがあります。
例えば、以下の図の、
関数ｆ（ｘ）≡１／√(-x)
は、ｘが－１から０未満の数までの範囲で定積分可能ですが、
ｘが－１から０までの範囲では、ｘ＝０に近づくと被積分関数の値が無限に大きくなるので、定積分できません。（ただし、これは広義積分によって定積分が可能になります。）
新たな変数ｔ≡－√(-x)
を使って、変数ｔで積分する式に変換する（置換積分）と、
以下の図の様に、被積分関数が定数２に変換されます。
ｘがー１から０までの範囲に対応する、
ｔが－１から０までの範囲で、
「積分可能」に変わります。以下で、その理由を詳しく説明します。
この被積分関数の計算では、先ず、置換積分によって、t=0の場合には定義されない関数 t/t を含む被積分関数ができます。
関数t/tは、t=0では定義されていないので、この積分は、t=0を積分範囲に含めることはできません。
しかし、次に、t/tの式を約分して１にして、t=0で定義された関数のみを残しています。t/tの約分の結果、被積分関数はt=0でも定義されている関数に変わります。
その関数を積分する際に、被積分関数が定義されていなかった点t=0の点を、広義積分によって積分可能な領域に加える処理を行っています。
被積分関数が定義されているt=0の点を積分可能な領域に加えるのは当然のように見えます。しかし、t=0の点を積分可能な領域に加えるのは、背後にある広義積分により行われています。
また、この関数ｆ（ｘ）に対して以下の図のグラフの不定積分F(x)を考えてみます。
（不定積分の求め方）
この不定積分の求め方は、上図の被積分関数f(x)の部分毎に原始関数＝不定積分F(x)を求め、それらの不定積分を、連続になるようにつなげば、以下のグラフのように、総体の不定積分が出来上がります。
定義域ｘ＜０の被積分関数ｆ（ｘ）の原始関数のF1(x)=－２ と、
定義域ｘ＞０の被積分関数ｆ（ｘ）の原始関数のF2(x)=２ と
を独立にＹ方向に平行移動させて、ｘ＝０で連続につないで不定積分を求めます。
この不定積分F(x)は、不定積分が、被積分関数f(x)の定義域のｘ＜０だけで定義されることになるのが気持ち悪かったので、被積分関数f(x)のｘ＞０の範囲を勝手に定義して、その全体の不定積分を作りました。被積分関数f(x)の部分毎に作った原始関数を、連続につないで総体の不定積分を作りました。
また、ｘ＝０以外の点で微分するとｆ（ｘ）になります。
この不定積分F(x)が１つながりに連続な変数ｘの範囲では、関数ｆ（ｘ）が積分可能です。
（その理由は、以下で、藤原松三郎の「微分積分学 第１巻」を解説して説明します）
そして、関数ｆ（ｘ）の定積分は、
不定積分F(x)が１つながりに連続な範囲の：
ａ≦ｘ≦ｂ
の区間では定積分でき、その定積分の値は：
Ｆ（ｂ）－Ｆ（ａ）
で計算しても良いです。
関数ｆ（ｘ）が積分可能な条件は、ｆ（ｘ）の不定積分Ｆ（ｘ）が、ｆ（ｘ）の積分区間において１つながりに連続である事です。
このように、広義積分を利用することで、積分可能の条件が広くされました。
----（補足）------
また、－１≦ｘ＜０で定義された
関数ｆ（ｘ）≡１／√(-x)
の定積分を計算する場合に、上図の不定積分Ｆ（ｘ）の他に以下の図の様に不定積分Ｆ（ｘ）と、それを微分した関数ｆ（ｘ）を考えて、それらの定義域を、元の関数ｆ（ｘ）の定義域にまで縮小して考えても同じことになります。
つまり、被積分関数ｆ（ｘ）のｘ＞０の範囲に接続する勝手な関数を別の関数に変えて、その全体の不定積分を作りました。関数ｆ（ｘ）の全体の定義域の部分の定義域毎の原始関数を、連続になるようにつないで総体の不定積分を作りました。
この関数Ｆ（ｘ）を微分すると以下の関数ｆ（ｘ）になる。
この不定積分Ｆ（ｘ）の定義域を、
ｘ≦０
にすれば良い。
ここで、ｘ＜０で定義される被積分関数ｆ（ｘ）に、ｘ＞０で定義される勝手な被積分関数ｆ（ｘ）を加えて、被積分関数ｆ（ｘ）を、その定義域を広げた異なる関数に変えて、その全体の不定積分F（ｘ）を作りました。そして、最終的に、その不定積分の定義域は削除するので、X>0の定義域の不定積分は、気休めに加えたものにすぎません。
ただし、いずれの作り方で作るにしても、不定積分F(x)の定義域はｘ≦０にでき、被積分関数ｆ（ｘ）の定義域はｘ＜０ですので、不定積分F(x)の定義域の方が被積分関数ｆ（ｘ）の定義域よりも広く作れました。
----補足おわり--------
これらの事については、数学者の藤原松三郎の「微分積分学 第１巻」が、
連結区間ａ≦ｘ≦ｂ内で定義される関数ｆ（ｘ）が、その連結区間内に有限個の連続で無い点を持つ関数ｆ（ｘ）である場合に、
その区間ａ≦ｘ≦ｂでのｆ（ｘ）の積分を広義積分と呼び、
関数ｆ（ｘ）の不定積分F(x)が求められて、
関数ｆ（ｘ）の積分範囲
ａ≦ｘ≦ｂ
内で不定積分F(x)が（端点では片側連続である）１つながりに連続な関数ならば、
（その積分範囲内にF(x)が微分不可能な点、それは被積分関数ｆ（ｘ）が連続で無い点、があっても良い）、
（１）それは、不連続関数ｆ（ｘ）が積分可能である証拠であり、
（２）以下の計算で定積分を計算して良い事が書いてあります。
Ｆ（ｂ）－Ｆ（ａ）
よって、
不連続な関数ｆ（ｘ）に対して、
その定義域を、関数ｆ（ｘ）の連続で無い点を除外した連結区間に分割し、
それら各連結区間毎に原始関数を計算し、
得られた各原始関数を連続につないで不定積分を構成します。
その１つながりに連続な不定積分を使って上の式で定積分を計算して良いのです。
また、小寺平治・著「はじめての微分積分15講」（2,200円）の１０３ページにも、このことが書いてあります。
小平邦彦「[軽装版]解析入門Ⅰ」の１８２ページにも、このことが書いてあります。
【積分できる区間の範囲に注意すること】
（積分区間を分割して、それぞれで積分する）
すなわち、不定積分の部分として、確実に置換積分可能に範囲を狭めた連結区間[a,b]や連結区間[c,d]での不定積分の部分を複数求め、その関数を連続につないで１つながりに連続した不定積分を作るという広義積分を行なえば良いのです。
【定積分する積分区間を間違えないコツ】
後で説明する、置換積分を媒介する関数g(t)の条件を緩められる事の説明の中の事例のように、被積分関数が不連続であっても積分できることがある。
そのため、被積分関数が連続であるか否かという、積分可能の判定条件は、広義積分を利用する積分では、便宜的な十分条件であって、積分可能のための必要条件ではありません。
「積分結果の不定積分の関数F(x)が積分区間[a,b]で１つながりに連続する」
という条件が、
広義積分の公式においても、積分値が有限である区間[a,b]を定めるための必要十分条件であると考えます。
（積分できない変数ｘの範囲に気をつける）
下図の関数f(x)は、ｘ＝０の点では関数f(x)の値が－∞になり、関数が定義されていないで、関数が不連続です。そして、この関数では、ｘ＝０を含んだ範囲で積分することはできません。
そのため、上図の関数を、例えば－１から１までの区間で積分する事も不可能です。
そのため、この関数f(x)の不定積分の変数ｘの定義域の閉区間は、x=0を含む事ができません。
これを無視して、関数ｆ（ｘ）の不定積分F(x)の変数の定義域にｘ＝０を入れてしまうと以下の間違いをおかします。
Ｆ（ｘ）＝１／ｘをｘで微分したら
そして、変数ｘで積分する区間内に、ｆ（ｘ）が発散する点のｘ＝０を含めた、ｘが－１から１までの区間で、
関数ｆ（ｘ）の定積分を、F(x)を使って、 Ｆ（１）－Ｆ（－１）＝１－（－１）＝２
という 計算で求めると、明らかに間違えます。
なお、関数が不定積分できた積分変数ｘの積分区間の判定方法は：
不定積分ができた積分変数ｘの範囲は、
不定積分の関数が、１つながりに連続な連結区間です。
不定積分が１つながりに連結する積分変数ｘの区間を１単位にし、
その１単位毎の関数は、異なる不定積分の関数とします。
上の例：
（第１の積分）
x<0, での t+C という不定積分と、
x>0, での t+C という不定積分とは、
異なる関数だと言えます。
（不定積分を表す関数の変数ｔの定義域が異なれば異なる関数だからです）
【広義積分を前提にした置換積分の計算事例１】
以下の不定積分を考えます。
（第１の解）
この不定積分は以下のように解けます。すなわち、先ず、元の式を以下の式に変形します。
ここで、以下の式で変数ｔを定義します。
以下のように積分の変数ｘを変数ｔに置き換えた積分に変換します。
（第１の解おわり）
（第２の解）
この解は、以下のように、広義積分の概念を用いて解けます。
先ず、元の式を以下のように変形します。
（補足）ここで、被積分関数の分母と分子に、x=0で値が０になる関数を掛け算しています。こうすると、被積分関数が、x=0で定義されていない関数に変わってしまいます。これは、式の同値変形では無い。（大学で学ぶ）広義積分によって、関数が定義されないx=0の点も、後で、積分可能な変数の領域に加える処理が行えます。そのため、0/0となる関数を掛け算して被積分関数の定義域を変えてしまう処理をしても良いのです。後に、広義積分がそのx=0の点を積分可能な領域に加えることができるからです。
次に、この積分を以下の式に変形します。
ここで、以下の式で変数ｔを定義します。
以下のように積分の変数ｘを変数ｔに置き換えた積分に変換します。
（第２の解おわり）
ここで、第２の解が得られたのですが、その解の、積分定数C以外の部分の以下の関数を考えます。
この関数は以下に示すように、x=0では定義されていないと分かります。第１の解が、x=0でも定義されているにもかかわらずです。
この関数は、以下の式に変形できます。
この関数のx=0における極限は、以下の式になります。
広義積分によって、積分結果の関数が定義されていないx=0における関数の値は、その関数のx→0における極限値であるものと解釈します。
そのため、この第２の解は、x=0の値においても、第１の解と等しい解であると解釈します。
広義積分によって、そのように積分結果の解を解釈できるので、この積分結果を以下の様にコメントを入れた上で変形するならば減点されないと考えます。
この関数のx→0の極限値をx=0での値とする：
（注意）しかし、この計算を、積分結果以外の式で行ない、x=0の場合に０を０で割る約分によって式を変形すれば、減点されてしまいます。広義積分を適用することで通用した上の式の計算は、式の同値変形では無いので、積分とは無関係な式の計算では通用しないのです。しかし、上の式の積分結果の式を変形する処理で、分母と分子をsin(x/2)で割り切って約分する、同値変形では無い式の変形をする際に、
「この関数のx→～の極限値をx=～での値とする：」
と一言書いてから式を約分すれば良い。そうすれば、このように同値変形では無い計算をすること、更に、関数の定義域にx=0の点も加えている処理が減点されないと思います。
【減点されない式変形】積分記号の中ならば０を０で割る式が自由に使えるので、積分記号の外に出さずに式を変形する。これならば減点されない。
（計算おわり）
【広義積分を利用する置換積分の事例２】
この関数のcosx→0となるｘでの極限値をそのxでの値F(x)とする：
ここで、
cosｘ＝0, 例えばx=π／２の場合の積分結果を求めるために、
以下の（関数の極限値を求める）広義積分を行う。
（計算おわり）
【減点されない式変形】積分記号の中ならば０を０で割る式が自由に使えるので、積分記号の外に出さずに式を変形する。これならば減点されない。
（計算おわり）
（注意１）
なお、この積分は、広義積分が必要になるように、わざと難しい解き方をしました。
《事例２の別解》
事例２は、このように難しく解く必要は無く、以下のように解ける事を注意しておきます。
事例２の積分は、
変数2x=(π/2)−2y,
という変数変換をして、
１／sin(2y)のyによる積分に変換した上で、
tan(y)=ｔ
とする変数ｔを導入するのが普通の解き方です。
（参考例がここをクリックした先にあります）
ただし、そのようにする場合の変数ｔの導入でも、
y=π/2を含む区間では積分できません。
ただし、
被積分関数の１／sin(2y)は、元々
y=π/2の点で、分母が０になって、関数値が無限大になるので、
y=π/2の点を含む区間では積分できない関数でした。
そのため、ここで、この変数ｔを導入しても、新たに積分区間を制約することにもならないので、この変数ｔの導入方法は良い解き方です。
変数ｙをこの変数ｔに変換して解く積分の場合は、後で、広義積分する必要も生じないので、良い解き方です。
《事例２のその他の別解》
また、以上の別解とは異なる変数の変換をして、以下のように置換積分をしても、広義積分する必要も生じない解が得られます。
この積分結果の式は、「三角関数の分数式の変換公式」の公式４の式６を参照すると、先の計算の解の式と同じ式になることがわかる。
リンク：
高校数学の目次
高校２年生も覚えるべき置換積分法
