Professional Documents
Culture Documents
i=1
d
2
i
4022m2010n.
Find all n for which equality can be attained. (Aleksandar Ilic)
In an acute-angled triangle ABC, M is the midpoint of side BC, and D, E and F 2.
the feet of the altitudes from A, B and C, respectively. Let H be the orthocenter
of ABC, S the midpoint of AH, and G the intersection of FE and AH. If N
is the intersection of the median AM and the circumcircle of BCH, prove that
HMA = GNS. (Marko Djikic)
Let A be an innite set of positive integers. Find all natural numbers n such that 3.
for each a A
a
n
+a
n1
+ +a
1
+ 1 [ a
n!
+a
(n1)!
+ +a
1!
+ 1.
(Milos Milosavljevic)
Time allowed: 270 minutes.
Each problem is worth 7 points.
4
SERBIAN MATHEMATICAL OLYMPIAD
for high school students
Nis, 07.04.2010.
Second Day
4. Let O be the circumcenter of triangle ABC. A line through O intersects the sides
CA and CB at points D and E respectively, and meets the circumcircle again at
point P ,= O inside the triangle. A point Q on side AB is such that
AQ
QB
=
DP
PE
.
Prove that APQ = 2CAP . (Dusan Djukic)
5. An n n table whose cells are numerated with numbers 1, 2, . . . , n
2
in some order
is called Naissus if all products of n numbers written in n scattered cells give the
same residue when divided by n
2
+ 1. Does there exist a Naissus table for
(a) n = 8;
(b) n = 10?
(n cells are scattered if no two are in the same row or column.) (Marko Djikic)
6. Let a
0
and a
n
be dierent divisors of a natural number m, and a
0
, a
1
, a
2
, . . . , a
n
be a sequence of natural numbers such that it satises
a
i+1
= [a
i
a
i1
[ for 0 < i < n.
If gcd(a
0
, . . . , a
n
) = 1, show that there is a term of the sequence that is smaller
than
m. (Dusan Djukic)
Time allowed: 270 minutes.
Each problem is worth 7 points.
5
SOLUTIONS
By the problem conditions, 0 (d
i
1)(2010 d
i
) holds for each i, i.e. d
2
i
1.
2011d
i
2010. Since
n
i=1
d
i
= 2m, summing up these inequalities gives
n
i=1
d
2
i
2011
n
i=1
d
i
2010n = 4022m2010n,
as desired.
The equality holds if and only if d
i
1, 2010 for each i 1, 2, . . . , n.
1
. Then ABA
C is a
parallelogram and HCA
= HCB +
BCA
= HCB + ABC = 90
, so
the points A, B, N all lie on the cir-
cle with diameter HA
and therefore
ANH = 90
.
Since S is the circumcenter of AEF,
it follows that SFG = 90
EAF =
ACF = ADF; hence the triangles
SFG and SDF are similar and SG
SD = SF
2
= SN
2
. This in turn
shows that SNG SDN and -
nally GNS = GDN = HMN
since the quadrilateral HDMN is cyclic.
A
B C M D
E
F
H
N
S
A
G
Second solution. Quadrilaterals BDHF and DCEH are cyclic and AF AB =
AH AD = AE AC. We apply the inversion J with center A and power AF AB.
Clearly J(F) = B, J(H) = D, J(E) = C, so J maps line BC to the circumcircle of
6
FHE, i.e. the circle with diameter AH; also, J maps the circumcircle of BCH
to the circumcircle of FDE which is the nine-point circle of ABC. Since
M AM and J preserves line AM, it follows that J(M) = N.
Let J(G) = G
and J(S) = S
and S
MS
=
HMA, for G
, S
n
+
x
n1
+ +1 if and only if 0,
1
,
2
, . . . ,
n
is a complete residue system
modulo n + 1.
Proof. Let r
i
be the residue of
i
modulo n + 1. Suppose that P(x) [ Q(x).
Since P(x) divides x
n+1
1 which divides x
i
x
r
i
, it also divides Q
1
(x) =
x
r
1
+ +x
r
n
+1. Since deg Q
1
deg P, it follows that Q
1
= c P for some
constant c, and this is obviously only possible if c = 1 and r
1
, . . . , r
n
=
1, . . . , n. The other direction is trivial.
We conclude from the lemma that the desired numbers n are those for which
0, 1!, . . . , n! is a complete residue system modulo n + 1.
If n > 3 and n+1 is a composite number, then n+1 [ n!, so this case is impossible.
If n + 1 = p > 3 is a prime, then by Wilsons theorem (p 1)! 1 (mod p), so
(p 2)! 1 = 1! (mod p), again impossible. The only remaining possibilities are
n = 1 and n = 2, and it is directly veried that these values satisy the conditions
of the problem.
Second solution. We shall prove a stronger statement: If A = a
n
+ + a + 1
divides a
n!
+ +a
1!
+ 1 for some integer a > 1, then n 1, 2.
Suppose that A divides a
1
+ + a
n
+ 1 for some positive integers
1
, . . . ,
n
,
and let r
i
be the remainder of
i
upon division by n +1. Like in the rst solution,
A divides C = a
r
1
+ + a
r
n
+ 1 = c
n
a
n
+ + c
1
a + c
0
, where c
0
, . . . , c
n
are
nonnegative integers with the sum n + 1.
Of all numbers of the form B = b
n
a
n
+ +b
1
a+b
0
that are divisible by A (b
i
N
0
),
consider any one with the minimum possible value of the sum b
0
+ +b
n
. Each
b
i
is less than a, otherwise substituting (b
i
, b
i+1
) with (b
i
n, b
i+1
+ 1) yields a
7
representation of B with a smaller sum b
0
+ +b
n
(where b
n+1
= b
0
). Therefore
B < a A, which implies B = kA for some k 1, . . . , n, so b
i
= k by uniqueness
of base a representation. It follows that the minimum possible value of b
0
+ +b
n
equals n + 1 and is attained only when b
i
= 1 for all i.
Since c
0
+ + c
n
= n + 1, it follows from above that c
i
= 1 for all i. Thus
r
1
, . . . , r
n
= 1, . . . , n and we can proceed like in the rst solution to obtain
n 1, 2.
4. The given conguration is only possible if ABC is acute-angled. Denote PAD =
, QPA = , BCA = . Then APB = 2 and DAP +EBP = APB
ACB = , so PBE = and BPQ = 2 . Since APD = BPE =
90
+ and BEP = 90
+.
The sine theorem in triangles APD and PBE gives us
DP
PE
=
DP
PA
PA
PB
PB
PE
=
sin cos
sin( ) cos( )
PA
PB
=
sin 2
sin(2 2)
PA
PB
.
On the other hand,
AQ
QB
=
AQ
AP
AP
BP
BP
QB
=
sin
sin(2 )
AP
PB
.
Now
AQ
QB
=
DP
PE
implies f(2) = f(),
where f(x) =
sinx
sin(2 x)
. However, f
is strictly increasing on (0, 2) because
f
(x) =
sin(2 2x)
(sin(2 x))
2
> 0, so it imme-
diately follows that = 2.
A B
C
O
D
E
P
Q
2
5. Suppose that there exists a Naissus table 8 8 and that the product of any 8
scattered numbers gives a remainder r modulo 8
2
+ 1 = 65 = 5 13. Since these
numbers can be chosen so as to contain a multiple of 13, r is divisible by 13. On
the other hand, the table can be partitioned into 8 pairwise disjoint groups of 8
scattered cells each, and at least one of these groups does not contain any multiple
of 13, so the product over this group of scattered cells is not divisible by 13, a
contradiction. Hence there is no Naissus table for n = 8.
For n = 10, n
2
+ 1 = 101 is a prime, and there is a primitive root g modulo 101.
Then the table (a
i,j
)
0i,j9
such that a
i,j
g
10i+j
(mod 101) contains each num-
ber from 1, . . . , 100 exactly once. Now let a
0,p(0)
, . . . , a
9,p(9)
be scattered num-
bers; note that p(0), . . . , p(9) is a permutation of 0, . . . , 9, so p(0) + +p(9) = 45.
8
The product of numbers a
i,p(i)
is congruent to g
p(0)
g
10+p(1)
g
90+p(9)
= g
450+45
=
g
495
no matter which scattered cells are chosen, so this is an example of a Naissus
table.
6. Let p and q be two smallest (dierent) terms of the sequence. Assume that a
k
= p
and a
l
= q (k < l) and that (without loss of generality) a
m
/ p, q for k < m < l.
If l > k + 2 then a
k+3
= a
k+2
+ a
k+1
(otherwise a
k+3
= [a
k+2
a
k+1
[ = p) and
similarly a
l3
= a
l2
+ a
l1
. Now if a
m
is the maximal term between a
k
and a
l
,
we have k + 2 < m < l 2, so a
m+2
= a
m
a
m+1
= a
m1
and a
m+1
= a
m
a
m1
= a
m2
. Thus the sequence obtained by excluding terms a
m
, a
m+1
, a
m+2
will
still satisfy the imposed conditions. Substituting 5-tuples (u, v, u + v, u, v) in the
sequence with pairs (u, v) can be repeated until there is at most one term remaining
between p and q. However, if we go backward now, we will have to insert either p
or q in between. This leads to the concludion that in the original sequence there
could be at most one term between a
k
= p and a
l
= q; hence either l = k + 1 or
l = k + 2 (in the latter case, a
k+1
= p +q).
Denote v
k
= (1, 0), v
l
= (0, 1) and, for each i, v
i+2
=
i
v
i
+
i
v
i+1
if a
i+2
=
i
a
i
+
i
a
i+1
(
i
,
i
1, 1). A simple induction shows that if v
i
= (x
i
, y
i
) then a
i
=
x
i
p+y
i
a
k+1
. Since x
i+1
y
i+2
x
i+2
y
i+1
= x
i+1
(
i
y
i
+
i
y
i+1
)(
i
x
i
+
i
x
i+1
)y
i+1
=
i
(x
i
y
i+1
x
i+1
y
i
), it follows that for each i we have x
i
y
i+1
x
i+1
y
i
1, 1,
so (x
i
, y
i
) = 1. Suppose that x
i
< 0 or y
i
< 0 for some i > k (at least one of
x
i
, y
i
must be positive because so is a
i
), and let j be the smallest such i. Since
x
j
y
j1
x
j1
y
j
1, 1 (i x
j
y
j
< 0), it follows that v
j1
(0, 1), (1, 0),
so keeping in mind that either v
j
= v
j1
v
j2
or v
j
= v
j2
v
j1
we can
deduce that v
j2
(1, 0), (0, 1). (Indeed, x
j2
, y
j2
0, so if we assume e.g.
v
j1
= (0, 1), relation x
j2
y
j1
x
j1
y
j2
1, 1 will imply x
j2
= 1, which
together with v
j
= (v
j1
v
j2
) and x
j
y
j
< 0 implies y
j2
= 0.) It follows that
v
j
(1, 1), (1, 1) and a
j
= [p q[ < maxp, q, contradicting the choice of p
and q.
This shows that, if p, q are two smallest terms of the sequence, then each term is
of the form a
i
= x
i
p + y
i
q with x
i
, y
i
N and (x
i
, y
i
) = 1. Note that p and q
must be coprime. Now let m = da
0
= ea
n
. There exist x
0
, y
0
, x
n
, y
n
N such that
(x
0
, y
0
) = (x
n
, y
n
) = 1 and a
0
= x
0
p +y
0
q, a
n
= x
n
p +y
n
q, so m = dx
0
p +dy
0
q =
ex
n
p + ey
n
q and (dx
0
, dy
0
) ,= (ex
n
, ey
n
). Consequently, p [ dy
0
ey
n
, so dy
0
> p
or ey
n
> p, which nally implies m > pq and therefore min(p, q) <
m.
9
The 27-th Balkan Mathematical Olympiad was held from May 2 to May 8 in
Chisinau in Moldova. The results of Serbian contestants are given in the following
table:
1 2 3 4 Total
Teodor von Burg 10 10 10 8 38 Gold Medal
Luka Milicevic 10 10 9 7 36 Gold Medal
Rade
Spegar 10 1 10 2 23 Bronze Medal
Mihajlo Cekic 10 10 1 0 21 Bronze Medal
Stevan Gajovic 10 10 4 2 26 Silver Medal
Dusan Milijancevic 10 10 1 4 25 Silver Medal
After the contest, 8 contestants (7 ocially + 1 unocially) with 35-40 points
were awarded gold medals, 24 (13+11) with 25-34 points were awarded silver
medals, and 43 (19+24) with 12-24 points were awarded bronze medals. The most
successful contestant was Teodor von Burg from Serbia with 38 points.
The unocial ranking of the teams is given below:
Member Countries Guest Teams
1. Romania 186 Kazakhstan 160
2. Serbia 169 Italy 137
3. Bulgaria 159 United Kingdom 115
4. Turkey 151 France 112
5. Moldova 128 Azerbaijan 87
6. Greece 94 Turkmenistan 79
7. FYR Macedonia 79 Moldova 2 66
8. Cyprus 58 Saudi Arabia 66
9. Montenegro 16 Tajikistan 55
10. Albania 10
10
BALKAN MATHEMATICAL OLYMPIAD
Chisinau, Moldova , 04.05.2010.
1. If a, b and c are positive real numbers, prove that
a
2
b(b c)
a +b
+
b
2
c(c a)
b +c
+
c
2
a(a b)
c +a
0
(Saudi Arabia)
2. Let ABC be an acute-angled triangle with orthocenter H and let M be the midpoint
of AC. The foot of the altitude from C is C
1
. Point H
1
is symmetric to H in AB.
The projections of C
1
on lines AH
1
, AC and BC are P, Q and R respectively. If
M
1
is the circumcenter of triangle PQR, prove that the point symmetric to M
with respect to M
1
lies on line BH
1
. (Serbia)
3. We dene a w-strip as the set of all points in the plane that are between or on two
parallel lines on a mutual distance w. Let S be a set of n points in the plane such
that any three points from S can be covered by a 1-strip. Show that the entire set
S can be covered by a 2-strip. (Romania)
4. For every integer n 2, denote by f(n) the sum of positive integers not exceeding
n that are not coprime to n. Prove that f(n + p) ,= f(n) for any such n and any
prime number p. (Turkey)
Time allowed: 270 minutes.
Each problem is worth 10 points.
11
SOLUTIONS
1. The left-hand side is equal to
a
3
b
3
+b
3
c
3
+c
3
a
3
a
3
b
2
c b
3
c
2
a c
3
a
2
b
(a +b)(b +c)(c +a)
,
so it is enough to show that a
3
b
3
+b
3
c
3
+c
3
a
3
a
3
b
2
c+b
3
c
2
a+c
3
a
2
b. The AM-GM
inequality gives us a
3
b
3
+ a
3
b
3
+ a
3
c
3
3
3
a
3
b
3
a
3
b
3
a
3
c
3
= 3a
3
b
2
c; summing
this inequality and its cyclic analogs yields the desired inequality.
Equality holds if and only if a = b = c.
2. We shall use the following simple statement.
Lemma. Let A
1
A
2
A
3
A
4
be a convex cyclic quadrilateral whose diagonals
are orthogonal and meet at X. If B
i
is the midpoint of side A
i
A
i+1
and
X
i
the projection of X on this side (A
5
= A
1
), then the eight points B
i
, X
i
(i = 1, 2, 3, 4) lie on a circle.
Proof. Quadrilateral B
1
B
2
B
3
B
4
is a rectangle because B
1
B
2
| B
3
B
4
| A
1
A
3
and B
2
B
3
| B
4
B
1
| A
2
A
4
. Denote by k the circumcircle of B
1
B
2
B
3
B
4
.
Since B
3
XA
3
= A
4
A
3
A
1
= A
4
A
2
A
1
= A
1
XX
1
, points B
3
, X, X
1
are collinear, so X
1
lies on the circle with diameter B
1
B
3
, i.e. k. Similarly,
X
2
, X
3
, X
4
lie on k.
It is known that H
1
lies on the circum-
circle of ABC. By the lemma, points
P, Q, R all lie on the circle with diam-
eter MN, where N is the midpoint of
BH
1
. Therefore N is symmetric to M
with respect to M
1
and lies on BH
1
as
desired.
A B
C
C
1
H
1
M
Q
R
P
N
M
1
3. Of all triangles with the vertices in S, consider one with a maximum area, say
ABC. Let A
, B
, C
. Indeed, if X S is outside A
,
we can assume without loss of generality that X and BC are on dierent sides of
B
, being similar
to ABC with ratio 2, can be covered by a 2-strip, also covering all of S.
12
4. There are n+1 (n) nonnegative integers not coprime with n, and whenever r is
among them, so is nr. This gives us the formula f(n) =
1
2
n(n+1(n)). Suppose
that f(n) = f(n +p). We observe rst that n and n +p divide 2f(n) < n(n +p),
so n and n +p are not coprime, which implies that n = kp for some k N. Then
the equality f(n) = f(n +p) is equivalent to k(kp +1 (kp)) = (k +1)(kp +p +
1 (kp +p)), so
kp + 1 (kp) = (k + 1)x and kp +p + 1 (kp +p) = kx (1)
for some x N, x < p. Subtraction gives us x = (kp + p) (kp) p. Since
(kp) and (kp+p) are both divisible by p1 (by the formula for (n)), we obtain
x 1 (mod p 1).
If p = 2 then x = 1 and (2k +2) = k +3, which is impossible because (2k +2)
k + 1. If p = 3 then x = 1 and (3k + 3) = 2k + 4, again impossible because
(3k + 3) 2k + 2. Therefore p 5, so x 1 (mod p 1) implies x = p 2.
Plugging this value in (1) leads to
(kp) = 2k + 3 p and (kp +p) = 2k + 1 +p.
If k is divisible by p, then (kp) is also divisible by p, so p [ 2k + 3 and hence
p [ 3, a contradiction. Similarly, p k + 1. It follows that (kp) = (p 1)(k) and
(kp +p) = (p 1)(k + 1) which together with (1) yields
(k) =
2k + 2
p 1
1 and (k + 1) =
2k + 2
p 1
+ 1.
From here we see that (t) is not divisible by 4 either for t = k or for t = k + 1,
which is only possible if t = q
i
or t = 2q
i
for some odd prime q and i N, or
t 1, 2, 4. The cases t = 1, 2, 4 are easily ruled out, so either k or k +1 is of the
form q
i
or 2q
i
. For t = k = q
i
, (q
i
) + 1 = q
i1
(q 1) + 1 divides 2q
i
+ 2 which
is impossible because q
i
+ 1 > q
i1
(q 1) + 1 >
2
3
(2q
i
+ 2). The other three cases
are similarly shown to be impossible.