當乘法就是旋轉：用指數形式駕馭複數的進階機制

如果旋轉就是乘法，那「半個旋轉」是什麼數？

你已經知道乘以 $i$ 會把複平面逆時針轉 $90^\circ$。那麼自然要問：有沒有一個複數，乘上去剛好轉 $45^\circ$？再進一步——有沒有一個數，乘兩次等於乘以 $i$？這聽起來像在問「$i$ 的平方根是什麼」，而它確實有答案：$\sqrt{i} = \tfrac{1}{\sqrt 2}(1 + i)$，模長為 $1$、輻角為 $45^\circ$，連乘兩次果然湊出 $90^\circ$。

入門篇把複數當成「$a + bi$ 形式的數」，並指出乘法等於「模長相乘、輻角相加」。進階篇的任務，是把這個觀察升級成一套可以拿來計算與推導的引擎。我們會用指數形式 $re^{i\theta}$ 重寫整個運算系統，用它一口氣解開高次方根、生成三角恆等式、理解「旋轉的合成」，最後走到複變函數如何把平面「保角地」扭曲。準備好把 $i$ 從一個符號，變成一個工具。

指數形式：把運算全部交給指數律

入門篇給了極式 $z = r(\cos\theta + i\sin\theta)$，並提過歐拉公式 $e^{i\theta} = \cos\theta + i\sin\theta$。進階的第一步，是徹底改用指數形式：

$$z = r e^{i\theta}, \qquad r = |z| \ge 0,\quad \theta = \arg(z)$$

為什麼值得這樣改寫？因為一旦把複數寫成 $e$ 的次方，所有乘除、乘冪、開根號都退化成你早就熟悉的指數律。設 $z_1 = r_1 e^{i\theta_1}$、$z_2 = r_2 e^{i\theta_2}$，則

$$z_1 z_2 = r_1 r_2\, e^{i(\theta_1 + \theta_2)}, \qquad \frac{z_1}{z_2} = \frac{r_1}{r_2}\, e^{i(\theta_1 - \theta_2)}, \qquad z^n = r^n e^{in\theta}$$

「模長相乘、輻角相加」不再是需要背的口訣，而是 $e^a \cdot e^b = e^{a+b}$ 的直接後果。乘冪也一樣：$(re^{i\theta})^n = r^n e^{in\theta}$ 立刻就是棣莫弗定理（De Moivre's theorem）的指數版。

這裡有個常被忽略卻關鍵的細節：輻角不是唯一的。因為 $e^{i\theta}$ 以 $2\pi$ 為週期，$e^{i\theta} = e^{i(\theta + 2k\pi)}$ 對任意整數 $k$ 都成立。所以嚴格說 $\arg(z)$ 是一個「相差 $2\pi$ 整數倍」的集合。我們通常取落在 $(-\pi, \pi]$ 的那一個值，稱為主輻角（principal argument），記作 $\operatorname{Arg}(z)$。這個「多值性」不是小毛病——它正是下一節開根號會冒出好幾個答案的根源。

看一個例子：用指數形式算高次乘冪

入門篇要算 $i^{2026}$ 得靠週期 $4$。但若遇到 $(1+i)^{12}$ 呢？硬乘十二次幾乎不可能。改用指數形式則一行解決。

先把 $1 + i$ 寫成 $re^{i\theta}$：模長 $r = \sqrt{1^2 + 1^2} = \sqrt 2$，輻角 $\theta = \dfrac{\pi}{4}$（落在第一象限，$\tan\theta = 1$）。於是

$$1 + i = \sqrt 2\, e^{i\pi/4}$$

套指數律：

$$(1+i)^{12} = \left(\sqrt 2\right)^{12} e^{i \cdot 12 \cdot \pi/4} = 2^{6}\, e^{i 3\pi} = 64\, e^{i\pi}$$

而 $e^{i\pi} = \cos\pi + i\sin\pi = -1$，所以

$$(1+i)^{12} = 64 \times (-1) = -64$$

一個原本要展開二項式、處理一堆 $i$ 次方的題目，被指數形式壓成三步。這就是改寫的價值。

$n$ 次方根：為什麼答案不只一個

實數開根號時，$\sqrt[3]{8}$ 我們習慣只寫 $2$。但在複數世界，方程式 $z^3 = 8$ 其實有三個解，這才是代數上完整的圖像。一般地：

