前言
此证明,改编自中科大数分教材,史济怀版
中科大教材,用的是先固定m,再放大m,跟菲赫金哥尔茨的方法一样。
而我这里的证明,是依据m的任意性,后来发现小平邦彦的《微积分入门》里,也是用的这个方法,即,m的任意性。
中科大和菲赫金哥尔茨用的记号是am,我在知乎咨询龚漫奇老师后,根据龚老师的建议,改为an,m,以避免
混淆,否则am,相当于an的n取值m,只有一个变量n,取值m,而anm有两个变量m,n
对en,m取极限时,相当于二元二次极限(注意,非二重极限),即n,m,一先一后取极限,而非二重极限
同时,我在证明中明确了数列极限的保不等式性的应用,
用了两次数列保不等式性,把e当做常数数列。
中科大和菲赫金哥尔茨的先固定m,对n取极限之后,再对m取极限,本质上就是二元二次极限,但是并未明确提及
二元二次极限这个概念
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
记Sn=10!+11!+12!+⋅⋅⋅+1n!
显然,Sn是递增数列,且
Sn⩽1+1+12+122+⋅⋅⋅+12(n−1)<3
显然,Sn是递增
因为当n趋于无穷时,1+1+12+122+⋅⋅⋅+12(n−1)=3
故Sn是递增有界数列,可知其必有极限,设其极限为S
则S=limn→∞10!+11!+12!+⋅⋅⋅+1n!
对en进行二项式展开
en=(1+1n)n (其中,n∈N+)
=∑nk=0Cn−kn(1n)k
=1+∑nk=1Cn−kn1nk
=1+∑nk=1n!(n−k)!k!1nk
=1+∑nk=11k!n!(n−k)!1nk
=1+∑nk=11k!(n−k+1)(n−k+2)⋅⋅⋅nnk
因为1∗2∗3⋅⋅⋅(n−k)(n−k+1)(n−k+2)...n
从1到n-k,一共是n-k个连续数字相乘,从n-k+1到n,合计k个连续数字相乘,从1到n,合计是n个连续数字相乘
故
上式=1+∑nk=11k!(n−k+1)(n−k+2)(n−k+3)⋅⋅⋅(n−2)(n−1)n(一共k个数字)nnn⋅⋅⋅n(一共k个n)
=1+∑nk=11k!n(n−1)(n−2)⋅⋅⋅(n−k+3)(n−k+2)(n−k+1)(一共k个数字)nnn⋅⋅⋅n(一共k个n)
=1+∑nk=11k!nnn−1nn−2n⋅⋅⋅n−k+2nn−k+1n
=1+∑nk=11k!∗1∗(1−1n)(1−2n)⋅⋅⋅n−k+2nn−k+1n
=1+∑nk=11k!(1−1n)(1−2n)⋅⋅⋅(1−k−2n)(1−k−1n) (一共k-1个括号)
展开连加号
=1+11!+12!(1−1n)+13!(1−1n)(1−2n)+⋅⋅⋅+1n!(1−1n)(1−2n)⋅⋅⋅(1−n−1n)
上式最后一项,是取k=n,一共n-1个括号
上式一共n+1项
由上式可知
en⩽1+11!+12!+13!+⋅⋅⋅+1n!
⩽1+1+12+122+123⋅⋅⋅+12n
=1+1∗1−12n1−12
=1+2∗(1−12n)
=1+2−12n−1
< 3
且en⩽S
en+1=(1+1n+1)n+1 (其中,n∈N+)
=∑n+1k=0Cn+1−kn+1(1n+1)k
=∑n+1k=01k!(n+1)!(n+1−k)!1(n+1)k
=∑n+1k=01k!(n+1−k+1)(n+1−k+2)(n+1−k+3)⋅⋅⋅(n+1)(k个括号)(n+1)k bbbb
=∑n+1k=01k!(n+1−k+1)(n+1−k+2)(n+1−k+3)⋅⋅⋅(n+1)(k个括号)(n+1)⋅⋅⋅(n+1)(k个(n+1))
=∑n+1k=01k!(n+1)n(n−1)⋅⋅⋅(n+1−k+3)(n+1−k+2)(n+1−k+1)(k个括号)(n+1)⋅⋅⋅(n+1)(k个(n+1))
=1+∑n+1k=11k!(1−1n+1)(1−2n+1)⋅⋅⋅(1−k−2n+1)(1−k−1n+1) (一共k-1个括号)
=1+11!+12!(1−1n+1)+13!(1−1n+1)(1−2n+1)+⋅⋅⋅+1(n+1)!(1−1n+1)(1−2n+1)⋅⋅⋅(1−nn+1)
即:en=1+11!+12!(1−1n)+13!(1−1n)(1−2n)+⋅⋅⋅+1n!(1−1n)(1−2n)⋅⋅⋅(1−n−1n)
即:en+1=1+11!+12!(1−1n+1)+13!(1−1n+1)(1−2n+1)+⋅⋅⋅+1(n+1)!(1−1n+1)(1−2n+1)⋅⋅⋅(1−nn+1)
可知en+1为n+2项,en为n+1项,en+1比en多一项,且前面的n+1项都大于en的对应位置的项
可知en+1>en,可知en为递增数列,且有上界3,根据单调递增有界数列必有极限,可知en有极限。
为e,即limn→∞en=e
即limn→∞en=limn→∞(1+11!+12!(1−1n)+13!(1−1n)(1−2n)+⋅⋅⋅+1n!(1−1n)(1−2n)⋅⋅⋅(1−n−1n))
∀m∈N+且m⩽n,设
en,m=1+11!+12!(1−1n)+⋅⋅+1m!(1−1n)(1−2n)⋅⋅⋅(1−m−1n)
即:en,m是en的前m项和,所以,∀n都有下面的不等式成立
en⩾en,m
根据数列极限的保不等式性,两侧对n取极限,不等式依然成立,即:
limn→∞en⩾limn→∞en,m=1+1+12!+13!+⋅⋅+1m!
即e⩾limn→+∞en,m=1+1+12!+13!+⋅⋅+1m!
此时该不等式左侧为常量e,右侧的最终结果,已经不包含变量n,仅包含变量m,而m的要求是m⩽n,此时n为无穷大,
所以m可以取任意值,即∀m,都有e⩾limn→∞en,m=1+1+12!+13!+⋅⋅+1m!=Sm
由数列极限的保不等式性,对m取极限,可得
e⩾limm→∞limn→∞en,m=limm→∞10!+11!+12!+⋅⋅++1m!=S
而前面已经证明e⩽S
故,得到S⩽e⩽S(注意⩾意为"不小于",⩽意为“不大于”)
所以 e=S,即
e=limn→∞(10!+11!+12!+⋅⋅+...1n!)
说明:在n→∞的过程中,en各项都在增大,趋于对应的阶乘倒数,
在n取无穷大时,en→+∞所有项的极限都是阶乘倒数,其极限和的极限是倒数阶乘之和
【推荐】国内首个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)
2018-07-20 视频:老外演示如何做康奈尔笔记