Let $f$ be a bijection from $\mathbb N$ to itself. Prove that one can always find three natural number $a,b,c$ such that $a<b<c$ and $f(a)+f(c)=2f(b)$.

Using $ AB$ and $ AC$ as diameters, two semi-circles are constructed respectively outside the acute triangle $ ABC$. $ AH \perp BC$ at $ H$, $ D$ is any point on side $ BC$ ($ D$ is not coinside with $ B$ or $ C$ ), through $ D$, construct $ DE \parallel AC$ and $ DF \parallel AB$ with $ E$ and $ F$ on the two semi-circles respectively. Show that $ D$, $ E$, $ F$ and $ H$ are concyclic.

Positive integers $a,b,c$ satisfy that $a+b=b(a-c)$ and c+1 is a square of a prime. Prove that $a+b$ or $ab$ is a square.

For a nonnegative integer $n$, define $a_n$ to be the positive integer with decimal representation \[1\underbrace{0\ldots0}_{n}2\underbrace{0\ldots0}_{n}2\underbrace{0\ldots0}_{n}1\mbox{.}\] Prove that $\frac{a_n}{3}$ is always the sum of two positive perfect cubes but never the sum of two perfect squares. [i](4th Middle European Mathematical Olympiad, Team Competition, Problem 7)[/i]

We say three sets $A_1, A_2, A_3$ form a triangle if for each $1 \leq i,j \leq 3$ we have $A_i \cap A_j \neq \emptyset$, and $A_1 \cap A_2 \cap A_3 = \emptyset$. Let $f(n)$ be the smallest positive integer such that any subset of $\{1,2,3,\ldots, n\}$ of the size $f(n)$ has at least one triangle. Find a formula for $f(n)$.

Let $p$ be a prime number such that $p\equiv 1\pmod{4}$. Determine $\sum_{k=1}^{\frac{p-1}{2}}\left \lbrace \frac{k^2}{p} \right \rbrace$, where $\{x\}=x-[x]$.

A non self-intersecting polygon is given in a Cartesian coordinate system such that its perimeter contains no lattice points, and its vertices have no integer coordinates. A point is called semi-integer if exactly one of its coordinates is an integer. Let $P_1, P_2,\ldots, P_k$ denote the semi-integer points on the perimeter of the polygon. Let ni denote the floor of the non-integer coordinate of $P_i$. Prove that integers $n_1,n_2,\ldots ,n_k$ can be divided into two groups with the same sum. [i]Proposed by Áron Bán-Szabó, Budapest[/i]

Let $E$ be a finite set of points such that $E$ is not contained in a plane and no three points of $E$ are collinear. Show that at least one of the following alternatives holds: (i) $E$ contains five points that are vertices of a convex pyramid having no other points in common with $E;$ (ii) some plane contains exactly three points from $E.$

A function $f$ is defined on the set of all real numbers except $0$ and takes all real values except $1$. It is also known that $\color{white}\ . \ \color{black}\ \quad f(xy)=f(x)f(-y)-f(x)+f(y)$ for any $x,y\not= 0$ and that $\color{white}\ . \ \color{black}\ \quad f(f(x))=\frac{1}{f(\frac{1}{x})}$ for any $x\not\in\{ 0,1\}$. Determine all such functions $f$.

Let $ABC$ be a triangle, and let $E$ and $F$ be two arbitrary points on the sides $AB$ and $AC$, respectively. The circumcircle of triangle $AEF$ meets the circumcircle of triangle $ABC$ again at point $M$. Let $D$ be the reflection of point $M$ across the line $EF$ and let $O$ be the circumcenter of triangle $ABC$. Prove that $D$ is on $BC$ if and only if $O$ belongs to the circumcircle of triangle $AEF$.

The rectangle with vertices $(0,0)$, $(0,3)$, $(2,0)$ and $(2,3)$ is rotated clockwise through a right angle about the point $(2,0)$, then about $(5,0)$, then about $(7,0$), and finally about $(10,0)$. The net effect is to translate it a distance $10$ along the $x$-axis. The point initially at $(1,1)$ traces out a curve. Find the area under this curve (in other words, the area of the region bounded by the curve, the $x$-axis and the lines parallel to the $y$-axis through $(1,0)$ and $(11,0)$).

Let $$x_0 = 5\,\, ,\, \,\,x_{n+1} = x_n +\frac{1}{x_n}.$$ Prove that $45 < x_{1000} < 45.1$.