任何非零複數 $w$ 的 $n$ 次方根恰有 $n$ 個，它們的模長全部相等，輻角則均勻分布、彼此相差 $\dfrac{2\pi}{n}$。

推導靠的就是「輻角多值」。設 $w = \rho e^{i\varphi}$，要找 $z = re^{i\theta}$ 使得 $z^n = w$。由 $r^n e^{in\theta} = \rho e^{i(\varphi + 2k\pi)}$ 比較兩邊：

$$r = \rho^{1/n}, \qquad n\theta = \varphi + 2k\pi \;\Rightarrow\; \theta = \frac{\varphi + 2k\pi}{n}, \quad k = 0, 1, \dots, n-1$$

模長只有一個正實數解 $\rho^{1/n}$，但輻角因為那個 $2k\pi$，在轉滿一圈之前會給出 $n$ 個不同的值；$k = n$ 時又轉回 $k=0$，所以剛好 $n$ 個。它們落在以原點為心、半徑 $\rho^{1/n}$ 的圓上，構成一個正 $n$ 邊形的頂點。

動手試試：解 $z^3 = 8$

寫成指數形式：$8 = 8 e^{i \cdot 0}$（正實數，輻角為 $0$）。故 $\rho = 8$、$\varphi = 0$，三個根為

$$z_k = 8^{1/3}\, e^{i(0 + 2k\pi)/3} = 2\, e^{i \cdot 2k\pi/3}, \quad k = 0, 1, 2$$

逐一展開：

$$z_0 = 2 e^{i 0} = 2$$ $$z_1 = 2 e^{i 2\pi/3} = 2\left(\cos\tfrac{2\pi}{3} + i\sin\tfrac{2\pi}{3}\right) = 2\left(-\tfrac12 + \tfrac{\sqrt3}{2}i\right) = -1 + \sqrt 3\, i$$ $$z_2 = 2 e^{i 4\pi/3} = 2\left(-\tfrac12 - \tfrac{\sqrt3}{2}i\right) = -1 - \sqrt 3\, i$$

你熟悉的 $z_0 = 2$ 只是其中一個。另外兩個是共軛對，落在複平面上構成一個正三角形。你可以驗算：$(-1+\sqrt3\,i)^3$ 確實等於 $8$，因為它的模長 $2$ 立方得 $8$、輻角 $\tfrac{2\pi}{3}$ 乘三得 $2\pi$（等於 $0$）。

單位根與它們的對稱

特別地，方程式 $z^n = 1$ 的解稱為 $n$ 次單位根（$n$-th roots of unity），它們是

$$\omega_k = e^{i 2k\pi/n}, \quad k = 0, 1, \dots, n-1$$

記 $\omega = e^{i 2\pi/n}$（最小正輻角的那個，稱為「本原單位根」），則所有單位根就是 $1, \omega, \omega^2, \dots, \omega^{n-1}$，它們是公比為 $\omega$ 的等比數列。一個漂亮且實用的恆等式是：所有 $n$ 次單位根之和為零（當 $n \ge 2$）：

$$1 + \omega + \omega^2 + \cdots + \omega^{n-1} = \frac{\omega^n - 1}{\omega - 1} = \frac{1 - 1}{\omega - 1} = 0$$

幾何上，這對應「正 $n$ 邊形頂點的向量和指回中心」。這個性質在離散傅立葉變換（discrete Fourier transform, DFT）、訊號取樣與數論中反覆出現，是把週期結構代數化的核心工具。

單位根還有一條值得記住的乘法結構：它們在乘法下構成一個循環群（cyclic group）。任取本原單位根 $\omega = e^{i2\pi/n}$，連乘它就能依序走遍所有 $n$ 個單位根，轉滿一圈後回到 $1$。這意味著「複數的乘法」與「角度的加法（模 $2\pi$）」之間有一個精確的對應——把抽象的群論結構，第一次以看得見的旋轉呈現出來。許多人第一次直觀理解「群」這個概念，正是從單位根在單位圓上等距旋轉的畫面開始的。

把旋轉當成乘法：複數作為平面變換

