表示复数 z z z 的位置, 也可以借助于点 z z z 的极坐标 r r r 和 θ \theta θ 来确定
(图 1.1). 这里使原点与直角坐标系的原点重合, 极轴与正实轴重合.
下面我们用向量 O z → \overrightarrow{O z} Oz 来表示复数 z = x + i y z=x+\mathrm{i} y z=x+iy,
其中 x , y x, y x,y 顺次等于 O z → \overrightarrow{O z} Oz 沿 x x x 轴与 y y y 轴的分量.
向量 O z → \overrightarrow{O z} Oz 的长度称为复数 z z z 的模或绝对值, 以符号
∣ z ∣ |z| ∣z∣ 或 r r r 表示, 因而有
r = ∣ z ∣ = x 2 + y 2 ⩾ 0 , r=|z|=\sqrt{x^{2}+y^{2}} \geqslant 0, r=∣z∣=x2+y2⩾0,
且. ∣ z ∣ = 0 |z|=0 ∣z∣=0 的充要条件是 z = 0 z=0 z=0.
这里引进的模的概念与实数的绝对值的概念是一致的. 由于复数 z z z 的模 ∣ z ∣ |z| ∣z∣
是非负实数, 所以能够比较大小. 同样,复数的实、虚部也能够比较大小.
根据图 1.1 ,我们有不等式
∣ x ∣ ⩽ ∣ z ∣ , ∣ y ∣ ⩽ ∣ z ∣ , ∣ z ∣ ⩽ ∣ x ∣ + ∣ y ∣ , − ∣ z ∣ ⩽ Re z ⩽ ∣ z ∣ , − ∣ z ∣ ⩽ Im z ⩽ ∣ z ∣ . \begin{array}{l} |x| \leqslant|z|, \quad|y| \leqslant|z|, \quad|z| \leqslant|x|+|y|, \\ -|z| \leqslant \operatorname{Re} z \leqslant|z|, \quad-|z| \leqslant \operatorname{Im} z \leqslant|z| . \end{array} ∣x∣⩽∣z∣,∣y∣⩽∣z∣,∣z∣⩽∣x∣+∣y∣,−∣z∣⩽Rez⩽∣z∣,−∣z∣⩽Imz⩽∣z∣.
及
根据图 1.2 ,我们有不等式
∣ z 1 + z 2 ∣ ⩽ ∣ z 1 ∣ + ∣ z 2 ∣ \left|z_{1}+z_{2}\right| \leqslant\left|z_{1}\right|+\left|z_{2}\right| ∣z1+z2∣⩽∣z1∣+∣z2∣
(三角形两边之和大于第三边).
它称为三角不等式.
此外, 根据图 1.3 ,我们还有不等式
∣ ∣ z 1 ∣ − ∣ z 2 ∣ ∣ ⩽ ∣ z 1 − z 2 ∣ || z_{1}|-| z_{2}|| \leqslant\left|z_{1}-z_{2}\right| ∣∣z1∣−∣z2∣∣⩽∣z1−z2∣
(三角形两边之差小于第三边).
(1.2) 及 (1.3) 中等号成立的几何意义是:复数 z 1 , z 2 z_{1}, z_{2} z1,z2
所表示的两个向量共线且同向.即
z 1 ≠ 0 , z 2 ≠ 0 时, z 1 = k z 2 ( k > 0 ) . z_{1} \neq 0, z_{2} \neq 0 \text { 时, } z_{1}=k z_{2}(k>0) \text {. } z1=0,z2=0 时, z1=kz2(k>0).
用数学归纳法可得推广了的三角不等式
∣ z 1 + z 2 + ⋯ + z n ∣ ⩽ ∣ z 1 ∣ + ∣ z 2 ∣ + ⋯ + ∣ z n ∣ . \left|z_{1}+z_{2}+\cdots+z_{n}\right| \leqslant\left|z_{1}\right|+\left|z_{2}\right|+\cdots+\left|z_{n}\right| . ∣z1+z2+⋯+zn∣⩽∣z1∣+∣z2∣+⋯+∣zn∣.
由图 1.3 可见, ∣ z 1 − z 2 ∣ \left|z_{1}-z_{2}\right| ∣z1−z2∣ 表示点 z 1 z_{1} z1 与点 z 2 z_{2} z2
的距离, 记为
d ( z 1 , z 2 ) = ∣ z 1 − z 2 ∣ . d\left(z_{1}, z_{2}\right)=\left|z_{1}-z_{2}\right| . d(z1,z2)=∣z1−z2∣.
两复数差的模的这个几何意义是非常重要的.
它还可以借助解析几何中两点间的距离公式用解析方法得出:
∣ z 1 − z 2 ∣ = ∣ ( x 1 + i y 1 ) − ( x 2 + i y 2 ) ∣ = ( x 1 − x 2 ) 2 + ( y 1 − y 2 ) 2 . \begin{aligned} \left|z_{1}-z_{2}\right| & =\left|\left(x_{1}+\mathrm{i} y_{1}\right)-\left(x_{2}+\mathrm{i} y_{2}\right)\right| \\ & =\sqrt{\left(x_{1}-x_{2}\right)^{2}+\left(y_{1}-y_{2}\right)^{2}} . \end{aligned} ∣z1−z2∣=∣(x1+iy1)−(x2+iy2)∣=(x1−x2)2+(y1−y2)