歡迎來到複數的世界！
你好！如果你一直以為數學只處理「實數」，那就準備好踏上一場探索複數 (Complex Numbers) 的精彩旅程吧。在這裡，我們會打破「不能對負數開平方」的規則，讓我們能夠解決許多以前看似不可能解開的方程式。
複數在高等數學、工程學（特別是電路與信號處理）及物理學中佔有舉足輕重的地位。如果起初覺得有點抽象，別擔心，我們會帶你一步步拆解每一個概念！
第一部分：虛數單位與笛卡兒形式
1.1 定義虛數單位 (\(i\))
複數的基石就是虛數單位 (imaginary unit)，以 \(i\) 表示。
我們將 \(i\) 定義為： $$i = \sqrt{-1}$$
這直接導出了你必須牢記的最重要性質： $$i^2 = -1$$
你知道嗎？「虛數」這個名稱源於歷史因素，當時的數學家最初對這些數字抱持懷疑態度，但實際上它們在數學上的有效性與實數一樣，且用途極廣！
1.2 複數的笛卡兒形式
複數通常記作 \(z\)，其笛卡兒形式 (Cartesian form)（又稱矩形形式）寫法如下： $$z = x + iy$$
這裡的 \(x\) 和 \(y\) 都是實數。
- \(x\) 是 \(z\) 的實部 (Real Part)，記作 \(Re(z)\)。
- \(y\) 是 \(z\) 的虛部 (Imaginary Part)，記作 \(Im(z)\)。（請注意：\(Im(z)\) 僅指 \(y\)，並不包含 \(i\)）。
例子：若 \(z = 3 - 4i\)，則 \(Re(z) = 3\) 且 \(Im(z) = -4\)。
重點總結：
複數結合了實部與虛部，透過關鍵恆等式 \(i^2 = -1\)，使我們能夠處理 \(\sqrt{\text{負數}}\) 的情況。
第二部分：複數的代數運算 (\(x + iy\))
複數的算術運算與多項式代數非常相似，只需將 \(i\) 看作一個變數，但別忘了隨時將 \(i^2\) 化簡為 \(-1\)。
2.1 加法與減法
進行複數的加減法時，只需將實部與虛部分別合併即可。
若 \(z_1 = a + ib\) 且 \(z_2 = c + id\)： $$z_1 + z_2 = (a+c) + i(b+d)$$
類比：這就像準備食譜時合併食材。你會將麵粉加總、糖加總；你不會把麵粉總量和糖總量混在一起計算！
2.2 乘法
使用分配律（類似兩個括號展開的 FOIL 法）來進行複數乘法：
若 \(z_1 = a + ib\) 且 \(z_2 = c + id\)： $$z_1 z_2 = (a+ib)(c+id) = ac + iad + ibc + i^2bd$$
現在，記得 \(i^2 = -1\)： $$z_1 z_2 = (ac - bd) + i(ad + bc)$$
步驟示範：計算 \((2+3i)(1-i)\)。
- 展開：\(2(1) + 2(-i) + 3i(1) + 3i(-i)\)
- 化簡：\(2 - 2i + 3i - 3i^2\)
- 將 \(i^2\) 替換為 \(-1\)：\(2 + i - 3(-1)\)
- 合併：\(2 + i + 3 = 5 + i\)
2.3 共軛複數 (\(z^*\))
\(z = x + iy\) 的共軛複數 (complex conjugate) 記作 \(z^*\)（有時也記作 \(\bar{z}\)），其求法是將虛部的正負號反轉： $$z^* = x - iy$$
為什麼共軛很重要？當你將一個複數乘以它的共軛複數時，結果永遠是一個實數。 $$z z^* = (x+iy)(x-iy) = x^2 - (iy)^2 = x^2 - i^2y^2 = x^2 + y^2$$
這對於下一個運算：除法，至關重要。
2.4 除法（商）
要計算兩個複數的商 \(\frac{z_1}{z_2}\)，你必須使用分母的共軛複數 \(z_2^*\)。這個過程稱為分母實數化 (realising the denominator)。
步驟示範：計算 \(\frac{2+i}{3-2i}\)。
- 找出分母及其共軛：分母為 \(3-2i\)，其共軛為 \(3+2i\)。
- 分子與分母同時乘以共軛數： $$\frac{2+i}{3-2i} \times \frac{3+2i}{3+2i}$$
- 計算分母（結果應永遠為實數）： $$(3-2i)(3+2i) = 3^2 + 2^2 = 9 + 4 = 13$$
- 計算分子： $$(2+i)(3+2i) = 6 + 4i + 3i + 2i^2 = 6 + 7i - 2 = 4 + 7i$$
- 寫成 \(x+iy\) 形式： $$\frac{4+7i}{13} = \frac{4}{13} + i \frac{7}{13}$$
代數運算速查：
- 加/減法：實部歸實部，虛部歸虛部。
- 乘法：使用分配律並代入 \(i^2 = -1\)。
- 除法：分子分母同乘分母的共軛複數。
第三部分：根與方程式求解
3.1 二次方程式的非實數根
當你解二次方程式 \(ax^2 + bx + c = 0\)（其中 \(a, b, c\) 為實係數）時，若發現判別式 (\(b^2-4ac\)) 小於 0，則其根會是複數。
關鍵在於，這些非實數根永遠以共軛對 (conjugate pairs) 的形式出現。
若 \(z = \alpha + i\beta\) 是多項式的一個根，那麼 \(z^* = \alpha - i\beta\) 必為另一個根。
常見錯誤：此規則僅適用於多項式的所有係數 (\(a, b, c\)) 皆為實數的情況！
3.2 比較實部與虛部
一個複數方程式成立的條件是：兩邊的實部必須相等，且兩邊的虛部必須相等。
若 \(A + iB = C + iD\)，則 \(A=C\) 且 \(B=D\)。
這項技巧對於求解涉及複數及其共軛的方程式非常有用。
例子：求解 \(2z + z^* = 1 + i\)
令 \(z = x + iy\)，則 \(z^* = x - iy\)。
將這些帶入方程式：
$$2(x+iy) + (x-iy) = 1 + i$$
$$2x + 2iy + x - iy = 1 + i$$
$$3x + iy = 1 + i$$
現在，比較各部分：
實部： \(3x = 1 \implies x = \frac{1}{3}\)
虛部： \(y = 1\)
因此，解為 \(z = \frac{1}{3} + i\)。
重點總結：根與方程式
實係數多項式的非實數根皆為共軛對。求解複數方程式需將實部與虛部分開比較。
第四部分：阿爾岡圖與極形式
4.1 阿爾岡圖 (Argand Diagram)
複數 \(z = x + iy\) 可在二維平面上表示為點 \((x, y)\)，此平面稱為阿爾岡圖 (Argand diagram)。
- 水平軸為實數軸 (Real Axis)。
- 垂直軸為虛數軸 (Imaginary Axis)。
這種幾何表示法能幫助我們直觀地理解複數的性質。
4.2 模 (Modulus, \(r\))
複數 \(z = x + iy\) 的模是指在阿爾岡圖上，點 \((x, y)\) 到原點 \((0, 0)\) 的距離。記作 \(|z|\) 或 \(r\)。
利用畢氏定理： $$|z| = r = \sqrt{x^2 + y^2}$$
模永遠為非負值。注意 \(|z|^2 = z z^*\)。
4.3 輻角 (Argument, \(\theta\))
複數 \(z\) 的輻角是指連結原點至 \(z\) 的線段與正實軸之間的夾角 \(\theta\)，記作 \(\arg(z)\)。
輻角可利用三角函數求得： $$\tan \theta = \frac{y}{x}$$
我們通常使用主輻角 (Principal Argument)，其範圍限制為： $$-\pi < \theta \le \pi$$
求輻角的步驟指引：
- 繪圖：在阿爾岡圖上標出複數位置，判斷其象限。
- 參考角 (\(\alpha\))：計算銳角 \(\alpha = \tan^{-1}\left(\left|\frac{y}{x}\right|\right)\)。計算時請確保 \(x\) 和 \(y\) 取正值！
- 調整：根據象限決定 \(\theta\)：
- 第一象限 (x>0, y>0)：\(\theta = \alpha\)
- 第二象限 (x<0, y>0)：\(\theta = \pi - \alpha\)
- 第三象限 (x<0, y<0)：\(\theta = \alpha - \pi\) (或 \(-\pi + \alpha\))
- 第四象限 (x>0, y<0)：\(\theta = -\alpha\)
記憶小撇步：主輻角確保你總是從正實軸出發，以最短角度（順時針或逆時針）到達該複數向量。
4.4 極坐標形式 (Polar Coordinate Form)
利用模 \(r\) 與輻角 \(\theta\)，我們可以將 \(z\) 表示為極坐標形式。
根據三角函數定義： $$x = r \cos \theta \quad \text{且} \quad y = r \sin \theta$$
代入 \(z = x + iy\) 可得極形式 (Polar form)： $$z = r(\cos \theta + i \sin \theta)$$
這種形式在乘法與除法運算中通常更為簡便（雖然這些技巧會在後續章節討論，但現在你必須學會笛卡兒形式與極形式之間的互換）。
重點總結：阿爾岡圖與極形式
阿爾岡圖將 \(z=x+iy\) 映射至 \((x, y)\)。模 (Modulus) \(|z|\) 為距離；輻角 (Argument) \(\arg(z)\) 為相對於正實軸的角度（範圍在 \((-\pi, \pi]\)）。
第五部分：複數平面上的簡單軌跡 (Loci)
軌跡 (Locus) 是滿足特定幾何條件的點集。在複數平面上，這些條件通常以模或輻角來定義。
5.1 由模定義的軌跡（距離）
5.1.1 到某點距離固定（圓形）
軌跡為點 \(z\)，滿足 \(|z - a| = k\)，其中 \(a\) 為定點複數，\(k\) 為固定的正實數常數。
這描述了所有到 \(a\) 的距離恆為 \(k\) 的點 \(z\)。
幾何意義：以 \(a\) 為圓心、\(k\) 為半徑的圓。
例子： \(|z - (2+i)| = 5\)。
這是一個圓心在 \((2, 1)\)，半徑為 \(5\) 的圓。
5.1.2 到兩點距離相等（垂直平分線）
軌跡為點 \(z\)，滿足 \(|z - a| = |z - b|\)，其中 \(a\) 和 \(b\) 為兩個定點複數。
這描述了所有到 \(a\) 的距離等於到 \(b\) 的距離的點 \(z\)。
幾何意義：連接 \(a\) 與 \(b\) 線段的垂直平分線 (Perpendicular Bisector)。
方法：若要求其笛卡兒方程式，可將 \(z=x+iy\)、\(a=a_1+ia_2\)、\(b=b_1+ib_2\) 代入，並將兩邊平方以消除根號。
5.2 由輻角定義的軌跡（角度）
5.2.1 到某點輻角固定（半直線）
軌跡為點 \(z\)，滿足 \(\arg(z - a) = \theta\)，其中 \(a\) 為定點複數，\(\theta\) 為固定角度。
這描述了所有點 \(z\)，使得從 \(a\) 連接至 \(z\) 的向量與正實軸夾角為 \(\theta\)。
幾何意義：一條從 \(a\) 開始的半直線 (Half-Line)（或射線），不包含點 \(a\) 本身。
例子： \(\arg(z - 2) = \frac{\pi}{3}\)。
這是一條從 \((2, 0)\) 出發，與水平線夾角為 \(60^\circ\) 的射線。
重點總結：軌跡
模定義距離（圓形或垂直平分線）。輻角定義角度（半直線）。請務必識別被減去的複數（即「起點」或「圓心」）。