[obm-l] Re:[obm-l] congruência

["Giuliano \(stuart\)" <giuliano.giacaglia@xxxxxxxxxx>]

Temos que 2^4+5^4=0(mod 641) (basta testar 625+16=641)
=>2^4=-5^4(mod641) e temos que 2^7*5=-1(mod641) (basta ver que 2^7*5=128*5=640=641-1)
temos que 2^32=2^28*2^4
temos que provar que
2^32=2^28*2^4=-1(mod 641)<=>5^4*2^28*2^4=-5^4(mod 641)<=>
(5^1*2^4)^4 * 2^4=-5^4(mod 641) <=> (-1)^4 * 2^4=-5^4(mod 641)
<=>2^4=-5^4(mod 641) o que foi mostrado no início.
Abraços,
Giuliano Pezzolo Giacaglia
(Stuart)
> Demonstre que (2^32)+1 é divisível por 641




=========================================================================
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
=========================================================================