\(e=lim_{n \to \infty}e_{n}(1+\frac{1}{n})^n\\\)

\(=\lim_{n \to \infty}(\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}+\cdot\cdot+...\frac{1}{n!})\)

\(\lim_{n \to \infty}S_{n}=\frac{1}{0!}+\frac{1}{1!}+\frac{1}{2!}+\cdot+\cdot+\frac{1}{n!}=e\)

因为两个数列有相同的极限e,取充分大的n,用S_{n}作为e的近似值。

\(因为S_{n+1}=S_{n}+\frac{1}{n!}*\frac{1}{n+1}\\\)

\(在计算过程中,可以利用前面已经计算出来的S_{n}的结果\\\)

\(产生的误差为\\\)

\(S_{n+m}-S{n}>0\\\)

\(S_{n+m}-S{n}\\\)

\(=\frac{1}{(n+1)!}+\frac{1}{(n+2)!}+\frac{1}{(n+3)!}+\cdot\cdot\cdot+\frac{1}{(n+m)!}\\\)

\(=\frac{1}{(n+1)!}*(1+\frac{1}{n+2}+\cdot\cdot\cdot+\frac{1}{(n+2)(n+3)\cdot\cdot\cdot(n+m)})\\\)

\(<\frac{1}{(n+1)!}*(1+\frac{1}{n+1}+(\frac{1}{n+1})^2+(\frac{1}{n+1})^3\cdot\cdot\cdot+(\frac{1}{n+1})^{m-1})\\\)

等比数列和公式:\(S_{n}=na_{1}, q=1,\quad S_{n}=a_{1}.\frac{1-q^n}{1-q}, q\neq 1\\\)

其中n为项数。



\(上式=\frac{1}{(n+1)!}*\frac{1-(\frac{1}{n+1})^m}{1-\frac{1}{n+1}}\\\)

\(\quad =\frac{1}{n!n}\)

\(即0<S_{n+m}-S_{n}<\frac{1}{n!n}\)

\(若m\to \infty,可得\\\)

\(0 < e - S_{n} \leqslant \frac{1}{n!n}\quad\quad\quad n \in N^{+}\quad\quad\quad(1)\\\)

证明e是无理数

证明:用反证法。

\(设 e=frac{p}{q},其中p,q\in N^{+}\)

\(因为2<e<3\),可知e不是整数,且q不等于1,否则,若q=1,\(\\\)

\(则e=\frac{p}{q}=\frac{p}{1}=p,为整数,可知q\geqslant2\)

\(由(1)式,当n=q时,S_{n}=S_{q}, (1)式中的n!n,替换为q!q,可得\\\)

\(\quad0<q!(e-S_{q})\leqslant \frac{1}{q}\leqslant \frac{1}{2}\quad\quad\quad(2)\\\)

\(把e=\frac{p}{q}代人下式\\\)

\(q!(e-S_{q})=q!(\frac{p}{q} - S_{q})\)

\(\quad\quad\quad\quad\quad=(q-1)!p-q!(1+1+\frac{1}{2!}+\frac{1}{3!}+\cdot\cdot+\frac{1}{q!}))\)

\(上式为整数,与(2)式矛盾\)

