歡迎來到複數的世界！(單元 FP1)

你好！你已經順利完成了純數學的基礎訓練，現在我們要深入探討一個非常迷人的課題：複數 (Complex Numbers)。如果剛開始覺得有點奇怪，請別擔心——你正從一個容易視覺化的數字世界（實數線），跨入一個全新的二維數學空間。

在本章中，我們將學習如何處理「不可能」的數學運算（求負數的平方根！），如何運用這些新數值進行基礎代數運算，以及如何透過幾何圖形將其視覺化。複數是極其重要的工具，應用範疇無處不在，從理解交流電 (AC) 到懸索橋的設計都少不了它。讓我們開始吧！

1. 定義虛數單位與複數

1.1 \(i\) 的誕生

幾個世紀以來，數學家們都知道像 \(x^2 = -4\) 這類方程式在實數系統 (\(\mathbb{R}\)) 中是沒有解的。為了修正這個問題，我們創造了一個新數字——虛數單位 \(i\)。

  • 虛數單位的定義性質為：
    $${i^2 = -1}$$
  • 這意味著： $${i = \sqrt{-1}}$$

類比：你可以把 \(i\) 想像成一種特殊的貨幣。它不存在於你的銀行帳戶（實數）中，但對於數學交易來說卻是不可或缺的！

1.2 什麼是複數？

複數 (Complex Number) 通常以變數 \(z\) 表示，是任何可以寫成以下形式的數：

$${z = a + bi}$$

其中 \(a\) 和 \(b\) 均為實數。

  • \(a\) 為實部 (Real Part)，記作 \(\text{Re}(z)\)。
  • \(b\) 為虛部 (Imaginary Part)，記作 \(\text{Im}(z)\)。

快速檢查： 如果 \(z = 3 - 5i\)，那麼 \(\text{Re}(z) = 3\)，\(\text{Im}(z) = -5\)。(注意：虛部只是係數 \(b\)，而不是 \(bi\) 本身！)

\(i\) 的冪次：四次方循環規律

\(i\) 的冪次以四為一個週期循環。這是簡化複雜計算的一個超好用的記憶法。

  1. $${i^1 = i}$$
  2. $${i^2 = -1}$$
  3. $${i^3 = i^2 \times i = -1 \times i = -i}$$
  4. $${i^4 = i^2 \times i^2 = (-1) \times (-1) = 1}$$

循環從 \(i^5 = i\) 開始重新計算。若要計算 \(i\) 的高次冪，只需將指數除以 4 並觀察餘數即可。

快速回顧：基礎知識

  • $${i^2 = -1}$$
  • $${z = a + bi}$$ (標準式)
  • 如果 \(i\) 的指數能被 4 整除（餘數為 0），結果即為 1。

2. 複數的算術

以 \(a + bi\) 形式對複數進行計算，與處理包含變數 \(x\) 的代數表達式非常相似，但有一個關鍵差異：請記住 $${i^2 = -1}$$。

2.1 加法與減法

像合併同類項一樣，將實部與虛部分開處理即可。

若 \(z_1 = a + bi\) 且 \(z_2 = c + di\)：

$${z_1 + z_2 = (a+c) + (b+d)i}$$

例子： 若 \(z_1 = 2 + 3i\) 且 \(z_2 = 5 - 7i\)。
$$z_1 + z_2 = (2+5) + (3-7)i = 7 - 4i$$

2.2 乘法

使用分配律（或 FOIL 方法，就像乘以兩個二項式一樣）。

步驟範例： 將 \(z_1 = 3 + 2i\) 乘以 \(z_2 = 1 - 4i\)。

  1. 利用 FOIL 展開： $$(3 + 2i)(1 - 4i) = 3(1) - 3(4i) + 2i(1) - 2i(4i)$$ $$= 3 - 12i + 2i - 8i^2$$
  2. 合併 \(i\) 項： $$= 3 - 10i - 8i^2$$
  3. 代入 \(i^2 = -1\)： $$= 3 - 10i - 8(-1)$$ $$= 3 - 10i + 8$$
  4. 合併實部： $$= 11 - 10i$$

乘法要點： 務必留意 \(i^2\) 項，並立即將其轉化為實數！

3. 複數共軛與除法

除法是基礎運算中最棘手的部分，但我們有一個強大的工具來簡化它：複數共軛 (Complex Conjugate)。

