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