跳轉到

1.2 複數平面與ARGAND#

本章導言#

從 1545 到 1797，複數做了兩百五十年的「合法幽靈」：計算有用、本體可疑。扭轉局勲的不是代數的勝利，而是一個幾何圖像：把複數 \(a+b\sqrt{-1}\) 畫成平面上的點 \((a,b)\) 。這張地圖不是一個人的發明，而是至少三個人在互不知情下的共同創見。本節講述複數如何獲得肉身，以及「旋轉」這個被埋沒兩百五十年的幾何本質如何在圖像中水落石出。

為什麼需要平面：一維數線裝不下複數#

實數軸是一條完美的一維地址系統：每個實數一個點。但 \(a+bi\) 有兩個獨立分量，硬塞進一維只能靠「另立名目」——這正是 Descartes 稱之為 imaginary 的心理根源：它不在數線上，所以「不實」。

突破的邏輯其實早已在 Wallis 的工作中潛藏：John Wallis（1616–1703） 在 1673 年《代數論》中嘗試幾何化負根，提出負數不是「小於無」而是「超過數線終點的量」，並暗示虛根應該在與數線垂直的方向上尋找。但 Wallis 只給出隻言片語，未建立運算法則，影響甚微。

真正的關鍵洞察是一句話：虛單位 \(i\) 不是「數線上的怪數」，而是「新方向」。複數乘法不是「延伸的算術」，而是平面上的旋轉與縮放：

\[ (a+bi)(c+di) = (ac-bd) + (ad+bc)i. \]

乘積的實部 \(ac-bd\) 與虛部 \(ad+bc\) 恰是二維旋轉矩陣

\[ \begin{pmatrix} c & -d \\ d & \;\;c \end{pmatrix} \]

作用在向量 \((a,b)\) 上的兩個分量。複數 = 帶伸縮的旋轉，這一詮釋一旦到位，一切運算皆得幾何意義，幽靈自然除魅。

三位獨立發現者#

人物 身分 年代 著作與命運
Caspar Wessel 挪威測量員 1797 丹麥科學院論文，用五十年，無人理會
Jean-Robert Argand 巴黎會計、業餘數學家 1806 自費印行小冊，匿名發表
Carl Friedrich Gauss 哥廷根天文學家 1799–1831 內部使用約三十年，1831 才出版

Wessel（1745–1818） 是職業測量師，他的論文《方向的解析表示》根本動機來自三角測量：需要一種「既表長度又表方向」的代數。他定義「有向線段」的加法（平行四邊形）與乘法（輻角相加、模相乘），實質上完成了複數代數。1799 年 3 月發表於丹麥皇家科學院院刊——卻因語言偏遠、作者非學術圈而沉睡近一個世紀，直到 1895 年才被 Juel 重新發現。

Argand（1768–1822） 1806 年自費出版《幾何作圖論文中虛量的論述》，首次系統地把 \(x + i\sqrt{-1}\) 表為平面上「兩個垂直步驟」的合成，並指出這使虛量獲得「與實量相同的確實性」。小冊幾乎無人注意；1813 年，數學家 Legendre 把一封解釋 Argand 思想的信轉給《數學年鑑》，引發法國數學界一場「誰是 Argand」的尋人記。Argand 挺身承認作者身分，其後在該刊發表了著名的代數基本定理的複變證明（1806/1814）——一個業餘會計，為基本定理提供了第一個接近完備的複分析證明。

Gauss 早在 1799 年博士論文（證明代數基本定理的第一版）中就在使用複數平面的幾何直觀，但他刻意避開虛數的字眼。1831 年論文《雙二次剩餘理論第二篇》中，他公開提倡以平面點詮釋複數，並寫下那段關於「直接、反向、側向單位」的名言。Gauss 的權威使複數平面在德語學界迅速定案——術語「Gauss 平面」（Gaußsche Zahlenebene）在德文中沿用至今。

複數平面的基本詞彙#

