有一個非常有名的積分：

\[
I=\int_{-\infty}^{\infty}e^{-x^2}dx
\]

光看這個式子，你大概很難聯想到「圓」。

裡面沒有半徑、沒有圓周長，也沒有任何明顯的幾何圖形。

但令人意外的是，這個積分最後的答案竟然是：

\[
I=\sqrt{\pi}
\]

也就是「根號圓周率」。

問題來了。

一個看起來完全和圓沒有關係的積分，為什麼答案裡會出現 \(\pi\)？

真正精彩的地方，就藏在數學家處理這個問題的方法裡。

這個積分，不能直接硬算

如果我們學過基本微積分，很自然會想：

既然要算積分，那就先找反導函數。

可是這裡馬上遇到麻煩。

\[
e^{-x^2}
\]

並沒有我們熟悉的初等反導函數。

也就是說，沒有辦法像積分 \(x^2\)、\(\sin x\) 或 \(e^x\) 那樣，直接找到一個漂亮的函數，再代入上下限。

所以數學家沒有繼續硬算。

而是先把這個積分記成：

\[
I=\int_{-\infty}^{\infty}e^{-x^2}dx
\]

接著做了一件乍看之下很奇怪的事情。

一個算不出來，那就把兩個乘在一起

既然 \(I\) 不容易算，那就看看：

\[
I^2
\]

會發生什麼事。

也就是把兩個一模一樣的積分相乘：

\[
I^2=
\left(
\int_{-\infty}^{\infty}e^{-x^2}dx
\right)
\left(
\int_{-\infty}^{\infty}e^{-y^2}dy
\right)
\]

注意第二個積分，我們把變數改成了 \(y\)。

這並沒有改變積分本身，只是為了讓接下來的結構更清楚。

把兩個積分合在一起之後，可以寫成：

\[
I^2=
\iint_{\mathbb{R}^2}
e^{-(x^2+y^2)}dA
\]

這時候，一件很重要的事情發生了。

原本只有一個 \(x\) 的一維問題，突然變成了同時包含 \(x\) 與 \(y\) 的二維問題。

換句話說：

原本在數線上的問題，現在被放到了平面上。

一到平面上，幾何開始出現

真正的關鍵就在：

\[
x^2+y^2
\]

如果只看到 \(x^2\)，它看起來只是一個代數式。

但當 \(x^2+y^2\) 出現在平面上時，熟悉解析幾何的人馬上會想到：

\[
x^2+y^2=r^2
\]

其中 \(r\) 代表平面上一個點到原點的距離。

所以原本的：

\[
e^{-(x^2+y^2)}
\]

可以改寫成：

\[
e^{-r^2}
\]

這時候，原本看似完全沒有幾何意義的積分，突然出現了「距離」。

而只要談到平面上「距離原點相同的點」，會形成什麼？

答案就是：

圓。

這就是 \(\pi\) 開始露出線索的地方。

從直角坐標改成極座標

既然這個問題已經出現非常明顯的圓形結構，那麼繼續使用 \(x\)、\(y\) 的直角坐標，就不一定是最方便的方法。

於是可以改用極座標。

在極座標裡：

\[
x^2+y^2=r^2
\]

而平面上的面積元素會變成：

\[
dA=rdrd\theta
\]

所以原本的二重積分：

\[
I^2=
\iint_{\mathbb{R}^2}
e^{-(x^2+y^2)}dA
\]

就可以改寫成：

\[
I^2=
\int_0^{2\pi}
\int_0^\infty
e^{-r^2}rdrd\theta
\]

現在，\(\pi\) 終於正式出現在式子裡了。

因為要繞完整個平面一圈，角度 \(\theta\) 的範圍就是：

\[
0\leq\theta\leq2\pi
\]

所以 \(\pi\) 並不是最後突然被「算出來」的。

它其實來自我們把問題放到平面上之後，出現的完整圓周角度。

接下來的積分反而變簡單了

現在可以把兩個部分分開：

\[
I^2=
\left(
\int_0^{2\pi}d\theta
\right)
\left(
\int_0^\infty e^{-r^2}r,dr
\right)
\]

第一個積分很簡單：

\[
\int_0^{2\pi}d\theta=2\pi
\]

第二個積分：

\[
\int_0^\infty e^{-r^2}rdr
\]

令

\[
u=r^2
\]

則

\[
du=2rdr
\]

因此可以算出：

\[
\int_0^\infty e^{-r^2}rdr=
\frac12
\]

於是：

\[
I^2=
2\pi\times\frac12=
\pi
\]

所以：

\[
I=\sqrt{\pi}
\]

因為原本的積分值顯然是正數，因此取正的平方根。

π 並不是莫名其妙出現的

現在再回頭看原來的問題：

\[
\int_{-\infty}^{\infty}e^{-x^2}dx
\]

一開始，我們真的完全看不到圓。

只有一條數線、一個變數 \(x\)，以及一個看起來和幾何毫無關係的指數函數。

可是把這個積分平方之後，問題從一維進入了二維。

接著：

\[
x^2+y^2
\]

開始代表平面上的距離。

距離進一步帶出了圓。

而圓，自然帶出了：

\[
2\pi
\]

所以答案裡出現 \(\pi\)，並不是巧合。

比較準確地說：

\(\pi\) 一直都藏在這個問題的二維幾何結構裡，只是在原本的一維形式中，我們看不見它。

這題真正精彩的，不只是答案

高斯積分最值得學習的地方，我認為並不是記住：

\[
\int_{-\infty}^{\infty}e^{-x^2}dx=\sqrt{\pi}
\]

而是數學家面對問題時的思考方式。

原本的問題算不下去。

直覺上，我們可能會想：

是不是要學更厲害的積分技巧？

是不是需要更複雜的公式？

但這個例子給了我們完全不同的答案。

有時候，一個問題算不下去，不是因為計算能力不夠，而是我們看問題的維度還不夠高。

一維看不出來的結構，到了二維可能突然變得清楚。

這也是數學很迷人的地方。

真正高明的解法，往往不是把原來的路走得更辛苦。

而是重新問一次：

這個問題，有沒有另一個更好的觀看方式？

甚至——

能不能換一個維度來看？