歡迎來到複數的世界！
你有沒有試過計算機告訴你「無法對負數開平方」？在這一章裡，我們要打破這個規則！複數 (Complex numbers) 是你現有數學知識的一個絕妙延伸。它們讓我們能夠解開那些看似不可能的方程式，而工程師和科學家更利用它們來設計從智慧型手機電路到飛機機翼等各種東西。
如果起初覺得這些數字有點「虛構」(imaginary，雙關語！)，別擔心！我們會一步一步來，從這些數字的基本定義及其繪圖方式開始。
1. \(i\) 的魔力與笛卡兒形式
在你以前的學習中，你使用判別式 (Discriminant) (\(b^2 - 4ac\)) 來判斷二次方程式是否有根。如果判別式是負數，你會說該方程「無實根」。
複數引入了虛數單位 (Imaginary unit)，記作 \(i\)，其中：
\(i^2 = -1\) 或 \(i = \sqrt{-1}\)
什麼是複數？
一個複數 (complex number) (通常稱為 \(z\)) 由兩部分組成：實部 (Real part) 和 虛部 (Imaginary part)。我們用笛卡兒形式 (Cartesian Form) 來表示它：
\(z = a + bi\)
- \(a\) 是實部 (Real part) (\(Re(z)\))
- \(b\) 是虛部 (Imaginary part) (\(Im(z)\))
例子：在 \(z = 3 + 4i\) 中，實部為 3，虛部為 4。
基本運算
把 \(i\) 看作代數中的 \(x\) 來處理，但每當你看到 \(i^2\)，就把它替換為 \(-1\)。
- 加法/減法： 將實部相加/減，虛部亦然。
\((2 + 3i) + (4 - i) = 6 + 2i\) - 乘法： 使用 FOIL 方法（首項 First、外項 Outer、內項 Inner、末項 Last）。
\((2 + i)(3 - 2i) = 6 - 4i + 3i - 2i^2\)
由於 \(i^2 = -1\)，式子變為： \(6 - i - 2(-1) = 8 - i\)。
重點小筆記：
1. \(i = \sqrt{-1}\)
2. \(i^2 = -1\)
3. \(i^3 = -i\)
4. \(i^4 = 1\)
2. 共軛複數與除法
要進行複數除法，我們需要一個特別的夥伴，叫做共軛複數 (Complex Conjugate)。
什麼是共軛複數？
若 \(z = a + bi\)，其共軛複數（記作 \(z^*\) 或 \(\bar{z}\)）就是 \(a - bi\)。只需將虛部的符號反轉即可！
為什麼要使用它？ 當你將一個數乘以它的共軛時，虛部會互相抵消，留下一個純實數：
\((a + bi)(a - bi) = a^2 + b^2\)
如何進行除法
要解 \(\frac{2 + i}{3 - i}\)，請將分子和分母同時乘以分母的共軛複數 (\(3 + i\))。這樣可以「清理」分母，使其不再包含虛數。
常見錯誤： 忘記改變共軛符號。如果分母是 \(5 + 2i\)，其共軛為 \(5 - 2i\)。如果分母是 \(4 - 3i\)，則其共軛為 \(4 + 3i\)！
核心重點： 乘法和除法只是代數運算。最後記得要把 \(i^2\) 簡化為 \(-1\)！
3. 阿爾岡圖 (Argand Diagram)
複數不僅僅是符號，我們還可以把它們畫出來！阿爾岡圖 (Argand Diagram) 就像標準坐標圖，但：
- x 軸 是實軸 (Real Axis)。
- y 軸 是虛軸 (Imaginary Axis)。
類比：把它想像成地圖。要找到 \(z = 3 + 2i\)，向東（實數方向）走 3 步，再向北（虛數方向）走 2 步。
模 (Modulus) 與幅角 (Argument)
除了 \(x\) 和 \(y\) 坐標外，我們可以用距離中心多遠以及它形成的角度來描述一個點。
- 模 (\(|z|\))： 從原點 \((0,0)\) 到該點的距離。使用畢氏定理！
\(|z| = \sqrt{a^2 + b^2}\) - 幅角 (arg z)： 該線段與正實軸所成的角度 \(\theta\)。我們通常以弧度 (radians) 來度量，範圍在 \(-\pi\) 到 \(\pi\) 之間。
\(\tan(\theta) = \frac{b}{a}\)
你知道嗎？ 我們使用 \(-\pi < \theta \leq \pi\) 是因為在圖表的下半部分「向下」量度，比繞一圈量度要方便得多！
幅角小撇步：
請務必先繪製該點，以確認它位於哪個象限！
- 如果在第二象限，計算機可能會給你一個負值，你需要再加 \(\pi\)。
- 如果在第三象限，你需要減去 \(\pi\)。
4. 模幅形式與指數形式
現在我們有了 \(r\) (模) 和 \(\theta\) (幅角)，我們可以用新的方式來表示複數。
極座標形式 (模幅形式)
\(z = r(\cos \theta + i \sin \theta)\)
指數形式
利用歐拉恆等式 (Euler's identity)，我們可以更簡潔地寫出：
\(z = re^{i\theta}\)
為什麼要這樣做？ 在這些形式下，乘法和除法會變得容易得多！
- 乘法： \(re^{i\theta}\) 乘以 \(se^{i\phi}\) 時，將模相乘 (\(r \times s\))，並將幅角相加 (\(\theta + \phi\))。
- 除法： 將模相除 (\(r / s\))，並將幅角相減 (\(\theta - \phi\))。
核心重點： 加減法使用笛卡兒形式 (\(a + bi\))。乘除法及冪運算使用指數形式 (\(re^{i\theta}\))。
5. 解方程式
9709 課程大綱要求你解涉及複數的方程式。通常會出現兩種類型：
求複數的平方根
要找 \(3 + 4i\) 的平方根：
1. 令 \((x + iy)^2 = 3 + 4i\)。
2. 展開： \(x^2 - y^2 + 2xyi = 3 + 4i\)。
3. 建立兩個方程式： \(x^2 - y^2 = 3\) (實部) 和 \(2xy = 4\) (虛部)。
4. 使用代入法解 \(x\) 和 \(y\)。
具有複數根的多項式
如果一個多項式具有實係數（例如 \(x^2 + 4x + 13 = 0\)），而你發現其中一個根是複數（例如 \(z = -2 + 3i\)），那麼它的共軛複數也必然是根（即 \(z = -2 - 3i\)）。
記憶法： 複數根總是成對出現的！它們就像形影不離的「好朋友」，只是中間的符號相反而已。
6. 軌跡 (Loci，繪製區域)
「軌跡」是指符合某種規則的一組點。在阿爾岡圖上，這些軌跡看起來像圓形或直線。
1. 圓： \(|z - a| = r\)
這意味著點 \(z\) 到點 \(a\) 的距離始終為 \(r\)。
草圖：一個以 \(a\) 為圓心，\(r\) 為半徑的圓。
2. 垂直平分線： \(|z - a| = |z - b|\)
這意味著 \(z\) 位於點 \(a\) 和點 \(b\) 的正中間。
草圖：一條垂直平分 \(a\) 與 \(b\) 連線的直線，夾角為 90 度。
3. 半直線： \(arg(z - a) = \alpha\)
這意味著從點 \(a\) 出發的角度固定為 \(\alpha\)。
草圖：一條從點 \(a\) 出發（但不包含 \(a\)）並指向角度 \(\alpha\) 的「射線」。
重點小筆記：
- \(|z - (1 + 2i)| = 3\) 是一個圓心在 \((1, 2)\)，半徑為 3 的圓。
- 警告： 務必將公式寫成 \(|z - (number)|\) 的形式。如果你看到 \(|z + 1|\)，請將其重寫為 \(|z - (-1)|\)，這樣你才能正確判斷圓心在 \(-1\)。
總結：你的複數工具箱
- 標準形式： \(z = a + bi\) (適合加減法)。
- 共軛複數： \(z^* = a - bi\) (用於除法)。
- 地圖： 實部為 \(x\)，虛部為 \(y\)。
- 距離： \(|z| = \sqrt{a^2 + b^2}\)。
- 角度： \(\theta = \arctan(b/a)\) (記得檢查象限！)。
- 軌跡： 理解規則代表的「圖形」（圓形、直線或射線）。
持續練習！複數在普通的數線上看不見，可能會讓你覺得有點奇特，但一旦你掌握了阿爾岡圖，它們就會成為 A-Level 數學中最具視覺感且最有成就感的部分！