この積分は初等関数では表せません。そのため、三角関数を用いた置換積分を利用します。
* x=sinh(t) と置換します。すると dx=cosh(t)dt となります。 * 積分区間は x=0 のとき sinh(t)=0 なので t=0, x=1 のとき sinh(t)=1 なので t=sinh−1(1) となります。 * したがって、積分は
∫0sinh−1(1)1+sinh2(t)cosh(t)dt=∫0sinh−1(1)cosh2(t)dt となります。
* cosh2(t)=21+cosh(2t) を用いると、 ∫0sinh−1(1)21+cosh(2t)dt=21∫0sinh−1(1)(1+cosh(2t))dt =21[t+21sinh(2t)]0sinh−1(1) =21[t+sinh(t)cosh(t)]0sinh−1(1) となります。
* ここで sinh(sinh−1(1))=1 であり、cosh2(t)−sinh2(t)=1 より cosh(t)=1+sinh2(t)なので、cosh(sinh−1(1))=1+12=2 となります。 * したがって、
21[sinh−1(1)+1⋅2−0]=21sinh−1(1)+22 となります。
* sinh−1(x)=ln(x+x2+1) であるから、sinh−1(1)=ln(1+2) となります。 * 最終的に積分値は
2ln(1+2)+22 となります。