2008年第七届中国女子数学奥林匹克试题及解答

2008年第七届中国女子数学奥林匹克

1．（a ） 问能否将集合{}1,2,,96 表示为它的32个三元子集的并集，且三元子集的元素

之和都相等；

（b ） 问能否将集合{}1,2,,99 表示为它的33个三元子集的并集，且三元子集的元素

之和都相等．（刘诗雄供题）

解：（a ）不能．因为96(961)

32|129648972?++++==? ．

（b ）能．每个三元集的元素和为

1299

99(991)

15033

332

+++?+=

=? ．将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,,3M n = 的三元子集族{},,i i i i A x y z =，1,2,i n = 满足

12n A A A M ???= ．记i i i s x y z =++，求所有的整数n ，使对任意,(1)i j i j n ≤≠≤，i j s s =．

解：首先，|1233n n ++++ ，即

3(31)

2|312

n n n n +?+．

所以，n 为奇数．

又当n 为奇数时，可将1,2,3,,2n 每两个一组，分成n 个组，每组两数之和可以排成一个公差为1的等差数列：

111(),3(),,(1)2

2

n n n n n n +-++

++

++ ；

322,4(21),,(1)()2

n n n n n +++--++

．

其通项公式为

1121(1)1,22

13[12(1)][2(1)].22

k n n k n k k a n n n k n k k n ++?

-+++-≤≤??=?

++?-+-++--≤≤?? 易知93312

k n a n k +++-=

为一常数，故如下n 组数每组三个数之和均相等：

1111,,3,3,,31,,,1,31222n n n n n n n n n n +-+????

?

?++-++-?

???????

??

?

?

；

332,2,31,,1,,2122n n n n n n n ++?

???

+--++????????

．

当n 为奇数时，依次取上述数组为12,,,n A A A ，则其为满足题设的三元子集族．故n 为所有的奇数．

2．已知实系数多项式32

()x ax bx cx d ?=+++有三个正根，且(0)0?<．求证：

3

2

2970b a d abc +-≤． ①

证明：设实系数多项式32

()x ax bx cx d ?=+++的三个正根分别为1x ，2x ，3x ，由韦达定理有

123b x x x a

++=-

，122331c x x x x x x a

++=

，123d x x x a

=-

．

由(0)0?<，可得0d <，故0a >． 不等式①两边同除以3

a ，不等式①等价于

3

729b c b d a a a a ??????

-≤-+- ? ? ???????

， 3

1231223311231237()()2()9x x x x x x x x x x x x x x x ?++++≤+++， 2

2

2

2

2

2

3

3

3

1213212331321232()x x x x x x x x x x x x x x x ?+++++≤++ ②

因为1x ，2x ，3x 大于0，所以2

2

1212()()0.x x x x --≥

也就是2233

122112.x x x x x x +≤+

同理2

2

3

3

2

2

3

3

233223311331,.x x x x x x x x x x x x +≤++≤+

三个不等式相加可得不等式②，当且仅当123x x x ==时不等式等号成立．

3．求最小常数1a >，使得对正方形A B C D 内部任一点P ，都存在

,,,P A B P B C P C D P D A ????中的某两个三角形，使得它们的面积之比属于区间

1

[,]a

a -．

解：m i n 15

2a +=．首先证明m i n 15

2a +≤

，记15

2?+=．不妨设正方形边长为

2．对正方形A B C D 内部一点P ，令1S ，2S ，3S ，4S 分别表示P A B ?，P B C ?，P C D ?，P D A ?的面积，不妨设1243S S S S ≥≥≥．

令122

4

,S S S S λμ=

=

，如果,λμ?>，由

13241S S S S +=+=，得

22

1S S μ=-，得21S μμ

=

+．

故2

1211

1

1111S S λμλ??

λμ

?

μ?

==

=

>

=

=+++

+

，矛盾．

故{}m in ,λμ?≤，这表明m in a ?≤．

反过来对于任意(1,)a ?∈，取定15

(,

)2t a +∈，使得2

819

t

b t

=

>

+．我们在正方形

A B C D 内取点P ，使得12342

,,,1b b S b S S S b t

t

===

=-，则我们有

122

3

15

(,

)2

S S t a S S +=

=∈，

32

4

2,(1)

4(1)

S b b a S t b b =

>

>>--

由此我们得到对任意{},1,2,3,4i j ∈，有

1

[,]i j

S a

a S

-?．这表明m in a ?=．

4． 在凸四边形ABCD 的外部分别作正三角形ABQ ，正三角形BCR ，正三角形CDS ，正三角

形DAP ，记四边形ABCD 的对角线之和为x ，四边形PQRS 的对边中点连线之和为y ，求

y x

的最大值．（熊斌供题）

解：若四边形ABCD 是正方形时，可得y x

13

2+=．

下面证明：

y x

13

2

+≤

．

设1111,,,P Q R S 分别是边DA ，AB ，BC ，CD 的中点，SP ，PQ ，QR ，RS 的中点分别为E ，F ，G ，H ．则1111P Q R S 是平行四边形．

连接11,P E S E ，设点M ，N 分别是DP ，DS 的中点，则

11D S S N D N E M ===， 11D P P M M D E N ===，

又

113606060P D S P D S ∠=?-?-?-∠240(180)60E N D E N D

=?-?-∠=?+∠

11E N S E M P =∠=∠，

所以 1111D P S M P E N E S ?????， 从而，△11E P S 是正三角形．

同理可得，△11G Q R 也是正三角形．设U ，V 分别是11P S ，11Q R 的中点，于是有

