$a_1=2,a_{n+1}=\frac{2^{n+1}a_n}{(n+\frac{1}{2})a_n+2^n}(n\in\mathbb{Z}_+)$ [b](a)[/b] Find $a_n$. [b](b)[/b] Let $b_n=\frac{n^3+2n^2+2n+2}{n(n+1)(n^2+1)a_n}$. Find $S_n=\sum_{i=1}^nb_i$.

Determine all real polynomials $p$ such that $p(x+p(x))=x^2p(x)$ for all $x$.

Let $p$ be a prime number greater than $3$. Prove that the sum $1^{p+2} + 2^{p+2} + ...+ (p-1)^{p+2}$ is divisible by $p^2$.

Prove that the product of the first $ n$ natural numbers is divisible by the sum of the first $ n$ natural numbers if and only if $ n\plus{}1$ is not an odd prime.

Let $a \ne 0$ be a natural number. Prove that $a$ is a perfect square if and only if for every $b \in N^*$ there exists $c \in N^*$ such that $a + bc$ is a perfect square.

Along a circle-shaped path are $100$ boys and $100$ girls. The distance between two points on the path is defined as the length of the smaller arc through which it is possible to get from one point to the other. Prove that the sum of distances between pairs of the same gender is always less than or equal to the sum of distances between all pairs of a boy and a girl.

Prove that in any set of $2000$ distinct real numbers there exist two pairs $a>b$ and $c>d$ with $a \neq c$ or $b \neq d $, such that \[ \left| \frac{a-b}{c-d} - 1 \right|< \frac{1}{100000}. \]

Find all functions $f \colon \mathbb{R_{+}}\to \mathbb{R_{+}}$ satisfying : \[f ( f (x)-x) = 2x\] for all $x > 0$.

Find the ratio of two numbers if the ratio of their arithmetic mean to their geometric mean is $25 : 24$

An arbitrary triangle ABC is given. There are 2 lines, p and q, that are not parallel to each other and they are not perpendicular to the sides of the triangle. The perpendicular lines through points A, B and C to line p we denote with $ p_a, p_b, p_c $ and the perpendicular lines to line q we denote with $ q_a, q_b, q_c $. Let the intersection points of the lines $ p_a, q_a, p_b, q_b, p_c $ and $ q_c $ with $ q_b, p_b, q_c, p_c, q_a $ and $ p_a $ are $ K, L, P, Q, N $ and $ M $. Prove that $ KL, MN $ and $ PQ $ intersect in one point.

Divide the plane into $1$x$1$ squares formed by the lattice points. Let$S$ be the set-theoretic union of a finite number of such cells, and let $a$ be a positive real number less than or equal to 1/4.Show that S can be covered by a finite number of squares satisfying the following three conditions: 1) Each square in the cover is an array of $1$x$1$ cells 2) The squares in the cover have pairwise disjoint interios and 3)For each square $Q$ in the cover the ratio of the area $S \cap Q$ to the area of Q is at least $a$ and at most $a {(\lfloor a^{-1/2} \rfloor)} ^2$

$\sqrt{\frac{8^{10}+4^{10}}{8^4+4^{11}}}=$ $ \textbf{(A)}\ \sqrt{2} \qquad\textbf{(B)}\ 16 \qquad\textbf{(C)}\ 32 \qquad\textbf{(D)}\ 12^{\frac{2}{3}} \qquad\textbf{(E)}\ 512.5 $

As in the picture below, the rectangle on the left hand side has been divided into four parts by line segments which are parallel to a side of the rectangle. The areas of the small rectangles are $A,B,C$ and $D$. Similarly, the small rectangles on the right hand side have areas $A^\prime,B^\prime,C^\prime$ and $D^\prime$. It is known that $A\leq A^\prime$, $B\leq B^\prime$, $C\leq C^\prime$ but $D\leq B^\prime$. [asy] import graph; size(12cm); real lsf=0.5; pen dps=linewidth(0.7)+fontsize(10); defaultpen(dps); pen ds=black; real xmin=-4.3,xmax=12.32,ymin=-10.68,ymax=6.3; draw((0,3)--(0,0)); draw((3,0)--(0,0)); draw((3,0)--(3,3)); draw((0,3)--(3,3)); draw((2,0)--(2,3)); draw((0,2)--(3,2)); label("$A$",(0.86,2.72),SE*lsf); label("$B$",(2.38,2.7),SE*lsf); label("$C$",(2.3,1.1),SE*lsf); label("$D$",(0.82,1.14),SE*lsf); draw((5,2)--(11,2)); draw((5,2)--(5,0)); draw((11,0)--(5,0)); draw((11,2)--(11,0)); draw((8,0)--(8,2)); draw((5,1)--(11,1)); label("$A'$",(6.28,1.8),SE*lsf); label("$B'$",(9.44,1.82),SE*lsf); label("$C'$",(9.4,0.8),SE*lsf); label("$D'$",(6.3,0.86),SE*lsf); dot((0,3),linewidth(1pt)+ds); dot((0,0),linewidth(1pt)+ds); dot((3,0),linewidth(1pt)+ds); dot((3,3),linewidth(1pt)+ds); dot((2,0),linewidth(1pt)+ds); dot((2,3),linewidth(1pt)+ds); dot((0,2),linewidth(1pt)+ds); dot((3,2),linewidth(1pt)+ds); dot((5,0),linewidth(1pt)+ds); dot((5,2),linewidth(1pt)+ds); dot((11,0),linewidth(1pt)+ds); dot((11,2),linewidth(1pt)+ds); dot((8,0),linewidth(1pt)+ds); dot((8,2),linewidth(1pt)+ds); dot((5,1),linewidth(1pt)+ds); dot((11,1),linewidth(1pt)+ds); clip((xmin,ymin)--(xmin,ymax)--(xmax,ymax)--(xmax,ymin)--cycle); [/asy] Prove that the big rectangle on the left hand side has area smaller or equal to the area of the big rectangle on the right hand side, i.e. $A+B+C+D\leq A^\prime+B^\prime+C^\prime+D^\prime$.

