1 Real numbers , , , are given. For each , , define
d_{i} = \max \{ a_{j}\mid 1 \leq j \leq i \} - \min \{ a_{j}\mid i \leq j \leq n \}
and let d = \max \{d_{i}\mid 1 \leq i \leq n \}.

(a) Prove that, for any real numbers x_{1}\leq x_{2}\leq \cdots \leq x_{n},
\max \{ |x_{i} - a_{i}| \mid 1 \leq i \leq n \}\geq \frac {d}{2}. \quad \quad (*)
(b) Show that there are real numbers x_{1}\leq x_{2}\leq \cdots \leq x_{n} such that the equality holds in (*).

2 Consider those functions f: \mathbb{N} \mapsto \mathbb{N} which satisfy the condition
f(m + n) \geq f(m) + f(f(n)) - 1
for all Find all possible values of

3 Let be a positive integer, and let and be a positive real number such that Prove that
\left(\sum^n_{k = 1} \frac {1 + x^{2k}}{1 + x^{4k}} \right) \cdot \left( \sum^n_{k = 1} \frac {1 + y^{2k}}{1 + y^{4k}} \right) < \frac {1}{(1 - x) \cdot (1 - y)}. 

4 Find all functions f: \mathbb{R}^{ + }\to\mathbb{R}^{ + } satisfying f\left(x + f\left(y\right)\right) = f\left(x + y\right) + f\left(y\right) for all pairs of positive reals and . Here, denotes the set of all positive reals.

5 Let and let be a sequence of nonnegative real numbers such that
a(m + n) \leq 2 \cdot a(m) + 2 \cdot a(n) \text{ for all } m,n \geq 1,
and a\left(2^k \right) \leq \frac {1}{(k + 1)^c} \text{ for all } k \geq 0. Prove that the sequence is bounded.

6 Let be nonnegative real numbers such that a^2_1 + a^2_2 + \ldots + a^2_{100} = 1. Prove that
a^2_1 \cdot a_2 + a^2_2 \cdot a_3 + \ldots + a^2_{100} \cdot a_1 < \frac {12}{25}. 

7 Let be a positive integer. Consider
S = \left\{ (x,y,z) \mid x,y,z \in \{ 0, 1, \ldots, n\}, x + y + z > 0 \right \}
as a set of points in the three-dimensional space. Determine the smallest possible number of planes, the union of which contains but does not include .

Combinatorics


 

1 Let be an integer. Find all sequences satisfying the following conditions:
\text{ (a) } a_i \in {0,1} \text{ for all } 1 \leq i \leq n^2 + n;

\text{ (b) } a_{i + 1} + a_{i + 2} + \ldots + a_{i + n} < a_{i + n + 1} + a_{i + n + 2} + \ldots + a_{i + 2n} \text{ for all } 0 \leq i \leq n^2 - n. 
2 A rectangle is partitioned in several () rectangles with sides parallel to those of . Given that any line parallel to one of the sides of , and having common points with the interior of , also has common interior points with the interior of at least one rectangle of the partition; prove that there is at least one rectangle of the partition having no common points with 's boundary.

3 Find all positive integers for which the numbers in the set can be colored red and blue, with the following condition being satisfied: The set contains exactly ordered triples such that:

(i) the numbers , , are of the same color,
and
(ii) the number is divisible by .

4 Let be a finite sequence of real numbers. For each , from the sequence we construct a new sequence in the following way.
1. We choose a partition , where and are two disjoint sets, such that the expression
\left|\sum_{i\in I}x_i - \sum_{j\in J}x_j\right|
attains the smallest value. (We allow or to be empty; in this case the corresponding sum is 0.) If there are several such partitions, one is chosen arbitrarily.
2. We set where if , and if .
Prove that for some , the sequence contains an element such that .

5 In the Cartesian coordinate plane define the strips , and color each strip black or white. Prove that any rectangle which is not a square can be placed in the plane so that its vertices have the same color.

6 In a mathematical competition some competitors are friends. Friendship is always mutual. Call a group of competitors a clique if each two of them are friends. (In particular, any group of fewer than two competitiors is a clique.) The number of members of a clique is called its size.

Given that, in this competition, the largest size of a clique is even, prove that the competitors can be arranged into two rooms such that the largest size of a clique contained in one room is the same as the largest size of a clique contained in the other room.

7 Let \alpha < \frac {3 - \sqrt {5}}{2} be a positive real number. Prove that there exist positive integers and for which one can select pairwise distinct subsets S_1, \ldots, S_p, T_1, \ldots, T_p of the set such that for all

8 Given is a convex polygon with vertices. Triangle whose vertices lie on vertices of is called good if all its sides are equal in length. Prove that there are at most good triangles.

Geometry


 

1 In triangle the bisector of angle intersects the circumcircle again at , the perpendicular bisector of at , and the perpendicular bisector of at . The midpoint of is and the midpoint of is . Prove that the triangles and have the same area.

2 Denote by midpoint of side in an isosceles triangle with . Take a point on a smaller arc of circumcircle of triangle . Denote by point inside of angle such that and .

Prove that does not depend on choice of .

3 The diagonals of a trapezoid intersect at point . Point lies between the parallel lines and such that , and line separates points and . Prove that .

4 Consider five points , , , and such that is a parallelogram and is a cyclic quadrilateral. Let be a line passing through . Suppose that intersects the interior of the segment at and intersects line at . Suppose also that . Prove that is the bisector of angle .

5 Let be a fixed triangle, and let , , be the midpoints of sides , , , respectively. Let be a variable point on the circumcircle. Let lines , , meet the circumcircle again at , , , respectively. Assume that the points , , , , , are distinct, and lines , , form a triangle. Prove that the area of this triangle does not depend on .

S
6 Determine the smallest positive real number with the following property.
Let be a convex quadrilateral, and let points , , , and lie on sides , , , and , respectively. Consider the areas of triangles , , and ; let be the sum of the two smallest ones, and let be the area of quadrilateral . Then we always have .

7 Given an acute triangle with . Point is the incenter, and the circumradius. Point is the foot of the altitude from vertex . Point lies on line such that , and separates and . Lines and meet sides and at respectively. Let .

Prove that .

S
8 Point lies on side of a convex quadrilateral . Let be the incircle of triangle , and let be its incenter. Suppose that is tangent to the incircles of triangles and at points and , respectively. Let lines and meet at , and let lines and meet at . Prove that points , , and are collinear.

S

Number Theory


 

1 Find all pairs of natural number satisfying divides

2 Let be integers. Suppose that for each there exists an integer such that is divisible by Prove that for some integer

3 Let be a set of 10,000 integers, none of them is divisible by 47. Prove that there exists a 2007-element subset of such that is not divisible by 47 for any

4 For every integer prove that divides the number
\binom{2^{k + 1}}{2^{k}} - \binom{2^{k}}{2^{k - 1}}
but does not.

5 Find all surjective functions f: \mathbb{N} \mapsto \mathbb{N} such that for every and every prime the number is divisible by if and only if is divisible by

6 Let be a positive integer. Prove that the number has a positive divisor of the form if and only if is even.

Actual IMO 2007 Problem, posed as question 5 in the contest, which was used as a lemma in the official solutions for problem N6 as shown above.

7 For a prime and a given integer let denote the exponent of in the prime factorisation of . Given and a set of primes, show that there are infinitely many positive integers such that for all .