Suppose function $f:[0,\infty)\to[0,\infty)$ satisfies (1)$\forall x,y \geq 0,$ we have $f(x)f(y)\leq y^2f(\frac{x}{2})+x^2f(\frac{y}{2})$; (2)$\forall 0 \leq x \leq 1, f(x) \leq 2016$. Prove that $f(x)\leq x^2$ for all $x\geq 0$.

Circles $O_1$ and $O_2$ intersects at two points $B$ and $C$, and $BC$ is the diameter of circle $O_1$. Construct a tangent line of circle $O_1$ at $C$ and intersecting circle $O_2$ at another point $A$. We join $AB$ to intersect $O_1$ at point $E$, then join $CE$ and extend it to intersect circle $O_2$ at point $F$. Assume that $H$ is an arbitrary point on the line segment $AF$. We join $HE$ and extend it to intersect circle $O_1$ at point $G$, and join $BG$ and extend it to intersect the extended line of $AC$ at point $D$. Prove that $\frac{AH}{HF}=\frac{AC}{CD}$.

Let $n$ cards are placed in a circle. Each card has a white side and a black side. On each move, you pick one card with black side up, flip it over, and also flip over the two neighboring cards. Suppose initially, there are only one black-side-up card. (a)If $n=2015$ , can you make all cards white-side-up through a finite number of moves? (b)If $n=2016$ , can you make all cards white-side-up through a finite number of moves?

Find all ordered pairs $(a,b)$ of positive integers that satisfy $a>b$ and the equation $(a-b)^{ab}=a^bb^a$.

Determine all positive integers $M$ such that the sequence $a_0, a_1, a_2, \cdots$ defined by \[ a_0 = M + \frac{1}{2} \qquad \textrm{and} \qquad a_{k+1} = a_k\lfloor a_k \rfloor \quad \textrm{for} \, k = 0, 1, 2, \cdots \]contains at least one integer term.

Let $a,b,c$ be nonnegative real numbers such that $(a+b)(b+c)(c+a) \neq0$. Find the minimum of $(a+b+c)^{2016}(\frac{1}{a^{2016}+b^{2016}}+\frac{1}{b^{2016}+c^{2016}}+\frac{1}{c^{2016}+a^{2016}})$.

Let $AB$ be a chord on a circle $O$, $M$ be the midpoint of the smaller arc $AB$. From a point $C$ outside the circle $O$ draws two tangents to the circle $O$ at the points $S$ and $T$. Suppose $MS$ intersects with $AB$ at the point $E$, $MT$ intersects with $AB$ at the point $F$. From $E,F$ draw a line perpendicular to $AB$ that intersects with $OS,OT$ at the points $X,Y$, respectively. Draw another line from $C$ which intersects with the circle $O$ at the points $P$ and $Q$. Let $R$ be the intersection point of $MP$ and $AB$. Finally, let $Z$ be the circumcenter of triangle $PQR$. Prove that $X$,$Y$ and $Z$ are collinear.

Let $n$ be a fixed positive integer. Find the maximum possible value of \[ \sum_{1 \le r < s \le 2n} (s-r-n)x_rx_s, \]where $-1 \le x_i \le 1$ for all $i = 1, \cdots , 2n$.

Let $\mathbb{Z}^+$ denote the set of all positive integers. Find all surjective functions $f:\mathbb{Z}^+ \times \mathbb{Z}^+ \rightarrow \mathbb{Z}^+$ that satisfy all of the following conditions: for all $a,b,c \in \mathbb{Z}^+$, (i)$f(a,b) \leq a+b$; (ii)$f(a,f(b,c))=f(f(a,b),c)$ (iii)Both $\binom{f(a,b)}{a}$ and $\binom{f(a,b)}{b}$ are odd numbers.(where $\binom{n}{k}$ denotes the binomial coefficients)

Determine all functions $f:\mathbb{Z}\rightarrow\mathbb{Z}$ with the property that \[f(x-f(y))=f(f(x))-f(y)-1\]holds for all $x,y\in\mathbb{Z}$.

Let $ABC$ be an acute triangle and let $M$ be the midpoint of $AC$. A circle $\omega$ passing through $B$ and $M$ meets the sides $AB$ and $BC$ at points $P$ and $Q$ respectively. Let $T$ be the point such that $BPTQ$ is a parallelogram. Suppose that $T$ lies on the circumcircle of $ABC$. Determine all possible values of $\frac{BT}{BM}$.

Let $S$ be a nonempty set of positive integers. We say that a positive integer $n$ is clean if it has a unique representation as a sum of an odd number of distinct elements from $S$. Prove that there exist infinitely many positive integers that are not clean.