第24讲 抽屉原理.docVIP

第24讲 抽屉原理 只在此山中，云深不知处。 ——贾岛 知识方法扫描 美国一家杂志上曾刊登这样一幅漫画：三只鸽子同时往两只鸽笼子里飞. 这是一幅含义深刻的漫画，它有趣地说明了抽屉原理：三只鸽子要飞进两只鸽笼，则一定有一只笼子里至少飞进两只鸽子. 抽屉原理一般可表述为： 原理1 若将n＋1件物品任意放入n个抽屉里，则必有一个抽屉里，至少有两件物品． 原理2 若将mn＋k k≥1 件物品任意放入n个抽屉里，则必有一个抽屉里，至少有m＋1件物品． 原理1是原理2在m k 1时的特殊情形．它的正确性是显然的，可用反证法很容易证明．请同学们自证． 抽屉原理尽管简单，但却有许多出人意料的应用，它是组合数学中一条重要的论证存在性的原理． 应用抽屉原理解决问题的关键在于制造合适的抽屉．如何制造抽屉呢?基本的想法是有的放矢，围绕题设要求，在充分考虑问题自身特点的基础上制造抽屉，这往往要求我们认真观察，善于联想，努力想象，大胆尝试，并灵活运用数学、代数、几何等方面知识，本讲通过典型例题介绍几种常见的制造抽屉的方法． 经典例题解析 1．分割图形制造抽屉 在讨论有关点在几何图形中的分布和性质时，我们常常将几何图形分割成若干部分，将每一部分看成一个“抽屉”．一般来说，采取均等分割图形制造抽屉，如等分正方形、等分矩形、等分线段、等分圆周等． 例1 在边长为1的正三角形内，有5个点．证明：其中至少有两个点，它们的距离不大于. 分析与解 只须证明至少有两个点在边长为的正三角形内即可，如图连接正三角形各边的中点，将边长为1的正三角形分为四个全等的边长为的小正三角形。由原理1，以这四个小正三角形作为四个抽屉，5个点放入后必有一个小正三角形中至少有两个点，则这两个点的距离不大于正三角形的边长. 评注 这里是用等分三角形的方法来制造“抽屉”，用类似的作法，将5个点扩充为10个点，此题可推广为： 在边长为1的正三角形内，有10个点，则其中至少有两个点，它们的距离不大于. 如图（a）将边长为1的正三角形分割为九个全等的边长为的小正三角形，这样就制造出九个抽屉，再利用原理1即得证． 若用正方形代替正三角形，并相应地把它分别等分为四个小正方形 如图 b 和九个小正方形 如图 c ，则立即得到下列两个命题： 1 在边长为1的正方形内，有5个点，则其中至少有两个点，它们的距离不大于. 2 在边长为1的正方形内，有10个点，则其中至少有两个点，它们的距离不大于. 例2 在面积为1的圆中有1993个点，求证：从中可以找到三个点，以这三点为顶点的三角形的面积小于0.0011... 证明 将已知圆等分为996个中心角为的全等扇形，则由原理2，1993 2×996＋1个点放入996个扇形中，必有一个扇形中至少含有2＋1 3个点（包括在扇形边界上的点）．以这三个点为顶点的三角形当然完全含于这个扇形内，因此三角形的面积小于扇形的面积，而＜0.0011，故结论成立． 评注 本题如果制造不同的抽屉，还可以证明更强的结论：能找到三个点，以这三点为顶点的三角形的面积小于0.00076. 事实上，由于1993 3×664＋1，故若将已知圆等分为664个中心角为的全等扇形，则必有一个扇形至少含有3＋1 4个点．以这四个点为顶点的四边形的面积小于扇形的面积，于是可以从这四个点中选出三个点，以它们为顶点的三角形面积小于四边形面积的一半，即小于＜0.00076. 由此可见，对同一个问题，考虑问题的角度不同，制造的抽屉不同，会产生不同的效果． 2．按同余类制造抽屉 例3 求证：任意三个整数中，总有两个整数之差能被2整除 . 分析与解 要使两个整数的差被2整除，必须使这两个整数被2除余数相同．于是我们考虑把整数按除以2所得余数0或1分成两类，这两类即为两个“抽屉”，由原理1，将3个整数放入两个抽屉，总有两数被2除的余数相同，则此两数之差能被2整除. 评注 这里是利用同余类制造抽屉，即以2为除数，把整数分为余数为0，余数为1共两个抽屉．同样，以3为除数，可将全体整数分余数为0的，余数为1的，余数为2的共3类，即制造3个抽屉．一般地，可将全体整数分为余数为0的，余数为1的，余数为2的，……，余数为n－1的共n类，即制造n个抽屉，因此，任给n+1个整数，总有两个整数对n同余，于是这两个整数的差能被n整除．因此本题可推广为： 任意n+1个整数中，总有两个整数之差能被n整除． 例4 设n是大于1的奇数，证明在2－1，2－1，…2－1中至少有一个数能被n整除． 证明 因为n是大于1的奇数，所以n不能整除1，2，2，…，2中的任何一个，又因为1，2，2，…，2共有n个数，它们被n除所得的余数均不为0，但至多只有n－1个余数，于是构造n－1个抽屉，由原理1知，必有两个数被n除的余数相