Mathematica competitions in Croatia

Let $3N$ marked points be called outer points. We divide each of $N$ arcs of length $2$ into two arcs of equal length using one point, and each of $N$ arcs of length $3$ into three arcs of equal length using two points. Let those $3N$ new points be called inner points. There are $6N$ outer and inner points in total and they divide the circle into $6N$ arcs of length $1$. Since $6N$ is odd, we conclude that diametrically opposite to each of those $6N$ points there lies another of those $6N$ points. From the definition of the inner points we see that there can not exist $3$ consecutive inner points.

Let us assume the opposite, i.e. that no two of $3N$ outer points are diametrically opposite. That means that diametrically opposite to every outer point lies an inner point. Since there is an equal number of outer and inner points, we conclude that diametrically opposite to every inner point lies an outer point.

The points $A$ and $B$ are outer points so the points $C$ and $D$ are inner points. Due to the fact that there are no $3$ consecutive inner points, we conclude that the points $P$ and $Q$ are outer. Hence, across the arc $\widehat{AB}$ of length $1$ lies the arc $\widehat{PQ}$ of length $3$. Since there is an equal number of arcs of lengths $1$ and $3$, we get that across every arc of length $3$ lies an arc of length $1$.



For $i\in \{1,2,3\}$, let $L_i$ be the number of arcs of length $i$ inside of the shorter arc $\widehat{AP}$ and let $D_i$ be the number of arcs of length $i$ inside of the shorter arc $\widehat{BQ}$. Length of the arc $\widehat{AP}$ is $3N-2$ so we have: $$L_1+2L_2+3L_3=3N-2.(\ast )$$ Since across every arc of length $3$ lies an arc of length $1$ and vice versa, we have: $$D_1=L_3.(\ast \ast )$$ There are exactly $N$ arcs of length $1$ so we have: $$L_1+D_1=N-1,$$ which using $(\ast \ast )$ leads to: $$L_1+L_3=N-1.(\ast \ast \ast )$$ Subtracting the equality $(\ast \ast \ast )$ from the inequality $(\ast )$ we get: $$2L_2+2L_3=2N-1,$$ which is impossible, because the left-hand side of the equality is an even number, but the right-hand side is an odd number. Hence, we conclude that our assumption is wrong, so there exist two diametrically opposite outer points.