抽屉原理是德国数学家狄利克雷在1846年提出的他从朴素的数学现象中抽象出了这一原理。抽屉原理分为第一抽屉原理和
第二抽屉原理。原理1 把多于n个的物体放到n个抽屉里则至少有一个抽屉里有2个或2个以上的物体。 原理2 把多于mn(m乘以
n)个的物体放到n个抽屉里则至少有一个抽屉里有m+1个或多于m+1个的物体。原理1和原理2都属于第一抽屉原理。第二抽屉原理
的描述为把mn1个物体放入n个抽屉中其中必有一个抽屉中至多有m—1个物体。抽屉原理的提出解决了数学中有关“存
在”的数学现象对证明数论的一些问题起到了基础性作用。