歡迎來到複數的世界！
在你以往的數學學習中，或許曾被告知不能對負數取平方根。但在進階數學（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），寫作 \(Re(z)\)。
• \(y\) 是虛部（imaginary part），寫作 \(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）為單位。
• 逆時針測量的角度為正。
• 順時針測量的角度為負。
主輻角（principal argument）通常取值於區間 \( (-\pi, \pi] \) 或 \( [0, 2\pi) \)。
你知道嗎？在進階數學中，我們幾乎總是使用弧度而不是角度（度）。如果你的計算機上方顯示「D」，請記得切換到「R」！
5. 模-輻角形式（Modulus-Argument Form）
我們可以將任何複數 \(z\) 表示為：
\( z = r(\cos\theta + i\sin\theta) \)
其中 \(r\) 是模，\(\theta\) 是輻角。
模-輻角運算的魔力
以這種形式進行乘除法會簡單得多！
• 要相乘 \(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\)：將模相除，並將輻角相減。
\( |\frac{z_1}{z_2}| = \frac{r_1}{r_2} \) 且 \( arg(\frac{z_1}{z_2}) = \theta_1 - \theta_2 \)
溫故知新小視窗：
要將 \( x+iy \) 轉換為 \( r(\cos\theta + i\sin\theta) \)：
1. \( r = \sqrt{x^2 + y^2} \)
2. \( \theta = \arctan(\frac{y}{x}) \) （但在阿爾岡圖上檢查所在象限！）
6. 解方程式
複數是解開多項式方程式的鑰匙。
複數的平方根
要找到 \(\sqrt{w}\)，設 \( (x+iy)^2 = w \)。展開左側，比較實部和虛部，然後解聯立方程式。
二次方程式
如果你在使用二次公式時，發現根號內出現負數，你現在知道該怎麼做了！只需用 \(i\) 將其寫出來即可。
例子： \( x^2 + 9 = 0 \rightarrow x^2 = -9 \rightarrow x = \pm 3i \)。
共軛根定理（Conjugate Pair Theorem）
對於任何實係數多項式方程式，如果複數 \(z\) 是一個根，那麼它的共軛複數 \(z^*\) 也必然是根。
• 三次方程式（3 次方）會有 3 個實根，或者 1 個實根和 1 對共軛複數根。
• 四次方程式（4 次方）會有 4 個實根，2 個實根和 1 對共軛複數根，或是 2 對共軛複數根。
重點提示：複數根總是成對出現（就像鞋子一樣！）。如果你找到 \(2 + i\)，你就自動找到了 \(2 - i\)。
7. 阿爾岡圖上的軌跡（Loci on the Argand Diagram）
軌跡（locus，複數為 loci）是一組滿足特定規則的點。在複數中，這些規則會創造出優美的幾何圖形。
圓形： \( |z - a| = k \)
這意味著「\(z\) 與點 \(a\) 之間的距離永遠是 \(k\)」。
• 這代表一個以 \(a\) 為圓心，半徑為 \(k\) 的圓。
常見錯誤：在 \( |z + 2i| = 3 \) 中，圓心是 \(-2i\)，而不是 \(2i\)。一定要將其寫成 \( |z - (-2i)| \)。
垂直平分線： \( |z - a| = |z - b| \)
這意味著「\(z\) 到點 \(a\) 的距離與到點 \(b\) 的距離相等」。
• 這代表連接點 \(a\) 和點 \(b\) 的線段的垂直平分線。
半線（射線）： \( arg(z - a) = \alpha \)
這意味著「從點 \(a\) 到 \(z\) 的角度永遠是 \(\alpha\)」。
• 這代表一條從 \(a\) 開始（但不包含 \(a\)）且角度為 \(\alpha\) 的半線（或射線）。我們通常會在 \(a\) 處畫一個空心圓，以表示該點不包含在內。
區域與不等式
如果方程式使用 \( < \) 或 \( > \)，它代表一個區域。
• \( |z - a| < k \) 是圓形的內部。
• 對於 \(\le\) 或 \(\ge\)，使用實線（意味著邊界包含在內）。
• 對於 \( < \) 或 \( > \)，使用虛線（意味著邊界不包含在內）。
溫故知新：集合符號
你可能會看到一個區域寫作 \( \{z : |z - a| > k\} \)。這只是表示「所有距離 \(a\) 大於 \(k\) 的複數 \(z\) 的集合」。
總結：複數並非因為「不存在」而被稱為「虛數」——它們只是我們看待數系的一種更完備的方式。掌握運算，學會如何在阿爾岡圖上「看見」它們，你會發現它們是你數學工具箱中最強大的工具之一！