三角學進階：當正弦脫下幾何外衣——Euler 公式、複指數與 Fourier

為什麼 $e^{i\pi}=-1$？當三角函數脫下幾何的外衣

你在入門篇已經知道，正弦與餘弦可以描述測量、可以描述波動。但這裡有一個更尖銳的問題：當我們寫下 $\sin x$ 的時候，那個 $x$ 究竟是什麼？

如果 $x$ 是一個角度，那麼 $\sin(2+3i)$ 又是什麼意思？一個「複數的角度」並不存在於任何三角形裡。然而數學家確實會計算 $\sin(2+3i)$，而且答案明確、有用。這意味著一件事：正弦與餘弦的本質，並不是幾何，而是某種更底層的東西。

這篇進階篇要做的，就是帶你把三角函數從直角三角形裡「拔出來」，看清它真正的骨架——一個由微分方程、冪級數與複指數共同支撐的結構。當你看完，你會理解為什麼物理學家寧可用 $e^{i\omega t}$ 也不想寫 $\cos\omega t + i\sin\omega t$。

三種定義，同一個函數

入門篇用「直角三角形的邊長比」定義 $\sin$ 與 $\cos$。這個定義很直觀，但它有一個致命限制：角度只能在 $0$ 到 $\frac{\pi}{2}$ 之間，超過直角的三角形不存在。單位圓把範圍擴張到所有實數，但它仍然把 $\sin$ 綁死在「圓上一點的座標」這個幾何意象上。

要真正自由，我們需要一個完全不提幾何的定義。有兩條路。

路徑一：冪級數（Taylor series）。 我們直接宣告：

$$ \sin x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!}x^{2n+1} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots $$

$$ \cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!}x^{2n} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots $$

注意右邊完全沒有「角」、沒有「圓」、沒有「斜邊」。它只是一個多項式的無窮延伸，對任何實數甚至複數的 $x$ 都收斂。$\sin(2+3i)$ 之所以有意義，正是因為你可以把複數代進這個級數。

路徑二：微分方程。 我們可以說：$\cos$ 與 $\sin$ 是下面這個初值問題的唯一解。令 $y=\cos x$，則

$$ y'' + y = 0,\qquad y(0)=1,\ y'(0)=0. $$

換句話說，餘弦是「二階導數等於自己的相反數」的那個函數。這個刻畫深刻得多：任何描述「回復力與位移成正比」的系統——彈簧、單擺、LC 電路、聲波——都必然導出三角函數，不是因為它們長得像三角形，而是因為它們服從同一條微分方程。

這三種定義（三角形比、冪級數、微分方程）在它們重疊的定義域上完全一致。但只有後兩者能擴張到複數，而那正是威力所在。

Euler 公式：把指數與三角縫在一起

現在做一件看似魯莽的事：把 $x$ 換成 $i\theta$，代進指數函數的冪級數

$$ e^z = \sum_{n=0}^{\infty}\frac{z^n}{n!}. $$

代入 $z=i\theta$，並利用 $i^2=-1,\ i^3=-i,\ i^4=1$ 的循環：

$$ e^{i\theta} = \sum_{n=0}^{\infty}\frac{(i\theta)^n}{n!} = \underbrace{\left(1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\cdots\right)}_{=\cos\theta} + i\underbrace{\left(\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\cdots\right)}_{=\sin\theta}. $$

實部恰好是 $\cos$ 的級數，虛部恰好是 $\sin$ 的級數。於是我們得到 Euler 公式（Euler's formula）：

$$ \boxed{\,e^{i\theta}=\cos\theta+i\sin\theta\,} $$

代入 $\theta=\pi$，因為 $\cos\pi=-1,\ \sin\pi=0$，立刻得到那個著名的 Euler 恆等式（Euler's identity）：

$$ e^{i\pi}+1=0. $$

它把五個最核心的常數 $e,\ i,\ \pi,\ 1,\ 0$ 縫在同一行裡。但比這個「美」更重要的是它的運算意涵：複數 $e^{i\theta}$ 是單位圓上輻角為 $\theta$ 的點。指數的加法律 $e^{i\alpha}e^{i\beta}=e^{i(\alpha+\beta)}$ 直接翻譯成「角度相加」，也就是說複數乘法就是旋轉。

看一個例子：用 Euler 公式三行推出和角公式

入門篇若教過和角公式 $\cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta$，多半是靠畫圖硬推。有了 Euler 公式，它變成純代數。

從

$$ e^{i(\alpha+\beta)} = e^{i\alpha}\,e^{i\beta} $$

把左右兩邊都展開成三角形式。左邊：

$$ e^{i(\alpha+\beta)} = \cos(\alpha+\beta) + i\sin(\alpha+\beta). $$

右邊：

$$ \big(\cos\alpha+i\sin\alpha\big)\big(\cos\beta+i\sin\beta\big) = \big(\cos\alpha\cos\beta-\sin\alpha\sin\beta\big) + i\big(\sin\alpha\cos\beta+\cos\alpha\sin\beta\big). $$