There exists a polynomial $P$ of degree $5$ with the following property: if $z$ is a complex number such that $z^5+2004z=1$, then $P(z^2)=0$. Calculate the quotient $\tfrac{P(1)}{P(-1)}$.

In a circle of diameter $1$ consider $65$ points, no three of them collinear. Prove that there exist three among these points which are the vertices of a triangle with area less than or equal to $\frac{1}{72}$.

Prove that for any numbers $ a $ and $ b $ the inequality holds $$ \frac{a+b}{2} \cdot \frac{a^2+b^2}{2} \cdot \frac{a^3+b^3}{2} \leq \frac{a^6+b^6}{2}.$$

a.) For all positive integer $k$ find the smallest positive integer $f(k)$ such that $5$ sets $s_1,s_2, \ldots , s_5$ exist satisfying: [b]i.[/b] each has $k$ elements; [b]ii.[/b] $s_i$ and $s_{i+1}$ are disjoint for $i=1,2,...,5$ ($s_6=s_1$) [b]iii.[/b] the union of the $5$ sets has exactly $f(k)$ elements. b.) Generalisation: Consider $n \geq 3$ sets instead of $5$.

Let $ABCD$ be a convex quadrilateral such that $AC = BD$. Equilateral triangles are constructed on the sides of the quadrilateral. Let $O_1,O_2,O_3,O_4$ be the centers of the triangles constructed on $AB,BC,CD,DA$ respectively. Show that $O_1O_3$ is perpendicular to $O_2O_4.$

Let $S$ be a nonempty set of positive integers such that, for any (not necessarily distinct) integers $a$ and $b$ in $S$, the number $ab+1$ is also in $S$. Show that the set of primes that do not divide any element of $S$ is finite. [i]Proposed by Carl Schildkraut[/i]

Let $c$ be a fixed real number. Show that a root of the equation \[x(x+1)(x+2)\cdots(x+2009)=c\] can have multiplicity at most $2$. Determine the number of values of $c$ for which the equation has a root of multiplicity $2$.

You are given an algebraic system admitting addition and multiplication for which all the laws of ordinary arithmetic are valid except commutativity of multiplication. Show that \[(a + ab^{-1} a)^{-1}+ (a + b)^{-1} = a^{-1},\] where $x^{-1}$ is the element for which $x^{-1}x = xx^{-1} = e$, where $e$ is the element of the system such that for all $a$ the equality $ea = ae = a$ holds.

Let $O$ be the circumcenter and $G$ be the centroid of a triangle $ABC$. If $R$ and $r$ are the circumcenter and incenter of the triangle, respectively, prove that \[ OG \leq \sqrt{ R ( R - 2r ) } . \] [i]Greece[/i]

Find all positive integers $ n$ such that acute-angled $ \triangle ABC$ with $ \angle BAC<\frac{\pi}{4}$ could be divided into $ n$ quadrilateral. Every quadrilateral is inscribed in circle and radiuses of circles are in geometric progression. [hide] be carefull ! :lol: [/hide]

Let us have a line $\ell$ in the space and a point $A$ not lying on $\ell.$ For an arbitrary line $\ell'$ passing through $A$, $XY$ ($Y$ is on $\ell'$) is a common perpendicular to the lines $\ell$ and $\ell'.$ Find the locus of points $Y.$

Show that the sequence \[\binom{2002}{2002},\binom{2003}{2002},\binom{2004}{2002},\ldots \] considred modulo $2002$, is periodic.