Aritmética
Modular
Arquimedes Paschoal
Roteiro
I. Introdução
II. Divisibilidade
III.Congruências Lineares
IV.Aplicações das Congruências Lineares
V. Teorema Chinês do Resto
Introdução
- Teoria dos Números é uma disciplina nova?
1800 AC 1650 AC 300AC
Introdução
- É preciso um conhecimento profundo em Matemática
para se entender as formulações da Teoria dos
Números?
“Todo número par maior do que 2 pode ser escrito como a
soma de dois números ímpares?”
4 = 2 + 2; 6 = 3 + 3; 8 = 3 + 5; 10 = 5 + 5; 12 = 5 + 7...
Euler disse: “Parece verdadeiro, mas eu não consigo
provar...”
Introdução
- Inicialmente não possuía qualquer aplicação
prática.
Criptografia!
Divisibilidade
Definição 1: Um inteiro a é divisível por um inteiro
b (não-nulo), se existe um inteiro k, tal a = kb.
Escreve-se: b|a
Leia-se: b divide a
Divisibilidade
Teorema 1: Para quaisquer a, b, c e d inteiros, tem-se:
a) a|b  a|bc, c
b) a|b e c|d  ac|bd
c) a|b e b|c  a|c
d) a|b e a|c  a|(bx+cy), x,y inteiros
e) a|b e b|a  a=b
f) a|b com a,b > 0  a  b
g) a|b  ma|mb, m inteiro não-nulo
Divisibilidade
Teorema 2: Para quaisquer a, b inteiros, com b>0, existem
inteiros únicos q e r, tais que a = qb+r, 0  r < b. Se b não
divide a (b∤a), então, 0 < r < b.
Este Teorema é conhecido como o Algoritmo da Divisão.
Chamos q de quociente e r de resto.
Obs: Note que se a = -19 e b = 5, então, pelo Algoritmo da
Divisão deve-se ter q = -4 para que r = 1 (r  0).
Divisibilidade
Definição 2: Para quaisquer a, b inteiros, com pelo menos
um deles não-nulo, então, d = MDC(a,b) se:
a) d|a e d|b
b) Se c|a e c|b  c  d
Divisibilidade
Teorema 3: Se d = MDC(a,b), então, existem inteiros x e y
tais que d = ax + by.
Prova: No quadro durante a apresentação
Note que se a e b são relativamente primos, então,
podemos escrever:
ax + by = 1
Como encontrar
X e y?
Divisibilidade
Algoritmo de Euclides: Considere a aplicação repetida do
algoritmo da divisão da seguinte forma:
O MDC(a,b) é o último resto não-nulo
Divisibilidade
Exemplo: MDC(172,20)
172 = 20x8 + 12
20 = 12x1 + 8
12 = 8x1 + 4  MDC (172,20) = 4
8 = 4x2 + 0
Divisibilidade
Vamos encontrar x e y?
12 = 172 -20x8
8 = 20 -12
4 = 12 – 8 = 12 – (20 – 12) = 12x2 -20
4 = 2x(172-20x8)-20
4 = 172x2 -20x16 -20
4 = 172x(2) + 20x(-17)
X = 2, y = -17
Divisibilidade
Uma pergunta interessante e que não pode passar
livremente é: “Por que o Algoritmo de Euclides funciona?”
O que o Algoritmo de Euclides diz, de fato, é que:
d = MDC(a,b) = MDC(a,b-qa)
Mas, isto é uma consequência da propriedade que afirma
MDC(a,b)=MDC(a,ax+b) onde x = -q.
Divisibilidade
Vamos provar então que se d = MDC(a,b), então,
d = MDC(a,ax+b)
Considere que t = MDC(a,ax+b). Logo, t|a e t|(ax+b).
Portanto, t|b. Logo, t|d (td). Suponha t < d.
d =qt + r  r = d – qt (r < t). Portanto, t|r, pois t|d e t|qt.
Impossível, pois r<t. Logo, t = d.
Números Primos
Um número inteiro p>1 é dito ser primo se não houver
nenhum divisor d de p tal que 1<d<p. Caso contrário, o
número é dito ser composto.
Atualmente, o criptosistema RSA te sua segurança
baseada na dificuldade em se fatorar um número
composto n como o produto de dois primos distintos p e q.
Números Primos
Números Primos
Um inteiro da forma: 𝑀 𝑛 =
2 𝑛
− 1 é chamado um inteiro
de Mersenne. Quando este
número for primo, chamamos
os mesmos de “Primos de
Mersenne”.
Primos de Mersenne
Pode-se mostrar que se 𝑎 𝑛 − 1 (𝑎 > 0, 𝑛 ≥ 2) é primo,
então, a = 2 e n é primo.
Existe um especial interesse em corpos finitos do tipo
𝐺𝐹(2 𝑝
− 1) pois as operações de multiplicação são mais
simples.
Primos de Mersenne
Um inteiro da forma
𝐹𝑛 = 22 𝑛
+ 1 é dito ser um
número de Fermat. Se um
número de Fermat é primo,
então ele possui a forma
acima. O contrário pode não
ser verdade.
Primos de Fermat
A fatoração de qualquer número inteiro n (n>1) como
produto de fatores primos é única.
Note que em S = {2,4,6,8,...} a fatoração não é única neste
conjunto, pois 60 = 2x30 = 6x10.
Teorema da Fatoração Única
A série dos números primos é infinita.
Teorema de Euclides
Congruências Lineares
Introduzidas por Gauss em 1801 no seu livro
Disquisitiones Arithmeticae (Pesquisas Aritméticas).
Definição: Dados os inteiros a,b e n (n>0), diz-se
que a é congruente com b módulo n se n divide a-b.
𝑎 ≡ 𝑏 (𝑚𝑜𝑑 𝑛)
Congruências Lineares
Congruências Lineares
A equação
𝑎𝑥 ≡ 𝑐 (𝑚𝑜𝑑 𝑛),
com x a determinar, pode ser escrita como
𝑎𝑥 − 𝑐 = 𝑘𝑛
Portanto,
𝑎𝑥 − 𝑛𝑘 = 𝑐 x e k inteiros a determinar
Congruências Lineares
Teorema: A equação diofantina ax + by = c possui solução
se, e somente se, d=MDC(a,b)|c. Se (x0,y0) é uma solução
particular, então, todas as outras soluções são:
𝑥 = 𝑥0 +
𝑏
𝑑
𝑡
𝑦 = 𝑦0 −
𝑎
𝑑
𝑡
t inteiro
Aplicações das C.L.
Projetar do livro
Teorema Chinês do Resto
Uma das primeiras aparições foi no livro “Manual
de Aritmética do Mestre Sun” (287 DC-473 DC).
Desenvolvido simultaneamente por gregos e
chineses para resolver problemas de astronomia.
Teorema Chinês do Resto

