Complex numbers

歡迎來到複數的世界！

學校老師有沒有告訴過你，負數是不能開平方根的？在進階數學（Further Maths）裡，我們要打破這個規矩！你即將學到數學家們如何創造一個全新的數字維度，來解決那些「無法解決」的問題。從設計飛機機翼到理解屋內的電流流向，複數的應用無處不在。如果起初覺得這些數字很「虛擬」也不用擔心，我們會一步一步帶你認識！

1. 複數的語言

這一章的核心數字是 \(i\)。我們定義 \(i^2 = -1\)，這意味著 \(i = \sqrt{-1}\)。
一個複數（complex number） \(z\) 通常寫作：
\(z = x + yi\)
其中：
- \(x\) 是實部（Real Part），記作 \(Re(z)\)。
- \(y\) 是虛部（Imaginary Part），記作 \(Im(z)\)。
例子：在 \(z = 3 + 4i\) 中，實部為 3，虛部為 4。

複數共軛（Complex Conjugate）

每個複數都有一個「好夥伴」，稱為複數共軛，記作 \(z^*\)。要找到它，只需將虛部的符號變號即可。
如果 \(z = x + yi\)，那麼 \(z^* = x - yi\)。
這有什麼用呢？ 當你將一個複數乘以它的共軛時，虛部會互相抵消，你會得到一個純實數！
小貼士： \(zz^* = x^2 + y^2\)。這永遠是一個正實數。

基本運算

處理複數就像處理基本代數一樣——把 \(i\) 當成一個變數（像 \(x\) 一樣），但別忘了將所有的 \(i^2\) 替換為 \(-1\)。
1. 加法/減法： 將實部與實部相加減，虛部與虛部相加減。
2. 乘法： 使用「FOIL」方法（首項、外項、內項、末項相乘）。
3. 除法： 這部分比較棘手！要除以一個複數，需將分子和分母同時乘以分母的共軛。這樣可以將分母「實數化」。

重點總結： 複數由實部和虛部組成。把它們當作代數運算，但務必記得將 \(i^2\) 化簡為 \(-1\)。

2. 解多項式方程

現在我們可以解任何二次方程了！
如果判別式（\(b^2 - 4ac\)）為負數，其根將會是一對共軛複數（conjugate pair）。
例子：解 \(x^2 + 9 = 0\) 會得到 \(x = 3i\) 和 \(x = -3i\)。

共軛根定理（Conjugate Root Theorem）

對於任何係數為實數的多項式方程（如 \(ax^3 + bx^2 + cx + d = 0\)）：
如果 \(x + yi\) 是一個根，那麼它的共軛 \(x - yi\) 必然也是一個根。
- 三次方程： 會有 3 個實根，或者 1 個實根和 1 對共軛複根。
- 四次方程： 會有 4 個實根，或者 2 個實根和 1 對共軛複根，又或是 2 對共軛複根。

四次方程解題步驟：
1. 如果題目給出一個複根，立即寫下它的共軛。
2. 將因子 \((z - root)\) 和 \((z - conjugate)\) 相乘得到一個二次因子。
3. 使用多項式除法找到剩餘的二次因子。

重點總結： 只要方程的係數為實數，複根總是成對出現（\(a + bi\) 和 \(a - bi\)）。

3. 阿爾岡圖（Argand Diagram）

你可以把阿爾岡圖想像成複數的地圖。
- 水平軸是實軸（Real Axis）。
- 垂直軸是虛軸（Imaginary Axis）。
一個複數 \(z = x + yi\) 僅僅是坐標平面上的一個點 \((x, y)\)，或者是一個從原點指向該點的向量。

你知道嗎？ 在阿爾岡圖上進行複數加法，與向量加法完全一樣！只需遵循「首尾相接」原則即可。

重點總結： 阿爾岡圖將複數轉化為幾何圖形。實部看左右，虛部看上下。

4. 模幅角形式（Modulus-Argument Form）

除了使用坐標 \((x, y)\)，我們也可以透過距離原點的長度以及與正實軸形成的夾角來描述一個點。
1. 模（Modulus, \(r\) 或 \(|z|\)）： 到原點的距離。使用畢氏定理：\(|z| = \sqrt{x^2 + y^2}\)。
2. 輻角（Argument, \(\theta\) 或 \(arg(z)\)）： 從正實軸測量的角度。
- 角度單位為弧度（radians）。
- 主輻角（Principal Argument）： 我們通常將 \(\theta\) 的範圍限制在 \(-\pi\) 到 \(\pi\) 之間。
- 使用 \(\tan \theta = \frac{y}{x}\)，但要注意它位於哪個象限！

