Gaussian Integral

From ProofWiki
Jump to navigation Jump to search

Theorem

$\ds \int_{-\infty}^\infty e^{-x^2} \rd x = \sqrt \pi$


Proof

\(\ds \int_{-\infty}^\infty e^{-x^2} \rd x\) \(=\) \(\ds 2 \int_0^\infty e^{-x^2} \rd x\) Definite Integral of Even Function
\(\ds \) \(=\) \(\ds \frac {2 \sqrt \pi} 2\) Integral to Infinity of Exponential of -t^2
\(\ds \) \(=\) \(\ds \sqrt \pi\)

$\blacksquare$