两个重要极限定理推导
两个重要极限定理:
limx→0sinxx=1(1)\lim_{x \rightarrow 0} \frac{\sin x}{x} = 1 \tag{1} x→0limxsinx=1(1)
和
limx→∞(1+1x)x=e(2)\lim_{x \rightarrow \infty} (1 + \frac{1}{x})^x = e \tag{2} x→∞lim(1+x1)x=e(2)
引理(夹逼定理)
定义一:
如果数列 {Xn}\lbrace X_n \rbrace{Xn},{Yn}\lbrace Y_n \rbrace{Yn} 及 {Zn}\lbrace Z_n \rbrace{Zn} ,满足下列条件:
(1) 当 n>N0n > N_0n>N0 时,其中 N0∈N∗N_0 \in N^*N0∈N∗ ,有 Yn≤Xn≤ZnY_n \le X_n \le Z_nYn≤Xn≤Zn,
(2) {Yn}\lbrace Y_n\rbrace{Yn},{Zn}\lbrace Z_n \rbrace{Zn} 有相同的极限aaa,设 −∞<a<+∞- \infty < a < + \infty−∞<a<+∞,则,数列 {Xn}\lbrace X_n \rbrace{Xn} 的极限存在,且
limn→∞Xn=a\lim_{n \rightarrow \infty} X_n = a n→∞limXn=a
定义二:F(x)F(x)F(x) 与 G(x)G(x)G(x) 在 X0X_0X0 连续且存在相同的极限 AAA,即 x→X0x \rightarrow X_0x→X0 时,limF(x)=limG(x)=A\lim F(x) = \lim G(x) = AlimF(x)=limG(x)=A,则
若有函数在f(x)f(x)f(x) 在 X0X_0X0 的某领域内恒有 F(x)≤f(x)≤G(x)F(x) \le f(x) \le G(x)F(x)≤f(x)≤G(x) ,则当 XXX 趋近 X0X_0X0, 有
limF(x)≤limf(x)≤limG(x)\lim F(x) \le \lim f(x) \le lim G(x) limF(x)≤limf(x)≤limG(x)
即
A≤limf(x)≤AA \le lim f(x) \le A A≤limf(x)≤A
故
lim(X0)=A\lim(X_0) = A lim(X0)=A
简单地说:函数 A>BA>BA>B,函数 B>CB>CB>C,函数AAA的极限是XXX,函数 CCC 的极限也是 XXX ,那么函数 BBB 的极限就一定是 XXX,这个就是夹逼定理。
定理 1 证明:
如上图,对于弧 AC⌢\mathop{AC}\limits^{\frown}AC⌢ ,由于半径 111,所以,弧 AC⌢\mathop{AC}\limits^{\frown}AC⌢ 长 xxx。图片很直观地看出 sinx≤x≤tanx\sin x \le x \le \tan xsinx≤x≤tanx,并在 x→0x \rightarrow 0x→0的时候,他们都"相等"。这个是几何直观的,如果我们假设化曲为直是可行的。
所以,
由上述公式,
sinx≤x≤tanx⟺1≤xsinx≤tanxsinx⟺1≤xsinx≤1cosx\sin x \le x \le tan x \iff 1 \le \frac{x}{\sin x} \le \frac{\tan x}{\sin x} \iff 1 \le \frac{x}{\sin x} \le \frac{1}{\cos x} sinx≤x≤tanx⟺1≤sinxx≤sinxtanx⟺1≤sinxx≤cosx1
由上式取倒数得:
cosx≤sinxx≤1\cos x \le \frac{\sin x}{x} \le 1 cosx≤xsinx≤1
因为,
limx→0cosx=1\lim_{x \rightarrow 0} \cos x = 1 x→0limcosx=1
所以,
limx→0sinxx=1\lim_{x \rightarrow 0} \frac{\sin x}{x} = 1 x→0limxsinx=1
定理 1,得证。
定理2,证明:
首先,证明此极限存在;
构造数列
xn=(1+1n)nx_n = (1 + \frac{1}{n})^n xn=(1+n1)n
根据二项式定理,进行展开:
xn=Cn01n(1n)0+Cn11n−1(1n)1+Cn21n−2(1n)2+⋯+n(n−1)(n−2)⋯1n!10(1n)n=1+1+12!(1−1n)+13!(1−1n)(1−2n)+⋯+1n!(1−1n)(1−2n)⋯(1−n−1n)<2+12!+13!+⋯1n!<2+12+122+123+⋯+12n−1=3−12n−1<3x_n = C_n^01^n(\frac{1}{n})^0 + C_n^11^{n-1}({\frac{1}{n}})^1 + C_n^21^{n-2}({\frac{1}{n}})^2 + \cdots + \frac{n(n-1)(n-2)\cdots1}{n!}1^0(\frac{1}{n})^n \\ = 1 + 1 + \frac{1}{2!}(1 - \frac{1}{n}) + \frac{1}{3!}(1-\frac{1}{n})(1-\frac{2}{n}) + \cdots + \frac{1}{n!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots(1-\frac{n-1}{n}) \\ < 2 + \frac{1}{2!} +\frac{1}{3!} + \cdots \frac{1}{n!} \\ < 2 + \frac{1}{2} + \frac{1}{2^2} + \frac{1}{2^3} + \cdots + \frac{1}{2^{n-1}} = 3 - \frac{1}{2^{n-1}} < 3 xn=Cn01n(n1)0+Cn11n−1(n1)1+Cn21n−2(n1)2+⋯+n!n(n−1)(n−2)⋯110(n1)n=1+1+2!1(1−n1)+3!1(1−n1)(1−n2)+⋯+n!1(1−n1)(1−n2)⋯(1−nn−1)<2+2!1+3!1+⋯n!1<2+21+221+231+⋯+2n−11=3−2n−11<3
而对于
xn+1=(1+1n+1)n+1=2+12!(1−1n)+⋯+1n!(1−1n)(1−2n)⋯(1−n−1n)+1(n+1)!(1−1n+1)(1−2n+1))⋯(1−nn+1)x_{n+1} = (1 + \frac{1}{n+1})^{n+1} \\ = 2 + \frac{1}{2!}(1 - \frac{1}{n}) + \cdots + \frac{1}{n!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots(1-\frac{n-1}{n}) + \frac{1}{(n+1)!}(1-\frac{1}{n+1})(1-\frac{2}{n+1}))\cdots(1- \frac{n}{n+1}) xn+1=(1+n+11)n+1=2+2!1(1−n1)+⋯+n!1(1−n1)(1−n2)⋯(1−nn−1)+(n+1)!1(1−n+11)(1−n+12))⋯(1−n+1n)
所以
xn+1−xn=1(n+1)!(1−1n+1)(1−2n+1))⋯(1−nn+1)>0x_{n+1}-x_n = \frac{1}{(n+1)!}(1-\frac{1}{n+1})(1-\frac{2}{n+1}))\cdots(1- \frac{n}{n+1}) > 0 xn+1−xn=(n+1)!1(1−n+11)(1−n+12))⋯(1−n+1n)>0
故,
xn+1>xnx_{n+1} > x_n xn+1>xn
该序列为单调递增序列,存在极限,记此极限为 eee。
对于实数 xxx,则总存在整数 nnn,使得 n≤x≤n+1n \le x \le n+1n≤x≤n+1,则有
(1+1n+1)n<(1+1x)x<(1+1n)n+1(1+\frac{1}{n+1})^n < (1+\frac{1}{x})^x<(1+\frac{1}{n})^{n+1} (1+n+11)n<(1+x1)x<(1+n1)n+1
limn→∞(1+1n+1)n=limn→∞(1+1n+1)1+1n+1=limn→∞(1+1n+1)n+1limn→∞(1+1n+1)=e1=e\lim_{n \rightarrow \infty}(1+\frac{1}{n+1})^n = \lim_{n \rightarrow \infty}\frac{(1+\frac{1}{n+1})}{1 + \frac{1}{n+1}} = \frac{\lim_{n \rightarrow \infty}(1+\frac{1}{n+1})^{n+1}}{\lim_{n \rightarrow \infty}(1 + \frac{1}{n+1})} = \frac{e}{1} = e n→∞lim(1+n+11)n=n→∞lim1+n+11(1+n+11)=limn→∞(1+n+11)limn→∞(1+n+11)n+1=1e=e
同理,
limn→∞(1+1n)n+1=limn→∞(1+1n)(1+1n)n=limn→∞(1+1n)limn→∞(1+1n)n=e\lim_{n \rightarrow \infty}(1+\frac{1}{n})^{n+1} = \lim_{n \rightarrow \infty}(1 + \frac{1}{n})(1 + \frac{1}{n})^n = \lim_{n \rightarrow \infty}(1 + \frac{1}{n})\lim_{n \rightarrow \infty}(1 + \frac{1}{n})^n = e n→∞lim(1+n1)n+1=n→∞lim(1+n1)(1+n1)n=n→∞lim(1+n1)n→∞lim(1+n1)n=e
故,根据夹逼定理,函数 f(x)=limn→∞frac(1+1x)xf(x) = \lim_{n \rightarrow \infty}frac(1 + \frac{1}{x})^xf(x)=limn→∞frac(1+x1)x 的极限存在,为eee。
两个重要极限定理推导相关推荐
- 两轮差速运动模型推导
由于目前的小车EAI底盘是两轮的(其底部后方两个同构驱动轮的转动为其提供动力,前方的随动轮起支撑作用并不推动其运动),所以记录一下其航迹推算公式 两篇博客值得参考: 1.两轮差速运动模型推导过程,ht ...
- 两轮差速运动模型推导过程
下面这张图片是从网络上拷贝过来,以这张图片为模型,我们来一步一步论证推导两轮差速运动模型,以下是原来网络上对这张图片的描述. 下图是移动机器人在两个相邻时刻的位姿,其中 是两相邻时刻移 ...
- [傅里叶变换及其应用学习笔记] 十. 卷积与中心极限定理
这份是本人的学习笔记,课程为网易公开课上的斯坦福大学公开课:傅里叶变换及其应用. 中心极限定理(Central Limit Theorem) 中心极限定理,简称CLT.大多数概率事件,当有足够多的取样 ...
- 博图编写温度程序_NTC测量温度的两个不同的数值转换程序,你会选择哪一个
采用如下的NTC测温电路进行温度测量. 将电源电压经过固定电阻以及NTC电阻分压送入单片机进行A/D转换之后. 单片机程序从A/D模块读到数值,根据其与真实温度之间的关系,将其转换为真实温度. NTC ...
- 两个多元正态分布的KL散度、巴氏距离和W距离
©PaperWeekly 原创 · 作者 | 苏剑林 单位 | 追一科技 研究方向 | NLP.神经网络 正态分布是最常见的连续型概率分布之一.它是给定均值和协方差后的最大熵分布(参考<&quo ...
- 《推荐系统笔记(一)》线性回归方法的数学推导
前言 在线性回归方法的推导中,实际上有两种角度,一种是从概率,即似然函数最大角度得出:另一种则是从损失函数最小出发,同样可以得到结果. 我们将线性回归问题阐述如下: 输入:数据集 T={(x1,y1) ...
- 酶促反应动力学_酶促反应动力学中,米氏方程怎么推导出来的?具体怎么应用?...
酶在催化的过程中会先与底物结合形成酶-底物复合物(enzyme-substrate complex, ES),所以当底物浓度达到一定量时,所有的酶分子就会结合上底物,从而使酶饱和.这就可以解释为什么米 ...
- 2021-Swin Transformer Attention机制的详细推导
文章目录 1. Title 2. Summary 3. Problem Statement 4. Method(s) 4.1 Overall Architecture (1)Patch Partiti ...
- 独立同分布的中心极限定理
两个中心极限定理,摘自概率论与数理统计(第二版) 客观世界中的事物都不是孤立的,而是相互联系的.一个随机变量往往是众多相互独立的随机因素共同作用的综合结果. 在无穷级数的学习中,有时候有限项的和很难计 ...
- 最小二乘法原理、推导和运用
原理部分: 如何理解最小二乘法? 原文查看:https://www.matongxue.com/madocs/818.html 下文是推到部分: 原文:https://blog.csdn.net/ ...
最新文章
- java中有符号数和无符号数,C语言中无符号数和有符号数之间的运算
- Leangoo卡片和列表完成状态上线
- 为什么由Python转go
- 网站访问过程理解(一点记录)
- linux mysql 数据文件,Linux下修改MySQL数据库数据文件路径的步骤
- 判断访问端是否是移动设备
- 关于MyBatis的缓存
- 药房管理(信息学奥赛一本通-T1075)
- access vba 用recordset读取表中数据的简单方法
- azcopy将本地目录上传到blob远端仓库中
- beego mysql session_Go语言之高级篇beego框架之cookie与session
- Redis主从复制和集群配置
- hello word!------为什么开通博客以及自我介绍
- 计算机编程语言用英语怎么说,编程用英语怎么说
- excel两个指标相关性分析_excel两组数据相关性分析
- Python爬虫+requests+伪装浏览器 爬取小说入门总结
- 函数式编程-Either函子篇
- 搞不清楚公有云、私有云、混合云的,看这篇就够了!
- 图像处理技术:图像切割、标签、贴纸花字,超细开发详解
- Mgo统计查询及显示附加字段