1-几何和复算术

一、引言

1.1 历史的概述

$a+ib$这个复数可以看成$xy$平面上以$(a,b)$为坐标的点，或等价地看作是连接原点到此点的向量。如图1.1所示，这样来看待的平面记作$C$，并称为复平面。

对两个复数的加法和乘法现在也可以赋予确定的几何意义，即解释为平面上相应的点（或向量）的几何运算。

图1-2a演示了加法的法则

$两个复数之和A+B通常由向量加法的平行四边形法则给出(1.1)$

注意，这与图1-1是相容的，因为$4+3i$确实是$4$与$3i$之和。

图1-2b画出了不那么明显的乘法法则：

$AB之长是A之长与B之长的乘积，AB的幅角是A与B的幅角之和(1.2)$

这个法则并不是由图1-1就可以看出的。但是要注意它至少是与图1-1不矛盾的，$3i$确实是$3$与$i$的乘积。$i$与自身的乘积是一个更加有趣的例子。因为$i$有单位长，而幅角为$(\pi /2),i^2$也就有与单位长度与幅角$\pi$。所以$i^2=-1$

1.2 庞贝利的“奇想”

复分析的力量和美丽最终来自乘法法则（1.2）以及加法法则（1.1）。这些法则最初是由庞贝利以符号规则的形式给出的；到两个多世纪多以后才出现了图1-2。现在我们回到16世纪来尝试理解其代数根源。

很多教科书都以一种方便的历史虚构来引入复数，即以求解二次方程：

$x^2=mx+c(1.3)$

为基础。这个方程的解法是如下的公式：

$x=\frac{1}{2}[m\pm \sqrt{m^2+4c}]$

如果$m^2+4c$为负会发生什么情况？因为需要方程（1.3）有解，就迫使我们严肃地考虑复数。

庞贝利假设两个复数$A=a+i\tilde{a}$与$B=b+i\tilde{b}$的加法需服从一个似乎近情理的法则：

$A+B=a+i\tilde{a}+b+i\tilde{b}=(a+b)+i(\tilde{a}+\tilde{b})(1.5)$

同时他假设复数的乘法可以像通常代数那样把括号展开，于是：

$(a+i\tilde{a})(b+i\tilde{b})=ab+i(a\tilde{b}+\tilde{a}b)+i^2\tilde{a}\tilde{b}$

利用$i^2=-1$，他得出结论说两个复数的乘积应由下式给出：

$AB=(a+i\tilde{a})(b+i\tilde{b})=(ab-\tilde{a}\tilde{b})+i(a\tilde{b}+\tilde{b}a)(1.6)$

待补充 22

1.3 一些术语和记号

在这里介绍下复数的现代术语和几号。这些概括在下表中，并在图1-4中绘出：

名称	含义	记号
$z$的模	$z$的长度$r$	$|z|$
$z$的幅角	$z$的角度$\theta$	$\arg (z)$
$z$的实部	$z$的$x$坐标	$Re(z)$
$z$的虚部	$z$的$y$坐标	$Im(z)$
虚数	$i$的实数倍
实轴	实数的集合
虚轴z	虚数的集合
z的复共轭	虚数的集合	$\bar{z}$

用笛卡尔坐标（实部x与虚部y）把复数写成$z=x+iy$只是标记方法之一。当我们处理复数的加法时，这是很自然的标记，因为（1.5）式说明A+B的实部和虚部正是由A和B的实部和虚部分别相加而得。

但是在乘法情况下，笛卡尔标记法就不再是自然的了，因为它给出拖沓而且没有启发性的法则（1.6）。简单的多的几何法则（1.2）使我们看得很清楚，我们应该用极坐标来表示一个典型的点：$z:r=|z|,\theta =\arg z$。我们现在可以把$z$写作$z=r\angle \theta$而不是$z=x+iy$。这里符号$\angle$用于提醒我们$\theta$是$z$的角度。几何乘法法则（1.2）现在就有了简单的形式：

$(R\angle \varphi )(r\angle \theta )=(Rr)\angle (\varphi +\theta )(1.7)$

和笛卡尔标记$x+iy$一样，一个给定的极坐标标记$r\angle \theta$就确定了一个唯一点，但是（与笛卡尔标记不同），一个给定的点并没有一个唯一的极坐标标记。因为任意两个相差$2\pi$整数倍的角度表示同样的方向，所以一个给定的点可以有无穷多个不同的标记：

$\cdots =r\angle (\theta -4\pi )=r\angle (\theta -2\pi )=r\angle \theta =r\angle (\theta +2\pi )=r\angle (\theta +4\pi )=\dots$

笛卡尔坐标和极坐标是标记复数最通常的方法，但是还可以有另一种特别有用的表示方式：“球极”坐标。

1.4 练习

1.5 符号算术和几何算术的等价性

之前我们一直在交替使用符号法则（1.5）、（1.6）与几何法则（1.1）、（1.2），现在我们要证明二者等价，因此这种交换使用是合理的。加法法则（1.1）与（1.5）的等价性在向量层面来解释是非常容易的，所以我们在后面仅讨论乘法法则（1.2）与（1.6）等价。

二、欧拉公式

待补充 27