兩個複數相等，意味著實部對實部、虛部對虛部。比較實部：

$$ \cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta. $$

比較虛部：

$$ \sin(\alpha+\beta)=\sin\alpha\cos\beta+\cos\alpha\sin\beta. $$

兩條公式一次推出，不需要任何圖。這就是「脫下幾何外衣」的具體紅利：原本要死背的一整面牆公式，全都退化成複數乘法的副產品。同理，De Moivre 定理 $(\cos\theta+i\sin\theta)^n=\cos n\theta+i\sin n\theta$ 不過是 $\left(e^{i\theta}\right)^n=e^{in\theta}$ 的改寫。

把正弦反過來寫：複指數作為基本粒子

Euler 公式可以解出 $\cos$ 與 $\sin$。寫下 $e^{i\theta}=\cos\theta+i\sin\theta$ 與 $e^{-i\theta}=\cos\theta-i\sin\theta$，相加與相減：

$$ \cos\theta=\frac{e^{i\theta}+e^{-i\theta}}{2},\qquad \sin\theta=\frac{e^{i\theta}-e^{-i\theta}}{2i}. $$

這兩條式子在工程與物理裡的地位，遠高於原始的三角定義。原因是：$e^{i\theta}$ 對微分是封閉的。

$$ \frac{d}{d\theta}e^{i\theta}=i\,e^{i\theta}. $$

微分只是乘上一個常數 $i$。相比之下，微分 $\cos$ 會跳成 $-\sin$，再跳成 $-\cos$，函數一直在換臉。當你在解振動、交流電路、波動方程時，把所有訊號都寫成 $e^{i\omega t}$，微分方程瞬間退化成代數方程。這就是電機工程的「相量（phasor）」方法的全部祕密：用一個旋轉的複數代表振盪，最後只取實部。

動手試試：解一個阻尼振盪

考慮阻尼彈簧的運動方程

$$ m\ddot{x}+c\dot{x}+kx=0. $$

直接猜複指數解 $x(t)=e^{\lambda t}$。代入後 $e^{\lambda t}$ 約掉，得到特徵方程

$$ m\lambda^2+c\lambda+k=0 \ \Rightarrow\ \lambda=\frac{-c\pm\sqrt{c^2-4mk}}{2m}. $$

當阻尼較小（$c^2<4mk$），根號內為負，$\lambda$ 變成複數 $\lambda=-\gamma\pm i\omega_d$，其中 $\gamma=\frac{c}{2m}$、$\omega_d=\frac{\sqrt{4mk-c^2}}{2m}$。於是

$$ x(t)=e^{-\gamma t}\big(A\cos\omega_d t+B\sin\omega_d t\big). $$

注意這裡發生了什麼：實部 $-\gamma$ 變成指數衰減的包絡線，虛部 $\omega_d$ 變成振盪頻率。複數的兩個分量自動把「衰減」與「振盪」分開承擔。如果你堅持只用實三角函數，你得分三種情況（過阻尼、臨界、欠阻尼）硬背公式；但用複指數，三種情況只是「根號內正負」的同一條公式的不同面貌。

Fourier：任何訊號都是正弦的疊加

到目前為止，正弦還只是「一個」函數。Fourier 分析的革命性主張是：正弦是所有週期函數的字母表。任何「足夠規矩」的週期 $2\pi$ 函數 $f(x)$ 都能寫成

$$ f(x)=\sum_{n=-\infty}^{\infty} c_n\, e^{inx},\qquad c_n=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)\,e^{-inx}\,dx. $$

這裡複指數 $e^{inx}$ 不再是計算技巧，而是正交基底（orthogonal basis）。它們的正交性是

$$ \frac{1}{2\pi}\int_{-\pi}^{\pi} e^{inx}\,e^{-imx}\,dx=\delta_{nm}, $$

也就是不同頻率的複指數互相「垂直」，就像三維空間裡的 $\hat{x},\hat{y},\hat{z}$。係數 $c_n$ 的積分公式，本質上就是把函數 $f$ 投影到第 $n$ 個基底向量上——和你在線性代數裡用內積求座標分量，是同一件事，只是內積換成了積分。

這個觀點解釋了為什麼三角函數會無所不在：方波、鋸齒波、人聲、地震波、影像，全都被拆解成正弦的線性組合。數位音樂的 MP3、影像的 JPEG、手機的訊號處理，底層都是 Fourier 變換在運作。三角函數之所以是科學的母語，是因為它構成了函數空間的一組正交座標軸。

雙曲三角：被忽略的孿生兄弟

回到本文開頭的 $\sin(2+3i)$。把複數代入級數會發現，三角函數有一對「孿生兄弟」自然浮現——雙曲函數（hyperbolic functions）：

$$ \cosh x=\frac{e^{x}+e^{-x}}{2},\qquad \sinh x=\frac{e^{x}-e^{-x}}{2}. $$

