一道高中数学联赛题的研究.doc

一道高中数学联赛题的研究 福建省福州第三中学（350003） 黄炳锋 2005年全国高中数学联赛福建赛区预选赛最后一道试题：设集合和都是由正整数组成的集合，，并且集合满足如下条件：若，则.令，求证：（其中表示集合的元素个数）. 参考答案给出的解法是：考虑一般的情形，设，，对任意的，设有种方式表示为的形式，其中，即，则显然有. 对任意的，考虑集合，则有个这样的集合，对于，共有个集合，下面证明这些集合是两两不同的.若不然，则存在及、使得，，其中，从而，由题设知，若，则，不可能；若，则，不可能. 从而，即 . 由柯西不等式， 所以，即. 当时，. 该解法从组成集合的元素入手，构造集合中具有某些特征的双元集是两两不同的，建立不等量关系得到不等式，同时利用柯西不等式求出的范围，该证法比较抽象，难度大，考生基本没有与此类似的解答，可见不适合考生的一般思维。事实上，计算集合的元素个数，只要计算所有形如（其中）的元素个数，扣除相同的即可，由此想到构造数阵的方法. 考虑一般的情形，设，记，，构造如下数阵，它们由个元素构成，这些元素扣除相等的数，就组成了集合. 观察数阵，可以得到如下结论： （1）每一行的任意两个数不相等，每一列的任意两个数也不相等. 不然，假设第行的第列与第，且列的两个数相等，则由，得到，这与集合中的元素互异性矛盾； 同样，假设第列的第行与第，且行的两个数相等，则由，得到，这与集合中的元素互异性矛盾； （2）任意两列至多有一对相等的数. 不然，假设第列与第，且列有两对数分别相等，由（1）知，它们不能同在一行，分别设为第行（其中，且互不相等），则由，得，即，由已知得，从而或，这均与中的元素互异性矛盾. （3）当时，. 事实上，当时，由（1）（2）可知，上述数阵每一行的任意两个数不相等，每一列的任意两个数也不相等，任意两列至多有一对相等的数，而且这一对数不能在同一行，因此数阵中所有重复的数至多有对，所以. 特别地，当时，，这个结论比试题的结论要强. 进一步可以证明：当时，. 事实上，要证明，因为， 所以只要证，又，即证， 展开得到，即证， 此条件可以由得到，所以当时，.这说明本文得到的结论比试题参考答案使用的结论更为精确. 1