The Gaussian integral is the integral of the function $e^{-x^2}$ over the entire real line, and it is given by:
∫−∞∞e−x2dx=π
First, we square the integral:
(∫−∞∞e−x2dx)2=∫−∞∞∫−∞∞e−x2e−y2dxdy
Next, we change to polar coordinates:
∫0∞∫02πe−r2rdθdr=π
To evaluate this integral, we use the substitution $u = r^2$ and $du = 2r dr$, which gives:
21∫0∞e−udu=21
Therefore, we have:
(∫−∞∞e−x2dx)2=π⇒∫−∞∞e−x2dx=π
And this completes the proof.