The sequence $\{a_n\}_{n}$ satisfies the relations $a_1=a_2=1$ and for all positive integers $n$, \[ a_{n+2} = \frac 1{a_{n+1}} + a_n . \] Find $a_{2004}$.

Let $P(x)$ denote the polynomial \[3\sum_{k=0}^{9}x^k + 2\sum_{k=10}^{1209}x^k + \sum_{k=1210}^{146409}x^k.\]Find the smallest positive integer $n$ for which there exist polynomials $f,g$ with integer coefficients satisfying $x^n - 1 = (x^{16} + 1)P(x) f(x) + 11\cdot g(x)$. [i]Victor Wang.[/i]

Consider the sequence $(a_n)_{n\in \mathbb{N}}$ with $a_0=a_1=a_2=a_3=1$ and $a_na_{n-4}=a_{n-1}a_{n-3} + a^2_{n-2}$. Prove that all the terms of this sequence are integer numbers.

Let $ \{a_k\}$ be a sequence of integers such that $ a_1 \equal{} 1$ and $ a_{m \plus{} n} \equal{} a_m \plus{} a_n \plus{} mn$, for all positive integers $ m$ and $ n$. Then $ a_{12}$ is $ \textbf{(A)}\ 45 \qquad \textbf{(B)}\ 56 \qquad \textbf{(C)}\ 67 \qquad \textbf{(D)}\ 78 \qquad \textbf{(E)}\ 89$

Let $ n$ be an integer greater than $ 3$, and let $ a_1, a_2, \cdots, a_n$ be non-negative real numbers with $ a_1 \plus{} a_2 \plus{} \cdots \plus{} a_n \equal{} 2$. Determine the minimum value of \[ \frac{a_1}{a_2^2 \plus{} 1}\plus{} \frac{a_2}{a^2_3 \plus{} 1}\plus{} \cdots \plus{} \frac{a_n}{a^2_1 \plus{} 1}.\]

Given an integer $k\ge 2$. Prove that there exist $k$ pairwise distinct positive integers $a_1,a_2,\ldots,a_k$ such that for any non-negative integers $b_1,b_2,\ldots,b_k,c_1,c_2,\ldots,c_k$ satisfying $a_1\le b_i\le 2a_i, i=1,2,\ldots,k$ and $\prod_{i=1}^{k}b_i^{c_i}<\prod_{i=1}^{k}b_i$, we have \[k\prod_{i=1}^{k}b_i^{c_i}<\prod_{i=1}^{k}b_i.\]

Let $A_1,A_2,\ldots,A_n$ be subsets of a finite set $S$ such that $|A_j|=8$ for each $j$. For a subset $B$ of $S$ let $F(B)=\{j \mid 1\le j\le n \ \ \text{and} \ A_j \subset B\}$. Suppose for each subset $B$ of $S$ at least one of the following conditions holds [list][b](a)[/b] $|B| > 25$, [b](b)[/b] $F(B)={\O}$, [b](c)[/b] $\bigcap_{j\in F(B)} A_j \neq {\O}$.[/list] Prove that $A_1\cap A_2 \cap \cdots \cap A_n \neq {\O}$.

In a mathematical competition, some competitors are friends; friendship is mutual, that is, when $A$ is a friend of $B$, then $B$ is also a friend of $A$. We say that $n \geq 3$ different competitors $A_1, A_2, \ldots, A_n$ form a [i]weakly-friendly cycle [/i]if $A_i$ is not a friend of $A_{i+1}$ for $1 \leq i \leq n$ (where $A_{n+1} = A_1$), and there are no other pairs of non-friends among the components of the cycle. The following property is satisfied: "for every competitor $C$ and every weakly-friendly cycle $\mathcal{S}$ of competitors not including $C$, the set of competitors $D$ in $\mathcal{S}$ which are not friends of $C$ has at most one element" Prove that all competitors of this mathematical competition can be arranged into three rooms, such that every two competitors in the same room are friends. ([i]Serbia[/i])

Find all positive integers $(x, n)$ such that $x^{n}+2^{n}+1$ divides $x^{n+1}+2^{n+1}+1$.

Given two positive real numbers $a$ and $b$, suppose that a mapping $f : \mathbb R^+ \to \mathbb R^+$ satisfies the functional equation \[f(f(x)) + af(x) = b(a + b)x.\] Prove that there exists a unique solution of this equation.

Let $f(0, 0) = 5^{2003}, f(0, n) = 0$ for every integer $n \neq 0$ and \[\begin{array}{c}\ f(m, n) = f(m-1, n) - 2 \cdot \Bigg\lfloor \frac{f(m-1, n)}{2}\Bigg\rfloor + \Bigg\lfloor\frac{f(m-1, n-1)}{2}\Bigg\rfloor + \Bigg\lfloor\frac{f(m-1, n+1)}{2}\Bigg\rfloor \end{array}\] for every natural number $m > 0$ and for every integer $n$. Prove that there exists a positive integer $M$ such that $f(M, n) = 1$ for all integers $n$ such that $|n| \leq \frac{(5^{2003}-1)}{2}$ and $f(M, n) = 0$ for all integers n such that $|n| > \frac{5^{2003}-1}{2}.$

Let $n \geq 1$ be an integer, and let $S$ be a set of integer pairs $(a,b)$ with $1 \leq a < b \leq 2^n$. Assume $|S| > n \cdot 2^{n+1}$. Prove that there exists four integers $a < b < c < d$ such that $S$ contains all three pairs $(a,c)$, $(b,d)$ and $(a,d)$.

Suppose $a_1, a_2, ..., a_r$ are integers with $a_i \geq 2$ for all $i$ such that $a_1 + a_2 + ... + a_r = 2010$. Prove that the set $\{1,2,3,...,2010\}$ can be partitioned in $r$ subsets $A_1, A_2, ..., A_r$ each with $a_1, a_2, ..., a_r$ elements respectively, such that the sum of the numbers on each subset is divisible by $2011$. Decide whether this property still holds if we replace $2010$ by $2011$ and $2011$ by $2012$ (that is, if the set to be partitioned is $\{1,2,3,...,2011\}$).

Suppose there are 18 lighthouses on the Persian Gulf. Each of the lighthouses lightens an angle with size 20 degrees. Prove that we can choose the directions of the lighthouses such that whole of the blue Persian (always Persian) Gulf is lightened.

Consider a $ n\times n $ square grid which is divided into $ n^2 $ unit squares(think of a chess-board). The set of all unit squares intersecting the main diagonal of the square or lying under it is called an $n$-staircase. Find the number of ways in which an $n$-stair case can be partitioned into several rectangles, with sides along the grid lines, having mutually distinct areas.