RES: [obm-l] Primos gemeos

[Artur Costa Steiner <artur.steiner@xxxxxxxxxx>]

> a^p - a = 1 tb resulta em 2(a^p - a) + 3  primo.

> Se os primos p e q sao primos gemeos e p<q entao
> p= 6k - 1 e q 6k + 1

> Logo o problema se resume a provar que 2(a^p - a + 1) nunca sera um
multiplo 
> de 6. 

E que tambem nunca eh igual a 4. 4 eh o unico numero positivo entre dois
primos gemeos que nao eh multiplo de 6.  

>Mas o Claudio ja mostrou que a^p - a = 3t.  2(3t + 1) = 2 (mod 6).

>Vale assim?

Vale!

Artur
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================