Gauss積分：∫e^(-x^2) dx
Gauss 積分
\[
\int_{0}^{\infty} e^{-x^2}\,dx = \frac{\sqrt{\pi}}{2}
\]
を Wallis 積分を用いて導出する方法をまとめた．
Wallis積分：∫(sin x)^n dx, ∫(cos x)^n dx
Wallis 積分
\[
W_m = \int_{0}^{\pi/2}\sin^m{x}\,dx = \int_{0}^{\pi/2}\cos^m{x}\,dx
\]
の性質と，Wallis の公式や関連する結果をまとめた．
続きを読む