🚀 高階複數:掌握冪次與根式 (單元 FP2)

你好,未來的數學家!歡迎來到高階複數的世界。在 FP1 中,你已經學會如何繪製、加減、乘除複數。而在 FP2,我們將提升幾個難度等級。你即將解鎖數學魔術,讓我們能夠瞬間求出複數的高次冪與特定的根!

為什麼這一章很重要? 它提供了強大的工具,特別是棣美弗定理 (De Moivre's Theorem)指數形式 (Exponential Form),這些對於解多項式方程以及將複數與進階三角學連結起來至關重要。


1. 快速複習:極座標形式(必備基礎)

要使用本章的重點定理,你必須熟練於笛卡兒形式 (\(z = x + iy\)) 與極座標形式 (\(z = r(\cos\theta + i\sin\theta)\)) 之間的轉換。

  • 模 (Modulus, \(r\)): 到原點的距離。\(r = |z| = \sqrt{x^2 + y^2}\)。
  • 輻角 (Argument, \(\theta\)): 從正實軸逆時針測量的角度。記得要根據象限調整角度!
  • 主輻角 (Principal Argument): 我們通常使用範圍在 \(-\pi < \theta \le \pi\) 之間的輻角。這能讓溝通更加明確。

快速複習提示: 如果你在確認 \(\theta\) 所在的象限時感到困難,請先停下來練習。如果在 \(\theta\) 上出錯,後續所有的計算都會白費!


2. 棣美弗定理:冪次運算的捷徑

試想一下,如果需要計算 \((1 + i)^{20}\),連乘 20 次會慢得要命!棣美弗定理提供了一個優雅的解決方案。

2.1. 整數定理

若 \(z = r(\cos\theta + i\sin\theta)\) 且 \(n\) 為任何整數(正或負),則:

$$ (r(\cos\theta + i\sin\theta))^n = r^n(\cos(n\theta) + i\sin(n\theta)) $$

這意味著什麼? 當將複數進行 \(n\) 次方運算時:

  1. 模 (modulus) \(r\) 進行 \(n\) 次方。
  2. 輻角 (argument) \(\theta\) 乘以 \(n\)。

類比:將棣美弗定理想像成終極的數學「定速巡航」。與其一步步慢慢走(連乘),不如直接設定目的地(將角度乘以冪次)。

2.2. 分步示例(正整數冪)

計算 \((\sqrt{3} + i)^6\)。

  1. 轉換為極座標形式:
    \(r = |\sqrt{3} + i| = \sqrt{(\sqrt{3})^2 + 1^2} = \sqrt{4} = 2\)。
    \(\tan\alpha = 1/\sqrt{3} \implies \alpha = \pi/6\)。由於它在第一象限,故 \(\theta = \pi/6\)。
    因此,\(\sqrt{3} + i = 2(\cos(\pi/6) + i\sin(\pi/6))\)。
  2. 應用棣美弗定理 (令 \(n=6\)):
    \((\sqrt{3} + i)^6 = [2(\cos(\pi/6) + i\sin(\pi/6))]^6\)
    \(= 2^6 (\cos(6 \cdot \pi/6) + i\sin(6 \cdot \pi/6))\)
  3. 化簡:
    \(= 64 (\cos(\pi) + i\sin(\pi))\)
    由於 \(\cos(\pi) = -1\) 且 \(\sin(\pi) = 0\),答案為:
    \(= 64(-1 + i(0)) = \mathbf{-64}\)。

你知道嗎? 棣美弗定理其實是歐拉公式(我們稍後會介紹)的一個特例,但它早在歐拉公式被發現的幾十年前就出現了!

重點總結: 棣美弗定理將冪次運算從重複乘法轉化為簡單的角度縮放。


3. 指數形式(歐拉恆等式)

指數形式可以說是書寫複數最優雅的方式。它源自歐拉恆等式 (Euler's Identity)

3.1. 定義指數形式

歐拉恆等式指出,對於任何實數角度 \(\theta\):

$$ \cos\theta + i\sin\theta = \text{e}^{i\theta} $$

因此,複數 \(z\) 的指數形式為:

$$ z = r\text{e}^{i\theta} $$

其中 \(r\) 是模,\(\theta\) 是輻角(以弧度為單位)。

為什麼要用它?
1. 它讓棣美弗定理看起來更整潔:\((r\text{e}^{i\theta})^n = r^n\text{e}^{in\theta}\)。
2. 它利用指數律簡化了乘法與除法:
乘法: \(z_1 z_2 = (r_1 \text{e}^{i\theta_1})(r_2 \text{e}^{i\theta_2}) = r_1 r_2 \text{e}^{i(\theta_1 + \theta_2)}\)
除法: \(z_1 / z_2 = (r_1 \text{e}^{i\theta_1}) / (r_2 \text{e}^{i\theta_2}) = (r_1 / r_2) \text{e}^{i(\theta_1 - \theta_2)}\)

記憶法: 記住「E」代表 Easy(簡單)!指數形式讓複數的代數處理變得容易得多。

重要提示: 當在 FP2 問題中使用指數形式時,輻角 \(\theta\) 必須始終以弧度 (radians) 為單位。

重點總結: 指數形式 \(r\text{e}^{i\theta}\) 是一種精簡的表示法,遵循標準的指數律,使計算非常高效。


4. 尋找複數的 \(n\) 次根

這是 FP2 中棣美弗定理最關鍵且最具挑戰性的應用。我們將求解形式為 \(z^n = w\) 的方程,其中 \(w\) 是已知複數。

代數基本定理保證方程 \(z^n = w\) 必定恰好有 \(n\) 個解(或稱根)。

4.1. 關鍵概念:週期性輻角

核心洞察在於記住角度每隔 \(2\pi\) 弧度(即 \(360^\circ\))就會重複一次。
對於任何複數 \(w = R(\cos\Phi + i\sin\Phi)\),我們也可以寫成:

$$ w = R(\cos(\Phi + 2k\pi) + i\sin(\Phi + 2k\pi)) $$

其中 \(k\) 是任意整數 (\(k = 0, \pm 1, \pm 2, \dots\))。這被稱為通輻角 (general argument)

4.2. 求根的一般公式

為了求 \(w = R\text{e}^{i\Phi}\) 的 \(n\) 個根,我們求解 \(z^n = w\)。使用帶有通輻角的指數形式:

$$ z^n = R\text{e}^{i(\Phi + 2k\pi)} $$

對兩邊取 \(n\) 次根:

$$ z_k = \sqrt[n]{R} \text{e}^{i\left(\frac{\Phi + 2k\pi}{n}\right)} $$

透過代入 \(k = 0, 1, 2, \dots, n-1\),即可找出這 \(n\) 個相異的根。

4.3. 分步求根過程

讓我們求 \(w = 8i\) 的立方根。

  1. 將 \(w\) 表示為指數形式:
    \(|w| = R = 8\)。
    \(8i\) 位於正虛軸上,因此主輻角 \(\Phi = \pi/2\)。
    \(w = 8\text{e}^{i\pi/2}\)。
  2. 寫出 \(w\) 的一般形式:
    \(w = 8\text{e}^{i(\pi/2 + 2k\pi)}\)。 (這是最關鍵的一步!)
  3. 應用求根公式 (\(n=3\)):
    \(z_k = \sqrt[3]{8} \text{e}^{i\left(\frac{\pi/2 + 2k\pi}{3}\right)}\)
    \(z_k = 2 \text{e}^{i\left(\frac{\pi}{6} + \frac{2k\pi}{3}\right)}\)
  4. 計算 \(k=0, 1, 2\) 時的根:
    k = 0: \(z_0 = 2 \text{e}^{i(\pi/6)}\)
    k = 1: \(z_1 = 2 \text{e}^{i(\pi/6 + 2\pi/3)} = 2 \text{e}^{i(5\pi/6)}\)
    k = 2: \(z_2 = 2 \text{e}^{i(\pi/6 + 4\pi/3)} = 2 \text{e}^{i(9\pi/6)} = 2 \text{e}^{i(3\pi/2)}\)
  5. 轉換回原形式(可選,但通常被要求):
    \(z_0 = 2(\cos(\pi/6) + i\sin(\pi/6)) = \sqrt{3} + i\)
    \(z_2 = 2(\cos(3\pi/2) + i\sin(3\pi/2)) = -2i\)
4.4. 根的幾何意義

當在阿爾岡圖 (Argand diagram) 上繪製時,複數的 \(n\) 個根始終具有以下性質:

  • 它們都位於一個以原點為中心、半徑為 \(\sqrt[n]{R}\) 的圓上。
  • 它們在圓周上均勻分佈。相鄰兩個根之間的角度恰好為 \(2\pi/n\) (或 \(360^\circ/n\))。

類比:想像這些根是摩天輪上均勻排列的座位,它們距離中心的距離都一樣。對於上面的立方根,它們之間相隔 \(2\pi/3 = 120^\circ\)。

4.5. 單位根 (Roots of Unity)

一個特殊的情況是求解單位根,即求解 \(z^n = 1\)。

由於 \(1 = 1\text{e}^{i0}\),其根為:

$$ z_k = 1 \text{e}^{i\left(\frac{2k\pi}{n}\right)} $$

如果我們將第一個非實數根(當 \(k=1\) 時)記為 \(\omega = \text{e}^{i(2\pi/n)}\),那麼所有的根為:\(1, \omega, \omega^2, \omega^3, \dots, \omega^{n-1}\)。

常見錯誤: 千萬不要忘記在除以 \(n\) 之前,先將 \(2k\pi\) 加到輻角 \(\Phi\) 上。如果你忘了這一點,你將只能找到一個根,而不是要求的 \(n\) 個根!

重點總結: 輻角的週期性 (\(\theta \equiv \theta + 2k\pi\)) 對於找出所有 \(n\) 個相異根是必要的,這些根在阿爾岡圖上永遠是均勻分佈的。


5. 連結複數與三角學

棣美弗定理是複數冪次與倍角恆等式(例如 \(\cos(3\theta)\) 或 \(\sin(4\theta)\))之間的橋樑。

5.1. 推導恆等式

要用 \(\cos\theta\) 和 \(\sin\theta\) 的冪次來表示 \(\cos(n\theta)\) 或 \(\sin(n\theta)\):

  1. 從棣美弗定理開始:\(\cos(n\theta) + i\sin(n\theta) = (\cos\theta + i\sin\theta)^n\)。
  2. 利用二項式定理 (Binomial Theorem) 展開右側。
  3. 將含有 \(i\) 的項(虛部)與不含 \(i\) 的項(實部)分組。
  4. 比較對應的部分:
    • 實部 = \(\cos(n\theta)\)
    • 虛部 = \(\sin(n\theta)\)

示例:求 \(\cos(3\theta)\)
\(\cos(3\theta) + i\sin(3\theta) = (\cos\theta + i\sin\theta)^3\)
\(= \cos^3\theta + 3\cos^2\theta(i\sin\theta) + 3\cos\theta(i\sin\theta)^2 + (i\sin\theta)^3\)
回顧 \(i^2 = -1\) 且 \(i^3 = -i\):
\(= \cos^3\theta + 3i\cos^2\theta\sin\theta - 3\cos\theta\sin^2\theta - i\sin^3\theta\)
比較實部:
\(\cos(3\theta) = \cos^3\theta - 3\cos\theta\sin^2\theta\)。 (我們成功推導出了三倍角公式!)

學習提示: 這裡的代數運算可能會很繁瑣。在二項式展開時,每一項都換行書寫,並立即替換 \(i\) 的冪次(\(i^2 \to -1\), \(i^3 \to -i\))。大量使用括號,以確保在最後一步之前,實部和虛部保持分離。

重點總結: 棣美弗定理結合二項式展開,讓我們能透過比較實部或虛部,推導出倍角三角恆等式。


🎉 本章總結:你的 FP2 複數工具箱

你現在已經擁有了處理高階複數所需的工具:

  1. 棣美弗定理: \((r(\cos\theta + i\sin\theta))^n = r^n(\cos(n\theta) + i\sin(n\theta))\)。用於整數冪次計算與推導三角恆等式。
  2. 指數形式: \(z = r\text{e}^{i\theta}\)。用於高效的乘法、除法,特別是在求根時。
  3. 求 \(n\) 次根: 務必從將複數 \(w\) 寫成其通輻角形式開始:\(w = R\text{e}^{i(\Phi + 2k\pi)}\)。這確保你能找到所有 \(n\) 個均勻分佈的解。

你已經攻克了高等純數中最抽象的部分之一。請繼續練習那些求根題——它們是這一章中最具技術性的技能。祝你好運!