Ibero 2008 - P3

Avatar de Usuario
Gianni De Rico

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

Ibero 2008 - P3

Mensaje sin leer por Gianni De Rico » Mar 26 Jun, 2018 1:38 pm

Sea $P(x)=x^3+mx+n$ un polinomio de coeficientes enteros tal que si $x$ e $y$ son enteros y $P(x)-P(y)$ es divisible por $107$ entonces $x-y$ es divisible por $107$. Demostrar que $107$ divide a $m$.
[math]

jujumas

OFO - Mención OFO - Medalla de Plata FOFO 7 años - Medalla Especial OFO - Oro perfecto FOFO Pascua 2017 - Medalla
OFO - Medalla de Oro
Mensajes: 342
Registrado: Dom 26 Oct, 2014 8:30 pm
Medallas: 7
Nivel: 2

Re: Ibero 2008 - P3

Mensaje sin leer por jujumas » Jue 09 Ago, 2018 10:40 pm

Solución:
Spoiler: mostrar
Supongamos que $m$ no es divisible por $107$. Luego, queremos demostrar que existen $x$ e $y$ distintos módulo $107$ tales que $107 \mid P(x) - P(y) = x^3 +mx - y^3 - my = (x-y)(x^2+y^2+xy+m)$. Como $107$ es primo, tenemos entonces que $107 \mid x^2+y^2+xy+m$. Reemplazando ahora $y=kx$, el problema equivale a ver que $x^2+kx^2+k^2x^2 = x^2(k^2+k+1)$ recorre todos los restos no nulos módulo $107$ para $k$ distinto de $1$ y $x$ distinto de $0$.

Pero notemos que si $k=0$, $k^2+k+1=1$ y al variar $x$, $x^2(k^2+k+1)$ recorre todos los residuos cuadráticos módulo $107$.

Notemos además que $107$ es un primo congruente a $-1$ módulo $4$. Luego, es conocido que $-1$ no es residuo cuadrático módulo $107$, y como $16$ es residuo cuadrático módulo $107$, $-16$ es un residuo no cuadrático.

Tomando entonces $k=9$, obtenemos que $k^2+k+1=91$, que es $-16$ módulo $107$. Luego, si $k=9$, al variar $x$, $x^2(k^2+k+1)$ recorre todos los residuos no cuadráticos módulo $107$ y estamos.

Responder