設 \(z = x + iy\) ，其平面像為點 \(P = (x,y)\) 。

  • 實部 \(\operatorname{Re} z = x\) ；虛部 \(\operatorname{Im} z = y\) （ \(y\) 是實數！ \(\operatorname{Im} z\) 不含 \(i\) ）。
  • 模： \(|z| = \sqrt{x^2+y^2}\) ，即原點到 \(P\) 的距離。
  • 輻角： \(\operatorname{Arg} z = \theta\) ，向量 \(OP\) 與正實軸的夾角；主值範圍取 \((-\pi, \pi]\) ，記作 \(\arg z\) 。
  • 共軛： \(\bar{z} = x - iy\) ，是 \(P\) 對實軸的鏡像。性質： \(z\bar z = |z|^2\) 、 \(\overline{zw} = \bar z \bar w\) 、 \(z + \bar z = 2\operatorname{Re} z\) 。
  • 加法的幾何：平行四邊形法則（向量加法）。
  • 減法的幾何： \(w - z\) 是由 \(z\) 指向 \(w\) 的向量； \(|w-z|\) 是兩點距離。不等式 \(|z+w| \le |z| + |w|\) 就是「三角形兩邊之和大於第三邊」。

共軛的深意值得先行點出：實係數多項式若有一複根，則其共軛也是根（因為共軛保持多項式求值）。這解釋了 1.1 節 Bombelli 計算中共軛立方根的配對——實根 \(4 = (2+i)+(2-i)\) 是共軛相消的結果：虛部在共軛配對中抵消，實數從幽靈的成對出現中析出。

乘法即旋轉：關鍵的幾何計算#

設 \(z_1 = r_1(\cos\theta_1 + i\sin\theta_1)\) 、 \(z_2 = r_2(\cos\theta_2 + i\sin\theta_2)\) ，直接展開並用和角公式：

\[ z_1 z_2 = r_1 r_2\big[(\cos\theta_1\cos\theta_2 - \sin\theta_1\sin\theta_2) + i(\sin\theta_1\cos\theta_2 + \cos\theta_1\sin\theta_2)\big] = r_1 r_2 \big(\cos(\theta_1{+}\theta_2) + i\sin(\theta_1{+}\theta_2)\big). \]

模相乘、輻角相加。於是：

  • 乘以 \(i = 1(\cos 90^\circ + i\sin 90^\circ)\) ：**逆時針轉 \(90^\circ\) **。
  • 乘以 \(-1\) ：轉 \(180^\circ\) 。「負數是反向」——Gauss 的訓誡有了操作內容： \(-1\) 之所以「怪」，只因 \(180^\circ\) 旋轉恰與自身反序。
  • 乘以 \(\bar z / |z|\) ：將方向對準實軸。

一個「數」第一次同時承載了測量（模）與定向（輻角）——Wessel 的測量員直覺正是這兩種資訊的合體。

一個具體例題#

