Xu Jiagu Lecture Notes On Mathematical Olympiad Courses Seni
Xu Jiagu Lecture Notes On Mathematical Olympiad Courses Seni
Xu Jiagu Lecture Notes On Mathematical Olympiad Courses Seni
com
by 217.174.237.134 on 09/27/15. For personal use only.
125
Solutions to Testing Questions
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
by 217.174.237.134 on 09/27/15. For personal use only.
1: We prove the general proposition that this can be done for any n-element
set, where n is an positive integer, Sn D f1; 2; : : : ; ng and integer N with
0 N 2n .
We induct on n. When n D 1, then the only subsets of S1 are ; and f1g.
If N D 1, then let any one element in S be red and the other be black. If
N D 2, then let the two elements ; and f1g be both red.
Assume that the desired coloring can be done to the subsets of set Sn D
f1; 2; : : : ; ng and integer Nn with 0 Nn 2n . We now show that there is
a desired coloring for set SnC1 D f1; 2; : : : ; n; n C 1g D Sn [ fn C 1g and
integer NnC1 with 0 NnC1 2nC1 . We consider the following cases:
(i) 0 NnC1 2n . Applying the induction hypothesis to Sn and Nn D
NnC1 ,we get a coloring of all subsets of Sn satisfying conditions (a),
(b), (c). All uncolored subsets of SnC1 contains the element n C 1,
and we color all of them blue. It is not hard to see that this coloring
of all the subsets of SnC1 satisfies conditions (a), (b), (c).
(ii) NnC1 D 2n C k with 1 k 2n . Applying the induction hypothesis
to Sn and Nn D k, we get a coloring of all subsets of Sn satisfying
conditions (a), (b), (c). All uncolored subsets of SnC1 contain the
element n C 1, and we color all of them red. It is not hard to see that
this coloring of all the subsets of SnC1 satisfies conditions (a), (b),
(c).
Thus our induction is complete.
2: We use induction on k. Let the statement in the question be Pk . For k D 1,
then it is enough to let x1 D 0; x2 D 3; y1 D 1; y2 D 2.
Assume that the propositions Pl ; 1 l k are all true (k 1). Then
consider PkC1 .
127
128 Solutions to Testing Questions
are disjoint and their union is f0; 1; 2; : : : ; 2kC2 1g. Below we prove that
2 k 2 k 2 2 k k
X X X X
xim C .2kC1 C yi /m D yim C .2kC1 C xi /m : ./
i D1 i D1 i D1 i D1
by 217.174.237.134 on 09/27/15. For personal use only.
In fact,
2 k 2 k ! m 2k
X X m X1 X
./ , C ximC yim .2 kC1 m t
/ yit
t
i D1 i D1 i D1 i D1
2k 2k m
! 2k
X X X1 m X
m m kC1 m t
D yi C xi C .2 / xit
t
i D1
m
! i D1 i D1
2k
i D1
X1 m X
, .2kC1 /m t .xit yit / D 0:
t
i D1 i D1
therefore ./ holds, and hence PkC1 is true. Thus, the inductive proof is
completed.
3: If a < 2, then jf 1 .0/j D jaj > 2, so a … M .
1
If 2 a , by definitions, f 1 .0/ D f .0/ D a; f n .0/ D .f n 1 .0//2 C
4
a; n D 2; 3; : : :. We prove by induction that jf n .0/j 2 as follows.
1 1
(i) When 0 a , it can be obtained that jf n .0/j ; n 2 N.
4 2
1 1
1
In fact, for n D 1, jf .0/j D jaj . Assume that jf n .0/j for
2 2
n D k 1 (k 2), then for n D k,
2
k k 1 2 1 1 1
jf .0/j D jf .0/j C a C D :
2 4 2
Lecture Notes on Mathematical Olympiad 129
a2 C a .f k 1
.0//2 C a D f k .0/ a D jaj:
jf k .0/j jaj.
1
Thus, we have proven that 2; M.
4
1
(iii) When a > , let an D f n .0/; n 2 N, then
4
by 217.174.237.134 on 09/27/15. For personal use only.
1
an a > ; n 2 N;
4
and anC1 D f nC1 .0/ D f .f n .0// D f .an / D an2 C a. For any
n 1,
1 2
2 1 1
anC1 an D an an C a D an Ca a ;
2 4 4
hence
n
X 1
anC1 a D anC1 a1 D .akC1 ak / n a :
4
kD1
2 a
Hence, for n large enough such that n > 1
, we have
a 4
1
anC1 n a Ca>2 a C a D 2 ) a … M:
4
1
Combining (i), (ii), (iii), we conclude that M D 2; .
4
4: We prove the conclusion by induction on n.
1
When n D 1, since 4.1 x2 / , .2x2 1/2 0,
x2
1 x1 1
C C 4x1.1 x2 /
x1 x2 x1
1
D2 C 2x1 4x1 x2 4 4x1 x2 D 4.1 x1 x2 /:
2x1
130 Solutions to Testing Questions
Assuming that the given inequality holds for n D k, i.e., for any positive
numbers x1 ; x2 ; : : : ; xkC1
1 x1 x1 x2 x1 x2 xk
C C CC 4.1 x1x2 xkC1 /;
x1 x2 x3 xkC1
then
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1 x2 x2 x3 x2 x3 xkC1
C C CC 4.1 x2 x3 xkC2 /;
x2 x3 x4 xkC2
so that for n D k C 1,
1 x1 x1 x2 x1x2 xkC1
by 217.174.237.134 on 09/27/15. For personal use only.
C C CC
x1 x2 x3 xkC2
1 1 x2 x2 x3 xkC1
D C x1 C CC
x1 x2 x3 xkC2
1 1
C 4x1 .1 x2x3 xkC2 / D 2 C 2x1 4x1 x2 xkC2
x1 2x1
4 4x1x2 xkC2 D 4.1 x1 x2 xkC2 /:
1 1
(i) When n D 1, then a1 D 2 ) 1 D , () is true.
a1 a1
(ii) Assume that () is true for n D k (k 1). Since akC1 D
a1 a2 ak C 1,
1 1 1 1 1
1 C CC D
a1 a2 akC1 a1 a2 ak akC1
akC1 a1 a2 ak 1
D D ;
a1 a2 akC1 a1 a2 akC1
2
3.kC1/ > Œ.k C 1/Š4 .
2 2
Since 3.kC1/ D 3k 32kC1 and Œ.k C 1/Š4 D .kŠ/4 .k C 1/4 , it suffices to
show that
32kC1 .k C 1/4 ; k 2 N:
by 217.174.237.134 on 09/27/15. For personal use only.
.j C 2/4
32j C3 .j C 2/4 , 32 32j C1 .j C 1/4 ;
.j C 1/4
.j C 2/2
and so it suffices to show 3 for j 2 N. This is true since
.j C 1/2
.j C 2/2
3 , 3j 2 C 6j C 3 j 2 C 4j C 4 , 2j 2 C j 1;
.j C 1/2
and the last inequality is obviously true for j 2 N. Thus, the inductive
proof is completed.
7: First we prove by induction on t that if r C s D t is odd, where r; s 2 N0 ,
then ra C sb 2 S .
When t D 1, the conclusion is obvious.
Assume that the conclusion is true when t D 2k 1 (k 1), then for
t D 2k C 1, one of r; s is 2. Say r 2. By induction assumption,
.r 2/a C sb 2 S . By taking x D .r 2/a C sb; y D z D a, then the
condition (ii) yields
ra C sb D x C y C z 2 S;
2n
X
1: Let Pn be the statement: . 1/i ai bi 0, where n D 1; 2; : : :.
i D0
Lecture Notes on Mathematical Olympiad 133
2n
X
. 1/i ai bi D a0 b0 a1 b1 C a2 b2
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
i D0
D b0.a0 C a1 / a1 .b0 C b1 C b2 / C b2 .a1 C a2 / 0;
by 217.174.237.134 on 09/27/15. For personal use only.
Assume that Pk is true. Then for PkC1 , from the conditions a2kC1 C
a2kC2 0; b2kC2 > 0; a2k C a2kC1 0; a2kC1 0, it follows that
a2kC2 a2kC1 and a2k a2kC1 0. Therefore
2kC2
X 2k
X1
. 1/i ai bi D . 1/i ai bi C a2k b2k a2kC1 b2kC1 C a2kC2 b2kC2
i D0 i D0
2k
X1
. 1/i ai bi C a2k b2k a2kC1 b2kC1 a2kC1 b2kC2
i D0
2k
X1
D . 1/i ai bi Ca2k b2k a2kC1 .b2kC1 Cb2kC2 /. (30.1)
i D0
(ii) When b2kC1 C b2kC2 < 0, a2kC1 .b2kC1 C b2kC2 / a2k .b2kC1 C
b2kC2 /, so
2kC2
X 2k
X1
. 1/i ai bi . 1/i ai bi C a2k .b2k C b2kC1 C b2kC2 /:
i D0 i D0
b2kC2 , then
2q 2q
X X
ci D bi > 0 if 0 p q k 1;
i D2p i D2p
by 217.174.237.134 on 09/27/15. For personal use only.
2q
X 2k
X1
ci D bi C b2k C b2kC1 C b2kC2 > 0 if 0 p q D k:
i D2p i D2p
Therefore c1 ; c2; : : : ; c2k satisfy the condition (iii) still, hence, from
the induction assumption,
2k
X1 2k
X
. 1/i ai bi C a2k .b2k C b2kC1 C b2kC2 / D . 1/i ai ci 0:
i D0 i D0
2kC2
X
It is clear that a0 D a1 D D a2kC2 D 0 ) . 1/i ai bi D 0. Con-
i D0
2kC2
X 2k
X
versely, if . 1/i ai bi D 0, then in either case it implies . 1/i ai bi D
i D0 i D0
2k
X
0 or . 1/i ai ci D 0. Hence, by the induction assumption, a0 D a1 D
i D0
D a2k D 0. Now a2k C a2kC1 0 and a2kC1 0 together imply that
a2kC1 D 0. a2kC2 b2kC2 D 0 and b2kC2 > 0 then imply that a2kC2 D 0,
therefore
a0 D a1 D D a2kC2 D 0
is the sufficient and necessary condition for equality to hold.
Thus, PkC1 is true and so by induction, Pk is true for all k 2 N.
xC1
D .x C 1/6 7x.x 4 C 2x 3 C 3x 2 C 2x C 1/
D .x C 1/6 72m .x 2 C x C 1/2
D f.x C 1/3 7m .x 2 C x C 1/gf.x C 1/3 C 7m .x 2 C x C 1/g:
by 217.174.237.134 on 09/27/15. For personal use only.
It remains
p to show that each factor exceeds 1. It suffices to check the smaller
one. 7x x gives
p
.x C 1/3 7m .x 2 C x C 1/ D .x C 1/3 7x.x 2 C x C 1/
x C 3x C 3x C 1 x.x 2 C x C 1/
3 2
D 2x 2 C 2x C 1 113 > 1:
1 19
3: (i) For n D 1; 2 and 3, we have a1 > > and
12 243
r r
19 10 10 7
a2 > 3 C1D ; a3 > 4 C1D ;
243 9 9 3
2
so an > n is true for n D 1; 2; 3. For n 3 we prove the proposition
n
2
by induction on n. Let Pn be the proposition: an > n .
n
s
2
Assume Pk is true (k 3), then akC1 > .k C 2/ k C 1 implies
k
s
2 2
PkC1 is true if .k C 2/ k C 1 > .k C 1/ . Since
k kC1
s
2 2 1 1 1
.k C 2/ k C 1 > .k C 1/ , > C
k kC1 2 k .k C 1/2
(ii) When a1 < 1, it follows by induction that an < n and bn < 0 for
an n anC1 .n C 1/
n 2 N. Below we prove that bn < bnC1 , i.e., < .
2n nC1
2
anC1 .n C 1/ anC1 .n C 1/2 .n C 2/an C 1 .n C 1/2
D D
nC1 .n C 1/.anC1 C n C 1/ .n C 1/.anC1 C n C 1/
.n C 2/.an n/
D ;
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
.n C 1/.anC1 C n C 1/
so
1 nC2
bn C 1 < bnC1 , >
2n .n C 1/.anC1 C n C 1/
2
by 217.174.237.134 on 09/27/15. For personal use only.
2010
Let A D 20102010 . Our goal is to show that
Now assume that k < a and the statement holds for some k < a. Starting
by 217.174.237.134 on 09/27/15. For personal use only.
from .a k; 2k ; 0/, apply Type 1 to the middle box 2k times, until it becomes
empty. Then apply Type 2 to the first box:
.a k; 2k ; 0/ ! .a k; 2k 1; 2/ ! ! .a k; 0; 2kC1 /
! .a k 1; 2kC1 ; 0/:
Hence,
.a; 0; 0/ ! .a k; 2k ; 0/ ! .a k 1; 2kC1 ; 0/:
2
2
2 22
Lemma 2. For every positive integer n, let Pn D 2 (e.g. P3 D 2 D
16). Then .a; 0; 0; 0/ ! .0; Pa ; 0; 0/ for every a 1.
Proof. Similarly to Lemma 1, we prove that .a; 0; 0; 0/ ! .a k; Pk ; 0; 0/
for every 1 k a.
For k D 1, apply Type 1 to the first box:
.a; 0; 0; 0/ ! .a 1; 2; 0; 0/ D .a 1; P1 ; 0; 0/:
Now assume that the lemma holds for some k < a. Starting from .a
k; Pk ; 0; 0/, apply Lemma 1, then apply Type 1 to the first box:
.a k; Pk ; 0; 0/ ! .a k; 0; 2Pk ; 0/ D .a k; 0; PkC1 ; 0/
! .a k 1; PkC1 ; 0; 0/:
Therefore,
2
Now we prove the statement of the problem.
138 Solutions to Testing Questions
First apply Type 1 to box 5, then apply Type 2 to boxes B4; B3 ; B2 and B1
in this order. Then apply Lemma 2 twice:
.1; 1; 1; 1; 1; 1/
! .1; 1; 1; 1; 0; 3/ ! .1; 1; 0; 3; 0; 0/ ! .1; 0; 3; 0; 0; 0/
! .0; 3; 0; 0; 0; 0/ ! .0; 0; P3 ; 0; 0; 0/ D .0; 0; 16; 0; 0; 0/
! .0; 0; 0; P16; 0; 0/:
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
To decrease the number of coins in box B4 , apply Type 2 to this stack re-
peatedly until its size decreases to A=4. (In every step, we remove a coin
from B4 and exchange the empty boxes B5 and B6 .)
Finally, apply Type 1 repeatedly to empty boxes B4 and B5 :
an D Sn Sn 1 D n2 C 3n C 4 .n 1/2 3.n 1/ 4 D 2n C 2;
Lecture Notes on Mathematical Olympiad 139
c r Ck t c r D c r .c k t 1/ D c r .c t 1/.c .k 1/t
C C 1/
which is a multiple of d , therefore the terms of the form c r Ck t are terms in
the sequence. Thus, there is a geometric progression fbn g with bn D b0 q n ,
where b0 D c r ; q D c t D c s r .
by 217.174.237.134 on 09/27/15. For personal use only.
Hence
n
n
1C 1
a1 Ca2 C C nn an
2 p 1 .p C 1/n
f .n/ D D n n ;
2n Sn p 2 .p 1/
p 1 .p C 1/nC1
f .n C 1/ D nC1 nC1 ;
p 2 .p 1/
pC1 p 1 .p C 1/nC1
f .n/ D nC1 nC1 ;
2p p 2 .p p/
pC1
* p > 1; ) f .n C 1/ < f .n/; for n 2 N:
2p
pC1
(ii) The given inequality is clear for n D 1 since f .1/ D . For
2p
n 2, from (i),
n 1 n
pC1 p C1 pC1
f .n/ < f .n 1/ < < f .1/ D :
2p 2p 2p
2n
" #
X1 2n
X1
p C1 k
pC1
pC1
2n 1
Thus, f .k/ D 1 ,
2p p 1 2p
kD1 kD1
where the equality holds if and only if n D 1.
Lecture Notes on Mathematical Olympiad 141
p 1 2.p C 1/n 1
D n k
p 2 .p 1/.p 2n k 1/
s
p 1 2.p C 1/n 1
D /:
p 2n .p 2n p k p 2n k C 1
by 217.174.237.134 on 09/27/15. For personal use only.
Since p k C p 2n k
2p n ) p 2n pk p 2n k
C 1 p 2n 2p n C 1 D
.p n 1/2 ,
p 1 2.p C 1/n
f .k/ C f .2n k/ D 2f .n/;
p 2n .p n 1/
where the equality holds if and only if k D n. Thus,
2n
X1 2n 1 2n
X1
1 X
f .k/ D Œf .k/ C f .2n k/ f .n/ D .2n 1/f .n/:
2
kD1 kD1 kD1
1
2: (i) When n D 1, a1 D 5S1 C 1 D 5a1 C 1 ) a1 D .
4
For n 1,
anC1 1
anC1 an D 5SnC1 C 1 5Sn 1 D 5anC1 ) D ;
an 4
1 1
therefore fan g is a G.P. with a1 D and common ratio r D . Thus,
4 4
1 4 C . 1/n 41n 5
an D . 1/n ; bn D D4C :
4n 1 C . 1/nC1 41n . 4/n 1
For n D 2m; m 2 N,
For n D 2m 1; m 2 N,
5 20 25 16n
cn D b2n b2n 1 D C D
16n 1 16n C 4 .16n 1/.16n C 4/
25 16n 25
< D n:
.16n /2 16
13 13 4 3
Since b1 D 3; b2 D ) c 1 D b2 b1 D 3D , so T1 < .
3 3 3 2
For n 2,
1
4 1 1 1 4 25 162
Tn < C 25 2
C 3
C C n
< C 1
3 16 16 16 3 1 16
69 3
D < :
48 2
x i .mod pi /
x C1 xC2 xCk
; ; :::; :
N N N
This sequence is obviously an arithmetic sequence of positive rational num-
bers of length k. For each i D 1; 2; : : : ; k, the numerator x C i is divisible
Lecture Notes on Mathematical Olympiad 143
xCi ai
D ; gcd.ai ; bi / D 1 for all i D 1; 2; : : : ; k;
N bi
and all bi ’s are distinct from each other. Moreover, x > N 2 implies
xCi N2 N
ai D > >N > D bj for all i; j D 1; 2; : : : ; k
by 217.174.237.134 on 09/27/15. For personal use only.
pi pi pj
and hence all ai ’s are distinct from bi ’s. It only remains to show that all
ai ’s are distinct from each other. This follows from
xCj xCi x Ci
aj D > > D ai for all i < j
pj pj pi
by our choice of p1 ; p2 ; : : : ; pk . Thus, the arithmetic sequence
a1 a2 ak
; ;:::;
b1 b2 bk
of positive rational numbers satisfies the conditions of the problem. 2
a C hd D 2b C 3c :
by 217.174.237.134 on 09/27/15. For personal use only.
then 2k1 ; 2k2 ; : : : ; 2k7 are seven terms of 14 terms in an A.P. with common
difference d . However,
k7 l1 5 1
13d 2 2 2 2k2 > 13.2k2 2k1 / 13d;
2
p b2 1
1: Let bn D 1 C 4an ; n 1, then an D n , and so
4
2
bnC1 1 b2 1
D1C n 2
C bn ) bnC1 D .bn C 2/2
4 4 p
) bnC1 D bn C 2 ) bn D 5 C 2.n 1/:
Therefore
bn2 11 p
an D Œ5 C 4 5.n 1/ C 4.n 1/2 1
D
4p 4 p
D 1 C 5.n 1/ C .n 1/2 D 1 C .n 1/.n C 5 1/:
yields
.1 b/an D b.an an 1/ C 3 4n 1
; namely an D ban 1 C 3 4n 1
:
an an 1 3
(i) If b D 4, then n
D n 1
C , so that
4 4 4
an a1 3
n
D C .n 1/ ) an D .3n C 1/4n 1
; n 1:
4 4 4
146 Solutions to Testing Questions
b 4 b 4
12 3
Since a1 D 4, so an D 4 C bn 1 4n for n 1.
b 4 b 4
Thus,
by 217.174.237.134 on 09/27/15. For personal use only.
8̂
n 1
< .3n C 1/ 4 ; b D 4;
an D 12 3
:̂ 4 C bn 1
4n b ¤ 4:
b 4 b 4
3n C 1
(ii) When b D 4, then cn D ! 1 as n ! 1, so b ¤ 4.
4
4.b 1/ b n 3
When b ¤ 4, then cn D . if b > 4, then cn ! C1
b.b 4/ 4 b 4
as n ! C1. So 0 < b < 4.
4.b 1/ 3
(i) When 0 < b < 1, > 0; > 0, so cn is decreasing
b.b 4/ b 4
and positive. Further, c1 D 1, so b 2 .0; 1/ satisfies the condition.
(ii) b D 1 ) cn D 1, so b D 1 is allowed.
4.b 1/ 3
(iii) When 1 < b < 4, then < 0; > 0, so cn is increas-
b.b 4/ b 4
3
ing. Since c1 D 1, so cn > 0. lim cn D 2,1<b
n!C1 b 4
5
.
2
5
Thus, the allowed range for b is 0; .
2
1
3: The given recursive formula gives anC1 D 1 C n an . By induction it is
2
easy to see that an 1 and anC1 > an for all n 2 N.
Lecture Notes on Mathematical Olympiad 147
an 1
Since anC1 an D n , therefore for n 3,
2n 2
n 1 n 1
X X 1 1
an D a1 C .akC1 ak / > 1 C D2 :
2k 2n 1
kD1 kD1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1 3
On the other hand, Since anC1 D 1 C n an an (the equality holds
2 2
only when n D 1), so for n 3
n 1
1 1 1 1 3
an D 1 C 1C 1C 2 1C a1 < :
2n 1 2n 2 2 2 2
by 217.174.237.134 on 09/27/15. For personal use only.
1 an 1
5: Since anC2 D 1 D1 D , it follows that
anC1 an 1 an 1
1
anC3 D 1 D 1 C .an 1/ D an ;
anC2
1
so fan g is a periodic sequence with a period 3. Since a1 D 2; a2 D ; a3 D
2
1, so P3 D 1 and
anC1
. Thus,
an C a1n
anC1 an a2 2
D D D D D 1;
an C a1n an 1 C 1
an 1 a1 C 1
a1 1 C 1
1
1
hence anC1 D an C ; n 1.
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
an
1 1
(ii) a1 D 1 and anC1 D an C an imply an 1 and 0 < 1; n 1.
an2
For n 2,
2
by 217.174.237.134 on 09/27/15. For personal use only.
1 1
an2 D an 1 C D an2 1 C C2
an 1 an2 1
since 632 D 3969 < 4015 and 782 D 6084 > 6022. Thus, 63 < a2008 <
78.
7: (i) We use induction. The given recursive formula gives anC1 C 1 D
an .an C 1/.
For n D 1, a1 D 3 ) a1 3 .mod 4/.
Assume that an 3 .mod 4/ (n 1), i.e., an D 4k C 3 for some k 2 Z.
Then
˛ D ˇ D 2;
Lecture Notes on Mathematical Olympiad 149
kD1
) T D .n 1/2nC1 C 2:
n
X
GD 2k 1 D 2n 1;
kD1
) Sn D T G D .n 1/2nC1 C 2 2n C 1 D .2n 3/ 2n C 3:
2.2 C an 1/ 1 an 1
1: an C 2 D and an 1D lead to
1 C an 1 1 C an 1
an C 2 an 1 C2
D . 2/ ; n 2:
an 1 an 1 1
By repeatedly applying the recursive relation, it follows that
an C 2 1 a1
C2 . 2/n C 2
D . 2/n D . 2/n ) an D
an 1 a1 1 . 2/n 1
. 2/n C 2
for n 2. Since a1 D 0 satisfies it also, an D ; n 1.
. 2/n 1
4an 1 1 1 1
2: (i) anC1 D ) D C ) bnC1 D bn , where
2an C 1 anC1 2 4an 4
1 2 11 2 1
bn D ; n 1. Thus, b1 D D and fbn g is a G.P. with
an 3 12 3 4
1
initial and common ratio both being . Therefore
4
1 1 2 1 3 4n
bn D n ) D C n ) an D :
4 an 3 4 2 4n C 3
150 Solutions to Testing Questions
X 3 3 3
a1 C a2 C C an x
2 C x .2 C x/2 4k
kD1 !
n
3n 3 X 3
D nx :
2 C x .2 C x/2 4k
kD1
n 3 1
1X 3 4
.1 4n
/ 1 1
Taking x D D 1
D 1 , we have
n 4k n.1 4
/ n 4n
kD1
3n 3n2 3n2
a1 C a2 C C an 1 1
D 1
> :
2 C n .1 4n
/ 2n C 1 4n
2n C 1
1 C 2006xnC1 xn D .xnC1 xn /2 ; n D 1; 2; : : : :
1 C 2006xkC2 xkC1
D 1 C 2006xkC1.2008xkC1 xk /
D 20072xkC1
2 2
by 217.174.237.134 on 09/27/15. For personal use only.
xkC1 2006xkC1 xk C 1
2 2 2
D 2007 xkC1 5012xkC1xk C 2006xkC1xk C 1 xkC1
2 2 2 2
D 2007 xkC1 5012xkC1xk C .xkC1 xk / xkC1
D 20072xkC1
2
5014xkC11xk C xk2
D .2007xkC1 xk /2 D .xkC2 xkC1 /2
an D 2 C a0 a1 ak an 1 ) m j 2:
Since ak ; an are both odd, so m is odd, therefore m D 1.
(ii) Since a0 a1 an 2 D an 1 2, so an 2 D .an 1 2/an 1 , therefore
Thus,
2 n n
an 1 D .an 1 1/2 D .an 2 1/2 D D .a0 1/2 D 22 ;
n 2007
namely an D 22 C 1: Hence a2007 D 22 C 1.
152 Solutions to Testing Questions
k 1 1
1: Since D for any natural number k, therefore
.k C 1/Š kŠ .k C 1/Š
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1 1 1 1 1
sn D .1 /C. / CC. /
2Š 2Š 3Š nŠ .n C 1/Š
1
D 1 ;
.n C 1/Š
by 217.174.237.134 on 09/27/15. For personal use only.
therefore
1
1 s2001 2002Š
D 1
D 2003:
1 s2002 2003Š
2: For n 2,
r r
3 C an 3 C an 1 an an 1
anC1 an D D q q ;
2 2
2 3Can
2
C 3Ca2n 1
so a2 a1 ; a3
a2 ; : : : ; anC1 an have a same sign, i.e. fan g is monotone.
q
7
Since a1 D 4 ) a2 D 2
< a1 , so fan g is a decreasing sequence,
therefore
3 5
Sn < 4 D :
2 2
3: (1) The two roots of the given equation are x1 D 3k; x2 D 2k , therefore
n n n
X X X 3n.n C 1/
S2n D .3k C 2k / D 3 kC 2k D C 2.2n 1/:
2
kD1 kD1 kD1
1 1 1 5
(2) a1 D 3; a2 D 2; a3 D 6; a4 D 4 ) T1 D ; T2 D C D .
6 6 24 24
Lecture Notes on Mathematical Olympiad 153
When n 3,
1 1 1 . 1/f .nC1/
Tn D C 2
CC
6 6 2 a5 a6 6 a2n 1 a2n
1 1 1 1
C CC
6 24 a5a6 a2n 1 a2n
1 1 1 1 1 1 1
C C CC n 2 >
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
6 24 24 2 4 2 6
and
5 1 1 . 1/f .nC1/
Tn D CC
24 32 23 a
7 a8 a2n 1 a2n
5 1 1 1 1
C CC n
by 217.174.237.134 on 09/27/15. For personal use only.
24 9 23 9 24 2
5 1 1 1 5
< C 3 D :
24 9 23 9 2 24
1 5
Thus, Tn ; n 2 N.
6 24
n
X
4: Let Sn D a1 C a2 C a3 C C an for n D 1; 2; 3; . For any n 1, ai C2 D
i D1
n
X
.ai C1 ai / D anC1 a1 , therefore SnC2 D anC1 C a2 . For n D 1999,
i D1
we have
S2001 D a2000 C 1001:
For finding the value of a2000 , we note that anC2 D anC1 an D .an
an 1 / an D an 1 for all n 1, i.e. an D an 3 D an 6 for all
n D 7; 8; 9; , therefore
and hence
S2001 D 1001 C 1001 D 2002:
Since an 1
C an 2
C C 1 is odd, so 8 j a, the conclusion is proven.
154 Solutions to Testing Questions
1 1 1 1
6: Sn D an C D Sn Sn 1 C
2 an 2 Sn Sn 1
p
) Sn2 D Sn2 1 C 1. Since S1 D a1 D 1, so Sn2 D n; Sn D n; n 2 N.
Since
p p p p p
nC n 1<2 n< nC1C n
1 1 1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
)p p < p < p p
nC1C n 2 n nC n 1
p p 1 p p
) nC1 n< p < n n 1
2 n
100 100
p 1X 1 X p p 1
) 101 1 < < . n n 1/ C
2 Sk 2
by 217.174.237.134 on 09/27/15. For personal use only.
a1 C C an D 14 and a1 C C an .25/n 1
D 3134;
f .x/ D 7 C 9x C 5x 3
n
!
1 X1
D 1 > 0;
.n C 1/.n C 2/ k
kD1
f .n C 1/
nC1
! nC1
! nC1
!
X nC1Ck k
X nCk
k
X nCk
k
D 2 D1C 2 C 2
k k 1 k
kD0 ! kD1 ! kD1
n
1 X nCi C1 i 2n C 1
D 2 C 2 n 1 C f .n/
2 i nC1
i D0
1
D f .n C 1/ C f .n/;
2
that is, f .n C 1/ D 2f .n/ D 2nC1 .
10 The sequence fan gn1 is
21; 90; 11; 1; 12; 13; 25; 38; 63; 1; 64; 65; 29; 94; 23; 17; 40;
1; 4; 1; 1; 0; 1; 1; 4; 1; 1; 0; 1; 1; 4; 1; 1; 0; :
2 n
X 1 n
1: Such a sequence does not exist. It suffices to show that > .
ai 4
i D2
0 kC1 1 0 kC1 1
2X 2X
1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
ai kC1
2X kC1
2X 4
i D2k C1
ai ai
i D2k C1 i D1
Hence 0 kC1 1
2n n
X1 2X
X 1 1 n
D @ A> :
ai ai 4
i D2 kkD0 i D2 C1
2: The left hand of the given equation is an integer, with the right hand side
n
must be as well. Let x D and n D 44m C r , where n; m; r 2 Z and
44
0 r 43. Then the given equation becomes
9 j 9 9
X r k X X kr
k mC D 44m C r , km C D 44m C r
44 44
kD1 kD1 kD1
9
X kr
,mDr :
44
kD1
Hence
43 X
9 43 X
9
45 43 X kr 1935 X kr
SD D :
2 44 2 44
r D0 kD1 r D0 kD1
43 X
9 43 X
9 9 X43
X kr X X kr kr
Let T D D D . Then 2T D
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
44 44 44
r D0 kD1 r D1 kD1 kD1 r D1
9 X 43 X 9 X43
X kr k.44 r / kr kr
C D C k .
r D1
44 44 r D1
44 44
kD1 kD1
Since
by 217.174.237.134 on 09/27/15. For personal use only.
8̂
kr
kr
kr
< k; if is an integer;
C k D 44
44 44 :̂ k kr
1; if is not an integer,
44
kr
and 1 k 9; 1 r 43, so is an integer only when .k; r / are one of
44
.4; 11/; .8; 11/; .2; 22/; .4; 22/; .6; 22/; .8; 22/; .4; 33/; .8; 33/:
Therefore
9 X
X 43 9
X
2T 8D .k 1/ D 43.k 1/ D 43 36 D 1548;
kD1 r D1 kD1
aCb 3 aCb
C < M.a; b/ < C 2;
2 2 2
aCbC3 aCbC4 aCbC3
i.e., < M.a; b/ < , so K.a; b/ D .
2 2 2
158 Solutions to Testing Questions
3 p
(ii) Since k C 1 D bk C c D b k 2 C 3k C 3c,
2
b
X b p
X
.k C 1/ D b k 2 C 3k C 3c
kDa kDa
b
1 X aCb aCbC2
N.a; b/ D .k C 1/ D C1D :
b aC1 2 2
kDa
4: Necessity: Suppose that there exists fxn g satisfying the conditions (i), (ii)
and (iii). Note that the equality in (iii) can be changed to the form
by 217.174.237.134 on 09/27/15. For personal use only.
2008
X
xn xn 1 D ak .xnCk xnCk 1 /; n 2 N;
kD1
b D a1 .b x1 / C a2 .b x2 / C C a2008 .b x2008 /
2008
X 2008
X
D b ak .a1 x1 C a2 x2 C C a2008 x2008 / < b ak ;
kD1 kD1
2008
X
therefore ak > 1.
kD1
2008
X
Sufficiency: Suppose that ak > 1. Define the polynomial f by
kD1
2008
X
f .s/ D 1 C ak s k ; s 2 Œ0; 1;
kD1
2008
X
then f is increasing on Œ0; 1, and f .0/ D 1 < 0; f .1/ D 1C ak >
kD1
0. Hence f has a unique root s0 on .0; 1/, i.e., f .s0 / D 0 with 0 < s0 < 1.
Lecture Notes on Mathematical Olympiad 159
n
X
Define the sequence fxn g by xn D s0k for n D 1; 2; : : :. Then fxn g
kD1
satisfies the condition (i), and
n
X s0 s0nC1
xn D s0k D :
1 s0
kD1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
s0
Since 0 < s0 < 1, so lim s0nC1 D 0 and hence lim xn D , namely
n!1 1 s0
n!1
2008
X
fxn g satisfies the condition (2). Finally, since f .s0/ D 0 ) ak s0k D 1,
kD1
by 217.174.237.134 on 09/27/15. For personal use only.
2008
! 2008
X X
xn xn 1 D s0n D ak s0k s0n D ak s0nCk
kD1 kD1
2008
X
D ak .xnCk xnCk 1 /:
kD1
43 4C6
Therefore M4 D f20; 21; ; 30g ) jM4 j D 11 D , so the
6
conclusion is proven for n D 4.
160 Solutions to Testing Questions
Assume that the conclusion is true for n 1 (n 5), then for the n, since
we can get an element Xn any element Xn 1 by taking xn D n, and for
n
X1
such Xn , f .Xn / D n2 C kxk . By the inductive assumption, f .Xn / can
kD1
take on the value of any integer in the interval
.n 1/n.n C 1/ 2 .n 1/n.2n 1/
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
n2 C ;n C
6 6
n.n2 C 6n 1/ n.n C 1/.2n C 1/
D ; :
6 6
n 1 n
X1
Pn X n.n 1/
kD1 kxk D nC kxk D n C k.xk 1/ C
2
kD1 kD1
n
X1
n.n C 1/
D C k.xk 1/:
2
kD1
The inductive assumption then indicates that such f .Xn / takes all integral
values of the interval
n.n C 1/ .n 1/n.n C 1/ n.n C 1/ .n 1/n.2n 1/
C ; C
2 6 2 6
n.n C 1/.n C 2/ 2n.n2 C 2/
D ; :
6 6
˛ ˛ ˛
1: The conclusion is obvious for n D 1. For n 2, let n D p1 1 p2 2 pk k ,
where ˛1 ; ˛2; : : : ; ˛k are non-negative integers. Since
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
and
k
1 1 1 1 n
'.n/ D n 1 1 1 n 1 D ;
by 217.174.237.134 on 09/27/15. For personal use only.
p1 p2 pk 2 2k
n
) '.n/ .n/ 2k D n:
2k
On the other hand, 20052005 < .104 /2005 D 108020 implies that 20052005
has at most 8020 digits, therefore Q.20052005 / 9 8020 D 72180, i.e.,
Q.20052005 / has at most 5 digits, so Q.Q.20052005 // 9 5 D 45. Then
f .x/ D 1 identically.
n n n
a1 1p C a2 2p C C an mp a1 C 2a2 C C an m 0 .mod p/;
n n n
hence all the numbers a1 1p C a2 2p C C an mp are composite.
n
hence pi j 1 C pi . Thus,
ˇ
ˇ n n n
p1 p2 pk ˇ
ˇ C CC C1 ;
p1 p2 pk
namely ˇ
ˇ 1 1 1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
n ˇˇn C CC ;
p1 p2 p1 p2 pk
1 1 1
therefore C CC is an integer.
p1 p2 p1 p2 pk
7: From Fermat’s Little Theorem,
by 217.174.237.134 on 09/27/15. For personal use only.
6 j .p 1/ ) 63 D .26 1/ j .2p 1
1/ ) 7 j .2p 2/ ) 7 j .m 1/:
Thus, 127 D .27 1/ j .2m 1 1/. Now it suffices to show that .127; m/ D
1. It’s enough to show that 127 − m since 127 is a prime number.
Since p > 7, write p D 7s C n, where 0 < n < 7; s 1. Then
If 127 j m, then 127 j .2n 1/ which contradicts 0 < 2n 1 < 127, hence
.127; m/ D 1.
10k 1
18 C 19i D or 10k D 163 C 171i:
9
k 1 2 3 4 5 6
Remainder 10 5 12 6 3 11
164 Solutions to Testing Questions
4y 2008 C 2007 3 .mod 4/ implies that y 2008 C 2007 must have prime
factor with form 4k C 3, but the lemma shows that .x 1005 /2 C 1 has no
such prime factor, a contradiction. Thus, the given equation has no required
solution.
Lecture Notes on Mathematical Olympiad 165
1: First of all, for prime number p and integer n with p − n, Fermat’s Little
Theorem yields
np 1 1 .mod p/: (30.2)
103
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
X
If p > 103, then (30.2) holds for each n 103, so np 1
103.
nD1
However it is impossible to have 103 0 (mod p) for some p > 103.
Therefore p 103, and so there exist positive integer q and non-negative
integer r < p such that 103 D pq C r . Thus, in the numbers from 1 to 103,
by 217.174.237.134 on 09/27/15. For personal use only.
103
X
Since np 1
0, so
nD1
b xy 1 b xy 1 by 1 by 1
D y D .1 C b y C C b y.x 1/
/ :
b 1 b 1 b 1 b 1
166 Solutions to Testing Questions
b xy 1
Since D p l and x > 1; y > 1, so each factor of the right hand
b 1
side is a power of p. Thus, p j .b y 1/, namely b y 1 .mod p/ )
1 C b y C C b y.x 1/ x .mod p/. Thus, p j x.
Since x is an arbitrary factor of n, so the above analysis implies that n D p m
(m 2 N). Thus,
m m 2
bp bp bp 1 bp 1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1 1
D m 1
;
b 1 bp 1 bp 1 b 1
where each factor is a power p and greater than 1, therefore p j .b p 1/,
namely b p 1 (mod p).
On the other hand, Fermat’s Little Theorem gives b p b (mod p), so
by 217.174.237.134 on 09/27/15. For personal use only.
b 1 (mod p) or p j .b 1/.
ˇ p
ˇb 1
Since p ˇˇ ; , so p 2 j .b p 1/, namely b p 1 (mod p 2 ).
b 1
Suppose that m 2. Consider
2
bp 1
D 1Cb p C Cb p.p 1/
: ./
bp 1
The right hand side of () has remainder p (mod p 2 ), and it must be greater
than p, so the power of p must be divisible by p 2 , a contradiction. Thus,
m D 1 and n D p.
3: We prove the conclusion by induction on k. For k D 1, n D 1 satisfies the
requirement.
Assume that the conclusion is true for k D t (t 1). Then for k D t C 1,
since there exists positive integer n0 such that nn00 m .mod 2t /, n0 must
be odd. If nn00 m .mod 2t C1 /, then n0 satisfies the requirement for
k D t C 1.
When nn00 6 m .mod 2t C1 /, since nn00 D m C s 2t , so s must be odd,
n
i.e., s D 2l C 1, hence n00 m C 2t .mod 2t C1 /. Below we show that
t
n D n0 C 2 satisfies the requirement for k D t C 1.
Since n is odd, so .n; 2t C1 / D 1 and since '.2t C1 / D 2t , by Euler’s the-
t t t
orem, n2 1 .mod 2t C1 /, therefore nn nn0 C2 nn0 n2 nn0
.mod 2t C1 /. By the Binomial expansion,
n0
!
t n0
X n0 i t n0 i n n
nn0
D .n0 C 2 / D 2 n0 n00 C 2t n00 .mod 2t C1 /
i
i D0
n n
m C 2t C 2t n00 m C 2t .n00 C 1/ m .mod 2t C1 /:
Thus, the conclusion is true also for k D t C 1.
Lecture Notes on Mathematical Olympiad 167
4: Since 2009 D 223 9 C 2, so the desired number has at least 224 digits.
Write it as x D c223 c222 c1 c0 . It is obvious that c223 2.
If c223 D 2, then c222 D c221 D D c1 D c0 D 9. Note that 2009 D
49 41, so
x D 3„
99ƒ‚
: : :…
98„
99ƒ‚ 9 D 4 10223
: : :… 10i 1:
222 i i
If c223 D 4, then among c222 ; c221; : : : ; c1; c0 two are 8 and the rest are 9,
or one is 7 and rest are 9. Thus
i 49 .mod 210/:
Thus, the unique solution for i is i D 49, and the corresponding value of x
is
4998 „ 99ƒ‚: : :…
98„
99ƒ‚
: : :…
9:
170 49
168 Solutions to Testing Questions
many primes p. This can happen only if f .n/ D n for all values of n, and
it can be verified that this is a solution.
If S is empty, then f .p/ D 1 for all primes p, and any function satisfying
this condition is a solution.
by 217.174.237.134 on 09/27/15. For personal use only.
Now suppose that S is finite and non-empty. Let q be the largest prime in
S . Suppose that q 3. Then for any prime p exceeding q,
However, this is not true. Let Q be the product of all the odd primes up to
q. Then all the prime factors of Q C 2 must exceed q. Let p be any prime
factor of Q C 2, then f .p/ D 1, so p f .p/q .mod f .q// ) p 1
.mod q/, so Q C 2 1 .mod q/. However this contradicts Q C 2 2
.mod q/.
The only remaining case is that S D f2g. Then f .2/ D 2 and f .p/ D 1 for
every odd prime p. Since f .n/2 n .mod 2/, f .n/ and n must have the
same parity. Conversely, any function f for which f .n/ n .mod 2/ for
all n, f .2/ D 2 and f .p/ D 1 for all odd primes p satisfies the condition.
Therefore the only solutions are (i) f .n/ D n for all n 2 N; (ii) any
function f with f .p/ D 1 for all primes p; (iii) any function for which
f .2/ D 2; f .p/ D 1 for primes p exceeding 2 and f .n/ and n have the
same parity.
(iii) x 2 D n7 C 7 yields
x 2 C 112 D n7 C 128
D .n C 2/.n6 2n5 C 4n4 8n3 C 16n2 32n C 64/ (30.4)
x 2 112 ) x p 1
11p 1
1 .mod p/;
a contradiction.
(30.4) yields .n C 2/ j x 2 C 112 . But n C 2 3 .mod 4/ implies
that x 2 C 112 has at least one prime factor with remainder 3 modulo
by 217.174.237.134 on 09/27/15. For personal use only.
4, a contradiction.
If x is a multiple of 11, let x D 11y, then (30.4) becomes
has positive solutions, and for any such solution, each of its prime factor is
relatively prime to N , so it must be greater than k. By taking each number
of a reduced residue system modulo m as r to get the corresponding solu-
tion x, the group of '.m/ solutions form a required reduced residue system
modulo m.
nC1 n 1 nC1 n n 1 C1 n n 1 C1 n
Fn2 1 D .22 C 1/2 D .22 C 22 C 1/2 .22 /2
n n 1 C1 n 1 C1
D .22 /2 . 1/2 1 .mod Fn /:
nC1 nC2
Therefore Fn2 1 C 1 0 .mod q/, and it yields Fn2 1 1 .mod q/. By
by 217.174.237.134 on 09/27/15. For personal use only.
7: Assume that p q.
When p D 2, then q D 2 satisfies the condition, .2; 2/ is a solution. If
q > 2, then q is odd and satisfies q j .1 C 2q 2 /, so
2q 2
1 .mod q/:
2p 1
C 1 0 (mod q) ) 2p 1
1 (mod q) ) 22.p 1/
1 (mod q):
8: We prove by contradiction.
Solution 1. Suppose that there is a positive integer n > 1 such that n j
2n 1, then n is odd. Let
k D ordp 2, then
n j 2n 1 ) p j .2n 1/ ) 2n 1 (mod p);
k
[
Now define the set B D Bpi and the sum S of elements of B given by
i D1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
k
X
SD Spi . Then (30.7) yields
i D1
˛
S 1 .mod pi i / for 1 i k and S 0 .mod n/;
by 217.174.237.134 on 09/27/15. For personal use only.
A C B C C D .2 3 52 17/m C 1277:
2550
X p4 1
Hence pk k 1277 C .2550 4/ 1273 .mod 2550/.
kD2
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
integer.
Proof of Lemma: We use induction on t. When t D 0, the definition of v
gives ud D 1 C p v k (where p − k). The Binomial expansion yields
!
m
umd D .1 C p v k/m D 1 C p v km C p 2v k 2 C
2
!
m
D 1 C p v .km C p v k 2 C / D 1 C p v k1 ;
2
(30.12)
an
(i.e., b p > nn , namely p an > n logb n). Thus, (30.9), (30.11), (30.12)
implies that us 1 > nŠ and hence ur .us 1/ > nŠ for big n. Thus, the
equation (30.8) has no solution for n big enough. On the other hand, for
each given n, the equation (30.8) has only finitely many solutions, so the
conclusion is proven.
4: As is known by us (for example, see Example 5), let p be a prime factor of
Fn , then p D 2nC1 x C 1, where x is a positive integer. Let
Fn D p1˛1 p2˛2 ps˛s ; (30.13)
then pi D 2nC1 xi C 1; i D 1; 2; : : : ; s. By (30.13) and the binomial expan-
sion,
n
22 C 1 .2nC1 C 1/.˛1 CC˛s / > 2.nC1/.˛1 CC˛s / C 1;
hence
s
X 2n
˛i < : (30.14)
nC1
i D1
s
X s
X
which implies that 2nC1 ˛i xi 0 .mod 22nC2 /, namely ˛i xi 0
i D1 i D1
s
X
.mod 2nC1 /, hence ˛i xi 2nC1 . Thus, there must be some xj such
i D1
that
s
X
˛i 2nC1 :
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
xj (30.15)
i D1
s
X
Combining (30.13), (30.14), (30.15), it is obtained that 2nC1 xj ˛i <
i D1
2n
by 217.174.237.134 on 09/27/15. For personal use only.
as desired.
5: Let p be a prime number, a a positive integer, and Vp .a/ denotes the compo-
nent of p in the prime factorization of a, i.e., p ˛ ka ) Vp .a/ D ˛.
Lemma: Let p be a given odd prime number, u > 1 be an integer with
t
p − u. Let d D ordp u and p v k.ud 1/. Then p t Cv k.udmp 1/, where
m is a positive integer with.p; m/ D 1 and t is an arbitrary non-negative
integer.
Proof of Lemma: We use induction on t. Whent D 0, the definition of v
gives ud D 1 C p v k (where p − k). The binomial expansion yields
!
v 2v 2 m
umd D .1 C p v k/m D 1 C p km C p k C
2
!
v v 2 m
D 1 C p .km C p k C / D 1 C p v k1 ;
2
Now we return to the original problem. Suppose b > 1. Write the given
equation in the form
ab 1 D b.1 C b C C b n 1
/ ) b j ab 1:
p p C1 0 .mod q/ ) q j .p p 1
pp 2
C pC1/; p 2p 1 .mod q/:
0 pp 1
pp 2
C p C 1 1 or p .mod q/;
0 p p C q q C 1 2 .mod p/;
by 217.174.237.134 on 09/27/15. For personal use only.
which also leads to a contradiction. Thus, the only solutions are .2; 5/ and
.5; 2/.
2: Without loss of generality we assume that a b c. Then
abc D 2009.a C b C c/
is finite.
On the other hand, for any given pair .a; b/, c.ab 2009/ D 2009.a C b/
implies that c is determined uniquely by .a; b/. Thus, the number of c is
finite, so the number of .a; b; c/ with a b c which satisfies the given
equation is finite. Thus, the conclusion is proven.
3: Let the pair fx; yg satisfy the equation
Thus, the solutions are f1; 4g; f7; 4g; f 1; 4g; f 7; 4g.
Lecture Notes on Mathematical Olympiad 179
Therefore m n.
If m > 2, then Œ.m 2/Š.m 1/mŒ1 C .m C 1/ n D mn . Since
.m 1; m/ D 1, so there is no factor .m 1/ in mn , hence there is no
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
nŠ D 1 2 3 n > 2 2 2 2 D 2n ;
by 217.174.237.134 on 09/27/15. For personal use only.
1
z p
3
< 5:
34 3
we obtain a contradiction.
Thus, the solutions are .2; 1/; .6; 3/; .6; 9/; .1; 1/; .1; 2/.
p 4p 5
Q. Let x D with p; q 2 N; .p; q/ D 1, then 5 D m2 C 7 2 N implies
q q
that q D 1 and hence x 2 N. 4x 5 D m2 C 7 7 implies x 2.
(i) x D 2 yields 4x 5 7 D 112 and 4x 13 7 D 1812, so x D 2
is a solution.
(ii) When x 3, then
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
7 4 2
49 8
< .4x 9 /2 13
7 4x C x D 4x 9
x : (30.16)
4 2
Below we verify
by 217.174.237.134 on 09/27/15. For personal use only.
2
2 5 13 7 4
.mn/ D .4x 7/.4x 7/ > 4x 9 x 1 ;
2
49 8
i.e., 8x 9 x 28x 5 7x 4 C 48 > 0. In fact,
4
49 8
8x 9 x 28x 5 7x 4 C 48 > 24x 8 13x 8 28x 5 7x 4 C 48
4
99x 6 28x 5 7x 4 C 48 > 0:
2 2
7 4 7 4
hence 4x 9 x 1 < .mn/ < 4x 9
2
x , i.e.,
2 2
7 4 7 4
4x 9 x 1 < mn < 4x 9 x :
2 2
Hence x must be odd so that it is possible to solve mn D 4x 9
7 4 1
x . By substituting it into (30.16), it is obtained that
2 2
7 4 1 2
9
4x x D .4x 13 7/.4x 5 7/;
2 2
namely 4x 9 49 4
x 8 28x 5 72 x 4 C 49 14 D 0. When multiplying
both sides by 4 and then taking modulo 16, we have
ax1 x2 1 b y1 y2 1
ax2 D b y2 : (30.17)
a 1 b 1
!
nl 1
Since n; D 1 for any positive integer n > 1; l 2 N, (30.17)
n 1
implies x2Vp .a/ D y2 Vp .b/, hence x2 D y2 . It is then easy to see that
ax2 1 b x2 1
D )aDb
a 1 b 1
which contradicts a > b. Thus, a and b must be relatively prime.
By the induction assumption, for any nonnegative integer i , there exist pos-
itive integers a1 ; a2 ; : : : ; ak 1 satisfying
1 :
It follows that (i) a is odd and b is even or (ii) a is even and b is odd.
Case (i): Let b D 2c. Then 3a D .n 7c /.n C 7c /. It cannot be the case
that 3 divides both n 7c and n C 7c . However each of these is a power of
3. It follows that n 7c D 1, and therefore 3a D 2 7c C 1. If c D 0, then
a D 1, and we obtain the solution a D 1; b D 0.
So suppose that c 1. Then 3a 1 .mod 7/. This is impossible, since
ord7 3 D 6, the value of a such that 3a 1 .mod 7/ must be a multiple of
6, so must be even, contradicting the fact that a is odd.
Case (ii): Let a D 2c. Then 7b D .n 3c /.n C 3c /. Thus each of n 3c
and n C 3c is a power of 7. But 7 cannot divide both of these, so it follows
that n 3c D 1, and therefore 7b D 2 3c C 1. If c D 1, then b D 1, and
we obtain the solution a D 2; b D 1.
Now we assume that c > 1. Then 7b 1 .mod 9/. Since ord9 7 D 3, the
integer b must be a multiple of 3. Let b D 3d , then .73 /d D 2 3c C 1.
Since 73 1 .mod 19/, so 2 3c 0 .mod 19/, a contradiction.
Thus, the solutions are .1; 0/ and .2; 1/.
Lecture Notes on Mathematical Olympiad 185
Let .d; y1 / D e; d D ed0; y1 D ey2 . The last equality implies that d j y12 ,
so ed0 j e 2 y22 ) d0 j ey22 . Since .d0 ; y2 / D 1, so d0 j e. Let e D kd0 .
Then
by 217.174.237.134 on 09/27/15. For personal use only.
d D x0 D 1 ) x D 1 ) y 3 D 8 C 2y y 2 ) y D 2:
If dy2 D 2x02 , then 8x03 D ˙16, but this has no integer solution for
x0 .
When jx0 j 2, then .dy2 /3 D 8x06 ˙ 8x03 16 > 8x06 12x04 C
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
a contradiction.
Finally, If x D 0 then y 3 D y 2 ) y D 0 or 1, so .0; 0/ and .0; 1/ are
solutions. If y D 0, then 8x 6 D 0 implies x D 0 only. Thus, the solutions
for .x; y/ are
.0; 0/; .0; 1/; .1; 2/:
x 2 D .y C 1/2 y 2 D 2y C 1;
;z x D ; z D .z C x; z/ D .x; z/ D 1:
2 2
z x
When is odd, then
2
z x zCx
z C x; D ; z D .z C x; z/ D .x; z/ D 1:
by 217.174.237.134 on 09/27/15. For personal use only.
2 2
zCx
Thus, when y 2 D .z x/ and .z C x/=2 is odd, we have n; m 2 N
2
where m is odd with .n; m/ D 1, such that
zCx
z x D 4n2 and D m2 :
2
Therefore x D m2 2n2 and z D m2 C 2n2.
z x
When y 2 D .z C x/ and .z x/=2 is odd, we have n; m 2 N
2
where m is odd with .n; m/ D 1, such that
z x
z C x D 4n2 and D m2 :
2
Therefore x D 2n2 m2 and z D m2 C 2n2 . Thus, x D jm2 2n2 j; z D
m2 C 2n2.
3: Suppose that x0; y0 ; z0 is a positive integer solution of the equation x 4 C
y 4 D z 4 . Then x0; y0 ; z02 is a positive integer solution of the equation
x 4 C y 4 D z 2 , which contradicts the fact that the equation x 4 C y 4 D z 2
has no positive integer solution (cf. Example 1).
4: Take t 2 N odd and t n. Let a D 2n 1 t n ; b D .2t 1/n a, then
1 n 1 n 1
b D .2t/n .1 / > .2t/n 1 0;
2t 2 2t 2
For the pair .a; b/, the primitive Pythagorean triple a2 b 2 ; 2ab; a2 C b 2
has the sum
a2 b 2 C 2ab C a2 C b 2 D 2a.a C b/ D .2t/n .2t 1/n D Œ2t.2t 1/n
which is an nth power of 2t.2t 1/.
5: Answer (A). Let the two legs of the right triangle be a and b, and the hy-
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
potenuse be c. Then
a D k.p 2 q 2 /; b D 2kpq; c D k.p 2 C q 2 /;
where k; p; q 2 N with .p; q/ D 1 and p; q are one odd and one even.
Since ab D 6.a C b C c/,
by 217.174.237.134 on 09/27/15. For personal use only.
1: Squaring the first equation and then subtracting four times the second, we
obtain
x 2 6xy C y 2 D .z u/2 ;
from which we obtain
by 217.174.237.134 on 09/27/15. For personal use only.
2
x x z u 2
6 C1 D : ./
y y y
p
The quadratic ! 2 6!pC 1 takes the value 0 for ! D 3 ˙ 2 2, and is
positive for ! > 3 C 2 2. Because x=y 1 and the right side of ./ p is
a square, the left side of ./ is positive, so we must have
p x=y > 3 C 2 2.
We now show thatpx=y can be made as close to 3 C 2 2 as we like, so the
desired m is 3 C 2 2. We prove this by showing that the term ..z u/=y/2
in ./ can be made as small as we like.
To this end, we first find a way to generate solutions of the system. If p is
a prime divisor of z and u, then p is a divisor of both x and y. Thus we
may assume, without loss of generality, that z and u are relatively prime.
If we square both sides of the first equation and subtract twice the second
equation, it is obtained that
.x y/2 D z 2 C u2 :
x D a2 C ab and y D ab b2:
bk D m2 , D m2 ) < m
2 2
.k C 1/.k C 2/
) bkC1 D D m2 C k C 1 < .m C 1/2 ;
2
therefore bkC1 is not a perfect square. If we interchange ak and akC1 , then
bkC1 is not a perfect square and bk D m2 C 1 is not also. By continuing
by 217.174.237.134 on 09/27/15. For personal use only.
3: Note that for each prime p, the Pell’s equation x 2 py 2 D 1 has infinitely
many positive integer solutions .x; y/. Therefore for any prime p, there
exist infinitely many positive integers s; t with s > 3 such that
s2 1 D pt 2 :
a contradiction.
If z D s 1 D t, then
its minimum positive integer solution be .x0 ; y0 /, then the Pell’s equation
x2 ABy 2 D 1 (30.20)
has positive integer solutions. If its minimum solution is .a0 ; b0 /, then
.a0 ; b0/ satisfies the equations
a0 D Ax02 C By02 ; b0 D 2x0y0 :
Now
As 2 Bt 2 D A.a0 x0 Bb0 y0 /2 B.a0 y0 Ab0 x0 /2
D .a02 ABb02 /.Ax02 By02 / D 1:
Note that
s>0
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
, a0 x0 > Bb0 y0 , a02 x02 > B 2 b02 y02 , a02 x02 > Bb02 .Ax02 1/
, .a02 ABb02 /x02 > Bb02 , x02 > Bb02 ;
ax 2 by 2 D 1 (30.23)
by 2 ax 2 D 1 (30.24)
pC1 p 1
;s D . However
2 2
.p 1/2 p2 C 1 .8k C 3/2 C 1
r2 D x D .x p/ C p D Cp D D
2 2 2
5 .mod 8/;
by 217.174.237.134 on 09/27/15. For personal use only.
r D 2mn: (30.28)
2t 2 s 2 D 1: (30.29)
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
Thus,
tnC2 D 6tnC1 tn : (30.32)
By induction, it is easy to find that for the sequence ftn g and k 2 N,
sn C tn
Let dn D . Then dnC2 D 6dnC1 dn with d1 D 1; d2 D 6. Solving
2
the recurrence relation yields
1 p p
dn D p Œ.3 C 2 2/n .3 2 2/n :
4 2
Below we prove that starting from the second term, all the terms of the
sequence fdn g are not perfect squares. For this we construct the sequence
of integers fcn g defined by
1 p p
cn D Œ.3 C 2 2/n C .3 2 2/n :
2
Lecture Notes on Mathematical Olympiad 195
Then cn2 8dn2 D 1. To prove our claim, it remains to show that the equation
x 2 8y 4 D 1 has no other positive integer solutions besides x D 3; y D 1.
We need to prove the following lemma first:
Lemma. The equation x 4 2y 2 D 1 has no other positive integer solu-
tion besides .x; y/ D .1; 1/.
Proof of Lemma. The given equation is equivalent to y 4 D x 4 C.y 2 1/2 .
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
From the result of Example 2, the only positive integer solution is .1; 1/.
Now we return to the original problem.
Note that x 2 8y 4 D 1 , x 2 1 D 8y 4 , .x C 1/.x 1/ D 8y 4 .
Since .x C 1; x 1/ D 2, let y D 2r uv, where .u; v/ D 1 and 2 − uv. The
x 1 xC1
D 2.2r uv/4 yields
by 217.174.237.134 on 09/27/15. For personal use only.
equality
2 2
8̂ 8̂
xC1 xC1
< D 24r C1v 4 ; < D u4 ;
2 or 2
:̂ x 1 D u4 ; :̂ x 1 D 24r C1v 4 :
2 2
Thus,
1 D 24r C1v 4 u4 (30.33)
or
1 D u4 24r C1v 4 : (30.34)
(30.33) is also u4 24r C1v 4 D 1. From above Lemma, its only solution
is u D v D 1; r D 0, so x D 3; y D 1.
(30.34) is also .u2 /2 2.2r v/4 D 1. Let u2 D ˛; 2r v D ˇ, (30.34) then
becomes
˛2 2ˇ 4 D 1: (30.35)
Below we show that (30.35) has no integer solution. Otherwise, ˛ must
be odd. Let ˛ D 2l C 1, then 2l.l C 1/ D ˇ 4 . Let ˇ D 1 2 , where
.1 ; 2 / D 1.
If l is odd, then .2.l C1/; l / D 1, so l D 41 ; 2.l C1/ D 42 . Let 2 D 2t 3 ,
then 41 C 1 D 24t 1 43 , therefore
41 C .1 24t 2 4 2
3 / D .22t 1 2 4
3 / :
42 C .22w 1 2 4
4 / D .1 C 24w 2 4 2
4 / :
196 Solutions to Testing Questions
j 1 2 3 4 5 6 7 8
r j 2 .mod 17/ 1 4 8 1 8 2 2 4
Thus, ˙1; ˙2; ˙4; ˙8 are the quadratic residues modulo 17, and ˙3; ˙5,
˙6; ˙7 are the quadratic non-residues modulo 17.
(iv) For modulo 19,
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
j 1 2 3 4 5 6 7 8 9
r j 2 .mod 19/ 1 4 9 3 6 2 8 7 5
2: Suppose that there are finitely many primes of form 4k C 1. Denote them by
p1 ; p2 ; : : : ; pm.
Consider the number p D .2p1 p2 pm /2 C 1. Note that p cannot have
any pi as a prime factor and p 1 .mod 4/, so p is not a prime. Let p0 be
a prime factor of p, then p0 is odd and 1 is a quadratic residue modulo p0 ,
so p0 1 .mod 4/. However, p0 is different from each of p1 ; p2; : : : ; pm ,
a contradiction.
Thus, there must be infinitely many primes of form 4k C 1.
p 1
3: When 1 is a quadratic residue modulo p, then, by Euler’s Criterion, . 1/ 2 D
1, so p 2 1 D 2k for some k 2 N, hence p D 4k C 1.
p 1
Conversely, if p D 4k C 1 where k 2 N, then . 1/ 2 D . 1/2k D 1, so
by Euler’s Criterion again, 1 is a quadratic residue modulo p.
4: (i) . 2/33 .26 /5 8 . 3/5 8 1944 1 .mod 67/, therefore it
has two solutions;
(ii) 233 . 2/33 1 .mod 67/, no solution;
18
(iii) . 2/ .2 / 23 . 5/3 8
5 3
1000 1 .mod 37/, no
solution;
(iv) Since 218 D . 2/18 1 .mod 37/, no solution;
(v) Since 221 D 13 17, and . 1/6 1 .mod 13/; . 1/8 1 .mod 17/,
so there are 2 2 D 4 solutions;
(vi) Since 427 D 761, and . 1/3 1 .mod 7/; . 1/30 1 .mod 61/,
no solution.
p 1 2
2 2
5: As shown in the Theorem I, 1 ; 2 ; ; are the non-zero quadratic
2
residues modulo p, and 1 is also a quadratic residue modulo p.
198 Solutions to Testing Questions
p p p 1 k2
When k > , then p k < , i.e. p k 2
, and D
2 2 p
.p k/2
, so
p
p 1
p
X1 2
k2 X k2
D2 :
p p
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
kD1 kD1
b 1 b
Since D , so b is a quadratic residue modulo p if and
p p p
only if b (and therefore p b) (is a quadratic residue. )Therefore with
p 1 2
respect to modulo p, the set S D 12 ; 22; : : : ; is a set of the
by 217.174.237.134 on 09/27/15. For personal use only.
2
p 1
form fa1 ; p a1; a2 ; p a2 ; : : : ; a p 1 ; p a p 1 g, where 1 ai .
4 4 2
p 1 ai
For any two integers ai and p ai with 1 ai , since C
2 p
p ai ai p ai
D 1, so C D 1. Therefore
p p p
p 1
2 2
X k p 1 p 1
2 D2 D :
p 4 2
kD1
p 3
p 2, k equations of y 2 f .x/ have solutions. In conclusion,
2
p 3
on x D 2; 3; : : : ; p 2, among the p 3 equations y 2 f .x/,
2
of them have solutions. Since an equation if has one solutions, then it has
exactly two solutions, so there are a total of 2 p 2 3 D p 3 solutions. Since
the equation has one solution on x D 0; 1 and p 1, so it has a total of p
solutions.
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
a 1 a a
For prime p with p 1 .mod 4/, since D D ,
p p p p
2 2
so y f .x/ and y f . x/ both have two solutions or both have no
solutions. If k of the equations y 2 f .x/ have two solutions each on
p C1 p C3
x D 2; 3; : : : ; p 2 1 , then k of the equations on x D
by 217.174.237.134 on 09/27/15. For personal use only.
; ; ;p
2 2
2 have two solutions each. Hence, on x D 2; 3; : : : ; p 2 the equation
y 2 f .x/ .mod p/ has a total of 4k solutions. Since the equation has
one solution on each of x D 0; 1; p 1, so y 2 f .x/ .mod p/ has a total
of 4k C 3 solutions, i.e., any p D 4k C 1 does not satisfy the requirement.
Thus, p D 2 or all primes p with p 3 .mod 4/ satisfy the requirement.
d d
Proof of Lemma 2 Since D for 1 d p 1, there are
p p
pC1
quadratic residue modulo p (including 0). The sets A D f0; 12; 22; : : :,
2
.p 1/2 g and B D f02 1; 12 1; : : : ; .p 1/2 1g each contains pC1 2
distinct values modulo p, so by the pigeonhole principle, there must be at
least one common value of A and B, namely there exist x02 2 A; y02 1 2
B such that
x02 y02 1 .mod p/ or equivalently; x02 C y02 C 1 0 .mod p/:
Now we return to the original problem.
By Lemma 2, take x0 ; y0 2 N such that x02 C y02 1 .mod p/. By
Lemma 1, x0 y0 6 0 .mod p/. Therefore
Œ.ix0 /2 C .iy0 /2 2 i 4 .mod p/; i D 0; 1; 2; : : : ; p 1:
pC1
Let qi i 2 .mod p/, then there are distinct such qi . Lemma 1
2
indicates that there are no i; j 2 f1; 2; : : : ; p 1g such that qi C qj 0
pC1
.mod p/, so fq02 ; q12 ; : : : ; qp2 1 g takes values modulo p.
2
p C1
In summary, the number of different residues mod p is .
2
p 1
2: Based on Theorem I in this lecture for any odd prime p there are 1 C 2
D
pC1
2
distinct quadratic residues modulo p.
If there is integer x such that x 2 C ax C b 0 .mod 167/, then there is a
pair .x; y/ of integers which satisfies the given equation. Since
x 2 C ax C b 0 .mod 167/ , 4x 2 C 4ax C 4b 0 .mod 167/
, .2x C a/2 a2 4b .mod 167/;
Lecture Notes on Mathematical Olympiad 201
so for fixed a, b can take on any value such that a2 4b is a quadratic residue
modulo 167. Since the number of allowed distinct values for a2 4b modulo
167 C 1
167 is D 84, so each a corresponds to 84 choices for b modulo
2
167. Since 2004=167 D 12, so to a given a there are 84 12 choices for b.
Since there are 2004 choices for a, the number of the pairs .a; b/ is
2004 84 12 D 2020032:
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
p 1 p 1
3: Since .q 2 C 1; q 2 1/ D 2 for any odd number q, if there exist an
integer x and a prime number p satisfying px 2 D q p 1 1, then there
exist integers y; z which satisfy one of the following systems.
by 217.174.237.134 on 09/27/15. For personal use only.
p 1 p 1
(i) q 2 1 D 2py 2 and q 2 C 1 D 2z 2 ;
p 1 p 1
(ii) q 2 1 D 2y 2 and q 2 C 1 D 2pz 2 .
p 1
(a) Let q D 7. Since
7 2 1 D 2y 2 ) 2y 2 6 .mod 7/ ) y 2 3
3 7 1
.mod 7/, but 3 2 1 .mod 7/, we arrive at a contradiction.
7
Hence (ii) is not satisfied.
p 1
For system (i), 6 j .7 2 1/ D 2py 2 ) 3 j py 2 . If p D 3, then
2
7 1
D 42 , so p D 3 satisfies the requirement. If p ¤ 3, then 3 j
3 ˇ
2 p 1 ˇp 1
y ) 9 j .7 2 1/ ) 3 ˇˇ . Let k D .p 1/=6, then 2z 2 D
2
73k C 1 D .7k C 1/.72k 7k C 1/. Since gcdf.7k C 1/=2; 72k 7k C 1g D
gcdf7k C 1; 72k 7k C 1g D 1, so 72k 7k C 1 is a perfect square. However
p 1 p 1 p 1
Now 11 2 1 D 2y 2 ) .11 4 1/.11 4 C 1/ D 2y 2 , and it implies
p 1 p 1
2 2
11 4 C 1 D u or 11 4 C 1 D 2u for some u. However
p 1
11 4 C 1 D u2 ) ..u 1/; .u C 1// 11;
p 1
11 4 C 1 D 2u2 ) 2u2 1 .mod 11/ ) u2 6 .mod 11/;
11p 1
1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
(1) If 6m j Œ.2m C 3/n C 1, then () and () hold at the same time.
() implies that m 1 .mod 3/ and n is odd. If m is even, since n
is odd, then 3n C 1 0 .mod 4/ and 3n C 1 4 .mod 8/. There-
fore 22 k.3n C 1/. () implies that 22k2m, so 2km. Since m 1
.mod 3/, so m D 6k0 C 4 for some k0 2 N, and 12k0 C 8 D 2m j
.3n C 1/.
The Lemma indicates that all odd prime factors of 3n C 1 are of the
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
(2)
8 j .3n C 1/. However 3n C 1 4 .mod 8/, so m must be odd, thus
m is of form 3k C 1. From 2m j .3n C 1/ and .2m/n 2n 2
.mod 3/,
p 1 $ % p 1
n
2
X k2 1 1 X2
n
Below we show that C D k2 .
p 2 p
kD1 kD1
$ n % $ % $ n%
2 2n
k 1 2k k2 p 1
It is easy to see that C D ;1 k .
p 2 p p 2
$ n
%
2n 2k 2
For each k 2 f1; 2; : : : ; .p 1/=2g, write 2k D p C rk ; rk 2
p
204 Solutions to Testing Questions
Thus, we have proven that frk g is the set of distinct quadratic residues
2
modulo p.
n
Similarly, the remainders rk0 of k 2 modulo p for k D 1; 2; : : : ; p 2 1 also
p 1 p 1
2
X 2
X
form a system of quadratic residues modulo p, therefore rk D rk0 .
kD1 kD1
Thus,
p 1 $ % p 1 $ % p 1 $ %
2 n 2 n 2 n
X k2 1 X 2k 2 X k2
C D
p 2 p p
kD1 kD1 kD1
p 1 p 1 p 1
2 2 2
1 X n 1 X 2n 1 X n
D .2k 2 rk / .k rk0 / D k2 :
p p p
kD1 kD1 kD1
p p
xC y
1: Changing the inequality to the form p k, the problem becomes
p 2x C y
p
xC y
to find the maximum value of p when x; y > 0.
2x C y
By the Cauchy-Schwartz inequality,
p p 1 p p 2 1
. x C y/2 D p 2x C 1 y C 1 .2x C y/;
2 2
Lecture Notes on Mathematical Olympiad 205
p p r p p p
xC y 3 6 6 6 1
namely p D , so k . If k < , x D ;y D 1
2x C y 2 2 2 2 4
then gives
p
p p 3 6 p p
xC y D D 2x C y > k 2x C y;
2 2
"p !
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
6
so the range of k is ; C1 .
2
1 2
4 ab 4 bc 4 ca 1 1
C C A C C :
a b c a b c
1 1 1 k2
Let k D C C , then A . The Cauchy-Schwartz inequality
a b c 4k 3
1 1 1 1 1 1
gives .a C b C c/ C C 9, so k D C C 3. Hence
a b c a b c
k2 .4k 3/ D .k 3/.k 1/ 0 ) k 2 4k 3 ) A 1:
206 Solutions to Testing Questions
1 1 1
Since B D C C , so the Cauchy-Schwartz
a.4
ab/ b.4 bc/ c.4 ca/
1 2
4 ab 4 bc 4 ca 1 1
inequality gives C C B C C D
a b c a b c
k2
k 2 . Hence B 1.
4k 3
Thus, A C 3B 4.
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
a bc 2bc 2bc
4: Note that 1 D D , and similarly,
a C bc 1 b c C bc .1 b/.1 c/
b ca 2ca c ab 2ab
1 D ;1 D , so the orig-
b C ca .1 c/.1 a/ c C ab .1 a/.1 b/
by 217.174.237.134 on 09/27/15. For personal use only.
1 1 1
namely ab C bc C ca 9abc, or C C 9. By the Cauchy-Schwartz
a b c
inequality,
1 1 1 1 1 1
C C D .a C b C c/ C C 9:
a b c a b c
n n
X xi .2xi xi C1 xi C2 / X 2xi2
5: Note that 0, xi 0
xi C1 C xi C2 xi C1 C xi C2
i D1 i D1
n n
X xi2 1 X
, xi ; where xnC1 D x1 ; xnC2 D x2 : ./
xi C1 C xi C2 2
i D1 i D1
n n n
!2
X xi2 X X
.xi C1 C xi C2 / xi :
xi C1 C xi C2
i D1 i D1 i D1
n
X
When both sides are divided by 2 xi , then () is obtained.
i D1
Lecture Notes on Mathematical Olympiad 207
X 1 X 1
D Pn
ai .ai C n 2/ ai j D1; .1 aj /
i D1 i D1 j ¤i
n n n X
n
X 1 X 1 1 X 1
D :
.n 1/2 ai .1 aj / .n 1/2 ai .1 aj /
i D1 j D1; j D1 iD1;
j ¤i i¤j
by 217.174.237.134 on 09/27/15. For personal use only.
n n
X 1 1 X 1
Qn ;
ai .ai C n 2/ .n 1/2 kD1; ak
i D1 j D1 k¤j
and hence
Yn
ak
n kD1; n n Pn
1 j D1 aj 1
X k¤i
Y X
D ak D .
ai C n 2 ai .ai C n 2/ .n 1/2 .n 1/2
i D1 kD1 i D1
1 1 1
7: By the AM-GM inequality, B C C , and
b c a
A .a C b C c/
a4 C b 4 C c 4 a2 b 2 b 2 c 2 c 2a2
D
.a C b/.b C c/.c C a/
1
D Œ.a2 b 2 /2 C .b 2 c 2 /2 C .c 2 a2 /2 0:
2.a C b/.b C c/.c C a/
208 Solutions to Testing Questions
1
Let a2 C b 2 C c 2 D x, then x .a C b C c/2 D 3, hence
3
x2 3
, 2x 2 9 C 3x , 2x 2 3x 90
3Cx 2
, .2x C 3/.x 3/ 0;
which obviously holds since x 3. Thus, the original inequality is proven.
9: We may assume that x > y > z. denote x D z C a C b; y D z C b, where
a; b > 0. Then
1 1 1
.xy C yz C zx/ C C
.x y/2 .y z/2 .z x/2
1 1 1
D Œ.z C a C b/.z C b/ C z.2z C 2b C a/ 2 C 2 C
a b .a C b/2
1 1 1
.a C b/b 2 C 2 C ; (30.36)
a b .a C b/2
where the equality holds if and only if z D 0. It suffices to show that
1 1 1
.a C b/b 2 C 2 C 4: (30.37)
a b .a C b/2
p
1C 5
which is obvious. Further, the equality holds if and only if D .
2
In summary, we have proven the original
p
inequality, and the equality holds
if and only if fx; y; zg D f0; t; 1C2 5 tg, where t > 0.
10: The AM-GM inequality implies x 2 C y 2 C z 2 xy C yz C zx, so
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1 2 1
.x C y C z/2 3.xy C yz C zx/ ) C .xy C yz C zx/ :
9 27 3
x3 y3 z3 1
Hence it suffices to show C C .
y3 C 8 z3 C 8 x3 C 8 3
Since .x 3 C y 3 C z 3/2 3.x 3 y 3 C y 3 z 3 C z 3 x 3 /, by the Cauchy-Schwartz
by 217.174.237.134 on 09/27/15. For personal use only.
x3 y3 z3
C 3 C 3
y3 C8 z C8 x C8
.x 3 C y 3 C z 3 /2
3 3
x y C y 3 z 3 C z 3 x 3 C 8.x 3 C y 3 C z 3 /
.x 3 C y 3 C z 3 /2
1
3
.x 3 C y 3 C z 3 /2 C 8.x 3 C y 3 C z 3 /
x3 C y3 C z3
D 1 3 :
3
.x C y 3 C z 3 / C 8
x3 C y3 C z3 1
Since 1
, x 3 C y 3 C z 3 3, by the Cauchy-
3
.x 3 3
Cy Cz /C8 3 3
Schwartz inequality, .x C y C z/.x 3 C y 3 C z 3 / .x 2 C y 2 C z 2 /2 and
.1 C 1 C 1/.x 2 C y 2 C z 2 / .x C y C z/2 , so
2
.x C y C z/2
.x C y C z/.x 3 C y 3 C z 3 / .x 2 C y 2 C z 2 /2 D 9;
3
) x 3 C y 3 C z 3 3;
as desired.
210 Solutions to Testing Questions
X
1: From Schur’s inequality with r D 2, x 2 .x y/.x z/ 0, it follows
that
X X X
x4 x 3 .y C z/ xyz x;
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
X 2 X
x2 x.y 3 C z 3 / C x 2 .y 2 C z 2 yz/ ;
X 2 X X
x2 x.y 2 C z 2 yz/ x: ./
1 1 1
Let x D ; y D ; z D and substitute them into (), we obtain
a b c
by 217.174.237.134 on 09/27/15. For personal use only.
X 2 X X
1 1 1 1 1 1
2
2
C 2
:
a a b c bc a
Applying the Cauchy-Schwartz inequality yields
X b2c2 X b 2 bc C c 2 X 1 2
;
a3 .b 2 bc C c 2 / ab 2 c 2 a2
X b2c2 X1
) 3 2 2
:
a .b bc C c / a
X X
1 X
It suffices to show that ab 3 a D 3. For this we
a
have
X X X
1 X 1 X 2
ab 3 a D ab abc a
a abc
1
D Œ.ab bc/2 C .bc ca/2 C .ca ab/2 0:
2abc
2: By the Cauchy-Schwartz inequality and the AM-GM inequality,
5
y 2 .2x C z/2 y 2 .x 2 C z 2 /.22 C 12 / D 5y 2 .1 y2/ ;
4
p
5
i.e., j2xy C yzj , so max 2.
2
p p p
10 2 10
On the other hand, letting x D ;y D ;z D , then
5 2 10
ˇ ˇ p
ˇ 1 ˇˇ 5
ˇp C p
ˇ 5 2 5 ˇ 2 ) j2 C 1j 5 ) 2:
Hence max D 2.
Lecture Notes on Mathematical Olympiad 211
3: There are a few ways to prove this inequality. Here, we introduce a method
similar to that used to prove Schur’s inequality.
We first note that
x 2 C yz x2 x.y C z/ C yz x.y C z/
p D p Cp
2x 2.y C z/ 2
2x .y C z/ 2x 2 .y C z/
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
r
.x y/.x z/ yCz
D p C
2
2x .y C z/ 2
p p
.x y/.x z/ yC z
p C : (30.39)
2x 2 .y C z/ 2
by 217.174.237.134 on 09/27/15. For personal use only.
Similarly, we have
p p
y 2 C zx .y z/.y x/ zC x
p p C ; (30.40)
2
2y .z C x/ 2y 2 .z C x/ 2
p p
z 2 C xy .z x/.z y/ xC y
p p C : (30.41)
2z 2 .x C y/ 2z 2 .x C y/ 2
.y z/.x y/ .y z/.x y/
p p
2z 2 .x C y/ 2y 2 .z C x/
!
1 1
D .y z/.x y/ p p .
2z 2 .x C y/ 2y 2 .z C x/
The last quantity is non-negative due to the fact that
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
y 2 .z C x/ D y 2 z C y 2 x yz 2 C z 2 x D z 2 .x C y/:
.x 2 C y 2 C z 2 /2 D 3.x 2 C y 2 C z 2 / .x C y C z/2 ;
x 2 C y 2 C z 2 x C y C z: ./
hence
p p p
x 1Cy CzCy 1CzCx Cz 1Cx Cy p
x C y C z:
xCyCz
Using () again, the original inequality is obtained at once.
5: Let p; q; r be the three positive roots of '.x/. By Viete’s Theorem,
b c d
D p C q C r; D pq C qr C rp; D pqr:
a a a
Since '.0/ < 0 , d < 0, so a > 0. Label
as desired.
a2 .b C c a/ C b 2 .c C a b/ C c 2 .a C b c/
ba.b C c a/ C cb.c C a b/ C ac.a C b c/;
a2 .b C c a/ C b 2 .c C a b/ C c 2 .a C b c/
ca.b C c a/ C ab.c C a b/ C bc.a C b c/:
Chebyshev’s inequality,
X c X X
.ac C bc C c/ 3 c
ac C bc C c
a;b;c X X a;b;c X a;b;c
X
,3 c .ac C bc C c/ , c ab:
by 217.174.237.134 on 09/27/15. For personal use only.
1
.x kC1 C y kC1 C z kC1 / X X
kC1
x C2 xk
x;y;z x;y;z
Lecture Notes on Mathematical Olympiad 215
5: Write BC D a; CA D b; AB D c; QR D p; RP D q; PQ D r . Let
1 1
AR D x; BP D y; CQ D z and s D .a C b C c/ D L. Then
2 2
xDs a; yDs b; zDs c:
by 217.174.237.134 on 09/27/15. For personal use only.
1 1 1
We can assume that a b c, so . By Cheby-
s a s b s c
shev’s inequality and the AM-GM inequality,
a b c 1 1 1 1
C C .a C b C c/ C C
s a s b s c 3 s a s b s c
1
aCbCc .a C b C c/s 3
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1
D 1
Œ.s a/.s b/.s c/ 3 Œs.s a/.s b/.s c/ 3
2 32
1 L
D2 3 : (30.49)
T
p
2 2 1 L2 2 L2
by 217.174.237.134 on 09/27/15. For personal use only.
p q
xi yi 1 xi 1 y
1
1
C i ; i D 1; 2; ; n:
Ap Bq p A q B
Therefore
n n p n q
X xi yi 1 X xi 1 X yi 1 1
1
1
C D C D 1:
Ap Bq p A q B p q
i D1 i D1 i D1
Lecture Notes on Mathematical Olympiad 217
Thus
n n
! p1 n
! 1q
X 1 1 X X
xi yi A B
p q D xip yiq :
i D1 i D1 i D1
3 C 2.x C y C z/
D
3 3
.1 C x C y/2 C .1 C y C z/2 C .1 C x C z/2
;
3
where the equality holds if and only if 1 C x C y D 1 C y C z D 1 C x C z,
by 217.174.237.134 on 09/27/15. For personal use only.
1 1
1: (1) When a1 a2 Ca2 a3 C Can a1 , since a1 ; a2 ; : : : ; an and 2 ,
n a1 C a1
1 1
;:::; 2 have reverse orders, so by the rearrangement in-
a22
C a2 an C an
equality and Cauchy-Schwartz inequality,
n n n
X ai X ai X 1
2
2
D
ai C1 C ai C1 a C ai 1 C ai
i D1 i D1 i i D1
.1 C 1 C C 1/2 n2
D :
.1 C a1 / C .1 C a2 / C C .1 C an / nC1
218 Solutions to Testing Questions
Thus,
n n
X X ai n
.ai ai C1 / :
i D1 i D1
ai2C1 C ai C1 nC1
n
X 1
(2) When ai ai C1 < , by the rearrangement inequality and Cauchy-
n
i D1
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
Schwartz inequality,
n n
X X aj X aj
ai ai C1 D ai ai C1 2
i D1
a2
j D1 j C1
C aj C1 1i;j n
aj C1 C aj C1
!
1 X aj ai
D ai ai C1 2 C aj aj C1 2
by 217.174.237.134 on 09/27/15. For personal use only.
2 aj C1 C aj C1 ai C1 C ai C1
1i;j n !
1 X ai C1 aj C1
D ai aj C 2
2
1i;j n
aj2C1 C aj C1 ai C1 C ai C1
!
1 X aj C1 ai C1
ai aj C 2
2
1i;j n
aj2C1 C aj C1 ai C1 C ai C1
1 X 1 1 X 1
D ai aj C D ai aj
2 aj C1 C 1 ai C1 C 1 ai C1 C 1
1i;j n 1i;j n
n Pn 2
X ai . i D1 ai / 1
D Pn D Pn
ai C1 C 1 i D1 ai .a i C1 C 1/ i D1 a i ai C1 C 1
i D1
1 n
> 1 D :
n
C1 nC1
X 3 1
, 0
2.ab C bc C ca/ a.a C b C c/ C 3bc
a;b;c
X .a b/.a c/ X .a b/.a c/
, D 0;
a.a C b C c/ C 3bc 3.a C bc/
a;b;c a;b;c
X 1 9
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
so .
a C bc 2.ab C bc C ca/
a;b;c
On the other hand, from the AM-GM inequality,
p p
1 bCc 2.b C c/
p Dp p p :
a.a C c/.a C b/
by 217.174.237.134 on 09/27/15. For personal use only.
2
a 2.a C bc/ 2
2a .ab C ac/.a C bc/
r
X bCc 1 9
Hence it suffices to show .
2a .a C c/.a C b/ 4.ab C bc C ca/
a;b;c
Since r r r
bCc aCc aCb
2a 2b 2c
and
1 1 1
;
.a C c/.a C b/ .b C c/.a C b/ .a C c/.c C b/
by Chebyshev’s inequality,
r r
X bCc 1 1 X bCc X 1
2a .a C c/.a C b/ 3 2a .a C c/.a C b/
a;b;c r a;b;c a;b;c
2 X bCc
D :
.a C b/.b C c/.c C a/ 2a
a;b;c
r
X b Cc 9.a C b/.b C c/.c C a/
Therefore it suffices to show that .
2a 8.ab C bc C ca/
a;b;c
r
6 .a C b/.b C c/.c C a/
Let t D 1 (by the AM-GM inequality), then
8abc
9.a C b/.b C c/.c C a/ 27t 6
D 6 :
8.ab C bc C ca/ 8t C 1
r
X bCc
By the AM-GM inequality, 3t so
2a
a;b;c
220 Solutions to Testing Questions
27t 6
3t , 8t 6 9t 5 C1 0 , .t 1/.8t 5 t 4 t 3 t 2 t 1/ 0.
8t 6 C 1
The last inequality holds clearly when t 1. Thus, the original inequality
is proven.
r
4 .a2 C b 2 /.a2 ab C b 2 / a2 C b 2
3: It is obvious that
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
2 aCb
, .a C b/4 .a2 ab C b 2/ 2.a2 C b 2/3 , .a b/4 .a2 C ab C b 2/ 0.
Thus, it suffices to show that
!
X a2 C b 2 2 X 2 X 1
a :
by 217.174.237.134 on 09/27/15. For personal use only.
cyc
aCb 3 cyc cyc
aCb
1 1 1
a2 C b 2 a2 C c 2 b 2 C c 2 ; :
aCb aCc bCc
By Chebyshev’s inequality,
X a2 C b 2 1 X 2 X 1 2X 2 X 1
.a C b 2 / D a ;
cyc
aCb 3 cyc cyc
aCb 3 cyc cyc
aCb
as desired.
p p p p
4: a3 C a C b 3 C b C c 3 C c 2 a C b C c
p p
, ap 3 C a.ab C bc C ca/ C b 3p
C b.ab C bc C ca/
C c 3 C c.ab C bc C ca/ 2 .a C b C c/.ab C bc C ca/
p p p
, a.apC b/.c C a/ C b.a C b/.b C c/ C c.c C a/.b C c/
2 .a C b C c/.ab C bc C ca/
s
X a .a C b C c/.ab C bc C ca/
, p 2 .
cyc a.b C c/ .a C b/.b C c/.c C a/
1
By applying the weighted Jensen’s inequality to the function f .x/ D p ,
x
x > 0, it is obtained that
a b c aCb Cc
p Cp Cp qP :
2
a.b C c/ b.c C a/ c.a C b/ cyc a .bCc/
aCbCc
Lecture Notes on Mathematical Olympiad 221
It suffices to show that each number under a square root sign is greater than
or equal to 1. Below, as an example, we show that the expression under the
first square root sign is greater than or equal to 1.
1 x 2 C y 2 C z 2 C xy C zx C 3yz
p 1
2 yz 2x C y C z
, .x C y C z C xy C 3yz C zx/ 4yz.2x C y C z/2
2 2 2 2
, x 4 C y 4 C z 4 C 3x 2 y 2 C 3x 2 z 2 C 3y 2 z 2 C 2x 3y C 2xy 3 C 2x 3z
C2xz 3 C 2y 3 z C 2yz 3 8xy 2 z C 8x 2yz C 8xyz 2 : ./
222 Solutions to Testing Questions
3x 2 y 2 C 3x 2 z 2 C 3y 2 z 2
.xy C yz C xz/2 3.xy 2 z C x 2 yz C xyz 2 /:
Besides,
x 3 y C xy 3 C x 3 z C xz 3 C y 3 z C yz 3 2xyz.x C y C z/
D .x 3 y C yz 3 xyz 2 x 2yz/ C .y 3 z C x 3 z x 2 yz xy 2 z/
by 217.174.237.134 on 09/27/15. For personal use only.
C.z 3 x C xy 3 xy 2 z xyz 2 /
D y.x C z/.x z/2 C z.x C y/.x y/2 C x.y C z/.y z/2
0:
By adding up the first two inequalities with 2 times the third inequality, ()
is obtained.
1 ab
therefore P . Similarly,
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
ab C 2c 2 C 2c . ab/2
1 bc 1 ca
P ; P :
bc C 2a2 C 2a . ab/2 ca C 2b 2 C 2b . ab/2
3: The left inequality can be obtained directly from the Power Mean inequality.
Here, we derive it by algebraic manipulations as follows:
r
aCbCc a2 C b 2 C c 2
, .a C b C c/2 3.a2 C b 2 C c 2 /
3 3
, a2 C b 2 C c 2 C 2.ab C bc C ca/ 3.a2 C b 2 C c 2 /
, 2.ab C bc C ca/ 2.a2 C b 2 C c 2 /
, 0 .a b/2 C .b c/2 C .c a/2 :
2 ab 2 bc 2 ca D 8abc:
it follows that
.x C 1/.y C 1/2 .y C 1/.z C 1/2 .z C 1/.x C 1/2
S C C :
.z C 1/.x C 1/ .x C 1/.y C 1/ .y C 1/.z C 1/
b2 c2 a2
Let a D x C 1; b D y C 1; c D z C 1, then S C C .
c a b
By the Cauchy-Schwartz inequality,
2
b c2 a2
.a C b C c/S .a C b C c/ C C .a C b C c/2
c a b
.a C b C c/2
)S D a C b C c D x C y C z C 3:
aCbCc
xCy
6: Let a C c b D x; a C b c D y; b C c a D z. Then a D ;b D
2
yCz zCx
;c D , and a C b C c D x C y C z. If we let K denote the left
2 2
hand side of the original inequality, then
2x 4 2y 4 2z 4
KD C C :
y.x C y/ z.y C z/ x.z C x/
By the Cauchy-Schwartz inequality,
K
Œy.x C y/ C z.y C z/ C x.z C x/ .x 2 C y 2 C z 2 /2
2
K .x 2 C y 2 C z 2 /2
) 2
2 x C y 2 C z 2 C xy C yz C zx
K .x 2 C y 2 C z 2 /2 1
) 2 2 2
D .x 2 C y 2 C z 2 /
2 2.x C y C z / 2
2 2 2 .x C y C z/2 .a C b C c/2 X
)K x Cy Cz D ab:
3 3
Lecture Notes on Mathematical Olympiad 225
.1 C a2 /.1 C b 2 /.1 C c 2 / Y 1 C a2
7: Since D , it is natural to localize the
.1 C a/.1 C b/.1 C c/ cyc
1Ca
1 C a2
inequality to dealing with .
1Ca
3
1 C a2 .1 C a2 /3 1 .1 C a3 /.1 C a/3 C .1 a3 /.1 a/3
D D
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
3 3
1 C b2 1 1 C c2 1
.1 C b 3 /; .1 C c 3 /;
1Cb 2 1Cc 2
8: Note that
x 2 xy C y 2 1
, 3.x 2 xy C y 2 / x 2 C xy C y 2
x 2 C xy C y 2 3
D 2.x y/2 0;
therefore
x3 C y3 .x C y/.x 2 xy C y 2 / xCy
2 2
D 2 2
:
x C xy C y x C xy C y 3
Similar inequalities are obtained for the other two terms also. Thus,
x3 C y3 y3 C z3 z3 C x3
C C
x 2 C xy C y 2 y 2 C yz C z 2 z 2 C zx C x 2
xCy yCz zCx 2.x C y C z/ p
C C D 2 3 xyz D 2:
3 3 3 3
226 Solutions to Testing Questions
k
k C 1 kC1
k
, then for n D k C 1, to show .k C 1/Š < , it suffices to
3 2
k kC1 k
k kC1 1
show that .k C 1/ , i.e. 2 1 C .
2 2 k
k
!
1 k
by 217.174.237.134 on 09/27/15. For personal use only.
X k 1
The Binomial Expansion gives 1 C D 2C > 2, so
k i ki
i D2
k C 1 kC1
.k C 1/Š < is proven.
2
k C 1 kC1 1 k
Similarly, to prove .kC1/Š > it suffices to show 1 C
! 3 k
k 1 1 1 1 1
3. Since i < D for any 2 i n, it
i k iŠ i.i 1/ i 1 i
follows that
k
! k
1 k
X k 1 X 1 1
1C D2C <2C < 3:
k i ki i 1 i
i D2 i D2
kC1
kC1
Thus, the inequality .k C 1/Š > is proven also.
3
1 1 1 ac
, .ab C bc C ca/ C C C
ac C bc ab C ac bc C ab ac C bc
ab bc
C C 3.
ab C ac bc C ab
Now use substitutions as follows: let
8̂
xCz y
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
8 ˆ
ˆ ac D ;
< x D ab C ac; ˆ
< 2
xCy z xCyCz
y D bc C ba; ) ab D ; ) abCbcCca D :
:
z D ca C cb
ˆ 2 2
ˆ
ˆ yCz x
:̂ bc D
2
by 217.174.237.134 on 09/27/15. For personal use only.
a b c
2: Let D x; D y; D z. Then
a b b c c a
X 2a b
2 X X X
5, .1 C x/2 5 , 2 xC x 2 2:
cyc
a b cyc cyc cyc
1 b 1 c 1 a
Since 1D ; 1D ; 1D , so
x a y b z c
1 1 1 1 X 1 X1
1 1 1 D 1) C D0
x y z xyz cyc xy cyc
x
X X X X
)1 xC xy D 0 ) xy D x 1;
cyc cyc cyc cyc
228 Solutions to Testing Questions
therefore
!2
X X X X X
2
2 xC x 2,2 xC x 2 xy 2
cyc cyc cyc cyc cyc
!2 ! !2
X X X X
,2 xC x 2 x 1 2, x 0:
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
2 2
1 C .1=n/ .1=n/ C .1=n / .1=n / C 1
D lim C 2
C
n!C1 1 C .2=n/ .1=n/ C ..2=n / .1=n2 / C 2
1 5 5
D lim 1 C 1 C D , therefore D .
n!C1 2 2 2
aCb bCc cCa 5
Below we show that C C < for any a; b; c > 0.
a C 2b b C 2c c C 2a 2
aCb bCc cCa 5 b c a 1
C C < , C C >
a C 2b b C 2c c C 2a 2 a C 2b b C 2c c C 2a 2
1 1 1 1
, C C > :
2 C .a=b/ 2 C .b=c/ 2 C .c=a/ 2
a b c
Let D x; D y; D z. It suffices to show that if xyz D 1 then
b c a
1 1 1 1
C C > :
2Cx 2Cy 2Cz 2
1 1 1 1 1 1 z
Since C C > , C >
2Cx 2Cy 2Cz 2 2Cx 2Cy 4 C 2z
1 1 1
, C > , .4 C x C y/.2 C 4xy/ > .2 C x/.2 C y/
2Cx 2Cy 2 C 4xy
, 4 C 15xy C 4xy.x C y/ > 0, and the last inequality is obvious.
5
Thus, the minimum value of D is .
2
4: Notice that
a2 C 2 .a2 a C 1/ C .a C 1/ p p
D .a C 1/.a2 a C 1/ D a3 C 1;
2 2
Lecture Notes on Mathematical Olympiad 229
X a2 1
hence it suffices to show that 2 2
i.e.
.a C 2/.b C 2/ 3
X
3 a2 .c 2 C 2/ .a2 C 2/.b 2 C 2/.c 2 C 2/: (30.51)
6.a2 C b 2 C c 2 / C 3.a2 b 2 C b 2 c 2 C c 2 a2 /
a2 b 2 c 2 C 2.a2 b 2 C b 2 c 2 C c 2 a2 / C 4.a2 C b 2 C c 2 / C 8;
2.a2 C b 2 C c 2 / C a2 b 2 C b 2 c 2 C c 2 a2 72: (30.52)
p
2.a2 C b 2 C c 2 / 6 3 .abc/2 D 24; (30.53)
p
2 2 2 2 2 2
a b Cb c Cc a 3 3 .abc/4 D 48; (30.54)
then for n D m C 1,
mC1
X m
X
2 aik D 2 aik C 2amC1
k
.am C 1/k am C 2amC1
k
i D1 i D1
k k k
amC1 .amC1 1/ C 2amC1 D amC1 .amC1 C 1/
.amC1 C 1/k amC1 :
Then for n D m C 1,
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
mC1
!2 m
!2 m
!
X X X
k
ai D aik C2 aik k
amC1 2k
C amC1
i D1 i D1 i D1 !
m
X m
X
ai2kC1 C 2 k
aik amC1 2k
C amC1
by 217.174.237.134 on 09/27/15. For personal use only.
i D1 i D1
m
X
ai2kC1 C .am C 1/k am amC1
k 2k
C amC1
i D1
m
X
ai2kC1 C amC1
k k
ŒamC1 .amC1 k
1/ C amC1
i D1
mC1
X
D ai2kC1 :
i D1
In A there are 3 three digit numbers each containing one digit 3, so 3 appears
a total of 3 times in them.
In A there are 12 four digit numbers each containing one digit 3, so 3 ap-
pears a total of 12 times in them.
In A there are 5 five digit numbers each containing one digit 3, so 3 appears
a total of 5 times.
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
fa; b; cg is good if and only if a; b; c all come from the same Ai or come
from distinct Ai . Thus, the number of good subsets is
! !
16 17
C2 C 16 17 17 D 6544:
3 3
7: For the first step we arrange the three music books. We have 3Š D 6 ways for
this.
Next, arrange the mathematical book and the English books.
There are 2 ways to arrange the math book when it is arranged at the left
or right side of the music books. In this case the English books must be
arranged in the two gaps between the music books, so we have 2 ways for
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1: First, arrange the three b’s and three c’s in a row. By symmetry, we only
consider the cases that b where b is the leftmost character. Arrangements
have the following possible cases:
(i) !
“b c b c b c”. In this case, the number of ways to insert four a’s is
7
D 35;
4
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
(ii) “b c c b c b” or
! “b c b c c b”. In this case, the number of ways to insert
6
four a’s is 2 D 40;
3
(iii) “b b c c b c” or “b c c b b c” or “b b c b c c” or!“b c b b c c”. In this
by 217.174.237.134 on 09/27/15. For personal use only.
5
case, the number of ways to insert four a’s is 4 D 40;
2
(iv) “b c c c b b” or
! “b b c c c b”. In this case, the number of ways to insert
4
four a’s is 2 D 8;
1
(v)!“b b b c c c”. In this case, the number of ways to insert four a’s is
4
D 1;
4
Thus, the total number of desired permutations is 2.35C40C40C8C1/ D
248.
2: In a plane use 100 points on a circle to denote the 100 people: A1 ; B1; A2 ; B2,
: : : ; A50; B50 , where the points Ai and Bi denote the two people from the
i th country. Use a real line segment to connect Ai and Bi .
These 100 points can be partitioned as 50 neighbor pairs. Use a dotted
line to connect the two points in a neighbor pair. Below we show that it is
possible to color these 100 points with red and blue such that the two ends
of each real segment are of distinct colors and the two ends of each dotted
line is so also. Then the points of the same color can be taken as one group.
The following operations can realize our purpose. First color A1 red and B1
blue. take A2 be the point connected with B1 by a dotted line, and color A2
red and B2 blue, and continue this process until we color the point which is
connected with A1 by a dotted line. Note that it cannot be red. Otherwise,
it is an end point of a dotted line, so it cannot be the endpoint of a dotted
line emitted from A1 also. Hence we can color it blue.
If all the 100 point have colored, the purpose is reached; if there are point
not colored yet, then start the process again from any remaining point, until
234 Solutions to Testing Questions
all the points are colored. Since two endpoints of each real segment and
each dotted segment have different colors, it satisfies the requirement.
A D f.1I 1/I .2I 1/I .3I 1/I .1I 2/I .2I 2/I .3I 2/I .1I 3/I .2I 3/g
and
B D f.5I 3/I .4I 4/I .5I 4/I .6I 4/I .4I 5/I .5I 5/I .6I 5/I .4I 6/I .5I 6/I .6I 6/g:
by 217.174.237.134 on 09/27/15. For personal use only.
Proof. Bob pairs each square of A [ B with a square in the same row
that is not in A [ B, so that each square of the grid is in exactly one pair.
Whenever Alice plays in one square of a pair, Bob will play in the other
square of the pair on his next turn. If Alice moves with x in A [ B, Bob
writes y with y < x in the paired square. If Alice moves with x not in
A [ B, Bob writes z with z > x in the paired square in A [ B. So after
Bob’s turn, the maximum of each pair is in A [ B, and thus the maximum
of each row is in A [ B.
Thus, when all the numbers are written, the maximum square in row 6 is in
B and the maximum square in row 1 is in A. Since there is no path from B
to A that stays in A [ B, Bob wins.
n n
X i i 1X 3
f .n/ D C D .i i/
2 3 6
i D2 ! i D2
n n
1 X 3 X 1 2 1
D i i D n .n C 1/2 n.n C 1/
6 24 12
i D1 i D1
.n 1/n.n C 1/.n C 2/
by 217.174.237.134 on 09/27/15. For personal use only.
D :
24
the room with him. By assumption, person X also has an even number of
friends in the same room. Remove Z from the room; then X will have an
odd number of friends left in the room, and there will be an odd number of
Z’s friends in this room besides X. Reversing the relationship between X
and each of Z’s friends in this room will therefore restore the parity to even.
The same reasoning applies to any of Z’s friends in the other dining room.
Indeed, there will be an odd number of them in that room, hence each of
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1: Since every n 2 persons take totally 3k times of calls, and every two persons
are in the nn 24 distinct groups of n 2 persons, therefore, if m is the total
number of calls taken by the n persons, then, from the assumptions,
n
k
n k
3 3 n.n 1/3k
m D n n 2 2 D n2 2 D :
n 4 2
.n 2/.n 3/
3: If some two judges give the same judgment to some one contestant, we say
that there is a “same judgment”. Every two fixed judges can make at most
k “same judgments”, therefore
b
The total number of the “same judgments” is not greater than k 2 . ()
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
2 2
ni .ni 1/ C .b ni /.b ni 1/ n2 C .ni b/2 b
D D i
2 2
2n2i 2ni b C b 2 b 4n2i 4ni b C b 2 C b 2 2b
D D
2 4
.2ni b/2 C .b 1/2 1 b 1 2
D
4 2
an
(iii) To solve for an define bn D . By .30:57/,
.m 1/n
1 m 1
bn C bn 1 D or bn .m/ 1D .bn 1 1/;
m 1 m 1 m 1
therefore
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
bn .m/ 1
n 2
1
m.m 1/ . 1/n
D .b2 .m/ 1/ D 1
m 1 .m 1/2 .m 1/n 2
1 . 1/n . 1/n
D D ;
m 1 .m 1/n 2 .m 1/n 1
by 217.174.237.134 on 09/27/15. For personal use only.
) an D .m 1/ bn .m/ D . 1/ .m 1/ C .m 1/n :
n n
1 4 7 10 13 16 19 22
9 12 15 18 21 24 3 6
17 20 23 2 5 8 11 14
Then the length of arc between any two adjacent numbers (including the
first and the last) in each row is 3, and the length of arc between any two ad-
jacent numbers (including the first and the last) in each column is 8. There-
fore from each column we need to select exactly one number, and any two
numbers in two adjacent columns (including the first and the columns) can-
not be in same row.
When we consider each column as a sector and each row as one colour,
then we have 8 sectors and three colours, the question becomes to find the
number of ways for colouring the 8 sectors with three colours such that any
two adjacent sectors are coloured by different colours.
From the result of Q4 above, we have
n 5 6 7 8 9 10
g.n/ 70 157 353 793 1782 4004
pattern:
6; 1; 5; 5; 1; 2; 0; 1; 0; 1; 1; 3; 6; 1; 5; 5; ;
so it is a periodic sequence with the minimum period 12. Therefore
g.2008/ g.4/ 5 .mod 13/ ) f .2008/ 10 .mod 13/:
7: Let x be the number of distances that appeared exactly once, y the number
of distances that appeared exactly twice. We want to find a lower bound for
x C y.
Let the points be P1 ; P2 ; : : : ; Pn from left to right, then P1 is the left end-
point of n 1 distinct distances. For the point P2 , it is the left endpoint
of n 2 distinct distances, where some may have appeared in the previous
n 1 distances, but this repeat can appear at most once:
If P1 Pi D P2 Pj and P1 Pk D P2 Pl , then P1 P2 D Pi Pj D Pk Pl , so it
contradicts the fact that a same distance can appear at most twice. Thus,
among the .n 2/ distinct distances starting from P2 , at least n 3 are new.
Similarly, among the n 3 distinct distances starting from P3 , at least n
3 2 D n 5 are new. Thus, a lower bound of x C y is given by
8̂ 2
n 1
< for odd n
.n 1/ C .n 3/ C .n 5/ C D 4
2
:̂ n for even n:
4
2 2
n n
Thus, x C y for n 2 N, and 2x C 2y . Since x C 2y D
4 2
n.n 1/
, so
2 2 2 j k
n n n n
x D :
2 2 2 2
Lecture Notes on Mathematical Olympiad 241
8: Let ai be the number of i -digit integers formed by some or all of the four
digits, namely, 0; 1; 2, and 3, such that these numbers contain none of the
two blocks 12 and 21, and b1i and b2i be the number of i -digit integers
formed by some or all of the four digits, such that the last digit is 1 and 2
respectively and these integers contain none of the two blocks 12 and 21.
Then, by symmetry we have b1i D b2i , which we denote by bi .
By considering the last digit of an n-digit number, we have the reduction
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
formulas: for n 3,
Therefore for n 3
by 217.174.237.134 on 09/27/15. For personal use only.
n 3 4 5 6 7 8 9
an 36 128 456 1624 5784 20600 73368
9: For each convex polygon P whose vertices are in S , let c.P / be the number
of points of S which are inside P , so that a.P / C b.P / C c.P / D n, the
total number of points in S . Denoting 1 x by y,
X X
x a.P /y b.P / D x a.P /y b.P / .x C y/c.P /
P
!P
X c.P
X/ c.P /
D x a.P /Ci y b.P /Cc.P / i :
i
P i D0
1: Use n to replace 10001, and use two ways to count the ordered triples .a; R; S /,
by 217.174.237.134 on 09/27/15. For personal use only.
Similarly consider the good numbers of which each is the maximum of its
row and the median of its column. It then follows that the total number of
good numbers is not greater than
nC1 mC1
min m; C min n; :
2 2
Below we prove that for any odd integers m; n > 1 there must exist a
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
method to fill
in the numbers
such
that the number of good numbers is
nC1 mC1
equal to min m; C min n; .
2 2
(i) When m ¤ n, without loss of generality we always assume that 1 <
m < n.
by 217.174.237.134 on 09/27/15. For personal use only.
As shown in the left figure above, partition the squares in the rectangle of
size m n as regions 1 to 5, and then sequentially in the regions 1 to 5 write
down the numbers 1; 2; 3; : : : ; mn. Then the numbers in regions 2 and 4 are
good numbers, and the total number of such numbers is
nC1 mC1 nC1 mC1
min m; C D min m; C min n; :
2 2 2 2
(ii) When m D n > 3, as shown in the right figure above, write down the
numbers 1; 2; : : : ; mn sequentially in the regions 1 to 5, then the numbers
in regions 2 and 4 are good numbers, and the total number of such numbers
is
n 1 n 1
C C 2 D n C 1:
2 2
(iii) When m D n D 3, as shown in the right figure, the
filled numbers 5; 6; 7; 8 are good numbers, so the number
1 7 9
of good numbers is
2 6 4
mC1
4 D 2 min n; : 5 3 8
2
244 Solutions to Testing Questions
nC1 mC1
In summary, min m; C min n; is the maximum value
2 2
we seek.
number of i -digit integers formed by some or all of the five digits, such that
the first digit is 2; 3; 4 respectively and these integers contain none of the
three blocks 22; 33 and 44. Then, by symmetry we have n02i D n03i D n04i ,
denoted by n0i .
Let x be the number of 7-digit integers formed by some or all of the five
by 217.174.237.134 on 09/27/15. For personal use only.
digits, namely, 0; 1; 2; 3, and 4, such that these integers contain none of the
three blocks 22; 33 and 44. We have the following reduction formulas
Therefore for n 3
4: For any natural number n, let an be the number of distinct codes, bn be the
number of codes such that A1 and A2 have same digit and same colour,
and cn be the number of distinct codes such that A1 and A2 have the same
digit only or same color only, and dn be the number of codes such that only
one pair of adjacent two vertices, say A1 and A2 have different digits and
by 217.174.237.134 on 09/27/15. For personal use only.
an C dn D 4 3n 1
; an D bn C cn ; bn D an 1:
According to the status of the pair .A1 ; A3 /, the following relations hold:
(i) When A1 and A3 have the same digit and the same color, since A2 has
three choices in this case, the number of such codes is 3bn 1 .
(ii) When A1 and A3 have the same digit only or the same color only,
since A2 has two choices in this case, the number of such codes is 2cn 1 .
(iii) When A1 and A3 have different digits and different colors, since A2
has two choices in this case, the number of such codes is 2dn 1 .
As a result,
an D 3bn 1 C 2cn 1 C 2dn 1
D bn 1 C 2.bn 1 C cn 1 / C 2.4 3n 2
an 1/
D an 2 C 8 3n 2 :
an C bn D 22n D 4n and a1 D 0:
According to the definition, the stranded black squares can be only on the
second row.
(1) When there is a stranded black square in the first n 1 columns, then
there must be stranded blacks when we color the two squares in the nth
column, so there are 22 an 1 D 4an 1 possible cases.
(2) When the first n 1 squares in the second row are not all black and the
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
first n 1 columns do not contain a stranded square, then the black square on
the nth column and second row is the unique stranded black square. If the
first n 1 squares in the second row are all black, then the first n 1 squares
in the first row can be arbitrarily coloured without producing a stranded
square, so they cover 2n 1 possible cases. Hence, the number of cases
where the first n 1 squares in the second row are not all black there is no
by 217.174.237.134 on 09/27/15. For personal use only.
bn 1 2n 1
D 22.n 1/
an 1 2n 1
:
Thus,
an D 4an 1 C 4n 1
an 1 2n 1
D 3an 1 C 4n 1
2n 1
:
an D 4n C 2n 6 3n 1
D 4n C 2n 2 3 n ) bn D 2 3 n 2n :
1: There are more than one function that satisfy the given equation. For example,
the function f given by
n; n 0I
f .n/ D
3n; n<0
f .x C f .x C 1// D x C 1 C f .x C 1/:
g.x 1/ g.x/ D a 1:
f .1 x/ C f .x C 1/ D f .x C f .f .1 x/// D f .x C 1 x/ D f .1/ D 0:
f . x/ D 1 C f .1 x/;
f .x/ D 1 C x or f .x/ D 1 x:
3: First we will show that f is injective. If a ¤ b but f .a/ D f .b/, then for
each n we have f .a/ C f .n/ j .a C n/k and f .a/ C f .n/ D f .b/ C f .n/ j
.bCn/k . Thus, f .a/Cf .n/ is a common divisor of .aCn/k and .bCn/k . If
n satisfies the condition that gcd.aCn; b Cn/ D 1 then this can not happen.
But gcd.a C n; b C n/ D .a C n; b a/ and if b a ¤ 0 there is number
a C n that is relatively prime to it. (For example, we can choose n such that
a C n is a very big prime)
Now let b be a natural number. For every n we have f .n/C f .b/ j .nC b/k
and f .n/ C f .b C 1/ j .n C b C 1/k . But .n C b/ and .n C b C 1/ are
248 Solutions to Testing Questions
f .2t C 1/ f .2t/ D t n:
If n D 2t C 1 is odd, then (assuming inductively that the result holds for all
nonnegative m < n), we have
f .n C 1/ f .n/ D f .2t C 2/ f .2t C 1/ D 2f .t C 1/ t 2f .t/
D 2.f .t C 1/ f .t// t 2t t D t < n:
Lecture Notes on Mathematical Olympiad 249
For all k 0,
f .4k C 4/ f .4k C 3/ D f .2.2k C 2// f .2.2k C 1/ C 1/
D 4f .k C 1/ .2k C 1 C 2f .2k C 1//
D 4f .k C 1/ .2k C 1 C 2k C 4f .k//
D 4.f .k C 1/ f .k// .4k C 1/
4k .4k C 1/ < 0:
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
This proves G1 G.
1 c
f . 2u/ D f .2u/ for all u 2 R: (30.59)
c
1
Letting u D 0 in (30.59), then c D 1 c, i.e., c D , and f .u/ D
2
by 217.174.237.134 on 09/27/15. For personal use only.
f .x 3 / D xf .x 2/: (30.60)
yf .xy/ D xf .y 2 /: (30.64)
q p
repeatedly, it’s easy to prove by induction on q that
p 1
f D .p C q/f .1/:
q 2
When p > q, then
by 217.174.237.134 on 09/27/15. For personal use only.
p p pCq p q pCq
f D f D .p q C q/f .1/:
q q q q 2q
p q
When p < q, then f Df . Thus, The desired f is given by
q p
p
f D .p C q/m; for p; q 2 ZC ;
q
where m 2 N.
8: Let y D 0 in (30.22) of lecture 30, then f .x/ D f .x/g.0/ C f .0/, namely
f .0/
f .x/.1 g.0// D f .0/. If g.0/ ¤ 1, then f .x/ D which is
1 g.0/
a constant, contradicting the fact that f is strictly increasing. Therefore
g.0/ D 1 and f .0/ D 0.
Since f .x/g.y/C f .y/ D f .x C y/ D f .y/g.x/C f .x/ ) f .x/.g.y/
1/ D f .y/.g.x/ 1/. f is strictly increasing and f .0/ D 0 implies that
f .x/ ¤ 0 if x ¤ 0. Therefore, there is some constant C such that
g.y/ 1 g.x/ 1
D D C; x; y ¤ 0;
f .y/ f .x/
i.e., g.x/ 1 D Cf .x/ for x ¤ 0. Since g.0/ D 1; f .0/ D 0, so above
equality holds also for x D 0. Then for any x; y 2 R,
x
above, we have g.x/ D g2 > 0; x 2 R. Let g.1/ D a (a > 0), then
n
2
g.n/ D a .
1
m 1 m
g.x/ D .g.nx// n ) g D .g.m// n D a n ;
n
so g.x/ D ax for x 2 Q. Since g is strictly monotone, so g.x/ D ax ; x 2
R.
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
a
Let f .0/ D a. Let x D y D 0 in (30.23), then f D f .a/ a. In
a
2
f .a/ 2
(30.23) let x D 21 a; y D 0, then f D 2a. In (30.23) let
2
f .a/ C a
x D a; y D 0, then f D 2a. Since f is non-decreasing,
2
h i
f .a/ a
2 f .a/Ca
f .t/ D 2a; for all t 2 2 ; 2 ;
a
f .a/ C 2
therefore f D 2a. On the other hand, In (30.23) let x D y D
2
a
, then
2
a
f .a/ C 2
f D 2a f .a/ C f .f .a/ a/ ) f .a/ D f .f .a/ a/:
2
a
In (30.23) let x D 0; y D , then f .a/ D a C f .f .a/ a/, hence
2
a D 0, i.e., f .0/ D 0.
Now in (30.23) let x D 0, then f .y/ D f .f .y//. Again in (30.23) let
x D y, then
3 1
f xC f .x/ D 2x f .x/ C f .f .x// D 2x;
2 2
f .x 2 / D xf .x/: (30.68)
hence
f 2 .x C 3/ C 2f 2 .x/ D f 2 .x 1/ C 2f 2 .x C 2/: (30.70)
Since
f .f 2 .m/ C 2f 2 .n// D m2 C 2n2
) f 2 .f 2 .m/ C 2f 2 .n// D .m2 C 2n2/2
) f 2 .am2 C bm C 2an2 C 2bn C 3c C . 1/m d C 2. 1/n d /
by 217.174.237.134 on 09/27/15. For personal use only.
D .m2 C 2n2 /2 ;
therefore
aŒam2 C bm C 2an2 C 2bn C 3c C . 1/m d C 2. 1/n d 2
CbŒam2 C bm C 2an2 C 2bn C 3c C . 1/m d C 2. 1/n d
2 m
Cc C . 1/am CbmCcC. 1/ d d D m4 C 4n4 C 4m2 n2 :
f .f .x2 //
x1 D : (30.73)
f .1/
Combining (30.71), (30.72) and (30.73), we obtain x1 D x2 , so f is an
injection. It is obvious that f is surjective, so f is a bijection.
f .f .1//
In the given equation let x D y D 1, then f .1/ D or f .1/ D
by 217.174.237.134 on 09/27/15. For personal use only.
1
f .f .1//, so f .1/ D 1. Thus, f .f .x// D x; x > 0.
Let > 0, then there exists
> 0 such that D f ./. Hence f ./ D
f .x/ f .f .x//
f .f .// D . Since f D and f .f .x// D x,
f .y/ y
f .x/ x f .x/ x x f .x/
f D )f f Df )f D :
f .y/ y f .y/ y y f .y/
1 1
Let x D 1, then f D ; y 2 RC .
y f .y/
1 1
Since f x D f .x/ f for all x; y > 0, so
y y
f .xy/ D f .x/f .y/; x; y > 0:
au D ln f .e u / , f .e u / D e au D .e u /a , f .x/ D x a ; x > 0:
k
‚ …„ ƒ
4: Throughout the solution, we will use the notation gk .x/ D g.g. g.x/ //,
including g0 .x/ D x as well.
Suppose that there exists a Spanish Couple .f; g/ on the set N. From prop-
erty (i) we have f .x/ x and g.x/ x for all x 2 N.
We claim that gk .x/ f .x/ for all k 0 and all positive integers x. The
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
Since g is increasing, it follows that gkC1 .x/ < f .x/. The claim is proven.
If g.x/ D x for all x 2 N then f .g.g.x/// D f .x/ D g.f .x//, and we
have a contradiction with (ii). Therefore one can choose an x0 2 N for
which x0 < g.x0 /. Now consider the sequence x0 ; x1; : : : where xk D
gk .x0 /. The sequence is strictly increasing. Indeed, we have x0 < g.x0 / D
x1 , and xk < xkC1 implies xkC1 D g.xk / < g.xkC1 / D xkC2 .
Hence, we obtain a strictly increasing sequence x0 < x1 < of positive
integers which has an upper bound, namely f .x0 /. This cannot happen in
the set N of positive integers, thus no Spanish Couple exists on N.
5: It is not hard to see that the two functions f .x/ D x and f .x/ D x for all
real x respectively solve the functional equation. In the remainder of the
solution, we prove that there are no further solutions.
Let f be a function satisfying the given equation. It is clear that f cannot
be a constant. Let us first show that f .0/ D 0. Suppose that f .0/ ¤ 0. For
t
any real t, substituting .x; y/ D .0; f .0/ / into the given functional equation,
we obtain
f .0/ D f .t/; (30.74)
contradicting the fact that f is not a constant function. Therefore, f .0/ D
0. Next, for any t, substituting .x; y/ D .t; 0/ and .x; y/ D .t; t/ into the
given equation, we get
and
f .tf .0// D f . tf .t// C t 2 ;
respectively. Therefore, we conclude that
Consequently, for every real v, there exists a real u such that f .u/ D v. We
also see that if f .t/ D 0, then 0 D f .tf .t// D t 2 so that t D 0, and thus 0
is the only real number satisfying f .t/ D 0.
We next show that for any real number s,
f . s/ D f .s/: (30.76)
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
This is clear if f .s/ D 0. Suppose now f .s/ < 0, then we can find a
number t for which f .s/ D t 2 . As t ¤ 0 implies f .t/ ¤ 0, we can also
find a number a such that af .t/ D s. Substituting .x; y/ D .t; a/ into the
given equation, we get
and
f .. s t/f . t// D f .sf . s t// C .s C t/2 ;
respectively. Using the fact that f . x/ D f .x/ holds for all x to rewrite
the second and the third equation, and rearranging the terms, we obtain
Adding up these three equations now yields 2f .tf .s// D 2ts, and there-
fore, we conclude that f .tf .s// D ts holds for every pair of real numbers
258 Solutions to Testing Questions
Appendices
259
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
by 217.174.237.134 on 09/27/15. For personal use only.
(i) an D A˛ n C Bˇ n if ˛ ¤ ˇ;
Proof. We write the given recursive formula into the following new form:
an ˛n 1
a1 D .a2 ˛a1 /.ˇ n 2
C ˛ˇ n 3
C C ˛n 2
/;
261
262 Appendix A Theorem on Second Order Recursive Sequences
therefore
ˇn 1 ˛n 1
an D a1 ˛ n 1 C .a2 ˛a1 /
ˇ ˛
a2 ˛a1 n 1 a2 ˛a1 n 1
D a1 ˛ C ˇ
ˇ ˛ ˇ ˛
a2 C ˇa1 n a2 ˛a1 n
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
D ˛ C ˇ :
˛.ˇ ˛/ ˇ.ˇ ˛/
an ˛n 1
a1 D .a2 ˛a1 /.ˇ n 2
C ˛ˇ n 3 C C ˛ n 2
/
D .a2 ˛a1 / .n 1/˛ n 2 ;
by 217.174.237.134 on 09/27/15. For personal use only.
therefore h a
1 a2 ˛a1 a
2 ˛a1 i
an D Cn ˛ n:
˛ ˛2 ˛2
Thus, the theorem is proven.
Appendix B
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
Lemma 1. Let ˇ be an irrational number. Then for any positive integer p > 1
there exist x; y 2 N with 1 y p such that
1
jx yˇj < : (B.2)
p
1
j.bjˇc biˇc/ .j i /ˇj < :
p
263
264 Appendix B Proofs of Theorems On Pell’s Equation
1
. By continuing this process infinitely many times, we can get infinitely many
y2
desired pairs f.xi ; yi /g; i D 1; 2; : : :.
Lemma 2. When d is a non-square positive integer, there must exist infinitely
many ordered pairs .x; y/ of two positive integers, such that
p
jx 2 dy 2 j < 1 C 2 d :
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
1 p p 1 p p
.jx d yj C 2 d y/ < 2 C 2 d 1 C 2 d :
y y
Consequence 2. When d is pa non-square positive integer, there must exist an
integer k with 0 < jkj < 1 C 2 d , such that the Pell-type equation
x2 dy 2 D k (B.4)
has infinitely many positive integer solutions .x; y/.
p that there are only finitely many integers k with absolute value less than
Note
1 C 2 d, so there must be at least one such k such that the number of solutions
.x; y/ of (B.4) is infinite.
Proof. Consequence 2 implies that there are two solutions of (B.4), .x1 ; y1 / ¤
.x2 ; y2/, such that
x1 x2 .mod jkj/; y1 y2 .mod jkj/;
then
.x12 dy12 /.x22 dy22 / D .x1 x2 dy1 y2 /2 d.x1 y2 x2 y1 /2 D k 2 ;
and x1x2 dy1 y2 x12 dy12 D k 0; x1y2 x2y1 x1y1 x1y1 0
.mod jkj/, so there are nonnegative integers x; y such that
jx1 x2 dy1 y2 j D xjkj and jx1 y2 x2 y1 j D yjkj;
hence x 2 dy 2 D 1.
Below we show that y > 0 (and hence x > 0). If y D 0, then x1 y2 D x2 y1 .
x1 y1
Let D D q > 0, then (B.4) yields
x2 y2
k D x12 dy12 D q 2 .x22 dy22 / D q 2 k ) q D 1 ) .x1 ; y1 / D .x2 ; y2 /;
which contradicts .x1 ; y1 / ¤ .x2 ; y2 /. Thus, we have proven that (B.1) has at
least one positive integer solution.
Lecture Notes on Mathematical Olympiad 265
Theorem II. Let .a; b/ be the minimum solution of (B.1), then .x; y/ is appositive
p solution of (B.1) if and only if there is n 2 N such that x C d y D
integer
.a C d b/n .
p p p
Proof.p Suppose that x C d y D .aC d b/n for some n 2 N, then x dy D
.a d b/n , so
p p
x 2 dy 2 D .a C d b/n .a d b/n D .a2 db 2 /n D 1;
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
p p p
1 < .x C d y/.a d b/n < a C d b: (B.5)
p p p
Let .x C d y/.a d b/n D u C d v. It is easy to see that .u; v/ is an integer
solution of (B.1).
p p 1
Since uC d v > 1 ) 0 < u dv D p < 1 ) 2u > 1 ) u > 0.
p u C dv
Also 2 d v >p1 1 D 0 p ) v > 0, so .u; v/ is a positive integer psolution of
(B.1) and u C d v < a C d b, which contradicts the fact that a C d b is the
minimum solution of (B.1). Thus, the conclusion of the Theorem II is proven.
Consequence 3. The Pell’s equation (B.1) must have infinitely many positive
integer solutions .x; y/. If .a; b/ is the minimum solution of (B.1), then all the
positive integer solutions .xn ; yn / are given by
8̂ 1 p p
< xn D Œ.a C d b/n C .a d b/n ;
2 (B.6)
1 p p
:̂ yn D p Œ.a C d b/n .a db/n :
2 d
x2 dy 2 D 1 (B.7)
has a positive integer solution, then equation (B.7) has infinitely many positive
integer solutions,
p and if .a; b/ is the positive integer solution with minimum value
of x C d y among all positive integer solutions .x; y/, then all the positive
integer solutions .x; y/ of (B.7) can be expressed as
p p
x C d y D .a C d b/2nC1 ;
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
by 217.174.237.134 on 09/27/15. For personal use only.
266
Appendix B
p p
and if .x0 ; y0/ is the minimum solution of (B.1), then
x0 C d y0 D .a C d b/2 :
Proofs of Theorems On Pell’s Equation
Appendix C
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
Theorem I. For any odd prime p, the numbers of non-zero quadratic residues
p 1
modulo p and quadratic non-residues modulo p are both .
2
Proof. For an integer a with .a; p/ D 1, when x 2 a (mod p) has a solution
for x, then a must be one of the following p 1 numbers modulo p:
p 1
˙1; ˙2; ; ˙ ;
2
hence its square is one of f12; 22 ; ; .p 1/=2/2 g. It’s obvious that each of these
.p 1/=2 numbers is a quadratic residue modulo p. Further, any two of these
.p 1/=2 numbers are not congruent modulo p: Otherwise, there are integers
1 l < k .p 1/=2 such that l 2 k 2 (mod p), then
267
268 Appendix C Theorems On Quadratic Residues
a p 1 a b
Consequence I: a 2 .mod p/. Consequence II: D
p p p
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
ab
.
p
Proof. If the equation x 2 a (mod p) has a solution x0 , then we can let
p 1 p 1
x0 > 0. Since .x02 ; p/ D .a; p/ D 1, a 2 D x0 1 (mod p) by Fermat’s
Little theorem.
by 217.174.237.134 on 09/27/15. For personal use only.
by Wilson’s Theorem.
Consequence (I) is just Euler’s Criterion written in terms of the Legendre sym-
bol, and Consequence (II) is obtained at once from
ab p 1 p 1 p 1 a b
D .ab/ 2 Da 2 b 2 D :
p p p
Theorem III. (Gauss’ Lemma) For an odd prime number p and an integer a
with .a; p/ D 1, define the set S by
p 1
S D a; 2a; 3a; ; a :
2
Among theremainders
of the numbers in S mod p if n numbers are greater than
a
p=2, then D . 1/n .
p
Proof. It is clear that any two of the .p 1/=2 numbers in S are not congruent
modulo p. Let r1; r2 ; ; rm be the remainders less than p=2 and s1 ; s2; ; sn
be those remainders that are greater than p=2. Then 0 < ri < p=2 and p=2 <
si < p, and n C m D .p 1/=2. Therefore
r1 ; r2 ; ; rm ; p s1 ; p s2 ; ; p sn
Lecture Notes on Mathematical Olympiad 269
contradiction, since 2 u C v < p. Thus, the .p 1/=2 numbers are actually the
numbers 1; 2; ; .p 1/=2. As a result,
p 1
Š
2
by 217.174.237.134 on 09/27/15. For personal use only.
D r1 r2 rm .p s1 / .p sn / r1 rm . s1 / . sn / .mod p/
. 1/n r1 rm s1 sn . 1/n a 2a 3a .p 1=2/a .mod p/
n .p 1/=2 p 1
. 1/ a Š .mod p/
2
a
Therefore a.p 1/=2 . 1/n .mod p/, i.e., D . 1/n .
p
Theorem IV. (Quadratic Reciprocity Law) For distinct odd primes p and q,
p q p 1 q 1
D . 1/ 2 2 :
q p
Proof. First of all we need a lemma as follows.
Lemma. Using the notations of Gauss’ Lemma, if a is odd and p is an odd
prime with .a; p/ D 1, then
a P.p 1/=2
D . 1/n D . 1/ kD1 Œka=p :
p
Proof of Lemma. Using the notations of Gauss’ Lemma, for each number ka
(1 k .p 1/=2) in the set S ,
ka
ka D p C tk ; 1 tk p 1: (C.1)
p
The tk is one of r1 ; r2; ; rm if tk < p=2, and is one of s1 ; s2; ; sn if tk >
p=2, therefore
.p 1/=2 .p 1/=2 m n
X X ka X X
ka D pC ri C sj : (C.2)
p
kD1 kD1 i D1 j D1
270 Appendix C Theorems On Quadratic Residues
P.p 1/=2
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
P.p 1/=2 h ka i
By taking modulo 2 to both sides of (C.4), we obtain kD1 p n 0
(mod 2), i.e.
.p 1/=2
X ka
n .mod 2/:
p
kD1
.p=2; 0/; .0; q=2/, and .p=2; q=2/. Let R denote the region inside this rectangle,
excluding its boundary lines. We count the number of lattice points inside R in
two different ways below. Since p and q are both odd, the lattice points in R
consist of all points .n; m/, where 1 n .p 1/=2 and 1 m .q 1/=2;
clearly, the number of such points is
p 1 q 1
:
2 2
Lecture Notes on Mathematical Olympiad 271
Now the diagonal line ` from .0; 0/ to .p=2; q=2/ has the equation y D
.q=p/x, or equivalently, py D qx. Since gcd.p; q/ D 1, none of the lattice points
inside R will lie on `, since x must be a multiple of p and y must be a multiple
of q if the lattice point .x; y/ is on `, but there are no such points in R. Suppose
that T1 denotes the portion of R which is below the diagonal `, and T2 the portion
above `. By what we have just seen, it suffices to count the lattice points inside
each of these triangles. The number of integers y in the interval 0 < y < kq=p is
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
equal to Œkq=p. Thus, for 1 k .p 1/=2, there are precisely Œkq=p lattice
points in T1 directly above the point .k; 0/ and below `; in other words, lying on
the vertical line segment from .k; 0/ to .k; kq=p/. It follows that the total number
of lattice points contained in T1 is
.pX
1/=2
by 217.174.237.134 on 09/27/15. For personal use only.
kq
:
p
kD1
A similar calculation, with the roles of p and q interchanged, shows that the
number of lattice points within T2 is
.q 1/=2
X jp
:
q
j D1
p 1 q 1
D . 1/ 2 2 :
Proof. If x2 n
a .mod p / has a solution, then clearly so does x a
2
a
.mod p/, so D 1.
p
a
Conversely, suppose that D 1, we prove that x 2 a .mod p n / has a
p
a
solution by induction on n. For n D 1, nothing to prove since D 1. Assume
p
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
x1 D x0 C y0 p k . Then
x12 D x02 C 2x0 y0 p k C y02 p 2k D a C .b C 2x0 y0 /p k C y02 p 2k a (mod p kC1 ).
Hence
˛
x 2 .xi0 /2 a .mod pi i /; i D 1; 2; : : : ; r;
so that
273
274 Appendix D Proofs of Some Important Inequalities
SO D a1 b1 C a2 b2 C C an bn ; .ordered sum/
SM D a1 bj1 C a2 bj2 C C an bjn ; .mixed sum/
SR D a1 bn C a2 bn 1 C C an b1 ; .reverse sum/
must obey the inequalities : SR SM SO .
Furthermore, SM D SO for all SM (or SM D SR for all SM ) if and only if
a1 D a2 D D an or b1 D b2 D D bn .
Proof. (i) First of all we show SM SO , i.e.,
a1 bj1 C a2 bj2 C C an bjn a1 b1 C a2 b2 C C an bn : (D.1)
If jn D n, we can delete the terms an bn from both sides of (26.1), then change
n to n 1 and continue our discussion. Therefore, we assume that jn ¤ n. Let
jk D n for some 1 k n 1. By interchanging bjn and bn , another mixed
0
sum SM is obtained:
0
SM D a1 bj1 C a2 bj2 C C ak bjn C C an bn :
Since
0
SM SM D .ak bjn C an bn / .ak bn C an bjn / D .an ak /.bn bjn / 0;
0
so it suffices to compare SM with SO . Starting from any arrangement .bj1 ; bj2 ; : : :,
bjn /, by continuing the above process it is always possible to obtain SO by a finite
number of exchanges as above without decreasing the value of SM . This implies
that SM SO for all SM .
(ii) We can prove SR SM based on the result of (i). Since bn bn 1
b1 and . bj1 ; bj2 ; ; bjn / is a permutation of . bn ; bn 1 ; ,
b1 /, by the result of (i),
n
X n
X n
X
SR D ai . bnC1 i / ai . bji / D ai bji D SM ;
i D1 i D1 i D1
Lecture Notes on Mathematical Olympiad 275
therefore SR SM .
(iii) "Regarding the necessary and sufficient conditions for holding the equal-
ity, it is clear that SM D SO for all SM when either a1 D a2 D D an or
b1 D b2 D D bn . Conversely, when SM D SO for all SM , if it is neither
a1 D a2 D D an nor b1 D b2 D D bn , then a1 < an and b1 < bn . Hence,
for the special mixed sum given by SM D a1 bn C a2 b2 C C an b1 , as shown
above, we obtain that SO SM D .an a1 /.bn b1 / > 0, which contradicts
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
SM D SO for all SM .
The discussion for SM D SR is similar. Thus, the rearrangement inequality is
proven.
n n
! n
! n
1X 1X 1X 1X
ai bnC1 i ai bi ai bi :
n n n n
i D1 i D1 i D1 i D1
therefore
n
! n
! n n n n
1X 1X 1X 1X X X
ai bi ai bi , ai bj ai bi
n n n n
i D1 i D1 i D1 i D1 i Dj i D1
n n
1 XX
, .ai bi C aj bj ai bj aj bi / 0
2n
i D1 j D1
n n
1 XX
, .ai aj /.bi bj / 0;
2n
i D1 j D1
and the last inequality is obvious since .ai aj / and .bi bj / have same signs
for 1 i; j n.
Consequence 1. For x1 ; x2; : : : ; xn > 0, when pq > 0,
n n n n n n
X pCq 1X pX q X pCq 1X p X q
xi xi xi I and xi xi xi when pq < 0:
n n
i D1 i D1 i D1 i D1 i D1 i D1
276 Appendix D Proofs of Some Important Inequalities
n
X n
X
xir xis :
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
i D1 i D1
n n n n
! n1 n n
X 1X r X Y X X
In fact, xir xi s
xis x r s
xis D xis .
n
i D1 i D1 i D1 i D1 i D1 i D1
by 217.174.237.134 on 09/27/15. For personal use only.
n n n n p
X X X p X
mi ai bi mi ai mi bi :
i D1 i D1 i D1 i D1
In fact,
n n n n p n
X X X p X 1 X
mi ai bi mi ai mi bi D mi mj .ai aj /.bi bj / 0.
2
i D1 i D1 i D1 i D1 i;j D1
1
A D .x1 C x2 C C xkC1 /;
kC1
1
B D .x1 C x2 C C xk /;
k
xkC1 C .k 1/A
C D :
k
Lecture Notes on Mathematical Olympiad 277
B CC
We have A D and
2
B CC 1
f .A/ D f Œf .B/ C f .C /
2 2
1 1 1
.f .x1 / C f .x2 / C C f .xk // C .f .xkC1 / C .k 1/f .A// ;
2 k k
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
Therefore
x1 C x2 C C xkC1 1
f Œf .x1 / C f .x2 / C C f .xkC1 /:
kC1 kC1
Above equalities hold if and only if x1 D x2 D D xk and B D C , which is
by 217.174.237.134 on 09/27/15. For personal use only.
equivalent to x1 D x2 D D xk D xkC1 .
Then 0 < 0 < 1. Take ı > 0 such that Œ0 ı; 0 C ı Œ0; 1. Since
we have
x1 C x2 1
f f .x1 / C f .x2 / ;
2 2
278 Appendix D Proofs of Some Important Inequalities
i.e.,
f .0 x1 C .1 0 /x2 /
1
2
ff ..0 ı/x1 C .1 0 C ı/x2 / C f ..0 C ı/x1 C .1 0 ı/x2 //g ;
k xk kC1 xkC1
k xk CkC1 xkC1 D .k CkC1 / C D .k CkC1 /xk0 ;
k C kC1 k C kC1
k kC1
where xk0 D xk C xkC1 , then the induction assumption
k C kC1 k C kC1
gives
1
f .xk0 / Œk f .xk / C kC1 f .xkC1 /;
k C kC1
hence
f .1 x1 C 2 x2 C C kC1 xkC1 /
1 f .x1 / C C k 1 f .xk 1 / C .k C kC1 /f .xk0 /
1 f .x1 / C 2 f .x2 / C C k f .xk / C kC1 f .xkC1 /:
n
! ˛1 n
! ˇ1
1X ˛ 1X ˇ
xi xi : (D.4)
n n
i D1 i D1
Since ˛=ˇ > 1, the function f .u/ D u˛=ˇ ; u > 0 is convex, therefore (D.5) is
true by Jensen’s inequality.
Appendix E
Lecture Notes on Mathematical Olympiad Courses Downloaded from www.worldscientific.com
Theorem I. When the function f .x/ satisfies equation (30.1) in Lecture 30 and
satisfies one of the following conditions:
Proof of (A). From the proof in Example 1 in Lecture 30, we find that equation
(30.1) forces f to have the following properties:
For any given real number x, take an arbitrary rational number r in the interval
.x b; x a/, and let x1 D x r , then x1 2 .a; b/, and g.x/ D g.x1 Cr / D g.x1 /.
Hence g is a bounded function.
We now show g.x/ D 0 for any x 2 R. Suppose that there is x0 2 Qc such
that g.x0 / D d ¤ 0, then g.nx0 / D ng.x0 / D nd , therefore jg.nx0 /j D njd j !
C1 as n ! C1, a contradiction. Thus, g.x/ is equal to zero identically, i.e.
f .x/ D Cx for all x 2 R.
Proof of (B). It suffices to show that under condition (ii), f .x/ is monotone on
Œ0; . Let x; y 2 Œ0; with x y, then 0 y x , therefore
279
280 Appendix E Note On Cauchy’s Problem in Functional Equation
or
281
282 INDEX