IMO 2024 papers

Reali alpha con somma floor(k·alpha) multipla di n

Determine all real numbers $\alpha$ such that, for every positive integer $n$, the integer $\lfloor \alpha \rfloor +\lfloor 2\alpha \rfloor +\cdots +\lfloor n\alpha \rfloor$ is a multiple of $n$.

(Note that $\lfloor z\rfloor$ denotes the greatest integer less than or equal to $z$. For example, $\lfloor -\pi \rfloor =-4$ and $\lfloor 2\rfloor =\lfloor 2.9\rfloor =2$.)

Topic: Teoria dei Numeri, Algebra Metodo: congruenze Abilita: Riconoscimento di pattern Area: Algebra e Analisi, Aritmetica e Teoria dei Numeri Fonte: apri PDF p.1

Real alpha with floor sum ((k·alpha) multiple of n

Determine to real numbers $\alpha$ such that, for every positive integer $n$, the integer $\lfloor \alpha \rfloor +\lfloor 2\alpha \rfloor +\cdots +\lfloor n\alpha \rfloor$ is a multiple of $n$.

(Note that $\lfloor z\rfloor$ denotes the greatest integer less than or equal to $z$. For example, $\lfloor -\pi \rfloor =-4$ and $\lfloor 2\rfloor =\lfloor 2.9\rfloor =2$.)

src_imo_2024__Q01

Coppie (a,b) con gcd(a^n+b,b^n+a) costante

Determine all pairs $(a,b)$ of positive integers for which there exist positive integers $g$ and $N$ such that $\gcd (a^n+b,b^n+a)=g$ holds for all integers $n\ge N$.

(Note that $\gcd (x,y)$ denotes the greatest common divisor of integers $x$ and $y$.)

Topic: Teoria dei Numeri Metodo: congruenze Abilita: Riconoscimento di pattern Area: Aritmetica e Teoria dei Numeri Fonte: apri PDF p.1

Pairs (a,b) with gcd(a^n+b,b^n+a) constant

Determine the pairs $(a,b)$ of positive integers for which there exist positive integers $g$ and $N$ such that $\gcd (a^n+b,b^n+a)=g$ holds for all integers $n\ge N$.

(Note that $\gcd (x,y)$ denotes the greatest common divisor of integers $x$ and $y$.)

src_imo_2024__Q02

Successione conta-occorrenze eventualmente periodica

Let $a_1,a_2,a_3,\dots$ be an infinite sequence of positive integers, and let $N$ be a positive integer. Suppose that, for each $n>N$, $a_n$ is equal to the number of times $a_{n-1}$ appears in the list $a_1,a_2,\dots ,a_{n-1}$.

Prove that at least one of the sequences $a_1,a_3,a_5,\dots$ and $a_2,a_4,a_6,\dots$ is eventually periodic.

(An infinite sequence $b_1,b_2,b_3,\dots$ is eventually periodic if there exist positive integers $p$ and $M$ such that $b_{m+p}=b_m$ for all $m\ge M$.)

Topic: successioni, Combinatoria Metodo: monovarianti, Ricorsione Abilita: Manipolazione algebrica Area: Algebra e Analisi, Combinatoria, Logica e Probabilita Fonte: apri PDF p.1

Successful event counting if periodic

Let $a_1,a_2,a_3,\dots$ be an infinite sequence of positive integers, and let $N$ be a positive integer. Suppose that, for each $n>N$, $a_n$ is equal to the number of times $a_{n-1}$ appears in the list $a_1,a_2,\dots ,a_{n-1}$.

Prove that at least one of the sequences $a_1,a_3,a_5,\dots$ and $a_2,a_4,a_6,\dots$ is eventually periodic.

(An infinite sequence $b_1,b_2,b_3,\dots$ is eventually periodic if there exist positive integers $p$ and $M$ such that $b_{m+p}=b_m$ for all $m\ge M$.)

src_imo_2024__Q03

Angolo KIL+YPX=180 (incerchio e tangenti)

Let $ABC$ be a triangle with $AB<AC<BC$. Let the incentre and incircle of triangle $ABC$ be $I$ and $\omega$, respectively. Let $X$ be the point on line $BC$ different from $C$ such that the line through $X$ parallel to $AC$ is tangent to $\omega$. Similarly, let $Y$ be the point on line $BC$ different from $B$ such that the line through $Y$ parallel to $AB$ is tangent to $\omega$. Let $AI$ intersect the circumcircle of triangle $ABC$ again at $P\ne A$. Let $K$ and $L$ be the midpoints of $AC$ and $AB$, respectively.

Prove that $\angle KIL+\angle YPX=180^{\circ }$.

Topic: Geometria piana Metodo: Tecniche trigonometriche Abilita: Ragionamento geometrico Area: Geometria Fonte: apri PDF p.2

*Angle KIL+YPX=180 (circle and tangent) *

Let $ABC$ be a triangle with $AB<AC<BC$. Let the incentre and incircle of triangle $ABC$ be $I$ and $\omega$, respectively. Let $X$ be the point on line $BC$ different from $C$ such that the line through $X$ parallel to $AC$ is tangent to $\omega$. Similarly, let $Y$ be the point on line $BC$ different from $B$ such that the line through $Y$ parallel to $AB$ is tangent to $\omega$. Let $AI$ intersect the circumcircle of triangle $ABC$ again at $P\ne A$. Let $K$ and $L$ be the midpoints of $AC$ and $AB$, respectively.

Prove that $\angle KIL+\angle YPX=180^{\circ }$.

src_imo_2024__Q04

Turbo la lumaca, minimo n attacchi garantiti

Turbo the snail plays a game on a board with $2024$ rows and $2023$ columns. There are hidden monsters in $2022$ of the cells. Initially, Turbo does not know where any of the monsters are, but he knows that there is exactly one monster in each row except the first row and the last row, and that each column contains at most one monster.

Turbo makes a series of attempts to go from the first row to the last row. On each attempt, he chooses to start on any cell in the first row, then repeatedly moves to an adjacent cell sharing a common side. (He is allowed to return to a previously visited cell.) If he reaches a cell with a monster, his attempt ends and he is transported back to the first row to start a new attempt. The monsters do not move, and Turbo remembers whether or not each cell he has visited contains a monster. If he reaches any cell in the last row, his attempt ends and the game is over.

Determine the minimum value of $n$ for which Turbo has a strategy that guarantees reaching the last row on the $n$-th attempt or earlier, regardless of the locations of the monsters.

Topic: Combinatoria, Logica, giochi, strategie Metodo: Principio di estremalita, monovarianti Abilita: Conteggio sistematico Area: Combinatoria, Logica e Probabilita Fonte: apri PDF p.2

Turbo the snail, minimum n guaranteed attacks

Turbo the snail plays a game on a board with rows and columns. There are hidden monsters in the cells. Initially, Turbo doesn’t know where any of the monsters are, but he knows that there is exactly one monster in each row except the first row and the last row, and that each column contains at most one monster.

Turbo makes a series of attempts to go from the first row to the last row. On each attempt, he chooses to start on any cell in the first row, then repeatedly moves to an adjacent cell sharing a common side. If he reaches a cell with a monster, his attempt ends and he is transported back to the first row to start a new attempt. The monsters don’t move, and Turbo remembers whether or not every cell he has visited contains a monster. If he reaches any cell in the last row, his attempt ends and the game is over.

Determine the minimum value of $n$ for which Turbo has a strategy that guarantees reaching the last row on the $n$-th attempt or earlier, regardless of the locations of the monsters.

src_imo_2024__Q05

Funzioni aquaesuliane, minimo c valori f(r)+f(-r)

Let $\mathbb{Q}$ be the set of rational numbers. A function $f:\mathbb{Q}\to \mathbb{Q}$ is called aquaesulian if the following property holds: for every $x,y\in \mathbb{Q}$, $f(x+f(y))=f(x)+y\text{or}f(f(x)+y)=x+f(y).$

Show that there exists an integer $c$ such that for any aquaesulian function $f$ there are at most $c$ different rational numbers of the form $f(r)+f(-r)$ for some rational number $r$, and find the smallest possible value of $c$.

Topic: successioni Abilita: Manipolazione algebrica Area: Algebra e Analisi Fonte: apri PDF p.2

Water-related functions, minimum c values f (r) + f (r) *

Let $\mathbb{Q}$ be the set of rational numbers. A function $f:\mathbb{Q}\to \mathbb{Q}$ is called aquaesulian if the following property holds: for every $x,y\in \mathbb{Q}$, $f(x+f(y))=f(x)+y\text{or}f(f(x)+y)=x+f(y).$

Show that there exists an integer $c$ such that for any aquaesulian function $f$ there are at most $c$ different rational numbers of the form $f(r)+f(-r)$ for some rational number $r$, and find the smallest possible value of $c$.

src_imo_2024__Q06