UA MATH564 概率论 计算至少有一个发生的概率：Waring公式

在推出Poincare公式后，计算$n$个事件中至少有一个事件发生的概率的问题就彻底解决了。但数学家们又开始纠结了，Poincare公式只能够计算至少有一个发生的概率，那有没有能计算恰好有$m$个事件同时发生的概率的方法呢？

假设用$B_m$表示$A_1,\cdots ,A_n$中正好有$m$个发生的事件，则
$$P(B_m)=\sum _{k=m}^n(-1{)}^{k-m}{C}_k^m{S}_k$$

这个公式叫做Waring公式。其中$S_k$就是上一讲定义的记号$$S_m=\sum _{1\le i_1<i_2<\cdots <i_m\le n}P(A_{i_1}\cap A_{i_2}\cap \cdots \cap A_{i_m})$$

基于组合学的证明方法

Feller的Introduction to Probability and its application中给出了基于组合学的证明方法。用反证法。我们要证明的公式等价于：假设$E$是一个恰好包含在$l$个事件中的子事件，当且仅当$l=m$时，$P(E)$才是$P(B_m)$的一部分。显然这时$P(E)$也是$S_1,S_2,\cdots ,S_l$的一部分，并且 P ( E ) P(E)