Mais conteúdo relacionado

PDF
895 ljudi iz ambisa
PDF
Zs 0946 zagor - divovi dobra i zla (scanturion &amp; folpi &amp; emeri)(6 mb)
PDF
Cálculo en fenómenos naturales y procesos sociales
PDF
DC - Unit - 2 - Huffman Coding
PDF
Leithold vol 2
PDF
Orqanizmin yorulmayan mühərriki
PDF
Quran with Tajwid Surah 16 ﴾القرآن سورۃ النحل﴿ An-Nahl 🙪 PDF
PDF
Monthly Khazina-e-Ruhaniyaat May’2024 (Vol.15, Issue 1)
895 ljudi iz ambisa
Zs 0946 zagor - divovi dobra i zla (scanturion &amp; folpi &amp; emeri)(6 mb)
Cálculo en fenómenos naturales y procesos sociales
DC - Unit - 2 - Huffman Coding
Leithold vol 2
Orqanizmin yorulmayan mühərriki
Quran with Tajwid Surah 16 ﴾القرآن سورۃ النحل﴿ An-Nahl 🙪 PDF
Monthly Khazina-e-Ruhaniyaat May’2024 (Vol.15, Issue 1)

Mais procurados (20)

PDF
Zagor vc 133 - Nasleđe Heligena
PDF
20 dairəsində toplama və çıxma
PDF
Todas as fórmulas e resumo completo de matemática
PDF
PDF
İsim - ad bildirən söz
PDF
ซิมเซ่งอี ตอน คัมภีร์กลียุค เล่ม 1
PDF
Geometria Analítica de Alfredo Steinbruch e Paulo Winterle
PDF
Zagor LUDSP 036-Zenit 666
ODP
Papa capim
PDF
Zs 0909 zagor - zmajevo grotlo (scanturion &amp; folpi &amp; emeri)(5 mb)
PPTX
Cümlə və onun növləri
PDF
Kupdf.com zagor jeti
PDF
Halliday física 1 - vol 1- 8ª ed
PDF
Resolução do livro de estática hibbeler 10ª ed - cap 7-10
PPSX
Sifət (1) powerpoint
PDF
Hizb 8
PDF
016. (Ne)Glasajte Za Notaxa!
PPTX
Arcos e Ângulos
PDF
Dzonatan Kartland-007(cir)(SZ scans).pdf
PDF
Zagor Extra 220 - Krvavi rudnik
Zagor vc 133 - Nasleđe Heligena
20 dairəsində toplama və çıxma
Todas as fórmulas e resumo completo de matemática
İsim - ad bildirən söz
ซิมเซ่งอี ตอน คัมภีร์กลียุค เล่ม 1
Geometria Analítica de Alfredo Steinbruch e Paulo Winterle
Zagor LUDSP 036-Zenit 666
Papa capim
Zs 0909 zagor - zmajevo grotlo (scanturion &amp; folpi &amp; emeri)(5 mb)
Cümlə və onun növləri
Kupdf.com zagor jeti
Halliday física 1 - vol 1- 8ª ed
Resolução do livro de estática hibbeler 10ª ed - cap 7-10
Sifət (1) powerpoint
Hizb 8
016. (Ne)Glasajte Za Notaxa!
Arcos e Ângulos
Dzonatan Kartland-007(cir)(SZ scans).pdf
Zagor Extra 220 - Krvavi rudnik
Anúncio

