歡迎來到複數的世界！
在你的 H2 學習歷程中，你已經接觸過像 \(x^2 + 1 = 0\) 這類方程式在實數系中沒有解的概念。到了 H3 數學，我們假設你已經具備了這些「虛數」概念的扎實基礎。如果覺得有點生疏也不用擔心！這些筆記旨在幫你填補空缺，確保你能以 H3 所需的自信與嚴謹度處理複數問題。
為什麼這很重要？ 複數不只是數學上的小技巧。它們在物理（交流電）、工程學（流體力學），甚至是在求解高次多項式（否則將無法解出）的根時，都扮演著不可或缺的角色。
1. 基本構件：笛卡兒形式 (Cartesian Form)
複數 \(z\) 通常以笛卡兒形式表示為：
\(z = a + bi\)
其中：
- \(a\) 是實部 (real part)，記作 \(Re(z)\)。
- \(b\) 是虛部 (imaginary part)，記作 \(Im(z)\)。
- \(i\) 是虛數單位，定義為 \(i^2 = -1\)。
算術基礎
在進行代數運算時，你可以把 \(i\) 看作像 \(x\) 一樣的變數，但一定要記得將所有的 \(i^2\) 替換為 \(-1\)。
- 加法/減法： 將實部和虛部分別合併。
例子：\((3 + 2i) + (1 - 4i) = 4 - 2i\) - 乘法： 使用展開法（分配律，即 FOIL）。
例子：\((1 + i)(2 - i) = 2 - i + 2i - i^2 = 2 + i - (-1) = 3 + i\)
小提醒： 實部和虛部本身都是實數。如果 \(z = 5 - 3i\)，那麼 \(Im(z) = -3\)，而不是 \(-3i\)。
2. 複共軛 (Complex Conjugate)
對於 \(z = a + bi\)，其複共軛記作 \(z^*\)（或 \(\bar{z}\)），定義為：
\(z^* = a - bi\)
共軛的「魔力」： 當你將複數乘以其共軛時，虛部會互相抵消，留下一個純實數：
\(z \cdot z^* = (a + bi)(a - bi) = a^2 + b^2\)。
為什麼要使用它？
我們利用共軛來進行除法。透過將分數的分子和分母同乘以分母的共軛，我們能將分母「實數化」（使其變成實數）。
關鍵點： 共軛是解開除法運算以及求取複數模長的「鑰匙」。
3. 視覺化數字：阿爾岡圖 (Argand Diagram)
複數不只是符號；它們是二維平面（稱為阿爾岡圖）上的點（或向量）。
- 橫軸是實軸 (Real Axis, \(Re\))。
- 縱軸是虛軸 (Imaginary Axis, \(Im\))。
類比： 把複數想像成 GPS 座標。\(z = 3 + 4i\) 的意思是「向東（實數）走 3 步，再向北（虛數）走 4 步」。
4. 極座標形式與指數形式
有時候，用「距離原點多遠」以及「指向什麼方向」來描述一個點會更容易，這就是極座標形式 (Polar Form)。
模長 (Modulus) 與幅角 (Argument)
1. 模長 (\(r\) 或 \(|z|\))： 從原點到該點的距離。
\(|z| = \sqrt{a^2 + b^2}\)
2. 幅角 (\(\theta\) 或 \(\arg z\))： 向量與正實軸所夾的角。
\(\tan \theta = \frac{b}{a}\)（一定要檢查該點落在哪個象限！）
各種形式
- 極座標形式： \(z = r(\cos \theta + i\sin \theta)\)
- 指數形式： \(z = re^{i\theta}\)
你知道嗎？ 指數形式讓乘法和除法變得非常簡單！
乘法：模長相乘，幅角相加。
除法：模長相除，幅角相減。
重要提示： 對於主幅角 (Principal Argument)，我們通常將 \(\theta\) 的範圍限制在 \(-\pi < \theta \leq \pi\)。
5. 幾何與軌跡 (Loci)
在 H3 中，你經常需要描述阿爾岡圖上點的集合（軌跡）。以下是最常見的幾種圖形：
1. 圓形
\(|z - z_1| = k\)
這代表一個圓心為 \(z_1\)、半徑為 \(k\) 的圓。它的字面意義是：「\(z\) 與 \(z_1\) 之間的距離恆等於 \(k\)」。
2. 垂直平分線
\(|z - z_1| = |z - z_2|\)
這是到 \(z_1\) 和 \(z_2\) 距離相等的點的集合。它是一條垂直平分線，將連接 \(z_1\) 和 \(z_2\) 的線段垂直切開。
3. 射線 (Rays / Half-lines)
\(\arg(z - z_1) = \alpha\)
這是一條從 \(z_1\) 出發（但不包含 \(z_1\)）且與水平方向夾角為 \(\alpha\) 的射線。
常見錯誤： 在繪製射線時，起始點 \(z_1\) 一定要用空心圓圈表示，因為 0 的幅角是沒有定義的！
6. 方程式求解：共軛根定理 (Conjugate Root Theorem)
如果你有一個多項式方程式（例如 \(az^2 + bz + c = 0\)），且所有係數 (\(a, b, c\)) 都是實數，那麼任何複數根都必須成共軛對 (conjugate pairs) 出現。
例子： 如果已知 \(z = 2 + i\) 是某個實係數多項式的根，那麼你自動會知道 \(z = 2 - i\) 也必定是該方程式的根！
單位根 (Roots of Unity)
H3 的問題常涉及 \(z^n = 1\)。這些解稱為 \(n\) 次單位根。它們在阿爾岡圖的單位圓（半徑為 1）上均勻分佈。
總結檢查清單
在進行進階的 H3 微積分或級數之前，請確保你已經掌握以下重點：
- 我能熟練地在笛卡兒形式 (\(a+bi\)) 與指數形式 (\(re^{i\theta}\)) 之間轉換嗎？
- 我記得 \(|z|^2 = z \cdot z^* \) 這個性質嗎？
- 我能在阿爾岡圖上畫出圓形或垂直平分線嗎？
- 我知道 \(\arg(z_1 z_2) = \arg z_1 + \arg z_2\) 嗎？
如果起初覺得困難也不要灰心！ 複數是一種視覺化的數學表達方式。如果你在處理方程式時卡住了，試著在阿爾岡圖上畫出來。通常，幾何圖形會給你代數運算所隱藏的答案！