3.1 定義共軛

複數 \(z = a + bi\) 的共軛記作 \(\bar{z}\) (有時記作 \(z^*\))。你只需改變虛部的符號即可得到共軛複數。

若 \(z = a + bi\)，則 \(\bar{z} = a - bi\)。

例子： 若 \(z = 5 - 3i\)，則 \(\bar{z} = 5 + 3i\)。

為什麼共軛很有用？

當你將一個複數與其共軛相乘時，虛部會互相抵消，留下一個純實數結果：

$$(a + bi)(a - bi) = a^2 - abi + abi - b^2i^2$$ $$= a^2 - b^2(-1)$$ $$= a^2 + b^2$$

這永遠是一個非負的實數！

3.2 除法

進行複數除法時，我們的目標是消除分母中的 \(i\)（過程類似於有理化根式）。我們透過將分子和分母同時乘以分母的共軛來達成。

步驟範例： 求 \(\frac{2+i}{3-4i}\)。

  1. 找出分母及其共軛。
    分母：\(3 - 4i\)。共軛：\(3 + 4i\)。
  2. 將分數乘以 \(\frac{3+4i}{3+4i}\)：
    $$\frac{2+i}{3-4i} \times \frac{3+4i}{3+4i}$$
  3. 計算分母（這部分很簡單，即 \(a^2 + b^2\)）：
    $$(3-4i)(3+4i) = 3^2 + 4^2 = 9 + 16 = 25$$
  4. 計算分子（使用 FOIL）：
    $$(2+i)(3+4i) = 6 + 8i + 3i + 4i^2$$ $$= 6 + 11i - 4 = 2 + 11i$$
  5. 合併結果並寫成 \(a + bi\) 標準式：
    $$\frac{2 + 11i}{25} = \frac{2}{25} + \frac{11}{25}i$$

常見錯誤提醒： 做除法時，請確保使用分母的共軛，而不是分子的！

4. 解多項式方程式

複數存在的主要原因之一，是確保多項式方程式總是有解。在 FP1 中，我們專注於具有實係數的多項式（二次、三次及四次方程式）。

4.1 共軛根定理 (FP1 的核心概念)

如果一個多項式方程式 \(P(x) = 0\) 具有所有實係數，且 \(z = a + bi\) 是一個根，那麼它的共軛 \(\bar{z} = a - bi\) 也必然是其中的一個根。

這為什麼重要？ 這意味著複數根總是成對出現的。如果你找到一個複數根，你就免費得到了另一個！這對於解三次和四次方程式至關重要。

4.2 解三次方程式

三次方程式 (\(ax^3 + bx^2 + cx + d = 0\)) 必然有 3 個根。由於係數為實數，僅有兩種可能性：

  • 三個實根。
  • 一個實根與一對共軛複數根。

步驟範例： 三次方程式 \(P(x) = 0\) 的係數為實數。已知 \(2\) 和 \(3 + i\) 是其中兩個根，求第三個根。

  1. 識別複數根：\(z_1 = 3 + i\)。
  2. 由於係數為實數，應用共軛根定理。
  3. 第二個複數根必然是共軛值：\(z_2 = 3 - i\)。
  4. 這三個根為 \(2, 3 + i\) 以及 \(3 - i\)。(實根 2 的共軛就是它自己。)

4.3 由根求多項式

如果你知道根，就可以透過相乘因子 \((x - \text{root})\) 來求得多項式。

如果 \(z_1\) 和 \(\bar{z_1}\) 是一對共軛根，聰明的做法是先將它們的因子相乘：

$$(x - z_1)(x - \bar{z_1})$$
設 \(z_1 = a + bi\)。 $$(x - (a + bi))(x - (a - bi))$$

展開後，虛部會互相抵消，結果永遠是一個實係數的二次因子：

$$(x^2 - (z_1 + \bar{z_1})x + z_1 \bar{z_1})$$

記得：

  • 根的和：\(z_1 + \bar{z_1} = (a+bi) + (a-bi) = 2a\) (實部的兩倍)
  • 根的積：\(z_1 \bar{z_1} = a^2 + b^2\) (模的平方 - 見第 5 節)

因此，對應於 \(a \pm bi\) 這一對根的二次因子永遠是：

$${x^2 - 2ax + (a^2 + b^2)}$$

