集合(二)
【经验谈】
集合是数学中的重要基础知识，不论是高考还是数学竞赛中都少不了它的一席之地。本文将帮助你彻底掌握集合知识。
【内容综述】
集合是组合数学的基础，也是高中数学竞赛中的重要组成部分。希望大家通过本讲学习开拓思路，灵活解题，另外，要想解好集合题目，相关知识也很重要。
【例题分析】
例1：设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14073.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14074.gif" \* MERGEFORMATINET ，… INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14075.gif" \* MERGEFORMATINET 是有限集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14076.gif" \* MERGEFORMATINET 的50个子集，每个子集都含有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14077.gif" \* MERGEFORMATINET 的半数以上的元素，证明：存在子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14078.gif" \* MERGEFORMATINET ，它至多含5个元素，并且和集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14079.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14080.gif" \* MERGEFORMATINET … INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14081.gif" \* MERGEFORMATINET 中每一个集合至少有一个公共元。
分析：我们知道，这种题目并没有什么特别好的办法，只能一个一个把这5个元素找出来，我们还是可以先将题目简化成简单形式，看是否方便理解一些，但这里我们就不这么做了。
证明：设集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14077.gif" \* MERGEFORMATINET 中元素个数为n，子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14082.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14074.gif" \* MERGEFORMATINET ，… INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14083.gif" \* MERGEFORMATINET 中每一个都含 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14084.gif" \* MERGEFORMATINET 以上的元素，即所有这些子集的元素个数大于 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14085.gif" \* MERGEFORMATINET 由抽屉原理，必有集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14086.gif" \* MERGEFORMATINET 的元素，它至少属于26个子集，同理可证，对每个 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08
/Image14087.gif" \* MERGEFORMATINET ，在子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14088.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14089.gif" \* MERGEFORMATINET ，… INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14090.gif" \* MERGEFORMATINET ，中至少有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14091.gif" \* MERGEFORMATINET 个子集，它们具有公共元素，在集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14092.gif" \* MERGEFORMATINET 中取出一个元素，它至少属于26个子集，并作为集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14093.gif" \* MERGEFORMATINET 中五个元素之一，去掉包含这个元素的26个子集，在余下24个子集中取一个元素，它至少属于13个子集，去掉这13个子集，在余下的11个子集中取一个元素，它至少属于6个子集，在余下5个子集中取一个元素，它属于3个子集，剩下两个子集再取一个公共元素就可以了，于是，求得集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14077.gif" \* MERGEFORMATINET 的至多5个元素（在上述过程中所取的元素可能重复，所以可能小于5），它们构成集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14094.gif" \* MERGEFORMATINET ，而子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14095.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14096.gif" \* MERGEFORMATINET ，… INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14097.gif" \* MERGEFORMATINET 中每一个都至少含有它的一个元素。
说明：这道题目当 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14098.gif" \* MERGEFORMATINET 和 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14099.gif" \* MERGEFORMATINET 均较小时也就可以作为小学生竞赛题，而数目增大以后却成为了英国高中竞赛题目，假设我们在分析较小的数时可以把规律找出，而这是很简单的，那么整道题目也就迎刃而解了，这就告诉我们，做这类整数问题时，应该时时刻刻想到先将数目变小看看规律，然后再做题目本身。
例2：有11人管理一个保险柜，可以在柜上加若干把锁，每把锁可以有若干把钥匙，问：如何加锁和如何分配各锁的钥匙，才能使任何6个人可以把保险柜打开，但任意5个人却不能。
分析：我们反过来想一下，假设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14073.gif" \* MERGEFORMATINET ，
INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14074.gif" \* MERGEFORMATINET ，… INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14100.gif" \* MERGEFORMATINET 是11个人打不开的锁的集合，从11个人中任意找5个人的可能性有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14101.gif" \* MERGEFORMATINET 种情况。要想把它们都区别开，也就是说至少要有462把锁。那么再对462把锁进行构造就可以了。
解：设加 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14098.gif" \* MERGEFORMATINET 把锁，又设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14102.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14103.gif" \* MERGEFORMATINET ，… INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14104.gif" \* MERGEFORMATINET 是这11个人各自打不开的锁的集合，从11个集合中任选5个并集都不相同，故至少应有锁 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14105.gif" \* MERGEFORMATINET 把，为分配好各锁的钥匙，设锁号依次为1号，2号，…462号，同时把11个人任取5个的组合也编上1至462号，然后把锁和组合一一对应起来，给每个人发钥匙时，他所在的组的号的钥匙不给他，其他钥匙都给他，这时就满足题设了。
说明：这个构造难度很大，这主要原因还是因数目太大了，也应该先从小的数目做起，最后回到原题。
例3：把 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14106.gif" \* MERGEFORMATINET 个元素的集合分为若干个两两不交的子集，按照下述规则将某一个子集中某些元素挪到另一个子集：从前一子集挪到后一子集的元素个数等于后一子集的元素个数（前一子集的元素个数应不小于后一子集的元素个数），证明：可以经过有限次挪动，使得到的子集与原集合相重合。
分析：首先考虑到 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14106.gif" \* MERGEFORMATINET 是一个很特殊的数，其次我们发现若两个集合的元素个数除以2的若干次幂后若为奇数，那么，它们之间挪后就应为偶数这一事实，若还不能想到解答就试一下 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14107.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14108.gif" \* MERGEFORMATINET 时的情况，相信解答就不会难找到了。
证明：考虑含奇数个元素的子集（如果有这样的子集），因为所有子集所含元素的个数总和是偶数，所以具有奇数个元素的子集个数也是
偶数，任意将所有含有奇数个元素的子集配成对，对每对子集按题目要求的规则移动：从较大的子集挪出一些元素，添加到较小的子集，挪出的元素个数为较小子集的元素个数，于是得到的所有子集的元素个数都是偶数，现在考虑元素个数不被4整除的子集，如果 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14109.gif" \* MERGEFORMATINET ，则总共有两个元素，它们在同一个子集，因此设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14110.gif" \* MERGEFORMATINET ，因为子集的元素个数的总数被4整除，因此这样的子集的个数为偶数，任意将这样的子集配成对，对每一对子集施行满足题目要求的挪动，于是得到的每个子集数均可被4整除，依此做下去，最后得到的每个子集元素个数均可被 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14106.gif" \* MERGEFORMATINET 整除，也就是只能有一个子集，它的元素个数为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14111.gif" \* MERGEFORMATINET ，证毕。
说明：这道题的证明中隐含了一种单一变量在变化时变化方向相同这一性质，就这道题来说，一直在增加的就是各子集元素个数被2的多少次幂整除的这个幂次数，这是一大类问题，除了这种变化量，还要经常考虑变化中的不变量。
例4：给定1978个集合，每个集合都含有40个元素，已知其中任意两个集合都恰有一个公共元，证明：存在一个元素，它属于全部集合。
分析：我们可以先去找一个属于很多个集合的元素，最好它就是我们要找的那一个。
证明：考虑给定的1978个集合中任意一个集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14112.gif" \* MERGEFORMATINET ，它和其它1977个集合都相交，因此，存在 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14113.gif" \* MERGEFORMATINET ，使得它至少属于其中50个集合，否则，集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14114.gif" \* MERGEFORMATINET 中每个元素至多属于49个集合，而集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14115.gif" \* MERGEFORMATINET 恰有40个元素，所以除 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14116.gif" \* MERGEFORMATINET 外至多有1960个集合，不可能，因此设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14117.gif" \* MERGEFORMATINET 属于集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14118.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image
14119.gif" \* MERGEFORMATINET … INCLUDEPI
***[JimiSoft: Unregistered Software ONLY Convert Part Of File! Read Help To Know How To Register.]***
4122.gif" \* MERGEFORMATINET 的任一个集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14123.gif" \* MERGEFORMATINET ，设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14124.gif" \* MERGEFORMATINET ，则 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14125.gif" \* MERGEFORMATINET 与 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14126.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14127.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14128.gif" \* MERGEFORMATINET ，… INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14129.gif" \* MERGEFORMATINET 每一个都有至少一个元素的交，它们都与 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14130.gif" \* MERGEFORMATINET 不同，那么， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14131.gif" \* MERGEFORMATINET 就至少要有51个元素，不可能，因此 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14132.gif" \* MERGEFORMATINET 属于每个集合。
说明：这种题目最怕把它想难了，想行太难了，就会觉得无从下手，做数学竞赛题就需要一方面在做题之前选好方向，另一方面就是大胆尝试去做。
例5：在一个含10个元素的集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14133.gif" \* MERGEFORMATINET 的若干非空子集中，任意两个不同的子集的交集含有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14112.gif" \* MERGEFORMATINET 中元素的数目不多于2，这样的子集合有多少个。
分析： INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14133.gif" \* MERGEFORMATINET 的一元素子集和二元素子集显然都是满足条件的，三元子集呢？如果有一个多于3元的子集，总可以把它拆为三元子集的并，增加子集的数量而不影响性质，而恰恰把全部三元子集都选上也符合题目要求。
解： INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14133.gif" \* MERGEFORMATINET 中的单元素子集共10个，这10个都符合题目的要求。
INCLUDEPICTURE "ht
tp://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14112.gif" \* MERGEFORMATINET 中的含两个元素的集合共 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14134.gif" \* MERGEFORMATINET 个，它们也符合要求。
INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14112.gif" \* MERGEFORMATINET 中含三个元素的集合共 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14135.gif" \* MERGEFORMATINET 个，也符合要求。
这表明， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14136.gif" \* MERGEFORMATINET 的子集合中，至少有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14137.gif" \* MERGEFORMATINET 个子集满足条件。
另一方面，假设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14138.gif" \* MERGEFORMATINET 的非空子集有多于175个具有题目中的条件。设这个子集族为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14139.gif" \* MERGEFORMATINET ，其中 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14140.gif" \* MERGEFORMATINET INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14141.gif" \* MERGEFORMATINET 则 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14142.gif" \* MERGEFORMATINET 中必存在含有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14143.gif" \* MERGEFORMATINET 中的元素数超过3的集合，设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14144.gif" \* MERGEFORMATINET ，取 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14145.gif" \* MERGEFORMATINET ，作差集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14146.gif" \* MERGEFORMATINET ，显然 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14147.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14148.gif" \* MERGEFORMATINET ，这表明 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14149.gif" \* MERGEFORMATINET 与 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14150.gif" \* MERGEFORMATINET 不能同为子集族 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14151.gif" \* MERGEFORMATINET 中的成员，用 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14152.gif" \* MERGEFORMATINET 替换 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14153.gif" \* MERGEFORMATINET ，得到另一个子集族： INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14154.gif" \* MERGEFORMATIN
ET INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14155.gif" \* MERGEFORMATINET ，容易看到 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14156.gif" \* MERGEFORMATINET 也符合题目中的条件，并且 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14157.gif" \* MERGEFORMATINET ，经过这样的替换后， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14158.gif" \* MERGEFORMATINET 中某个元素 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14159.gif" \* MERGEFORMATINET 被含 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14160.gif" \* MERGEFORMATINET 中元素少于 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14161.gif" \* MERGEFORMATINET 的另一个 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14162.gif" \* MERGEFORMATINET 的子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14163.gif" \* MERGEFORMATINET 所替代，因为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14164.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14165.gif" \* MERGEFORMATINET 中的元素数目有限。所以有限次替代后，总可使新的子集族中各元素含有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14133.gif" \* MERGEFORMATINET 中的元素数目不超过3，这就看出 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14166.gif" \* MERGEFORMATINET 与 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14167.gif" \* MERGEFORMATINET 矛盾，这表明不存在符合题目条件的多于175个的 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14133.gif" \* MERGEFORMATINET 的子集形成的子集族，即这样的子集族恰有175个。
说明：这道题是一类典型问题的代表，这种问题的解法就是先构造，然后证明更多或更少不行。在证明过程中尽量把它往构造出来的方向化规。
例6：在 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14098.gif" \* MERGEFORMATINET 个元素组成的集合中取 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14168.gif" \* MERGEFORMATINET 个不同的三元子集。证明：其中必有两个，它们恰有一个公共元。
分析：证明恰有一个公共元也许挺难。那么证只有两个或零个公共元不可能是否可行呢？如果具有两个公共元的集合 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14133.gif" \* MERGEFORMATINET 与 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14094.gif
" \* MERGEFORMATINET 表示为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14169.gif" \* MERGEFORMATINET 、那么~有传递性。是否有用呢？
证明：设结论不真。则所给的3元子集要么不交，要么恰有两个公共元，如果子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14133.gif" \* MERGEFORMATINET 与 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14094.gif" \* MERGEFORMATINET 恰有两个公共元，则记 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14169.gif" \* MERGEFORMATINET 。设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14170.gif" \* MERGEFORMATINET INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14171.gif" \* MERGEFORMATINET INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14139.gif" \* MERGEFORMATINET 是三个子集。可以证明如果 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14172.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14173.gif" \* MERGEFORMATINET ，则 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14174.gif" \* MERGEFORMATINET ，于是所有给定的3元子集可以分类，使得同一类中任意两个不同子集都恰有两个公共元。而不同类的子集不相交。于是对每个子集类，有三种可能：（1）恰含3个元素的类。（2）恰含4个元素的类。（3）至少含5个元素的类。
在（1）下，3元子集类恰由一个3元子集组成。
在（2）下，子集类中至多有4个子集。
考虑（3） 设 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14175.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14176.gif" \* MERGEFORMATINET ，则还有一个 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14177.gif" \* MERGEFORMATINET ，由 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14178.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14179.gif" \* MERGEFORMATINET ，有 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14180.gif" \* MERGEFORMATINET 。因此对子集类中任意子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14181.gif" \* MERGEFORMATINET ，由 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14182.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14183.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14184.gif" \* MERGEFORMATINET
它包含 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14185.gif" \* MERGEFORMATINET 与 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14186.gif" \* MERGEFORMATINET ，于是类中子集个数比类中元素个数少2，于是，每个类中子集个数不超过元素个数，但是题中条件子集数大于元素个数，矛盾！
说明：此题为1979年美国竞赛题。题目难度较大，应该说是应用了高等代数中的一些思想。
1．求 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14187.gif" \* MERGEFORMATINET 的所有子集元素的和之和。
2．小明去买东西，现在他有10元，希望分成10包，使在商店内他能买起的东西都可由 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14098.gif" \* MERGEFORMATINET 包中的钱直接支付。
3．能否把整数集合分成3个子集，使得对每个整数 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14188.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14189.gif" \* MERGEFORMATINET 都属于不同的集合。
4．10名学生按下面的规则组成运动队，规则是：①每人可报名参加任何一个运动队；②每个运动队都不能完全包含于或重合于另一个运动队。问：最多几个队？每队分别多少人？
INCLUDEPICTURE "../../../../WINDOWS/TEMP/page_ok1.gif" \* MERGEFORMAT
参考答案
1．我们可以发现对每个数 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14190.gif" \* MERGEFORMATINET ，它出现在 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14191.gif" \* MERGEFORMATINET 个子集之中，因此所有子集中的 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14192.gif" \* MERGEFORMATINET 的和为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14193.gif" \* MERGEFORMATINET ，那么全部元素在全部子集之中的和为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14194.gif" \* MERGEFORMATINET 。
2．利用二进制来考虑此题，小明的前9包分别有钱 1分（2），10分（2），100分（2），1000分（2），10000分（2），100000分（2），1000000分（2），10000000分（2），100000000分（2），剩下一包装剩下的钱（以上数皆为二进制）就可以了。
3．不能。反证法。设存在合乎题中条件的一种分法，如果 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14195.gif" \* MERGEFORMATINET 和 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14099.gif" \* MERGEFORMATINET 同属于一个子集，则记为 INCLUDEPICTURE "http://www.pkusc
hool.com/student/aosai/0012/as/gzsx/08/Image14196.gif" \* MERGEFORMATINET ，否则记为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14197.gif" \* MERGEFORMATINET ，对 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14198.gif" \* MERGEFORMATINET ，若 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14199.gif" \* MERGEFORMATINET 分在三个集合中则称 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14200.gif" \* MERGEFORMATINET 为好的。
INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14201.gif" \* MERGEFORMATINET 都是好的。
INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14202.gif" \* MERGEFORMATINET ， INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14203.gif" \* MERGEFORMATINET ，而 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14204.gif" \* MERGEFORMATINET INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14205.gif" \* MERGEFORMATINET ，故 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14206.gif" \* MERGEFORMATINET
在第二组中用 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14207.gif" \* MERGEFORMATINET 代替 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14208.gif" \* MERGEFORMATINET ，故 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14209.gif" \* MERGEFORMATINET 是好的。故 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14210.gif" \* MERGEFORMATINET 。
由此 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14211.gif" \* MERGEFORMATINET 即 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14212.gif" \* MERGEFORMATINET ，但 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14213.gif" \* MERGEFORMATINET 。矛盾！
有这样一个结论 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14214.gif" \* MERGEFORMATINET 阶集合的子集 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14215.gif" \* MERGEFORMATINET 若满足 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14216.gif" \* MERGEFORMATINET 且 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14217.gif" \* MERGEFORMATINET 则 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14218.gif" \* MERGEFORMATINET 的最大值为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/Image14219.gif" \* MERGEFORMATINET ，代入本题得为 INCLUDEPICTURE "http://www.pkuschool.com/student/aosai/0012/as/gzsx/08/
Image14220.gif" \* MERGEFORMATINET 。
***[JimiSoft: Unregistered Software ONLY Convert Part Of File! Read Help To Know How To Register.]***