抽屉原理又称鸽巢原理，它是组合数学的一个基本原理，最先是由德国数学家狭利克雷明确地提出来的，因此，也称为狭利克雷原理。

原理1：把n+1个元素分成n类，不管怎么分，则一定有一类中有2个或2个以上的元素。

原理2：把m个元素任意放入n，且n＜m，则一定有一个集合呈至少要有k个元素。

原理3：把无穷多个元素放入有限个集合里，则一定有一个集合里含有无穷多个元素。