形式：

\(z = r(\cos \theta + i \sin \theta)\)
這是一種非常強大的表示方式，因為乘法會變得非常簡單：
- 乘法： 將模相乘，輻角相加。
- 除法： 將模相除，輻角相減。

重點總結： 模是「距離多遠」，輻角是「指向哪個方向」。記得使用弧度！

5. 軌跡與區域（Loci and Regions）

軌跡（Locus）是一組遵循特定規則的點集。在阿爾岡圖上，這些點會構成圖形：
- 圓形： \(|z - a| = r\) 意味著「\(z\) 與點 \(a\) 之間的距離始終為 \(r\)」。這是一個以 \(a\) 為圓心、半徑為 \(r\) 的圓。
- 垂直平分線： \(|z - a| = |z - b|\) 意味著「\(z\) 到 \(a\) 的距離與到 \(b\) 的距離相等」。這是一條位於 \(a\) 與 \(b\) 正中間的直線。
- 半直線： \(arg(z - a) = \theta\) 是一條從點 \(a\) 開始（但不包含 \(a\)）且方向角為 \(\theta\) 的射線。

常見錯誤： 繪製 \(arg(z - a)\) 時，記得這條線從 \(a\) 開始。通常我們會在 \(a\) 處畫一個空心圓，表示該點不包含在內。

重點總結： 將 \(|z - a|\) 解讀為「從 \(z\) 到 \(a\) 的距離」，這樣會更容易將軌跡視覺化。

6. 棣美弗定理（De Moivre’s Theorem）與歐拉公式（Euler's Form）

這就是進階數學最酷的地方！
歐拉關係式： \(e^{i\theta} = \cos \theta + i \sin \theta\)。
因此，我們可以將複數寫作 \(z = re^{i\theta}\)。這使得指數運算變得極其簡單！

棣美弗定理

對於任何整數 \(n\)：
\([r(\cos \theta + i \sin \theta)]^n = r^n(\cos n\theta + i \sin n\theta)\)
這能省下大量時間。不用將括號乘以自己 10 次，只需要將角度乘以 10 即可！

幾何效應

在阿爾岡圖上乘以一個複數 \(re^{i\theta}\) 有兩個效果：
1. 以原點為中心，進行縮放（放大），倍率為 \(r\)。
2. 繞原點逆時針旋轉，角度為 \(\theta\)。
例子：乘以 \(i\) 相當於旋轉 \(\frac{\pi}{2}\)（即 90 度）。

重點總結： 棣美弗定理將冪運算轉化為簡單的角度乘法。乘法本質上就是旋轉！

7. 複數的根

每個非零複數都有剛好 \(n\) 個互異的 \(n\) 次根。
如果你找到這些根並將它們標繪在阿爾岡圖上：
- 它們全都位於以原點為中心的同一個圓上。
- 它們會構成一個正 \(n\) 邊形的頂點（例如 4 個根構成正方形，6 個根構成正六邊形）。
- 所有這些根的總和始終為零。

單位根（Roots of Unity）

這些是方程 \(z^n = 1\) 的根。
第一個根永遠是 1。其餘的根均勻分佈在單位圓上。
根的公式為：\(z = e^{\frac{2k\pi i}{n}}\)，其中 \(k = 0, 1, ..., n-1\)。

重點總結： 根具有完美的對稱性。只要找到一個根，透過繞圓旋轉就能找到其他所有的根。

最終快速複習

1. \(i^2 = -1\)。
2. 共軛會將 \(i\) 部分的符號變號。
3. 模是距離；輻角是角度。
4. 模幅角形式的乘法： 模相乘，輻角相加。
5. 棣美弗定理： 模取冪，輻角相乘。
6. 軌跡： 用視覺化的方式思考距離與角度。
7. 根： 均勻分佈在圓上；總和為零。

如果起初覺得這些內容很複雜也不用擔心！習慣複數需要時間，因為這需要一種全新的思維方式。多練習運算，幾何概念自然會慢慢變得清晰。