2009IMO中國(guó)國(guó)家隊(duì)選拔考試第1天20093318：00-12：30湖北武漢DABCBCCAD=CBAOE，F(xiàn)、DEGAG2n2n)：若實(shí)數(shù)序列a,a,a0 1

,...,a滿足n

0a0

a a1

...a ，n及 a i 2則有

(ai

ai

)，i1,2,...,n1，2(nia)2i

(n)n a2.ii1 i1p，滿足p|n1的正整數(shù)n的個(gè)數(shù)不超過(guò)2cp3

c

無(wú)關(guān)的常數(shù).1DABCBC邊上一點(diǎn)，滿足CADCBA．圓O兩點(diǎn)，并分AB，ADE，F(xiàn)兩點(diǎn)，BF、DEGAG的中點(diǎn)．求證：CM⊥AO．證明EFBCPGPADACL．AAEMFOGKBDPCL如下圖，在AP上取一點(diǎn)Q，滿足∠PQF＝∠AEF＝∠ADB．A、E、F、QF、、P、Q分別四點(diǎn)共圓．記⊙O知：AP2＝AQ×AP＋PQ×AP＝AF×AD＋PF×PE＝（AO2－2）＋（PO2－2． ①AAEQFGOBDP類似地，可得： A2＝（AO2－2）＋（G2－2． 由①，②得AP2－AG2＝PO2－GO2，于是由平方差原理即知PG⊥AO．如下圖，對(duì)△PFDAEBMenelaus定理，得DA FE PB AF EP BD

1． ③對(duì)△PFD及形外一點(diǎn)G應(yīng)用Ceva定理，得DK FE PB 1． ④KF EP BDDA DK③÷④即得：

． ⑤AF KFEFEFGKOBDP⑤表明A，K；F，D構(gòu)成調(diào)和點(diǎn)列，即AF×KD＝AD×FK．再代入點(diǎn)列的Euler公式知：AK×FD＝AF×KD＋AD×FK＝2AF×KD． ⑥而由B、D、F、E四點(diǎn)共圓，得∠DBA＝∠EFA．而∠CAD＝∠CBA；故∠CAF＝∠EFA，這就表明AC∥EP．由此，CP AF ． ⑦PD FD在△ACD中，對(duì)于截線LPK應(yīng)用Menelaus定理，得AL CP DK 1； ⑧LC PD KAAL將⑥，⑦代入⑧即得 2．LC最后，在△AGLM、CAGALMCGLGL⊥AOMC⊥AO．2n2，求具有下述性質(zhì)的最大常數(shù)n：若實(shí)數(shù)序列a0

,a,a1

,...,a滿足n0a0

a a1

...a ，n及 a i則有

1(a2 i

ai1

)，i1,2,...,n1，(n

ia)2i

(n)

a2.ii1 i1n

n(n1)2.4首先，令a a1 2

...an

1，得(n

)n(n1)2.4下面我們證明：對(duì)任何滿足條件的序列a0

,a,a1

,...,an

，有不等式(niaii1

)2

n(n1)2 n( a2) (*)4 ii1a a首先我們證明a 1

2... n.2 n事實(shí)上，由條件有2ia i(a a )對(duì)任意i1,2,...,n1成立.i i1 i1對(duì)于給定的正整數(shù)1ln1i1,2,...,l求和得(l1)任意l1,2,...,n1成立.

lal l

alal1對(duì)l l1下面我們證明，對(duì)于i,

j,

{1,

n}，若i

2ikjij

2jk2.jk2ik2(jk)2jk2(ik)，即(ij)k30，顯然成立.現(xiàn)在我們來(lái)證明(*).1ijnaai j

的下界.aii

aj

，即jai

iaj

0.又因?yàn)閍a 0，故(

a a)0，即aa

i a

j a2.i j

j j i

i j ij

ij i這樣，我們有：(ni1

ia)2i

ni

i2ai

2 1ij

ijaai j

i2a22

(i2j

a2

ij

a2)i1n

i(a2i

1ijn2ik2)ik

ij j

ij ii1 k1記bnik1

2ik2，由前面證明可知 bbik 1 2bb

...b.n又a2a2

...a2，由切比雪夫不等式，有：1na2bi i

21(n

na2)(i

b).ii1 i1 i1這樣(

ia)2i

1(n

a2)(i

b).ii1而

i1 i1n n

2ik2 n

i2j

ij2 n n

n2(n1)2b i22

( )i

2

ij(i)2 ii1

iki1k1 i1

1ij

ij

ij

i1

1ijn

4i1因此(n

n(n1)2 n )2 a2 ii1故(*)獲證.

4 ii1綜上所述，可知(n)的最大值為

n(n1)2.423pp|n1的正整數(shù)ncp3c是一個(gè)與p無(wú)關(guān)的常數(shù).證明顯然，符合要求的n應(yīng)滿足1np1.設(shè)這樣的n的全體是n n1 2

...n，k2k12p3k12k12.將n n(1ik1)重排成不減的數(shù)列1 ... .則顯然有i1 i 1 2 k1我們首先證明，對(duì)s1，有

k1ii1

ki

(n n)n n p. ①i1 i k 1|{1ik1:i

s}|s， ②si

至多有s個(gè).事實(shí)上，設(shè)n n s，則n1n 10(modp)，由此可知(p,n!)1，故i1 i i i1 i(ns)(ni i

s1)...(ni

1)1(mod p).ns次同余方程i(xs)(xs1)...(x1)1(mod p)的一個(gè)解. 由于p是素?cái)?shù)，由拉格朗日定理知，上述同余方程至多有s個(gè)解，故滿足n n sns個(gè)值，從而②得證.i1 i i現(xiàn)在我們證明，對(duì)任意的正整數(shù)ll(l2

1k1

l(l1)2

l1.假設(shè)結(jié)論不成立，即

l(l1)2

l，那么1 2

,...,

l(l1)2

都是1到l中的正整數(shù).而由②知，在1

,...,

l(l1)2

12至多出現(xiàn)l1到l的正整數(shù)總共至多出現(xiàn)12...l是不超過(guò)l的正整數(shù)矛盾！

l(l1)2

次，這與l(l1)2

11 2

,...,

都l(l1)12mm(m2

1k1的最大正整數(shù)，則我們有

m(m2

1k1(m1)(m2)2

1 ③k1i

m1( i(i1)1 i(i1)

... )m1(i1) (i1)(i2) i(i1)1