代数与函数 · 复平面

复平面

把复数a + bi画成点(a, b)的平面。乘以w,就是把整个平面转过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出发就是qq次单位根);w=ei⋅1w = e^{i\cdot 1}时永远回不来,因为1/2π1/2\pi是无理数。

02

值得注意的地方

  • 读数只在精确时写“=”:有理数的实部、虚部,平方是有理数的模(写成根式,10=5⋅2\sqrt{10} = \sqrt5\cdot\sqrt2),以及恰好是一圈的有理倍数的辐角(键入的度数或π的倍数、罗盘的标记)。实部、虚部都是有理数时,辐角只在坐标轴和对角线上才是一圈的有理倍数,所以arg⁡(2+i)\arg(2 + i)没有精确的度数,26.57°是它的近似值。
  • 辐角不是arctan⁡(b/a)\arctan(b/a):a<0a < 0时它给出错的象限。连乘的参照螺线用arg⁡w\arg w的主值;给它加一整圈,是另一条也穿过这些点的螺线。点之间不连线:折线不是螺线。
  • 按数值键、换模式、打开精选视角时,方格在0.6秒里从“乘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}的线性变换,即旋转加缩放;一般的矩阵还会把方格剪切变形,见线性变换一页。

延伸阅读:维基百科:复平面;OpenStax:Precalculus 2e, 8.5 Polar Form of Complex Numbers(英文);MacTutor数学史:Jean Robert Argand(英文)。