歡迎來到複數的世界！
在你以往的數學學習中，或許曾被告知不能對負數取平方根。但在進階數學（Further Maths）中，我們要打破這個規則！複數（Complex Numbers）讓我們能解開以往認為「不可能」的方程式。它們在現實世界中無處不在，從設計飛機機翼到理解電力如何在你的家中流動，都離不開複數。
如果起初覺得這些數字有點「虛幻」，請別擔心——讀完這份筆記後，你會發現這些數字遵循著非常合乎邏輯的規則，就像你自小學以來所使用的數字一樣。
1. 基礎：什麼是 \(i\)？
整個章節的基礎源於一個簡單的定義：虛數單位（imaginary unit），以 \(i\) 表示，定義為：
\( i^2 = -1 \) (或 \( i = \sqrt{-1} \))
笛卡兒形式（Cartesian Form）
複數（complex number） \(z\) 通常寫成笛卡兒形式：
\( z = x + iy \)
• \(x\) 是實部（real part），寫作 \(\text{Re}(z)\)。
• \(y\) 是虛部（imaginary part），寫作 \(\text{Im}(z)\)。
例子：在 \( z = 3 + 4i \) 中，實部是 3，虛部是 4。
複數共軛（The Complex Conjugate）
如果你有一個複數 \( z = x + iy \)，它的共軛複數（conjugate）（寫作 \(z^*\)）只需將虛部的符號改變即可：\( z^* = x - iy \)。
溫故知新：當且僅當一個複數的實部和虛部皆為零時，該複數才等於零。
重點提示：每個複數都有一個「實數」面和一個「虛數」面。把它想像成地圖上的座標吧！
2. 阿爾岡圖（The Argand Diagram）
我們無法在標準的數線上標示複數，因此我們使用一個二維圖表，稱為阿爾岡圖（Argand Diagram）。
• 橫軸是實數軸（Real Axis）（就像 x 軸）。
• 縱軸是虛數軸（Imaginary Axis）（就像 y 軸）。
類比：如果實數就像是在鋼索上前後行走，那麼複數就像是擁有了整個地板可以走動！
幾何效應
• 加法：相加 \(z_1 + z_2\) 就像向量相加。你只需分別移動兩者的實部和虛部。
• 共軛：取共軛 \(z^*\) 相當於將該點沿著實數軸進行反射。就像是在放在地板上的鏡子中看這個數字一樣。
3. 基本運算
複數運算與基礎代數非常相似，只需記住黃金法則：\( i^2 = -1 \)。
加法與減法
只需合併「同類項」。將實部相加，虛部相加。
例子： \( (2 + 3i) + (4 - i) = (2+4) + (3-1)i = 6 + 2i \)。
乘法
使用「FOIL」法（First, Outside, Inside, Last）或方格法來展開括號。
關鍵步驟：每當看到 \(i^2\)，就將其替換為 \(-1\)。
例子： \( (2+i)(3+2i) = 6 + 4i + 3i + 2i^2 = 6 + 7i - 2 = 4 + 7i \)。
除法
要進行複數除法，我們將分子和分母同時乘以分母的共軛複數。這能將分母「實數化」（變為實數）。
步驟 1：找出分母的共軛複數。
步驟 2：將分子和分母同時乘以該共軛複數。
步驟 3：使用 \(i^2 = -1\) 進行化簡。
重點提示：把 \(i\) 看作變數（像 \(x\) 一樣）來處理，但一定要記得將 \(i^2\) 轉變為 \(-1\)。
4. 模（Modulus）與輻角（Argument）
除了使用座標（\(x\) 和 \(y\)）外，我們還可以用它到原點的距離以及角度來描述複數。
模 \( |z| \)
模（modulus）是從原點 \((0,0)\) 到點 \(z\) 的距離。我們使用畢氏定理：
\( |z| = r = \sqrt{x^2 + y^2} \)
注意：模永遠是一個正實數或零。
輻角 \( \arg(z) \)
輻角（argument）（\(\theta\)）是該連線與正實數軸所夾的角度，以弧度（radians）為單位。
• 逆時針測量的角度為正。
• 順時針測量的角度為負。
在 OCR 課程標準中，主輻角（principal argument）取值於區間 \( (-\pi, \pi] \)。
你知道嗎？在進階數學中，我們幾乎總是使用弧度而不是角度（度）。如果你的計算機上方顯示「D」，請記得切換到「R」！
5. 模-輻角形式（Modulus-Argument Form）
我們可以將任何複數 \(z\) 表示為：
\( z = r(\cos\theta + i\sin\theta) \)
其中 \(r = |z|\) 是模，\(\theta = \arg(z)\) 是輻角。
模-輻角運算的魔力
以這種形式進行乘除法會簡單得多！
• 要相乘 \(z_1\) 和 \(z_2\)：將模相乘，並將輻角相加。
\( |z_1 z_2| = r_1 r_2 \) 且 \( \arg(z_1 z_2) = \theta_1 + \theta_2 \)
• 要相除 \(z_1\) 和 \(z_2\)：將模相除，並將輻角相減。
\( \left|\frac{z_1}{z_2}\right| = \frac{r_1}{r_2} \) 且 \( \arg\left(\frac{z_1}{z_2}\right) = \theta_1 - \theta_2 \)
溫故知新小視窗：
要將 \( x+iy \) 轉換為 \( r(\cos\theta + i\sin\theta) \)：
1. \( r = \sqrt{x^2 + y^2} \)
2. 利用三角學求出 \(\theta\)，並務必在阿爾岡圖上檢查所在象限！
6. 解方程式
複數是解開多項式方程式的鑰匙。
複數的平方根
要找到 \(\sqrt{w}\)，設 \( (x+iy)^2 = w \)。展開左側，比較實部和虛部，然後解所得到的聯立方程式以求出實數 \(x\) 和 \(y\)。
二次方程式
當解實係數方程式 \(az^2 + bz + c = 0\) 且判別式 \(b^2 - 4ac < 0\) 時，其解為包含負數平方根的非實數複數。
例子： \( z^2 + 9 = 0 \implies z^2 = -9 \implies z = \pm 3i \)。
共軛根定理（The Conjugate Pair Theorem）
對於任何實係數多項式方程式，如果非實數複數 \(\alpha\) 是一個根，那麼它的共軛複數 \(\alpha^*\) 也必然是根。
• 三次方程式（3 次方）會有 3 個實根，或者 1 個實根和 1 對共軛複數根。
• 四次方程式（4 次方）會有 4 個實根，2 個實根和 1 對共軛複數根，或是 2 對共軛複數根。
解高次多項式方程式
如果你已知一個複數根 \(\alpha = x + iy\)，你立刻就能知道它的共軛複數根 \(\alpha^* = x - iy\)。
1. 組成二次因式： \( (z - \alpha)(z - \alpha^*) = z^2 - 2xz + (x^2 + y^2) \)。請注意，這個二次因式的係數全是純實數！
2. 將多項式除以這個二次因式（或比較係數）以找出其餘的一次方或二次方因式。
3. 解其餘的因式以求出方程式的所有根。
總結：複數並非因為「不存在」而被稱為「虛數」——它們只是我們看待數系的一種更完備的方式。掌握運算，學會如何在阿爾岡圖上「看見」它們，你會發現它們是你數學工具箱中最強大的工具之一！