Oi, Gugu: Obrigado pela solucao.
[]s, Claudio. on 11.05.05 15:03, Carlos Gustavo Tamm de Araujo Moreira at [EMAIL PROTECTED] wrote: > Se p divide (a+b.raiz(3))(c+d.raiz(3)), entao p divide > (a^2-3b^2)(c^2-3d^2), e logo p divide um desses fatores, digamos a^2-3b^2. > Como x^2-3 'e irredutivel, e logo nao tem raiz em Z/pZ, se p divide a^2-3b^2 > entao p divide b (senao b e' invertivel em Z/pZ, e a/b e' raiz de x^2-3), e > logo p divide a, donde p divide a+b.raiz(3). > Abracos, > Gugu >> >> ========================================================================= 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 =========================================================================