入門篇說「乘以 $i$ 是轉 $90^\circ$」。把這個觀念推到極致，我們會發現：乘以任一個複數 $w = \rho e^{i\varphi}$，等於對整個平面做「旋轉 $\varphi$ 再放大 $\rho$ 倍」的變換。這種「旋轉＋等比縮放」合稱相似變換（spiral similarity）。

這帶來一個很省力的觀念：平面幾何裡的旋轉、縮放，全都能寫成一次複數乘法。例如，要把點 $z$ 繞任意中心 $c$（不一定是原點）逆時針旋轉 $\varphi$ 角，公式是

$$z' = c + e^{i\varphi}(z - c)$$

讀法很直白：先把中心平移到原點（$z - c$），旋轉（乘 $e^{i\varphi}$），再平移回去（加 $c$）。整個過程在實數座標下要寫一個 $2\times 2$ 旋轉矩陣加平移；用複數，它就是一行算式。許多奧林匹亞幾何題、電腦繪圖中的座標變換，都因此被複數大幅簡化。

值得一提的是，這也說明了複數與線性代數的橋樑。乘以 $w = a + bi$ 這個動作，若改用實數座標 $(x, y)$ 表示，其實就是左乘矩陣 $\begin{pmatrix} a & -b \\ b & a \end{pmatrix}$——你可以親自驗證 $(a+bi)(x+yi)$ 的實虛部恰好對應這個矩陣作用在 $(x, y)^\top$ 的結果。這類矩陣全體（連同加法與乘法）與 $\mathbb{C}$ 完全同構。換句話說，複數可以被「實現」成一類特殊的 $2\times 2$ 實矩陣，而 $i$ 對應的正是旋轉 $90^\circ$ 的矩陣 $\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$，它的平方等於 $-I$，完美呼應 $i^2 = -1$。

用複數一次生出三角恆造式

棣莫弗定理還有一個入門篇沒展開的威力：它是製造三角恆等式的機器。考慮

$$(\cos\theta + i\sin\theta)^3 = \cos 3\theta + i\sin 3\theta$$

左邊用二項式展開（記得 $i^2 = -1$、$i^3 = -i$）：

$$\cos^3\theta + 3\cos^2\theta(i\sin\theta) + 3\cos\theta(i\sin\theta)^2 + (i\sin\theta)^3$$ $$= \cos^3\theta + 3i\cos^2\theta\sin\theta - 3\cos\theta\sin^2\theta - i\sin^3\theta$$

把實部與虛部分別對應右邊的 $\cos 3\theta$ 與 $\sin 3\theta$：

$$\cos 3\theta = \cos^3\theta - 3\cos\theta\sin^2\theta, \qquad \sin 3\theta = 3\cos^2\theta\sin\theta - \sin^3\theta$$

再用 $\sin^2\theta = 1 - \cos^2\theta$，前者整理成廣為人知的 $\cos 3\theta = 4\cos^3\theta - 3\cos\theta$。你不需要死背三倍角公式——只要會展開 $(\cos\theta + i\sin\theta)^n$，任意倍角公式都能當場推導出來。這正是「複數讓三角學變代數」的具體體現。

共軛、模長與「複數版距離」的代數結構

入門篇介紹了共軛 $\bar z$ 與模長 $|z|$。進階要強調它們不只是計算技巧，而是賦予 $\mathbb{C}$ 一套保結構的代數規律。共軛是一個「尊重四則運算」的映射：

$$\overline{z_1 + z_2} = \bar z_1 + \bar z_2, \qquad \overline{z_1 z_2} = \bar z_1\,\bar z_2, \qquad \overline{(1/z)} = 1/\bar z$$

第二條有個立刻可用的推論：若一個實係數多項式 $p(x)$ 有複根 $z$，則 $\bar z$ 也必是根。因為對 $p(z)=0$ 兩邊取共軛，係數是實數共軛後不變，於是 $p(\bar z) = 0$。這就是「實係數多項式的虛根成對出現」的嚴格理由，也解釋了為何奇數次實係數方程式至少有一個實根。

模長則滿足兩條核心性質，使 $\mathbb{C}$ 成為一個有「長度」與「夾角」概念的空間：

$$|z_1 z_2| = |z_1||z_2| \quad(\text{乘法保長度比}), \qquad |z_1 + z_2| \le |z_1| + |z_2| \quad(\text{三角不等式})$$

