在数学中,我们把极限

$$\lim_{x->\infty}(1+1/x)^x$$

记为e,并且可以计算出e=2.7182818284590452353602...,这是一个与π同等重要的数(甚至有些书认为它比π更重要)。和π一样,这个数也是一个“无理数”。现在我们来证明一下假设$e=p/q$是有理数,其中p,q是正整数。根据e的麦克劳林展开式,我们有:

$$p/q=e=1+1/2+1/{3!}+...+1/{q!}+\varphi^{q+1}/{(q+1)!}\tag{1}$$$$p/q-(1+1/2+1/{3!}+...+1/{q!})=\varphi^{q+1}/{(q+1)!}\tag{2}$$

其中$\varphi \in(0,1)$

于是,我们将(2)两边同时乘上q!,在左边得到了一个整数,而右边=$\varphi^{q+1}/{(q+1)}$为非整数,于是两者并不相等。这与两者相等矛盾!于是假设并不成立,e是无理数。

这个通过麦克劳林展开式是一个相对简单的证明,当然前提是要懂得e的麦克劳林展开式。相对于维基百科上提供的证明来说,我觉得这个证明相对简洁、直观!

更详细的转载事宜请参考:《科学空间FAQ》

如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。

如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!

打赏

微信打赏

支付宝打赏

因为网站后台对打赏并无记录,因此欢迎在打赏时候备注留言。你还可以点击这里或在下方评论区留言来告知你的建议或需求。

如果您需要引用本文,请参考:

苏剑林. (Oct. 17, 2009). 《关于e是无理数的证明 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/196

php判断无理数,关于e是无理数的证明相关推荐

  1. 证明:无理数的无理数次方是否还是无理数

    简述 作为一个Quant的面试官,之前面试的时候,我经常会问这个小问题.主要测试一下逻辑or反应水平吧. 其实是挺简单的,但是却可以很短时间看出反应速度,逻辑推理能力.所以,我会比较喜欢这么问. 当然 ...

  2. matlab无理数转分数,把无理数转化成分数值的方法

    该楼层疑似违规已被系统折叠 隐藏此楼查看此楼 把无理数转化成分数值 的方法 (反向测量法) 无理数可以转化成分数值,但并不是用常规的计算方法和测量方法,而是需要用一种特殊的测量方法,这种特殊的测量方法 ...

  3. 用神经网络分类无理数和超越数2**0.5,3**0.5,e

    制作两个神经网络用来分类2**0.5.3**0.5,2**0.5和e.每个无理数取3万位有效数字,每10个数字变成一张图片.用前2500张图片来训练网络,用2500-3000张图片来做测试. 比如2* ...

  4. π是无理数证明定积分_证明圆周率是无理数很容易?人类花了2000年!

    我在之前制作的视频中,多次谈到了圆周率π.比如,我介绍过阿基米德和刘徽计算圆周率的方法--割圆术,还谈到了蒲丰利用一根针计算圆周率的方法--蒲丰投针实验.人类使用和计算圆周率已经有了数千年的历史,可是 ...

  5. 基础数学:关于二次无理数

    一. 二次无理数         二次无理数(quadratic irrational)是某些有理数系数的一元二次方程的根.若将所有系数乘以分母的最小公倍数,即可将系数转换为整数.因此所有二次无理数都 ...

  6. 怎么证明根号2是无理数,我们来推导和计算,还有逼格极高的算法

    这是学习笔记的第 2161 篇文章 记得上学的时候忙着考试,把心头的一些为什么都压在了脑后. 面对未知,我们大多数人都选择了默认接受,其实你不懂根号2, 比如:根号2(√2)为什么是无理数,我们有什么 ...

  7. 无理数存在性的几何证明

    大家知道毕达哥拉斯的名字,是由于那个尽人皆知的定理,这个定理在中国被叫做勾股定理,但很多人不知道以他命名的学派,更不知道这个学派中曾经发生的一个重要事件,这个事件就是无理数的发现.无理数的发现引发了数 ...

  8. 能将无理数化为根号形式的计算机,怎么证明根号2是无理数,我们来推导和计算,还有逼格极高的算法...

    原标题:怎么证明根号2是无理数,我们来推导和计算,还有逼格极高的算法 记得上学的时候忙着考试,把心头的一些为什么都压在了脑后. 面对未知,我们大多数人都选择了默认接受,其实你不懂根号2, 比如:根号2 ...

  9. 无理数的近似值与连分数matlab,连分数 - it610.com

    0x01 连分数的定义 连分数(continued fraction)是特殊繁分数. 如果a0,a1,a2,-an,-都是整数,则将分别称为无限连分数和有限连分数.可简记为a0 ,a1,a2,-,an ...

最新文章

  1. Perl 校验命中的脚本
  2. iOS开发中乱用hook可能导致灾难
  3. 对象的指针指向哪里,oc的类信息存放在哪里
  4. 电脑屏幕保护怎么取消_怎么监控员工电脑?老板如何知道员工上班在干什么?...
  5. 每日程序C语言20-利用递归求阶乘
  6. Web服务 源码编译安装LAMP架构
  7. AOP集成防止连续多次点击问题
  8. Mysql经常使用命令
  9. java.lang.ClassCastException(java强制类型转换异常)
  10. 一款非常好看的雷姆背景的时间单页(附雷姆图片)
  11. as3实现(可以操纵的)真正的由惯性导致的漂移
  12. 算法:求数的幂次方powx-n
  13. MySQL 中文的乱码问题
  14. 用于开启php绘图扩展配置为,女儿墙屋面排水列项应选择()。A.雨水管B.雨水斗C.雨水口D.出水弯管E.檐沟...
  15. 设计房屋租赁管理系统--PostgreSQL--数据库原理及应用
  16. Python数据处理Tips数据离群值的5种常用处理方法和可视化
  17. Elasticsearch 相关知识
  18. 港科夜闻|香港科技大学(HKUST)及香港科大智能建造实验室(HKUST BIM Lab)荣获CIC建造数码化大奖组织类最高奖项...
  19. MySQL从删库到跑路(0):序章
  20. hyperopt使用

热门文章

  1. 手机信号强度大小的意义
  2. 秦皇岛公积金计算 Python
  3. win7修复计算机无鼠标,win7电脑鼠标不听使唤反应慢如何修复
  4. 使用文本排版大师(TxtEdit/TEditer)在记事本文件中绘制表格。
  5. 经典SQL语句大全:http://www.cnblogs.com/yubinfeng/archive/2010/11/02/1867386.html
  6. Facebook批量养号分享
  7. linux 多线程 semaphore ,Linux下多线程编程-Pthread和Semaphore使用.doc
  8. 不用PyScript,网页端运行的Python编辑器
  9. 《鹧鸪天》——厉以宁
  10. 方法重写的一大两小两同