A map $ F : P(X) \rightarrow P(X)$, where $ P(X)$ denotes the set of all subsets of $ X$, is called a $ \textit{closure operation}$ on $ X$ if for arbitrary $ A,B \subset X$, the following conditions hold: (i) $ A \subset F(A);$ (ii) $ A \subset B \Rightarrow F(A) \subset F(B);$ (iii) $ F(F(A))\equal{}F(A)$. The cardinal number $ \min \{ |A| : \;A \subset X\ ,\;F(A)\equal{}X\ \}$ is called the $ \textit{density}$ of $ F$ and is denoted by $ d(F)$. A set $ H \subset X$ is called $ \textit{discrete}$ with respect to $ F$ if $ u \not \in F(H\minus{}\{ u \})$ holds for all $ u \in H$. Prove that if the density of the closure operation $ F$ is a singular cardinal number, then for any nonnegative integer $ n$, there exists a set of size $ n$ that is discrete with respect to $ F$. Show that the statement is not true when the existence of an infinite discrete subset is required, even if $ F$ is the closure operation of a topological space satisfying the $ T_1$ separation axiom. [i]A. Hajnal[/i]

Find all functions $f: \mathbb{Z}^+\rightarrow \mathbb{Z}^+$ such that for all positive integers $m,n$ with $m\ge n$, $$f(m\varphi(n^3)) = f(m)\cdot \varphi(n^3).$$ Here $\varphi(n)$ denotes the number of positive integers coprime to $n$ and not exceeding $n$.

Let $ABCD$ be a cyclic quadrilateral. Assume that the points $Q, A, B, P$ are collinear in this order, in such a way that the line $AC$ is tangent to the circle $ADQ$, and the line $BD$ is tangent to the circle $BCP$. Let $M$ and $N$ be the midpoints of segments $BC$ and $AD$, respectively. Prove that the following three lines are concurrent: line $CD$, the tangent of circle $ANQ$ at point $A$, and the tangent to circle $BMP$ at point $B$.

Solve the equation \[(x+1)\log^2_{3}x+4x\log_{3}x-16=0\]

Consider pairs $(f,g)$ of functions from the set of nonnegative integers to itself such that [list] [*]$f(0) \geq f(1) \geq f(2) \geq \dots \geq f(300) \geq 0$ [*]$f(0)+f(1)+f(2)+\dots+f(300) \leq 300$ [*]for any 20 nonnegative integers $n_1, n_2, \dots, n_{20}$, not necessarily distinct, we have $$g(n_1+n_2+\dots+n_{20}) \leq f(n_1)+f(n_2)+\dots+f(n_{20}).$$ [/list] Determine the maximum possible value of $g(0)+g(1)+\dots+g(6000)$ over all such pairs of functions. [i]Sean Li[/i]

Let $ABC$ be an acute-angled triangle with circumcenter $O$. The circle $S$ through $A,B$, and $O$ intersects $AC$ and $BC$ again at points $P$ and $Q$ respectively. Prove that $CO \perp PQ$.

The positive integers $a_0, a_1, a_2, \ldots, a_{3030}$ satisfy $$2a_{n + 2} = a_{n + 1} + 4a_n \text{ for } n = 0, 1, 2, \ldots, 3028.$$ Prove that at least one of the numbers $a_0, a_1, a_2, \ldots, a_{3030}$ is divisible by $2^{2020}$.

Find all sets of five positive integers whose mode, mean, median, and range are all equal to $5$.

Determine whether or not there exist numbers $x_1,x_2,\ldots ,x_{2009}$ from the set $\{-1,1\}$, such that: \[x_1x_2+x_2x_3+x_3x_4+\ldots+x_{2008}x_{2009}+x_{2009}x_1=999\]

A circle with center $O$ is tangent to the sides of the angle with the vertex $A$ at the points B and C. Let M be a point on the larger of the two arcs $BC$ of this circle (different from $B$ and $C$) such that $M$ does not lie on the line $AO$. Lines $BM$ and $CM$ intersect the line $AO$ at the points $P$ and $Q$ respectively. Let $K$ be the foot of the perpendicular drawn from $P$ to $AC$ and $L$ be the foot of the perpendicular drawn from $Q$ to $AB$. Prove that the lines $OM$ and $KL$ are perpendicular.

Show that there do not exist polynomials $p(x)$ and $q(x)$ each having integer coefficients and of degree greater than or equal to 1 such that \[ p(x)q(x) = x^5 +2x +1 . \]

Let $\vartriangle ABC$ be an acute triangle with altitudes $AA_1, BB_1, CC_1$ and orthocenter $H$. Let $K, L$ be the midpoints of $BC_1, CB_1$. Let $\ell_A$ be the external angle bisector of $\angle BAC$. Let $\ell_B, \ell_C$ be the lines through $B, C$ perpendicular to $\ell_A$. Let $\ell_H$ be the line through $H$ parallel to $\ell_A$. Prove that the centers of the circumcircles of $\vartriangle A_1B_1C_1, \vartriangle AKL$ and the rectangle formed by $\ell_A, \ell_B, \ell_C, \ell_H$ lie on the same line.

In the quadrilateral $ABCD$, $AB = BC$ . The point $E$ lies on the line $AB$ is such that $BD= BE$ and $AD \perp DE$. Prove that the perpendicular bisectors to segments $AD, CD$ and $CE$ intersect at one point.