第一條由 $|z|^2 = z\bar z$ 與共軛的乘法性立即得到，它把入門篇的「模長相乘」上升為一條恆等式。這些結構不是裝飾——它們是後面複變分析中「收斂」「連續」「可微」等概念的地基。

重點回顧

• 指數形式 $z = re^{i\theta}$ 把乘除、乘冪、開根號全部化成指數律，是進階計算的主力工具；輻角具 $2\pi$ 週期，故 $\arg(z)$ 本質多值。
• 任何非零複數的 $n$ 次方根恰有 $n$ 個，模長相同、輻角差 $\tfrac{2\pi}{n}$，在複平面上排成正 $n$ 邊形。
• $n$ 次單位根 $1, \omega, \dots, \omega^{n-1}$（$\omega = e^{i2\pi/n}$）之和為零（$n\ge 2$），是傅立葉與週期結構的代數核心。
• 乘以複數 $\rho e^{i\varphi}$ 等於「旋轉 $\varphi$ ＋縮放 $\rho$」；繞任意中心旋轉可寫成 $z' = c + e^{i\varphi}(z-c)$。
• 展開 $(\cos\theta + i\sin\theta)^n$ 並分離實虛部，可機械化地推導任意倍角三角恆等式。
• 共軛尊重四則運算，故實係數多項式的虛根必成共軛對；模長滿足 $|z_1z_2|=|z_1||z_2|$ 與三角不等式。

深入探討（研究所視角）

把指數形式推到極限，自然會問：複數的對數與任意次方該如何定義？由 $z = re^{i\theta}$ 取對數得 $\log z = \ln r + i(\theta + 2k\pi)$。這裡的 $2k\pi$ 使複對數成為多值函數（multivalued function）——這不是瑕疵，而是複變分析的深層特徵。為了得到單值函數，我們需在複平面上「割一刀」（branch cut），選定一個分支（branch），主分支取 $\theta \in (-\pi, \pi]$ 並寫作 $\operatorname{Log} z = \ln|z| + i\operatorname{Arg}(z)$。一旦有了對數，一般冪 $z^{w} := e^{w \log z}$ 隨之定義，連 $i^i = e^{i\log i} = e^{i \cdot i\pi/2} = e^{-\pi/2} \approx 0.2079$ 這種「虛數的虛數次方竟是實數」的奇景也水到渠成。多值性與分支切割，正是黎曼面（Riemann surface）這個把多值函數「攤平成單值」的幾何理論的起點。

更深一層，前述「乘以複數＝旋轉加縮放」的觀察，揭示了複可微（全純）函數的本質特徵：保角性（conformality）。一個複變函數 $f$ 在某點可微，意味著它在該點的局部行為近似於乘上一個複數 $f'(z_0)$，也就是局部的旋轉與縮放——而旋轉與等比縮放不改變曲線間的夾角。這正是柯西–黎曼方程（Cauchy–Riemann equations）的幾何意涵：寫 $f = u + iv$，可微要求

$$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$

這對方程式遠比「實函數可微」苛刻，它強迫 $u$ 與 $v$ 都滿足拉普拉斯方程 $\nabla^2 u = 0$（即兩者皆為調和函數），這也是為什麼複變方法能優雅地求解靜電位、穩態熱傳、二維理想流體等物理場問題——保角映射可把複雜邊界的區域「變形」成簡單區域，解完再變回去。

最後值得一提的是更廣的代數視角。$\mathbb{C}$ 是把 $\mathbb{R}$ 「加上 $i$」得到的二維代數，且它代數封閉、又是一個域（field）。若再往上推，會遇到四元數（quaternions $\mathbb{H}$，四維、乘法不可交換）與八元數（octonions $\mathbb{O}$，八維、連結合律都失去）。弗羅貝尼烏斯定理（Frobenius theorem）與赫維茲定理（Hurwitz theorem）共同說明：在合理的條件下，能保有「模長相乘」這條 $|z_1z_2|=|z_1||z_2|$ 性質的賦範可除代數，只有 $\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$ 四種，維度恰為 $1, 2, 4, 8$。換句話說，當初為了解 $x^2+1=0$ 而被「逼」出來的 $\mathbb{C}$，在整個數系階梯上佔據了一個獨一無二、兼具交換性與封閉性的甜蜜點——這也是它至今仍是科學與工程通用語言的根本原因。