三角関数代入は、三角関数の公式を用いて積分の形を変形し、簡単な形にするために使われる方法です。具体的には、以下のような形の積分に適用されます。
∫R(x,ax2+bx+c)dx
ここで、Rは有理関数、a,b,cは定数です。このような形の積分は、三角関数代入を行うことで、積分を簡単にすることができます。
まずは、ax2+bx+cの部分を、a(2abx2+4a24ac−b2+2ab)2+dという形に変形します。ここで、dは定数で、d=4a4ac−b2です。
すると、x=b2ad−a(sin2t)とおくことができます。ここで、tは新しい変数で、0≤t≤πです。
この代入を元の積分に適用すると、以下のようになります。
∫R(b2ad−a(sin2t),ax2+bx+c)b2ad−a(sin2t)costdt
この積分に対して、三角関数の公式を用いて簡単にすることができます。例えば、d−a(sin2t)をcosθとすると、sinθ=ad−a(sin2t)となります。また、b2ad−a(sin2t)costをxとすると、dx=−b2ad−a(sin2t)sintdtとなります。
これらの変形を用いると、元の積分は以下の形に変形することができます。
−∫R(x,a2ab2sin2θ+d)a2ab2sin2θ+ddxdθ
この式は、a2ab2sin2θ+dをa2ab∣cosϕ∣とおくことで、更に簡単にすることができます。
以上のように、三角関数代入を用いることで、複雑な形の積分を簡単にすることができます。ただし、代入することで式が複雑になる場合もあるため、適切な代入方法を選ぶ必要があります。
リンク
Integration using Trigonometric Substitution[EN]