容斥原理的两种证明

1. 问题引入

主要用来解决集合的计数问题。

最常见的应用题，A活动多少人，B活动多少人，AB两活动多少人之类的。

两三个集合的时候还能画图进行识别，三个以上的集合则看不太出来了。

2. 公式

$$\left|\bigcup _{i=1}^n{A}_i\right|=\sum _{1\le i\le m}\left|A_i\right|-\sum _{1\le i<j\le m}\left|A_i\cap A_j\right|+\sum _{1\le i<j<k\le m}\left|A_i\cap A_j\cap A_k\right|-...+(-1{)}^{m-1}\left|A_1\cap A_2\cap A_3...\cap A_m\right|$$

3. 证明一：数学归纳法

简记$1-n$的集合为
[ n ] : = { 1 , 2 , 3... , n } [n] :=\{ 1,2,3...,n\} [n]:={1,2,3...,n}
表示$1-n$的整数形成的所有可能的集合。

原公式化简为
$$\begin{array}{r}\left|\bigcup _{i=1}^n{A}_i\right|=\sum _{\begin{array}{c}J\subseteq [n]\\ J\ne \varnothing \end{array}}(-1{)}^{\begin{array}{c}|J|-1\end{array}}\left|\bigcap _{\begin{array}{c}i\in J\end{array}}{A}_i\right|\end{array}$$
当$n=1$时
∣ A 1 ∣ = ( − 1 ) 1 − 1 ∣ ⋂ i ∈ { 1 } A 1 ∣ = ∣ A 1 ∣ \left\vert A_1\right\vert= (-1)^{1-1} \left\vert \bigcap_{i \in \{1\}}A_1\right\vert= \left\vert A_1\right\vert ∣A1​∣=(−1)1−1 ​i∈{1}⋂​A1​ ​=∣A1​∣
成立。
当公式为$n$时
$$\left|\bigcup _{i=1}^n{A}_i\right|=\left|A_n\cup \bigcup _{i=1}^{n-1}{A}_i\right|$$
根据公式
$$\left|A\cup B\right|=\left|A\right|+\left|B\right|-\left|A\cap B\right|$$
可化简为
$$\begin{array}{rl}\left|A_n\cup \bigcup _{i=1}^n{A}_i\right|& =\left|(\bigcup _{i=1}^{n-1}{A}_i)\right|\\ & =\left|\bigcup _{i=1}^{n-1}{A}_i\right|+\left|A_n\right|-\left|A_n\cap \bigcup _{i=1}^{n-1}{A}_i\right|\end{array}$$
根据公式
$$\begin{array}{rl}& (A\cup B)\cap C=(A\cap C)\cup (B\cap C)\end{array}$$
将$(3)$式种的第三项根据公式$(4)$进行一次化简得到
$$\begin{array}{rl}{A}_n\cap \bigcup _{i=1}^{n-1}{A}_i& =(A_{n-1}\cup \bigcup _{i=1}^{n-2}{A}_i)\cap A_n\\ & =(A_n\cap \bigcup _{i=1}^{n-2}{A}_i)\cup (A_n\cap A_{n-1})\end{array}$$
对$(5)$式中的第一个括号中的项继续运用公式$(4)$,直到公式全部展开得到
$$\begin{array}{rl}{A}_n\cap \bigcup _{i=1}^{n-1}{A}_i=& (A_1\cap A_n)\cup (A_2\cap A_n)...\cup (A_{n-1}\cap A_n)\\ =& \bigcup _{i=1}^{n-1}(A_i\cap A_n)\end{array}$$
则$(1)$式被化简为
$$\begin{array}{r}\left|\bigcup _{i=1}^n{A}_i\right|=\left|\bigcup _{i=1}^{n-1}{A}_i\right|+\left|A_n\right|-\left|\bigcup _{i=1}^{n-1}(A_n\cap A_i)\right|\end{array}$$
令$B_i=A_n\cap A_i$，由$(6)$式得到
$$\begin{array}{r}\left|\bigcup _{i=1}^n{A}_i\right|=\left|\bigcup _{i=1}^{n-1}{A}_i\right|+\left|A_n\right|-\left|\bigcup _{i=1}^{n-1}{B}_i\right|\end{array}$$
假设$n-1$时，对$(7)$式运用公式$(1)$可化简为
$$\begin{array}{rl}\left|\bigcup _{i=1}^n{A}_i\right|& =\left|\bigcup _{i=1}^{n-1}{A}_i\right|+\left|A_n\right|-\left|\bigcup _{i=1}^{n-1}{B}_i\right|\\ & =\sum _{\begin{array}{c}J\subseteq [n-1]\\ J\ne \varnothing \end{array}}(-1{)}^{\begin{array}{c}|J|-1\end{array}}\left|\bigcap _{\begin{array}{c}i\in J\end{array}}{A}_i\right|+\left|A_n\right|-\sum _{\begin{array}{c}K\subseteq [n-1]\\ K\ne \varnothing \end{array}}(-1{)}^{\begin{array}{c}|K|-1\end{array}}\left|\bigcap _{\begin{array}{c}i\in K\end{array}}{B}_i\right|\end{array}$$
将$(8)$式中的符号放进幂次中
$$\begin{array}{rl}\left|\bigcup _{i=1}^n{A}_i\right|& =\sum _{\begin{array}{c}J\subseteq [n-1]\\ J\ne \varnothing \end{array}}(-1{)}^{\begin{array}{c}|J|-1\end{array}}\left|\bigcap _{\begin{array}{c}i\in J\end{array}}{A}_i\right|+\left|A_n\right|+\sum _{\begin{array}{c}K\subseteq [n-1]\\ K\ne \varnothing \end{array}}(-1{)}^{\begin{array}{c}|K|\end{array}}\left|\bigcap _{\begin{array}{c}i\in K\end{array}}{B}_i\right|\end{array}$$
再将$B_i$展开合并
K ∈ [ n − 1 ] ⋂ i ∈ K B i = ⋂ i ∈ K ( A i ∩ A n ) = ( A 1 ∩ A n ) ∩ ( A 2 ∩ A n ) ∩ . . . ∩ ( A n − 1 ∩ A n ) = ⋂ i ∈ K ∪ { n } A i , \begin{align} &K \in [n-1]\nonumber\\ \bigcap_{i \in K}B_i&=\bigcap_{i \in K}(A_i \cap A_n)=(A_1 \cap A_n) \cap (A_2 \cap A_n) \cap ...\cap(A_{n-1} \cap A_n)\\ &=\bigcap_{i \in K \cup \{n\}}A_i , \end{align} i∈K⋂​Bi​​K∈[n−1]=i∈K⋂​(Ai​∩An​)=(A1​∩An​)∩(A2​∩An​)∩...∩(An−1​∩An​)=i∈K∪{n}⋂​Ai​,​​
原式变为
∣ ⋃ i = 1 n A i ∣ = ∑ J ⊆ [ n − 1 ] J ≠ ∅ ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ + ∣ A n ∣ + ∑ K ⊆ [ n − 1 ] K ≠ ∅ ( − 1 ) ∣ K ∣ ∣ ⋂ i ∈ K ∪ { n } A i ∣ \begin{align} \left\vert \bigcup_{i=1}^{n}A_i\right\vert &=\sum_{\substack{J \subseteq [n-1]\\J \ne \empty}}(-1)^{\substack{|J|-1}} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert+ \left\vert A_n\right\vert + \sum_{\substack{K \subseteq [n-1] \\K \ne \empty}}(-1)^{\substack{|K|}} \left\vert \bigcap_{\substack{i \in K \cup \{n\}}}A_i\right\vert \nonumber \end{align} ​i=1⋃n​Ai​ ​​=J⊆[n−1]J=∅​∑​(−1)∣J∣−1​ ​i∈J​⋂​Ai​ ​+∣An​∣+K⊆[n−1]K=∅​∑​(−1)∣K∣​ ​i∈K∪{n}​⋂​Ai​ ​​
将$K$用$J$替换掉。

