(Eisentein's Criterion) Let $f(x)=a_{n}x^{n} +\cdots +a_{1}x+a_{0}$ be a nonconstant polynomial with integer coefficients. If there is a prime $p$ such that $p$ divides each of $a_{0}$, $a_{1}$, $\cdots$,$a_{n-1}$ but $p$ does not divide $a_{n}$ and $p^2$ does not divide $a_{0}$, then $f(x)$ is irreducible in $\mathbb{Q}[x]$.

For every pair $(m, n)$ of positive integers, a positive real number $a_{m, n}$ is given. Assume that \[a_{m+1, n+1} = \frac{a_{m, n+1} a_{m+1, n} + 1}{a_{m, n}}\] for all positive integers $m$ and $n$. Suppose further that $a_{m, n}$ is an integer whenever $\min(m, n) \le 2$. Prove that $a_{m, n}$ is an integer for all positive integers $m$ and $n$.

Consider a $2^k$-tuple of numbers $(a_1,a_2,\dots,a_{2^k})$ all equal to $1$ or $-1$. In one step, we transform it to $(a_1a_2,a_2a_3,\dots,a_{2^k}a_1)$. Prove that eventually, we will obtain a $2^k$-tuple consisting only of $1$'s.

A natural number $n$ is given. Determine all $(n - 1)$-tuples of nonnegative integers $a_1, a_2, ..., a_{n - 1}$ such that $$\lfloor \frac{m}{2^n - 1}\rfloor + \lfloor \frac{2m + a_1}{2^n - 1}\rfloor + \lfloor \frac{2^2m + a_2}{2^n - 1}\rfloor + \lfloor \frac{2^3m + a_3}{2^n - 1}\rfloor + ... + \lfloor \frac{2^{n - 1}m + a_{n - 1}}{2^n - 1}\rfloor = m$$ holds for all $m \in \mathbb{Z}$.

Let $ n$ be a nonzero positive integer. Find $ n$ such that there exists a permutation $ \sigma \in S_{n}$ such that \[ \left| \{ |\sigma(k) \minus{} k| \ : \ k \in \overline{1, n} \}\right | = n.\]

For a natural number $k>1$, define $S_k$ to be the set of all triplets $(n,a,b)$ of natural numbers, with $n$ odd and $\gcd (a,b)=1$, such that $a+b=k$ and $n$ divides $a^n+b^n$. Find all values of $k$ for which $S_k$ is finite.

For a non-empty finite set $A$ of positive integers, let $\text{lcm}(A)$ denote the least common multiple of elements in $A$, and let $d(A)$ denote the number of prime factors of $\text{lcm}(A)$ (counting multiplicity). Given a finite set $S$ of positive integers, and $$f_S(x)=\sum_{\emptyset \neq A \subset S} \frac{(-1)^{|A|} x^{d(A)}}{\text{lcm}(A)}.$$ Prove that, if $0 \le x \le 2$, then $-1 \le f_S(x) \le 0$.

Let $N$ be a positive integer, and consider an $N \times N$ grid. A [i]right-down path[/i] is a sequence of grid cells such that each cell is either one cell to the right of or one cell below the previous cell in the sequence. A [i]right-up path[/i] is a sequence of grid cells such that each cell is either one cell to the right of or one cell above the previous cell in the sequence. Prove that the cells of the $N \times N$ grid cannot be partitioned into less than $N$ right-down or right-up paths. For example, the following partition of the $5 \times 5$ grid uses $5$ paths. [asy] size(4cm); draw((5,-1)--(0,-1)--(0,-2)--(5,-2)--(5,-3)--(0,-3)--(0,-4)--(5,-4),gray+linewidth(0.5)+miterjoin); draw((1,-5)--(1,0)--(2,0)--(2,-5)--(3,-5)--(3,0)--(4,0)--(4,-5),gray+linewidth(0.5)+miterjoin); draw((0,0)--(5,0)--(5,-5)--(0,-5)--cycle,black+linewidth(2.5)+miterjoin); draw((0,-1)--(3,-1)--(3,-2)--(1,-2)--(1,-4)--(4,-4)--(4,-3)--(2,-3)--(2,-2),black+linewidth(2.5)+miterjoin); draw((3,0)--(3,-1),black+linewidth(2.5)+miterjoin); draw((1,-4)--(1,-5),black+linewidth(2.5)+miterjoin); draw((4,-3)--(4,-1)--(5,-1),black+linewidth(2.5)+miterjoin); [/asy] [i]Proposed by Zixiang Zhou, Canada[/i]

Let $P_0 ,P_1 ,P_2 , ... ,P_n$ be $n+1$ points in the plane. Let $d$($d>0$) denote the minimal value of all the distances between any two points. Prove that \[|P_0P_1|\cdot |P_0P_2|\cdot ... \cdot |P_0P_n|>(\frac{d}{3})^n\sqrt{(n+1)!}.\]

2. Prove that for any $2\le n \in \mathbb{N}$ there exists positive integers $a_1,a_2,\cdots,a_n$ such that $\forall i\neq j: \text{gcd}(a_i,a_j) = 1$ and $\forall i: a_i \ge 1402$ and the given relation holds. $$[\frac{a_1}{a_2}]+[\frac{a_2}{a_3}]+\cdots+[\frac{a_n}{a_1}] = [\frac{a_2}{a_1}]+[\frac{a_3}{a_2}]+\cdots+[\frac{a_1}{a_n}]$$

Find all functions $f: \mathbb{Q}^+ \to \mathbb{R}^+ $ with the property: \[f(xy)=f(x+y)(f(x)+f(y)) \,,\, \forall x,y \in \mathbb{Q}^+\] [i]Proposed by Nikolay Nikolov[/i]

The $\textit{arithmetic derivative}$ $D(n)$ of a positive integer $n$ is defined via the following rules: [list] [*] $D(1) = 0$; [*] $D(p)=1$ for all primes $p$; [*] $D(ab)=D(a)b+aD(b)$ for all positive integers $a$ and $b$. [/list] Find the sum of all positive integers $n$ below $1000$ satisfying $D(n)=n$.

For a positive integer $n$, denote $p(n)$ to be the number of nonnegative integer tuples $(x,y,z,w)$ such that $x+y+2z+3w=n-1$. Also, denote $q(n)$ to be the number of nonnegative integer tuples $(a,b,c,d)$ such that (i). $a+b+c+d=n$. (ii). $a \ge b$, $c \ge d$, $a \ge d$. (iii). $b < c$. Prove that for all $n$, $p(n) = q(n)$.

Let $a_1,a_2,\ldots,a_k$ be real numbers and $a_1+a_2+\ldots+a_k=0$. Prove that \[ \max_{1\leq i \leq k} a_i^2 \leq \frac{k}{3} \left( (a_1-a_2)^2+(a_2-a_3)^2+\cdots +(a_{k-1}-a_k)^2\right). \]

Let $ f(x) \equal{} c_m x^m \plus{} c_{m\minus{}1} x^{m\minus{}1} \plus{}...\plus{} c_1 x \plus{} c_0$, where each $ c_i$ is a non-zero integer. Define a sequence $ \{ a_n \}$ by $ a_1 \equal{} 0$ and $ a_{n\plus{}1} \equal{} f(a_n)$ for all positive integers $ n$. (a) Let $ i$ and $ j$ be positive integers with $ i<j$. Show that $ a_{j\plus{}1} \minus{} a_j$ is a multiple of $ a_{i\plus{}1} \minus{} a_i$. (b) Show that $ a_{2008} \neq 0$