两个重要极限定理推导

2023-11-16

两个重要极限定理:
lim ⁡ x → 0 sin ⁡ x x = 1 (1) \lim_{x \rightarrow 0} \frac{\sin x}{x} = 1 \tag{1} x0limxsinx=1(1)

lim ⁡ x → ∞ ( 1 + 1 x ) x = e (2) \lim_{x \rightarrow \infty} (1 + \frac{1}{x})^x = e \tag{2} xlim(1+x1)x=e(2)

引理(夹逼定理)

定义一:

如果数列 { X n } \lbrace X_n \rbrace {Xn} { Y n } \lbrace Y_n \rbrace {Yn} { Z n } \lbrace Z_n \rbrace {Zn} ,满足下列条件:

(1) 当 n > N 0 n > N_0 n>N0 时,其中 N 0 ∈ N ∗ N_0 \in N^* N0N ,有 Y n ≤ X n ≤ Z n Y_n \le X_n \le Z_n YnXnZn

(2) { Y n } \lbrace Y_n\rbrace {Yn} { Z n } \lbrace Z_n \rbrace {Zn} 有相同的极限 a a a,设 − ∞ < a < + ∞ - \infty < a < + \infty <a<+,则,数列 { X n } \lbrace X_n \rbrace {Xn} 的极限存在,且
lim ⁡ n → ∞ X n = a \lim_{n \rightarrow \infty} X_n = a nlimXn=a
定义二:

F ( x ) F(x) F(x) G ( x ) G(x) G(x) X 0 X_0 X0 连续且存在相同的极限 A A A,即 x → X 0 x \rightarrow X_0 xX0 时, lim ⁡ F ( x ) = lim ⁡ G ( x ) = A \lim F(x) = \lim G(x) = A limF(x)=limG(x)=A,则

若有函数在 f ( x ) f(x) f(x) X 0 X_0 X0 的某领域内恒有 F ( x ) ≤ f ( x ) ≤ G ( x ) F(x) \le f(x) \le G(x) F(x)f(x)G(x) ,则当 X X X 趋近 X 0 X_0 X0, 有
lim ⁡ F ( x ) ≤ lim ⁡ f ( x ) ≤ l i m G ( x ) \lim F(x) \le \lim f(x) \le lim G(x) limF(x)limf(x)limG(x)

A ≤ l i m f ( x ) ≤ A A \le lim f(x) \le A Alimf(x)A

lim ⁡ ( X 0 ) = A \lim(X_0) = A lim(X0)=A
简单地说:函数 A > B A>B A>B,函数 B > C B>C B>C,函数 A A A的极限是 X X X,函数 C C C 的极限也是 X X X ,那么函数 B B B 的极限就一定是 X X X,这个就是夹逼定理。

定理 1 证明:

在这里插入图片描述

如上图,对于弧 A C ⌢ \mathop{AC}\limits^{\frown} AC ,由于半径 1 1 1,所以,弧 A C ⌢ \mathop{AC}\limits^{\frown} AC x x x。图片很直观地看出 sin ⁡ x ≤ x ≤ tan ⁡ x \sin x \le x \le \tan x sinxxtanx,并在 x → 0 x \rightarrow 0 x0的时候,他们都"相等"。这个是几何直观的,如果我们假设化曲为直是可行的。

所以,

由上述公式,
sin ⁡ x ≤ x ≤ t a n x    ⟺    1 ≤ x sin ⁡ x ≤ tan ⁡ x sin ⁡ x    ⟺    1 ≤ x sin ⁡ x ≤ 1 cos ⁡ x \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} sinxxtanx1sinxxsinxtanx1sinxxcosx1
由上式取倒数得:
cos ⁡ x ≤ sin ⁡ x x ≤ 1 \cos x \le \frac{\sin x}{x} \le 1 cosxxsinx1
因为,
lim ⁡ x → 0 cos ⁡ x = 1 \lim_{x \rightarrow 0} \cos x = 1 x0limcosx=1
所以,
lim ⁡ x → 0 sin ⁡ x x = 1 \lim_{x \rightarrow 0} \frac{\sin x}{x} = 1 x0limxsinx=1
定理 1,得证。

定理2,证明:

首先,证明此极限存在;

