\begin{equation*}
\int_{-\infty}^{\infty} e^{-x^2} dx = \sqrt{\pi}
\end{equation*}
\int_{-\infty}^{\infty} e^{-x^2} dx = \sqrt{\pi}
\end{equation*}
を考えます。左辺は
\begin{eqnarray*}
\lim_{a \to \infty} \int_{-a}^{a} e^{-x^2} dx
\end{eqnarray*}
を意味します(注1)。この積分をガウス積分と呼び、数学や物理学では多用される非常に重要な結果です。簡単そうに見えますか?結構、難しいですよ。
これを示すには、二重積分を用いて変数変換をしたり、ガンマ関数をつかったりするのがメジャーなやり方ですが、いずれも高校生には難解です。
今回は、この多重積分もガンマ関数も用いずに、ほぼ高校の数学のみでガウス積分の結果を証明します。
「ほぼ」と書きましたが、便宜上、証明には二重階乗を用いるので、その部分だけは高校の数学の範囲を逸脱しています(ごめんなさい)。
以下の記事では、高校で学習する微積分の知識に加えて
1.二重階乗[ほんの少しだけ高校の数学外] (詳細)
2.$\sin^n x$の定積分の公式[高校の数学] (詳細)
3.Wallisの公式[高校の数学のみで証明可] (詳細)
を利用します。理解できてない部分は記事を読んで確認してから以下を読み進めてください。