IMO 2018 - P2

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Violeta

OFO - Mención-OFO 2017 FOFO 7 años - Medalla Especial-FOFO 7 años OFO - Medalla de Bronce-OFO 2018 FOFO 8 años - Mención Especial-FOFO 8 años OFO - Medalla de Plata-OFO 2019
Mensajes: 405
Registrado: Sab 04 Jun, 2016 11:50 pm
Medallas: 5
Ubicación: Puerto Rico

IMO 2018 - P2

Mensaje sin leer por Violeta »

Hallar todos los enteros $n\geq 3$ para los que existen números reales $a_1,a_2,\ldots ,a_n,a_{n+1},a_{n+2}$, tales que $a_{n+1}=a_1$ y $a_{n+2}=a_2$, y$$a_ia_{i+1}+1=a_{i+2}$$para $i = 1,2,\ldots ,n$.
Para todo [math], existen [math] primos en sucesión aritmética.
Avatar de Usuario
Matías V5

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
OFO - Jurado-OFO 2018 OFO - Jurado-OFO 2020 OFO - Jurado-OFO 2021
Mensajes: 1114
Registrado: Dom 17 Oct, 2010 4:44 pm
Medallas: 8
Nivel: Exolímpico

Re: IMO 2018 - P2

Mensaje sin leer por Matías V5 »

Spoiler: mostrar
En primer lugar notemos que el enunciado es equivalente a tener un arreglo de $n$ números reales puestos alrededor de una circunferencia, de manera que al recorrer la circunferencia en sentido horario, cada número es igual al producto de los dos anteriores más $1$. La solución está escrita en esos términos.
Probaremos que un tal arreglo existe si y sólo si $n$ es divisible por $3$. Para $n$ múltiplo de $3$, un ejemplo es ir repitiendo el bloque de $3$ números $2,-1,-1,2,-1,-1,2,-1,-1$, etcétera. Esto funciona porque $2 \cdot (-1) + 1 = -1$, $(-1) \cdot (-1) + 1 = 2$ y $(-1) \cdot 2 + 1 = -1$.
Llamaremos grande a un número si su valor absoluto es mayor o igual que $1$ y chico si es menor que $1$. Probamos primero algunas observaciones sencillas.

Observación 1: Si para algún $i$ ocurre que $a_i$ y $a_{i+1}$ tienen el mismo signo (ambos positivos o ambos negativos), entonces $a_{i+2}$ es positivo y grande. Esto es claro pues $a_{i+2} = \underbrace{a_ia_{i+1}}_{>0} + 1 > 1$.

Observación 2: Si para algún $i$ ocurre que $a_i$ y $a_{i+1}$ tienen distinto signo y son los dos chicos, entonces $a_{i+2}$ es positivo y chico. En efecto, $a_{i+2} = a_ia_{i+1} + 1$, y sabemos que $a_ia_{i+1}$ es negativo de valor absoluto menor que $1$, entonces $a_{i+2}$ es positivo y menor que $1$.

Observación 3: Si para algún $i$ ocurre que $a_i$ y $a_{i+1}$ tienen distinto signo y son los dos grandes, entonces $a_{i+2} \leq 0$. En efecto, $a_{i+2} = a_ia_{i+1} + 1$, y sabemos que $a_ia_{i+1}$ es negativo de valor absoluto mayor o igual que $1$, entonces $a_{i+2} \leq 0$.

Supongamos que existe algún arreglo que cumple las condiciones del enunciado en el cual hay dos números consecutivos que son positivos. Por la Observación 1 se deduce fácilmente que todos los números del arreglo son positivos y grandes. Pero esto no puede ocurrir, ya que si $a_i \geq 1$ entonces $a_{i+2} = a_ia_{i+1} + 1 \geq a_{i+1} + 1 > a_{i+1}$, de donde cada número es mayor que el anterior, lo cual no tiene sentido si están en una circunferencia. Hemos probado entonces que en un arreglo admisible no hay dos números positivos consecutivos.
Notemos también que si $a_i = 0$ para algún $i$ entonces $a_{i+1} = 1$ y $a_{i+2} = 1$, y volvemos al caso anterior. Así que en adelante podemos suponer que todos los números del arreglo son distintos de $0$.
Veamos que la situación planteada en la Observación 2 no puede ocurrir en un arreglo admisible. Si $a_i$ es negativo, $a_{i+1}$ es positivo y ambos son chicos, la observación nos dice que $a_{i+2}$ es positivo, así que hay dos números positivos consecutivos, lo cual ya vimos que no puede pasar. Si en cambio $a_i$ es positivo y $a_{i+1}$ es negativo, sabemos que $a_{i+2}$ es positivo y chico, y usando la observación una vez más llegamos a que $a_{i+3}$ es positivo, absurdo otra vez. Vimos entonces que en un arreglo admisible no puede haber dos números consecutivos de distinto signo que sean ambos chicos.

