抽屉原则chouti yuanze
组合论的一个基本原理.抽屉原则也叫鸽笼原理、邮箱原理、鞋盒原理、狄利克雷(德国数学家)原则等.通常是指以下三条原则:
原则1 把多于n个的元素按任一确定的方式分成n个集合,那么至少有一个集合含有两个或两个以上的元素.
原则2 把多于m×n个的元素按任一确定的方式分成n个集合,那么至少有一个集合含有m+1个或m+1个以上的元素.
原则3 把无穷个元素按任一确定的方式分成有限个集合,那么至少有一个集合含有无穷个元素.
还可以推广到二维和三维,而有面积和体积的抽屉原则.面积的抽屉原则,也称面积的重迭原则.
假定平面上有n个区域,它们的面积分别是S1,S2,…,Sn.如果把这n个区域按任一确定的方式放入某一个面积为S的给定区域内,那么当s1+s2+…+sn>S时,至少有两个区域存在公共点.
类似的,有体积的抽屉原则或体积的重迭原则.
抽屉原则的一般形式是:设m1,m2,…,mn都是正整数,如果把m1+m2+…+mn-n+1个元素按任一确定的方式分成n个集合,那么至少存在一个整数k(1≤k≤n),使得第k个集合含有mk个或mk个以上的元素.
抽屉原则的真确性是可以通过反证法来证明的.在初等数学和高等数学中,特别是数论及图论中,有很多应用.