代數與函數 · 複數平面

複數平面

以 a 水平、b 鉛直表示 a + bi 的數平面。乘以 w,會將整個平面旋轉 arg w,並以 |w| 倍伸縮。

01

本頁中的複數平面

複數平面(也稱阿爾岡圖或高斯平面)把複數 a+bia + bi 畫成點 (a,b)(a, b):實部水平,虛部鉛直。它到 0 的距離是模 ∣z∣=a2+b2|z| = \sqrt{a^2 + b^2},方向則是幅角 arg⁡z\arg z,也就是從正實軸量起的角度;本頁給出位於 (−180∘,180∘](-180^\circ, 180^\circ] 的主值,0 處則沒有幅角。因此 z=r(cos⁡θ+isin⁡θ)=reiθz = r(\cos\theta + i\sin\theta) = re^{i\theta},這是極式。本頁呈現加上一個數 ww、乘以它,以及反覆相乘,如何改變整個平面。

相乘:長度相乘,角度相加
(a+bi)(c+di)=(ac−bd)+(ad+bc)i∣zw∣=∣z∣ ∣w∣,arg⁡zw≡arg⁡z+arg⁡w(mod360∘)\begin{gathered} (a + bi)(c + di) = (ac - bd) + (ad + bc)i \\ |zw| = |z|\,|w|, \qquad \arg zw \equiv \arg z + \arg w \pmod{360^\circ} \end{gathered}

乘以 ww 會把 1 送到 ww,把 ii 送到 iwiw,後者就是 ww 旋轉 90°。淡色單位網格被帶到由 ww 與 iwiw 張成的黃色網格:整個平面繞 0 旋轉 arg⁡w\arg w,並以 ∣w∣|w| 倍伸縮,所以像的網格始終是正方形。z 點 = a+bia + bi 保留原本的網格座標,因此 zw=a⋅w+b⋅(iw)zw = a\cdot w + b\cdot(iw) — 分量拆解會畫出兩條走法。令 w=c+diw = c + di,則 iw=−d+ciiw = -d + ci:把 ww 轉四分之一圈,會將虛部 dd 移到負實軸,這就是公式中的 −bd-bd,是 i2=−1i^2 = -1 留下的痕跡。三角形 0–1–zz 與 0–ww–zwzw 相似(當 w≠0w \ne 0),所以長度相乘、角度相加;角度和超過 180° 時會減去 360°。乘以 0 將每個點送到 0。除以 w≠0w \ne 0 則反過來:轉回 arg⁡w\arg w,並按 ∣w∣|w| 的因子縮小。

相加將整個平面平移 ww(平行四邊形 0、zz、ww、z+wz + w),且 ∣z+w∣≤∣z∣+∣w∣|z + w| \le |z| + |w|,只有 zz 與 ww 同向或其中一個為零時取等號。重複標出 z,zw,zw2,…z, zw, zw^2, \dots:每一步旋轉 arg⁡w\arg w,並以 ∣w∣|w| 倍伸縮,因此各點位於等角螺旋上。當 ∣w∣=1|w| = 1,而 arg⁡w\arg w 是一圈的分數 p/qp/q 時,qq 步後便回到原處(從 1 出發:1 的 qq 次方根);若為 w=ei⋅1w = e^{i\cdot 1},則永遠不會,因為 1/2π1/2\pi 是無理數。

02

值得觀察的地方

  • 讀值只有在精確時才用「=」:有理數分量、平方為有理數的長度(寫成根式 10=5⋅2\sqrt{10} = \sqrt5\cdot\sqrt2),以及恰為一圈某個分數的角度,例如以度數或 π 輸入、或吸附在轉盤刻度上。當 aa、bb 為有理數時,a+bia + bi 的角度只有在座標軸與對角線上才是這樣的分數,因此 arg⁡(2+i)\arg(2 + i) 沒有精確的有理度數;26.57° 是捨入值。
  • 幅角不是 arctan⁡(b/a)\arctan(b/a):對 a<0a < 0,那會給出錯誤象限。通過重複相乘各點的螺旋使用主值 arg⁡w\arg w;加上一整圈,便得到另一條通過相同各點的螺旋。各點不以線連接:折線不是這條螺旋。
  • 按數值鍵、切換模式或開啟精選視角,會在 0.6 s 內將網格從「乘以 1」轉為「乘以 ww」。這只是呈現方式:乘法是單一步驟,讀值從一開始就顯示結果。
03

操作方式

  • 拖曳平面上的 z 或 ww;靠近格點時會吸附(ww 也會吸附到單位圓上 30° 與 45° 的倍數),因此得到精確值。轉盤設定 arg⁡w\arg w,旋鈕設定 ∣w∣|w|。zz 或 ww 可輸入為 2+i、1.5∠40° 或 e^(iπ/3);沒有 ° 或 π 的角度以弧度計。
04

相關概念

這種幾何圖像可追溯至 Caspar Wessel(1799)與 Jean-Robert Argand(1806)。乘以 w=c+diw = c + di 是矩陣 [c−ddc]\begin{bmatrix} c & -d \\ d & c \end{bmatrix} 所代表的線性映射,包含旋轉與伸縮;一般矩陣還能讓網格產生剪切 — 請見線性變換頁面。

延伸閱讀: 維基百科: Complex plane (英文); OpenStax, Precalculus 2e, 8.5 Polar Form of Complex Numbers (英文); MacTutor 數學史資料庫: Jean Robert Argand (英文).