Supongamos ahora que para algún $i$ ocurre que $a_i$ es positivo y chico. Entonces $a_{i-1}$ debe ser negativo (dijimos que no había dos positivos consecutivos) y grande (por lo último que probamos). Ahora $a_{i-2}$ no puede ser negativo (entraríamos en contradicción con la Observación 1), así que es positivo, y no puede ser grande (entraríamos en contradicción con la Observación 3). Estamos probando entonces que detrás de un número positivo chico siempre debe haber un número negativo grande, y detrás de este, otro número positivo chico. Esto conduce a que en la circunferencia se alternan números positivos chicos con números negativos grandes. Veamos que esto tampoco puede pasar. Tomemos un número negativo $a_i$, luego $a_{i+1}$ es positivo y chico, y $a_{i+2}$ es negativo. En tal caso, $|a_{i+2}| = |a_ia_{i+1} + 1| = |a_ia_{i+1}| - 1 < |a_i| - 1 < |a_i|$. Así, cada número negativo tendría valor absoluto mayor que el que viene dos posiciones más adelante, lo cual no tiene sentido si están en una circunferencia.

El único caso que aún no descartamos es cuando todos los números positivos que aparecen en el arreglo son grandes (notar que siempre hay al menos un número positivo ya que por la Observación 1 si hay dos negativos consecutivos el siguiente es positivo). Tomemos un número positivo $a_i$, entonces $a_{i+1}$ es negativo porque no puede haber dos positivos consecutivos. Si $a_{i+2}$ fuera positivo, sería chico, pues $a_{i+2} = a_ia_{i+1} + 1$ y $a_ia_{i+1} < 0$. Como estamos suponiendo que esto no pasa, entonces $a_{i+2}$ es negativo. Luego $a_{i+3}$ es positivo (por la Observación 1), y volvemos a empezar. Estamos probando que la única posibilidad es que después de cada número positivo vengan dos números negativos, luego un positivo, luego dos negativos, etcétera. Esto sólo se puede hacer si $n$ es múltiplo de $3$.

La solución está completa. $\blacksquare$
We gave you a start so you'd know what to do
You've seen how it works, now it's over to you (...)
For there's so much more to explore!

Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2019 FOFO 9 años - Jurado-FOFO 9 años COFFEE - Jurado-COFFEE Matías Saucedo OFO - Jurado-OFO 2020
FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 COFFEE - Jurado-COFFEE Carolina González COFFEE - Jurado-COFFEE Ariel Zylber COFFEE - Jurado-COFFEE Iván Sadofschi FOFO 10 años - Jurado-FOFO 10 años
OFO - Jurado-OFO 2021 FOFO 11 años - Jurado-FOFO 11 años OFO - Jurado-OFO 2022 FOFO Pascua 2022 - Jurado-FOFO Pascua 2022 FOFO 12 años - Jurado-FOFO 12 años
OFO - Jurado-OFO 2023 FOFO 13 años - Jurado-FOFO 13 años OFO - Jurado-OFO 2024
Mensajes: 2212
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

Re: IMO 2018 - P2

Mensaje sin leer por Gianni De Rico »

Creo que la oficial iba por este lado
Spoiler: mostrar
Notamos que la condición puede escribirse como$$a_ia_{i+1}=a_{i+2}-1,$$luego,$$(a_{i+2}-1)a_{i+2}=a_ia_{i+1}a_{i+2}=a_i(a_{i+3}-1),$$de donde$$a_{i+2}^2-a_ia_{i+3}=a_{i+2}-a_i.$$Sumando dos veces estás ecuaciones para todo $i$, vemos que el lado derecho es $0$, y el lado izquierdo se puede factorizar como$$\sum \limits _{i=1}^n(a_i-a_{i+3})^2,$$así que cada término tiene que ser $0$, entonces $a_i=a_{i+3}$ para todo $i$.
Si $n$ no es múltiplo de $3$, entonces $a_i=g$ para todo $i$. La condición es $g^2+1=g$, es decir, $g^2-g+1=0$. Esta cuadrática es convexa porque su coeficiente principal es positivo, por lo que tiene mínimo en $g=\frac{(-1)(-1)}{2\cdot 1}=\frac{1}{2}$, y vale $\frac{3}{4}$. Entonces no hay ningún $g$ real que cumpla la condición.
Si $n$ es múltiplo de $3$, tomando $a_{3k+1}=a_{3k+2}=-1$ y $a_{3k}=2$ tenemos un ejemplo.
♪♫ do re mi función lineal ♪♫
Responder