對照前面 $\cos,\sin$ 的複指數寫法，差別只在於「有沒有那個 $i$」。事實上它們互為旋轉：

$$ \cos(ix)=\cosh x,\qquad \sin(ix)=i\sinh x. $$

於是三角恆等式有對應的雙曲版本。圓的 $\cos^2\theta+\sin^2\theta=1$ 對應到雙曲線的

$$ \cosh^2 x-\sinh^2 x=1. $$

一個「加」一個「減」，正是「圓」與「雙曲線」之別（$x^2+y^2=1$ 對 $x^2-y^2=1$）。這不是巧合：三角函數參數化單位圓，雙曲函數參數化單位雙曲線。它們在愛因斯坦的狹義相對論裡扮演核心角色——時空中的「旋轉」（Lorentz 變換）不是普通的圓旋轉，而是雙曲旋轉，快度（rapidity）就是雙曲角。

利用這層關係，我們終於能回答開頭的問題。由和角公式延拓到複數：

$$ \sin(2+3i)=\sin 2\cos(3i)+\cos 2\sin(3i)=\sin 2\,\cosh 3 + i\cos 2\,\sinh 3. $$

代入數值約為 $9.15 - 4.17\,i$。注意它的「絕對值」遠大於 1——複數的正弦可以任意大，這在實數世界（$|\sin x|\le 1$）是不可想像的。三角函數一旦進入複平面，就掙脫了 $[-1,1]$ 的牢籠。

重點回顧

• 正弦與餘弦的本質定義不是三角形，而是冪級數或微分方程 $y''+y=0$；只有這個觀點能延拓到複數。
• Euler 公式 $e^{i\theta}=\cos\theta+i\sin\theta$ 把指數、三角與旋轉統一；複數乘法就是角度相加。
• 把 $\cos,\sin$ 寫成複指數 $\frac{e^{i\theta}\pm e^{-i\theta}}{\cdots}$ 後，微分變成乘以 $i$，微分方程退化成代數方程——這是相量法與阻尼振盪分析的核心。
• Fourier 分析把複指數當成函數空間的正交基底，任何週期訊號都是正弦的疊加；係數即投影。
• 雙曲函數是三角函數在虛軸方向的孿生兄弟，$\cos(ix)=\cosh x$，圓與雙曲線只差一個正負號，並主宰相對論的時空旋轉。

深入探討（研究所視角）

如果你繼續往上走，三角函數的「真實身分」會繼續變形。

表示論的視角。 $e^{i\theta}$ 其實是圓群 $U(1)=\{z\in\mathbb{C}:|z|=1\}$ 的一維么正表示（unitary representation）。Fourier 級數之所以可行，是 Peter–Weyl 定理在交換群上的特例：緊緻群上的平方可積函數，可以用群的不可約表示展開。換句話說，「用正弦做基底」不是偶然，而是群論強制的結果。把 $U(1)$ 換成非交換的 $SU(2)$、$SO(3)$，正弦就被球諧函數（spherical harmonics）取代——那正是氫原子波函數與量子角動量的語言。三角函數是這座大廈最低的那一層樓。

解析延拓與特殊函數。 既然 $\sin z$ 對整個複平面解析（是個 entire function），它就受複分析的強力定理約束。$\sin z$ 的零點恰在 $z=n\pi$，由此可寫出無窮乘積展開

$$ \sin z = z\prod_{n=1}^{\infty}\left(1-\frac{z^2}{n^2\pi^2}\right). $$

這正是 Euler 當年攻克 Basel 問題（$\sum 1/n^2=\pi^2/6$）的關鍵——比較這個乘積與 $\sin z$ 的 Taylor 級數的 $z^3$ 係數即可。三角函數因此與 $\zeta$ 函數、與解析數論深刻糾纏。

作為李群指數映射。 微分方程 $y''+y=0$ 寫成一階系統 $\frac{d}{dt}\begin{pmatrix}\cos t\\\sin t\end{pmatrix}=\begin{pmatrix}0&-1\\1&0\end{pmatrix}\begin{pmatrix}\cos t\\\sin t\end{pmatrix}$。那個反對稱矩陣 $J=\begin{pmatrix}0&-1\\1&0\end{pmatrix}$ 滿足 $J^2=-I$，它就是 $i$ 的矩陣化身。於是解是矩陣指數

$$ \begin{pmatrix}\cos t&-\sin t\\\sin t&\cos t\end{pmatrix}=e^{Jt}, $$

也就是說旋轉矩陣本身就是 $e^{Jt}$——三角函數是李群 $SO(2)$ 的指數映射的分量。這把 Euler 公式從「複數的巧合」提升為「李代數生成李群」的普遍機制，直接通向李群、規範場論與現代幾何。

從測量月亮，到緊緻群的表示論，正弦始終是同一個函數。改變的不是它，而是我們願意脫下它幾何外衣後看見的深度。