OMEO 2019 N3 P3

Avatar de Usuario
MateoCV

OFO - Medalla de Bronce FOFO 7 años - Medalla Especial OFO - Medalla de Oro FOFO Pascua 2017 - Medalla OFO - Medalla de Plata
FOFO 8 años - Jurado OFO - Jurado FOFO Pascua 2019 - Jurado
Mensajes: 218
Registrado: Vie 18 Dic, 2015 12:35 am
Medallas: 9
Nivel: Exolímpico
Ubicación: Córdoba

OMEO 2019 N3 P3

Mensaje sin leer por MateoCV » Sab 09 Feb, 2019 3:14 pm

Sean $a,p \in \mathbb{N}$ tales que $p$ es primo. Se sabe que el resto de dividir $a$ por $4$ es igual a $3$ y que el resto de dividir $p$ por $4$ es igual a $1$. Se sabe además que todos los divisores primos de $a$ son también divisores de $p+1$. Si existen tres enteros positivos $x,y,z$ tales que $a^x-p^y=z^2$, probar que $p=2z+1$

Propuesto por: Juan Pablo De Rasis
$2^{82589933}-1$ es primo

Avatar de Usuario
JPablo
Mensajes: 355
Registrado: Lun 25 Mar, 2013 9:00 pm
Nivel: Exolímpico

Re: OMEO 2019 N3 P3

Mensaje sin leer por JPablo » Sab 09 Feb, 2019 3:37 pm

Spoiler: mostrar
Como $z^2$ es la suma de dos impares, $z$ es par. Por lo tanto, mirando la expresión del enunciado módulo $4$, $\left (-1\right )^x\equiv 1\pmod 4$, de donde $x$ es par y $\left (a^{\frac{x}{2}}-z\right )\left (a^{\frac{x}{2}}+z\right )=p^y$. Observemos que $p$ no puede simultáneamente dividir a $a^{\frac{x}{2}}-z$ y $a^{\frac{x}{2}}+z$, pues de lo contrario $p$ dividiría a la suma de ambos, que es $2a^{\frac{x}{2}}$, y como $p$ es impar, se tendría $p\mid a$, de donde por hipótesis $p\mid p+1$, claramente imposible. Se sigue que, como $a^{\frac{x}{2}}-z<a^{\frac{x}{2}}+z$, entonces $a^{\frac{x}{2}}-z=1$ y $a^{\frac{x}{2}}+z=p^y$. Sumando ambas expresiones obtenemos $2a^{\frac{x}{2}}=p^y+1$. Si fuera $y>1$, entonces la versión aditiva del Teorema de Zsigmondy nos diría que existe un divisor primo de $p^y+1^y=p^y+1=2a^{\frac{x}{2}}$ que no es divisor de $p+1$, lo cual es imposible pues dicho primo debería ser impar (pues $p+1$ es par) y, en consecuencia, divisor de $a$, pero entonces las hipótesis del enunciado nos dicen que divide a $p+1$, absurdo. Por lo tanto necesariamente debe ser $y=1$.

Como $2a^{\frac{x}{2}}=p^y+1$ entonces $a^{\frac{x}{2}}=\frac{p+1}{2}$. Usando la igualdad $a^{\frac{x}{2}}-z=1$ obtenemos $\frac{p+1}{2}-z=1$, de donde $p=2z+1$. $\blacksquare$

Responder