作者examuser (examuser)
看板Statistics
标题[问题] 二项分配趋近泊松分配的证明
时间Wed Jun 10 20:56:16 2015
如果是跟统计软体有关请重发文章。
如果跟论文有关也烦请您重发文章。
请详述问题内容，以利板友帮忙解答，过短文章依板规处置，请注意。
不好意思，请问是否可以问比较基础的问题？问题如下。
当二项分配的n趋近於无限时，该二项分配会趋近於泊松分配，
即n→∞时，p=λ/n，q=1-λ/n
[n!/x!(n-x)!](p^x)[q^(n-x)]
=[n!/x!(n-x)!][(λ/n)^x][(1-λ/n)^(n-x)]
=[n!/x!(n-x)!][(λ/n)^x][(1-λ/n)^n][(1-λ/n)^-x]
=[(λ^x)/x!][n(n-1)(n-2)...(n-x+1)/(n^x)][(1-λ/n)^n][(1-λ/n)^-x]
=[(λ^x)/x!]{(n/n)[(n-1)/n][(n-2)/n]...[(n-x+1)/n]}[(1-λ/n)^n][(1-λ/n)^-x]
=[(λ^x)/x!]{1[1-(1/n)][1-(2/n)]...[1-(x-1/n)]}[(1-λ/n)^n][(1-λ/n)^-x]
n→∞，1[1-(1/n)][1-(2/n)]...[1-(x-1/n)]=1
以下两个部分有点不清楚：
n→∞，[(1-λ/n)^-x]=1
n→∞，[(1-λ/n)^n]=e^(-λ)
请问是要用Maclaurin series求出此结果吗？还是有甚麽书籍对此有详细解说。
其中n→∞，[(1-λ/n)^n]=e^(-λ)的部分
e^(-λ)=f(λ)
={[f(0)](λ-0)^0}/0!+{[f'(0)](λ-0)^1}/1!+{[f"(0)](λ-0)^2}/2!+...
=[e^(-0)λ^0]/0!+(-1)[e^(-0)λ^1]/1!+[(-1)^2][e^(-0)λ^2]/2!+...
=1-λ+(λ^2)2!+...
∞
=Σ [(-1)^n](λ^n)/n!
n=0
(1-λ/n)^n
∞
=Σ[n!/m!(n-m)!](1^n)[(-λ/n)^(n-m)]
m=0
=Σ[n!/m!(n-m)!][(-λ/n)^(n-m)]
=Σ[n!/m!(n-m)!][(-1)^(n-m)][(λ/n)^(n-m)]
=Σ(n!/m!)[(-1)^(n-m)][(λ/n)^(n-m)]/(n-m)!
=Σ[n(n-1)(n-2)...(n-m+1)][(-1)^(n-m)][(λ/n)^(n-m)]/(n-m)!
到这边卡住，Σ[(-1)^n](λ^n)/n!和(1-λ/n)^n没能证明相等，不知道错在哪里。
我想n→∞，[(1-λ/n)^-x]=1的部分应该也能用上述方式求得，只是卡住。
抱歉！麻烦各位！
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.249.243.95
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Statistics/M.1433940979.A.D6A.html
1F：→ LiamIssac: 微积分课本 或是 机率课本 06/10 20:59
2F：推 SonicJuice: n→∞，[(1-λ/n)^n]=e^(-λ) 不就是定义吗？ 06/15 00:23
谢谢各位！
好像找到解法了。
(1-λ/n)^n，设-λ/n=1/t，n=-λt
→(1-λ/n)^n
=(1+1/t)^(-λt)
=[(1+1/t)^t]^-λ
n→∞，ｔ→∞
(1+1/t)^t
∞
=Σ[t!/s!(t-s)!][1^(t-s)][(1/t)^s]
s=0
=Σ[t!/s!(t-s)!][(1/t)^s]
=Σ{[(1/t)^s][t(t-1)(t-2)...(t-s+1)]}/s!
=Σ{(t/t)(t/t-1/t)(t/t-2/t)...[t/t-(s-1)/t]}/s!
=Σ1/s!
=e
→[(1+1/t)^t]^-λ=e^(-λ)
至於n→∞，[(1-λ/n)^-x]=1，因为x非趋近无限，
所以λ/n趋近0，故为1。
不知道这样对不对。
※ 编辑: examuser (111.249.231.110), 06/16/2015 00:58:08
3F：推 simon552614: 回2楼，那根本不是定义 06/18 12:50
4F：→ simon552614: 回原po，先取ln再用罗毕达证极限比较快 06/18 12:50
5F：推 simon552614: 最後-x次方的想法，直观是对，但还是要证 06/18 12:52
用罗比达定理求解如下：
(1-λ/n)^n
=e^[ln(1-λ/n)^n]
=e^[nln(1-λ/n)]
=e^{[ln(1-λ/n)]/(1/n)}
x→∞下，f(x)/g(x)=f'(x)/g'(x)－－罗比达定理
[ln(1-λ/n)]/(1/n)
→-λ(-1/n^2)[1/(1-λ/n)]/(-1/n^2)
=-λ[1/(1-λ/n)]
=-λ
→(1-λ/n)^n=e^(-λ)
至於(1-λ/n)^(-x)=1，证明如下，不知道对不对：
(1-λ/n)^(-x)
=e^[ln(1-λ/n)^(-x)]
=e^[-xln(1-λ/n)]
=e^[ln(1-λ/n)/(1/-x)]
n→∞下，ln(1-λ/n)=-λ(-1/n^2)[1/(1-λ/n)]=0
n→∞下，因x为有限常数，不存在0/0不定型，故(1-λ/n)^(-x)=1。
※ 编辑: examuser (111.249.214.120), 06/25/2015 22:50:26