次の積分を求めよ。
を分けて、を1つ指数関数の側に回す。 には初等的な原始関数がある(内側の導関数がだから)が、単独にはない。そこで
と取る。逆にと分けると即座に行き詰まる——この組ませ方こそがこの問題の技巧のすべてである。
置換でを求める。 、として:
またである。は置換のから来ており、最後まで持ち歩かなければならない。
部分積分を適用する。 を使うと:
残った積分はガウス型であり、出発点より簡単になっている。これが組ませ方の選択が正しかったことの証拠である。
ガウス型を誤差関数で表す。 には初等的な原始関数が存在しない。誤差関数はまさにそれに名前を与えるために定義されている:
組み立てて検証する。 代入して戻すと、
微分すると ✓——2つの半端な項がちょうど打ち消し合う。での数値確認ではどちらもになる ✓。おまけとして、かつ第1項が消えることからが従う。
Need to solve a different problem like this? Open the solver →