中科大数分教材:用阶乘倒数和计算e值的误差和e是无理数的证明,用到误差计算
\(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是无理数的证明,用到误差计算的更多相关文章
- for循环计算阶乘的和,for循环计算阶乘倒数的和
计算阶乘的和 //阶乘的和,5!+4!+3!+2! int a = 5; for(int b = 4; b > 0; b--) { a = a * b; } //先定义好最大数的阶乘是多少 in ...
- Miiler-Robin素数测试与Pollard-Rho大数分解法
板题 Miiler-Robin素数测试 目前已知分解质因数以及检测质数确定性方法就只能\(sqrt{n}\)试除 但是我们可以基于大量测试的随机算法而有大把握说明一个数是质数 Miler-Robin素 ...
- Java循环输出一个菱形与阶乘倒数
package javafirst; public class HomeWork { public static void main(String[] args){ System.out.printl ...
- 输出链表的倒数第K个值
题目描述 输入一个链表,输出该链表中倒数第k个结点. 思路一:链表不能向前遍历,只能向后遍历.因此倒数第K个结点就是 正序的 :len(链表)-1-K的下一个. 注意,此处的思路与代码中具体实 ...
- mysql计算时间差值,单位分钟数
TIMESTAMPDIFF(MINUTE, 开始时间, 结束时间) as 时间差(单位:分钟数) TIMESTAMPDIFF(interval,datetime_expr1,datetime_expr ...
- 查找单链表的倒数第k个值
刚开始,我想到的是一种笨方法,先遍历单链表,计算出单链表的长度len,然后再从头遍历单链表到第len-k个节点,那么 这个节点既是单链表的倒数第k个节点. 不过这种算法时间复杂度挺高的,还有一种更简单 ...
- vuex分模块后,如何获取state的值
问题:vuex分模块后,一个模块如何拿到其他模块的state值,调其他模块的方法? 思路:1.通过命名空间取值--this.$store.state.car.list // OK 2.通过定义该属性的 ...
- 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 ...
- e的存在性证明和计算公式的证明
\(\quad\quad前言\quad\quad\\\) \(此证明,改编自中科大数分教材,史济怀版\\\) \(中科大教材,用的是先固定m,再放大m,跟菲赫金哥尔茨的方法一样.\\\) \(而我这里 ...
随机推荐
- openstack Rocky 社区版部署1.3 安装OpenStack packages
1 installing the Rocky release on all nodes. yum install centos-release-openstack-rocky 安装之后,会在/etc/ ...
- 多图解释Redis的整数集合intset升级过程
redis源码分析系列文章 [Redis源码系列]在Liunx安装和常见API 为什么要从Redis源码分析 String底层实现——动态字符串SDS 双向链表都不懂,还说懂Redis? 面试官:说说 ...
- vueX基础知识笔记
接着昨天的知识点 mutations提交时,有时候达不到想要的响应式,我们必须要将数据提前放到state中,否则不会达到响应式的效果.比如 state.info['address'] = value ...
- 一.2.序列化使用之用户资源功能app
1.环境准备:(1).新建功能app: (python36env) [vagrant@CentOS7 devops]$ python manage.py startapp users ---建议以后用 ...
- JedisUtils工具类模板
redis.properties配置文件 redis.maxIdle=30 redis.minIdle=10 redis.maxTotal=100 redis.url=192.168.204.128 ...
- js修改函数内部的this指向(bind,call,apply)
js修改函数内部的this指向 在调用函数的时候偶尔在函数内部会使用到this,在使用this的时候发现并不是我们想要指向的对象.可以通过bind,call,apply来修改函数内部的this指向. ...
- html中绝对路径和相对路径的区别?比较相对路径和绝对路径的优缺点
绝对路径和相对路径的区别? 1. 绝对路径:就是你的文件或目录在硬盘上的真正的路径例如“bg.jpg”这个图片是存放在硬盘的“E:\img”目录下,那么 “bg.jpg”这个图片的绝对路径就是“E:\ ...
- 使用centos8搭建僵尸毁灭工程(PZ)服务器
自从领到了阿里云的ECS服务器后,本着既能熟悉linux操作,又能为喜欢的游戏搭建一个可以和朋友一起联机的服务器(游戏提供自建本地服务器极渣)的想法.作为linux小白的我翻遍了网上的资料,用了五天终 ...
- 区间dp(低价回文)
[题目大意] 追踪每头奶牛的去向是一件棘手的任务,为此农夫约翰安装了一套自动系统.他在每头牛身上安装了一个电子身份标签,当奶牛通过扫描器的时候,系统可以读取奶牛的身份信息.目前,每个身份都是由一个字符 ...
- java 面向对象(十八):包装类的使用
1.为什么要有包装类(或封装类)为了使基本数据类型的变量具有类的特征,引入包装类. 2.基本数据类型与对应的包装类: 3.需要掌握的类型间的转换:(基本数据类型.包装类.String) 简易版:基本数 ...