Encuentra todos los pares de números primospag
yq
tal quepag3−q5= ( pag + q)2
. Presenta tus respuestas como un par ordenado( pag , q)
.
¿Es correcta esta resolución?
Basta con mostrar que uno depag
,q
es divisible por 3, entonces el resto del problema se derrumba.
Suponga lo contrario. Obsérvese que para cualquiernorte
,norte3≡ norte( mod3 )
. Entonces:
pag3−q5≡ pags - q≡pag2+ 2 p q+q2( mod3 )
Desde
pag
,
q
no son divisibles por 3, no pueden tener residuo 0 cuando se elevan al cuadrado, por lo que ambos deben tener residuo 1 cuando se elevan al cuadrado. Tenemos:
pag - q≡ 2 + 2 pag q
2 pags - 2 q≡ 1 + pag q
q− pags ≡ 1 + pags q
pag q+ pag - q− 1 ≡ 1
( pags - 1 ) ( q+ 1 ) ≡ 1
Ni
pag - 1
,
q+ 1
puede ser 0 mod 3, eso sería absurdo. Ambos son congruentes con
2
mod 3, o ambos congruentes con
1
mod 3. Cualquiera de los casos conducirá a uno de
pag
,
q
siendo divisible por 3, contradicción.
ViHdzP
keith backman