IMO 2005 - P2

Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial
Mensajes: 758
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 1
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

IMO 2005 - P2

Mensaje sin leer por Gianni De Rico » Sab 07 Jul, 2018 1:32 pm

Sea $a_1,a_2,\ldots$ una sucesión de enteros que tiene infinitos términos positivos e infinitos términos negativos. Supongamos que para cada entero positivo $n$, los números $a_1,a_2,\ldots ,a_n$ tienen $n$ restos distintos en la división por $n$. Demuestre que cada entero aparece exactamente una vez en la sucesión.
[math]

juandodyk
Mensajes: 14
Registrado: Mar 26 Jun, 2018 1:59 am
Nivel: Exolímpico

Re: IMO 2005 - P2

Mensaje sin leer por juandodyk » Sab 28 Jul, 2018 11:50 pm

Spoiler: mostrar
Notar primero que $a_i\neq a_j$ si $i\neq j$ porque tienen distinto resto en la división por $\max\{i,j\}$. Si $i,j\leqq n$ tenemos que $a_i, a_j$ tienen el mismo resto en la división por $|a_i-a_j|$ (porque $|a_i-a_j| \mid a_i-a_j$) luego $|a_i-a_j|<n$ (si $d=|a_i-a_j| \geqq n$ entonces $a_1, \ldots, a_d$ incluye a $a_i, a_j$, pero tienen restos distintos en la división por $d$, absurdo). Entonces si $a_*$ es el mínimo de $a_1, \ldots, a_n$ y $a^*$ el máximo, tenemos $a^*-a_* \geqq n-1$ (porque hay $n-2$ números distintos entre medio de ellos) pero $a^*-a_*\leqq n-1$, luego es una igualdad y los números $a_1, \ldots, a_n$ son (en algún orden) $a_*, a_*+1, \ldots, a_*+n-1$. Se deduce que si $a_i$ y $a_j$ están en la secuencia, también están todos los enteros $a$ tales que $a_i \leqq a \leqq a_j$. Como hay infinitos positivos e infinitos negativos, hay $a_i$ arbitrariamente chicos y $a_j$ arbitrariamente grandes, luego están todos los enteros.

Responder