2019-IMOC

Algebra

A1

Find all functions $f:\mathbb{R}\to\mathbb{R}$ such that for all $x,y\in\mathbb{R}$, $$f(xy+f(x))=f(xf(y))+x$$

A2

Given a real number $t\ge3$, suppose a polynomial $f\in\mathbb R[x]$ satisfies $$\left|f(k)-t^k\right|<1,\enspace\forall k=0,1,\ldots,n.$$Prove that $\deg f\ge n$.

A3

Find all $3$-tuples of positive reals $(a,b,c)$ such that $$\begin{cases}a\sqrt[2019]b-c=a\\b\sqrt[2019]c-a=b\\c\sqrt[2019]a-b=c\end{cases}$$

A4

Find all functions $f:\mathbb N\to\mathbb N$ so that $$f^{2f(b)}(2a)=f(f(a+b))+a+b$$holds for all positive integers $a,b$.

A5

Find all functions $f : \mathbb N \mapsto \mathbb N$ such that the following identity $$f^{x+1}(y)+f^{y+1}(x)=2f(x+y)$$holds for all $x,y \in \mathbb N$

Combinatorics

C1

Given a natural number $n$, if the tuple $(x_1,x_2,\ldots,x_k)$ satisfies $$2\mid x_1,x_2,\ldots,x_k$$$$x_1+x_2+\ldots+x_k=n$$then we say that it's an even partition. We define odd partition in a similar way. Determine all $n$ such that the number of even partitions is equal to the number of odd partitions.

C2

For $2n$ numbers in a row, Bob could perform the following operation: $$S_i=(a_1,a_2,\ldots,a_{2n})\mapsto S_{i+1}=(a_1,a_3,\ldots,a_{2n-1},a_2,a_4,\ldots,a_{2n}).$$Let $T$ be the order of this operation. In other words, $T$ is the smallest positive integer such that $S_i=S_{i+T}$. Prove that $T<2n$.

C3

There are a total of $n$ boys and girls sitting in a big circle. Now, Dave wants to walk around the circle. For a start point, if at any time, one of the following two conditions holds: 1. he doesn't see any girl 2. the number of boys he saw $\ge$ the number of girls he saw $+k$ Then we say this point is good. What is the maximum of $r$ with the property that there is at least one good point whenever the number of girls is $r$?

C4

Determine the largest $k$ such that for all competitive graph with $2019$ points, if the difference between in-degree and out-degree of any point is less than or equal to $k$, then this graph is strongly connected.

Geometry

G1

Let $I$ be the incenter of a scalene triangle $\vartriangle ABC$. In other words, $\overline{AB},\overline{BC},\overline{CA}$ are distinct. Prove that if $D,E$ are two points on rays $\overrightarrow{BA},\overrightarrow{CA}$, satisfying $\overline{BD}=\overline{CA},\overline{CE}=\overline{BA}$ then line $DE$ pass through the orthocenter of $\vartriangle BIC$.

G2

Given a scalene triangle $\vartriangle ABC$ with orthocenter $H$. The midpoint of $BC$ is denoted by $M$. $AH$ intersects the circumcircle at $D \ne A$ and $DM$ intersects circumcircle of $\vartriangle ABC$ at $T\ne D$. Now, assume the reflection points of $M$ with respect to $AB,AC,AH$ are $F,E,S$. Show that the midpoints of $BE,CF,AM,TS$ are concyclic.

G3

Given a scalene triangle $\vartriangle ABC$ has orthocenter $H$ and circumcircle $\Omega$. The tangent lines passing through $A,B,C$ are $\ell_a,\ell_b,\ell_c$. Suppose that the intersection of $\ell_b$ and $\ell_c$ is $D$. The foots of $H$ on $\ell_a,AD$ are $P,Q$ respectively. Prove that $PQ$ bisects segment $BC$.

G4

$\vartriangle ABC$ is a scalene triangle with circumcircle $\Omega$. For a arbitrary $X$ in the plane, define $D_x,E_x, F_x$ to be the intersection of tangent line of $X$ (with respect to $BXC$) and $BC,CA,AB$, respectively. Let the intersection of $AX$ with $\Omega$ be $S_x$ and $T_x = D_xS_x \cap \Omega$. Show that $\Omega$ and circumcircle of $\vartriangle T_xE_xF_x$ are tangent to each other.

G5

Given a scalene triangle $\vartriangle ABC$ with orthocenter $H$ and circumcenter $O$. The exterior angle bisector of $\angle BAC$ intersects circumcircle of $\vartriangle ABC$ at $N \ne A$. Let $D$ be another intersection of $HN$ and the circumcircle of $\vartriangle ABC$. The line passing through $O$, which is parallel to $AN$, intersects $AB,AC$ at $E, F$, respectively. Prove that $DH$ bisects the angle $\angle EDF$.

Number Theory

N1

Find all pairs of positive integers $(x, y)$ so that $$(xy - 6)^2 | x^2 + y^2$$

N2

Find all pairs of positive integers $(m, n)$ such that $$m^n * n^m = m^m + n^n$$

N3

Prove that there exists $N\in\mathbb{N}$ so that for all integer $n > N$, one may find $2019$ pairwise co-prime positive integers with \[n=a_1+a_2+\cdots+a_{2019}\]and \[2019<a_1<a_2<\cdots<a_{2019}\]

N4

Given a sequence of prime numbers $p_1, p_2,\cdots$ , with the following property: $p_{n+2}$ is the largest prime divisor of $p_n+p_{n+1}+2018$ Show that the set $\{p_i\}_{i\in \mathbb{N}}$ is finite.

N5

Initially, Alice is given a positive integer $a_0$. At time $i$, Alice has two choices, $$\begin{cases}a_i\mapsto\frac1{a_{i-1}}\\a_i\mapsto2a_{i-1}+1\end{cases}$$Note that it is dangerous to perform the first operation, so Alice cannot choose this operation in two consecutive turns. However, if $x>8763$, then Alice could only perform the first operation. Determine all $a_0$ so that $\{i\in\mathbb N\mid a_i\in\mathbb N\}$ is an infinite set.