容斥原理

$$|A\cup B|=|A|+|B|-|A\cap B|$$

$$\begin{gathered} |A\cup B\cup C|=|A|+|B|+|C|-|A\cap B|-|B\cap C|-|C\cap A|+|A\cap B\cap C| \\ 证明：|AUBUC|=|AUB|+|C|-|(AUB)\cap C| \\ =|A|+|B|-|A\cap B|+|C|-|(A\cap C)U(B\cap C)| \\ =|A|+|B|-|A\cap B|+|C|-(|A\cap C|+|B\cap C|-|A\cap B\cap C|) \\ =|A|+|B|+|C|-|A\cap B|-|A\cap C|-|B\cap C|+|A\cap B\cap C| \end{gathered}$$

可以用数学归纳法证明：

$$|A_1\cup A_2\dots \cup A_m|=\sum |A_i|-\sum |A_i\cap A_j|+\sum |A_i\cap A_j\cap A_k|+\dots +(-1{)}^{m-1}|A_1\cap A_2\dots \cap A_m|$$