定積分の次の変形を説明する.

なのでとおくと

  • になる.
  • において なので .

以上より

さらに被積分が偶関数なので となる.