【定理内容】若∃N0,当n>N0时,有an⩽bn,则limn→∞an⩽limn→∞bn
(注意,不是数列极限的保号性)
说明,前提条件是从某项开始,所有项都满足an⩽bn,即an不大于bn,对于序号相同的项,即小于或者等于
如同分数线,不大于100分,则100分,以及0分都符合条件,结论都成立
或者理解为,bn不小于an,条件相当于分数线为100分,那么等于100分,或者120分,都满足条件。
【证明】
反证法。
假设limn→∞an>limn→∞bn
设limn→∞an=a,limn→∞bn=b
则依假设有:a>b
设ϵ=a−b2
则∃N1,当n>N1时,|an−a|<ϵ
则∃N2,当n>N时2,|bn−b|<ϵ
设N=max{N0,N1,N2},则
当n>N时,有|an−a|<ϵ,|bn−b|<ϵ
即a−ϵ<an<a+ϵ
b−ϵ<bn<b+ϵ
即a−a−b2<an<a+a−b2
b−a−b2<bn<b+a−b2
化简如下
a+b2<an<3a−b2
3b−a2<bn<a+b2
可得bn<an,矛盾
证毕
注意,下面结论不成立
若an<bn,则limn→∞an<limn→∞bn
反例:−1n<1n
但是limn→∞−1n=limn→∞1n=1
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 记一次.NET内存居高不下排查解决与启示
· 探究高空视频全景AR技术的实现原理
· 理解Rust引用及其生命周期标识(上)
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
· 没有源码,如何修改代码逻辑?
· 分享4款.NET开源、免费、实用的商城系统
· 全程不用写代码,我用AI程序员写了一个飞机大战
· MongoDB 8.0这个新功能碉堡了,比商业数据库还牛
· 白话解读 Dapr 1.15:你的「微服务管家」又秀新绝活了
· 上周热点回顾(2.24-3.2)