まず、置換積分を行います。t=arcsinx とおくと、x=sint となり、dx=costdt となります。また、1−x2=1−sin2t=cos2t=cost となります。 x の積分範囲が −1 から 1 なので、t の積分範囲は arcsin(−1)=−2π から arcsin(1)=2π となります。 よって、与えられた積分は次のように書き換えられます。
∫−π/2π/2costsint⋅tcostdt=∫−π/2π/2tsintdt ここで、被積分関数 f(t)=tsint は偶関数です。なぜなら、f(−t)=(−t)sin(−t)=(−t)(−sint)=tsint=f(t) となるからです。 偶関数の積分範囲が対称である場合、積分は次のようになります。
∫−aaf(x)dx=2∫0af(x)dx したがって、
∫−π/2π/2tsintdt=2∫0π/2tsintdt 次に、部分積分を使って ∫0π/2tsintdt を計算します。 u=t, dv=sintdt とおくと、du=dt, v=−cost となります。 部分積分の公式 ∫udv=uv−∫vdu を適用すると、 ∫0π/2tsintdt=[−tcost]0π/2−∫0π/2(−cost)dt=[−tcost]0π/2+∫0π/2costdt =[−2πcos2π−(−0cos0)]+[sint]0π/2=0+[sin2π−sin0]=1−0=1 よって、元の積分は
2∫0π/2tsintdt=2⋅1=2