数学奥林匹克题解E组合数学E1存在性问题021-030.docVIP

E1-021? 是否存在正整数n＞1，满足下列条件：正整数集可分拆为n个非空子集，使得从任n-1个子集中各任取一个数，这n-1个数的和在剩下的哪个集中？ 【题说】第三十六届（1995年）IMO预选题． 【解】 n=2显然不满足条件． 若n=3满足条件，正整数集分拆成的三个非空子集人A1，A2，A3中必有一个至少含有一个奇数，另一个至少含有一个偶数．设奇数a=2h-1∈A1，偶数b=2k∈A2，则根据已知条件可得 a+b∈A3，a+2b∈A1，a+3b∈A3，a+4b∈A1，… 以及 b+a∈A3， b+2a∈A2， b+3a∈A3， b+4a∈A2，… 于是a+2hb∈A1，b+（2k+1）a∈A3，但 a+2hb=b+（2k+1）a． 与分拆的定义不符，所以 n=3不满足条件（注意我们并没有用到 A1∪A2∪A3=N）． 若n＞3满足条件，正整数集分拆成n个非空子集A1，A2，A3，…，An．这个集中有两个，不妨设为A1，A2；A1中有一个元a与A2中一个元b的奇偶性不同．从A4，…，An中各取一个数作成和s，令a=a+s，b=b+s，则 Ai=｛x+s｜x∈Ai｝，i=1，2，3 显然a、b奇偶性不同、并且分别属于A1、A2．对任意的x∈Ai，y∈Aj（1≤i＜j≤3）， x+y=（x-s）+（y-s）+s+s∈Ak k是｛1，2，3｝-｛i，j｝中的元素． 根据上面对n=3的证明，A1，A2，A3中有两个集的交非空，从而A1，A2，A3的交非空．因此，没有满足要求的n． E1-022 ?Z表示整数集．证明对任意整数A、B可以找到整数C，使得集M1=｛x2+Ax+B｜x∈Z｝与M2=｛2x2+2x+C｜x∈Z｝不交． 【题说】第三十六届（1995年）IMO预选题． 【证】2x2+2x+C≡C（mod 4） 若A为奇数，则 y2+Ay≡y2+y≡0（mod 2） 即y2+Ay+B（mod 4）仅有两类． 若A为偶数．则y为偶数时，y2+Ay≡0（mod 4），y为奇数时，y2+Ay≡1+4（mod4）．即y2+Ay+B（mod 4）仍仅两类． 因此，可取C不属于以上两类（mod 4），这时M1，M2无公共元素． E1-023 ?k为正整数，证明存在无限多个形如n·2k-7的平方数，这里n是正整数． 【题说】第三十六届（1995年）IMO预选题． 【证】对k=1，2，3，取m=1+4l，l为正奇数，则 m2+7≡0（mod24） 对k≥3，设有正整数m，满足 m2+7≡0（mod2k+1）??????????????????? （1） 显然m为奇数．对任意正整数a， （m+a·2k）2+7≡m2+7+2k+1ma=2k+1（b+ma）（mod2k+2） 取a与b的奇偶性相同，则 （m+a·2k）2+7≡0（mod2k+2） 因此，对任意正整数k，均有无穷多个m满足（1），即有无穷多个正整数n，使n·2k-7为平方数m2．? E1-024? 是否存在这样的有限非零实数集合M，使得对任意的自然数n，总可求得以M中的数为系数．且次数不低于n的多项式，它的所有实根也属于集合M？ 【题说】第二十二届（1996年）全俄数学奥林匹克十一年级题7． 【解】设存在满足要求的集合M=｛a1，a2，…，am｝．记a=min ｛｜a1｜，｜a2｜，…，｜am｜｝，A=max｛｜a1｜，｜a2｜，…，｜am｜｝，显然A≥a＞0． 考察多项式 p（x）=bkxk+bk-1·xk-1+…+b1x+b0 它的系数b0，b1，…，bk及根x1，x2，…，xk均属于集合M． 由韦达定理，有 这说明多项式的次数不可能大于C，矛盾．因此，满足题设条件的集合M不存在．? E1-025? 确定（并证明）是否有整数集的子集X具有下面的性质：对任意整数n，恰有一组a、b∈X，使a+2b=n． 【题说】第二十五届（1996年）美国数学奥林匹克题6． 【解】这样的X存在．首先令X2=｛0，1｝．假设已有Xk=｛a1，a2，…，ak｝，使得a1+2aj（1≤i，j≤k）互不相同．令Sk=｛ai+2aj｜1≤i，j≤k｝．对任一不属于Sk的整数n，取正整数ak+1，又令ak+2=-2ak+1+n． 只要ak+1充分大，对1≤i，j，s，t≤k，有3ak+1＞as+2ak+1＞ak+1+2ai＞n＞ak+2+2aj＞ak+1+2ak+2＞at+2ak+2＞3ak+2，而且ak+1+2ai大于Sk中一切正数，ak+2+2aj小于Sk中一切负数．于是，对 Xk+2=｛ak+1，ak+2｝∪Xk 中任二数a、b，a+2b）互不相同． 令????????????????????????????? X=X2∪X4∪…∪X2k∪2k+2∪… 则X满足要求． E1-026? 求证存在无穷多个自然数