中科大数分教材:用阶乘倒数和计算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)式矛盾\)
最新文章
- ABP框架理论研究总结(典藏版)
- 关于一个parent(),siblings()的小问题
- 用Java实现简单的web服务器
- 在不借助其他工具的情况下破解Windows开机密码
- Android控件之MultiAutoCompleteTextView(自动匹配输入的内容)
- PHP中的session
- DataGridView 操作
- JQuery自学代码---(一)
- android脚步---数字时钟和模拟时钟
- 248&;258--高级软件工程第三次作业
- JS基础之传参(值传递、对象传递)
- 记忆化搜索 P1464 Function
- JVM读书笔记之垃圾收集与内存分配
- Pandas 处理丢失数据
- [转]c#快捷键
- Linux文件系统命令 ln
- jmeter数据库查询与接口返回进行对比
- 20 道 Spring Boot 面试题
- e796. 设置JSlider的方向
- python 之 决策树分类算法