可加性定理

二项分布（n重伯努利）

P { x = k } = C n k p k q n − k P\{x=k\}=C_n^{k} p^k q^{n-k} P{x=k}=Cnk​pkqn−k

证明：X ~ B(n,p) , Y ~ B(m,p) , X+Y ~ B(m+n,p)

P { X + Y = k } = ∑ i = 0 k C n i p i q n − i C m k − i p k − i q m − k + i = ∑ i = 0 k C n i C m k − i p k q m + n − k = p k q m + n − k ∑ i = 0 k C n i C m k − i P\{X+Y =k\} = \sum _{i=0} ^{k} C_n^{i}p^i q^{n-i} C_m^{k-i}p^{k-i} q^{m-k+i} = \sum _{i=0} ^{k}C_n^{i} C_m^{k-i} p^k q^{m+n -k} = p^k q^{m+n -k} \sum _{i=0} ^{k}C_n^{i} C_m^{k-i} P{X+Y=k}=i=0∑k​Cni​piqn−iCmk−i​pk−iqm−k+i=i=0∑k​Cni​Cmk−i​pkqm+n−k=pkqm+n−ki=0∑k​Cni​Cmk−i​

其中排列组合有个定理：

$$\sum _{i=0}^k{C}_n^i{C}_m^{k-i}=C_{m+n}^k$$

因此上式等于：

$$p^k{q}^{m+n-k}\sum _{i=0}^k{C}_n^i{C}_m^{k-i}=C_{m+n}^k{p}^k{q}^{m+n-k}$$

即 X+Y ~ B(m+n,p)