1. 鸽巢原理的简单形式
设 A A A是有限集, ∣ A ∣ ⩾ n + 1 , A i ⊆ A ( i = 1 , 2 , ⋯   , n ) |A| \geqslant n+1, A_{i} \subseteq A(i=1,2, \cdots, n) ∣A∣⩾n+1,Ai⊆A(i=1,2,⋯,n)且 ⋃ i = 1 n A i = A \bigcup_{i=1}^n A_i = A ⋃i=1nAi=A,则必有正整数 k ( 1 ≤ k ≤ n ) k(1 \leq k \leq n) k(1≤k≤n),使得 ∣ A k ∣ ≥ 2 |A_k| \geq 2 ∣Ak∣≥2。
2. 鸽巢原理的一般形式
将 N N N个物体放入 K K K个盒子中,至少有一个盒子不少于 ⌈ N / K ⌉ \lceil N / K\rceil ⌈N/K⌉个物体。
3. 鸽巢原理的广义形式
将 ( n 1 + n 2 + ⋯ + n k − k + 1 ) (n_1+n_2+\dots+n_k-k+1) (n1+n2+⋯+nk−k+1)个物体放入 k k k个盒子,则存在 i i i,第 i i i个盒子里不少于 n i n_i ni个物体。
4. 鸽巢原理例题
例题一
证明从任意给的5个整数中必能选出3个数,它们的和能被3整除。
- 证明
以 A A A表示所给的5个整数所成之集,对任一整数 i ( 0 ≤ i ≤ 2 ) i(0\leq i \leq 2) i(0