中科大数分教材:用阶乘倒数和计算e值的误差和e是无理数的证明,用到误差计算的更多相关文章

  1. for循环计算阶乘的和,for循环计算阶乘倒数的和

    计算阶乘的和 //阶乘的和,5!+4!+3!+2! int a = 5; for(int b = 4; b > 0; b--) { a = a * b; } //先定义好最大数的阶乘是多少 in ...

  2. Miiler-Robin素数测试与Pollard-Rho大数分解法

    板题 Miiler-Robin素数测试 目前已知分解质因数以及检测质数确定性方法就只能\(sqrt{n}\)试除 但是我们可以基于大量测试的随机算法而有大把握说明一个数是质数 Miler-Robin素 ...

  3. Java循环输出一个菱形与阶乘倒数

    package javafirst; public class HomeWork { public static void main(String[] args){ System.out.printl ...

  4. 输出链表的倒数第K个值

    题目描述 输入一个链表,输出该链表中倒数第k个结点.   思路一:链表不能向前遍历,只能向后遍历.因此倒数第K个结点就是 正序的  :len(链表)-1-K的下一个.  注意,此处的思路与代码中具体实 ...

  5. mysql计算时间差值,单位分钟数

    TIMESTAMPDIFF(MINUTE, 开始时间, 结束时间) as 时间差(单位:分钟数) TIMESTAMPDIFF(interval,datetime_expr1,datetime_expr ...

  6. 查找单链表的倒数第k个值

    刚开始,我想到的是一种笨方法,先遍历单链表,计算出单链表的长度len,然后再从头遍历单链表到第len-k个节点,那么 这个节点既是单链表的倒数第k个节点. 不过这种算法时间复杂度挺高的,还有一种更简单 ...

  7. vuex分模块后,如何获取state的值

    问题:vuex分模块后,一个模块如何拿到其他模块的state值,调其他模块的方法? 思路:1.通过命名空间取值--this.$store.state.car.list // OK 2.通过定义该属性的 ...

  8. PAT 1009 Product of Polynomials (25分) 指数做数组下标,系数做值

    题目 This time, you are supposed to find A×B where A and B are two polynomials. Input Specification: E ...

  9. e的存在性证明和计算公式的证明

    \(\quad\quad前言\quad\quad\\\) \(此证明,改编自中科大数分教材,史济怀版\\\) \(中科大教材,用的是先固定m,再放大m,跟菲赫金哥尔茨的方法一样.\\\) \(而我这里 ...

随机推荐

  1. String为什么要设置成Final类型

    ---今天面试碰到个这样的问题:String在设计的时候为什么要设计成final的  当时回答的是String功能已经很丰富了,不需要对其进行扩展,所有巴拉巴拉. 现在来正确看看为什么定义成final ...

  2. 二进制小数和IEEE浮点标准

    二进制小数 首先复习进位计数制的要素: 数码:用来表示进制数的元素.比如 二进制数的数码为:0,1 十进制数的数码为:0,1,2,3,4,5,6,7,8,9 十六进制数的数码为:0,1,2,3,4,5 ...

  3. JVM源码分析之Java对象头实现

    原创申明:本文由公众号[猿灯塔]原创,转载请说明出处标注 “365篇原创计划”第十一篇. 今天呢!灯塔君跟大家讲: JVM源码分析之Java对象头实现 HotSpot虚拟机中,对象在内存中的布局分为三 ...

  4. 解决移动端点击穿透问题_h5实现移动端点击事件穿透的多种解决方案

    移动端点透点透现象出现的场景: 当A/B两个层上下z轴重叠,上层的A点击后消失或移开(这一点很重要),并且B元素本身有默认click事件(如a标签)或绑定了click事件.在这种情况下,点击A/B重叠 ...

  5. 阿里巴巴java-数据库开发手册(2020泰山版)

    阿里巴巴编程规范.数据库命名规范 首先感谢阿里,在此我也分享给小伙伴们学习,下载地址如下: 链接:https://pan.baidu.com/s/19SLpiJmyNEIKuRscftRk9Q 提取码 ...

  6. day78 通过axios实现数据请求

    目录 一.axios提供http请求的两个常用方法 二.json 1.json数据的语法 2 js中提供json数据转化的方式 三 ajax 1 数据接口 2 ajax在jq和vue的不同使用 3 同 ...

  7. (数据科学学习手札89)geopandas&geoplot近期重要更新

    本文示例代码及数据已上传至我的Github仓库https://github.com/CNFeffery/DataScienceStudyNotes 1 简介 最近一段时间(本文写作于2020-07-1 ...

  8. 007.Nginx虚拟主机

    一 虚拟主机 1.1 虚拟主机概念 对于Nginx而言,每一个虚拟主机相当于一个在同一台服务器中却相互独立的站点,从而实现一台主机对外提供多个 web 服务,每个虚拟主机之间是独立的,互不影响的. 1 ...

  9. web notification api

    Web Notifications API 使页面可以发出通知,通知将被显示在页面之外的系统层面上(通常使用操作系统的标准通知机制,但是在不同的平台和浏览器上的表现会有差异) 要显示一条通知,你需要先 ...

  10. python numpy 保留满足指定条件的行

    #arr_old 原来数组 #arr_new 保留后的数组 #>=mean+std 指定条件 arr_new = arr_old[arr_old[:,4]>=(mean+std),:]#筛 ...