百科问答小站 logo
百科问答小站 font logo



如何证明e为无理数? 第1页

  

user avatar   wo-ben-fei-fan-de-lao-jin 网友的相关建议: 
      

这里我们给出一个超越性的证明(证明源自Hermite,1873),从而直接说明e既是无理数又是超越数。

考虑积分:

使用分部积分,再乘上 ,可以得到:

这里的两个积分形式是一样的,只是 换成了 ,所以现在令:

同时,假设 是一个多项式,于是上面的函数 便是一个有限的多项式。

对于最上面的那个积分,重复使用分部积分,用 可以表示为:

现在假设e是一个代数数。根据定义,我们应有一个(整系数)多项式,使得:

利用等式(*),我们可以得出:

等式右边的第一项为0,所以

注意,这时我们的等式(**)依然对所有多项式 成立。

这个证明的关键在于,现在我们要选取一个合适的 ,使得左边是一个非零整数,但右边又很小(小于1),于是得出一个矛盾。

现在令:

其中 是一个质数。令:

那么,对于(**)的左边,

这里的 , 和 都与p无关。因为阶乘比指数增长得快,我们可以选择一个足够大的 使得不等式的右边小于1。

要证明(**)的右边是非零整数,首先考虑 的情况。先对 用泰勒展开,

如果 , ,所以通过对比两边的系数,我们得到:

所以 是个整数。现在令 且 。

因为 是一个质数,它将不存在于 中,那么 不是一个 的倍数,而对于更高阶的导数,通过对比系数,

因为 ,所以 是整数,且是p的倍数。由此, 是一个整数。

同样地,我们通过进行泰勒展开也可以证明对于 , 都是整数(而且是 的倍数)。

那么, 可以是0吗?答案是不能。因为 不是 的倍数,而其他 都是,这迫使 成为 的倍数,而这当然是不可能的。

(至于为什么超越数一定是无理数。。留作习题吧)




  

相关话题

  格兰杰因果检验(Granger causality test)是否犯了逻辑上的后此谬误? 
  假如我在高考数学试卷上解决了哥德巴赫猜想会发生什么? 
  五岁孩子对数学感兴趣,想给她讲数学发展史的故事,请问有什么书推荐呢? 
  请问(0,1)和(1,+∞)之间的数一样多吗? 
  为什么n为素数时,n能整除2^n - 2,怎么证明? 
  怎么用尺规作图法将一条线段分为两部分,且比例为 1:2? 
  怎么评价北大版的《高等代数》? 
  如何看待涉及悉尼大学数学系教授 Williamson 和美国国家科学基金会的学术不端事件? 
  设H包含n个非零复数,关于复数乘法组成n阶群,证明H={n个n次单位根},怎么证明呢,谢谢大家了? 
  现代科学领域,类似于魔角、鬼成像、上帝/天使/幽灵粒子的玄幻名词还有哪些? 

前一个讨论
五环之歌的笑点或幽默点在哪里?
下一个讨论
以下对“真命题的逆命题一定是真命题”的证明错在哪里?





© 2025-05-14 - tinynew.org. All Rights Reserved.
© 2025-05-14 - tinynew.org. 保留所有权利