Pro and Sol
Pro and Sol
SELECTION OF
PROBLEMS AND SOLUTIONS
Hanoi, 2009
Contents
1 Questions 6
1.1 Olympic 1994 . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.1 Day 1, 1994 . . . . . . . . . . . . . . . . . . . . . 6
1.1.2 Day 2, 1994 . . . . . . . . . . . . . . . . . . . . . 7
1.2 Olympic 1995 . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1 Day 1, 1995 . . . . . . . . . . . . . . . . . . . . . 9
1.2.2 Day 2, 1995 . . . . . . . . . . . . . . . . . . . . . 10
1.3 Olympic 1996 . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.1 Day 1, 1996 . . . . . . . . . . . . . . . . . . . . . 12
1.3.2 Day 2, 1996 . . . . . . . . . . . . . . . . . . . . . 14
1.4 Olympic 1997 . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4.1 Day 1, 1997 . . . . . . . . . . . . . . . . . . . . . 16
1.4.2 Day 2, 1997 . . . . . . . . . . . . . . . . . . . . . 17
1.5 Olympic 1998 . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.1 Day 1, 1998 . . . . . . . . . . . . . . . . . . . . . 19
1.5.2 Day 2, 1998 . . . . . . . . . . . . . . . . . . . . . 20
1.6 Olympic 1999 . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6.1 Day 1, 1999 . . . . . . . . . . . . . . . . . . . . . 21
1.6.2 Day 2, 1999 . . . . . . . . . . . . . . . . . . . . . 22
1.7 Olympic 2000 . . . . . . . . . . . . . . . . . . . . . . . . 23
1.7.1 Day 1, 2000 . . . . . . . . . . . . . . . . . . . . . 23
1.7.2 Day 2, 2000 . . . . . . . . . . . . . . . . . . . . . 25
1.8 Olympic 2001 . . . . . . . . . . . . . . . . . . . . . . . . 26
1.8.1 Day 1, 2001 . . . . . . . . . . . . . . . . . . . . . 26
2
CONTENTS 3
2 Solutions 44
2.1 Solutions of Olympic 1994 . . . . . . . . . . . . . . . . . 44
2.1.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 44
2.1.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 47
2.2 Solutions of Olympic 1995 . . . . . . . . . . . . . . . . . 50
2.2.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 50
2.2.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 53
2.3 Solutions of Olympic 1996 . . . . . . . . . . . . . . . . . 58
CONTENTS 4
2.3.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 64
2.4 Solutions of Olympic 1997 . . . . . . . . . . . . . . . . . 69
2.4.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 69
2.4.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 75
2.5 Solutions of Olympic 1998 . . . . . . . . . . . . . . . . . 79
2.5.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 79
2.5.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 83
2.6 Solutions of Olympic 1999 . . . . . . . . . . . . . . . . . 87
2.6.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 87
2.6.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 92
2.7 Solutions of Olympic 2000 . . . . . . . . . . . . . . . . . 96
2.7.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 96
2.7.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 100
2.8 Solutions of Olympic 2001 . . . . . . . . . . . . . . . . . 105
2.8.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 105
2.8.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 108
2.9 Solutions of Olympic 2002 . . . . . . . . . . . . . . . . . 113
2.9.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 113
2.9.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 117
2.10 Solutions of Olympic 2003 . . . . . . . . . . . . . . . . . 120
2.10.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 120
2.10.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 126
2.11 Solutions of Olympic 2004 . . . . . . . . . . . . . . . . . 130
2.11.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 130
2.11.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 137
2.12 Solutions of Olympic 2005 . . . . . . . . . . . . . . . . . 140
2.12.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 140
2.12.2 Day 2 . . . . . . . . . . . . . . . . . . . . . . . . 146
2.13 Solutions of Olympic 2006 . . . . . . . . . . . . . . . . . 151
2.13.1 Day 1 . . . . . . . . . . . . . . . . . . . . . . . . 151
CONTENTS 5
Questions
6
1.1. Olympic 1994 7
Let α ∈ R\{0} and suppose that F and G are linear maps (operators)
from Rn satisfying F ◦ G − G ◦ F = αF .
a) Show that for all k ∈ N one has F k ◦ G − G ◦ F k = αkF k .
b) Show that there exists k ≥ 1 such that F k = 0.
Problem 5. (18 points)
a) Let f ∈ C[0, b], g ∈ C(R) and let g be periodic with period b. Prove
Rb
that f (x)g(nx)dx has a limit as n → ∞ and
0
Zb Zb Zb
1
lim f (x)g(nx)dx = f (x)dx g(x)dx.
n→∞ b
0 0 0
b) Find
Zπ
sin x
lim dx.
n→∞ 1 + 3 cos2 nx
0
Problem 6. (25 points)
Let f ∈ C 2 [0, N ] and |f 0 (x)| < 1, f ”(x) > 0 for every x ∈ [0, N ]. Let
0 ≤ m0 < m1 < · · · < mk ≤ N be integers such that ni = f (mi ) are also
integers for i = 0, 1, . . . , k. Denote bi = ni - ni-1 and ai = mi - mi-1 for
i = 1,2, ... , k.
a) Prove that
b1 b2 bk
−1 < < < ··· < < 1.
a1 a2 ak
N
b) Prove that for every choice of A > 1 there are no more than
A
indices j such that aj > A.
c) Prove that k ≤ 3N 2/3 (i.e. there are no more than 3N 2/3 integer
points on the curve y = f (x), x ∈ [0, N ]).
Let f ∈ C 1 [a, b], f (a) = 0 and suppose that λ ∈ R, λ > 0, is such that
for all x ∈ [a, b]. Is it true that f (x) = 0 for all x ∈ [a, b]?
Problem 2. (14 points)
2 2
Let f : R2 → R be given by f (x, y) = (x2 − y 2 )e−x −y .
a) Prove that f attains its minimum and its maximum.
∂f ∂f
b) Determine all points (x, y) such that (x, y) = (x, y) = 0 and
∂x ∂y
determine for which of them f has global or local minimum or maximum.
Problem 3. (14 points)
Let f be a real-valued function with n + 1 derivatives at each point
of R. Show that for each pair of real numbers a, b, a < b, such that
f (b) + f 0 (b) + · · · + f (n) (b)
ln =b−a
f (a) + f 0 (a) + · · · + f (n) (a)
there is a number c in the open interval (a, b) for which
lim f 0 (x) = −∞
x→0+
and
lim f ”(x) = +∞.
x→0+
Show that
f (x)
lim = 0.
x→0+ f 0 (x)
1.2. Olympic 1995 10
Show that F is one-to-one (i.e. injective) and find the range (i.e. set of
values) of F .
Problem 5. (20 points)
Let A and B be real n × n matrices. Assume that there exist n + 1
different real numbers tl , t2 , . . . , tn+1 such that the matrices
Ci = A + ti B, i = 1, 2, . . . , n + 1,
(x − y)2 ≤ Kp (4 − (x + y)2 ).
b) Prove that for every odd continuous function f on [−1, 1] and for
every > 0 there is a positive integer n and real numbers µ1 , . . . , µn such
that n
X
max f (x) − µk x2k+1 < .
x∈[−1,1]
k=1
Recall that f is odd means that f (x) = −f (−x) for all x ∈ [−1, 1].
Problem 5. (10+15 points)
a) Prove that every function of the form
N
a0 X
f (x) = + cos x + an cos(nx)
2 n=2
with |a0 | < 1, has positive as well as negative values in the period [0, 2π).
b) Prove that the function
100
3
X
F (x) = cos(n 2 x)
n=1
and
sup{|fn (x)| : x ∈ [0, 1] and n = 1, 2, . . .} < +∞.
Show that there exists no subsequence {fnk } of {fn } such that lim fnk (x)
k→∞
exists for all x ∈ [0, 1].
Show that
(a) C(L) = lenght (L) if L is a closed line segment;
(b) C(E) ≥ K(E);
1.3. Olympic 1996 14
lim (xn+1 − xn ) = 0.
n→∞
a11 a12
Let H consist of those matrices a a in G for which a11 = a22 = 1.
21 22
(a) Show that H is an abelian subgroup of G.
(b) Show that H is not finitely generated.
Remarks. GL2 (R) denotes, as usual, the group (under matrix mul-
tiplication) of all 2 × 2 invertible matrices with real entries (elements).
1.3. Olympic 1996 15
Problem 1.
Let {n }∞
n=1 be a sequence of positive real numbers, such that lim n =
n→∞
0. Find n
1 X k
lim ln + n ,
n→∞ n n
k=1
where ln denotes the natural logarithm.
Problem 2.
P∞
Suppose an converges. Do the following sums have to converge as
n=1
well?
a) a1 + a2 + a4 + a3 + a8 + a7 + a6 + a5 + a16 + a15 + · · · + a9 + a32 + · · ·
b) a1 + a2 + a3 + a4 + a5 + a7 + a6 + a8 + a9 + a11 + a13 + a15 + a10 +
a12 + a14 + a16 + a17 + a19 + · · ·
Justify your answers.
Problem 3.
Let A and B be real n × n matrices such that A2 + B 2 = AB. Prove
that if BA − AB is an invertible matrix then n is divisible by 3.
Problem 4.
Let α be a real number, 1 < α < 2.
a) Show that α has a unique representation as an infinite product
1 1
α= 1+ 1+ ...
n1 n2
b) Show that α is rational if and only if its infinite product has the
following property:
For some m and all k ≥ m,
nk+1 = n2k .
Problem 5. For a natural n consider the hyperplane
n n
X o
n n
R0 = x = (x1 , x2 , . . . , xn ) ∈ R : xi = 0
i=1
1.4. Olympic 1997 17
and the lattice Z0n = {y ∈ R0n : all yi are integers}. Define the (quasi-
P n 1/p
p
)norm in Rn by k x kp = |xi | if 0 < p < ∞, and k x k∞ =
i=1
max|xi |.
i
a) Let x ∈ R0n be such that
maxxi − minxi ≤ 1.
i i
k x kp ≤k x + y kp .
b) For every p ∈ (0, 1), show that there is an n and an x ∈ R0n with
maxxi − minxi ≤ 1 and an y ∈ Z0n such that
i i
k x kp >k x + y kp .
Problem 1.
Let f be a C 3 (R) non-negative function, f (0) = f 0 (0) = 0, 0 < f 00 (0).
Let
pf (x) 0
g(x) =
f 0 (x)
for x 6= 0 and g(0) = 0. Show that g is bounded in some neighbourhood
of 0. Does the theorem hold for f ∈ C 2 (R)?
Problem 2.
1.4. Olympic 1997 18
a) (15 points) Prove that for every real x the following inequality
holds:
(n − 1)(P 0 (x))2 ≥ nP (x)P 00 (x). (2)
b) (5 points) Examine the cases of equality.
Problem 6. Let f : [0, 1] → R be a continuous function with the
property that for any x and y in the interval,
xf (y) + yf (x) ≤ 1.
Evaluate
sup max |f 00 (x)|
f ∈P −1≤x≤1
and find all polynomials f ∈ P for which the above ”sup” is attained.
Problem 3. (20 points) Let 0 < c < 1 and
x
for x ∈ [0, c],
f (x) = 1c − x
for x ∈ [c, 1].
1−c
1.6. Olympic 1999 21
f (f (. . . f ( p))) = p
| {z }
n
and n is the smallest number with this property. Prove that for every
n ≥ 1 the set of n-periodic points is non-empty and finite.
Problem 4. (20 points) Let An = {1, 2, . . . , n}, where n ≥ 3. Let F
be the family of all non-constant functions f : An → An satisfying the
following conditions:
(1) f (k) ≤ f (k + 1) for k = 1, 2, . . . , n − 1,
(2) f (k) = f (f (k + 1)) for k = 1, 2, . . . , n − 1. Find the number of
functions in F.
Problem 5. (20 points)
Suppose that S is a family of spheres (i.e., surfaces of balls of positive
radius) in R2 , n ≥ 2, such that the intersection of any two contains at
most one point. Prove that the set M of those points that belong to at
least two different spheres from S is countable.
Problem 6. (20 points) Let f : (0, 1) → [0, ∞) be a function that is
zero except at the distinct points a1 , a2 , . . .. Let bn = f (an ).
∞
P
(a) Prove that if bn < ∞, then f is differentiable at at least one
n=1
point x ∈ (0, 1).
(b) Prove that for any sequence of non-negative real numbers (bn )∞
n=1
∞
bn = ∞, there exists a sequence (an )∞
P
with n=1 such that the function
n=1
f defined as above is nowhere differentiable.
Problem 1.
a) Show that for any m ∈ N there exists a real m × m matrix A such
that A3 = A + I, where I is the m × m identity matrix. (6 points)
1.6. Olympic 1999 22
(20 points)
Problem 3. Suppose that a function f : R → R satisfies the inequality
n
X
3k (f (x + ky) − f (x − ky)) ≤ 1 (1)
k=1
|A|
Prove that there exists an r 6= 0, such that |f (r)| ≥ . (20 points)
2
Problem 1.
Is it true that if f : [0, 1] → [0, 1] is
a) monotone increasing
b) monotone decreasing then there exists an x ∈ [0, 1] for which
f (x) = x?
1.7. Olympic 2000 24
Problem 2.
Let p(x) = x5 + x and q(x) = x5 + x2 . Find all pairs (w, z) of complex
numbers with w 6= z for which p(w) = p(z) and q(w) = q(z).
Problem 3.
A and B are square complex matrices of the same size and
rank(AB − BA) = 1.
Problem 5.
Let R be a ring of characteristic zero (not necessarily commutative).
Let e, f and g be idempotent elements of R satisfying e + f + g = 0.
Show that e = f = g = 0.
(R is of characteristic zero means that, if a ∈ R and n is a positive
integer, then na 6= 0 unless a = 0. An idempotent x is an element
satisfying x = x2 .)
Problem 6.
Let f : R → (0, ∞ be an increasing differentiable function for which
lim f (x) = ∞ and f 0 is bounded.
x→∞
Rx
Let F (x) = f . Define the sequence (an ) inductively by
0
1
a0 = 1, an+1 = an + ,
f (an )
1.7. Olympic 2000 25
and the sequence (bn ) simply by bn = F −1 (n). Prove that lim (an −bn ) =
n→∞
0.
Problem 1.
a) Show that the unit square can be partitioned into n smaller squares
if n is large enough.
b) Let d ≥ 2. Show that there is a constant N (d) such that, whenever
n ≥ N (d), a d-dimensional unit cube can be partitioned into n smaller
cubes.
Problem 2. Let f be continuous and nowhere monotone on [0, 1]. Show
that the set of points on which f attains local minima is dense in [0, 1].
(A function is nowhere monotone if there exists no interval where the
function is monotone. A set is dense if each non-empty open interval
contains at least one element of the set.)
Problem 3. Let p(z) be a polynomial of degree n with complex coeffi-
cients. Prove that there exist at least n + 1 complex numbers z for which
p(z) is 0 or 1.
Problem 4. Suppose the graph of a polynomial of degree 6 is tangent
to a straight line at 3 points A1 , A2 , A3 , where A2 lies between A1 and
A3 .
a) Prove that if the lengths of the segments A1 A2 and A2 A3 are equal,
then the areas of the figures bounded by these segments and the graph
of the polynomial are equal as well.
A2 A3
b) Let k = and let K be the ratio of the areas of the appropriate
A1 A2
figures. Prove that
2 5 7
k < K < k5.
7 2
+
Problem 5. Let R be the set of positive real numbers. Find all
functions f : R+ → R+ such that for all x, y ∈ R+
∞ 1
A
An .
P
Problem 6. For an m × m real matrix A, e is defined as
n=0 n!
(The sum is convergent for all matrices.) Prove or disprove, that for all
real polynomials p and m × m real matrices A and B, p(eAB ) is nilpotent
if and only if p(eBA ) is nilpotent. (A matrix A is nilpotent if Ak = 0 for
some positive integer k.)
Problem 1.
Let n be a positive integer. Consider an n × n matrix with entries
1, 2, . . . , n2 written in order starting top left and moving along each row
in turn left-to-right. We choose n entries of the matrix such that exactly
one entry is chosen in each row and each column. What are the possible
values of the sum of the selected entries?
Problem 2.
Let r, s, t be positive integers which are pairwise relatively prime. If
a and b are elements of a commutative multiplicative group with unity
element e, and ar = bs = (ab)t = e, prove that a = b = e.
Does the same conclusion hold if a and b are elements of an arbitrary
noncommutative group?
P∞ tn
Problem 3. Find lim(1 − t) n
, where t % 1 means that t
t%1 n=1 1 + t
approaches 1 from below.
Problem 4.
Let k be a positive integer. Let p(x) be a polynomial of degree n each
of whose coefficients is −1, 1 or 0, and which is divisible by (x − 1)k . Let
q k
q be a prime such that < . Prove that the complex qth
ln q ln(n + 1)
roots of unity are roots of the polynomial p(x).
Problem 5.
Let A be an n × n complex matrix such that A 6= λI for all λ ∈ C.
1.8. Olympic 2001 27
and
f 0 (x) f (x)
0
+ a(x) = b(x).
g (x) g(x)
Prove that
f (x) B
lim = .
x→∞ g(x) A+1
Problem 1.
Let r, s ≥ 1 be integers and a0 , a1 . . . , ar−1 , b0 , b1 , . . . , bs−1 be real non-
negative numbers such that
= 1 + x + x2 + · · · + xr+s−1 + xr+s .
Prove that each ai and each bj equals either 0 or 1.
Problem 2.
√ q
2b
pn
p
Let a0 = 2, b0 = 2, an+1 = 2 − 4 − a2n , bn+1 = .
2 + 4 + b2n
a) Prove that the sequences (an ), (bn ) are decreasing and converge to
0.
b) Prove that the sequence (2n an ) is increasing, the sequence (2n bn )
is decreasing and that these two sequences converge to the same limit.
c) Prove that there is a positive constant C such that for all n the
C
following inequality holds: 0 < bn − an < n .
8
Problem 3.
1.9. Olympic 2002 28
(aσ(k),σ(l) )k,l=1...,n
Problem 6.
For each positive integer n, let fn (ϑ) = sin ϑ. sin(2ϑ). sin(4ϑ) . . . sin(2n ϑ).
For all real ϑ and all n, prove that
2 π
|fn (ϑ)| ≤ √ fn √ .
3 3
Show that
a1 − b1 a2 − b2 an − b n
+ + ··· + = 0. (1)
1 2 n
Problem 4. Let f : [a, b] → [a, b] be a continuous function and let
p ∈ [a, b]. Define p0 = p and pn+1 = f (pn ) for n = 0, 1, 2, . . .. Suppose
that the set Tp = {pn : n = 0, 1, 2, . . .} is closed, i.e., if x ∈
/ Tp then there
is a δ > 0 such that for all x0 ∈ Tp we have |x0 − x| ≥ δ. Show that Tp
has finitely many elements.
Problem 5. Prove or disprove the following statements:
(a) There exists a monotone function f : [0, 1] → [0, 1] such that for
each y ∈ [0, 1] the equation f (x) = y has uncountably many solutions x.
(b) There exists a continuously differentiable function f : [0, 1] →
[0, 1] such that for each y ∈ [0, 1] the equation f (x) = y has uncountably
many solutions x.
Problem 6. For an n × n matrix M with real entries let k M k=
k M x k2
sup , where k . k2 denotes the Euclidean norm on Rn . As-
x∈Rn \{0} k x k2
sume that an n × n matrix A with real entries satisfies k Ak − Ak−1 k≤
1
for all positive integers k. Prove that k Ak k≤ 2002 for all positive
2002k
integers k.
be two participants such that every problem was solved by at least one
of these two students.
Problem 3. For each n ≥ 1 let
∞ ∞
X kn X
kk
n
an = , bn = (−1) .
k! k!
k=0 k=0
Show that an .bn is an integer.
Problem 4. In the tetrahedron OABC, let ∠BOC = α, ∠COA = β
and ∠AOB = γ. Let σ be the angle between the faces OAB and OAC,
and let τ be the angle between the faces OBA and OBC. Prove that
γ > β. cos σ + α cos τ.
Problem 5. Let A be an n×n matrix with complex entries and suppose
that n > 1. Prove that
−1
AA = In ⇔ ∃S ∈ GLn (C such that A = SS .
(If A = [aij ] then A = [aij ], where aij is the complex conjugate of
aij ; GLn (C) denotes the set of all n × n invertible matrices with complex
entries, and In is the identity matrix.)
Problem 6. Let f : Rn → R be a convex function whose gradient ∇f =
∂f ∂f
,..., exists at every point of Rn and satisfies the condition
∂x1 ∂xn
∃L > 0 ∀x1 , x2 ∈ Rn k ∇f (x1 ) − ∇f (x2 ) k≤ L k x1 − x2 k .
Prove that
∀x1 , x2 ∈ Rn k ∇f (x1 ) − ∇f (x2 ) k2 ≤ L < ∇f (x1 ) − ∇f (x2 ), x1 − x2 > .
(1)
In this formula < a, b > denotes the scalar product of the vectors a and
b.
Problem 1.
1.10. Olympic 2003 31
(10 points)
Problem 2. Let a1 , a2 , . . . , a51 be non-zero elements of a field. We
simultaneously replace each element with the sum of the 50 remaining
ones. In this way we get a sequence b1 , . . . , b51 . If this new sequence
is a permutation of the original one, what can be the characteristic of
the field? (The characteristic of a field is p, if p is the smallest positive
{z· · · + x} = 0 for any element x of the field. If
integer such that |x + x +
p
there exists no such p, the characteristic is 0.) (20 points)
Problem 3. Let A be an n × n real matrix such that 3A3 = A2 + A + I
(I is the identity matrix). Show that the sequence Ak converges to an
idempotent matrix. (A matrix B is called idempotent if B 2 = B.) (20
points)
Problem 4. Determine the set of all pairs (a, b) of positive integers for
which the set of positive integers can be decomposed into two sets A and
B such that a.A = b.B. (20 points)
Problem 5. Let g : [0, 1] → R be a continuous function and let fn :
[0, 1] → R be a sequence of functions defined by f0 (x) = g(x) and
Zx
1
fn+1 (x) = fn (t)dt (x ∈ (0, 1], n = 0, 1, 2, . . .).
x
0
1.10. Olympic 2003 32
Problem 4. Find all positive integers n for which there exists a family
F of three-element subsets of S = {1, 2, . . . , n} satisfying the following
two conditions:
(i) for any two different elements a, b ∈ S, there exists exactly one
A ∈ F containing both a, b;
(ii) if a, b, c, x, y, z are elements of S such that if {a, b, x}, {a, c, y}, {b, c, z} ∈
F, then {x, y, z} ∈ F.
Problem 5. a) Show that for each function f : Q × Q → R there exists
a function g : Q → R such that f (x, y) ≤ g(x) + g(y) for all x, y ∈ Q.
b) Find a function f : R × R → R for which there is no function
g : R → R such that f (x, y) ≤ g(x) + g(y) for all x, y ∈ R.
1.11. Olympic 2004 33
P (P (. . . (P (x)) . . .)) = 0?
| {z }
2004
[20 points]
n
P
Problem 3. Let Sn be the set of all sums xk , where n ≥ 2, 0 ≤
k=1
π
x1 , x2 , . . . , xn ≤ and
2 n
X
sin xk = 1.
k=1
a) Show that Sn is an interval. [10 points]
b) Let ln be the length of Sn . Find lim ln . [10 points]
n→∞
Problem 4. Suppose n ≥ 4 and let M be a finite set of n points in
R3 , no four of which lie in a plane. Assume that the points can be
coloured black or white so that any sphere which intersects M in at
least four points has the property that exactly half of the points in the
1.11. Olympic 2004 34
intersection of M and the sphere are white. Prove that all of the points
in M lie on one sphere. [20 points]
Problem 5. Let X be a set of 2k−4
k−2 + 1 real numbers, k ≤ 2. Prove
that there exists a monotone sequence {xn }ki=1 ⊇ X such that
|xi+1 − x1 | ≥ 2|xi − x1 |
Rb p Rb p
and f (t)dt = g(g)dt.
a a
1.12. Olympic 2005 35
Rb p Rb p
Prove that 1 + f (t)dt ≥ 1 + g(t)dt. [20 points]
a a
Problem 3. Let D be the closed unit disk in the plane, and let
p1 , p2 , . . . , pn be fixed points in D. Show that there exists a point p
in D such that the sum of the distances of p to each of p1 , p2 , . . . , pn is
greater than or equal to 1. [20 points]
Problem 4. For n ≥ 1 let M be an n × n complex matrix with dis-
tinct eigenvalues λ1 , λ2 , . . . , λk , with multiplicities m1 , m2 , . . . , mk , re-
spectively. Consider the linear operator LM defined by LM (X) = M X +
XM T , for any complex n × n matrix X. Find its eigenvalues and their
multiplicities. (M T denotes the transpose of M ; that is, if M = (mk,l ),
then M T = (ml,k ).) [20 points]
Problem 5. Prove that
Z1 Z1
dxdy
≤ 1.
x−1 + |ln y| − 1
0 0
[20 points]
Problem 6. For n ≥ 0 define matrices An and Bn as follows: A0 =
B0 = (1) and for every n > 0
An−1 An−1 An−1 An−1
An = A and Bn = A .
n−1 Bn−1 n−1 0
Denote the sum of all elements of a matrix M by S(M ). Prove that
S(An−1 n−1
k ) = S(Ak ) for every n, k ≥ 1. [20 points]
and
Bn = {(x1 , x2 , . . . , xn ) ∈ Sn : ∀i ≤ n − 1 (xi = xi+1 ⇒ xi 6= 0)}.
Prove that |An+1 = 3.|Bn |. (|A| denotes the number of elements of the
set A.)
Problem 3. Let f : R → [0, ∞) be a continuously differentiable func-
tion. Prove that
Z1 Z1 Z1 2
3 2 0
f (x)dx − f (0) f (x)dx ≤ max |f (x)| f (x)dx .
0≤x≤1
0 0 0
Problem 4. Find all polynomials P (x) = an xn + an−1 xn−1 + · · · + a1 x +
a0 (an 6= 0) satisfying the following two conditions:
(i) (a0 , a1 , . . . , an ) is a permutation of the numbers (0, 1, ..., n)
and
(ii) all roots of P (x) are rational numbers.
Problem 5. Let f : (0, ∞) → R be a twice continuously differentiable
function such that
|f 00 (x) + 2xf 0 (x) + (x2 + 1)f (x)| ≤ 1
for all x. Prove that lim f (x) = 0.
x→∞
Problem 6. Given a group G, denote by G(m) the subgroup generated
by the mth powers of elements of G. If G(m) and G(n) are commutative,
prove that G(gcd(m, n)) is also commutative. (gcd(m, n) denotes the
greatest common divisor of m and n.)
∀X, Y ∈ V trace(XY ) = 0.
1. x < 102006 ;
2. x2 − x is divisible by 102006 .
(20 points)
Problem 3. Let A be an n×n-matrix with integer entries and b1 , . . . , bk
be integers satisfying detA = b1 . . . bk . Prove that there exist n × n-
matrices B1 , . . . , Bk with integer entries such that A = B1 . . . Bk and
detBi = bi for all i = 1, . . . , k. (20 points)
Problem 4. Let f be a rational function (i.e. the quotient of two real
polynomials) and suppose that f (n) is an integer for infinitely many
integers n. Prove that f is a polynomial. (20 points)
Problem 5. Let a, b, c, d, e > 0 be real numbers such that a2 + b2 + c2 =
d2 + e2 and a4 + b4 + c4 = d4 + e4 . Compare the numbers a3 + b3 + c3
and d3 + e3 . (20 points)
Problem 6. Find all sequences a0 , a1 , . . . , an of real numbers where
n ≥ 1 and an 6= 0, for which the following statement is true:
If f : R → R is an n times differentiable function and x0 < x1 < · · · <
xn are real numbers such that f (x0 ) = f (x1 ) = · · · = f (xn ) = 0 then
there exists an h ∈ (x0 , xn ) for which
(20 points)
(x + m)3 = nx
Find all values of k for which all homogeneous polynomials with k vari-
ables of degree 2 are good.
(A polynomial is homogeneous if each term has the same total degree.)
Problem 4. Let G be a finite group. For arbitrary sets U, V, W ⊂ G,
denote by NU V W the number of triples (x, y, z) ∈ U × V × W for which
xyz is the unity.
Suppose that G is partitioned into three sets A, B and C (i.e. sets
A, B, C are pairwise disjoint and G = A ∪ B ∪ C). Prove that NABC =
NCBA .
Problem 5. Let n be a positive integer and a1 , . . . , an be arbitrary
Pn
integers. Suppose that a function f : Z → R satisfies f (k + ai l) = 0
i=1
whenever k and l are integers and l 6= 0. Prove that f = 0.
Problem 6. How many nonzero coefficients can a polynomial P (z) have
if its coefficients are integers and |P (z) 6 2| for any complex number z
of unit length?
1.15. Olympic 2008 41
Find det A.
Problem 6. Let f 6= 0 be a polynomial with real coefficients. Define
the sequence f0 , f1 , f2 , . . . of polynomials by f0 = f and fn+1 = fn + fn0
for every n > 0. Prove that there exists a number N such that for every
n > N , all roots of fn are real.
b) Does there exist an a ∈ Z such that the product p(a1 ).p(a2 ) . . . p(ak )
divides p(a)?
Problem 4. We say a triple (a1 , a2 , a3 ) of nonnegative reals is better
than another triple (b1 , b2 , b3 ) if two out of the three following inequalities
a1 > b1 , a2 > b2 , a3 > b3 are satisfied. We call a triple (x, y, z) special if
x, y, z are nonnegative and x + y + z = 1. Find all natural numbers n for
which there is a set S of n special triples such that for any given special
triple we can find at least one better triple in S.
Problem 5. Does there exist a finite group G with a normal subgroup
H such that |Aut H| > |Aut G|?
Problem 6. For a permutation σ = (i1 , i2 , . . . , in ) of (1, 2, . . . , n) define
Pn
D(σ) = |ik − k|. Let Q(n, d) be the number of permutations σ of
k=1
(1, 2, . . . , n) with d = D(σ). Prove that Q(n, d) is even for d > 2n.
Solutions
Problem 1.
Denote by aij and bij the elements of A and A−1 , respectively. Then
Pn
for k 6= m we have aki bim = 0 and from the positivity of aij we
i=0
conclude that at least one of {bim : 1, 2, . . . , n} is positive and at least
one is negative. Hence we have at least two non-zero elements in every
column of A−1 . This proves part a). For part b) all bij are zero except
b1,1 = 2, bn,n = (−1)n , bi,i+1 = bi+1,i = (−1)i for i = 1, 2, . . . , n − 1.
Problem 2. From the inequality we get
d −1 f 0 (x)
(tan f (x) + x) = +1≥0
dx 1 + f 2 (x)
for x ∈ (a, b). Thus tan−1 f (x) + x is non-decreasing in the interval and
π π
using the limits we get + a ≤ − + b. Hence b − a ≥ pi. One has
2 2
equality for f (x) = cotgx, a = 0, b = π.
Problem 3. Let I be the set of irrational numbers, Q-the set of rational
numbers, Q+ = Q ∪ [0, ∞). We work by induction. For n = 1 the
statement is trivial. Let it be true for n − 1. We start to prove it
for n. From the induction argument there are n − 1 different elements
x1 , x2 , . . . , xn−1 ∈ S such that
a1 x1 + a2 x2 + · · · + an−1 xn−1 ∈ I
f orall a1 , a2 , . . . , an ∈ Q+ with a1 + a2 + · · · + an−1 > 0 (1)
44
2.1. Solutions of Olympic 1994 45
Also
n−1
X n−1
X
+
dk xn+k = R for some dk ∈ Q , dk > 0, R ∈ Q. (3)
k=0 k=0
b) Consider the linear operator L(F ) = F ◦G−G◦F acting over all n×n
matrices F . It may have at most n2 different eigenvalues. Assuming that
F k 6= 0 for every k we get that L has infinitely many different eigenvalues
αk in view of a) -a contradiction.
Rb
Problem 5. Set k g k1 = |g(x)|dx and
0
n Zb
1X
= f (bk/n) g(x)dx + O(ω(f, b/n) k g k1 )
n
k=1 0
bk/n Zb
n Z
1X
= f (x)dx g(x)dx
n
k=1 0
b(k−1)/n
bk/n
n
1 Xb
Z Zb
+ f (bk/n) − f (x)dx g(x)dx + O(ω(f, b/n) k g k1 )
b n
k=1 0
b(k−1)/n
Zb Zb
1
= f (x)dx g(x)dx + O(ω(f, b/n) k g k1 ).
b
0 0
This proves a). For b) we set b = π, f (x) = sin x, g(x) = (1+3 cos2 x)−1 .
From a) and
Zπ Zπ
π
sin xdx = 2, (1 + 3 cos2 x)−1 dx =
2
0 0
we get
Zπ
sin x
lim dx = 1.
n→∞ 1 + 3 cos2 nx
0
Problem 6. a) For i = 1, 2, . . . , k we have
bi bi
for some xi ∈ (mi−1 , mi ). Hence = f 0 (xi ) and so −1 < < 1.
ai ai
bi
From the convexity of f we have that f 0 is increasing and = f 0 (xi ) <
ai
bi+1
f 0 (xi+1 ) = because of xi < mi < xi+1 .
ai+1
b) Set SA = {j ∈ {0, 1, . . . , k} : aj > A}. Then
k
X X
N ≥ mk − m0 = ai ≥ aj > A|SA |
i=1 j∈SA
N
and hence |SA < .
A
c) All different fractions in (−1, 1) with denominators less or equal A
N
are no more 2A2 . Using b) we get k < + 2A2 . Put A = N 1/3 in the
A
2/3
above estimate and get k < 3N .
2.1.2 Day 2
Similarly
y(1 + x2 − y 2 ) = 0. (2)
All solutions (x, y) of the system (1), (2) are (0, 0), (0, 1), (0, −1), (1, 0)
and (−1, 0). One has f (1, 0) = f (−1, 0) = e−1 and f has global maxi-
mum at the points (1, 0) and (−1, 0). One has f (0, 1) = f (0, −1) = −e−1
and f has global minimum at the points (0, 1) and (0, −1). The point
2
(0, 0) is not an extrema point because of f (x, 0) = x2 e−x > 0 if x 6= 0
2
and f (y, 0) = −y 2 e−y < 0 if y 6= 0.
Problem 3. Set g(x) = (f (x) + f 0 (x) + · · · + f (n) (x))e−x . From the
assumption one get g(a) = g(b). Then there exists c ∈ (a, b) such that
g 0 (c) = 0. Replacing in the last equality g 0 (x) = (f (n+1) (x) − f (x))e−x
we finish the proof.
Problem 4. Set A = (aij )ni,j=1 , B = (bij )ni,j=1 , AB = (xij )ni,j=1 and
BA = (yij )ni,j=1 . Then xij = aii bij and yij = ajj bij . Thus AB = BA
is equivalent to (aii − ajj )bij for i, j = 1, 2, . . . , n. Therefore bij = 0 if
aii 6= ajj and bij may be arbitrary if aii = ajj . The number of indices
(i, j) for which aii = ajj = cm for some m = 1, 2, . . . , k is d2m . This gives
the desired result.
Problem 5. We define π inductively. Set π(1) = 1. Assume π is defined
for i = 1, 2, . . . , n and also
n
X n
X
2
k xπ(i) k ≤ k xπ(i) k2 . (1)
i=1 i=1
Note (1) is true for n = 1. We choose π(n+1) in a way that (1) is fulfilled
Pn
with n+1 instead of n. Set y = xπ(i) and A = {1, 2, . . . , k}\{π(i) : i =
i=1 P
1, 2, . . . , n}. Assume that (y, xr ) > 0 for all r ∈ A. Then y, xr > 0
P r∈A
and in view of y + xr = 0 one gets −(y, y) > 0, which is impossible.
r∈A
Therefore there is r ∈ A such that
(y, xr ) ≤ 0. (2)
2.1. Solutions of Olympic 1994 49
Problem 6. Obviously
N −2
ln 2 N X 1 ln 2 N N − 3 3
AN = ≥ . 2 =1− . (1)
N ln k.ln (N − k) N ln N N
k=2
N 1
Take M, 2 ≤ M < . Then using that is decreasing in
2 ln k.ln (N − k)
[2, N2 ] and the symmetry with respect to N2 one get
M N −M
X−1
ln 2 N n X X o 1
AN = + + N −2 ≤
N ln k.ln (N − k)
k=2 k=M +1 k=N −M
ln 2 N M −1 N − 2M − 1 o
≤ 2 + ≤
N ln 2.ln (N − 2) ln M.ln (N − M )
2 M ln N 2M ln N 1
≤ . + 1− +O
ln 2 N N ln M ln N
h N i
Choose M = + 1 to get
ln 2 N
2 ln N 1 ln ln N
AN ≤ 1 − +O ≤ 1+O . (2)
N ln 2 N ln N − 2ln ln N ln N ln N
Estimates (1) and (2) give
N −2
ln 2 N X 1
lim = 1.
N →∞ N ln k.ln (N − k)
k=2
2.2. Solutions of Olympic 1995 50
we get
Z1 Z1 Z1 Z1
1
f 2 (x)dx ≥ 2 xf (x)dx − x2 dx = 2 xf (x)dx − .
3
0 0 0 0
R1 R1 R1 1 − x2 R1
From the hypotheses we have f (t)dtdx ≥ dx or tf (t)dt ≥
0 x 0 2 0
1
. This completes the proof.
3
Problem 3. Since f 0 tends to −∞ and f ” tends to +∞ as x tends to
0+, there exists an interval (0, r) such that f 0 (x) < 0 and f ”(x) > 0 for
all x ∈ (0, r). Hence f is decreasing and f 0 is increasing on (0, r). By
the mean value theorem for every 0 < x < x0 < r we obtain
for some ξ ∈ (x, x0 ). Taking into account that f 0 is increasing, f 0 (x) <
f 0 (ξ) < 0, we get
f 0 (ξ) f (x) − f (x0 )
x − x0 < 0 (x − x0 ) = < 0.
f (x) f 0 (x)
Taking limits as x tends to 0+ we obtain
f (x) f (x)
−x0 ≤ lim inf ≤ lim sup ≤ 0.
x→0+ f 0 (x) x→0+ f 0 (x)
2.2. Solutions of Olympic 1995 51
f (x)
Since this happens for all x0 ∈ (0, r) we deduce that limx→0+ exists
f 0 (x)
f (x)
and limx→0+ = 0.
f 0 (x)
Problem 4. From the definition we have
x−1
F 0 (x) = , x > 1.
ln x
Therefore F 0 (x) > 0 for x ∈ (1, ∞). Thus F is strictly increasing and
hence one-to-one. Since
2 1 2 x2 − x
F (x) ≥ (x − x) min{ :x≤t≤x }= →∞
ln t ln x2
as x → ∞, it follows that the range of F is (F (1+), ∞). In order to
determine F (l+) we substitute t = ev in the definition of F and we get
ln x
2Z
ev
F (x) = dv.
v
ln x
Hence
ln x
2Z
1
F (x) < e2lnx dv = x2 ln2
v
ln x
and similarly F (x) > x
ln2. Thus F (1+) = ln 2.
Problem 5. We have that
Problem 6. Let 0 < δ < 1. First we show that there exists Kp,δ > 0
such that
(x − y)2
f (x, y) = ≤ Kp,δ
4 − (x + y)2
for every (x, y) ∈ Dδ = {(x, y) : |x − y| ≥ δ, |x|p + |y|p = 2}.
Since Dδ is compact it is enough to show that f is continuous on
Dδ . For this we show that the denominator of f is different from zero.
x+y p
Assume the contrary. Then |x + y| = 2 and = 1. Since p > 1,
2
x+y p
the function g(t) = |t|p is strictly convex, in other words <
2
|x|p + |y|p x+y p
whenever x 6= y. So for some (x, y) ∈ Dδ we have <
2 2
|x|p + |y|p x+y p
=1= . We get a contradiction.
2 2
If x and y have different signs then (x, y) ∈ Dδ for all 0 < δ < 1
because then |x − y| ≥ max{|x|, |y|} ≥ 1 > δ. So we may further assume
without loss of generality that x > 0, y > 0 and xp +y p = 2. Set x = 1+t.
Then
We have
(x − y)2 = (2t + o(t))2 = 4t2 + o(t2 )
and
4 − (x + y)2 = 4 − (2 − (p − 1)t2 + o(t2 ))2
= 4 − 4 + 4(p − 1)t2 + o(t2 ) = 4(p − 1)t2 + o(t2 ).
So there exists δp > 0 such that if |t| < δp we have (x − y)2 < 5t2 , 4 −
2.2. Solutions of Olympic 1995 53
2.2.2 Day 2
Au = (v2 u3 − v3 u2 , v3 u1 − v1 u3 , v1 u2 − v2 u1 )T = v × u.
so an = 22−n . Then
N
X N
X N
X
n 2 n
bn 2 = (an − 1) 2 = [a2n 2n − an 2n+1 + 2n ]
n=1 n=1 n=1
XN
= [(an−1 − 1)2n − (an − 1)2n+1 ]
n=1
−N
1 N +1 22 −1
= (a0 − 1)2 − (aN − 1)2 =2−2 .
2−N
Put x = 2−N . Then x → 0 as N → ∞ and so
∞ −N
X
N
22 − 1 2x − 1
bn 2 = lim 2 − 2 −N = lim 2 − 2 = 2 − 2ln2.
n=1
N →∞ 2 x→0 x
Problem 3. It is enough to consider only polynomials with leading
coefficient 1. Let P (z) = (z − α1 )(z − α2 ) . . . (z − αn ) with |αj | = 1,
where the complex numbers α1 , α2 , . . . , αn may coincide.
We have
n n
k n
X X
2k+1
x− λk x = (−1) x2k+1 = x(1 − x2 )n .
k
k=1 k=0
Q
b) From the Weierstrass theorem there is a polynomial, say p ∈ m
such that
max |f (x) − p(x)| < .
x∈[−1,1] 2
2.2. Solutions of Olympic 1995 55
1
Set q(x) = {p(x) − p(−x)}. Then
2
1 1
f (x) − q(x) = {f (x) − p(x)} − {f (−x) − p(−x)}
2 2
and
1 1
max |f (x) − q(x)| ≤ max |f (x) − p(x)| + max |f (−x) − p(−x)| < .
|x|≤1 2 |x|≤1 2 |x|≤1 2
(1)
Q
But q is an odd polynomial in m and it can be written as
m
X m
X
2k+1
q(x) = bk x = b0 x + bk x2k+1 .
k=0 k=1
If b0 = 0 then (1) proves b). If b0 6= 0 then one applies a) with
2|b0 |
of to get
n
X
max b0 x − b0 λk x2k+1 < (2)
|x|≤1 2
k=1
for appropriate n and λ1 , λ2 , . . . , λn . Now b) follows from (1) and (2)
with max{n, m} instead of n.
Problem 5. a) Let us consider the integral
Z2π
f (x)(1 ± cos x)dx = π(a0 ± 1).
0
changes sign in the interval (y, y + h). The assertion will follow immedi-
ately from here.
2.2. Solutions of Olympic 1995 56
Hence
y+h Z∞
N Z N
X 3
X 1 dt
|I1 | = cos(xn 2 dx ≤ 2 3 < 2 1 + 3 = 6. (1)
n=1 n=1 n 2 t 2
y 1
Zy+h
1
= (1 + cos(2x))dx+
2
y
N Zy+h
1X 3 3
+ (cos(x(n 2 − 1)) + cos(x(n 2 + 1)))dx
2 n=2
y
1
= h + 4,
2
2.2. Solutions of Olympic 1995 57
where
N N
1 X 1 1 1 X 1
|4| ≤ 1+2 3 + 3 ≤ +2 3 .
2 n=2 n 2 − 1 n 2 + 1 2 n=2 n 2 − 1
3 2 3
We use that n 2 − 1 ≥ n 2 for n ≥ 3 and we get
3
N Z ∞
1 2 X 1 1 2 dt
|4| ≤ + 3 +3 3 < + √ + 3 3 < 6.
2 22 − 1 n=3 n 2 2 2 2 − 1 t 2
2
Hence
1
|I2 | > h − 6. (2)
2
We use that h ≥ 24 and inequalities (1), (2) and we obtain |I2 | > |I1 |.
The proof is completed.
Problem 6. It is clear that one can add some functions, say {gm },
which satisfy the hypothesis of the problem and the closure of the finite
linear combinations of {fn } ∪ {gm } is L2 [0, 1]. Therefore without loss of
generality we assume that {fn } generates L2 [0, 1].
Let us suppose that there is a subsequence {nk } and a function f such
that
fnk (x) → f (x) for every x ∈ [0, 1].
k→∞
Fix m ∈ N. From Lebesgue’s theorem we have
Z1 Z1
0= fm (x)fnk (x)dx → fm (x)f (x)dx.
k→∞
0 0
R1
Hence fm (x)f (x)dx = 0 for every m ∈ N, which implies f (x) = 0
0
almost everywhere. Using once more Lebesgue’s theorem we get
Z1 Z1
1= fn2k (x)dx → f 2 (x)dx = 0.
k→∞
0 0
n
2d 2d 0 . . . 0 n n−1 n
2d 2d 2d . . . 0 = (−1) (a0 +an )2 d .
det(A) = (−1) (a0 +an )det
.................
d d d ... d
Problem 2. We have
Zπ
sin nx
In = dx
(1 + 2x ) sin x
−π
Zπ Z0
sin nx sin nx
= dx + dx.
(1 + 2x ) sin x (1 + 2x ) sin x
0 −π
2.3. Solutions of Olympic 1996 59
For n ≥ 2 we have
Zπ
sin nx − sin(n − 2)x
In − In−2 = dx
sin x
0
Zπ
=2 cos(n − 1)xdx = 0.
0
The answer
0 if n is even,
In =
π if n is odd
follows from the above formula and I0 = 0, I1 = π.
Problem 3.
1
(i) Let B = (A + E). Then
2
1 1 1
B 2 = (A2 + 2AE + E) = (2AE + 2E) = (A + E) = B.
4 4 2
Hence B is a projection. Thus there exists a basis of eigenvectors for B,
and the matrix of B in this basis is of the form diag(1, . . . , 1, 0 . . . , 0).
Since A = 2B − E the eigenvalues of A are ±1 only.
(ii) Let {Ai : i ∈ I} be a set of commuting diagonalizable operators
on V , and let A1 be one of these operators. Choose an eigenvalue λ of
A1 and denote Vλ = {v ∈ V : A1 v = λv}. Then Vλ is a subspace of
V , and since A1 Ai = Ai A1 for each i ∈ I we obtain that Vλ is invariant
under each Ai . If Vλ = V then A1 is either E or −E, and we can start
2.3. Solutions of Olympic 1996 60
an ≤ q n for n ≥ 3, (*)
where q = 0.7 and use that 0.7 < 2−1/2 . One has
1 1 11
a1 = 1, a2 = , a3 = , a4 = .
2 3 48
Therefore (*) is true for n = 3 and n = 4. Assume (*) is true for
n ≤ N − 1 for some N ≥ 5. Then
N −3
2 1 1 X
αN = aN −1 + aN −2 + ak aN −k
N N N
k=3
2 N −1 1 N −5 N
≤ q + q N −2 + q ≤ qN
N N N
2 1
because + 2 ≤ 5.
q q
ii) We show by induction that
an ≥ q n for n ≥ 2,
2 1 2 2
where q = . One has a2 = > = q 2 . Going by induction we
3 2 3
have for N ≥ 3.
N −2
2 1 X 2 N −2 N
aN = aN −1 + ak aN −k ≥ q N −1 + q = qN
N N N N
k=2
2
because = 3.
q
Problem 5. i) With a linear change of the variable (i) is equivalent to:
2.3. Solutions of Olympic 1996
2.3. Solutions of Olympic 1996 62
(i) is proved.
R1
ii) Denote In = n (f (x))n dx and M = max f (x).
0 x∈[0,1]
n
For M < 1 we have In ≤ nM → 0, a contradiction.
n→∞
If M > 1 since f is continuous there exists an interval I ⊂ [0, 1] with
|I| > 0 such that f (x) > 1 for every x ∈ I. Then In ≥ n|I| → +∞,
n→∞
0
a contradiction. Hence M = 1. Now we prove that f has a constant
sign. Assume the opposite. Then f 0 (x0 ) = 0 for some x ∈ (0, 1). Then
f (x0 ) = M = 1 because f 00 ≤ 0. For x0 + h in [0, 1], f (x0 + h) = 1 +
h2 00 00 h2
f (ξ), ξ ∈ (x0 , x0 + h). Let m = min f (x). So, f (x0 + h) ≥ 1 + m.
2 x∈[0,1] 2
2
δ
Let δ > 0 be such that 1 + m > 0 and x0 + δ < 1. Then
2
xZ0 +δ Zδ
n m 2 n
In ≥ n (f (x)) dx ≥ n 1 + h dh → ∞
2 n→∞
x0 0
1
If M = f (1) we get in a similar way L = .
f 0 (1)
Problem 6.
Hint. If E = T ∪T 0 where T is the triangle with vertices (−2, 2), (2, 2)
and (0, 4), and T 0 is its reflexion about the x-axis, then C(E) = 8 >
K(E).
Remarks: All distances used in this problem are Euclidian. Di-
ameter of a set E is diam (E) = sup{dist (x, y) : x, y ∈ E}. Con-
traction of a set E to a set F is a mapping f : E 7→ F such that
dist (f (x), f (y)) ≤ dist (x, y) for all x, y ∈ E. A set E can be contracted
onto a set F if there is a contraction f of E to F which is onto, i.e., such
that f (E) = F . Triangle is defined as the union of the three segments
joining its vertices, i.e., it does not contain the interior.
Solution.
n
(a) The choice E1 = L gives C(L) ≤ lenght(L). If E ⊃ ∪ Ei then
i=1
Pn
diam (Ei ) ≥ lenght (L): By induction, n = l obvious, and assuming
i=1
that En+1 contains the end point a of L, define the segment L = {x ∈
L : dist (x, a) ≥ diam (En+1 ) + } and use induction assumption to get
n+1
P
diam (Ei ) ≥ lenght (L ) + diam (En+1 ) ≥ lenght (L) − ; but > 0 is
i=1
arbitrary.
n n
(b) If f is a contraction of E onto L and E ⊂ ∪ Ei then L ⊂ ∪ f (Ei )
i=1 i=1
Pn Pn
and lenght (L) ≤ diam (f (Ei)) ≤ diam (Ei).
i=1 i=1
(c1) Let E = T ∪T 0 where T is the triangle with vertices (−2, 2), (2, 2)
n
and (0, 4), and T 0 is its reflexion about the x-axis. Suppose E ⊂ ∪ Ei . If
i=1
no set among Ei meets both T and T 0 , then Ei may be partitioned into
covers of segments [(−2, 2), (2, 2)] and [(−2, 2), (2, −2)], both of length
Pn
4, so diam (Ei ) ≥ 8. If at least one set among Ei , say Ek , meets
i=1
both T and T 0 , choose a ∈ Ek ∩ T and b ∈ Ek ∩ T 0 and note that the
sets Ei0 = Ei for i 6= k, Ek0 = Ek ∪ [a, b] cover T ∪ T 0 ∪ [a, b], which is
2.3. Solutions of Olympic 1996 64
2.3.2 Day 2
Problem 1. The ”only if” part is obvious. Now suppose that lim (xn+1 −
n→∞
xn ) = 0 and the sequence {xn } does not converge. Then there are two
cluster points K < L. There must be points from the interval (K, L)
in the sequence. There is an x ∈ (K, L) such that f (x) 6= x. Put
|f (x) − x|
= > 0. Then from the continuity of the function f we
2
get that for some δ > 0 for all y ∈ (x − δ, x + δ) it is |f (y) − y| >
. On the other hand for n large enough it is |xn+1 − xn | < 2δ and
|f (xn ) − xn | = |xn+1 − xn | < . So the sequence cannot come into the
interval (x − δ, x + δ), but also cannot jump over this interval. Then all
cluster points have to be at most x − δ (a contradiction with L being a
2.3. Solutions of Olympic 1996 65
Since cosh 0.t = cosh 0 = 1 ∈ Q and cosh 1.t = cosh t ∈ Q, (1) follows
inductively from
and then
(a2 − 1)(b2 − 1) = (ab − cosh θ)2
(3)
= a2 b2 − 2ab cosh θ + cosh2 θ.
Set cosh(k 2 − 1)θ = A, coshk 2 θ = B. From (1) with m = k − 1 and
t = (k + 1)θ we have A ∈ Q. From (1) with m = k and t = kθ we have
B ∈ Q. Moreover k 2 − 1 > k implies A > a and B > b. Thus AB > ab.
From (2) with m = k 2 − 1 we have
(A2 − 1)(B 2 − 1) = (AB − cosh θ)2
(4)
= A2 B 2 − 2AB cosh θ + cosh2 θ.
So after we cancel the cosh2 θ from (3) and (4) we have a non-trivial
linear equation in cosh θ with rational coefficients.
Problem 3. (a) All of the matrices in G are of the form
∗ ∗
h i
0 ∗ .
2.3. Solutions of Olympic 1996 66
M (x)M (y) = M (x + y)
M (x)M (y)−1 = M (x − y).
The matrices of the form M ( 21n ) are in H for all n ∈ N. With only finite
number of generators all of them cannot be achieved.
Problem 4. Assume the contrary - there is an arcA ⊂ C with length
π
l(A) = such that A ⊂ B\Γ. Without loss of generality we may assume
2
1 1 1 1
that the ends of A are M = ( √ , √ ), N = ( √ , − √ ). A is compact
2 2 2 2
and Γ is closed. From A ∩ Γ = ∅ we get δ > 0 such that dist(x, y) > δ
for every x ∈ A, y ∈ Γ.
x2
Given > 0 with E we denote the ellipse with boundary: +
(1 + )2
y2
= 1, such that M, N ∈ E . Since M ∈ E we get
b2
(1 + )2
b2 = .
2(1 + )2 − 1
Then we have
(1 + )2
areaE = π p > π = areaD.
2(1 + )2 − 1
In view of the hypotheses, E \ =
6 ∅ for every > 0. Let S = {(x, y) ∈
R2 : |x| > |y|}. From E \S ⊂ D ⊂ B it follows that E \B ⊂ S. Taking
< δ we get that
∅=
6 E \B ⊂ E ∩ S ⊂ D1+ ∪ S ⊂ B
2.3. Solutions of Olympic 1996 67
Problem 6.
(i) Put for n ∈ N
(n + 1)n
cn = (2.1)
nn−1
Observe that c1 c2 . . . cn = (n + 1)n . Hence, for n ∈ N,
1/n (a1 c1 a2 c2 . . . an cn )1/n
(a1 a2 . . . an ) =
(n + 1)
(a1 c1 + · · · + an cn )
≤ .
n(n + 1)
Consequently,
X∞ ∞
X ∞
X
1/n −1
(a1 a2 . . . an ) ≤ an cn (m(m + 1)) . (2)
n=1 n=1 m=n
Since ∞ ∞
X
−1
X 1 1 1
(m(m + 1)) = − =
m=n m=n
m m+1 n
we have
∞ ∞ ∞
X X
−1
X an cn
an c n (m(m + 1)) =
n=1 m=n n=1
n
∞ ∞
X (n + 1) n X
= an ( ) <e an
n=1
n n=1
(by (1)). Combining the last inequality with (2) we get the result.
(ii) Set an = nn−1 (n + 1)−n for n = 1, 2, . . . , N and an = 2−n for
n > N , where N will be chosen later. Then
1
(a1 . . . an )1/n = (3)
n+1
2.4. Solutions of Olympic 1997 69
which is always possible because the harmonic series diverges. Using (3),
(4) and (5) we have
∞ K ∞ N
X X X
−n
X 1 n n
an = an + 2 + <
n=1 n=1
n n+1
n=N +1 n=K+1
N N
X 1 −1 X 1
< + e− =
(2e − )(e − ) n 2 n
n=K+1 n=K+1
N ∞
1 X 1 1 X
= ≤ (a1 . . . an )1/n .
e− n e − n=1
n=K+1
Problem 1.
It is well known that
Z1 n
1 X k
−1 = ln xdx = lim ln
n→∞ n n
0 k=1
Given > 0 there exist n0 such that 0 < n ≤ for all n ≥ n0 . Then
n n
1 X k 1X k
ln + n ≤ ln + .
n n n n
k=1 k=1
2.4. Solutions of Olympic 1997 70
Since
n
1 X k Z1
lim ln + = ln (x + )dx
n→∞ n n
k=1 0
Z1+
= ln xdx
Problem 2.
∞
P n
P
a) Yes. Let S = an , Sn = ak . Fix > 0 and a number no
n=1 k=1
such that |Sn − S| < for n > n0 . The partial sums of the permuted
series have the form L2n−1 +k = S2n−1 + S2n − S2n −k , 0 ≤ k < 2n−1 and for
2n−1 > n0 we have |L2n−1 +k − S| < 3, i.e. the permuted series converges.
(−1)n+1 2n−1
P−1 1
b) No. Take an = √ . Then L3.2n−2 = S2n−1 + √
n k=2n−2 2k + 1
1
and L3.2n−2 − S2n−1 ≥ 2n−2 √ → ∞, so L3.2n−2 → ∞.
2n n→∞ n→∞
Problem 3. √
1 3
Set S = A + ωB, where ω = − + i . We have
2 2
SS = (A + ωB)(A + ωB) = A2 + ωBA + ωAB + B 2
= AB + ωBA + ωAB = ω(BA − AB),
so that
θk > 1 for all k.
Choose nk to be the least n for which
1
n + < θk−1
n
(θ0 = α) so that for each k,
1 1
1+ < θk−1 ≤ 1 + . (1)
nk nk − 1
Since
1
θk−1 ≤ 1 +
nk − 1
we have
1
1+
1 θk−1 nk − 1 1
1+ < θk = ≤ =1+ 2 .
nk+1 1 1 nk − 1
1+ 1+
nk nk
Hence, for each k, nk+1 ≥ n2k .
Since n1 ≥ 2, nk → ∞ so that θk → 1. Hence
∞
Y 1
α= 1+ .
1
n k
The uniquness of the infinite product will follow from the fact that on
every step nk has to be determine by (1).
Indeed, if for some k we have
1
1+ ≥ θk−1
nk
then θk ≤ 1, θk+1 < 1 and hence {θk } does not converge to 1.
Now observe that for M > 1,
1 1 1 1 1 1 1
1+ 1+ 2 1+ 4 · · · = 1+ + 2 + 3 +· · · = 1+ .
M M M M M M M −1
(2)
Assume that for some k we have
1
1+ < θk−1 .
nk − 1
2.4. Solutions of Olympic 1997 72
Then we get
α θk−1
1 1 = 1 1
(1 + n1 )(1 + n2 ) · · · (1 + nk )(1 + nk+1 ) · · ·
θk−1 θk−1
≥ = >1
(1 + n1k )(1 + 1
n2k
)··· 1 + nk1−1
- a contradiction,
b) From (2) α is rational if its product ends in the stated way.
p
Conversely, suppose α is the rational number , Our aim is to show
q
that for some m,
nm
θm−1 = .
nm − 1
Suppose this is not the case, so that for every m,
nm
θm−1 < . (3)
nm − 1
For each k we write
pk
θk =
qk
as a fraction (not necessarily in lowest terms) where
p0 = p, q0 = q
and in general
pk = pk−1 nk , qk = qk−1 (Nk + 1).
The numbers pk − qk are positive integers: to obtain a contradiction it
suffices to show that this sequence is strictly decreasing. Now,
Problem 5.
a) For x = a the statement is trivial. Let x 6= 0. Then maxxi > 0
i
and minxi < 0. Hence k x k∞ < 1. From the hypothesis on x it follows
i
that:
i) If xj ≤ 0 then maxxi ≤ xj + 1.
i
ii) If xj ≥ 0 then minxi ≥ xj − 1.
i
Consider y ∈ Z0n , y 6= 0. We split the indices {1, 2, . . . , n} into five
sets:
I(0) = {i : yi = 0},
I(+, +) = {i : yi > 0, xi ≥ 0}, I(+, −) = {i : yi > 0, xi < 0},
I(−, +) = {i : yi < 0, xi > 0}, I(−, −) = {i : yi < 0, xi ≤ 0}
As least one of the last four index sets is not empty. If I(+, +) 6= ∅ or
I(−, −) 6= ∅ then k x + y k∞ ≥ 1 >k x k∞ . If I(+, +) = I(−, −) = ∅
P
then yi = 0 implies I(+, −) 6= ∅ and I(−, +) 6= ∅. Therefore i) and
ii) give k x + y k∞ ≥k x k∞ which completes the case p = ∞.
Now let 1 ≤ p < ∞. Then using i) for every j ∈ I(+, −) we get
|xj + yj | = yj − 1 + xj + 1 ≥ |yj | − 1 + maxxi . Hence
i
Similarly
k x + y kpp − k x kpp
X X X
p p
= (|xj + yj | − |xj | ) + |xj + yj |p − p
|xk |
j∈I(+,+)∪I(−,−) j∈I(+,−) k∈I(−,+)
X X
+ |xj + yj |p − |xk |p
j∈I(−,+) k∈I(+,−)
X X
≥ |yj | + (|yj | − 1)
j∈I(+,+)∪I(−,−) j∈I(+,−)
X X X
+ (|yj | − 1) − 1+ 1
j∈I(−,+) j∈I(+,−) j∈I(−,+)
n
X X X X
= |yi | − 2 1=2 (yj − 1) + 2 yj ≥ 0.
i=1 j∈I(+,−) j∈I(+,−) j∈I(+,+)
P P
The case 1≤ 1 is similar. This proves the statement.
j∈I(+,−) j∈I(−,+)
b) Fix p ∈ (0, 1) and a rational t ∈ ( 12 , 1). Choose a pair of positive
integers m and l such that mt = l(1 − t) and set n = m + l. Let
xi = t, i = 1, 2, . . . , m; xi = t − 1, i = m + 1, m + 2, . . . , n;
yi = −1, i = 1, 2, . . . , m; ym+1 = m; yi = 0, i = m + 2, . . . , n.
2.4.2 Day 2
Problem 1.
1
Let c = f 00 (0). We have
2
(f 0 )2 − 2f f 00
g= √ ,
2(f 0 )2 f
2.4. Solutions of Olympic 1997 76
where
and
p p
2(f 0 (x))2 f (x) = 2(4c2 x2 + O(x3 ))|x| c + O(x).
g is bounded because
p
2(f 0 (x))2 f (x)
3
→ 8c5/2 6= 0
|x| x→0
Problem 3.
sin(log t)
Set f (t) = . We have
tα
−α cos(log t)
f 0 (x) = sin(log t) + .
tα+1 tα+1
1+α
So |f 0 (t)| ≤ for α > 0. Then from Mean value theorem for some
tα+1
1+α P1+α
θ ∈ (0, 1) we get |f (n+1)−f (n)| = |f 0 (n+θ)| ≤ α+1 . Since α+1
<
∞
n ∞
n
(−1)n−1 f (n) =
P P
+∞ for α > 0 and f (n) → 0 we get that (f (2n −
n→∞ n=1 n=1
1) − f (2n)) converges.
2.4. Solutions of Olympic 1997 77
sin(log n)
Now we have to prove that does not converge to 0 for α ≤ 0.
nα
It suffices to consider α = 0.
We show that an = sin(log n) does not tend to zero. Assume the
h 1 1i
contrary. There exist kn ∈ N and λn ∈ − , for n > e2 such that
2 2
log n
= kn + λn . Then |an | = sin π|λn |. Since an → 0 we get λn → 0.
π
We have
kn+1 − kn =
log (n + 1) − log n 1 1
= − (λn+1 − λn ) = log 1 + − (λn+1 − λn ).
π π n
Then |kn+1 − kn | < 1 for all n big enough. Hence there exists no so that
log n
kn = kn0 for n > n0 . So = kn0 + λn for n > n0 . Since λn → 0 we
π
get contradiction with log n → ∞.
Problem 4.
a) If we denote by Eij the standard basis of Mn consisting of elemen-
tary matrix (with entry 1 at the place (i, j) and zero elsewhere), then
the entries cij of C can be defined by cij = f (Eji ).
b) Denote by L the n2 −1-dimensional linear subspace of Mn consisting
of allmatrices with zero trace. The elements Eij with i 6= j and the
elements Eii − Enn , i = 1, . . . , n − 1 form a linear basis for L. Since
by f onto itself. It is enough to prove the theorem for every such set. Let
A = T (x). If A is finite, then we can think that A is the set of all vertices
2π
of a regular n polygon and that f is rotation by . Such rotation can
n
be obtained as a composition of 2 symmetries mapping the n polygon
π
onto itself (if n is even then there are axes of symmetry making angle;
n
2π
if n = 2k + 1 then there are axes making k angle). If A is infinite then
n
we can think that A = Z and f (m) = m + 1 for every m ∈ Z. In this
1
case we define g1 as a symmetry relative to , g2 as a symmetry relative
2
to 0.
Problem 6.
1
a) f (x) = x sin .
x
b) Yes. The Cantor set is given by
∞
X
C = {x ∈ [0, 1) : x = bj 3−j , bj ∈ {0, 2}}.
j=1
k−2
aj 2j , aj ∈ {0, 1}. Then
P
where i =
j=0
k−1
[0, 1]\C = ∪∞ 2
k=1 ∪i=0
−1
(ak,i , bk,i ),
i.e. the Cantor set consists of all points which have a trinary representa-
tion with 0 and 2 as digits and the points of its compliment have some
2k−1 −1
0
1 s in their trinary representation. Thus, ∪ (ak,i , bk,i ) are all points
i=0
(exept ak,i ) which have 1 on k-th place and 0 or 2 on the j-th (j < k)
places.
2.5. Solutions of Olympic 1998 79
Noticing that the points with at least one digit equals to 1 are every-
where dence in [0, 1] we set
∞
X
f (x) = (−1)k gk (x).
k=1
By the fact that x and y generate the whole group S4 , it follows that
the factor group S4 /K contains only powers of y = yK, i.e., S4 /K is
cyclic. It is easy to see that this factor-group is not comutative (some-
thing more this group is not isomorphic to S3 ).
3) n = 5
a) If x = (12), then for y we can take y = (12345).
b) If x = (123), we set y = (124)(35). Then y 3 xy 3 = (125) and
y 4 = (124). Therefore (123), (124), (125) ∈< x, y >- the subgroup gen-
erated by x and y. From the fact that (123), (124), (125) generate the
alternating subgroup A5 , it follows that A5 ⊂< x, y >. Moreover y is an
odd permutation, hence < x, y >= S5 .
c) If x = (123)(45), then as in b) we see that for y we can take the
element (124).
d) If x = (1234), we set y = (12345). Then (yx)3 = (24) ∈< x, y >
, x2 (24) = (13) ∈< x, y > and y 2 = (13524) ∈< x, y >. By the fact
(13) ∈< x, y > and (13524) ∈< x, y >, it follows that < x, y >= S5 .
e) If x = (12)(34), then for y we can take y = (1354). Then y 2 x =
(125), y 3 x = (124)(53) and by c) S5 =< x, y >.
f) If x = (12345), then it is clear that for y we can take the element
y = (12).
Problem 3. a) Fix x = x0 ∈ (0, 1). If we denote xn = fn (x0 ), n =
1, 2, . . . it is easy to see that x1 ∈ (0, 1/2], x1 ≤ f (x1 ) ≤ 1/2 and xn ≤
f (xn ) ≤ 1/2 (by induction). Then (xn )n is a bounded nondecreasing
sequence and, since xn+1 = 2xn (1 − xn ), the limit l = limn→∞ xn satisfies
l = 2l(1 − l), which implies l = 1/2. Now the monotone convergence
2.5. Solutions of Olympic 1998 81
it is enough to prove that there exists a real number 0 < η ≤ 1 for which
g(η) = 0.
a) If f is never zero, let
x 1
h(x) = − .
2 f (x)
2.5. Solutions of Olympic 1998 82
1
Because h(0) = h(1) = − , there exists a real number 0 < η < 1 for
2
which h0 (η) = 0. But g = f 2 .h0 , and we are done.
b) If f has at least one zero, let z1 be the first one and z2 be the last
one. (The set of the zeros is closed.) By the conditions, 0 < z1 ≤ z2 < 1.
The function f is positive on the intervals [0, z1 ) and (z2 , 1]; this
implies that f 0 (z1 ) ≤ 0 and f 0 (z2 ) ≥ 0. Then g(z1 ) = f 0 (z1 ) ≤ 0 and
g(z2 ) = f 0 (z2 ) ≥ 0, and there exists a real number η ∈ [z1 , z2 ] for which
g(η) = 0.
2
Remark. For the function f (x) = the conditions hold and
x+1
f.f 0 + f ” is constantly 0.
Problem 5. Observe that both sides of (2) are identically equal to zero
if n = 1. Suppose that n > 1. Let x1 , . . . , xn be the zeros of P . Clearly
(2) is true when x = xi , i ∈ {1, . . . , n}, and equality is possible only if
P 0 (xi ) = 0, i.e., if xi is a multiple zero of P . Now suppose that x is not
a zero of P . Using the identities
n
P 0 (x) X 1 P 00 (x) X 2
= , = ,
P (x) i=1
x − xi P (x) 1≤i<j≤n
(x − x i )(x − x j )
we find
P 0 (x) 2 n
P 00 (x) X n − 1 X 2
(n − 1) −n = 2
− .
P (x) P (x) i=1
(x − xi ) 1≤i<j≤n
(x − x i )(x − x j )
and to π
Z2
f (cos θ) sin θdθ
0
So, twice the integral is at most
π
Z2
π
1dθ = .
2
0
√
Now let f (x) = 1 − x2 . If x = sin θ and y = sin φ then
2.5.2 Day 2
1 1
Problem 2. Denote x0 = 1, x1 = − , x2 = , x3 = 1,
2 2
3
Y
ω(x) = (x − xi ),
i=0
ω(x)
ωk (x) = , k = 0, . . . , 3,
x − xk
ωk (x)
lk (x) = .
ωk (xk )
Then for every f ∈ P
3
X
00
f (x) = lk00 (x)f (xk ),
k=0
3
X
00
|f (x)| ≤ |lk00 (x)|.
k=0
intersects each segment once, so the number of points for which fn (x) = x
is 2n .
Since for each n-periodic points we have fn (x) = x, the number of
n-periodic points is finite.
A point x is n-periodic if fn (x) = x but fk (x) 6= x for k = 1, . . . , n−1.
But as we saw before fk (x) = x holds only at 2k points, so there are at
most 21 + 22 + · · · + 2n−1 = 2n − 2 points x for which fk (x) = x for at
least one k ∈ {1, 2, . . . , n − 1}. Therefore at least two of the 2n points
for which fn (x) = x are n-periodic points.
Problem 4. It is clear that id : An → An given by id(x) = x, does not
verify condition (2). Since id is the only increasing injection on An , F
does not contain injections. Let us take any f ∈ F and suppose that
#(f −1 (k)) ≥ 2. Since f is increasing, there exists i ∈ An such that
f (i) = f (i + 1) = k. In view of (2), f (k) = f (f (i + 1)) = f (i) = k. If
{i < k : f (i) < k} = ∅, then taking j = max{i < k : f (i) < k} we get
f (j) < f (j + 1) = k = f (f (j + 1)), a contradiction. Hence f (i) = k for
i ≤ k. If #(f −1 ({l})) ≥ 2 for some l ≥ k, then the similar consideration
shows that f (i) = l = k for i ≤ k. Hence #(f −1 {i}) = 0 or 1 for every
i > k. Therefore f (i) ≤ i for i > k. If f (l) = l, then taking j = max{i <
l : f (i) < l} we get f (j) < f (j + 1) = l = f (f (j + 1)), a contradiction.
Thus, f (i) ≤ i − 1 for i > k. Let m = max{i : f (i) = k}. Since f is non-
constant m ≤ n−1. Since k = f (m) = f (f (m+1)), f (m+1) ∈ [k+1, m].
If f (l) > l − 1 for some l > m + 1, then l − 1 and f (l) belong to f −1 (f (l))
and this contradicts the facts above. Hence f (i) = i − 1 for i > m + 1.
Thus we show that every function f in F is defined by natural numbers
k, l, m, where 1 ≤ k < l = f (m + 1) ≤ m ≤ n − 1.
k if i ≤ m
f (i) = l if i = m
i − 1 if i > m + 1
Then
n
#(F) = .
3
2.5. Solutions of Olympic 1998 86
2k
Now set cn = for each n, Nk ≤ n < Nk+1 . Then we have cn →∞
5B
and
∞ ∞ ∞ ∞ ∞
X X X X 2k X X 2k B 2
cn b n = cn bn ≤ bn ≤ . k = .
5B 5B 4 5
n=1 k=0 Nk ≤n<Nk+1 k=0 n=Nk k=0
Problem 1.
2.6. Solutions of Olympic 1999 88
Because λ1 and λ2 λ3 = |λ2 |2 are positive, the product on the right side
has only positive factors.
Problem 2. No. For, let π be a permutation of N and let N ∈ N. We
shall argue that
3N
X π(n) 1
> .
n2 9
n=N +1
n(n + 1)
π(n) ≥ 1 + · · · + n = . By this inequality,
2
∞ ∞
X π(n) X 1 1
2
= (π(1) + · · · + p(n)) 2 − 2
≥
n=1
n n=1
n (n + 1)
∞ ∞ ∞
X n(n + 1) 2n + 1 X 2n + 1 X 1
≥ · 2 = ≥ = ∞.
n=1
2 n (n + 1)2 n=1
2n(n + 1) n=1
n + 1
which means
2
|f (x + ny) − f (x − ny)| ≤ . (3)
3n
For arbitrary u, v ∈ R and n ∈ N one can choose x and y such that
u+v v−u
x − ny = u and x + ny = v, namely x = and y = , Thus, (3)
2 2n
yields
2
|f (u) − f (v)| ≤ n
3
2
for arbitrary positive integer n. Because n can be arbitrary small, this
3
implies f (u) = f (v).
f (x) x
Problem 4. Let g(x) = . We have f = g(x). By induction
x x g(x)
it follows that g n = g(x), i.e.
g (x)
x x
f n = n−1 , n ∈ N. (1)
g (x) g (x)
x2
On the other hand, let substitute x by f (x) in f = x. From the
f (x)
f 2 (x)
injectivity of f we get = x, i.e. g(xg(x)) = g(x). Again by
f (f (x))
2.6. Solutions of Olympic 1999 90
induction we deduce that g(xg n (x)) = g(x) which can be written in the
form
f (xg n (x)) = xg n−1 (x), n ∈ N. (2)
Set f (m) = f ◦ f ◦ · · · ◦ f . It follows from (1) and (2) that
| {z }
m times
Now, we shall prove that g is a constant. Assume g(x1 ) < g(x2 ). Then
we may find n ∈ N such that x1 g n (x1 ) ≤ x2 g n (x2 ). On the other hand,
if m is even then f (m) is strictly increasing and from (3) it follows that
xm1 g
n−m
(x1 ) ≤ xm
2 g
n−m
(x2 ). But when n is fixed the opposite inequality
holds ∀m 1. This contradiction shows that g is a constant, i.e. f (x) =
Cx, C > 0.
Conversely, it is easy to check that the functions of this type verify
the conditions of the problem.
Problem 5.
We prove the more general statement that if at least n + k points are
marked in an n × k grid, then the required sequence of marked points
can be selected.
If a row or a column contains at most one marked point, delete it.
This decreases n + k by 1 and the number of the marked points by at
most 1, so the condition remains true. Repeat this step until each row
and column contains at least two marked points. Note that the condition
implies that there are at least two marked points, so the whole set of
marked points cannot be deleted.
We define a sequence b1 , b2 , . . . of marked points. Let b1 be an arbitrary
marked point. For any positive integer n, let b2n be an other marked
point in the row of b2n−1 and b2n+1 be an other marked point in the
column of b2n .
Let m be the first index for which bm is the same as one of the earlier
points, say bm = bl , l < m.
2.6. Solutions of Olympic 1999 91
Z1
R1 R1 6 p
get g(x)dx = |{g > t}|dt < g(x)dx; this is a contradiction
−1 0 cp−1
−1
e.g. for cp = (6p)/(p − 1).
1
b) No. Given c > 1, denote α = and choose 0 < < 1 such
1 + −α c
1
that < . Let g : [−1, 1] → [−1, 1] be continuous, even,
2 4 |x| + −α−1
g(x) = −1 for |x| ≤ and 0 ≤ g(x) < α for < |x| ≤
2
Z1
R1 |x| + −α−1
1 is chosen such that g(t)dt > − + α dt = − +
2 2 2
1 + −α R
2 1 − > . Let f = g(t)dt. Then f (1) − f (−1) ≥
2
R1
−2 + 2 g(t)dt > 0. If < x < 1 and y = −, then |f (x) − f (y)| ≥
Rx Rx t + −α−1 x + −α |x − y|
2 − g(t)dt ≥ 2 − α = 2 > g(x) =
2 2 α
|x − y|
f 0 (x) ; symmetrically for −1 < x < − and y = .
α
2.6.2 Day 2
From this recursion we can compute the probabilities for small values
2.6. Solutions of Olympic 1999 93
(r) 1 4
of n and can conjecture that pn = + if n ≡ r (mod 5) and
5 5.6n
(r) 1 1
pn = − otherwise. From (1), this conjecture can be proved by
5 5.6n
induction.
Solution 2. Let S be the set of all sequences consisting of digits
1, . . . , 6 of length n. We create collections of these sequences.
Let a collection contain sequences of the form
66 . . . 6} XY1 . . . Yn−k−1 ,
| {z
k
jn j
Obviously f (1) = 1, and f ( ) = n for j = 1, 2, 3, 4. This implies that
6
2.6. Solutions of Olympic 1999 94
4 −1
f () + f (2 ) + f (3 ) + f (4 ) is n if n is divisible by 5, otherwise it is n .
∞
6 6
P 1 1 1 1
Thus, p5k is + if n is divisible by 5, otherwise it is − .
k=1 5 5.6n 5 5.6n
Problem 3.
The inequality
3 3 1 1 2
0 ≤ x − x + = (x + 1) x −
4 4 2
holds for x ≥ −1.
Substituting x1 , . . . , xn , we obtain
n n n n
X
3 3 1 X 3 3 X n 3X n
0≤ xi − xi + = xi − xi + = 0 − xi + ,
i=1
4 4 i=1
4 i=1 4 4 i=1 4
n
P n
so xi ≤ . Remark. Equailty holds only in the case when n = 9k, k
i=1 3
1
of the x1 , . . . , xn are −1, and 8k of them are .
2
Problem 4. Assume that such a function exists. The initial inequality
f 2 (x) f (x)y
can be written in the form f (x)−f (x+y) ≥ f (x)− = .
f (x) + y f (x) + y
Obviously, f is a decreasing function. Fix x > 0 and choose n ∈ N such
that nf (x + 1) ≥ 1. For k = 0, 1, . . . , n − 1 we have
k k + 1 f (x + nk ) 1
f x+ −f x+ ≥ ≥ .
n n nf (x + nk ) + 1 2n
1
The additon of these inequalities gives f (x + 1) ≥ f (x) − . From this
2
it follows that f (x + 2m) ≤ f (x) − m for all m ∈ N. Taking m ≥ f (x),
we get a contradiction with the conditon f (x) > 0.
Problem 5. Let S be the set of all words consisting of the letters x, y, z,
and consider an equivalence relation ∼ on S satisfying the following
conditions: for arbitrary words u, v, w ∈ S
(i) uu ∼ u;
(ii) if v ∼ w, then uv ∼ uw and vu ∼ wu.
Show that every word in S is equivalent to a word of length at most
8. (20 points)
2.6. Solutions of Olympic 1999 95
very long words. For example, to reduce the length of the word a =
xyzyxzxyz, we have set b = xyzy, c = x, d = zxyz, e = xyxzxzyxyzy, f =
zyxyxzyxzxzxzxyxyzxyz. The longest word in the algorithm was
bcdedef =
= xyzyxzxyzxyxzxzyxyzyzxyzxyxzxzyxyzyzyxyxzyxzxzxzxyxyzxyz,
which is of length 46. This is not the shortest way: reducing the length
of word a can be done for example by the following steps:
Problem 1.
a) Yes.
Proof: Let A = {x ∈ [0, 1] : f (x) > x}. If f (0) = 0 we are done, if
not then A is non-empty (0 is in A) bounded, so it has supremum, say
a. Let b = f (a).
2.7. Solutions of Olympic 2000 97
I. case: a < b. Then, using that f is monotone and a was the sup, we
get b = f (a) ≤ f ( (a+b) a+b
2 ) ≤ 2 , which contradicts a < b.
II. case: a > b. Then we get b = f (a) ≥ f ( a+b a+b
2 ) > 2 contradiction.
Therefore we must have a = b.
b) No. Let, for example,
x 1
f (x) = 1 − if x ≤
2 2
and
1 x 1
− if x >
f (x) =
2 2 2
This is clearly a good counter-example.
Problem 2. Short solution. Let
p(x) − p(y)
P (x, y) = = x4 + x3 y + x2 y 2 + xy 3 + y 4 + 1
x−y
and
q(x) − q(y)
Q(x, y) = = x4 + x3 y + x2 y 2 + xy 3 + y 4 + x + y.
x−y
We need those pairs (w, z) which satisfy P (w, z) = Q(w, z) = 0.
From P − Q = 0 we have w + z = 1. Let c = wz. After a short
calculation we obtain c2 − 3c + 2 = 0, which has the solutions c = 1 and
c = 2. From the system w + z = 1, wz = c we obtain the following pairs:
1 ± √3i 1 ∓ √3i 1 ± √7i 1 ∓ √7i
, and , .
2 2 2 2
Problem 3.
A and B are square complex matrices of the same size and
rank(AB − BA) = 1.
Problem 4.
a)
n n n i n n
X xi 2 X xi xj X xi X xi X xi xi X
√ = √√ ≥ √ √ ≥ √ i√ = x2i
i=1
i i,j
i j i=1
i j=1 j i=1
i i i=1
b)
∞ ∞ ∞ ∞
X 1 X 2 1/2 X 1 X xi
√ xi ≤ √ √
m=1
m i=m m=1
m i=m i − m + 1
by a)
∞ i
X X 1
= xi √ √
i=1 m=1
m i−m+1
You can get a sharp bound on
i
X 1
sup √ √
i m=1
m i−m+1
by checking that it is at most
Zi+1
1
√ √ dx = π
x i+1−x
0
Problem 5.
Suppose that e + f + g = 0 for given idempotents e, f, g ∈ R. Then
From the first two inequalities we already have an > bn and lim an = ∞.
n→∞
Let be an arbitrary positive number. Choose an integer K such
2
that f (aK ) > . If n is sufficiently large, then
n−1
X f (ak+1 ) − f (ak )
F (a0 ) + =
f (ak )
k=0
K −1
X f (ak+1 ) − f (ak ) X f (ak+1 ) − f (ak )
= F (a0 ) + + n−1 < (5)
f (ak ) f (ak )
k=0 k=K
n−1
1 X
< O (1) + (f (ak+1 ) − f (ak )) <
f (aK )
k=K
< O (1) + (f (an ) − f (aK )) < f (an ).
2
2.7. Solutions of Olympic 2000 100
Inequalities (4) and (5) together say that for any positive , if n is suffi-
ciently large,
F (an ) − F (bn ) < f (an ).
Again, by Lagrange’s theorem, there is a real number ζ ∈ (bn , an ) such
that
F (an ) − F (bn ) = f (ζ)(an − bn ) > f (bn )(an − bn ), (6)
thus
f (bn )(an − bn ) < f (an ). (7)
Let B be an upper bound for f 0 . Apply f (an ) < f (bn ) + B(an − bn ) in
(7):
f (bn )
an − bn < < 2 (9)
f (bn ) − B
for sufficiently large n.
Thus, for arbitrary positive we proved that 0 < an − bn < 2 if n is
sufficiently large.
2.7.2 Day 2
Problem 1.
We start with the following lemma: If a and b be coprime positive
integers then every sufficiently large positive integer m can be expressed
in the form ax + by with x, y non-negative integers.
Proof of the lemma. The numbers 0, a, 2a, . . . , (b−1)a give a complete
residue system modulo b. Consequently, for any m there exists a 0 ≤
x ≤ b−1 so that ax ≡ m (mod b). If m ≥ (b−1)a, then y = (m−ax)/b,
for which x + by = m, is a non-negative integer, too.
2.7. Solutions of Olympic 2000 101
Now observe that any dissection of a cube into n smaller cubes may
be refined to give a dissection into n+(ad −1) cubes, for any a ≥ 1. This
refinement is achieved by picking an arbitrary cube in the dissection, and
cutting it into ad smaller cubes. To prove the required result, then, it
suffices to exhibit two relatively prime integers of form ad − 1. In the 2-
dimensional case, a1 = 2 and a2 = 3 give the coprime numbers 22 −1 = 3
and 32 − 1 = 8. In the general case, two such integers are 2d − 1 and
(2d − l)d − 1, as is easy to check.
Problem 2. Let (x − α, x + α) ⊂ [0, 1] be an arbitrary non-empty open
interval. The function f is not monoton in the intervals [x − α, x] and
[x, x + α], thus there exist some real numbers x − α ≤ p < q ≤ x, x ≤
r < s ≤ x + α so that f (p) > f (q) and f (r) < f (s).
By Weierstrass’ theorem, f has a global minimum in the interval
[p, s]. The values f (p) and f (s) are not the minimum, because they are
greater than f (q) and f (s), respectively. Thus the minimum is in the
interior of the interval, it is a local minimum. So each nonempty interval
(x − α, x + α) ⊂ [0, 1] contains at least one local minimum.
Problem 3. The statement is not true if p is a constant polynomial.
We prove it only in the case if n is positive.
For an arbitrary polynomial q(z) and complex number c, denote by
µ(q, c) the largest exponent α for which q(z) is divisible by (z − c)α .
(With other words, if c is a root of q, then µ(q, c) is the root’s multiplicity.
Otherwise 0.)
Denote by S0 and S1 the sets of complex numbers z for which p(z) is
0 or 1, respectively. These sets contain all roots of the polynomials p(z)
and p(z) − 1, thus
X X
µ(p, c) = µ(p − 1, c) = n. (1)
c∈S0 c∈S1
implies that
X
µ(p0 , c) ≤ n − 1. (2)
c∈S0 ∪S1
If p(c) = 0 or p(c) − 1 = 0, then
0
= µ(p, c) + µ(p − 1, c) − µ(p , c) ≥ n + n − (n − 1) = n + 1.
c∈S0 c∈S1 c∈S0 ∪S1
Problem 4.
a) Without loss of generality, we can assume that the point A2 is the
origin of system of coordinates. Then the polynomial can be presented
in the form
y = (a0 x4 + a1 x3 + a2 x2 + a3 x + a4 )x2 + a5 x,
y = a0 (x2 − a2 )2 + a5 x.
y = (x + a)2 (x − b)2 x2 + a5 x,
2.7. Solutions of Olympic 2000 103
where a and b are positive numbers and b = ka, 0 < k < ∞. The areas
of the figures at the segments A1 A2 and A2 A3 are equal respectively to
Z0
2 2 2 a7
(x + a) (x − b) x dx = (7k 2 + 7k + 2)
210
−a
and
Zb
a7
(x + a)2 (x − b)2 x2 dx = (2k 2 + 7k + 7)
210
0
Then
2
5 2k
+ 7k + 7
K=k .
7k 2 + 7k + 2
2k 2 + 7k + 7
The derivative of the function f (k) = 2 is negative for 0 <
7k + 7k + 2
7 2
k < ∞. Therefore f (k) decreases from to when k increases from 0
2 7
2 2k 2 + 7k + 7 7
to ∞. Inequalities < 2 < imply the desired inequalities.
7 7k + 7k + 2 2
Problem 5.
First solution. First, if we assume that f (x) > 1 for some xR+ ,
x
setting y = gives the contradiction f (x) = 1. Hence f (x) ≤ 1
f (x) − 1
for each x ∈ R+ , which implies that f is a decreasing function.
If f (x) = 1 for some x ∈ R+ , then f (x + y) = f (y) for each y ∈ R+ ,
and by the monotonicity of f it follows that f ≡ 1.
Let now f (x) < 1 for each x ∈ R+ . Then f is strictly decreasing
function, in particular injective. By the equalities
Problem 1. Since there are exactly n rows and n columns, the choice
is of the form
{(j, σ(j) : j = 1, . . . , n}
where σ ∈ Sn is a permutation. Thus the corresponding sum is equal to
n
X n
X n
X n
X
n(j − 1) + σ(j) = nj − n+ σ(j)
j=1 j=1 j=1 j=1
n n n
X X X n(n + 1) n(n2 + 1)
=n j− n+ j = (n + 1) − n2 = .
j=1 j=1 j=1
2 2
q k
This contradicts the condition < .
ln q ln (n + 1)
Problem 5.
The statement will be proved by inductionh on n.
i For n = 1, there is
a b
6 0, and c 6= 0
nothing to do. In the case n = 2, write A = c d . If b =
or b = c = 0 then A is similar to
h i
1 0 a b 1 0 0 b
a/b 1 c d −a/b 1 = c − ad/b a + d
or h i
1 −a/c a b 1 a/c 0 b − ad/c
0 1 c d 0 1 = c a+d
respectively. If b = c = 0 and a 6= d, then A is similar to
1 1 a 0 1 −1 0 d−a
h ih ih i h i
0 1 0 d 0 1 = 0 d ,
2.8.2 Day 2
Problem 1.
Multiply the left hand side polynomials. We obtain the following
equalities:
a0 b0 = 1, a0 b1 + a1 b0 = 1, . . .
Among them one can find equations
a0 + a1 bs−1 + a2 bs−2 + · · · = 1
and
b0 + b1 ar−1 + b2 ar−2 + · · · = 1.
From these equations it follows that a0 , b0 ≤ 1. Taking into account that
a0 b0 = 1 we can see that a0 = b0 = 1.
Now looking at the following equations we notice that all a0 s must be
less than or equal to 1. The same statement holds for the b0 s. It follows
from a0 b1 + a1 b0 = 1 that one of the numbers a1 , b1 equals 0 while the
other one must be 1. Follow by induction.
p √ √
Problem 2. Obviously a2 =p 2 − 2 < 2.
√
Since the function f (x) = 2 − 4 − x2 is increasing on the interval
[0, 2] the inequality a1 > a2 implies that a2 > a3 . Simple induction ends
2.8. Solutions of Olympic 2001 109
the proof of monotonicity of (an ). In the same way we prove that (bn )
decreases (just notice that
2x 2
g(x) = √ = q .
2 + 4 + x2 2
+ 1+ 4
x x2
n n
n 2 4n+1 b2n n n (2n bn )4 1 1
2 b n − 2 an = 4 b n − /(2 b n + 2 a n ) = · ·
4 + b2n 4 + b2n 4n 2n (bn + an )
and from the existence of positive limits lim 2n bn and lim 2n an .
Remark. The last problem may be solved in a much simpler way by
someone who is able to make use of sine and cosine. It is enough to
π π
notice that an = 2 sin n+1 and bn = 2tan n+1 .
2 2
Problem 3.
The unit sphere in Rn is defined by
n n
X o
n 2
Sn−1 = (x1 , . . . , xn ) ∈ R xk = 1 .
k=1
We have
√
d(X, Y ) > 2 ⇔ d2 (X, Y ) > 2
Xn Xn n
X
2 2
⇔ xk + yk + 2 x k yk > 2
k=1 k=1 k=1
Xn
⇔ x k yk < 0
k=1
Taking account of the symmetry of the sphere, we can suppose that
A1 = (−1, 0, . . . , 0).
n
P
For X = A1 , xk yk < 0 implies y1 > 0, ∀Y ∈ Mn .
k=1
Let X = (x1 , X), Y = (y1 , Y ) ∈ Mn \{A1 }, X, Y ∈ Rn−1 .
We have
Xn n−1
X n−1
X
x k yk < 0 ⇒ x 1 y1 + xk yk < 0 ⇔ x0k yk0 < 0,
k=1 k=1 k=1
where
xk y
x0k = pP , y 0
k = pPk .
2
xk yk 2
therefore
(x01 , . . . , x0n−1 ), (y10 , . . . , yn−1
0
) ∈ Sn−2
n
P
and verifies xk yk < 0.
k=1
If an is the search number of points in Rn we obtain an ≤ 1 + an−1
and a1 = 2 implies that an ≤ n + 1.
We show that an = n + 1, giving an example of a set Mn with (n + 1)
elements satisfying the conditions of the problem.
A1 = (−1, 0, 0, 0, . . . , 0, 0)
1
A2 = , −c1 , 0, 0, . . . , 0, 0
n
1 1
A3 = , · c1 , −c2 , 0, . . . , 0, 0
n n−1
1 1 1
A4 = , · c1 , · c2 , −c3 , . . . , 0, 0
n n−1 n−1
2.8. Solutions of Olympic 2001 111
1
1 1 1
An−1 = · c1 ,
, · c2 , · c3 , . . . , −cn−2 , 0
n n−1 n−2 n−3
1 1 1 1 1
An = , · c1 , · c2 , · c3 , . . . , · cn−2 , −cn−1
n n−1 n−2 n−3 2
1 1 1 1 1
An+1 = , · c1 , · c2 , · c3 , . . . , · cn−2 , cn−1
n n−1 n−2 n−3 2
where r
1 1
ck = 1+ 1− , k = 1, n − 1.
n n−k+1
n 1 n
x2k = 1, ∀X, Y ∈ {A1 , . . . , An+1 }.
P P
We have xk yk = − < 0 and
k=1 n k=1
These points are on the unit sphere in Rn and the distance between any
two points is equal to
√ 1 √
r
d = 2 1 + > 2.
n
Remark. For n = 2 the points form an equilateral triangle in the unit
circle; for n = 3 the four points from a regular tetrahedron and in Rn
the points from an n dimensional regular simplex.
Problem 4.
We will only prove (2), since it implies (1). Consider a directed graph
G with n vertices V1 , . . . , Vn and a directed edge from Vk to Vl when
ak,l 6= 0. We shall prove that it is acyclic.
Assume that there exists a cycle and take one of minimum length m.
Let j1 < · · · < jm be the vertices the cycle goes through and let σ0 ∈ Sn
be a permutation such that ajk ,jσ0 (k) 6= 0 for k = 1, . . . , m. Observe that
for any other σ ∈ Sn we have ajk ,jσ(k) = 0 for some k ∈ {1, . . . , m},
otherwise we would obtain a different cycle through the same set of
vertices and, consequently, a shorter cycle. Finally
which is a contradiction.
2.8. Solutions of Olympic 2001 112
2n h 1 1 1 i 21 22 2n
+ + · · · + = + + · · · + . (2)
n n−1 n−1 n−1
0 1 n−1
1 2 n
2.9. Solutions of Olympic 2002 114
then
n n−1
2n+1 X 1 2n X 1 1
xn+1 = n =
1+ n +
n
+1 =
n+1 k
n + 1 k k+1
k=0 k=0
n−1 n−k k+1 n−1
2n X
n + n 2n+1 n X
2 1 2n+1 2n+1
= n−1
+ = n−1 +
= xn + .
n+1 k
n+1 n k
n + 1 n + 1
k=0 k=0
a. It does not exist. For each y the set {x : y = f (x)} is either empty
or consists of 1 point or is an interval. These sets are pairwise disjoint,
so there are at most count ably many of the third type.
b. Let f be such a map. Then for each value y of this map there is
an xo such that y = f (x) and f 0 (x) = 0, because an uncountable set
{x : y = f (x)} contains an accumulation point x0 and clearly f 0 (x0 ) = 0.
For every > 0 and every x0 such that f 0 (x0 ) = a there exists an open
interval Ix0 such that if x ∈ Ix0 then |f 0 (x)| < . The union of all
these intervals Ix0 may be written as a union of pairwise disjoint open
intervals Jn . The image of each Jn is an interval (or a point) of length
< length (Jn ) due to Lagrange Mean Value Theorem. Thus the image
of the interval [0, 1] may be covered with the intervals such that the sum
of their lengths is .1 = . This is not possible for < 1.
Remarks. 1. The proof of part b is essentially the proof of the easy
part of A. Sard’s theorem about measure of the set of critical values of
a smooth map.
2. If only continuity is required, there exists such a function, e.g. the
first co-ordinate of the very well known Peano curve which is a continuous
map from an interval onto a square.
Problem 6.
Lemma 1. Let (an )n≥0 be a sequence of non-negative numbers such
that a2k − a2k+1 ≤ a2k , a2k+1 − a2k+2 ≤ ak ak+1 for any k ≥ 0 and
1 √
lim sup nan < . Then lim sup n an < 1.
4
Proof. Let cl = supn≥2l (n + 1)an for l ≥ 0. We will show that
cl+1 ≤ 4c2l . Indeed, for any integer n ≥ 2l+1 there exists an integer
k ≥ 2l such that n = 2k or n = 2k + 1. In the first case there is
2 c2l 4c2l 4c2l
a2k − a2k+1 ≤ ak ≤ ≤ − , whereas in the second
(k + 1)2 2k + 1 2k + 2
c2l 4c2l 4c2l
case there is a2k+1 −a2k+2 ≤ ak ak+1 ≤ ≤ − .
(k + 1)(k + 2) 2k + 2 2k + 3
4c2l
Hence a sequence (an − ) l+1 is non-decreasing and its terms
n + 1 n≥2
2.9. Solutions of Olympic 2002 116
4c2l
are non-positive since it converges to zero. Therefore an ≤ for n ≥
n + 1 −l
2l+1 , meaning that c2l+1 ≤ 4c2l . This implies that a sequence ((4cl )2 )l≥0
is nonincreasing and therefore bounded from above by some number
q ∈ (0, 1) since all its terms except finitely many are less than 1. Hence
l
cl ≤ q 2 for l large enough. For any n between 2l and 2l+1 there is
cl l √ √ √
an ≤ ≤ q 2 ≤ ( q)n yielding lim sup n an ≤ q < 1, yielding
n√ +1 √
lim sup an ≤ 1 < 1, which ends the proof.
n
2.9.2 Day 2
Problem 1. Adding the second row to the first one, then adding the
third row to the second one, ..., adding the nth row to the (n − l)th, the
determinant does not change and we have
2 −1 +1 ... ±1 ∓1 1 1 0 0 ... 0 0
−1 2 −1 ... ∓1 ±1 0 1 1 0 ... 0 0
+1 −1 2 ... ±1 ∓1 0 0 1 1 ... 0 0
det(A) = .. .. .. ... .. .. = .. .. .. .. . . . ... .. .
. . . . . . . . . .
∓1 ±1 ∓1 ... 2 −1 0 0 0 0 ... 1 1
±1 ∓1 ±1 ... −1 2 ±1 ∓1 ±1 ∓1 . . . −1 2
Now subtract the first column from the second, then subtract the result-
ing second column from the third, ..., and at last, subtract the (n − 1)th
column from the nth column. This way we have
1 0 0 ... 0 0
0 1 0 ... 0 0
det(A) = ... ..
.
..
. ... ..
.
..
. = n + 1.
0 0 0 ... 1 0
0 0 0 ... 0 n+1
Problem 2. For each pair of students, consider the set of those problems
which was not solved by them. There exist 200
2 = 19900 sets; we have
to prove that at least one set is empty.
For each problem, there are at most 80 students who did not solve it.
From these students at most 80
2 = 3160 pairs can be selected, so the
problem can belong to at most 3160 sets. The 6 problems together can
belong to at most 6.3160 = 18960 sets.
Hence, at least 19900 − 18960 = 940 sets must be empty.
2.9. Solutions of Olympic 2002 118
an
Problem 3. We prove by induction on n that and bn e are integers, we
e
prove this for n = 0 as well. (For n = 0, the term 00 in the definition of
the sequences must be replaced by 1.) From the power series of ex , an =
1
e1 = e and bn = e−1 = .
e
Suppose that for some n ≥ 0, a0 , a1 , . . . , an and b0 , b1 , . . . , bn are all
1
multipliers of e and , respectively. Then, by the binomial theorem,
e
n ∞ ∞ n
X (k + 1)n+1 X (k + 1)n X X n k m
an+1 = = = =
(k + 1)! k! m k!
k=0 k=0 k=0 m=0
n
X n Xk ∞ m n
X n
= = am
m=0
m k! m=0
m
k=0
and similarly
n ∞
X + 1)n+1
k+1 (k
X
k (k + 1)
n
bn+1 = (−1) =− (−1)
(k + 1)! k!
k=0 k=0
∞ n m
X X n k
=− (−1)k
m=0
m k!
k=0
n X ∞ m n
X n kk
X n
=− (−1) =− bm .
m=0
m k! m=0
m
k=0
The numbers an+1 and bn+1 are expressed as linear combinations of the
previous elements with integer coefficients which finishes the proof.
Problem 4. We can assume OA = OB = OC = 1. Intersect the unit
sphere with center O with the angle domains AOB, BOC and COA; the
1 1 1
intersections are ”slices” and their areas are γ, α and β, respectively.
2 2 2
Now project the slices AOC and COB to the plane OAB. Denote by
C 0 the projection of vertex C, and denote by A0 and B 0 the reflections of
vertices A and B with center 0, respectively. By the projection, OC 0 < 1.
The projections of arcs AC and BC are segments of ellipses with long
axes AA0 and BB 0 , respectively. (The ellipses can be degenerate if σ or
τ is right angle.) The two ellipses intersect each other in 4 points; both
half ellipses connecting A and A0 intersect both half ellipses connecting
2.9. Solutions of Olympic 2002 119
1
Let y0 = x2 − k ∇g(x2 ) k and y(t) = y0 + t(x2 − y0 ). Then
L
Z1
g(x2 ) = g(y0 ) + < ∇g(y(t)), x2 − y0 > dt =
0
Z1
= g(y0 )+ < ∇g(x2 ), x2 − y0 > − < ∇g(x2 ) − ∇g(y(t)), x2 − y0 > dt ≥
0
Z1
1
≥0+ k ∇g(x2 ) k2 − k ∇g(x2 ) − ∇g(y(t)) k . k x2 − y0 k dt ≥
L
0
Z1
1
≥ k ∇g(x2 ) k2 − k x2 − y0 k L k x2 − g(y) k dt =
L
0
Z1
1 1
= k ∇g(x2 ) k2 −L k x2 − y0 k2 tdt = k ∇g(x2 ) k2 .
L 2L
0
Substituting the definition of g into (2), we obtain
1
f (x2 ) − f (x1 )− < ∇f (x1 ), x2 − x1 >≥ k ∇f (x2 ) − ∇f (x1 ) k2 ,
2L
2
k ∇f (x2 ) − ∇f (x1 ) k ≤ 2L < ∇f (x1 ), x1 − x2 > +2L(f (x2 ) − f (x1 )).
(3)
Exchanging variables x1 and x2 , we have
k ∇f (x2 )−∇f (x1 ) k2 ≤ 2L < ∇f (x2 ), x2 −x1 > +2L(f (x1 )−f (x2 )). (4)
The statement (1) is the average of (3) and (4).
Problem 1.
an 3
a) Let bn = n−1 . Then an+1 > an is equivalent to bn+1 > bn , thus
3 2
2
the sequence (bn ) is strictly increasing. Each increasing sequence has a
finite limit or tends to infinity.
2.10. Solutions of Olympic 2003 121
b) For all α > 1 there exists a sequence 1 = b1 < b2 < . . . which con-
n−1
verges to α. Choosing an = 32 bn , we obtain the required sequence
(an ).
Problem 2. Let S = a1 + a2 + · · · + a51 . Then b1 + b2 + · · · + b51 = 50S.
Since b1 , b2 , . . . , b51 is a permutation of a1 , a2 , . . . , a51 , we get 50S = S,
so 49S = 0. Assume that the characteristic of the field is not equal
to 7. Then 49S = 0 implies that S = 0. Therefore bi = −ai for i =
1, 2, . . . , 51. On the other hand, bi = aϕ(i) , where ϕ ∈ S51 . Therefore, if
the characteristic is not 2, the sequence a1 , a2 , . . . , a51 can be partitioned
into pairs {ai , aϕ(i) } of additive inverses. But this is impossible, since 51
is an odd number. It follows that the characteristic of the field is 7 or 2.
The characteristic can be either 2 or 7. For the case of 7, x1 = · · · =
x51 = 1 is a possible choice. For the case of 2, any elements can be
chosen such that S = 0, since then bi = −ai = ai .
Problem 3. The minimal polynomial of A is a divisor of 3x3 − x2 −
x − 1. This polynomial has three different roots. This implies that
A is diagonalizable: A = C −l DC where D is a diagonal matrix. The
eigenvalues of the matrices A and D are all roots of polynomial 3x3 −x2 −
x − 1. One of the three roots is 1, the remaining two roots have smaller
absolute value than 1. Hence, the diagonal elements of Dk , which are
the kth powers of the eigenvalues, tend to either 0 or 1 and the limit
M = lim Dk is idempotent. Then lim Ak = C −1 M C is idempotent as
well.
Problem 4. Clearly a and b must be different since A and B are disjoint.
Let {a, b} be a solution and consider the sets A, B such that a.A =
b.B. Denoting d = (a, b) the greatest common divisor of a and b, we have
a = d.a1 , b = d.b1 , (a1 , b1 ) = 1 and a1 A = b1 B. Thus {a1 , b1 } is a solution
and it is enough to determine the solutions {a, b} with (a, b) = 1.
If 1 ∈ A then a ∈ a.A = b.B, thus b must be a divisor of a. Similarly,
if 1 ∈ B, then a is a divisor of b. Therefore, in all solutions, one of
numbers a, b is a divisor of the other one.
2.10. Solutions of Olympic 2003 122
Hence
Zb dx n b n
= = log .
x a
a
2.10. Solutions of Olympic 2003 124
Therefore
Zx
1 (log (x/t))n
fn+1 (x) = g(t) dt.
x n!
0
Note that if g is constant then the definition gives fn = g. This implies
on one hand that we must have
Zx
1 (log (x/t))n
dt = 1
x n!
0
Since all roots are in the left half-plane, for each i, ki and li are of the
same sign, and for each j, pj , qj , rj are of the same sign, too. Hence,
2.10. Solutions of Olympic 2003 125
The roots polynomial g(z) are in the left half-plane, so we have bk+1 bk+2 <
bk bk+3 for all −1 ≤ k ≤ n − 4. Defining bn−1 = bn = · · · = 0 and
b−1 = b−2 = · · · = 0 as well, we also have bk+1 bk+2 ≤ bk bk+3 for all
integer k.
Now we prove ak+1 ak+2 > ak ak+3 . If k = −1 or k = n − 2 then
this is obvious since ak+1 ak+2 is positive and ak ak+3 = 0. Thus, assume
0 ≤ k ≤ n − 3. By an easy computation,
We prove that all the six terms are non-negative and at least one is
positive. Term p2 (bk bk+1 − bk−1 bk+2 is positive since 0 ≤ k ≤ n − 3. Also
terms bk−1 bk − bk−2 bk+1 and q 2 (bk+1 bk+2 − bk bk+3 ) are non-negative by the
induction hypothesis.
2.10. Solutions of Olympic 2003 126
bk+1 (bk−1 bk+2 −bk−2 bk+3 ) = bk−1 (bk+1 bk+2 −bk bk+3 )+bk+3 (bk−1 bk −bk−2 bk+1 ) ≥ 0.
2.10.2 Day 2
sin t
Problem 1. We use the fact that is decreasing in the interval
t
sin t
(0, π) and lim = 1. For all x ∈ (0, π2 ) and t ∈ [x, 2x] we have
t→0+0 t
sin 2x sin t
x< < 1, thus
2 t
sin 2x m Z2x tm Z2x
sinm t
Z2x
tm
< dt < dt,
2x tn tn tn
x x x
Z2x Z2
tm
dt = xm−n+1 um−n du.
tn
x 1
sin 2x m
The factor tends to 1. If m − n + 1 < 0, the limit of xm−n+1 is
2x
m−n+1
R2
infinity; if m−n+1 > 0 then 0. If m−n+1 = 0 then x um−n du =
1
2.10. Solutions of Olympic 2003 127
ln 2. Hence,
Z2x 0, m≥n
sinm t
lim dt = ln 2, n − m = 1
x→0+0 tn +∞, n − m > 1.
x
We note that this operation is still not defined completely (we need to
define a ∗ a), but nevertheless let us investigate its features. At first,
due to (i), for a 6= b the operation obviously satisfies the following three
conditions:
a) a 6= a ∗ b 6= b;
b) a ∗ b = b ∗ a;
c) a ∗ (a ∗ b) = b.
What does the condition (ii) give? It claims that
e’) x∗(a∗c) = x∗y = z = b∗c = (x∗a)∗c for any three different x, a, c,
i.e. that the operation is associative if the arguments are different. Now
we can complete the definition of *. In order to save associativity for
nondifferent arguments, i.e. to make b = a ∗ (a ∗ b) = (a ∗ a) ∗ b hold, we
will add to S an extra element, call it 0, and define
d) a ∗ a = 0 and a ∗ 0 = 0 ∗ a = a.
2.10. Solutions of Olympic 2003 128
Then
Zx ∞
f0 X xm+1
ln f (x) = ln f (x) − ln f (0) = = =
f m=0
(m + 1)(m + 2)
0
∞ ∞
X xm+1 xm+1 1 X xm+1 1 1
= − =1+ 1− =1+ 1− ln ,
m=1
(m + 1 (m + 2) x m=1
(m + 1) x 1 − x
1
ln f = 1 − ln 2,
x
1 e
and thus f = .
2 2
π
Since the graph of sin x is concave down for x ∈ [0, ], the chord joining
π 2
the points (0, 0) and ( , 1) lies below the graph. Hence
2
2x π
≤ sin x for all x ∈ [0, ]
π 2
and we can deduce the right-hand side of the claim:
2
(x1 + x2 + · · · + xn ) ≤ sin x1 + sin x2 + · · · + sin xn = 1.
π
π
The value 1 can be reached choosing x1 = and x2 = · · · = xn = 0.
2
The left-hand side follows immediately from Jensen’s inequality, since
π x1 + x2 + · · · + xn π
sin x is concave down for x ∈ [0, ] and 0 ≤ <
2 n 2
1 sin x1 + sin x2 + · · · + sin xn x1 + x2 + · · · + xn
= ≤ sin .
n n n
1
Equality holds if x1 = · · · = xn = arcsin .
n
Now we have computed the minimum and maximum of interval Sn ;
1 π π
we can conclude that Sn = [n arcsin , ]. Thus ln = − n and
n 2 2
π arcsin(1/n) π
− lim
lim ln = = − 1.
n→∞ 2 n→∞ 1/n 2
−1, if X is white
Problem 4. Define f : M → {−1, 1}, f (X) = .
P 1, if X is black
The given condition becomes f (X) = 0 for any sphere S which passes
X∈S
through at least 4 points of M . For any 3 given points A, B, C in M ,
denote by S(A, B, C) the set of all spheres which pass through A, B, C
and at least one other point of M and by |S(A, B, C)| the number of
P P
these spheres. Also, denote by the sum f (X).
X∈M
We have
X X X
0= f (X) = (|S(A, B, C)| − 1)(f (A) + f (B) + f (C)) +
S∈S(A,B,C) X∈S
(1)
2.11. Solutions of Olympic 2004 133
since the values of A, B, C appear |S(A, B, C)| times each and the other
values appear only once.
If there are 3 points A, B, C such that |S(A, B, C)| = 1, the proof is
finished.
If |S(A, B, C)| > 1 for any distinct points A, B, C in M , we will prove
P
at first that = 0.
P
Assume that > 0. From (1) it follows thatf (A) + f (B) + f (C) < 0
and summing by all n3 possible choices of (A, B, C) we obtain that
n P
P
3 < 0, which means < 0 (contradicts the starting assumption).
P
The same reasoning is applied when assuming < 0.
P
Now, from = 0 and (1), it follows that f (A) + f (B) + f (C) = 0
for any distinct points A, B, C in M . Taking another point D ∈ M , the
following equalities take place
|xi+1 − x1 | ≥ 2|xi − x1 | ∀i = 2, . . . , k − 1,
|xi+1 − x1 | ≥ 2|xi − x1 | ∀i = 2, . . . , l − 1.
Now let us make the induction step. Let m be the minimal element
of X, M be its maximal element. Let
m+M m+M
Xm = {x ∈ X : x ≤ }, XM = {x ∈ X : x > }.
2 2
(k−1)+l−4
Since k+l−4 k+(l−1)−4
k−2 = k−2 + (k−1)−2
, we can see that either
(k − 1) + l − 4 k + (l − 1) − 4
|Xm | ≥ + 1, or |XM | ≥ + 1.
(k − 1) − 2 k−2
In the first case we apply the inductive assumption to Xm and either
obtain a decreasing sequence of length l with the required properties
(in this case the inductive step is made), or obtain an increasing se-
quence {xi }k−1 i=1 ⊆ Xm of length k − 1. Then we note that the sequence
{x1 , x2 , . . . , xk−1 , M } ⊆ X has length k and all the required properties.
In the case |XM | ≥ k+(l−1)−4
k−2 the inductive step is made in a similar
way. Thus the lemma is proved.
The reader may check that the number k+l−4
k−2 + 1 cannot be smaller
in the lemma.
Problem 6. It is clear that the left hand side is well defined and inde-
pendent of the order of summation, because we have a sum of the type
P −4
n , and the branches of the logarithms do not matter because all
branches are taken. It is easy to check that the convergence is locally
uniform on C\{0, 1}; therefore, f is a holomorphic function on the com-
plex plane, except possibly for isolated singularities at 0 and 1. (We
omit the detailed estimates here.)
The function log has its only (simple) zero at z = 1, so f has a
quadruple pole at z = 1.
Now we investigate the behavior near infinity. We have Re(log (z)) =
2.11. Solutions of Olympic 2004 135
−4
X
−4
X
−4
1
= 2π n − n = .
n≥1 n≥1even
48
2.11.2 Day 2
A1
Problem 1. Let A = A 2
and B = (B1 B2 ) where A1 , A2 , B1 , B2 are
2 × 2 matrices. Then
1 0 −1 0
0 1 0 −1 = A1 (B1 B2 ) = A1 B1 A1 B2
−1 0 1 0 A2 B1 A2 B2
A2
0 −1 0 1
therefore, A1 B1 = A2 B2 = I2 and A1 B2 = A2 B1 = −I2 Then B1 =
A−1 −1 −1
1 , B2 = −A1 and A2 = B2 = −A1 . Finally,
A1
2 0
BA = (B1 B2 ) = B1 A1 + B2 A2 = 2I2 = 0 2
A2
Rx p Rx p
Problem 2. Let F (x) = f (t)dt and G(x) = g(t)dt. The func-
a a
tions F, G are convex, F (a) = 0 = G(a) and F (b) = G(b) by the hypoth-
esis. We are supposed to show that
Zb p Zb p
1 + (F 0 (t))2 dt ≥ 1 + (G0 (t))2 dt
a a
2.11. Solutions of Olympic 2004 138
i.e. The length at the graph of F is ≥ the length of the graph of G. This
is clear since both functions are convex, their graphs have common ends
and the graph of F is below the graph of G - the length of the graph of F
is the least upper bound of the lengths of the graphs of piecewise linear
functions whose values at the points of non-differentiability coincide with
the values of F , if a convex polygon P1 is contained in a polygon P2 then
the perimeter of P1 is ≤ the perimeter of P2 .
Problem 3. Considering as vectors, thoose p to be the unit vector
Pn
which points into the opposite direction as pi . Then, by the triangle
i=1
inequality,
n
X n
X n
X
|p − pi | ≥ np − pi = n + pi ≥ n.
i=1 i=1 i=1
Problem 4. We first solve the problem for the special case when the
eigenvalues of M are distinct and all sums λr +λs are different. Let λr and
λs be two eigenvalues of M and → −
v r, →
−
v s eigenvectors associated to them,
i.e. M → −v j = λ→ −v j for j = r, s. We have M → −v r (→
−
v s )T + → −v r (→
−
v s )T M T =
(M → −
v r )(→
−v s )T + →
−v r (M →
−
v s )T = λr →
−
v r (→
−
v s )T + λs →−
v r (→
−v s )T , so →
−
v r (→−
v s ) is
an eigenmatrix of LM with the eigenvalue λr + λs .
Notice that if λr 6= λs then vectors → −
u ,→−w , ware linearly independent
and matrices → −
u (→−
w )T and → −
w (→
−
u T are linearly independent, too. This
implies that the eigenvalue λr + λs is double if r 6= s.
The map LM maps n2 -dimensional linear space into itself, so it has
at most n2 eigenvalues. We already found n2 eigenvalues, so there exists
no more and the problem is solved for the special case.
In the general case, matrix M is a limit of matrices M1 , M2 , . . . such
that each of them belongs to the special case above. By the continuity
of the eigenvalues we obtain that the eigenvalues of LM are
(It can happen that the sums λr + λs are not pairwise different; for those
multiple values the multiplicities should be summed up.)
Problem 5. First we use the inequality
es
Since the function is convex,
(s + 1)2
Zu
es u eu
ds ≤ +1
(s + 1)2 2 (u + 1)2
0
so
Z1 Z1 Z∞ e−u
dxdy u eu
≤ +1 du
x−1 + |ln y| − 1 2 (u + 1)2 u
0 0 0
2.12. Solutions of Olympic 2005 140
Z∞ Z∞
1 du −u
= + e du = 1.
2 (u + 1)2
0 0
and denote an = |An |, a0n = |A0n |, a00n = |A00n |, bn = |Bn |, b0n = |Bn0 |, b00n =
|Bn00 |.
It is easy to observe the following relations between the a-sequences
an = a0n + a00n
a0n+1 = a00n ,
a00 0 00
n+1 = 2an + 2an
(x1 , x2 , . . . , xn ) ∈ An ⇒ (x1 + 1, x2 + 1, . . . , xn + 1) ∈ An ,
(x1 + 2, x2 + 2, . . . , xn + 2 ∈ An
1
which means that of the elements of An start with 0. We establish a
3
bijection between the subset of all the vectors in An+1 which start with
0 and the set Bn by
By integration
Zx Zx
1 1
−M f (t)dt ≤ f 2 (x) − f 2 (0) ≤ M f (t)dt, x ∈ [0, 1]
2 2
0 0
Zx Zx
1 1
−M f (x) f (t)dt ≤ f 3 (x) − f 2 (0)f (x) ≤ M f (x) f (t)dt, x ∈ [0, 1].
2 2
0 0
2.12. Solutions of Olympic 2005 143
Z1 2 Z1 Z1 Z1 2
3 2
−M f (x)dx ≤ f (x)dx−f (0) f (x)dx ≤ M f (x)dx ⇔
0 0 0 0
Z1 Z1
Z1 2
3 2
⇔ f (x)dx − f (0) f (x)dx ≤ M f (x)dx .
0 0 0
R1
Solution 2. Let M = max |f 0 (x)| and F (x) = − f ; then F 0 =
0≤x≤1 x
R1
f, F (0) = − f and F (1) = 0. Integrating by parts,
0
Z1 Z1 Z1
f3 = f 2 .F 0 = [f 2 F ]10 − (f 2 )0 F =
0 0 0
Z1 Z1 Z1
= f 2 (1)F (1) − f 2 (0)F (0) − 2F f f 0 = f 2 (0) f− 2F f f 0 .
0 0 0
Then
Z1 Z1 Z1 Z1
f 3 (x)dx − f 2 (0) f (x)dx = 2F f f 0 ≤ 2F f |f 0 | ≤
0 0 0 0
Z1 Z1 2
≤M 2F f = M.[F 2 ]10 = M f .
0 0
Problem 4. Note that P (x) does not have any positive root because
P (x) > 0 for every x > 0. Thus, we can represent them in the form
αi , i = 1, 2, . . . , n, where αi ≥ 0. If a0 6= 0 then there is a k ∈ N, 1 ≤ k ≤
n − 1, with ak = 0, so using Viete’s formulae we get
a2 an−1 2 n2 a2 an−1
therefore ≥ (n − 1) . Hence ≥ ≥ (n − 1)2 , implying
a1 an 2 a1 an
n ≤ 3. So, the only polynomials possibly satisfying (i) and (ii) are those
of degree at most three. These polynomials can easily be found and they
are P (x) = x, P (x) = x2 + 2x, P (x) = 2x2 + x, P (x) = x3 + 3x2 + 2x and
P (x) = 2x3 + 3x2 + x.
Solution 2. Consider the prime factorization of P in the ring Z[x].
Since all roots of P are rational, P can be written as a product of n
linear polynomials with rational coefficients. Therefore, all prime factor
of P are linear and P can be written as
n
Y
P (x) = (bk x + ck )
k=1
and
Rx 0
Rx 2
p(0) + p |p(0)| + M ex /2
dx
p(x) 0 0
|h(x)| = x2 /2 = x 2 /2 ≤ x 2 /2 .
e e e
Rx 2
ex /2
dx
2 0
Since lim ex /2 = ∞ and lim = 0 (by L’Hospital’s rule), this
x→∞ ex2 /2
implies lim h(x) = 0.
x→∞
2
f (x)ex /x
Solution 2. Apply L’Hospital rule twice on the fraction .
ex2 /x
(Note that L’Hospital rule is valid if the denominator converges to infin-
ity, without any assumption on the numerator.)
2 2
f (x)ex /2 (f 0 (x) + xf (x))ex /2
lim f (x) = lim = lim
x→∞ x→∞ ex2 /2 x→∞ xex2 /2
2
(f 00 (x) + 2xf 0 (x) + (x2 + 1)f (x))ex /2
= lim =
x→∞ (x2 + 1)ex2 /2
f 00 (x) + 2xf 0 (x) + (x2 + 1)f (x)
= lim = 0.
x→∞ x2 + 1
Problem 6. Write d = gcd(m, n). It is easy to see that < G(m), G(n) >=
G(d); hence, it will suffice to check commutativity for any two elements
in G(m) ∪ G(n), and so for any two generators am and bn . Consider their
commutator z = a−m b−n am bn ; then the relations
show that z ∈ G(m) ∩ G(n). But then z is in the center of G(d). Now,
from the relation am bn = bn am z, it easily follows by induction that
2
aml bnl = bnl aml z l .
2 2
Setting l = md and l = n
d we obtain z (m/d) = z (n/d) = e, but this implies
that z = e as well.
2.12.2 Day 2
2
Problem 1. Write f (x) = (x + 2b )2 + d where d = c − b4 . The absolute
minimum of f is d.
2.12. Solutions of Olympic 2005 147
p
Solution 2. Let be the simplest form of the rational function
q
f3 p2
. Then the simplest form of its square is . On the other hand
f2 q2
p2 f 3 2
2
= 2
= f 2 is a polynomial therefore q must be a constant and so
q f
3
f p
f = 2 = is a polynomial.
f q
Problem 3. If A is a nonzero symmetric matrix, then trace(A2 ) =
trace(At A) is the sum of the squared entries of A which is positive. So
V cannot contain any symmetric matrix but 0.
Denote by S the linear space of all real n × n symmetric matrices;
n(n + 1)
dimV = . Since V ∩ S = {0}, we have dimV + dimS ≤ n2 and
2
n(n + 1) n(n − 1)
thus dimV ≤ n2 − = .
2 2
n(n − 1)
The space of strictly upper triangular matrices has dimension
2
and satisfies the condition of the problem.
n(n − 1)
Therefore the maximum dimension of V is .
2
Problem 4. Let
f (−1) 2 f (1) 2
g(x) = − x (x−1)−f (0)(x2 −1)+ x (x+1)−f 0 (0)x(x−1)(x+1).
2 2
It is easy to check that g(±1) = f (±1), g(0) = f (0) and g 0 (0) = f 0 (0).
Apply Rolle’s theorem for the function h(x) = f (x) − g(x) and its
derivatives. Since h(−1) = h(0) = h(1) = 0, there exist η ∈ (−1, 0) and
ϑ ∈ (0, 1) such that h0 (η) = h0 (ϑ) = 0. We also have h0 (0) = 0, so there
exist % ∈ (η, 0) and σ ∈ (0, ϑ) such that h00 (%) = h00 (σ) = 0. Finally,
there exists a ξ ∈ (%, σ) ⊂ (−1, 1) where h000 (ξ) = 0. Then
f (−1) f (1) f (1) − f (−1) 0
f 000 (ξ) = g 000 (ξ) = − .6−f (0).0+ .6−f 0 (0).6 = −f (0).
2 2 2
f (1) − f (−1)
Solution 2. The expression − f 0 (0) is the divided
2
difference f [−l, 0, 0, 1] and there exists a number ξ ∈ (−1, 1) such that
f 000 (ξ)
f [−1, 0, 0, 1] = .
3!
2.12. Solutions of Olympic 2005 149
x2
Problem 5. To get an upper bound for r, set f (x, y) = x − +
2
y2
. This function satisfies the conditions, since grad f (x, y) = (1 −
2
x, y), grad f (0, 0) = (1, 0) and (|grad f (x1 , y1 ) − grad f (x2 , y2 )| = |(x2 −
x1 , y1 − y2 )| = |(x1 , y1 ) − (x2 , y2 )|
In the disk Dr = {(x, y) : x2 + y 2 ≤ r2 }
x2 + y 2 1 1 r2 1
f (x, y) = − x − )2 + ≤ + .
2 2 4 2 4
1 r2 1
If r > then the absolute maximum is + , attained at the points
r 2 2 4
1 1 1 1
, ± r2 − . Therefore, it is necessary that r ≤ because if r >
2 4 2 2
then the maximum is attained twice.
1
Suppose now that r ≤ and that f attains its maximum on Dr at
2
u, v, u 6= v. Since |grad f (z) − grad f (0)| ≤ r, |grad f (z)1 ≤ 1 − r > 0 for
all z ∈ Dr . Hence f may attain its maximum only at the boundary of Dr ,
so we must have |u| = |v| = r and grad f (u) = au and grad f (v) = bv,
where a, b ≥ 0. Since au = grad f (u) and bv = grad f (v) belong to
the disk D with centre grad f (0) and radius r, they do not belong to the
interior of Dr . Hence |grad f (u)−grad f (v)| = |au−bv| ≥ |u−v| and this
inequality is strict since D ∩ Dr contains no more than one point. But
this contradicts the assumption that |grad f (u) − grad f (v)| ≤ |u − v|.
1
So all r ≤ satisfies the condition.
2
Problem 6. First consider the case when q = 0 and r is rational.
Choose a positive integer t such that r2 t is an integer and set
2
a b 1 + rt −r t .
c d = t 1 − rt
Then
a b
ar + b (1 + rt)r − r2 t
det c d and = = r.
cr + d tr + (1 − rt)
Now assume q 6= 0. Let the minimal polynomial of r in Z[x] be ux2 +
√
vx + w. The other root of this polynomial is r = p − q 7, so v =
2.12. Solutions of Olympic 2005 150
c = ut, d − a = vt, −b = wt
s2 − 742 t2 = 4 (1)
such that t 6= 0.
The numbers s and t will be even. Then a + d = s and d − a = vt
will be even as well and a and d will be really integers.
√ √
Let (8 ± 3 7)n = kn ± ln 7 for each integer n. Then kn2 − 7ln2 =
√ √ √ √
(kn + ln 7)(kn − ln 7) = ((8 + 3 7)n (8 − 3 7))n = 1 and the sequence
(ln ) also satisfies the linear recurrence ln+1 = 16ln − ln−1 . Consider the
residue of ln modulo 4. There are 42 possible residue pairs for (ln , ln+1 )
so some are the same. Starting from such two positions, the recurrence
shows that the sequence of residues is periodic in both directions. Then
there are infinitely many indices such that ln ≡ l0 = 0 (mod 4).
Taking such an index n, we can set s = 2kn and t = 2ln /4.
Remarks. 1. It is well-known that if D > 0 is not a perfect square
then the Pell-like Diophantine equation
x2 + Dy 2 = 1
has infinitely many solutions. Using this fact the solution can be gener-
alized to all quadratic algebraic numbers.
2.13. Solutions of Olympic 2006 151
Problem 1.
a) False. Consider function f (x) = x3 −x. It is continuous, range(f ) =
R but, for example, f (0) = 0, f ( 21 ) = − 38 and f (1) = 0, therefore
f (0) > f ( 12 ), f ( 12 ) < f (1) and f is not monotonic.
b) True. Assume first that f is non-decreasing. For an arbitrary
number a, the limits limf and limf exist and limf ≤ limf . If the two
a− a+ a− a+
limits are equal, the function is continuous at a. Otherwise, if limf =
a−
b < limf = c, we have f (x) ≤ b for all x < a and f (x) ≥ c for all x > a;
a+
therefore range(f ) ⊂ (−∞, b) ∪ (c, ∞) ∪ {f (a)} cannot be the complete
R.
For non-increasing f the same can be applied writing reverse relations
or g(x) = −f (x).
c) False. The function g(x) = arctan x is monotonic and continuous,
but range(g) = (− π2 , π2 ) 6= R.
Problem 2. Let Sk = {0 < x < 10k |x2 − x is divisible by 10k } and
s(k) = |Sk |, k ≥ 1. Let x = ak+1 ak . . . a1 be the decimal writing of an
integer x ∈ Sk+1 , k ≥ 1. Then obviously y = ak . . . a1 ∈ Sk . Now, let
y = ak . . . a1 ∈ Sk be fixed. Considering ak+1 as a variable digit, we have
x2 − x = (ak+1 10k + y)2 − (ak+1 10k + y) = (y 2 − y) + ak+1 10k (2y − 1) +
a2k+1 102k . Since y 2 − y = 10k z for an iteger z, it follows that x2 − x is
divisible by 10k+1 if and only if z + ak+1 (2y − 1) ≡ 0 (mod 10). Since
y ≡ 3 (mod 10) is obviously impossible, the congruence has exactly one
solution. Hence we obtain a one-to-one correspondence between the sets
Sk+1 and Sk for every k ≥. Therefore s(2006) = s(1) = 3, because
2.13. Solutions of Olympic 2006 152
S1 = {1, 5, 6}.
Solution 2. Since x2 − x = x(x − 1) and the numbers x and x − 1
are relatively prime, one of them must be divisible by 22006 and one of
them (may be the same) must be divisible by 52006 . Therefore, x must
satisfy the following two conditions:
x ≡ 0 or 1 (mod 22006 );
x ≡ 0 or 1 (mod 52006 ).
It remains to define Bi,n and Ci,n such that A = BC also holds for the
(i, n)-th entry for all i < n.
First we check that Bii and Cnn are relatively prime for all i < n.
Since Bii divides b0 , it is certainly enough to prove that b0 and Cnn are
relatively prime, i.e.
b Ann
gcd , = 1,
gcd(b, Ann ) gcd(b, Ann )
which is obvious. Now we define Bj,n and Cj,n inductively: Suppose we
have defined Bi,n and Ci,n for all i = j + 1, j + 2, . . . , n − 1. Then Bj,n
and Cj,n have to satisfy
Since Bj,j and Cn,n are relatively prime, we can choose integers Cj,n and
Bj,n such that this equation is satisfied. Doing this step by step for all
j = n − 1, n − 2, . . . , 1, we finally get B and C such that A = BC.
Problem 4. Let S be an infinite set of integers such that rational
p(x)
function f (x) is integral for all X ∈ S. Suppose that f (x) = where
q(x)
p is a polynomial of degree k and q is a polynomial of degree n. Then
p, q are solutions to the simultaneous equations p(x) = q(x)f (x) for all
x ∈ S that are not roots of q. These are linear simultaneous equations
in the coefficients of p, q with rational coefficients. Since they have a
solution, they have a rational solution.
Thus there are polynomials p0 , q 0 with rational coefficients such that
p0 (x) = q 0 (x)f (x) for all x ∈ S that are not roots of q. Multiplying this
with the previous equation, we see that p0 (x)q(x)f (x) = p(x)q 0 (x)f (x)
for all x ∈ S that are not roots of q. If x is not a root of p or q, then
f (x) 6= 0, and hence p0 (x)q(x) = p(x)q 0 (x) for all x ∈ S except for
finitely many roots of p and q. Thus the two polynomials p0 q and pq 0 are
equal for infinitely many choices of value. Thus p0 (x)q(x) = p(x)q 0 (x).
p(x)
Dividing by q(x)q 0 (x), we see that df racp0 (x)q 0 (x) = = f (x). Thus
q(x)
2.13. Solutions of Olympic 2006 154
4 4 2 2 2 2 2 a2 b 2
4
a + b + (e + 4) = (a + b + 4) + e , 4 = − 2 .
a + b2 − e2
2 1 1
(Here a2 + b2 − e2 ) ≥ (a2 + b2 + c2 ) − (d2 + e2 ) = (d2 + e2 ) > 0).
3 2 6
2 2 2 2 2 2
a b (a − e )(e − b )
Since c2 = e2 − 2 = > 0 then a > e > b.
a + b2 − e2 a2 + b2 − e2
a2 b2
2 2
Therefore d = a + b − 2 2
2 2
< a2 and a > d ≥ e > b ≥ c.
a +b −e
Consider a function f (x) = ax + bx + cx − dx − ex , x ∈ R. We shall
prove that f (x) has only two zeroes x = 2 and x = 4 and changes the
sign at these points. Suppose the contrary. Then Rolle’s theorem implies
that f 0 (x) has at least two distinct zeroes. Without loss of generality
a = 1. Then f 0 (x) = ln b.bx + ln c.cx − ln d.dx − ln e.ex , x ∈ R. If f 0 (x1 ) =
f 0 (x2 ) = 0, x1 < x2 , then ln b.bxi + ln c.cxi = ln d.dxi + ln e.exi , i = 1, 2,
2.13. Solutions of Olympic 2006 155
2.13.2 Day 2
y − x = f (a) − f (b) ≤ |a − b| ≤ y − x
we get that < vi , vj > is rational for all i, j. Define A to be the rational
n × n-matrix Aij =< vi , vj >, w ∈ Qn to be the vector wi =< vi , vn+1 >,
and λ ∈ Rn to be the vector (λi )i Then,
n
X
< vi , vi+1 >= λj < vi , vj >
j=1
y 3 − ny + mn = 0.
Let two roots be u and v; the third one must be w = −(u + v) since the
sum is 0. The roots must also satisfy
and
uvw = −uv(u + v) = mn.
So we need some integer pairs (u, v) such that uv(u + v) is divisible by
u2 + uv + v 2 . Look for such pairs in the form u = kp, v = kq. Then
u2 + uv + v 2 = k 2 (p2 + pq + q 2 ),
and
uv(u + v) = k 3 pq(p + q).
Chosing p, q such that they are coprime then setting k = p2 + pq + q 2 we
uv(u + v)
have 2 2
= p2 + pq + q 2 .
u + uv + v
Substituting back to the original quantites, we obtain the family of
cases
m = (p2 + pq + q 2 )3 , m = p2 q + pq 2 ,
and the three roots are
x1 = p3 , x2 = q 3 , x3 = −(p + q)3 .
2.13. Solutions of Olympic 2006 159
a + d = T rA2 = T rB2 = a0 + d0
aλ + dµ = T r(A2 A3 ) = T r(A−1 −1 0 0
1 = T rB1 = T r(B2 B3 ) = a λ + d µ.
NU V G = |U × V | = |U |.|V |.
and therefore
NU V W = NV W U = NW U V .
Third, if U, V ⊂ G and W1 , W2 , W3 are disjoint sets and W = W1 ∪
W2 ∪ W3 then, for arbitrary U, V ⊂ G,
so
NU V W = NU V W1 + NU V W2 + NU V W3 .
Applying these observations, the statement follows as
c, c2 , c3 , c4 , . . .
are roots of Q. Since Q can have only finitely many roots, we must have
cN = 1 for some N > 1; in particular, Q(1) = 0, which implies P (1) = 0
2.14. Solutions of Olympic 2007 163
n
X ai ∈ I, and
P
for all P ∈ I. This contradicts the fact that R(X) =
i=1
we are done.
Problem 6. We show that the number of nonzero coefficients can be 0, 1
and 2. These values are possible, for example the polynomials P0 (z) =
0, P1 (z) = 1 and P2 (z) = 1 + z satisfy the conditions and they have 0, 1
and 2 nonzero terms, respectively.
Now consider an arbitrary polynomial P (z) = a0 + a1 z + · · · + an z n
satisfying the conditions and assume that it has at least two nonzero
coefficients. Dividing the polynomial by a power of z and optionally
replacing p(z) by −p(z), we can achieve a0 > 0 such that conditions are
not changed and the numbers of nonzero terms is preserved. So, without
loss of generality, we can assume that a0 > 0.
Let Q(z) = a1 z + · · · + an−1 z n−1 . Our goal is to show that Q(z) = 0.
Consider those complex numbers w0 , w1 , . . . , wn−1 on the unit circle
for which an wkn = |an |; namely, let
( 2kπi
e n if an > 0
wk = (2k+1)πi (k = 0, 1, . . . , n).
e n if an < 0
Notice that
n−1 n−1 n−1 n−1 k
X X 2kπi
X X 2jπi
aj w0j
Q(wk ) = Q w0 e n = e n = 0.
k=0 k=0 j=1 k=0
and
n−1 n−1
1X 1X
2> |P (wk )| > P (wk ) = a0 + |an | > 2.
n n
k=0 k=0
This obviously implies a0 = |an | = 1 and |P (wk )| = |2 + Q(wk )| = 2 for
all k. Therefore, all values of Q(wk ) must lie on the circle |2 + z| = 2,
2.14. Solutions of Olympic 2007 164
while their sum is 0. This is possible only if Q(wk ) = 0 for all k. Then
polynomial Q(z) has at least n distinct roots while its degree is at most
n−1. So Q(z) = 0 and P (z) = a0 +an z n has only two nonzero coefficients.
Remark. From Parseval’s formula (i.e. integrating |P (z)|2 = P (z)P (z)
on the unit circle) it can be obtained that
Z2π Z2π
1 1
|a0 |2 + · · · + |an |2 = |P (eit )|2 dt 6 4dt = 4. (2.2)
2π 2π
0 0
Hence, there cannot be more than four nonzero coefficients, and if there
are more than one nonzero term, then their coefficients are ±1.
It is also easy to see that equality in (2.2) cannot hold two or more
nonzero coefficients, so it is sufficient to consider only polynomials of the
form 1 ± xm ± xn . However, we do not know any simpler argument for
these cases than the proof above.
2.14.2 Day 2
Problem 1. No. The function f (x) = ex also has this property since
cex = ex+log c .
Problem 2. We claim that 29|x, y, z. Then, x4 + y 4 + z 4 is clearly
divisible by 294 .
Assume, to the contrary, that 29 does not divide all of the numbers
x, y, z. Without loss of generality, we can suppose that 29 - x. Since the
residue classes modulo 29 form a field, there is some w ∈ Z such that
xw ≡ 1 (mod 29). Then (xw)4 + (yw)4 + (zw)4 is also divisible by 29.
So we can assume that x ≡ 1 (mod 29).
Thus , we need to show that y 4 +z 4 ≡ −1 (mod 29), i.e. y 4 ≡ −1−z 4
(mod 29), is impossible. There are only eight fourth powers modulo 29,
2.14. Solutions of Olympic 2007 165
0 ≡ 04 ,
1 ≡ 14 ≡ 124 ≡ 174 ≡ 284 (mod 29),
7 ≡ 84 ≡ 94 ≡ 204 ≡ 214 (mod 29),
16 ≡ 24 ≡ 54 ≡ 244 ≡ 274 (mod 29),
20 ≡ 64 ≡ 144 ≡ 154 ≡ 234 (mod 29),
23 ≡ 34 ≡ 74 ≡ 224 ≡ 264 (mod 29),
24 ≡ 44 ≡ 104 ≡ 194 ≡ 254 (mod 29),
25 ≡ 114 ≡ 134 ≡ 164 ≡ 184 (mod 29).
The differences −1−z 4 are congruent to 28, 27, 21, 12, 8, 5, 4 and 3. None
of these residue classes is listed among the fourth powers.
Problem 3. Suppose f (x) 6= x for all x ∈ C. Let [a, b] be the smallest
closed interval that contains C. Since C is closed, a, b ∈ C. By our
hypothesis f (a) > a and f (b) < b. Let p = sup{x ∈ C : f (x) > x}.
Since C is closed and f is continuous, f (p) > p, so f (p) > p. For all
x > p/, x ∈ C we have f (x) < x. Therefore f f (p) < f (p) contrary to
the fact that f is non-decreasing.
1 if i − j ≡ ±1 (mod n)
Problem 4. Notice that A = B 2 , with bij = .
0 otherwise
So it is sufficient to find det B.
To find det B, expand the determinant with respect to the first row,
and then expad both terms with respect to the first columns.
0 1 1
1 0 1
1 0 1
det B = 1 ... ...
... 0 1
1 0 1
1 1 0
2.14. Solutions of Olympic 2007 166
1 1 1 0 1
0 1 1 0 1
.
1 .. .. . 1 ... ...
=− ... 0 1 + ... 0 1
1 0 1 1 0
1 1 0 1 1
0 1 1
1 ... ... 0 1
. .
= −
... 0 1 − 1 . . . . +
1 0 1 . .. 0 1
1 0 1 0 1
1 0 1 0 1
. .
1 .. .. 1 0 1
. .
+
... 0 1 − 1 . . . . = −(0 − 1) + (1 − 0) = 2,
1 0 . .. 0 1
1 1 0
since the second and the third matrices are lower/upper triangular, while
in the first and the fourth matrices we have row1 − row3 + row5 − · · · ±
rown−2 = 0.
So det B = 2 and thus det A = 4.
Problem 5. The answer is nk = 2k . In that case, the matrices can
be constructed as follows: Let V be the n-dimensional real vector space
with basis elements [S], where S runs through all n = 2k subsets of
{1, 2, . . . , k}. Define Ai as an endomorphism of V by
0 if i ∈ S
Ai [S] =
[S ∪ {i}] if i ∈
/S
and hence A1 A2 . . . Ak 6= 0.
Now let A1 , A2 , . . . , Ak be n × n matrices satisfying the conditions of
the problem; we prove that n > 2k . Let v be a real vector satisfying
2.14. Solutions of Olympic 2007 167
AX vY = AX\{y} Ay Ay vY \{y} = 0,
1 1
both sides are positive. In any case, < , and hence
a − xi b − xi+1
k−1 k−1
g 0 (a) X 1 1 X 1 1 g 0 (b)
= + < + =
g(a) i=1
a − x i a − x k
| {z } i=1 b − x i+1 b − x
| {z }1 g(b)
<0 >0
1
f 0 has no zero inside (a, b). Define ξ by the relation b − ξ = (b − a);
m
then ξ ∈ (a, b). We show that f (ξ) + f 0 (ξ) > f (b) + .
Notice that
m−1
f 00 (ξ) X 1
=
f 0 (ξ) (n)
i=1 ξ − xi
X 1 1 X 1
= (n)
+ +
i<j ξ − xi
ξ − b i>j ξ − x(n)
| {z } | {z i }
1
< ξ−a <0
1 1
< (m − 1) + = 0.
ξ−a ξ−b
f 00
The last equality holds by definition of ξ. Since f 0 is positive and is
f0
decreasing in (a, b), we have that f 00 is negative on (ξ, b). Therefore,
Zb Zb
f (b) − f (ξ) = f 0 (t)dt 6 f 0 (ξ)dt = (b − ξ)f 0 (ξ).
ξ ξ
Hence,
we get
f (ξ) + f 0 (ξ) > f (b) + .
Together with (2.4) this shows (2.5). This finishes the proof of Lemma
2.
2.15. Solutions of Olympic 2008 170
Denote
is a set of three special triples also (we may suppose that a + b + c < 1,
because otherwise all three triples are equal and our statement is trivial).
If there is a special triple (x, y, z) which is not worse than any triple
from S1 , then the triple
is special and not worse than any triple from S. We also have a(S1 ) =
b(S1 ) = c(S1 ) = 0, so we may suppose that the same holds for our
starting set S.
Suppose that one element of S has two entries equal to 0.
Note that one of the two remaining triples from S is not worse than
the other. This triple is also not worse than all triples from S because
any special triple is not worse than itself and the triple with two zeroes.
So we have a = b = c = 0 but we may suppose that all triples from
S contain at most one zero. By transposing triples and elements in
triples (elements in all triples must be transposed simultaneously) we
may achieve the following situation x1 = y2 = z3 = 0 and x2 > x3 . If
z2 > z1 , then the second triple (x2 , 0, z2 ) is not worse than the other two
triples from S. So we may assume that z1 > z2 . If y1 > y3 , then the first
triple is not worse than the second and the third and we assume y3 > y1 .
Consider the three pairs of numbers x2 , y1 ; z1 , x3 ; y3 , z2 . The sum of all
these numbers is three and consequently the sum of the numbers in one
of the pairs is less than or equal to one. If it is the first pair then the
triple (x2 , 1 − x2 , 0) is not worse than all triples from S, for the second
2.15. Solutions of Olympic 2008 174
we may take (1−z1 , 0, z1 ) and for the third — (0, y3 , 1−y3 ). So we found
a desirable special triple for any given S.
Problem 5. Yes. Let H be the commutative group H = F32 , where
F2 ∼
= Z/2Z is the field with two elements. The group of automorphisms
of H is the general linear group GL3 F2 ; it has
2.15.2 Day 2
C 0
0
| det C | = det 0 C = | det C|2 ,
x2 − x1 , x2 − x1 = d2 ,
1 1
x2 − x1 , x3 − x1 = kx2 − x1 k2 + kx3 − x1 k2 − kx2 − x3 k2 = d2 ,
2 2
x2 − x1 , x4 − x3 = x2 − x1 , x4 − x1 − x2 − x1 , x3 − x1
1 1
= d2 − d2 = 0.
2 2
This shows that scalar products among vectors which are finite linear
combinations of the form
λ1 x1 + λ2 x2 + · · · + λn xn ,
x1 − y, x2 − y = x1 − x − λz, x2 − x − λz = x1 − x, x2 − x + λ2 kzk2 ,
T = {x1 , x2 , . . . , xn , . . . }
2 d2 1 1 1 1 1 1 > 2
kym − yn k = − ,..., − , ,
2 m n m n m m Rm
2 2
d n(m − n) m−n
= +
2 m2 n2 m2
2
d (m − n)(m − n + n) d2 m − n
= =
2 m2 n 2 mn
2
d 1 1
= − → 0, m, n → ∞.
2 n m
2.15. Solutions of Olympic 2008 180
y = lim yn ∈ H.
n→∞
We claim that y satisfies all conditions of the problem. For m > n > p,
with n, p fixed, we compute
2 d2 1 1 1 1 1 > 2
kxn − ym k = − ,...,− ,1 − ,− ,...,−
2 m m m m m Rm
d2 h m − 1 (m − 1)2 i d2 m − 1 d2
= + = → , m → ∞,
2 m2 m2 2 m 2
showing that kxn − yk = √d2 , as well as
*
d2 1 1 1 1 ⊥
xn − ym , xp − ym = − ,...,− ,...,1 − ,...,− ,
2 m m m m
+
1 1 1 1 ⊥
− ,...,1 − ,...,− ,...,−
m m m m
Rm
d2 h m − 2 2 1 i d2
= − 1− =− → 0, m → ∞,
2 m2 m m 2m
showing that xn − y, xp − y = 0, so that
(√ )
2
(xn − y) : n ∈ N
d
is indeed an orthonormal system of vectors.
This completes the proof in case when T = S, which we can always
take if S is countable. If it is not, let x0 , x00 be any two distinct points in
S \ T . Then applying the above procedure to the set
T 0 = {x0 , x00 , x1 , x2 , . . . , xn , . . . }
it follows that
x0 + x00 + x1 + x2 + · · · + xn x1 + x2 + · · · + xn
lim = lim =y
n→∞ n+2 n→∞ n
satisfies that
(√ √ ) (√ )
2 0 2 00 2
(x − y), (x − y) ∪ (xn − y) : n ∈ N
d d d
2.15. Solutions of Olympic 2008 181