Destaque (20)

PPT
11 parâmetros currículos nacionais
DOCX
A Utilização da Operação Módulo
PDF
Apostila tcc
DOCX
Av. lomanto júnior entre o belo e a imundice (1)
DOC
Matemática descritores 4° bimestre
DOC
PDF
Pequeno teorema de fermat
PPTX
Aritmética modular
PDF
Resolução da prova do colégio naval de 2005
PDF
Notas sobre a Geometria Diferencial
PDF
Apostila rede viaria
PDF
Exrecícior de estruturas algébricas
PDF
Apostila de Aritmética Modular
PDF
Resolução da prova do colégio naval de 2004
PDF
Drenagem de Taludes
PDF
Álbum de Projetos - Tipo de dispositivos de drenagem
PDF
Nbr 11682 1991 - estabilidade de taludes
PDF
Gráfico de uma função modular
PDF
Resolução da prova do colégio naval de 2008
PDF
Resolução da prova do colégio naval de 2007
11 parâmetros currículos nacionais
A Utilização da Operação Módulo
Apostila tcc
Av. lomanto júnior entre o belo e a imundice (1)
Matemática descritores 4° bimestre
Pequeno teorema de fermat
Aritmética modular
Resolução da prova do colégio naval de 2005
Notas sobre a Geometria Diferencial
Apostila rede viaria
Exrecícior de estruturas algébricas
Apostila de Aritmética Modular
Resolução da prova do colégio naval de 2004
Drenagem de Taludes
Álbum de Projetos - Tipo de dispositivos de drenagem
Nbr 11682 1991 - estabilidade de taludes
Gráfico de uma função modular
Resolução da prova do colégio naval de 2008
Resolução da prova do colégio naval de 2007
Anúncio

