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
2023 European Mathematical Cup
Junior
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ć
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
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
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
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
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
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