\(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. 蝙蝠算法(BA)学习笔记

    算法原理 蝙蝠能够在夜间或十分昏暗的环境中自由飞翔和准确无误地捕捉食物,是因为他们能够从喉头发出地超声脉冲回声来定位.受这一启发,Yang教授在2010年提出了蝙蝠算法(Bat Algorithm,B ...

  2. Redis五种数据类型应用场景

    目录 1.1 回顾 2.1 应用场景 2.1.1 String 2.1.2 Hash 2.1.3 List 2.1.4 Zet 2.1.5 zset 3.1 小结 1.1 回顾 Redis的五种数据类 ...

  3. dart快速入门教程 (6)

    6.内置操作方法和属性 6.1.数字类型 1.isEven判断是否是偶数 int n = 10; print(n.isEven); // true 2.isOdd判断是否是奇数 int n = 101 ...

  4. MFC 结束线程

    在wtl工程中定义一个现成,如下:DWORD WINAPI ThreadFunc( LPVOID pParam ){if( g_pMainlg )g_pMainlg->DoEnumNetwork ...

  5. 6.30集训模拟赛4(炸裂的一天qwq)

    T1浇水: 题目描述 在一条长n米,宽m米米的长方形草地上放置着k个喷水装置.假设长方形草地的坐标范围为[ 0 , 0 ] ~ [ n , m ],那么第 i 个喷水装置的位置为(ai,m/2),也就 ...

  6. 【CSGRound1】天下第一 题解

    [CSGRound1]天下第一 https://www.luogu.com.cn/problem/P5635 分析题目: 题目中说明,有T组数据,但是mod只有一个.很显然,这道题可以用记忆化搜索嘛! ...

  7. nginx配置奇怪问题记录

    执行  nginx -t  检查配置报了如下错误: 下面是配置信息 遇到个很奇怪的问题,plm-api-stage 这么配置就可以正常校验过,但是改成 plm-stage-api,就会上面的警告信息: ...

  8. less的使用几个技巧

    1.层级关系 让这个box范围内的全部包进来,这样的话就完美的进行调节,再也不用到处找第几行第几个,我刚才在哪个位置给覆盖了.一看便知! .box{ width: 100%; height: 300p ...

  9. 合并两个有序链表(剑指offer-16)

    题目描述输入两个单调递增的链表,输出两个链表合成后的链表,当然我们需要合成后的链表满足单调不减规则. 解答方法1:递归 /* public class ListNode { int val; List ...

  10. Django---drf第一天---作业

    1 图书的5个接口写完(使用序列化组件) urls.py from django.contrib import admin from django.urls import path, re_path ...