Cono Sur 2021 - P5

Problemas que aparecen en el Archivo de Enunciados.
Felibauk

COFFEE - Mención-COFFEE Matías Saucedo OFO - Medalla de Bronce-OFO 2020 COFFEE - Mención-COFFEE Carolina González COFFEE - Mención-COFFEE Ariel Zylber COFFEE - Mención-COFFEE Iván Sadofschi
FOFO 10 años - Medalla-FOFO 10 años OFO - Medalla de Plata-OFO 2021 OFO - Medalla de Oro-OFO 2022 FOFO Pascua 2022 - Medalla-FOFO Pascua 2022
Mensajes: 43
Registrado: Dom 19 Ene, 2020 12:43 am
Medallas: 9
Nivel: 1

Cono Sur 2021 - P5

Mensaje sin leer por Felibauk »

Dado un entero $n \geq 3$, determinar si existen $n$ enteros $b_{1}, b_{2},..., b_{n}$, distintos dos a dos (es decir, $b_{i} \neq b_{j}$ para todo $i \neq j$) y un polinomio $P(x)$ con coeficientes enteros, tales que $P(b_{1})=b_{2}, P(b_{2})=b_{3},..., P(b_{n-1})=b_{n}$ y $P(b_{n})=b_{1}$.
Avatar de Usuario
Turko Arias

Colaborador-Varias OFO - Medalla de Plata-OFO 2016 OFO - Medalla de Oro-OFO 2019 FOFO Pascua 2019 - Medalla-FOFO Pascua 2019 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
Mensajes: 561
Registrado: Lun 28 Nov, 2011 11:39 am
Medallas: 15
Nivel: Ñandú
Ubicación: La Plata, Provincia de Buenos Aires

Re: Cono Sur 2021 - P5

Mensaje sin leer por Turko Arias »

Este problema se tomó en la XII Competencia Ernesto Paenza en 1997 y era el problema 3 de esa prueba.

Además, este problema puede ser utilizado como lema para resolver el Problema 5 IMO 2006
Spoiler: mostrar
Lemita: Si $a, b$ son enteros distintos entonces $a-b \mid a^n-b^n$ para todo $n$ entero positivo.

Demostración:
Spoiler: mostrar
$$a-b \equiv 0 (\textrm{mod}\ |a-b|)$$
$$a \equiv b (\textrm{mod}\ |a-b|)$$
$$a^n \equiv b^n (\textrm{mod}\ |a-b|)$$
$$a^n-b^n \equiv 0 (\textrm{mod}\ |a-b|)$$
Lema: Sea $P(x)$ un polinomio con coeficientes enteros. Si $a$ y $b$ son enteros distintos entonces $a-b \mid P(a)-P(b)$.

Demostración:
Spoiler: mostrar
Sea $P(x)=c_nx^n+...c_1x+c_0$ entonces
$$P(a)-P(b)=(c_na^n+...c_1a+c_0)-(c_nb^n+...c_1b+c_0)=c_n(a^n-b^n)+...+a_1(a-b)$$
Pero por nuestro lemita cada termino de la pinta $a^k-b^k$ es divisible por $a-b$, luego $P(a)-P(b)$ lo es y estamos.
Por nuestro lema tenemos que $$b_1-b_2 \mid P(b_1)-P(b_2)=b_2-b_3$$
$$b_2-b_3 \mid P(b_2)-P(b_3)=b_3-b_4$$
...
$$b_{n-1}-b_n \mid P(b_{n-1})-P(b_n)=b_n-b_1$$
$$b_n-b_1 \mid P(b_n)-P(b_1)=b_1-b_2$$
De donde $|b_1-b_2| \leq |b_2-b_3| \leq ... \leq |b_n-b_1| \leq |b_1-b_2|$ y resulta que $|b_1-b_2| = |b_2-b_3| = ... = |b_n-b_1|$
Notemos que si para algún $k$ sucediera que $b_{k-1}-b_{k}=-(b_k-b_{k+1})$ entonces $b_{k-1}=b_{k+1}$ contradiciendo el enunciado, luego tenemos que $b_1-b_2 = b_2-b_3 = ... = b_n-b_1$. Notamos entonces que $b_1,b_2,...,b_n, b_1$ resulta ser una progresión aritmética con el primer elemento igual al último, pero esto solo es posible si la diferencia es cero y por ende todos los $b_i$ resultan iguales contradiciendo lo pedido. Luego, no existen enteros $b_1,..., b_n$ distintos cumpliendo lo pedido y estamos $\blacksquare$
1  
Fundamentalista del Aire Acondicionado

Y todo el orgullo de ser bien bilardista
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 816
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Cono Sur 2021 - P5

Mensaje sin leer por Emerson Soriano »

Una versión con $n=3$ se propuso en USA 1974.
https://artofproblemsolving.com/communi ... 1974_usamo
También he visto algunas generalizaciones en algunos pdf que circulan durante años.
Responder