第七届中国女子数学奥林匹克试题及解答(中山)

第七届中国女子数学奥林匹克（中山）1．（a）问能否将集合1,2,,96表示为它的32个三元子集的并集，且三元子集的元素之和都相等；（b）问能否将集合1,2,,99表示为它的33个三元子集的并集，且三元子集的元素之和都相等．解：（a）不能．因为96(961)32|129648972．（b）能．每个三元集的元素和为129999(991)15033332．将1,2,3,,66每两个一组，分成33个组，，每组两数之和可以排成一个公差为1的等差数列：150,349,,3334,266,465,,3251．故如下33组数，每组三个数之和均相等：1,50,99,3,49,98,,33,34,83,2,66,82,4,65,81,,32,51,67.．注：此题的一般情况是设集合1,2,3,,3Mn的三元子集族,,iiiiAxyz，1,2,in满足12nAAAM．记iiiisxyz，求所有的整数n，使对任意,(1)ijijn，ijss．解：首先，|1233nn，即3(31)2|312nnnn．所以，n为奇数．又当n为奇数时，可将1,2,3,,2n每两个一组，分成n个组，每组两数之和可以排成一个公差为1的等差数列：111(),3(),,(1)22nnnnnn；322,4(21),,(1)()2nnnnn．其通项公式为1121(1)1,2213[12(1)][2(1)].22knnknkkannnknkkn易知93312knank为一常数，故如下n组数每组三个数之和均相等：1111,,3,3,,31,,,1,31222nnnnnnnnnn；332,2,31,,1,,2122nnnnnnn．当n为奇数时，依次取上述数组为12,,,nAAA，则其为满足题设的三元子集族．故n为所有的奇数．2．已知实系数多项式32()xaxbxcxd有三个正根，且(0)0．求证：322970badabc．①证明：设实系数多项式32()xaxbxcxd的三个正根分别为1x，2x，3x，由韦达定理有123bxxxa，122331cxxxxxxa，123dxxxa．由(0)0，可得0d，故0a．不等式①两边同除以3a，不等式①等价于3729bcbdaaaa，31231223311231237()()2()9xxxxxxxxxxxxxxx，2222223331213212331321232()xxxxxxxxxxxxxxx②因为1x，2x，3x大于0，所以221212()()0.xxxx也就是2233122112.xxxxxx同理22332233233223311331,.xxxxxxxxxxxx三个不等式相加可得不等式②，当且仅当123xxx时不等式等号成立．3．求最小常数1a，使得对正方形ABCD内部任一点P，都存在,,,PABPBCPCDPDA中的某两个三角形，使得它们的面积之比属于区间1[,]aa．解：min152a．首先证明min152a，记152．不妨设正方形边长为2．对正方形ABCD内部一点P，令1S，2S，3S，4S分别表示PAB，PBC，PCD，PDA的面积，不妨设1243SSSS．令1224,SSSS，如果,，由13241SSSS，得221SS，得21S．故2121111111SS，矛盾．故min,，这表明mina．反过来对于任意(1,)a，取定15(,)2ta，使得2819tbt．我们在正方形ABCD内取点P，使得12342,,,1bbSbSSSbtt，则我们有122315(,)2SStaSS，3242,(1)4(1)SbbaStbb由此我们得到对任意,1,2,3,4ij，有1[,]ijSaaS．这表明mina．4．在凸四边形ABCD的外部分别作正三角形ABQ，正三角形BCR，正三角形CDS，正三角形DAP，记四边形ABCD的对角线之和为x，四边形PQRS的对边中点连线之和为y，求yx的最大值．（熊斌供题）解：若四边形ABCD是正方形时，可得yx132．下面证明：yx132．QPCABDEF设1111,,,PQRS分别是边DA，AB，BC，CD的中点，SP，PQ，QR，RS的中点分别为E，F，G，H．则1111PQRS是平行四边形．连接11,PESE，设点M，N分别是DP，DS的中点，则11DSSNDNEM，11DPPMMDEN，又113606060PDSPDS240(180)60ENDEND11ENSEMP，所以1111DPSMPENES，从而，△11EPS是正三角形．同理可得，△11GQR也是正三角形．设U，V分别是11PS，11QR的中点，于是有1111113322EGEUUVVGPSPQQR111113322PQPSBDAC，同理可得1322FHACBD，把上面两式相加，得132yx，即yx132．5．已知凸四边形ABCD满足AB＝BC，AD＝DC．E是线段AB上一点，F是线段AD上一点，满足B，E，F，D四点共圆．作△DPE顺向相似于△ADC；作△BQF顺向相似于△ABC．求证：A，P，Q三点共线．（叶中豪供题）（注：两个三角形顺向相似是指它们的对应顶点同按顺时针方向或同按逆时针方向排列．）证明将B、E、F、D四点所共圆的圆心记作O．联结OB、OF、BD．在△BDF中，O是外心，故∠BOF＝2∠BDA；又△ABD∽△CBD，故∠CDA＝2∠BDA．于是∠BOF＝∠CDA＝∠EPD，由此可知等腰△BOF∽△EPD．①另一方面，由B、E、F、D四点共圆知△ABF∽△ADE．②综合①，②可知，四边形ABOF∽四边形ADPE，由此得∠BAO＝∠DAP．③同理，可得∠BAO＝∠DAQ．④③，④表明A、P、Q三点共线．【附注】事实上，当四边形ABCD不是菱形时，A、P、Q三点共线与B、E、F、D四点共圆互为充要条件．可利用同一法给予说明：取定E点，考虑让F点沿着直线AD运动．根据相似变换可知，这时Q点的轨迹必是一条直线，它经过P点（由充分性保证）．以下只要说明这条轨迹与直线AP不重合即可，即只要论证A点不在轨迹上．为此，作△BAA′∽△BQF∽△ABC．于是由∠BAA′＝∠ABC，可得A′A∥BC．又因四边形ABCD不是菱形，故AD不平于BC．这就表明A′、A、D三点不共线，也就保证了A点不在轨迹上．因此，只有当B、E、F、D四点共圆时，Q点才落在直线AP上．而当四边形ABCD是菱形时，不管E、F位置如何，所得到的P、Q两点总位于对角线AC上．6．设正数列12,,,,nxxx满足721187)8xxx（及88211171,2()kkkkkkkxxxxxkxx．求正实数a，使得当1xa时，有单调性12nxxx；当10xa时，不具有单调性．解：由88211171()kkkkkkkxxxxxxx，有1881111kkkkkkxxxxxx即1288811111117==8kkkkkkxxxxxxxxxA'QPCABDEFPQCBDAFE。。FOPCABDE于是，7178kkkxxx，则当10x时，0,2kxk．由811()8kkkkxxxx，则当8108kx，即188kx时，有10kkxx，即1,1kkxxk．而178817718=888kkkxxx，且当18=8kx时，等号成立．于是，取18=8a，则当188kx时12nxxx．当1818x时，21xx且23nxxx．故所求常数18=8a．7．给定一个2008×2008的棋盘，棋盘上每个小方格的颜色均不相同．在棋盘的每一个小方格中填入C，G，M，O这4个字母中的一个，若棋盘中每一个2×2的小棋盘中都有C，G，M，O这4个字母，则称这个棋盘为“和谐棋盘”．问有多少种不同的“和谐棋盘”？（冯祖鸣供题）解：有200812224种不同的“和谐棋盘”．我们首先证明下面这个结论：在每个“和谐棋盘”中，至少出现以下情况中的某一种：（1）每一行都是某两个字母交替出现；（2）每一列都是某两个字母交替出现．其实，假设某一行不是交替的，则这一行必定包含三个相邻的小方格填有不同的字母．不失一般性，假设这三个字母为C，G，M，如图1所示．这很容易得到25XXO，并且14XXM和36XXC，如图2所示．图1图2同理，我们就可以得到这三列都是两个字母交替出现．从而容易得到每一列都是某两个字母交替出现．现在我们来计算“和谐棋盘”的个数．如果最左边一列是某两个字母（比如C和M）交替出现，马上可以得到序号为奇数的列都是这两个字母交替出现，且序号为偶数的列都是另外两个字母（比如G和O）交替出现．每一列的第一个字母可以是这一列所包含的两个字母的任意一个；容易验证任意这样的填写都可以得到“和谐棋盘”．从而我们有246C种不同的方式选择第一列的两个字母，且有20082种方式决定每一列的第一个字母．所以，我们有200862种填法使得每一列都是交替的．同样，我们也有200862种填法使得每一行都是交替的．现在所要做的就是从中减去计算了两次的填法——行和列都是交替的．显然，四个不同字母在左上角的2×2方格中的任何排列都可以扩充到整个棋盘得到一个“和谐棋盘”，并且行和列都是交替的，其实，只要先填好前两列使得它们是交替的，再填所有的行使得它们是交替的即可；反过来，这种双交替的填法由左上角的2×2方格唯一决定．有4！=24种方式在左上角的2×2方格中排列四个不同的字母．所以我们得到24种不同的填法使得行和列都是交替的，由此可以得到上面结果．8．对于正整数n，令2200822009nnnf．求证：数列12,,ff中有无穷多个奇数和无穷多个偶数．（[x]表示不超过x的最大整数）（冯祖鸣供题）证明：我们用二进制表示2008和2009：12(2)2008101100.aa和12(2)2009101100.bb首先，我们证明数列中有无穷多个偶数．反证法，假设数列中只有有限个偶数，从而存在一个正整数N，对每个正整数nN，nf都是奇数．我们考虑121,2,nNnN注意到，在二进制中，1212(2)(2)101100101100iiinnnfbbbaaa，这个数模2同余于iinnba．因为inf是奇数，所以{,}{0,1}iinnba．从而121(2)200820091011001.111mccc．由此得到20082009在二进制中是有理数，这是不可能的，因为20082009是无理数．这样，我们的假设是错误的，所以数列中有无穷多个偶数．我们同样可以证明数列中有无穷多个奇数．令20092008nnng，显然ng和nf有相同的奇偶性．这样，对nN，ng都是偶数．注意到，在二进制中，1212(2)(2)101100101100iiinnngbbbaaa，这个数模2同余于iinnba．因为ing是奇数，所以iinnba．从而121(2)200920080.000mddd．由此得到20092008在二进制中是有理数，这是不可能的，因为20092008是无理数