The numbers $ 0$, $ 1$, $ \dots$, $ n$ ($ n \ge 2$) are written on a blackboard. In each step we erase an integer which is the arithmetic mean of two different numbers which are still left on the blackboard. We make such steps until no further integer can be erased. Let $ g(n)$ be the smallest possible number of integers left on the blackboard at the end. Find $ g(n)$ for every $ n$.

Let $\mathbb{R}^{+}$ be the set of positive real numbers. Find all real numbers $a$ for which there exists a function $f :\mathbb{R}^{+} \to \mathbb{R}^{+}$ such that $3(f(x))^{2}=2f(f(x))+ax^{4}$, for all $x \in \mathbb{R}^{+}$.

For which $n\ge 3$ does there exist positive integers $a_1<a_2<\cdots <a_n$, such that: $$a_n=a_1+...+a_{n-1}, \hspace{0.5cm} \frac{1}{a_1}=\frac{1}{a_2}+...+\frac{1}{a_n}$$ are both true? [i]Proposed by Ivan Chan Kai Chin[/i]

Let $n>1$ be a positive integer. Call a rearrangement $a_1,a_2, \cdots , a_n$ of $1,2, \cdots , n$ [i]nice[/i] if for every $k = 2,3, \cdots , n$, we have that $a_1 + a_2 + \cdots + a_k$ is not divisible by $k$. (a) If $n>1$ is odd, prove that there is no nice arrangement of $1,2, \cdots , n$. (b) If $n$ is even, find a [i]nice[/i] arrangement of $1,2, \cdots , n$.

Find all functions $f:\mathbb{R}\to\mathbb{R}$ such that $$f\left(x^3+f(y)\right)=x^2f(x)+y,$$for all $x,y\in\mathbb{R}.$ (Here $\mathbb{R}$ denotes the set of all real numbers.)

Given an ordered list of $3N$ real numbers, we can trim it to form a list of $N$ numbers as follows: We divide the list into $N$ groups of $3$ consecutive numbers, and within each group, discard the highest and lowest numbers, keeping only the median. \\ Consider generating a random number $X$ by the following procedure: Start with a list of $3^{2021}$ numbers, drawn independently and unfiformly at random between $0$ and $1$. Then trim this list as defined above, leaving a list of $3^{2020}$ numbers. Then trim again repeatedly until just one number remains; let $X$ be this number. Let $\mu$ be the expected value of $\left|X-\frac{1}{2} \right|$. Show that \[ \mu \ge \frac{1}{4}\left(\frac{2}{3} \right)^{2021}. \]

Let $ S$ be a finite set of points in the plane such that no three of them are on a line. For each convex polygon $ P$ whose vertices are in $ S$, let $ a(P)$ be the number of vertices of $ P$, and let $ b(P)$ be the number of points of $ S$ which are outside $ P$. A line segment, a point, and the empty set are considered as convex polygons of $ 2$, $ 1$, and $ 0$ vertices respectively. Prove that for every real number $ x$ \[\sum_{P}{x^{a(P)}(1 \minus{} x)^{b(P)}} \equal{} 1,\] where the sum is taken over all convex polygons with vertices in $ S$. [i]Alternative formulation[/i]: Let $ M$ be a finite point set in the plane and no three points are collinear. A subset $ A$ of $ M$ will be called round if its elements is the set of vertices of a convex $ A \minus{}$gon $ V(A).$ For each round subset let $ r(A)$ be the number of points from $ M$ which are exterior from the convex $ A \minus{}$gon $ V(A).$ Subsets with $ 0,1$ and 2 elements are always round, its corresponding polygons are the empty set, a point or a segment, respectively (for which all other points that are not vertices of the polygon are exterior). For each round subset $ A$ of $ M$ construct the polynomial \[ P_A(x) \equal{} x^{|A|}(1 \minus{} x)^{r(A)}. \] Show that the sum of polynomials for all round subsets is exactly the polynomial $ P(x) \equal{} 1.$ [i]Proposed by Federico Ardila, Colombia[/i]

Let $n$ be a positive integer. Show that there are positive real numbers $a_0, a_1, \dots, a_n$ such that for each choice of signs the polynomial $$\pm a_nx^n\pm a_{n-1}x^{n-1} \pm \dots \pm a_1x \pm a_0$$ has $n$ distinct real roots. (Proposed by Stephan Neupert, TUM, München)

Let's call a power of two [i]compact[/i] if it can be represented as the sum of no more than $10^9$ not necessarily distinct factorials of positive integer numbers. Prove that the set of compact powers of two is finite.

Label sides of a regular $n$-gon in clockwise direction in order 1,2,..,n. Determine all integers n ($n\geq 4$) satisfying the following conditions: (1) $n-3$ non-intersecting diagonals in the $n$-gon are selected, which subdivide the $n$-gon into $n-2$ non-overlapping triangles; (2) each of the chosen $n-3$ diagonals are labeled with an integer, such that the sum of labeled numbers on three sides of each triangles in (1) is equal to the others;

Let $n \ge 2$ be a positive integer. Each square of an $n\times n$ board is coloured red or blue. We put dominoes on the board, each covering two squares of the board. A domino is called [i]even [/i] if it lies on two red or two blue squares and [i]colourful [/i] if it lies on a red and a blue square. Find the largest positive integer $k$ having the following property: regardless of how the red/blue-colouring of the board is done, it is always possible to put $k$ non-overlapping dominoes on the board that are either all [i]even [/i] or all [i]colourful[/i].

Prove that there exists a positive integer $n < 10^6$ such that $5^n$ has six consecutive zeros in its decimal representation. [i]Proposed by Evan Chen[/i]

Find all surjective functions $f\colon (0,+\infty) \to (0,+\infty)$ such that $2x f(f(x)) = f(x)(x+f(f(x)))$ for all $x>0$.

Let $f(n)$ and $g(n)$ be functions satisfying $$f(n) = \begin{cases}\sqrt{n} & \text{ if } \sqrt{n} \text{ is an integer}\\ 1 + f(n+1) & \text{ otherwise} \end{cases}$$and $$g(n) = \begin{cases}\sqrt{n} & \text{ if } \sqrt{n} \text{ is an integer}\\ 2 + g(n+2) & \text{ otherwise} \end{cases}$$for positive integers $n$. Find the least positive integer $n$ such that $\tfrac{f(n)}{g(n)} = \tfrac{4}{7}$.

Let $p$ be an odd prime and $a_1, a_2,...,a_p$ be integers. Prove that the following two conditions are equivalent: 1) There exists a polynomial $P(x)$ with degree $\leq \frac{p-1}{2}$ such that $P(i) \equiv a_i \pmod p$ for all $1 \leq i \leq p$ 2) For any natural $d \leq \frac{p-1}{2}$, $$ \sum_{i=1}^p (a_{i+d} - a_i )^2 \equiv 0 \pmod p$$ where indices are taken $\pmod p$