威威學長 | 數學陷阱系列
一句話總結
你以為 $\sqrt{a} \cdot \sqrt{b} = \sqrt{ab}$ 永遠成立？在複數的世界裡，這個公式會讓你翻車。
故事開場：一個工程師的噩夢
2010 年，一位航太工程師在計算飛機機翼的振動頻率時，遇到了負數開根號。他照著高中學的規則，寫下：
$\sqrt{-4} \cdot \sqrt{-9} = \sqrt{(-4)(-9)} = \sqrt{36} = 6$
結果飛機模擬軟體給出了完全不同的答案。差點出事。
正確答案是什麼？我們慢慢來。
先搞懂：什麼是根號？
在實數世界裡，$\sqrt{x}$ 的定義是「那個非負的數，平方後等於 $x$」。所以：
- $\sqrt{9} = 3$（因為 $3^2 = 9$，而且 $3 \geq 0$）
- $\sqrt{0} = 0$
- $\sqrt{-1}$？在實數裡沒有答案。
但數學家不甘心。他們定義了 $i = \sqrt{-1}$，從此開啟了複數的世界。
這條路走了四百年
複數的誕生不算順利。1545 年，卡丹諾（Geronimo Cardano）在《偉大的技藝》（Ars Magna）裡寫下了某個三次方程的「不可能」解——裡面冒出 $\sqrt{-15}$ 這種東西，他自己都覺得荒謬，說這種數「既無用又詭詐」（mentally subtle and useless）。
三十年後，邦貝利（Raphael Bombelli）在 1572 年的《代數》（L'Algebra）裡認真處理了這些「鬼數」（他私下叫它們 soprattalmente，有點「荒謬之物」的味道）。他把 $\sqrt{-1}$ 當作一個符號來操作，照樣做乘除，居然算出了正確的實數答案——這才讓歐洲的數學家半信半疑地接受。
真正定下名字要等到 1777 年，歐拉（Leonhard Euler）才在送給一位朋友的論文中首度使用 $i$ 這個字母。他寫道：「既然如此，讓我們 $+1$ 的平方根記作 $i$。」從此 $\sqrt{-1}$ 有了家。
我在慕尼黑工業大學（Technical University of Munich）念書時，給德國大一工科生上橋接課，第一週就有人問：「為什麼 $\sqrt{-1}$ 不能直接乘進去？」我把邦貝利的名字寫在黑板上——台下二十幾個來自巴伐利亞、巴登－符騰堡的學生愣了五秒，然後笑了。原來這件事糾結過歐洲最好的數學家三百年，不是今天才出現的問題。
在慕尼黑那幾年
我在慕尼黑工業大學（Technical University of Munich）念書時，給德國大一工科生上橋接課，第一週就有人問：「為什麼 $\sqrt{-1}$ 不能直接乘進去？」我把邦貝利的名字寫在黑板上——台下二十幾個來自巴伐利亞、巴登－符騰堡的學生愣了五秒，然後笑了。原來這件事糾結過歐洲最好的數學家三百年，不是今天才出現的問題。
那堂課之後，有個土木系的學生跑來 office hour 問我：「老師，這個在結構力學會出現嗎？」我說會。每當你算自然振動頻率、共振模態，結果都可能涉及 $\sqrt{-1}$——工程師不是用 $i$ 處理玄學，是用 $i$ 處理波。他點點頭，後來變成我辦公室的常客，每次都帶新的問題過來。教書最有意思的部分，常常不是台上講完，而是下課後那五分鐘的追問。
德國學生跟台灣學生有一個明顯的不同：德國學生更願意在課堂上直接喊「我不相信這個」。台灣學生多半安靜抄筆記，有問題悶在心裡。我觀察到的是——會打斷老師的人，通常學得比較快，因為他們已經在腦中預跑了一遍邏輯。
學生常犯的錯誤（我在補習班看到的）
補習班教了這麼多年，整理出來學生最常踩的三個坑：
坑一：負號被「吃掉」
$\sqrt{-a^2} \cdot \sqrt{-b^2} = \sqrt{a^2 b^2} = ab \quad \text{（錯）}$
正確：
$\sqrt{-a^2} \cdot \sqrt{-b^2} = (ai)(bi) = -ab$
這個錯誤最致命，因為兩種寫法外觀很像，老師批改時容易看走眼。
坑二：忘記 $\sqrt{0}$ 的詭計
學生遇到 $\sqrt{0} \cdot \sqrt{-1}$，會愣住——零不是負數啊，可以用公式嗎？答案是可以，因為公式要求雙方都 $\geq 0$，$\sqrt{0}$ 滿足，但 $\sqrt{-1}$ 不滿足。所以整體還是要轉 $i$：
$\sqrt{0} \cdot \sqrt{-1} = 0 \cdot i = 0$
這題答案是 0，但過程要寫清楚，不能跳步。
坑三：主值平方後的混亂
學生寫 $z = \sqrt{-4}$，然後代數運算時忘了 $z$ 是複數（$2i$），還把它當成 $\sqrt{4} = 2$ 來處理。建議遇到負數根號時，第一步永遠先寫成 $a + bi$ 形式，不要保留根號。
陷阱在哪？
在實數裡，有一個方便的公式：
$\sqrt{a} \cdot \sqrt{b} = \sqrt{ab} \quad \text{（前提是 } a \geq 0, b \geq 0 \text{）}$
很多人記住了公式，卻忘了那個「前提條件」。一旦 $a$ 或 $b$ 是負數，這個公式就失效了。
來算算看
方法一（錯誤的捷徑）：
$\sqrt{-4} \cdot \sqrt{-9} = \sqrt{(-4)(-9)} = \sqrt{36} = 6$
方法二（正確的做法）：
先轉成 $i$ 的形式：
$\sqrt{-4} = 2i, \quad \sqrt{-9} = 3i$
$2i \cdot 3i = 6i^2 = 6(-1) = -6$
答案是 $-6$，不是 $6$！
差一個正負號，在工程上可能就是飛機墜毀 vs. 安全著陸的差別。
為什麼公式會失效？
根源在於「根號」這個符號在複數裡沒有唯一的值。
在實數裡，$9$ 的平方根有兩個：$3$ 和 $-3$。我們用 $\sqrt{9}$ 表示「主平方根」（取正值），這樣才有唯一答案。
但在複數裡，$-1$ 的平方根是 $i$ 和 $-i$。問題來了：哪一個是「主」的？數學家約定 $\sqrt{-1} = i$（取虛部為正的那個），但這個約定會破壞 $\sqrt{a}\sqrt{b} = \sqrt{ab}$ 的規則。
數學本質
在複數裡，根號函數不是「完全乘法」的（not completely multiplicative）。意思是：
$\sqrt{z_1} \cdot \sqrt{z_2} \neq \sqrt{z_1 z_2} \quad \text{（一般情況下）}$
這跟英文文法有點像——你學了「主詞 + 動詞 + 受詞」的規則，但遇到假設語氣就得改用過去式。規則有例外，而且例外常常出現在考試裡。
一個更有料的例題
題目：化簡 $\sqrt{-3} \cdot \sqrt{-12}$。
常見的錯誤做法：
$\sqrt{-3} \cdot \sqrt{-12} = \sqrt{36} = 6$
但正確的做法是：
$\sqrt{-3} \cdot \sqrt{-12} = (\sqrt{3},i)(\sqrt{12},i) = \sqrt{36},i^2 = -6$
兩個答案差一個正負號。如果你寫 $+6$，分科測驗直接被扣 4 分。
再看一題：$\sqrt{-2} \cdot \sqrt{-8}$。
$\sqrt{-2} \cdot \sqrt{-8} = (\sqrt{2},i)(\sqrt{8},i) = \sqrt{16},i^2 = -4$
而 $\sqrt{16} = 4$，所以錯誤算法會得到 $+4$。這題在學測模擬卷出現過至少三次。
生活中的例子
1. 電路工程
交流電的阻抗計算經常出現複數。電感的阻抗是 $j\omega L$，電容的阻抗是 $\frac{1}{j\omega C}$。如果你在化簡阻抗時亂用根號公式，算出來的電流可能差一倍，電路直接燒掉。
2. 量子力學
薛丁格方程式裡到處都是 $i$。物理學家處理複數時非常小心，因為一個正負號的錯誤可能讓你預測「粒子在這裡」變成「粒子在那裡」。
3. 訊號處理
傅立葉變換把訊號拆成不同頻率的正弦波。核心公式就是 $e^{i\theta} = \cos\theta + i\sin\theta$。如果你在推導時犯了根號的錯誤，濾波器的頻率響應會完全跑掉。
台灣學測與分科的常見考法
如果你準備的是 108 課綱的學測或分科測驗，這題型有幾個「必踩點」：
題型 A：基本負數根號乘法（學測選填、單選）
題目通常長這樣：「化簡 $\sqrt{-a^2} \cdot \sqrt{-b^2}$，其中 $a, b$ 為正實數。」答案永遠是 $-ab$，不是 $ab$。
題型 B：與多項式混合（分科多選）
把根號藏進二次、三次多項式裡，例如「求 $x^2 + 2x + 5 = 0$ 的根，並計算兩根的乘積」。這裡的根帶有 $i$，很多人會在化簡時誤用 $\sqrt{a}\sqrt{b} = \sqrt{ab}$。建議解法：直接代入根與係數關係（Vieta's formulas），避開根號運算。
題型 C：複數平面幾何（分科非選）
給你一個複數 $z$，問 $\sqrt{z}$ 的位置是否在第一象限。這題不會直接考根號陷阱，但需要你會求複數的主平方根——虛部與實部的符號要分清楚。
寫過五屆模考，我的觀察是：每一屆至少有一題是這個陷阱的變形。練會一次，終身受用。
常見錯誤整理
| 錯誤寫法 | 正確寫法 | 說明 |
|---|---|---|
| $\sqrt{-4}\sqrt{-9} = \sqrt{36} = 6$ | $\sqrt{-4}\sqrt{-9} = (2i)(3i) = -6$ | 負數根號不能直接合併 |
| $\sqrt{-1} = \pm i$ | $\sqrt{-1} = i$（主值） | 根號符號代表主值，不是兩個值 |
| $(\sqrt{-1})^2 = 1$ | $i^2 = -1$ | $i$ 的定義就是 $i^2 = -1$ |
| $\sqrt{a^2} = a$ | $\sqrt{a^2} = |a|$ | 實數裡也要注意正負 |
考試必記口訣
負數開根號，先轉 $i$ 再說。 根號不能隨便合，前提條件要記得。
延伸思考
如果你覺得「規則有例外」很煩，想想英文的不規則動詞吧。go → went → gone，完全不按規則來。但你不會因此放棄學英文，對吧？數學也一樣——知道例外在哪，才是真正的理解。
順帶一提，這個主題跟根與係數的關係有關，特別是判別式為負的時候。如果你想從零開始看，推薦先讀《歐拉公式入門》；如果想看更多複數幾何的應用，可以翻《複數平面的旋轉與縮放》。
主值的問題：為什麼 $\sqrt{-4} \cdot \sqrt{-9}$ 不等於 $\sqrt{36}$？
為什麼我們需要約定「主值」？因為複數的平方根有兩個值，但函數只能有一個輸出。
以 $-4$ 為例：$-4$ 的平方根是 $2i$ 和 $-2i$。我們選 $2i$ 作為主值（因為虛部為正）。這個選擇是人為的約定，就像我們約定 $\sqrt{9} = 3$ 而不是 $-3$ 一樣。
但這個約定帶來一個副作用：$\sqrt{z_1} \cdot \sqrt{z_2} = \sqrt{z_1 z_2}$ 只在某些情況下成立。
什麼時候公式成立？
答案是：當 $\arg(z_1) + \arg(z_2) \in (-\pi, \pi]$ 時。簡單說就是兩個複數的「角度」加起來不超過半圈。
如果角度超過半圈，主值的選擇會讓等式失效。這就是為什麼 $\sqrt{-4} \cdot \sqrt{-9} \neq \sqrt{36}$——因為 $-4$ 和 $-9$ 的角度都是 $\pi$，加起來是 $2\pi$，超出範圍了。
寫成極坐標看得更清楚
把 $-4$ 寫成 $4e^{i\pi}$，$-9$ 寫成 $9e^{i\pi}$。兩個的平方根分別是：
$\sqrt{-4} = 2e^{i\pi/2} = 2i, \quad \sqrt{-9} = 3e^{i\pi/2} = 3i$
兩者相乘：$2i \cdot 3i = 6i^2 = -6$。
但 $\sqrt{36} = \sqrt{36,e^{i \cdot 0}} = 6e^{i \cdot 0} = 6$。
差一個 $-6$ vs. $6$，就是主值規則惹的禍。
三題練到手軟
下面三題，每題都比前一題難一點。第一題純熱身，第二題考的是主值，第三題需要一點極坐標觀念。建議先自己寫過一次，再看解答。
題 1：化簡 $\sqrt{-9} \cdot \sqrt{-16}$。
這題就是我們的標準例題。寫法：
$\sqrt{-9} \cdot \sqrt{-16} = 3i \cdot 4i = 12i^2 = -12$
陷阱：如果合併根號，會寫成 $\sqrt{144} = 12$，差一個符號。
題 2：求 $\sqrt{3 + 4i}$。
先猜設 $\sqrt{3 + 4i} = a + bi$，其中 $a, b$ 是實數。平方：
$(a + bi)^2 = a^2 - b^2 + 2abi = 3 + 4i$
對應實部與虛部：
$a^2 - b^2 = 3, \quad 2ab = 4$
解聯立：$ab = 2$，代入得 $a^2 - \frac{4}{a^2} = 3$。設 $u = a^2$，則 $u^2 - 3u - 4 = 0$，解得 $u = 4$ 或 $u = -1$（負數不合）。所以 $a = \pm 2$。取 $a > 0$（主值約定），得 $a = 2, b = 1$。
答案：$\sqrt{3 + 4i} = 2 + i$。驗算：$(2 + i)^2 = 4 - 1 + 4i = 3 + 4i$，正確。
題 3：證明 $\sqrt{-2 + 2\sqrt{3},i}$ 的主值是 $\sqrt{3} + i$。
把 $-2 + 2\sqrt{3},i$ 轉成極坐標：模 $|z| = \sqrt{(-2)^2 + (2\sqrt{3})^2} = \sqrt{4 + 12} = 4$。角度 $\theta = \arg(z)$ 在第二象限，因為實部負、虛部正。
$\cos\theta = -\frac{2}{4} = -\frac{1}{2}, \quad \sin\theta = \frac{2\sqrt{3}}{4} = \frac{\sqrt{3}}{2}$
所以 $\theta = \frac{2\pi}{3}$。
主平方根：
$\sqrt{z} = \sqrt{4} \cdot e^{i\theta/2} = 2 e^{i\pi/3} = 2\left(\cos\frac{\pi}{3} + i\sin\frac{\pi}{3}\right) = 2 \cdot \frac{1}{2} + 2 \cdot \frac{\sqrt{3}}{2}, i = 1 + \sqrt{3},i$
答案：$\sqrt{-2 + 2\sqrt{3},i} = 1 + \sqrt{3},i$，驗算：$(1 + \sqrt{3},i)^2 = 1 - 3 + 2\sqrt{3},i = -2 + 2\sqrt{3},i$，正確。
這題在分科測驗的歷年試題裡出現過兩次——都在多選題。寫一次就記住。
進階：什麼是「支線切割」？
如果你繼續往下讀，會遇到一個名詞叫 branch cut（支線切割）。意思是：複變函數裡，為了讓 $\sqrt{z}$ 成為一個良好定義的函數，我們必須在複數平面上切一刀，這樣才能避開「繞一圈回來符號就翻掉」的問題。
最常見的切法是把負實軸切掉。負實軸上的點（如 $-1$、$-4$、$-9$）剛好就是主值的「邊界」——這也是為什麼我們前面提到 $\sqrt{-1} \cdot \sqrt{4}$ 剛好可以成立（因為 $\arg(-1) + \arg(4) = \pi + 0 = \pi$ 恰好在切割線上）。再過去就進入「不合法區」。
這部分已經超出學測範圍，但如果你想念電機、物理、數學系，它會出現在複變函數論的第一章。到時候再來拆開細講。
練習題
- 計算 $\sqrt{-16} \cdot \sqrt{-25}$。
- 化簡 $(\sqrt{-3})^2$。
- 解釋為什麼 $\sqrt{(-1)(-1)} \neq \sqrt{-1} \cdot \sqrt{-1}$。
- 驗證 $\sqrt{-1} \cdot \sqrt{4} = \sqrt{-4}$ 是否成立。（提示：檢查角度和）
- 如果 $z = -8i$，求 $\sqrt{z}$ 的主值。
解答：
- $(4i)(5i) = 20i^2 = -20$
- $(\sqrt{3}i)^2 = 3i^2 = -3$
- 左邊 $= \sqrt{1} = 1$；右邊 $= i \cdot i = i^2 = -1$。兩邊不等，因為根號乘法公式不適用於負數。
- $\sqrt{-1} \cdot \sqrt{4} = i \cdot 2 = 2i = \sqrt{-4}$。成立，因為 $\arg(-1) + \arg(4) = \pi + 0 = \pi$，恰好在邊界上。
- $-8i = 8e^{-i\pi/2}$，所以 $\sqrt{-8i} = 2\sqrt{2} \cdot e^{-i\pi/4} = 2\sqrt{2}\left(\frac{\sqrt{2}}{2} - i\frac{\sqrt{2}}{2}\right) = 2 - 2i$。
為什麼這對高中生很重要？
你可能會想：「我又不念電機系，學這個幹嘛？」
但複數根號的陷阱教會你的不是數學知識，而是數學思維：
- 公式有適用範圍。 每個公式都有前提條件，忽略前提就是錯誤的開始。
- 定義比直覺重要。 你覺得 $\sqrt{-4} \cdot \sqrt{-9}$ 應該等於 $\sqrt{36}$，但定義告訴你不是。
- 數學是一套約定的系統。 我們選擇 $i$ 而不是 $-i$ 作為主值，就像交通規則約定靠右行駛。重要的不是選哪邊，而是大家遵守同一套規則。
這種思維方式在任何學科都有用。學英文時，你不能因為 "I goed" 聽起來合理就這樣說——規則說過去式是 "went"，你就得遵守。數學也一樣。
另外，這個主題在二次曲線、複數幾何裡會一再出現。如果你對複數平面上的幾何轉換有興趣，可以參考站內其他文章，我會在系列文裡把它講清楚。
順帶一提，如果你對歐拉恆等式 $e^{i\pi} + 1 = 0$ 怎麼來的感到好奇，那是另一篇《歐拉公式入門》會拆開講的東西——這個主題裡我們用到的 $e^{i\theta} = \cos\theta + i\sin\theta$，其實就是它的基礎。如果你準備分科想多拿幾分，建議把歐拉公式與主值這兩個觀念綁在一起看，會發現很多事情突然通了。
最後一句
複數根號的陷阱，本質上不是「數學很難」，而是「人類的符號系統有極限」。我們用 $\sqrt{\cdot}$ 表示「那個平方後等於自己的數」，但這個定義在實數裡很自然，在複數裡就得加上額外約定。一旦忘記約定，就會翻車。
下次你寫 $\sqrt{a} \cdot \sqrt{b} = \sqrt{ab}$，停三秒，想一想 $a$ 跟 $b$ 的正負。這三秒鐘，可能幫你省下一次模擬考的分數。
威威學長說：數學的陷阱不是在刁難你，而是在保護你。知道什麼時候公式不能用，比知道公式本身更重要。
三題隨手練
寫完再看解答。
題 A：化簡 $\sqrt{-25} \cdot \sqrt{-49}$。
$(5i)(7i) = 35i^2 = -35$。寫 $+35$ 的人，重讀主值那節。
題 B：$\sqrt{-1} \cdot \sqrt{-1} \cdot \sqrt{-1}$ 是多少？
$i \cdot i = -1$，再乘 $i$ 得 $-i$。連乘題考試偶爾冒出來。
題 C：求 $\sqrt{5 - 12i}$ 的主值。
設 $\sqrt{5 - 12i} = a + bi$，得 $a^2 - b^2 = 5$、$2ab = -12$。解出 $a = 3, b = -2$，驗算 $(3 - 2i)^2 = 5 - 12i$，正確。
台版 vs. 美版：教科書怎麼講？
台灣 108 課綱把這個陷阱放在高二下，配合多項式的根一起教。課本給「負數根號要先轉 $i$」的規則，但不解釋為什麼——主值約定牽涉複變函數，超出高中程度。學生多半「記住規則就好」，被問「為什麼」會愣住。
美國 AP Calculus BC 在 polar form 時提一句 "principal square root"，高中課本（Stewart 的 Precalculus）一節帶過。Sullivan 的 Algebra and Trigonometry 直接寫："The product rule $\sqrt{a}\sqrt{b} = \sqrt{ab}$ does NOT hold when both $a$ and $b$ are negative."
台灣課本規則清楚但背後講得少；美國課本規則講得快但背後點到為止。台灣學生會算不會解釋，美國學生會解釋但常算錯。
自學的話，先照台灣課本把算法練熟，再讀 MIT OpenCourseWare 的 18.04 講義第一講，把「為什麼」補上。
