25/01/2023 12:16 Atualização matemática: (a + b)p ≡ ap + bp (mod p)

mais Criar um blog Login

Atualização matemática
Revisão de conceitos matemáticos fundamentais de forma direta e acessível.

sábado, 01 de março de 2008 Seguidores

Seguidores (73) Próxima

p p p
(a + b) ≡a +b (mod p)
Lema 1:

se p é primo, então:

p p p
(a + b) ≡a +b (mod p)

Prova: Seguir

(1) Usando o Teorema Binomial (ver Teorema aqui ), sabemos que: (2) Agora, como p é primo,
Sobre mim Arquivo do blog
fica claro que para cada termo p!/(m!)(pm)! , p não é divisível por nenhum termo ≤ m ou por
qualquer termo ≤ pm de modo que temos: p!/(m!)(pm)! = p*([(p-1)*...*p-m+1]/[m!]) (3) Isso ► 
►  2009 (32)
p-m m
mostra que cada um desses termos é divisível por p e, portanto: [p!/(m !)(pm)!]a b ▼ 
▼  2008 (11)
► 
►  19/10 - 26/10
(2)
▼ 
▼  24/02 - 02/03
Larry Freeman (3)
Veja meu perfil automorfismo
completo de campo

mathrefresher.blogspot.com/2008/03/b-p-p-b-p-mod-p.html 1/3
25/01/2023 12:16 Atualização matemática: (a + b)p ≡ ap + bp (mod p)

(a + b)p ≡ ap +
bp (mod p)
O conjunto de
classes de
congruênci
a módulo n:
≡ 0 (mod p) Z/nZ

► 
►  27/01 - 03/02
(4) Então existe um inteiro n tal que: (2)

► 
►  20/01 - 27/01
p p p (2)
(a + b) =a + np + b
► 
►  01/06 - 01/13
(2)
p p p p
(5) Visto que a + nb + b ≡a +b (mod p) , segue que: ► 
►  2007 (41)
► 
►  2006 (75)
p p p
(a + b) ≡a +b (mod p) ► 
►  2005 (16)

QED

Postado por Larry Freeman às 4h01

2 comentários:
Desconhecido disse...
Fiquei um pouco confuso com "p!/(m!)(pm)! = p*([(p-1)*...*p-m+1]/[m!])". Como você
conseguiu isso?
10 de novembro de 2010, 12:44:00

Larry Freeman disse...

Oi David,

Isso vem da definição de um fatorial.

p! = p*(p-1)*...*2*1

mathrefresher.blogspot.com/2008/03/b-p-p-b-p-mod-p.html 2/3
25/01/2023 12:16 Atualização matemática: (a + b)p ≡ ap + bp (mod p)

Se assumirmos que m é menor que p, temos:

(pm)! = (pm)*(pm-1)*...*2*1

Então:

p!/(pm)! = p*(p-1)*...*(p-m+1)

Espero ter ajudado.

10 de novembro de 2010, 14:49:00
Postar um comentário

Postagem mais recente Casa Postagem mais antiga

Assinar: Postar comentários ( Atom )

Desenvolvido por Blogger .

mathrefresher.blogspot.com/2008/03/b-p-p-b-p-mod-p.html 3/3