[obm-l] RES: [obm-l] RES: [obm-l] Res: [obm-l] d emonstração: pequeno teorema de FERMAT

Pensei que o link tivesse ido... http://primes.utm.edu/notes/proofs/FermatsLittleTheorem.html Artur -Mensagem original- De: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] nome de ralonso Enviada em: segunda-feira, 26 de novembro de 2007 16:25 Para: obm-l@mat.puc-rio.br Assunto: Re:

[obm-l] Res: [obm-l] RES: [obm-l] Res: [obm-l] d emonstração: pequeno teorema de FERMAT

Obrigado Artur, mas eu estava tentando mesmo era uma prova mais simples das que eu conheço, só por distração... conheço uma prova com fatoriais. Valeu - Mensagem original De: Artur Costa Steiner [EMAIL PROTECTED] Para: obm-l@mat.puc-rio.br Enviadas: Segunda-feira, 26 de Novembro de

[obm-l] Res: [obm-l] RES: [obm-l] Res: [obm-l] d emonstração: pequeno teorema de FERMAT

Por indução, é simples!! Sabemos que n^p == n mop p para algum n(n=1, por exemplo), queremos saber se é válido para todo n. expandindo, (n+1)^p = n^p + C_p,1*a^p-1 + ... + C_p,k*a^p-k + ... + 1 obs*** C_x,y = combinação de x e y Como p divide C_p,k (pois o numerador é p! = p(p-1)(p-2)...),