記憶技巧： 如果根是 \(1 \pm 2i\)，那麼 \(a=1, b=2\)。因子即為 \(x^2 - 2(1)x + (1^2 + 2^2) = x^2 - 2x + 5\)。這比分別展開四項快多了！

你知道嗎？

代數基本定理指出，一個 \(n\) 次（\(n \ge 1\)）且係數為複數的多項式，在複數系統中必定恰好有 \(n\) 個根（包含重根）。這保證了所有的多項式方程都能被求解！

5. 複數視覺化：阿爾岡圖 (Argand Diagram)

由於複數 \(z = a + bi\) 有兩個部分（\(a\) 和 \(b\)），我們無法將其繪製在簡單的數字線上。取而代之的是，我們使用一個稱為阿爾岡圖 (Argand Diagram) 的二維平面。

5.1 複數平面

阿爾岡圖基本上就是一個笛卡兒座標系統，其中：

  • 橫軸是實軸 (Real Axis)（表示 \(a\)）。
  • 縱軸是虛軸 (Imaginary Axis)（表示 \(b\)）。

複數 \(z = a + bi\) 被繪製為座標點 \((a, b)\)。

例子： \(z = 4 - 3i\) 會被繪製在第四象限的 \((4, -3)\) 點。

5.2 模 (Modulus)：與原點的距離

\(z\) 的模，記作 \(|z|\)，表示點 \((a, b)\) 與原點 \((0, 0)\) 之間的距離。因為軸是相互垂直的，我們使用畢氏定理。

$${|z| = \sqrt{a^2 + b^2}}$$

由於 \(a\) 和 \(b\) 都有平方，模永遠是一個非負實數。

例子： 求 \(z = -5 + 12i\) 的模。
$$|z| = \sqrt{(-5)^2 + (12)^2} = \sqrt{25 + 144} = \sqrt{169} = 13$$

5.3 幅角 (Argument)：角度

\(z\) 的幅角，記作 \(\arg(z)\) 或 \(\theta\)，是正實軸與連接原點到點 \(z\) 的線段之間的夾角。

在 FP1 中，我們通常處理的是主幅角 (Principal Argument)，它必須滿足：

$${-\pi < \theta \le \pi \quad \text{或} \quad -180^\circ < \theta \le 180^\circ}$$

（取決於題目要求使用弧度還是角度。）

尋找幅角 (步驟)
  1. 畫圖！ 這是最重要的一步。 畫出阿爾岡圖以確定 \(z\) 落在哪個象限。
  2. 求參考角 ($\alpha$)。 根據長度 \(|a|\) 和 \(|b|\)（三角形兩條邊的非負長度）使用三角函數計算： $${\tan(\alpha) = \frac{|b|}{|a|}}$$
  3. 求主幅角 ($\theta$)。 根據象限調整 \(\alpha\)：
    • 第一象限 (\(a>0, b>0\))： \(\theta = \alpha\)
    • 第二象限 (\(a<0, b>0\))： \(\theta = \pi - \alpha\)
    • 第三象限 (\(a<0, b<0\))： \(\theta = -(\pi - \alpha)\) (從正實軸反方向起算)
    • 第四象限 (\(a>0, b<0\))： \(\theta = -\alpha\)

例子 (弧度)： 求 \(z = -1 - i\) 的幅角。

  1. 畫圖： \(z\) 位於第三象限。\(a=-1, b=-1\)。
  2. 參考角 ($\alpha$)： \(\tan(\alpha) = \frac{|-1|}{|-1|} = 1\)。因此，\(\alpha = \frac{\pi}{4}\)。
  3. 主幅角 ($\theta$)： 由於在第三象限，我們計算 \(\pi - \alpha\)，然後將其轉為負值。 $$\theta = - \left(\pi - \frac{\pi}{4}\right) = - \frac{3\pi}{4}$$

幅角要點： 永遠不要在不檢查象限的情況下直接使用 \(\arctan(b/a)\)。計算機只會給你第一或第四象限的角度！

結語：你已經掌握了基礎！

你現在已經為 FP1 的複數系統打下了紮實的基礎！你已經學會了基本的代數運算、利用共軛根定理求解困難的多項式，以及透過阿爾岡圖、模和幅角來進行幾何呈現。繼續練習除法與幅角的計算步驟——這是大多數同學最容易出小錯的地方。加油！