Po, amigo! A demonstracao estah essencialmente completa. Basta notar que 10^6 == 1 (mod 7) e, portanto, a coisa toda se repete com periodo 6 no expoente de 10. Aquele "E por ai vai..." soh precisa ser substituido por uma inducao formal, mas pra bom entenddor 99% de palavra deveria bastar.
[]s, Claudio. on 02.11.05 15:38, Adélman de Barros Villa Neto at [EMAIL PROTECTED] wrote: > ninguem ainda? > > > On Mon, 31 Oct 2005 23:14:38 -0200, "Adélman de Barros Villa Neto" > <[EMAIL PROTECTED]> escreveu: > >> De: "Adélman de Barros Villa Neto" <[EMAIL PROTECTED]> >> Data: Mon, 31 Oct 2005 23:14:38 -0200 >> Para: obm-l@mat.puc-rio.br >> Assunto: [obm-l] Novo na lista >> >> >> Olá,estou procurando de um arquivo da lista onde é demonstrado um critério de >> divisibilidade por 7.Alguem pode me ajudar?Encontrei essas mensagens mas em >> nem uma o autor completa a demonstração. >> Grato. >> >> Mod 7: >> 1 == 1 >> 10 == 3 >> 100 == 2 ==> >> (abc) = 100a + 10b + c == 2a + 3b + c (mod 7) >> >> Logo, 7 divide (abc) <==> 7 divide 2a + 3b + c >> >> 1000 == -1 >> 10000 == -3 >> 100000 == -2 ==> >> (abcdef) = 100000a + 10000b + 1000c + 100d + 10e + f == >> -2a -3b -c + 2d + 3e + f == -(2a+3b+c) + (2d+3e+f) (mod 7) >> >> Logo, 7 divide (abcdef) <==> 7 divide -(2a+3b+c) + (2d+3e+f) >> >> E por ai vai.... >> >> Ficou claro? >> >> Entao farelo pra voce tambem. >> >> []s, >> Claudio. >> ========================================================================= 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 =========================================================================