n+1个物体放入n个抽屉里，至少有一个抽屉有两个以上的物体，这个原理称为抽屉原理，它在证明某些存在性定理时很有用.

抽屉原理分以下三种形式：

1. n+1个元素分成n组，必有一组至少包含两个元素.

2.  m个元素分成n组(m>n为正整数)，必有一组至少包含个元素([x]表示x的整数部分).

3. 无限多个元素分成有限组，必有一组包含无限多个元素.