例題 1.2.1：用複數平面語言完成以下任務：(a) 把點 \(z = 3 + 4i\) 繞原點逆時針轉 \(60^\circ\) ；(b) 求把線段 \(AB\) （ \(A=1-i\) ， \(B=2+3i\) ）繞 \(A\) 逆時針轉 \(90^\circ\) 並伸長為原來 2 倍後的 \(B'\) ；(c) 判斷 \(1+i\) 、 \(2+2i\) 、 \(3+3i\) 三點的幾何關係。

解：

(a) 先算 \(|z| = \sqrt{3^2+4^2} = 5\) ， \(\cos\theta = 3/5\) 、 \(\sin\theta = 4/5\) 。旋轉 \(60^\circ\) 即乘以 \(e^{i\pi/3} = \cos60^\circ + i\sin60^\circ = \dfrac12 + \dfrac{\sqrt3}{2}i\) ：

\[ (3+4i)\Big(\frac12 + \frac{\sqrt3}{2}i\Big) = \Big(\frac32 - 2\sqrt3\Big) + \Big(\frac{3\sqrt3}{2} + 2\Big)i. \]

驗證模長： \(\big(\frac32-2\sqrt3\big)^2 + \big(\frac{3\sqrt3}2+2\big)^2 = \frac94 - 6\sqrt3 + 12 + \frac{27}{4} + 6\sqrt3 + 4 = \frac94+12+\frac{27}4+4 = 25\) 。✓（交叉項 \(\pm 6\sqrt3\) 完美抵消——共軛式配對的又一次顯靈。）

(b) 繞非原點的 \(A\) 旋轉縮放，公式為 \(z' = A + w(z - A)\) ，其中 \(w = 2(\cos90^\circ + i\sin90^\circ) = 2i\) 。故

\[ B' = (1-i) + 2i\big[(2+3i) - (1-i)\big] = 1 - i + 2i(1+4i) = 1 - i + 2i - 8 = -7 + i. \]

(c) 三點均在直線 \(y = x\) 上，即輻角同為 \(\pi/4\) ；模分別為 \(\sqrt2, 2\sqrt2, 3\sqrt2\) ，成等差。故 \(3+3i\) 是 \(1+i\) 與 \(2+2i\) 之間的線性內插——複數平面使「共線」一詞變成「輻角相等」。

三角形不等式與它的等號條件#

\(|z+w| \le |z|+|w|\) 的一般證明：

\[ |z+w|^2 = (z+w)\overline{(z+w)} = |z|^2 + |w|^2 + z\bar w + \bar z w = |z|^2 + |w|^2 + 2\operatorname{Re}(z\bar w) \le |z|^2 + |w|^2 + 2|z||w|, \]

最後一步用了 \(\operatorname{Re} u \le |u|\) 。等號成立的充要條件是 \(z\bar w\) 為非負實數，即 \(z\) 與 \(w\) 同向（輻角相等，一者為另一者的非負實倍數）。這個「等號條件」在 2.1 節將成為極限估計的日常工具；在 3.1 節它會以「積分不等式的等號何時成立」的姿態重現。

歷史啟示#

  • 詮釋改變本體地位： \(\sqrt{-1}\) 從「不可能之數」到「旋轉四分之一圈」，數學對象未變，詮釋一變，爭議煙消。概念爭議的最佳解法常是找到一個使它平凡化的模型。
  • 業餘者的地位：Wessel 是測量員、Argand 是會計。幾何詮釋來自「應用場景對方向感的渴求」，學院派反而困在代數的形式主義中。
  • 發表與被看見是兩回事：Wessel 發表了 97 年無人讀；Argand 印了 50 冊幾乎絕版。數學史的進度由「傳播」而非「發現」單獨決定。

與其他章節及領域的關聯#

  • 1.3 節：極形式 \((r,\theta)\) 是本節圖像的座標化，de Moivre 定理是「輻角相加」的直接代數後果。
  • 2.1 節：複變極限的定義就建立在 \(|w - z|\) （平面距離）之上；複數平面即度量空間 \(\mathbb{R}^2\) 。
  • 3.1–3.3 節：複積分是沿平面上曲線的積分；沒有複數平面就沒有複積分。
  • 6.1–6.3 節：保角映射是「處處旋轉角度不變」的映射——旋轉本質的成熟形態。
  • 向量分析：複數是二維向量算術；三維的推廣即四元數（1.1 節），其用於三維旋轉至今是電腦圖形學標準工具。
  • 電機工程：正弦穩態分析的「相量法」（phasor）就是把交流電壓/電流表為複數、以複數乘法計算相位差——Wessel 的方向代數每秒鐘在世界各地的電路中被執行億萬次。

練習#

  1. 畫圖說明 \(\dfrac{1}{z}\) 的幾何意義（提示： \(\frac1z = \frac{\bar z}{|z|^2}\) ——反演加鏡像）。
  2. 證明： \(|z_1 + z_2|^2 + |z_1 - z_2|^2 = 2(|z_1|^2 + |z_2|^2)\) （平行四邊形定律），並解釋其幾何意義。
  3. 把點 \(z_0 = 2+i\) 繞點 \(c = -1\) 逆時針轉 \(45^\circ\) 並縮為一半，求新位置。
  4. 證明以 \(z_1, z_2, z_3\) 為頂點的三角形面積等於 \(\dfrac12|\operatorname{Im}[(z_2-z_1)\overline{(z_3-z_1)}]|\) ，並用 \(z_1=0, z_2=3, z_3=i\) 驗證。
  5. 思考題：Argand 說複數平面「使虛量獲得與實量相同的確實性」。對照 Gauss 的「側向單位」之說，論述：詮釋的勝利是否等於「虛數不再虛」？

進階研讀：平面上看數學的四個深化場景#

場景一：單位圓上的群結構。模為 1 的複數集合 \(\{e^{i\theta}\}\) 在乘法下封閉、有單位元、有逆元 \(e^{-i\theta}\) ——這是群 \(U(1)\) 。物理學的規範場論中，電磁場的本質正是 \(U(1)\) 群的聯絡；一百多年後的物理學在 Wessel 的方向代數上重建了整座大廈。輻角相加即群運算，模相乘在一般複數上補足「縮放」——複數乘法群 \(\mathbb{C}^\times = \mathbb{R}_{>0} \times U(1)\) 的直積分解，是李群分解的最早範例。

場景二：Möbius 幾何的距離觀。複數平面上，圓與直線統一為「圓」：直線是過無窮遠點的圓。這個統一在 6.1 節線性分式變換下是不變的。平面 + 無窮遠點 = Riemann 球面（見 7.2 節）——「複數平面」加一點即得球，Argand 的地圖其實是一張球面圖。

場景三：等距變換的分類。複數平面的保距變換只有四型：平移 \(z \mapsto z + b\) 、旋轉 \(z \mapsto e^{i\theta}z\) 、鏡像 \(z \mapsto e^{i\theta}\bar z + b\) 、以及螺旋滑移。這個「四型分類」的證明完全是本節工具的演練，而它的一般化（Klein 的 Erlangen 綱領，1872）重構了整個幾何學——「幾何是不變數理論」。複數平面是 Erlangen 綱領最宜人的第一個課堂。

場景四：從 Argand 到向量場。把複數解釋為平面向量後，複變函數 \(f = u + iv\) 就是「平面到平面的映射」——這使第 2 章的偏導數、第 6 章的映射、10.2 篂的流體力學成為連續敘事。複函數的視覺化（domain coloring：以色相表輻角、明度表模）正是這一觀點的現代數位版，讀者可嘗試用程式畫出 \(f(z) = z^2\) 的染色圖，親眼看見 \(z=0\) 處的「角度加倍」。

名詞速查表（本節出現的核心術語）#

  • 複數平面（Gauss 平面）： \(z = x+iy\) 與點 \((x,y)\) 的等同。
  • 模： \(|z| = \sqrt{x^2+y^2}\) ，長度。
  • 輻角： \(\arg z\) ，方向角；主值 \(\operatorname{Arg} z \in (-\pi, \pi]\) 。
  • 共軛： \(\bar z\) ，對實軸的鏡像。
  • **單位圓 \(U(1)\) **：模為 1 的複數乘法群。
  • 平行四邊形定律： \(|z+w|^2+|z-w|^2 = 2(|z|^2+|w|^2)\) 。
  • 反演： \(z \mapsto 1/\bar z\) ，單位圓內外互換的幾何變換。
  • Riemann 球面：複數平面添加無窮遠點後的緊化模型。

年表速查（本節涉及的關鍵年份）#

  • 1673：Wallis 嘗試幾何化負根，虛根「垂直方向」之念初現。
  • 1797.3.13：Wessel 向丹麥科學院提交《方向的解析表示》。
  • 1799：Gauss 博士論文，複數幾何直觀內部使用之始；Argand 提出代數基本定理的複變證明初稿。
  • 1806：Argand 自費印行小冊。
  • 1813：Legendre 信件引發法國尋找 Argand；Argand 承認作者身分。
  • 1814：Argand 完整發表代數基本定理證明。
  • 1831：Gauss《雙二次剩餘理論第二篇》，公開複數平面詮釋。
  • 1872：Klein Erlangen 綱領，幾何即變換群下的不變理論。
  • 1895：Juel 重新發現 Wessel 論文。

深化問答三則#

問：為什麼複數平面遲至 1797 年才出現？座標幾何 1637 年就有了。 答：缺的不是座標，是問題。解析幾何的座標是「位置」，而複數需要的是「方向代數」——這個需求來自三角測量與力學（Wessel 的動機），而非代數學本身。代數學家被 \(\sqrt{-1}\) 「是什麼」困住，測量員只問「怎麼把方向算進去」。常常是應用領域的新問題形態解放了純數學的老僵局。

問：複數平面的詮釋是「證明」了複數存在嗎？ 答：嚴格說，是給了複數一個模型：有序對 \((x,y)\) 配上特定加乘法則（可由 \(\mathbb{R}\) 的性質嚴格構造，Hankel 1867 年給出完整形式化）。既然 \((x,y)\) 這種對象無人懷疑其存在，複數的存在性問題就地消解。這是 Hilbert 式立場的先聲：「對象由其關係定義，不必問它們本質上是什麼。」

問：模與輻角哪個更「根本」？ 答：對分析而言，模更根本：複變極限與收斂完全由 \(|f(z) - w|\) 控制（第 2 章），輻角反而是多值的麻煩來源（7.3 節分支切割）。對幾何與物理而言，輻角常是主角：相位、干涉、旋轉。這種「模管分析、輻角管幾何」的分工，貫穿全書。

（本節完）