e 是超越数吗?
问题提出
呼噜星球的学生们已经知道 e 是一个无限不循环小数(无理数),但有个学生问了一个更深刻的问题:
老师,2 也是无理数,但它是方程 x2−2=0 的根。那 e 呢?e 能成为某个整系数多项式方程的根吗?
这个问题涉及到代数数和超越数的区分:
- 代数数:能成为某个非零整系数多项式方程根的数
- 超越数:不能成为任何非零整系数多项式方程根的数
2 是代数数(x2−2=0 的根),π 和 e 是超越数。
学生们追问:
观察与猜想
我们先从简单的开始:证明 e 是无理数。
假设 e=qp 是有理数(p,q 为正整数)。
由级数定义:
e=∑k=0∞k!1=∑k=0qk!1+∑k=q+1∞k!1
两边乘以 q!:
q!e=q!∑k=0qk!1+q!∑k=q+1∞k!1
左边 q!e=q!⋅qp=(q−1)!p 是整数。
右边第一项 q!∑k=0qk!1 也是整数(因为 k≤q 时 q!/k! 是整数)。
所以右边第二项也必须是整数。但:
q!∑k=q+1∞k!1=q+11+(q+1)(q+2)1+(q+1)(q+2)(q+3)1+⋯
这是一个正数,且:
<q+11+(q+1)21+(q+1)31+⋯=q1≤1
一个介于 0 和 1 之间的数不可能是整数,矛盾!所以 e 是无理数。
学生们觉得这个证明很巧妙。但超越性的证明要困难得多。
严格证明
代数数与超越数的定义
- 代数数:存在非零整系数多项式 P(x)=anxn+⋯+a1x+a0,使得 P(α)=0
- 超越数:不是代数数的数
e 是无理数(完整证明)
上面已经给出了证明思路。这里补充细节:
设 e=p/q,则 q!e−q!∑k=0q1/k! 是整数。
但 q!∑k=q+1∞1/k!=q+11+(q+1)(q+2)1+⋯
满足 0<q!∑k=q+1∞1/k!<q+11(1+q+11+(q+1)21+⋯)=q1≤1
矛盾,故 e 是无理数。
e 是超越数(埃尔米特证明思路)
1873 年,法国数学家埃尔米特(Charles Hermite)首次证明了 e 是超越数。完整证明非常复杂,这里介绍核心思路。
反证法:假设 e 是代数数,则存在整系数多项式:
c0+c1e+c2e2+⋯+cnen=0,c0=0,cn=0
关键构造:对一个适当选择的多项式 f(x),定义积分:
I=∫0∞f(x)e−xdx
选择 f(x) 使得:
- I 可以拆分成与 e0,e1,…,en 相关的项
- 每一项乘以相应的 ck 后,整数部分之和为 0(由假设)
- 但剩余部分是一个非零整数,且绝对值小于 1
具体来说,选择:
f(x)=xp−1(p−1)!(x−1)p(x−2)p⋯(x−n)p
其中 p 是一个大素数。
通过分部积分可以证明:
∫0∞f(x)e−xdx=∑k=0nckek⋅(整数)+(非零整数)
由假设 ∑ckek=0,左边应等于那个非零整数。
但另一方面,当 p 足够大时,可以证明左边的绝对值小于 1,而一个非零整数的绝对值至少为 1,矛盾。
因此 e 不是代数数,即 e 是超越数。
刘维尔数与超越数的存在性
在埃尔米特证明 e 是超越数之前,刘维尔(Liouville)已经证明了超越数的存在性。
刘维尔证明了:对于任何 n 次代数数 α,存在常数 C>0,使得对任意有理数 p/q:
α−qp>qnC
这意味着代数数不能被有理数”太好地”逼近。而刘维尔构造了一个数:
L=∑k=1∞10k!1=0.110001000000000000000001…
它可以被有理数逼近得比任何代数数都好,因此是超越数。
e 的超越性证明比刘维尔数更难,因为 e 被有理数逼近的”速度”没有那么极端。
超越数的意义
证明一个数是超越数,意味着它不能用任何有限次的代数运算(加、减、乘、除、开方)从有理数得到。这说明 e 是一个本质上”超越”了代数方法的数。
已知的超越数包括:
- e(埃尔米特,1873)
- π(林德曼,1882,作为 eiπ=−1 的推论)
- eπ(格尔丰德-施奈德定理)
- 几乎所有的实数(超越数比代数数多得多)
结论与应用
- e 是无理数:可用级数定义和反证法简洁证明
- e 是超越数:1873 年由埃尔米特证明,不能成为任何整系数多项式的根
- 证明方法:反证法 + 特殊构造的积分 + 素数参数的渐近估计
- 意义:e 超越了代数方法的范畴,是分析学中特有的常数
呼噜星球的学生们对这个证明印象深刻。一个学生说:
证明 e 是无理数已经很巧妙了,证明它是超越数更是需要惊人的构造能力!
我告诉他们:
e 的超越性不仅是一个纯数学的结果,它还解决了一个古老的几何问题——化圆为方。因为 π 是超越数(由 eiπ=−1 和林德曼-魏尔斯特拉斯定理推出),所以不可能用尺规作图画出与圆面积相等的正方形。
最后,我们将进入本次冒险的最后一站:用 ex 和 e−x 构造双曲函数,看看它们如何解释自然界中的工程现象。