购买
下载掌阅APP,畅读海量书库
立即打开
畅读海量书库
扫码下载掌阅APP

2 实数都是代数方程的根吗?

读者们大都在学校里学过解方程,其中解得最多的就是所谓代数方程,比如3 x -1=0, x 2 +2 x -8=0,等等。这些方程的一个主要特点,就是每一个包含未知数的项都只包含未知数的正整数次幂。除此之外,代数方程还有一个很重要的特点,那就是项的数目是有限的。

现在,我们要回答这样一个问题:实数都是代数方程的根吗?不过,仅凭上面的定义,这个问题是简单得毫无意义的,因为所有实数 r 显然都是代数方程 x - r =0的根,因此答案是肯定的。为了让问题有一定难度,我们要对上面的定义加一个限制,那就是每一项的系数(包括常数项)都只能是有理数。加上这一限制后的代数方程确切地讲应称为“有理数域上的代数方程”,不过为简洁起见,我们仍将其称为“代数方程”

现在让我们重新来回答“实数都是代数方程的根吗?”这一问题。首先很明显的是,所有有理数 q 都是代数方程 x - q =0的根。其次,学过一元二次方程的读者都知道,虽然所有系数都被限制为有理数,代数方程的根却不一定是有理数。比如 x 2 -2=0的两个根, ,就是无理数。因此,代数方程的根既可以是有理数,也可以是无理数,从而至少在表面上具备了表示所有实数的潜力。

但有潜力不等于能做到,关键得要有证明。最早对“实数都是代数方程的根吗?”这一问题作出回答并给予证明的是法国数学家约瑟夫·刘维尔,他不仅证明了某些实数不是任何代数方程的根,而且还具体构造出了那样的实数,从而以最雄辩的方式给出了答案——否定的答案。

科学人

法国数学家约瑟夫·刘维尔(Joseph Liouville)是最早证明超越数存在的数学家。他于1844年给出了超越数存在的证明,并于1851年具体构造出了用十进位小数表示的超越数。刘维尔在数学及数学物理的某些其他领域也颇有成就。

刘维尔所构造的超越数抽象意义大于实用意义。更具实用意义的超越数,最早是由法国数学家查尔斯·埃尔米特(Charles Hermite)证明的。他于1873年证明了e是超越数。埃尔米特也在其他领域颇有贡献,许多数学及数学物理的术语是以他的名字命名的。

另一位在超越数研究上作出过知名贡献的是德国数学家费迪南·冯·林德曼(Ferdinand von Lindemann)。他于1882年证明了π是超越数。林德曼在数学上没有太多其他贡献,但他有几位极著名的学生,比如著名数学家戴维·希尔伯特(David Hilbert)和赫尔曼·闵科夫斯基(Hermann Minkowski),著名物理学家阿诺德·索末菲(Arnold Sommerfeld)等。

现在我们知道,有很多重要的实数,比如自然对数的底e,圆周率π,等等,都不是代数方程的根。为了便于表述,数学家们把能够用代数方程的根来表示的数称为代数数,把不能用代数方程的根来表示的数称为超越数。实数既包含代数数,也包含超越数。有理数与 是代数数的例子;e和π则是超越数的例子。我们的问题用这一新术语可以重新表述为:实数都是代数数吗?答案则如上所述是否定的。

微博士

刘维尔对超越数存在的证明并不只是构造出少数几个特殊的超越数,而是证明了一大类实数都是超越数。为了纪念他的贡献,那一大类实数被统称为刘维尔数。可以证明,单刘维尔数这一种类型的超越数,就远比代数数多。不过,跟超越数的全体相比,刘维尔数依然只是凤毛麟角。

刘维尔数最初是用连分数来表示的。第一个用十进位小数表示的刘维尔数(也是第一个用十进位小数表示的超越数)是0.110001000…(小数点后面的数字规律是这样的:小数点后第 n !—— n 的阶乘——位的数字为1,其余的数字全都为零)。这个数通常被称为刘维尔常数,但有时候也被称为刘维尔数,虽然它只是无穷多个刘维尔数中的一个。

不过,答案虽然揭晓了,找到或证明一个具体的超越数却往往不是容易的事情。比如对e和π(尤其是π)是超越数的证明就费了数学家们不小的气力。而像e+π和e-π那样的简单组合是否是超越数,则直到今天也还是谜。

接下来我们还可以问一个问题,那就是代数数多还是超越数多?从构造和证明超越数如此困难来看,也许很多读者会猜测是代数数多。事实却恰恰相反。1874年,德国数学家康托尔证明了超越数远比代数数多(这里所涉及的是无穷集合元素数目的比较,具体可参阅前文《无穷集合可以比较吗?》)。事实上,他证明了实数几乎全都是超越数!

超越数的存在不仅仅具有抽象的分类意义,而且可以解决一些具体的数学问题。比如,几何中的“尺规作图”方法所能做出的线段的长度——相对于给定的单位长度——可被证明为只能是代数数 。因此π是超越数这一看似只具有抽象分类意义的结果,直接证明了困扰数学家们多年的“尺规作图三大难题”之一的“化圆为方”是不可能办到的。

最后,我们要补充提到的是,代数方程的根既可能是实数,也可能是复数。相应地,代数数和超越数这两个概念也适用于复数,并且与实数域中的情形类似,复数也并不都是代数数(事实上,复数也几乎都是超越数)。

2012年3月19日写于纽约 XtzZZ30C5YqNOkXIamPHdrBkhgrWx3Ze6rD89WLoWDkas9iBv/uo05YySGGqjfkX

点击中间区域
呼出菜单
上一章
目录
下一章
×

打开