111111332

2

E G E U U V V G P S P Q Q R ≤++=

++

11111332

2

P Q P S B D A C =+=

+

，

同理可得 132

2

F H A C B D ≤+

，

把上面两式相加，得

132y x +≤

，

即

y x

13

2

+≤

．

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 ．

Q

P

C

A

B

D

E

F

在△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,,,,n x x x 满足

7

21187)8x x x -=（及 882

1117

1,2()

k k k k k k k x x x x x k x x -+----=

≥．

求正实数a ，使得当1x a >时，有单调性12n x x x >>>> ； 当10x a <<时，不具有单调性． 解：由882

1117

1()

k k k k k k k x x x x x x x -+----=

，有

18

8

1111k k k

k k k x x x x x x +---=-

即

12888

1

1

1

1

111

7

==8

k k

k

k

k k x x x x x x x x

x

+--

-=

-

=

-

A'

Q

P

C

A

B

D

E

F

P Q

C

B

D

A

F

E

。

。F

O

P

C

A

B

D

E

于是，7

178

k k k x x x -+=

+，则当10x >时，0,2k x k >≥．

由811()8

k k k k x x x x -+-=-，则当8

108

k x --

<，即1

88k x >时，有10k k x x +-<，即

1,1k k x x k +<≥．

而17

8

8

17

718=88

8

k k k x x x -+=+≥，且当1

8=8k x 时，等号成立．

于是，取18

=8a ，则当1

8>8k x 时

12n x x x >>> ．

当1

818x <时，21x x >且23n x x x >>> ．

故所求常数1

8=8a ．

7．给定一个2008×2008的棋盘，棋盘上每个小方格的颜色均不相同．在棋盘的每一个小方

格中填入C ，G ，M ，O 这4个字母中的一个，若棋盘中每一个2×2的小棋盘中都有C ，G ，M ，O 这4个字母，则称这个棋盘为“和谐棋盘”．问有多少种不同的“和谐棋盘”？（冯祖鸣供题）

解：有2008

122

24?-种不同的“和谐棋盘”．我们首先证明下面这个结论：

在每个“和谐棋盘”中，至少出现以下情况中的某一种：（1） 每一行都是某两个字母交替出现；（2） 每一列都是某两个字母交替出现． 其实，假设某一行不是交替的，则这一行必定包含三个相邻的小方格填有不同的字母．不失一般性，假设这三个字母为C ，G ，M ，如图1所示．这很容易得到25X X O ==，并且14X X M ==和36X X C ==，如图2所示．

图1 图2 同理，我们就可以得到这三列都是两个字母交替出现．从而容易得到每一列都是某两个字母交替出现．

现在我们来计算“和谐棋盘”的个数．如果最左边一列是某两个字母（比如C 和M ）交替出现，马上可以得到序号为奇数的列都是这两个字母交替出现，且序号为偶数的列都是另外两个字母（比如G 和O ）交替出现．每一列的第一个字母可以是这一列所包含的两个字母的任意一个；容易验证任意这样的填写都可以得到“和谐棋盘”．从而我们有

2

46C =种不同的方式选择第一列的两个字母，且有2008

2

种方式决定每一列的第一个字

母．所以，我们有2008

62

?种填法使得每一列都是交替的．同样，我们也有2008

62?种

填法使得每一行都是交替的．

现在所要做的就是从中减去计算了两次的填法——行和列都是交替的．显然，四个不同字母在左上角的2×2方格中的任何排列都可以扩充到整个棋盘得到一个“和谐棋盘”，并且行和列都是交替的，其实，只要先填好前两列使得它们是交替的，再填所有的行使得它们是交替的即可；反过来，这种双交替的填法由左上角的2×2方格唯一决定．有4！=24种方式在左上角的2×2方格中排列四个不同的字母．所以我们得到24种不同的填法使得行和列都是交替的，由此可以得到上面结果．

8． 对于正整数n ，令220082

2009n n

n f +????=???

?

．求证：数列12,,f f 中有无穷多

个奇数和无穷多个偶数．（[x ]表示不超过x 的最大整数） （冯祖鸣供题） 证明：我们用二进制表示2008和2009：

12(2)2008101100.a a = 和

12(2)2009101100.b b =

首先，我们证明数列中有无穷多个偶数．反证法，假设数列中只有有限个偶数，从而存在一个正整数N ，对每个正整数n N >，n f 都是奇数．我们考虑

121,2,n N n N =+=+ 注意到，在二进制中，

1212(2)

(2)

101100101100i

i i n n

n

f b b b a a a =+ ，

这个数模2同余于i

i

n n b a +．因为i

n f 是奇数，所以{,}{0,1}i

i

n n b a =．从而

121(2)200820091011001.111m c c c -+

= ．

由此得到20082009+在二进制中是有理数，这是不可能的，因为20082009

+是无理数．这样，我们的假设是错误的，所以数列中有无穷多个偶数．

我们同样可以证明数列中有无穷多个奇数．令20092008n n n g -????=????

，显然n g 和n f 有相同的奇偶性．这样，对n N >，n g 都是偶数．注意到，在二进制中， 1212(2)

(2)

101100101100i

i i n n

n

g b b b a a a =- ，

这个数模2同余于i

i

n n b a -．因为i

n g 是奇数，所以i

i

n n b a =．从而

121(2)200920080.000m d d d --

= ．

由此得到20092008-在二进制中是有理数，这是不可能的，因为20092008

-

是无理数．这样，我们的假设是错误的，所以数列中有无穷多个奇数．