Semelhante a Matemática discreta cap. 1 (20)

PDF
euclides primos
PDF
Teoria elementar dos numeros
PDF
Intro teoria dos numerros cap3
PPTX
AULA 03 - Divisibilidade, MMC e MDC (1).pptx
PDF
Teoria do números - Classificações especiais
PDF
Apostila revisao de matematica
PDF
Apostila matemática
PDF
PDF
Matemática
PDF
Ma14 u01 divisibilidade
PPT
Fermat: Números primos, amigos e perfeitos
DOCX
[Dass] apostila cdf - matematica basica para concursos publicos - 2014
PDF
Apostila matematica e raciocinio logico concursos exercicios resolvidos
PDF
Matematica trf 2007
PDF
Apostila Matemática
PDF
Apostila matematica e raciocinio logico concursos exercicios resolvidos
PDF
Apostilamatematicaeraciociniologicoconcursosexerciciosresolvidos 140204114442...
PDF
Apostila matematica e raciocinio logico concursos exercicios resolvidos jos...
PPTX
Números e Operações
PPTX
1 Exercícios
euclides primos
Teoria elementar dos numeros
Intro teoria dos numerros cap3
AULA 03 - Divisibilidade, MMC e MDC (1).pptx
Teoria do números - Classificações especiais
Apostila revisao de matematica
Apostila matemática
Matemática
Ma14 u01 divisibilidade
Fermat: Números primos, amigos e perfeitos
[Dass] apostila cdf - matematica basica para concursos publicos - 2014
Apostila matematica e raciocinio logico concursos exercicios resolvidos
Matematica trf 2007
Apostila Matemática
Apostila matematica e raciocinio logico concursos exercicios resolvidos
Apostilamatematicaeraciociniologicoconcursosexerciciosresolvidos 140204114442...
Apostila matematica e raciocinio logico concursos exercicios resolvidos jos...
Números e Operações
1 Exercícios

Último (20)

PDF
projeto 5 Em movimento Ciencias Humanas.pdf
PDF
ebook_historia_pessoal_dos_mitos_gregos.pdf
PDF
Fronteira escrito por José de Souza Martins
PPTX
Slides Lição 9, CPAD, Uma Igreja que se Arrisca, 3Tr25.pptx
PPTX
Apresentação Treinamento Percepção de Riscos-1.pptx
PDF
TREINAMENTO DE BRIGADISTA DE INCENCIO 2023
PPTX
Slides Lição 9, Betel, A Triunidade Divina, 3Tr25.pptx
PDF
Solucões-inovadoras-para-reduzir-desigualdades-educacionais (2).pdf
PPTX
CIPA+-++Mapa+de+Risco-1.pptx levantamento
PPTX
Treinamento de Espaço Confinado_Trabalhadores e Vigias NR 33.pptx
PDF
Mudanças Climáticas. Texto e atividade
PDF
DECISÃO (2).pdf Derrota histórica do Sintero expõe racha interno e fragilidad...
PDF
DIÁLOGO DE LÍNGUA PORTUGUESA_ A NOVA MATRIZ .pptx (1).pdf
PPT
Histologia e Fisiologia Vegetal.ppt Aula
PDF
Caderno do Futuro - História - 9º Ano - Professor.pdf
PDF
Ditadura Militar 🪖 -Estanlley_20250820_214056_0000.pdf
PPTX
Aula de psicofarmacologia: classes de psicofármacos
PPTX
NORMA 17 - ERGONOMIA NO TRABALHO - SST.pptx
PPTX
sistema circulatório ppt.pptxxxxxxxxxxxxxxx
PPTX
Adaptação Curricular para Alunos com Deficiências - EMEB. ODIR (1).pptx
projeto 5 Em movimento Ciencias Humanas.pdf
ebook_historia_pessoal_dos_mitos_gregos.pdf
Fronteira escrito por José de Souza Martins
Slides Lição 9, CPAD, Uma Igreja que se Arrisca, 3Tr25.pptx
Apresentação Treinamento Percepção de Riscos-1.pptx
TREINAMENTO DE BRIGADISTA DE INCENCIO 2023
Slides Lição 9, Betel, A Triunidade Divina, 3Tr25.pptx
Solucões-inovadoras-para-reduzir-desigualdades-educacionais (2).pdf
CIPA+-++Mapa+de+Risco-1.pptx levantamento
Treinamento de Espaço Confinado_Trabalhadores e Vigias NR 33.pptx
Mudanças Climáticas. Texto e atividade
DECISÃO (2).pdf Derrota histórica do Sintero expõe racha interno e fragilidad...
DIÁLOGO DE LÍNGUA PORTUGUESA_ A NOVA MATRIZ .pptx (1).pdf
Histologia e Fisiologia Vegetal.ppt Aula
Caderno do Futuro - História - 9º Ano - Professor.pdf
Ditadura Militar 🪖 -Estanlley_20250820_214056_0000.pdf
Aula de psicofarmacologia: classes de psicofármacos
NORMA 17 - ERGONOMIA NO TRABALHO - SST.pptx
sistema circulatório ppt.pptxxxxxxxxxxxxxxx
Adaptação Curricular para Alunos com Deficiências - EMEB. ODIR (1).pptx

