בהתפלגות בינומית , ראינו כי בניסויי ברנולי , הסיכוי להצלחת
k
{\displaystyle k}
ניסויים מתוך
n
{\displaystyle n}
, כאשר הסיכוי להצלחה יחידה הוא
p
{\displaystyle p}
, הנו
P
(
x
=
k
)
=
(
n
k
)
p
k
(
1
−
p
)
n
−
k
{\displaystyle \ \mathbb {P} (x=k)={n \choose k}p^{k}(1-p)^{n-k}}
בעטי הפונקציה הקומבינטורית
(
n
k
)
{\displaystyle {n \choose k}}
, מדובר בפונקציה לא נוחה לשימוש.
השוואה בין התפלגות בינומית להתפלגויות פואסון המקרבות אותה.
במציאות, ישנם מצבים רבים בהם
n
{\displaystyle n}
ו-
p
{\displaystyle p}
במידה שמכפלתם,
n
p
{\displaystyle np}
, היא בינונית בגודלה. במקרים אלה, נראה שאפשר לשערך את הביטוי
(
n
k
)
p
k
q
n
−
k
≃
(
p
n
)
k
e
−
p
n
k
!
{\displaystyle {n \choose k}p^{k}q^{n-k}\simeq {\left({pn}\right)^{k}e^{-pn} \over k!}}
בתרשים התחתון משמאל לדוגמה, הנקודות השחורות מתארות התפלגות פואסון עם
n
=
1000
,
λ
=
5
{\displaystyle n=1000,\lambda =5}
.
הקו האדום מתאר התפלגות בינומית עם
n
=
10
,
p
=
0.005
{\displaystyle n=10,p=0.005}
,
הקו הכחול מתאר התפלגות בינומית עם
n
=
20
,
p
=
0.005
{\displaystyle n=20,p=0.005}
,
והקו הירוק מתאר התפלגות בינומית עם
n
=
1000
,
p
=
0.005
{\displaystyle n=1000,p=0.005}
,
משפט: קירוב פואסון
עבור
λ
{\displaystyle \lambda }
קבועה, אם
X
n
∼
B
(
n
,
λ
/
n
)
;
Y
∼
Pois
(
λ
)
.
{\displaystyle X_{n}\sim {\textrm {B}}(n,\lambda /n);\qquad Y\sim {\textrm {Pois}}(\lambda ).\,}
אז עבוכ כל
k
{\displaystyle k}
קבוע,
lim
n
→
∞
P
(
X
n
=
k
)
=
P
(
Y
=
k
)
{\displaystyle \lim _{n\to \infty }P(X_{n}=k)=P(Y=k)}
.
הוכחה: ראשית, מחדו"א , אנו יודעים כי
lim
n
→
∞
(
1
−
λ
n
)
n
=
e
−
λ
,
{\displaystyle \lim _{n\to \infty }\left(1-{\lambda \over n}\right)^{n}=e^{-\lambda },}
אז, היות שכאן
p
=
λ
/
n
{\displaystyle p=\lambda /n}
במקרה זה, נקבל
lim
n
→
∞
P
(
X
n
=
k
)
=
lim
n
→
∞
(
n
k
)
p
k
(
1
−
p
)
n
−
k
=
lim
n
→
∞
n
!
(
n
−
k
)
!
k
!
(
λ
n
)
k
(
1
−
λ
n
)
n
−
k
=
lim
n
→
∞
[
n
!
n
k
(
n
−
k
)
!
]
⏟
A
n
(
λ
k
k
!
)
(
1
−
λ
n
)
n
⏟
→
exp
(
−
λ
)
(
1
−
λ
n
)
−
k
⏟
→
1
=
[
lim
n
→
∞
A
n
]
(
λ
k
k
!
)
exp
(
−
λ
)
{\displaystyle {\begin{aligned}\lim _{n\to \infty }P(X_{n}=k)&=\lim _{n\to \infty }{n \choose k}p^{k}(1-p)^{n-k}\\&=\lim _{n\to \infty }{n! \over (n-k)!k!}\left({\lambda \over n}\right)^{k}\left(1-{\lambda \over n}\right)^{n-k}\\&=\lim _{n\to \infty }\underbrace {\left[{\frac {n!}{n^{k}\left(n-k\right)!}}\right]} _{A_{n}}\left({\frac {\lambda ^{k}}{k!}}\right)\underbrace {\left(1-{\frac {\lambda }{n}}\right)^{n}} _{\to \exp \left(-\lambda \right)}\underbrace {\left(1-{\frac {\lambda }{n}}\right)^{-k}} _{\to 1}\\&=\left[\lim _{n\to \infty }A_{n}\right]\left({\frac {\lambda ^{k}}{k!}}\right)\exp \left(-\lambda \right)\end{aligned}}}
כעת נשים לב כי
A
n
=
n
!
n
k
(
n
−
k
)
!
=
n
⋅
(
n
−
1
)
⋯
(
n
−
(
k
−
1
)
)
n
k
=
1
⋅
(
1
−
1
n
)
⋯
(
1
−
k
−
1
n
)
→
1
⋅
1
⋯
1
=
1
,
{\displaystyle {\begin{aligned}A_{n}&={\frac {n!}{n^{k}\left(n-k\right)!}}\\&={\frac {n\cdot (n-1)\cdots {\big (}n-(k-1){\big )}}{n^{k}}}\\&=1\cdot (1-{\tfrac {1}{n}})\cdots (1-{\tfrac {k-1}{n}})\\&\to 1\cdot 1\cdots 1=1,\end{aligned}}}
כאשר לוקחים את הגבול של כל אחד מ-
k
{\displaystyle k}
האיברים בנפרד (מותר לעשות כך, מפני שמספרם סופי).
מכאן קיבלנו
lim
n
→
∞
P
(
X
n
=
k
)
=
λ
k
exp
(
−
λ
)
k
!
=
P
(
Y
=
k
)
{\displaystyle \lim _{n\to \infty }P(X_{n}=k)={\frac {\lambda ^{k}\exp \left(-\lambda \right)}{k!}}=P(Y=k)}
.