构造数列
x n = ( 1 + 1 n ) n x_n = (1 + \frac{1}{n})^n xn=(1+n1)n
根据二项式定理,进行展开:
x n = C n 0 1 n ( 1 n ) 0 + C n 1 1 n − 1 ( 1 n ) 1 + C n 2 1 n − 2 ( 1 n ) 2 + ⋯ + n ( n − 1 ) ( n − 2 ) ⋯ 1 n ! 1 0 ( 1 n ) n = 1 + 1 + 1 2 ! ( 1 − 1 n ) + 1 3 ! ( 1 − 1 n ) ( 1 − 2 n ) + ⋯ + 1 n ! ( 1 − 1 n ) ( 1 − 2 n ) ⋯ ( 1 − n − 1 n ) < 2 + 1 2 ! + 1 3 ! + ⋯ 1 n ! < 2 + 1 2 + 1 2 2 + 1 2 3 + ⋯ + 1 2 n − 1 = 3 − 1 2 n − 1 < 3 x_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+Cn11n1(n1)1+Cn21n2(n1)2++n!n(n1)(n2)110(n1)n=1+1+2!1(1n1)+3!1(1n1)(1n2)++n!1(1n1)(1n2)(1nn1)<2+2!1+3!1+n!1<2+21+221+231++2n11=32n11<3
而对于
x n + 1 = ( 1 + 1 n + 1 ) n + 1 = 2 + 1 2 ! ( 1 − 1 n ) + ⋯ + 1 n ! ( 1 − 1 n ) ( 1 − 2 n ) ⋯ ( 1 − n − 1 n ) + 1 ( n + 1 ) ! ( 1 − 1 n + 1 ) ( 1 − 2 n + 1 ) ) ⋯ ( 1 − n n + 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(1n1)++n!1(1n1)(1n2)(1nn1)+(n+1)!1(1n+11)(1n+12))(1n+1n)
所以
x n + 1 − x n = 1 ( n + 1 ) ! ( 1 − 1 n + 1 ) ( 1 − 2 n + 1 ) ) ⋯ ( 1 − n n + 1 ) > 0 x_{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+1xn=(n+1)!1(1n+11)(1n+12))(1n+1n)>0
故,
x n + 1 > x n x_{n+1} > x_n xn+1>xn
该序列为单调递增序列,存在极限,记此极限为 e e e

对于实数 x x x,则总存在整数 n n n,使得 n ≤ x ≤ n + 1 n \le x \le n+1 nxn+1,则有
( 1 + 1 n + 1 ) n < ( 1 + 1 x ) x < ( 1 + 1 n ) 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

lim ⁡ n → ∞ ( 1 + 1 n + 1 ) n = lim ⁡ n → ∞ ( 1 + 1 n + 1 ) 1 + 1 n + 1 = lim ⁡ n → ∞ ( 1 + 1 n + 1 ) n + 1 lim ⁡ n → ∞ ( 1 + 1 n + 1 ) = e 1 = 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 nlim(1+n+11)n=nlim1+n+11(1+n+11)=limn(1+n+11)limn(1+n+11)n+1=1e=e

同理,
lim ⁡ n → ∞ ( 1 + 1 n ) n + 1 = lim ⁡ n → ∞ ( 1 + 1 n ) ( 1 + 1 n ) n = lim ⁡ n → ∞ ( 1 + 1 n ) lim ⁡ n → ∞ ( 1 + 1 n ) 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 nlim(1+n1)n+1=nlim(1+n1)(1+n1)n=nlim(1+n1)nlim(1+n1)n=e

故,根据夹逼定理,函数 f ( x ) = lim ⁡ n → ∞ f r a c ( 1 + 1 x ) x f(x) = \lim_{n \rightarrow \infty}frac(1 + \frac{1}{x})^x f(x)=limnfrac(1+x1)x 的极限存在,为 e e e

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

两个重要极限定理推导 的相关文章

  • Windows下的mingw-Qt开发环境安装及helloworld实现

    Windows下的mingw Qt开发环境安装及helloworld实现 我用的是Qt5 7 因此本次总结是基于Qt5 7 0的 我在自学的时候使用的IDE是Qt自带的Qt creator 上手简单 配置属于自己顺手的设置很方便 此外 如果

