第一抽屉原理　　原理1：把多于n个的物体放到n个抽屉里,则至少有一个抽屉里的东西不少于两件.
　　证明（反证法）：如果每个抽屉至多只能放进一个物体,那么物体的总数至多是n,而不是题设的n+k(k≥1),故不可能.
　　原理2 ：把多于mn(m乘以n)个的物体放到n个抽屉里,则至少有一个抽屉里有不少于m+1的物体.
　　证明（反证法）：若每个抽屉至多放进m个物体,那么n个抽屉至多放进mn个物体,与题设不符,故不可能.
　　原理3 ：把无穷多件物体放入n个抽屉,则至少有一个抽屉里 有无穷个物体.
　　原理1 、2 、3都是第一抽屉原理的表述.
第二抽屉原理
　　把（mn－1）个物体放入n个抽屉中,其中必有一个抽屉中至多有（m—1）个物体.
　　证明（反证法）：若每个抽屉都有不少于m个物体,则总共至少有mn个物体,与题设矛盾,故不可能.