🚀 歡迎來到進階複數 (Further Complex Numbers, FP2)！
各位數學好手，大家好！你們已經掌握了複數的基本概念、在阿爾岡圖（Argand diagram）上繪點以及極坐標形式（Polar form）。現在，我們要將難度提升一個層次了！
這一章節——進階複數，將會介紹一些強大的工具，讓我們能夠高效計算複數的高次方與方根，並真正理解這些迷人數字背後的幾何意義。如果一開始覺得這些概念有些高深莫測，請別擔心——我們將透過簡單的步驟與實用的類比，一步步拆解這些難題。讓我們開始吧！
1. 複習：必備基礎知識
在進入新內容之前，我們務必對複數 \(z\) 的極坐標形式（Polar Form）感到非常熟練。
1.1 極坐標與指數形式
如果 \(z\) 的模（modulus）為 \(r = |z|\)，幅角（argument）為 \(\theta = \arg(z)\)，則我們寫作：
- 標準極坐標形式（模-幅角形式）：
\(z = r(\cos \theta + i \sin \theta)\) - 歐拉形式（超級捷徑）：
\(z = r e^{i\theta}\)
快速複習提示：請記住，除非另有說明，否則 \(\theta\) 的範圍必須在 \(-\pi < \theta \le \pi\) 之間。
2. 棣莫弗定理（De Moivre’s Theorem）：乘方捷徑
試想如果要用二項式展開計算 \((1 + i)^{10}\)，那將會非常耗時！棣莫弗定理為我們提供了一個簡單而優雅的捷徑，適用於極坐標形式的複數。
2.1 定理敘述
若 \(n\) 為任何有理數，則：
\((r(\cos \theta + i \sin \theta))^n = r^n (\cos(n\theta) + i \sin(n\theta))\)
簡單來說：要將極坐標形式的複數進行 \(n\) 次方，你只需將模 \(r\) 進行 \(n\) 次方，並將幅角 \(\theta\) 乘以 \(n\) 即可。
類比：角度放大器
將 \(n\) 次方想像成一個角度的放大器。它只會作用於角度，而模 \(r^n\) 則保持在外面。
2.2 使用歐拉形式（背後的邏輯）
如果你使用歐拉形式，該定理便一目了然：
\((r e^{i\theta})^n = r^n (e^{i\theta})^n = r^n e^{i(n\theta)}\)
這解釋了為什麼角度可以直接乘以 \(n\)。這就是為什麼熟練歐拉形式在 FP2 中如此重要的原因！
2.3 應用：證明三角恆等式
棣莫弗定理在推導 \(\cos(n\theta)\) 或 \(\sin(n\theta)\) 的恆等式（以 \(\sin \theta\) 和 \(\cos \theta\) 的幂次表示）方面非常強大。
推導 \(\cos(3\theta)\) 和 \(\sin(3\theta)\) 的步驟：
- 由 \(n=3\) 的棣莫弗定理開始：
\(\cos(3\theta) + i \sin(3\theta) = (\cos \theta + i \sin \theta)^3\) - 使用二項式定理 \((a+b)^3 = a^3 + 3a^2b + 3ab^2 + b^3\) 展開右式（RHS）：
\(RHS = (\cos \theta)^3 + 3(\cos \theta)^2 (i \sin \theta) + 3(\cos \theta)(i \sin \theta)^2 + (i \sin \theta)^3\) - 利用 \(i^2 = -1\) 和 \(i^3 = -i\) 進行簡化：
\(RHS = \cos^3 \theta + i(3 \cos^2 \theta \sin \theta) - 3 \cos \theta \sin^2 \theta - i \sin^3 \theta\) - 分組實部與虛部：
\(RHS = (\cos^3 \theta - 3 \cos \theta \sin^2 \theta) + i (3 \cos^2 \theta \sin \theta - \sin^3 \theta)\) - 對比實部得出 \(\cos(3\theta)\)：
\(\cos(3\theta) = \cos^3 \theta - 3 \cos \theta \sin^2 \theta\) - 對比虛部得出 \(\sin(3\theta)\)：
\(\sin(3\theta) = 3 \cos^2 \theta \sin \theta - \sin^3 \theta\)
棣莫弗定理重點：它將幂次（在外側）與角度的倍數（在內側）連結起來。在使用該定理前，請務必確認你的複數已轉為 \((\cos \theta + i \sin \theta)\) 的形式！
3. 求複數的方根（解 \(z^n = w\)）
這是棣莫弗定理的逆運算。當解如 \(z^4 = -16\) 的方程式時，我們是在尋找四個複數根。由於複數每 \(2\pi\) 弧度就會「循環」一次，因此方程式 \(z^n = w\) 永遠會有 \(n\) 個不同的根。
3.1 關鍵步驟：通幅角（General Argument）
在求根時，你必須記住，對於任何整數 \(k\)，角度 \(\theta\) 與 \(\theta + 2k\pi\) 是相同的。這種週期性賦予了我們所有不同的根。
如果 \(w = r(\cos \alpha + i \sin \alpha)\)，我們必須將 \(w\) 改寫為一般極坐標形式：
\(w = r(\cos (\alpha + 2k\pi) + i \sin (\alpha + 2k\pi))\)
其中 \(k\) 為整數。
3.2 求根過程
解 \(z^n = w\) 的步驟：
- 將 \(w\) 表示為一般極坐標形式： 使用模 \(r\) 和通幅角 \(\alpha + 2k\pi\)。
- 進行開方： 對等式兩邊開 \(n\) 次方。
\(z = w^{1/n} = r^{1/n} \left(\cos \left(\frac{\alpha + 2k\pi}{n}\right) + i \sin \left(\frac{\alpha + 2k\pi}{n}\right)\right)\) - 找出 \(n\) 個不同的根： 代入整數 \(k\) 值：
\(k = 0, 1, 2, \ldots, n-1\)
你只需要 \(k\) 的 \(n\) 個值，因為 \(k = n-1\) 之後根會開始重複。 - 簡化並列出答案： 如有需要，將幅角轉換回主值範圍 \((-\pi, \pi]\)。
💡 記憶輔助：切割披薩
如果你要找出 \(n\) 個根（例如 \(n=5\)），想像一下阿爾岡圖上的這些根。它們總是位於半徑為 \(r^{1/n}\) 的圓上，並且以 \(\frac{2\pi}{n}\) 的角度均勻分佈。你基本上就是在將複數平面的披薩切成 \(n\) 等份！
3.3 特殊情況：單位根（Roots of Unity，\(z^n = 1\)）
方程式 \(z^n = 1\) 的根稱為單位根。由於 \(1 = 1 e^{i(0 + 2k\pi)}\)，其根為：
\(z_k = \cos \left(\frac{2k\pi}{n}\right) + i \sin \left(\frac{2k\pi}{n}\right)\)，其中 \(k = 0, 1, \ldots, n-1\)。
- 其中一個根永遠是 \(z_0 = 1\)。
- 這些根是內接於單位圓的正 \(n\) 邊形的頂點。
- 如果 \(\omega\) 是第一個非平凡根（即 \(k=1\)），則其餘根皆為 \(\omega\) 的幂次：\(1, \omega, \omega^2, \ldots, \omega^{n-1}\)。
- 單位根之和永遠為零。
⚠️ 常見錯誤警示！
許多同學經常忘記第一步：使用通幅角。如果你只使用 \(\alpha\)（主幅角）而非 \(\alpha + 2k\pi\)，你將只會找到一個根，而不是全部的 \(n\) 個根！千萬別漏了那個 \(2k\pi\)！
求根重點：求根意味著將角度除以 \(n\)，但在這之前，你必須透過加上 \(2k\pi\) 來考慮原始角度所有可能的表示法。
4. 阿爾岡圖中的軌跡（Loci）
在阿爾岡圖中，軌跡（Locus，複數為 loci）是指滿足特定條件的點 \(z\) 的集合。這些條件通常使用模或幅角的符號來表示。理解這些幾何條件對於 FP2 至關重要。
4.1 軌跡 1：圓（定距）
表達式 \(|z - z_1|\) 代表點 \(z\) 與固定點 \(z_1\) 之間的距離。
\(|z - z_1| = r\)
這描述了所有與固定點 \(z_1\) 距離始終等於定值 \(r\) 的點 \(z\) 的軌跡。
- 軌跡描述： 圓形。
- 圓心： \(z_1\)
- 半徑： \(r\)
類比： 想像一隻繫在長度為 \(r\) 的牽繩上的狗，繩子另一端綁在固定的柱子 \(z_1\) 上。這隻狗能走出的路徑就是一個圓。
如果條件是不等式，例如 \(|z - z_1| \le r\)，則這描述的是閉圓盤（圓及其內部的所有區域）。
4.2 軌跡 2：垂直平分線（等距）
表達式 \(|z - z_1| = |z - z_2|\) 描述了所有到兩個固定點 \(z_1\) 與 \(z_2\) 距離相等的點 \(z\)。
\(|z - z_1| = |z - z_2|\)
- 軌跡描述： 直線。
- 幾何屬性： 這是連接 \(z_1\) 與 \(z_2\) 線段的垂直平分線。
給同學的笛卡兒坐標法提示：
如果幾何解讀有困難，請務必代入 \(z = x + iy\)、\(z_1 = x_1 + iy_1\) 等，並將兩邊平方來求出笛卡兒方程式：
例如： \(|x + iy - 2| = |x + iy - 4i|\)
\((x-2)^2 + y^2 = x^2 + (y-4)^2\)
展開後將會得到一條簡單的直線方程式（例如 \(y = mx + c\)）。
4.3 軌跡 3：半直線（定角）
幅角 \(\arg(z - z_1)\) 代表向量 \(\vec{z_1 z}\) 與正實軸之間的夾角。
\(\arg(z - z_1) = \alpha\)
這描述了所有點 \(z\)，使得從 \(z_1\) 出發並通過 \(z\) 的射線與實軸之間的夾角始終為定值 \(\alpha\)。
- 軌跡描述： 半直線（或射線）。
- 起點： \(z_1\)（該點通常不包含在軌跡中，因為 \(\arg(0)\) 未定義）。
- 方向： 由角度 \(\alpha\) 決定。
重要說明： 軌跡是從 \(z_1\) *開始*並向單一方向延伸。它不是一條完整的直線。
4.4 軌跡 4：複合條件（區域）
你可能需要同時繪製由兩個條件定義的區域，例如：
\(|z - 3i| \le 2\) 且 \(\frac{\pi}{6} < \arg(z - 3) \le \frac{\pi}{3}\)
拆解步驟：
- 第一部分是圓心位於 \(3i\)，半徑為 2 的閉圓盤。
- 第二部分是從 \(z=3\) 出發，由 \(\pi/6\) 和 \(\pi/3\) 兩個角度所限制的半直線區域。
- 解區域就是圓盤與角度區域重疊的部分。
軌跡重點： 模（modulus）代表距離（與圓或直線有關）。幅角（argument）代表角度（與半直線或扇形有關）。務必先找出固定點 \(z_1\)！
🎉 總結與最後叮嚀
恭喜你成功攻克了複數的進階理論！這些工具——棣莫弗定理與軌跡——是解決數學與物理中幾何問題的基石。
快速複習箱
- 棣莫弗定理： 幂次 \(n\) 會乘以角度 \(\theta\)。請使用 \(r e^{i\theta}\)。
- 方根： 必須使用通幅角 \(\theta + 2k\pi\)。透過 \(k = 0, 1, \ldots, n-1\) 來尋找 \(n\) 個不同的解。
- 圓軌跡： \(|z - z_1| = r\)（距離為常數）。
- 平分線軌跡： \(|z - z_1| = |z - z_2|\)（距離相等）。
- 半直線軌跡： \(\arg(z - z_1) = \alpha\)（角度為常數）。
請多練習笛卡兒形式與極坐標形式之間的轉換。記住，求根時，阿爾岡圖絕對是你視覺化解題的最佳夥伴！祝學習順利！