随机推荐

  • element主题色切换

    在网上搜了很多主题切换方案 发现没有适合自己项目的 不得已结合根据实际情况做一个子主题切换的功能 其中参考了element 官方的theme chalk preview 感兴趣的可以自己研究一下 主要功能是基于less切换主题色 可以自定义
  • 网络安全工程师需要学什么?零基础怎么从入门到精通,看这一篇就够了

    网络安全工程师需要学什么 零基础怎么从入门到精通 看这一篇就够了 我发现关于网络安全的学习路线网上有非常多看似高大上却无任何参考意义的回答 大多数的路线都是给了一个大概的框架 告诉你那些东西要考 以及建议了一个学习顺序 但是这对于小白来说是
  • 计算机退出程序的四种方法,退出windows10系统账户的四种方法

    网友反馈说Win10系统打开某些程序时 经常会弹出提示 你要允许以下程序对此计算机进行更改吗 每回都要手动关闭 而且频繁的弹出影响办公效率 有什么办法能将此窗口给永久关闭 退出微软账户即可 接下去看下具体操作方法 退出Win10账户的方法
  • 同步与异步的区别(一看则懂)

    前端面试经常被问 同步与异步的区别是什么 答案呢 大家都知道 只是在于你怎么表达 这种问题也不是很复杂 建议在回答的时候最好结合自己的实际项目开发以及自己的理解来回答 这样的效果会比较好 面试上提的问题本来目的就是想考察你是否熟悉 是否有用
  • TSN协议之冗余协议——IEEE 802.1 CB

    在车载通信领域 我们时常面临一个困惑 要是通信线路异常断开了怎么办 这里的异常断开不仅指物理上的断开 也可能是受电磁干扰等导致线路通信功能的异常等 解决此类问题 一个显而易见的解决方案就是增加冗余路径 即把数据传输2 N份以进行备份 这样就
  • 【转载】阿里数据技术大图详解

    架构图从下往上看 从数据采集和接入为始 抽取到计算平台 通过OneData体系 以 业务板块 分析维度 为架构去构建 公共数据中心 基于公共数据中心在上层根据业务需求去建设消费者数据体系 企业数据体系 内容数据体系等核心数据资产 深度加工后
  • JS判断数组是否包含其他数组中的一个值

    Test var a 2 3 4 5 6 7 8 9 10 var b 2 3 var c 1 var x S1 var y S2 c findIndex val gt x y a includes val Demo POC primary
  • 读取nacos配置_Nacos入门指南01 Nacos是什么?

    你好 欢迎阅读 本文是系列文章中的第1篇 Part1 Nacos 是什么 Part2 Nacos 环境搭建 Part3 Nacos 服务发现实践 Part4 Nacos 分布式配置实践 本文的目标是理解 Nacos 的概念作用 并理解服务发
  • 【发布】ChatGLM又开源了一个6B多模态版本

    点击蓝字 关注我们 AI TIME欢迎每一位AI爱好者的加入 OpenAI 的GPT 4样例中展现出令人印象深刻的多模态理解能力 但是能理解图像的中文开源对话模型仍是空白 近期 智谱AI 和清华大学 KEG 实验室开源了基于 ChatGLM
  • Quartus Ⅱ 15.1 将Verilog模块程序封装

    将模块程序封装 我们可以更加直观查看每个模块间的联系 先放一张成果图 博主做完数电实验就忘干净了 所以自己又摸索了一遍 最后成品可能不是太好看 怪自己手残 下面是详细步骤 首先要在files一栏 右击想要封装的模块 然后选择 Create
  • 如何在PC上查看一个web页面在移动端的展示效果

    最近在chrome上发现一个东东 emulation 这个果断可以用来模拟web页面在移动端的显示结果 F12的界面 点击 Show drawer 就可以看到这个界面了 这里可以选择各种设备 选中之后 点击emulate就可以模拟了 这个就
  • python 基础语法使用Demo

    基本模型 usr bin python coding UTF 8 print 你好 世界 一行显示多条语句 方法是用分号 分开 print hello print world 编写格式注意点 没有严格缩进 在执行时会报错 if True p
  • tw8836flash制作

    TW8836 Flash的bin制作 2 选bitmap 在选menu 3 4 压缩需勾选 5 添加图片 制作bin文件 6 改生成的MRLE为Bin后缀 BIN文件为烧写 INF文件为图片存储信息 代码要用到 7 这里用到BIN文件作为烧
  • chapter6可视化(不想看版)

    pip install visdom python m visdom server 直接使用 http localhost 8097 def linspace start stop num 50 endpoint True retstep
  • [个人笔记] origin学习 入门教程

    良心官方 已经入驻bilibili 官号 Origin Pro软件官方 投稿了许多基础教程 还有技术交流群等 打算学习的同学可以去找一下看看 2020 7 5官号只有三级 快去欺负 晚了就欺负不到了 图片中包含引用于官方视频教程的图片左下角
  • 手写数字识别代码详解

    文件目录如下 其中数据集data目录运行时在与手写数字识别同级目录自动生成 具体文件内代码见下文 一 conf py文件 项目配置 import torch train batch size 128 训练批次大小 表示每次训练神经网络时每次
  • 为什么不建议给MySQL设置Null值?《死磕MySQL系列 十八》

    大家好 我是咔咔 不期速成 日拱一卒 之前ElasticSearch系列文章中提到了如何处理空值 若为Null则会直接报错 因为在ElasticSearch中当字段值为null时 空数组 null值数组时 会将其视为该字段没有值 最终还是需
  • 3.gendisk结构体

    在Linux内核中 使用gendisk 通用磁盘 结构体来表示一个独立的磁盘设备 或分区 1 gendisk结构体 major first minor和minors共同表征了磁盘的主 次设备号 同一个磁盘的各个分区共享一个主设备号 而此设备
  • 系统搜索资源就停止服务器,SQL Server (MSSQLSERVER) 服务启动不了,系统日志显示由于下列服务特定错误而终止: 找不到映像文件中指定的资源名。...

    系统日志报错 SQL Server MSSQLSERVER 服务由于下列服务特定错误而终止 找不到映像文件中指定的资源名 SQL Server日志文件报错 2020 01 19 09 32 41 96 Server Microsoft SQ
  • 两个重要极限定理推导

    两个重要极限定理 lim x