为了使第三项中的$K$被替换，$J$需要满足

• $J\ne \varnothing$
• $J\subseteq [n]\wedge n\in J(n在每个J中都要包含)$
• J ≠ { n } ( K ∪ { n } ≠ { n } , K ≠ ∅ ) J \ne \{n\}(K \cup \{n\} \ne \{n\},K \ne \empty) J={n}(K∪{n}={n},K=∅)

对于这一项的 J = K ∪ { n } , ∣ J ∣ − 1 = ∣ K ∣ J=K \cup \{n\},|J|-1=|K| J=K∪{n},∣J∣−1=∣K∣

替换后
∣ ⋃ i = 1 n A i ∣ = ∑ J ⊆ [ n − 1 ] J ≠ ∅ ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ + ∣ A n ∣ + ∑ J ⊆ [ n ] J ≠ ∅ J ≠ { n } ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ \begin{align} \left\vert \bigcup_{i=1}^{n}A_i\right\vert &=\sum_{\substack{J \subseteq [n-1]\\J \ne \empty}}(-1)^{\substack{|J|-1}} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert+ \left\vert A_n\right\vert + \sum_{\substack{J \subseteq [n] \\J \ne \empty\\J \ne \{n\}}}(-1)^{\substack{|J|}-1} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert \nonumber \end{align} ​i=1⋃n​Ai​ ​​=J⊆[n−1]J=∅​∑​(−1)∣J∣−1​ ​i∈J​⋂​Ai​ ​+∣An​∣+J⊆[n]J=∅J={n}​∑​(−1)∣J∣​−1 ​i∈J​⋂​Ai​ ​​
而
∣ A n ∣ = ( − 1 ) ∣ { n } ∣ − 1 ∣ A n ∣ = ∑ J ∈ { n } ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ \left\vert A_n\right\vert=(-1)^{|\{n\}|-1}\left\vert A_n\right\vert= \sum_{J \in \{n\}}(-1)^{|J|-1}\left\vert \bigcap_{i \in J}A_i\right\vert ∣An​∣=(−1)∣{n}∣−1∣An​∣=J∈{n}∑​(−1)∣J∣−1 ​i∈J⋂​Ai​ ​
得到
∣ ⋃ i = 1 n A i ∣ = ∑ J ⊆ [ n − 1 ] J ≠ ∅ ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ + ∑ J ∈ { n } ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ + ∑ J ⊆ [ n ] J ≠ ∅ J ≠ { n } ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ \begin{align} \left\vert \bigcup_{i=1}^{n}A_i\right\vert &=\sum_{\substack{J \subseteq [n-1]\\J \ne \empty}}(-1)^{\substack{|J|-1}} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert+ \sum_{J \in \{n\}}(-1)^{|J|-1}\left\vert \bigcap_{i \in J}A_i\right\vert + \sum_{\substack{J \subseteq [n] \\J \ne \empty\\J \ne \{n\}}}(-1)^{\substack{|J|}-1} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert \end{align} ​i=1⋃n​Ai​ ​​=J⊆[n−1]J=∅​∑​(−1)∣J∣−1​ ​i∈J​⋂​Ai​ ​+J∈{n}∑​(−1)∣J∣−1 ​i∈J⋂​Ai​ ​+J⊆[n]J=∅J={n}​∑​(−1)∣J∣​−1 ​i∈J​⋂​Ai​ ​​​
将$(11)$式中的三项进行合并

