在有理数域里没有根号二,也就是说方程 x 平方减二等于零没有根。方程没根不要紧,可是正方形总不能没有对角线吧,而根号二正是边长为 1 的正方形的对角线的长度。为了几何的需要,有理数域必须扩大。在几何直观的启发下,人们建立了实数系,这样每条线段与单位线段的比都可以用数表示了,这个数也许是有理数也许是无理数。有理数与无理数合成实数,实数系也能使四则运算通行无阻。不但如此,实数系里还能够进行取极限的运算,这是它比有理数系优越之处,这个特点叫做实数系的完备性。
在实数系里,许多代数方程没有根,如方程 x 平方加一等于零就没有实根。数学家们发现在解另外一些有实根的代数方程,以及进行别的运算时,不可避免地要碰到负数的平方根根号负一。大家对根号负一想不通,又不得不跟它打交道,便给它起了一个名字 i ,i 等于根号负一,i 的意思是虚幻。后来从几何上解释了虚数,实数系理直气壮地扩充成了复数系。实数系是一条直线,复数系是一张平面。这种几何解释使复数系在数学中牢牢地站稳了脚跟。在复数系里,四则运算通行无阻,极限运算也通行无阻,因而它又是完备的。在复数系里,代数方程总有根,所以它又叫做代数封闭域。