Determine all pairs $(n, k)$ of distinct positive integers such that there exists a positive integer $s$ for which the number of divisors of $sn$ and of $sk$ are equal.

Let $n\geqslant 3$ be an integer. Prove that there exists a set $S$ of $2n$ positive integers satisfying the following property: For every $m=2,3,...,n$ the set $S$ can be partitioned into two subsets with equal sums of elements, with one of subsets of cardinality $m$.

Let $a_0,a_1,a_2,\dots $ be a sequence of real numbers such that $a_0=0, a_1=1,$ and for every $n\geq 2$ there exists $1 \leq k \leq n$ satisfying \[ a_n=\frac{a_{n-1}+\dots + a_{n-k}}{k}. \]Find the maximum possible value of $a_{2018}-a_{2017}$.

Let $O$ be the circumcentre, and $\Omega$ be the circumcircle of an acute-angled triangle $ABC$. Let $P$ be an arbitrary point on $\Omega$, distinct from $A$, $B$, $C$, and their antipodes in $\Omega$. Denote the circumcentres of the triangles $AOP$, $BOP$, and $COP$ by $O_A$, $O_B$, and $O_C$, respectively. The lines $\ell_A$, $\ell_B$, $\ell_C$ perpendicular to $BC$, $CA$, and $AB$ pass through $O_A$, $O_B$, and $O_C$, respectively. Prove that the circumcircle of triangle formed by $\ell_A$, $\ell_B$, and $\ell_C$ is tangent to the line $OP$.

Let $\mathbb{Z}^+$ be the set of positive integers. Determine all functions $f : \mathbb{Z}^+\to\mathbb{Z}^+$ such that $a^2+f(a)f(b)$ is divisible by $f(a)+b$ for all positive integers $a,b$.

Let $m$ be a fixed positive integer. The infinite sequence $\{a_n\}_{n\geq 1}$ is defined in the following way: $a_1$ is a positive integer, and for every integer $n\geq 1$ we have $$a_{n+1} = \begin{cases}a_n^2+2^m & \text{if } a_n< 2^m \\ a_n/2 &\text{if } a_n\geq 2^m\end{cases}$$For each $m$, determine all possible values of $a_1$ such that every term in the sequence is an integer.

Let $ABC$ be a scalene triangle with circumcircle $\Gamma$. Let $M$ be the midpoint of $BC$. A variable point $P$ is selected in the line segment $AM$. The circumcircles of triangles $BPM$ and $CPM$ intersect $\Gamma$ again at points $D$ and $E$, respectively. The lines $DP$ and $EP$ intersect (a second time) the circumcircles to triangles $CPM$ and $BPM$ at $X$ and $Y$, respectively. Prove that as $P$ varies, the circumcircle of $\triangle AXY$ passes through a fixed point $T$ distinct from $A$.

Consider a $2018 \times 2019$ board with integers in each unit square. Two unit squares are said to be neighbours if they share a common edge. In each turn, you choose some unit squares. Then for each chosen unit square the average of all its neighbours is calculated. Finally, after these calculations are done, the number in each chosen unit square is replaced by the corresponding average. Is it always possible to make the numbers in all squares become the same after finitely many turns?

Determine all the functions $f : \mathbb{R} \to \mathbb{R}$ such that \[ f(x^2 + f(y)) = f(f(x)) + f(y^2) + 2f(xy) \]for all real numbers $x$ and $y$.

Let $\mathbb{Q}_{>0}$ denote the set of all positive rational numbers. Determine all functions $f:\mathbb{Q}_{>0}\to \mathbb{Q}_{>0}$ satisfying $$f(x^2f(y)^2)=f(x)^2f(y)$$for all $x,y\in\mathbb{Q}_{>0}$

Let $ABC$ be a triangle, and $A_1$, $B_1$, $C_1$ points on the sides $BC$, $CA$, $AB$, respectively, such that the triangle $A_1B_1C_1$ is equilateral. Let $I_1$ and $\omega_1$ be the incenter and the incircle of $AB_1C_1$. Define $I_2$, $\omega_2$ and $I_3$, $\omega_3$ similarly, with respect to the triangles $BA_1C_1$ and $CA_1B_1$, respectively. Let $l_1 \neq BC$ be the external tangent line to $\omega_2$ and $\omega_3$. Define $l_2$ and $l_3$ similarly, with respect to the pairs $\omega_1$, $\omega_3$ and $\omega_1$, $\omega_2$. Knowing that $A_1I_2 = A_1I_3$, show that the lines $l_1$, $l_2$, $l_3$ are concurrent.

Let $n$ be a given positive integer. Sisyphus performs a sequence of turns on a board consisting of $n + 1$ squares in a row, numbered $0$ to $n$ from left to right. Initially, $n$ stones are put into square $0$, and the other squares are empty. At every turn, Sisyphus chooses any nonempty square, say with $k$ stones, takes one of these stones and moves it to the right by at most $k$ squares (the stone should say within the board). Sisyphus' aim is to move all $n$ stones to square $n$. Prove that Sisyphus cannot reach the aim in less than \[ \left \lceil \frac{n}{1} \right \rceil + \left \lceil \frac{n}{2} \right \rceil + \left \lceil \frac{n}{3} \right \rceil + \dots + \left \lceil \frac{n}{n} \right \rceil \]turns. (As usual, $\lceil x \rceil$ stands for the least integer not smaller than $x$. )