• $Q1=[n-1]的所有非空子集$
• Q 2 = { n } Q2=\{n\} Q2={n}
• $Q3=[n]的所有包含n的集合且不为Q2$

$Q1\cup Q2\cup Q3=[n]$
所以原式子为
∑ J ⊆ [ n − 1 ] J ≠ ∅ ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ + ∑ J ∈ { n } ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ + ∑ J ⊆ [ n ] J ≠ ∅ J ≠ { n } ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ = ∑ J ⊆ [ n ] J ≠ ∅ ( − 1 ) ∣ J ∣ − 1 ∣ ⋂ i ∈ J A i ∣ \begin{align} \sum_{\substack{J \subseteq [n-1]\\J \ne \empty}}(-1)^{\substack{|J|-1}} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert+ \sum_{J \in \{n\}}(-1)^{|J|-1}\left\vert \bigcap_{i \in J}A_i\right\vert + \sum_{\substack{J \subseteq [n] \\J \ne \empty\\J \ne \{n\}}}(-1)^{\substack{|J|}-1} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert=\\ \sum_{\substack{J \subseteq [n]\\J \ne \empty}}(-1)^{\substack{|J|-1}} \left\vert \bigcap_{\substack{i \in J}}A_i\right\vert \nonumber \end{align} J⊆[n−1]J=∅​∑​(−1)∣J∣−1​ ​i∈J​⋂​Ai​ ​+J∈{n}∑​(−1)∣J∣−1 ​i∈J⋂​Ai​ ​+J⊆[n]J=∅J={n}​∑​(−1)∣J∣​−1 ​i∈J​⋂​Ai​ ​=J⊆[n]J=∅​∑​(−1)∣J∣−1​ ​i∈J​⋂​Ai​ ​​​
原式得证。

