n+1个物体放入n个抽屉里,至少有一个抽屉有两个以上的物体,这个原理称为抽屉原理,它在证明某些存在性定理时很有用.抽屉原理分以下三种形式:
1° n+1个元素分成n组,必有一组至少包含两个元素.
2° m个元素分成n组(m>n为正整数),必有一组至少包含 \[ \left[ {\frac{{m - 1}}{n}} \right] + 1 \] 个元素([x]表示x的整数部分).
3° 无限多个元素分成有限组,必有一组包含无限多个元素.