Let $f : \{ 1, 2, 3, \dots \} \to \{ 2, 3, \dots \}$ be a function such that $f(m + n) | f(m) + f(n) $ for all pairs $m,n$ of positive integers. Prove that there exists a positive integer $c > 1$ which divides all values of $f$.

Let $ABC$ be a triangle with $AB=AC$, and let $M$ be the midpoint of $BC$. Let $P$ be a point such that $PB<PC$ and $PA$ is parallel to $BC$. Let $X$ and $Y$ be points on the lines $PB$ and $PC$, respectively, so that $B$ lies on the segment $PX$, $C$ lies on the segment $PY$, and $\angle PXM=\angle PYM$. Prove that the quadrilateral $APXY$ is cyclic.

Given any set $S$ of positive integers, show that at least one of the following two assertions holds: (1) There exist distinct finite subsets $F$ and $G$ of $S$ such that $\sum_{x\in F}1/x=\sum_{x\in G}1/x$; (2) There exists a positive rational number $r<1$ such that $\sum_{x\in F}1/x\neq r$ for all finite subsets $F$ of $S$.

Let $n \geq 2$ be an integer. There are $n$ distinct circles in general position, that is, any two of them meet in two distinct points and there are no three of them meeting at one point. Those circles divide the plane in limited regions by circular edges, that meet at vertices (note that each circle have exactly $2n-2$ vertices). For each circle, temporarily color its vertices alternately black and white (note that, doing this, each vertex is colored twice, one for each circle passing through it). If the two temporarily colouring of a vertex coincide, this vertex is definitely colored with this common color; otherwise, it will be colored with gray. Show that if a circle has more than $n-2 + \sqrt{n-2}$ gray points, all vertices of some region are grey. Observation: In this problem, a region cannot contain vertices or circular edges on its interior. Also, the outer region of all circles also counts as a region.

Consider a checkered board $2m \times 2n$, $m, n \in \mathbb{Z}_{>0}$. A stone is placed on one of the unit squares on the board, this square is different from the upper right square and from the lower left square. A snail goes from the bottom left square and wants to get to the top right square, walking from one square to other adjacent, one square at a time (two squares are adjacent if they share an edge). Determine all the squares the stone can be in so that the snail can complete its path by visiting each square exactly one time, except the square with the stone, which the snail does not visit.

Four positive integers $x,y,z$ and $t$ satisfy the relations \[ xy - zt = x + y = z + t. \]Is it possible that both $xy$ and $zt$ are perfect squares?

Let $ABC$ be a triangle with circumcircle $\Omega$ and incentre $I$. A line $\ell$ intersects the lines $AI$, $BI$, and $CI$ at points $D$, $E$, and $F$, respectively, distinct from the points $A$, $B$, $C$, and $I$. The perpendicular bisectors $x$, $y$, and $z$ of the segments $AD$, $BE$, and $CF$, respectively determine a triangle $\Theta$. Show that the circumcircle of the triangle $\Theta$ is tangent to $\Omega$.

Let $ABC$ be an acute triangle, with $\angle A > 60^\circ$, and let $H$ be it's orthocenter. Let $M$ and $N$ be points on $AB$ and $AC$, respectively, such that $\angle HMB = \angle HNC = 60^\circ$. Also, let $O$ be the circuncenter of $HMN$ and $D$ be a point on the semiplane determined by $BC$ that contains $A$ in such a way that $DBC$ is equilateral. Prove that $H$, $O$ and $D$ are collinear.

We say that a distribution of students lined upen in collumns is $\textit{bacana}$ when there are no two friends in the same column. We know that all contestants in a math olympiad can be arranged in a $\textit{bacana}$ configuration with $n$ columns, and that this is impossible with $n-1$ columns. Show that we can choose competitors $M_1, M_2, \cdots, M_n$ in such a way that $M_i$ is on the $i$-th column, for each $i = 1, 2, 3, \ldots, n$ and $M_i$ is a friend of $M_{i+1}$ for each $i = 1, 2, \ldots, n - 1$.

Let $n \geq 2$ be an integer and $x_1, x_2, \ldots, x_n$ be positive real numbers such that $\sum_{i=1}^nx_i=1$. Show that $$\bigg(\sum_{i=1}^n\frac{1}{1-x_i}\bigg)\bigg(\sum_{1 \leq i < j \leq n}x_ix_j\bigg) \leq \frac{n}{2}.$$

Let $p \geq 7$ be a prime number and $$S = \bigg\{jp+1 : 1 \leq j \leq \frac{p-5}{2}\bigg\}.$$Prove that at least one element of $S$ can be written as $x^2+y^2$, where $x, y$ are integers.