数系的扩充——从实数到复数

一、复数的起源

大家都知道，一元二次方程 $a{x}^2+bx+c(a\ne 0)$ 当 $\Delta <0$ 时没有实数根，例如 $x^2+1=0$ 这个方程就没有实数解，因为任何实数的平方肯定是非负的。但随着数学的发展，数学家们规定了 ${\mathrm{i}}^2=-1$，这就是复数的起源。

---

二、复数的运算

数系的扩充，必须要满足数系扩充原则。基本原则如下：

①在原数集中某种运算不封闭，在扩充后的新数集中该运算封闭;
②进行的每一次扩充都是从一个较小的原数集扩充到一个较大的新数集,且使得原数集是新数集的一部分;
③保持原有的运算，也就是说必须满足原有数集的运算律;
④要使扩充后的新数集是原数集满足以上的①、②、③原则的最小扩充，并且该扩充是唯一的。

所以，我们希望新定义出的 $\mathrm{i}$ 能像实数一样进行加减乘除等各种运算。如果一个数是实数与 $\mathrm{i}$ 的实数倍的和，我们把它记作 $a+b\mathrm{i}$，其中 $a,b\in \mathbb{R}$，$a$ 是实部，$b$ 是虚部，我们自然也希望它满足原有的运算律。

1. 复数的加减法

复数的加法运算规则是这样的：$$(a+b\mathrm{i})+(c+d\mathrm{i})=(a+c)+(b+d)\mathrm{i}$$这个定义很自然，实部和实部相加，虚部和虚部相加。这就像逆用乘法分配律提取出 $\mathrm{i}$ 一样，再进行相加。

相减也是这样：$(a+b\mathrm{i})-(c+d\mathrm{i})=(a-c)+(b-d)\mathrm{i}$

2. 复数的乘法

那再看看复数的乘法是怎么计算的：$$(a+b\mathrm{i})(c+d\mathrm{i})=(ac-bd)+(ad+bc)\mathrm{i}$$
首先，像多项式乘法一样，把 $(a+b\mathrm{i})$ 和 $(c+d\mathrm{i})$ 看做两个多项式，进行相乘。
$(a+b\mathrm{i})(c+d\mathrm{i})=ac+ad\mathrm{i}+bc\mathrm{i}+bd{\mathrm{i}}^2$
接着，我们用 $-1$ 替换 ${\mathrm{i}}^2$，再合并同类项，就得到 $ac+ad\mathrm{i}+bc\mathrm{i}+bd{\mathrm{i}}^2=(ac-bd)+(ad+bc)\mathrm{i}$。

特别地，$(a+b\mathrm{i})(a-b\mathrm{i})=a^2+b^2$。

3. 复数的除法

复数的除法则是这样：$$\frac{a+b\mathrm{i}}{c+d\mathrm{i}}=\frac{ac+bd}{c^2+d^2}+\frac{bc-ad}{c^2+d^2}\mathrm{i}$$相比于加减乘，复数的乘法就略微有些复杂。$\frac{a+b\mathrm{i}}{c+d\mathrm{i}}$ 并不能直接当做结果，我们还是需要将这个除式写成 $a+b\mathrm{i}$ 的形式，这样才便于计算。要想得到这样的结果，我们必须要把分母“实数化”，类比去掉根号时的“分母有理化”，我们可以运用平方差公式来去掉 $\mathrm{i}$。

$\frac{a+b\mathrm{i}}{c+d\mathrm{i}}=\frac{(a+b\mathrm{i})(c-d\mathrm{i})}{(c+d\mathrm{i})(c-d\mathrm{i})}=\frac{(ac+bd)+(bc-ad)\mathrm{i}}{c^2+d^2}=\frac{ac+bd}{c^2+d^2}+\frac{bc-ad}{c^2+d^2}i.$

对结论还不太放心的同学，还可以运用乘法进行验证。

为什么复数的乘除法不是实部和实部相乘除，虚部和虚部相乘除？因为这样的定义使得复数不能够满足实数的运算律，这样也就违背了数系扩充的规则。

---

定义了上述复数的运算后，可以发现复数上的运算与实数的运算是协调一致的，复数集的出现也就使得数系进行了一次新的扩充。也可以说，复数集成为了一个域。有了复数域，一般的二次方程就都有解了。

域： 设P是由一些复数组成的集合，其中包括0与1，如果P中任意两个数的和、差、积、商（除数不为0）仍是P中的数，则称P为一个数域。

---

后话

相信不少同学对复数还是存在疑惑，并且，复数的乘除法实在是太麻烦了。新定义出的复数还有没有更简便的运算方法呢？下篇文章为你揭晓复数的几何形式。
参考：数系扩充原则(数学术语) - 百度百科