Matemática discreta cap. 1

  • 2. Roteiro I. Introdução II. Divisibilidade III.Congruências Lineares IV.Aplicações das Congruências Lineares V. Teorema Chinês do Resto
  • 3. Introdução - Teoria dos Números é uma disciplina nova? 1800 AC 1650 AC 300AC
  • 4. Introdução - É preciso um conhecimento profundo em Matemática para se entender as formulações da Teoria dos Números? “Todo número par maior do que 2 pode ser escrito como a soma de dois números ímpares?” 4 = 2 + 2; 6 = 3 + 3; 8 = 3 + 5; 10 = 5 + 5; 12 = 5 + 7... Euler disse: “Parece verdadeiro, mas eu não consigo provar...”
  • 5. Introdução - Inicialmente não possuía qualquer aplicação prática. Criptografia!
  • 6. Divisibilidade Definição 1: Um inteiro a é divisível por um inteiro b (não-nulo), se existe um inteiro k, tal a = kb. Escreve-se: b|a Leia-se: b divide a
  • 7. Divisibilidade Teorema 1: Para quaisquer a, b, c e d inteiros, tem-se: a) a|b  a|bc, c b) a|b e c|d  ac|bd c) a|b e b|c  a|c d) a|b e a|c  a|(bx+cy), x,y inteiros e) a|b e b|a  a=b f) a|b com a,b > 0  a  b g) a|b  ma|mb, m inteiro não-nulo
  • 8. Divisibilidade Teorema 2: Para quaisquer a, b inteiros, com b>0, existem inteiros únicos q e r, tais que a = qb+r, 0  r < b. Se b não divide a (b∤a), então, 0 < r < b. Este Teorema é conhecido como o Algoritmo da Divisão. Chamos q de quociente e r de resto. Obs: Note que se a = -19 e b = 5, então, pelo Algoritmo da Divisão deve-se ter q = -4 para que r = 1 (r  0).
  • 9. Divisibilidade Definição 2: Para quaisquer a, b inteiros, com pelo menos um deles não-nulo, então, d = MDC(a,b) se: a) d|a e d|b b) Se c|a e c|b  c  d
  • 10. Divisibilidade Teorema 3: Se d = MDC(a,b), então, existem inteiros x e y tais que d = ax + by. Prova: No quadro durante a apresentação Note que se a e b são relativamente primos, então, podemos escrever: ax + by = 1 Como encontrar X e y?
  • 11. Divisibilidade Algoritmo de Euclides: Considere a aplicação repetida do algoritmo da divisão da seguinte forma: O MDC(a,b) é o último resto não-nulo
  • 12. Divisibilidade Exemplo: MDC(172,20) 172 = 20x8 + 12 20 = 12x1 + 8 12 = 8x1 + 4  MDC (172,20) = 4 8 = 4x2 + 0
  • 13. Divisibilidade Vamos encontrar x e y? 12 = 172 -20x8 8 = 20 -12 4 = 12 – 8 = 12 – (20 – 12) = 12x2 -20 4 = 2x(172-20x8)-20 4 = 172x2 -20x16 -20 4 = 172x(2) + 20x(-17) X = 2, y = -17
  • 14. Divisibilidade Uma pergunta interessante e que não pode passar livremente é: “Por que o Algoritmo de Euclides funciona?” O que o Algoritmo de Euclides diz, de fato, é que: d = MDC(a,b) = MDC(a,b-qa) Mas, isto é uma consequência da propriedade que afirma MDC(a,b)=MDC(a,ax+b) onde x = -q.
  • 15. Divisibilidade Vamos provar então que se d = MDC(a,b), então, d = MDC(a,ax+b) Considere que t = MDC(a,ax+b). Logo, t|a e t|(ax+b). Portanto, t|b. Logo, t|d (td). Suponha t < d. d =qt + r  r = d – qt (r < t). Portanto, t|r, pois t|d e t|qt. Impossível, pois r<t. Logo, t = d.
  • 16. Números Primos Um número inteiro p>1 é dito ser primo se não houver nenhum divisor d de p tal que 1<d<p. Caso contrário, o número é dito ser composto. Atualmente, o criptosistema RSA te sua segurança baseada na dificuldade em se fatorar um número composto n como o produto de dois primos distintos p e q.
  • 19. Um inteiro da forma: 𝑀 𝑛 = 2 𝑛 − 1 é chamado um inteiro de Mersenne. Quando este número for primo, chamamos os mesmos de “Primos de Mersenne”. Primos de Mersenne
  • 20. Pode-se mostrar que se 𝑎 𝑛 − 1 (𝑎 > 0, 𝑛 ≥ 2) é primo, então, a = 2 e n é primo. Existe um especial interesse em corpos finitos do tipo 𝐺𝐹(2 𝑝 − 1) pois as operações de multiplicação são mais simples. Primos de Mersenne
  • 21. Um inteiro da forma 𝐹𝑛 = 22 𝑛 + 1 é dito ser um número de Fermat. Se um número de Fermat é primo, então ele possui a forma acima. O contrário pode não ser verdade. Primos de Fermat
  • 22. A fatoração de qualquer número inteiro n (n>1) como produto de fatores primos é única. Note que em S = {2,4,6,8,...} a fatoração não é única neste conjunto, pois 60 = 2x30 = 6x10. Teorema da Fatoração Única
  • 23. A série dos números primos é infinita. Teorema de Euclides
  • 24. Congruências Lineares Introduzidas por Gauss em 1801 no seu livro Disquisitiones Arithmeticae (Pesquisas Aritméticas). Definição: Dados os inteiros a,b e n (n>0), diz-se que a é congruente com b módulo n se n divide a-b. 𝑎 ≡ 𝑏 (𝑚𝑜𝑑 𝑛)
  • 26. Congruências Lineares A equação 𝑎𝑥 ≡ 𝑐 (𝑚𝑜𝑑 𝑛), com x a determinar, pode ser escrita como 𝑎𝑥 − 𝑐 = 𝑘𝑛 Portanto, 𝑎𝑥 − 𝑛𝑘 = 𝑐 x e k inteiros a determinar
  • 27. Congruências Lineares Teorema: A equação diofantina ax + by = c possui solução se, e somente se, d=MDC(a,b)|c. Se (x0,y0) é uma solução particular, então, todas as outras soluções são: 𝑥 = 𝑥0 + 𝑏 𝑑 𝑡 𝑦 = 𝑦0 − 𝑎 𝑑 𝑡 t inteiro
  • 29. Teorema Chinês do Resto Uma das primeiras aparições foi no livro “Manual de Aritmética do Mestre Sun” (287 DC-473 DC). Desenvolvido simultaneamente por gregos e chineses para resolver problemas de astronomia.