2023 European Mathematical Cup

Junior

1

Suppose $a,b,c$ are positive integers such that \[\gcd(a,b)+\gcd(a,c)+\gcd(b,c)=b+c+2023\]Prove that $\gcd(b,c)=2023$. Remark. For positive integers $x$ and $y$, $\gcd(x,y)$ denotes their greatest common divisor. Ivan Novak

2

Let $n>5$ be an integer. There are $n$ points in the plane, no three of them collinear. Each day, Tom erases one of the points, until there are three points left. On the $i$-th day, for $1<i<n-3$, before erasing that day's point, Tom writes down the positive integer $v(i)$ such that the convex hull of the points at that moment has $v(i)$ vertices. Finally, he writes down $v(n-2) = 3$. Find the greatest possible value that the expression $$|v(1)-v(2)|+ |v(2)-v(3)| + \ldots + |v(n-3)-v(n-2)|$$can obtain among all possible initial configurations of $n$ points and all possible Tom's moves. Remark. A convex hull of a finite set of points in the plane is the smallest convex polygon containing all the points of the set (inside it or on the boundary). Ivan Novak, Namik Agić

3

Consider an acute-angled triangle $ABC$ with $AB < AC$. Let $M$ and $N$ be the midpoints of segments $BC$ and $AB$, respectively. The circle with diameter $AB$ intersects the lines $BC, AM$ and $AC$ at $D, E$, and $F$, respectively. Let $G$ be the midpoint of $FC$. Prove that the lines $NF, DE$ and $GM$ are concurrent. Michal Pecho

4

We say that a $2023$-tuple of nonnegative integers $(a_1,\hdots,a_{2023})$ is sweet if the following conditions hold: $a_1+\hdots+a_{2023}=2023$ $\frac{a_1}{2}+\frac{a_2}{2^2}+\hdots+\frac{a_{2023}}{2^{2023}}\le 1$ Determine the greatest positive integer $L$ so that \[a_1+2a_2+\hdots+2023a_{2023}\ge L\]holds for every sweet $2023$-tuple $(a_1,\hdots,a_{2023})$ Ivan Novak

Senior

1

Determine all sets of real numbers $S$ such that: $1$ is the smallest element of $S$, for all $x,y\in S$ such that $x>y$, $\sqrt{x^2-y^2}\in S$ Adian Anibal Santos Sepcic

2

Let $ABC$ be a triangle such that $\angle BAC = 90^{\circ}$. The incircle of triangle $ABC$ is tangent to the sides $\overline{BC}$, $\overline{CA}$, $\overline{AB}$ at $D,E,F$ respectively. Let $M$ be the midpoint of $\overline{EF}$. Let $P$ be the projection of $A$ onto $BC$ and let $K$ be the intersection of $MP$ and $AD$. Prove that the circumcircles of triangles $AFE$ and $PDK$ have equal radius. Kyprianos-Iason Prodromidis

3

Let $n$ be a positive integer. Let $B_n$ be the set of all binary strings of length $n$. For a binary string $s_1\hdots s_n$, we define it's twist in the following way. First, we count how many blocks of consecutive digits it has. Denote this number by $b$. Then, we replace $s_b$ with $1-s_b$. A string $a$ is said to be a descendant of $b$ if $a$ can be obtained from $b$ through a finite number of twists. A subset of $B_n$ is called divided if no two of its members have a common descendant. Find the largest possible cardinality of a divided subset of $B_n$. Remark. Here is an example of a twist: $101100 \rightarrow 101000$ because $1\mid 0\mid 11\mid 00$ has $4$ blocks of consecutive digits. Viktor Simjanoski

4

Let $f\colon\mathbb{N}\rightarrow\mathbb{N}$ be a function such that for all positive integers $x$ and $y$, the number $f(x)+y$ is a perfect square if and only if $x+f(y)$ is a perfect square. Prove that $f$ is injective. Remark. A function $f\colon\mathbb{N}\rightarrow\mathbb{N}$ is injective if for all pairs $(x,y)$ of distinct positive integers, $f(x)\neq f(y)$ holds. Ivan Novak