4. 证明二：元素法

考虑一个元素$x_0$在集合中出现的次数；

• $x_0$没有在所有集合中出现

显然容斥公式左边，在所有集合并集中出现的次数为0,且等于容斥公式右边。
$$\left|\bigcup _{i=1}^n{A}_i\right|=0$$

• $x_0$只出现在了一个集合$A_m$中

对于容斥公式左边
$$\left|\bigcup _{i=1}^n{A}_i\right|=\left|A_m\right|=1$$
而对于等式右边由于元素只出现在了集合$A_m$中，所以与其他集合交集中不可能出现元素$A_m$
等式右边为
$$|A_m|=1$$

• $x_0$出现在了两个集合中$A_m{A}_n$中

只要元素出现在任意一个集合中，容斥公式左边的计数都为$1$
则容斥原理公式右边为
$$|A_m|+|A_n|-|A_m\cap A_n|=1+1-1=1$$

• $x_0$出现在了$k$个集合中

公式右边为

$$\begin{array}{rl}Cnt& =\left(\genfrac{}{}{0ex}{}{k}{1}\right)+(-1{)}^{2-1}(\genfrac{}{}{0ex}{}{k}{2})+...+(-1{)}^{k-1}\left(\genfrac{}{}{0ex}{}{k}{k}\right)\\ & =\sum _{j=1}^k(-1{)}^{j-1}(\genfrac{}{}{0ex}{}{k}{j})\\ & =-\sum _{j=1}^k(-1{)}^j(\genfrac{}{}{0ex}{}{k}{j})\end{array}$$

二项式系数
$$(a+b{)}^k=\sum _{\begin{array}{c}0\le u\le k\end{array}}{C}_k^u{a}^u{b}^{k-u}$$
当$a=-1,b=1$时
$$\begin{gathered} (-1+1{)}^k=\sum _{j=0}^k(-1{)}^j\left(\genfrac{}{}{0ex}{}{k}{j}\right)=(-1{)}^0(\genfrac{}{}{0ex}{}{k}{0})+\sum _{j=1}^k(-1{)}^j\left(\genfrac{}{}{0ex}{}{k}{j}\right)=0 \\ \sum _{j=1}^k(-1{)}^j(\genfrac{}{}{0ex}{}{k}{j})=-1 \end{gathered}$$
所以$Cnt=1$，每个元素出现了一次，证明完成。

原文链接

OI_WIKI
lep_for_dummies
hanspub
普林斯顿概率论读本