SlideShare una empresa de Scribd logo
1 de 33
Descargar para leer sin conexión
Semin´ario De Fundamentos De ´Algebra
Sistema De Congruˆencias
Teorema Chinˆes Dos Restos
Santos A. E.
aleniac@ufmg.br
UFMG
ICEx
14 de dezembro de 2015
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 1 / 33
Introdu¸c˜ao
Teorema Chinˆes Dos Restos
O objetivo deste semin´ario ´e apresentar o Teorema Chinˆes dos
Restos como m´etodo para resolu¸c˜ao de equa¸c˜oes e sistemas
lineares de congruˆencias de um anel comutativo com unidade.
Apresentaremos tamb´em uma forma alternativa facilmente
implement´avel em computadores e um exemplo resolvido.
Os teoremas, lemas, corol´arios e proposi¸c˜oes apontados nesta
apresenta¸c˜ao est˜ao contidos no Livro Fundamentos De ´Algebra
Linear [1], conforme as suas respectivas referˆencias.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 2 / 33
Parte I - Equa¸c˜oes Lineares
Equa¸c˜oes Lineares
Seja Qm a congruˆencia em m´odulo m ∈ N abaixo:
ax ≡ b mod m, a, b ∈ Z (1)
em que
d = mdc(a, m)
m =
m
d
, se d|b.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 3 / 33
Teorema
Considere a congruˆencia Qm (1) e d = mdc(a, m):
Teorema
i) A congruˆencia aX ≡ b mod m tem solu¸c˜ao, se, e somente se, d|b;
ii) Se X0 for uma solu¸c˜ao de Qm, ent˜ao X tamb´em ´e uma solu¸c˜ao se, e
somente se, X0 ≡ X mod m em que m = m/d. Em particular, Qm
possui d solu¸c˜oes n˜ao congruentes m´odulo m.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 4 / 33
Condi¸c˜ao de Existˆencia de Solu¸c˜ao
Demonstra¸c˜ao i.
Assumiremos por hip´otese que ax ≡ b mod m tem solu¸c˜ao.
Ent˜ao, temos:
ax ≡ b mod m
ax+ my = b. (2)
Aplicando o lema 7.67 [1], (2) tamb´em tem solu¸c˜ao. Da´ı, d|b, e
portanto, ambos lados da equa¸c˜ao abaixo:
a
d
x +
m
d
y =
b
d
.
Consequentemente, mdc(a, m)|b se Qm tem solu¸c˜ao.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 5 / 33
Condi¸c˜ao de Existˆencia de Solu¸c˜ao
Rec´ıproca i.
Reciprocamente, Existe d tal que d = mdc(a, m), conforme:
ax + my = d (3)
Note que a equa¸c˜ao (3) tem solu¸c˜ao. Al´em disso, podemos
expressar b = βd, β ∈ Z.
Multiplicando (3) por β, temos:
a(βx) + m(βy) = b
aX0 + mY0 = b,
em que X0 = βx. Logo, aX0 ≡ b mod m.
Portanto X0 ´e uma solu¸c˜ao particular da congruˆencia Qm.
Como quer´ıamos mostrar.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 6 / 33
Classes Distintas De Solu¸c˜oes
Demonstra¸c˜ao ii.
Se x = X0 for uma solu¸c˜ao de Qm, ent˜ao d|b, logo:
a
d
x +
m
d
y =
b
d
.
Ent˜ao podemos escrever:
a = αd, b = βd, m = m d
Reescrevendo Qm em termos de α, β, temos:
ax ≡ b mod m
αdx ≡ βd mod m
⇓ (Corol´ario 7.17 [1])
αx ≡ β mod m . (4)
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 7 / 33
Classes Distintas De Solu¸c˜oes
Logo, obtemos a congruˆencia (4) que denotaremos por Qm .
Note que mdc(α, m ) = 1. Consequentemente, α posssui inverso
m´odulo m .
Logo, Qm tˆem uma solu¸c˜ao particular da forma:
X0 ≡ βα−1
mod m .
Ent˜ao temos como solu¸c˜ao geral a equa¸c˜ao:
x = X0 + m k, k ∈ Z.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 8 / 33
Classes Distintas De Solu¸c˜oes
Da´ı, qualquer elemento X ∈ [X0]m satisfaz Qm .
Logo, X tamb´em ´e solu¸c˜ao de Qm.
Temos ent˜ao garantido que:
X0 ≡ X mod m .
Portanto, X tamb´em ´e solu¸c˜ao de Qm se X0 ≡ X mod m .
Rec´ıproca ii.
Seja X0 uma solu¸c˜ao particular de Qm tal que X0 ≡ X mod m .
Obviamente, [X0]m ´e solu¸c˜ao de Qm , ent˜ao X0 e X s˜ao solu¸c˜oes.
Se x = X0 e x = X s˜ao solu¸c˜oes de Qm , temos que x satisfaz:
αx ≡ β mod m .
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 9 / 33
Classes Distintas De Solu¸c˜oes
Se β = bd, ent˜ao o podemos aplicar o corol´ario 7.11 [1] em Qm
multiplicando-a por d:
dαx ≡ dβ mod dm
⇓
ax ≡ b mod m
em que a = a d e m = m d.
Logo, a solu¸c˜ao geral de Qm ´e dada por:
x ≡ X mod m, X ∈ [X0]m . (5)
Portanto, se X ´e solu¸c˜ao de Qm, ent˜ao X0 tamb´em ´e.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 10 /
33
N´umero De Solu¸c˜oes N˜ao Congruentes M´odulo m
Verifica¸c˜ao.
Seja X0 uma solu¸c˜ao particular de Qm e Qm na forma reduzida,
0 ≤ X0 < (m − 1).
Seja Rm e Rm , respectivamente, os conjuntos das classes de Zm e
Zm .
Fazendo u = m − 1 e espandindo ambos conjuntos, temos:
Rm = {0, 1, . . . , X0, . . . , u, . . . , 2u, . . . , 3u, . . . , du}
Rm = {0, 1, . . . , X0, . . . , u}
Temos que a congruˆencia Qm (4) possui solu¸c˜ao da forma:
x = X0 + m k, k ∈ Z.
Isto ´e, [X0]m ∈ Rm ´e solu¸c˜ao ´unica de Qm .
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 11 /
33
N´umero De Solu¸c˜oes N˜ao Congruentes M´odulo m
Da´ı, a solu¸c˜ao geral de Qm (5) pode ser escrita da seguinte forma:
x = X + mt t ∈ Z
em que X ∈ [X0]m .
Note que:
1 O conjunto Rm possui m = m d classes distintas.
2 As solu¸c˜oes X n˜ao s˜ao congruentes m´odulo m, pois:
[X0]m = [X0]m .
3 Cada solu¸c˜ao X ´e um representante de alguma classe de Zm.
4 Rm possui exatamente d elementos congruentes a X0 m´odulo m , a
saber, cada um deles est´a entre cada m´ultiplo de (m − 1).
Conclu´ımos, portanto, que Qm possui d solu¸c˜oes distintas m´odulo
m. Como quer´ıamos mostrar.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 12 /
33
Parte II - Sistemas De Congruˆencias
Sistemas de Congruˆencias
Considere o sistema de congruˆencias abaixo:



a1x ≡ b1 mod m1
a2x ≡ b2 mod m2
...
...
akx ≡ bk mod mk
Vamos assumir que:
1 O mdc(ai, mi) = 1, para todo i = 1, 2, ..., k;
2 O mdc(mi, mj) = 1, para todo i = j.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 13 /
33
Defini¸c˜oes Importantes
Defini¸c˜oes:
M =
k
i=1
= mmc(m1, m2, ..., mk)
Ni =
M
mi
=
m1m2...mi...mk
mi
Note que:
a) mi|Nj para todo i = j. Consequentemente, Nj ≡ 0 mod mi;
b) O mdc(Ni, mi) = 1. Portanto, Ni posssui inverso m´odulo mi, ou
seja:
NiLi ≡ 1 mi, em que Li = N−1
i . (6)
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 14 /
33
Teorema Chinˆes Dos Restos
Teorema
Suponhamos as hip´oteses (1) e (2), ent˜ao para quaisquer das
congruˆencias dadas nos seus respectivos m´odulos m1, ..., mk, o
sistema possui solu¸c˜ao da forma:
X0 =
k
i=1
ciNiLi
em que:
ci ´e uma solu¸c˜ao de aix ≡ bi mod mi.
NiN−1
i ≡ 1 mod mi possui solu¸c˜ao N−1
i = Li.
Al´em disso, X ´e uma outra solu¸c˜ao do sistema se, e somente se,
X ≡ X mod M.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 15 /
33
Teorema Chinˆes Dos Restos - Demonstra¸c˜ao
Demonstra¸c˜ao.
Vamos assumir que X0 = k
j=1 cjNjLj ´e uma solu¸c˜ao particular
do sistema de congruˆencias dado. Isto ´e, para todo i = 1, ..., k,
aiX0 ≡ bi mod mi. Ent˜ao, temos:
aiX0 = ai(
k
j=1
cjNjLj)
=
k
j=1
aicjNjLj.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 16 /
33
Teorema Chinˆes Dos Restos - Demonstra¸c˜ao
Note que, se i = j, Nj(aicjLj) ´e m´ultiplo de mi, pois mi|Ni. Logo:
aicjNjLj ≡ 0 mod mi.
Portanto,
k
j=1
aicjNjLj = aiciNiLi. (7)
Da´ı, reescrevemos a equivalˆencia da seguinte forma:
aiX0 ≡ aiciNiLi mod mi
≡ aici mod mi (8)
aplicando NiLi ≡ 1 mod mi em (8).
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 17 /
33
Teorema Chinˆes Dos Restos - Demonstra¸c˜ao
Observe que:
aici ≡ aiX0 mod mi
aiX0 ≡ bi mod mi
⇓ (Transitividade)
aici ≡ bi mod mi
E, portanto,
aiX0 ≡ bi mod mi.
Como quer´ıamos provar.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 18 /
33
Solu¸c˜oes Equivalentes Mod M
Seja X uma outra solu¸c˜ao do sistema. Ent˜ao pra todo i = 1, ..., k:
aiX0 ≡ bi mod mi
e
aiX ≡ bi mod mi
⇓ (Transitividade)
aiX0 ≡ aiX mod mi
⇓ (Proposi¸c˜ao 7.16 [1])
X0 ≡ X mod mi
⇓ (Proposi¸c˜ao 7.18, ii [1])
X0 ≡ X mod mmc(m1, ..., mk).
Da´ı, conclu´ımos que X ≡ X0 mod M.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 19 /
33
Solu¸c˜oes Equivalentes Mod M
Rec´ıproca
Reciprocamente, temos:
X ≡ X0 mod M
⇓ (Proposi¸c˜ao 7.18, i [1])
X ≡ X0 mod mi
⇓
aiX ≡ aiX0 mod mi
⇓ (X0 satisfaz a congruˆencia i)
aiX ≡ bi mod mi
Portanto, conclu´ımos que X tamb´em ´e uma solu¸c˜ao do sistema.
Como quer´ıamos provar.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 20 /
33
M´etodo Iterativo Para Congruˆencias Lineares
Sistemas de congruˆencias da forma x = bi mod mi
Como pudemos verificar, devemos considerar a h´ıpotese de que o
mdc(mi, mj) = 1, para todo i = 1, ..., k e i = j, no m´etodo
apresentado.
Al´em disso, ´e dif´ıcil de implement´a-lo computacionalmente.
Mostraremos uma t´ecnica alternativa que facilita a implementa¸c˜ao
em computadores e que n˜ao depende que o mdc(mi, mj) = 1, i = j.
O mdc(ai, mi)|bi, para i ∈ {1, ..., k}, ´e uma condi¸c˜ao necess´aria e
suficiente para que uma congruˆencia tenha uma solu¸c˜ao individual.
Em contrapartida, n˜ao necessariamente, o sistema tem solu¸c˜ao se
mdc(ai, mi)|bi [3].
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 21 /
33
Isolando A Ic´onita X Do Sistema
Considere o sistema de congruˆencias lineares em que
di = mdc(ai, mi) e di|bi:
{aix ≡ bi mod mi, i = 1, ..., k.
Vimos que um passo crucial foi dividir cada equa¸c˜ao de ordem i
pelo seu respectivo di. E, consequentemente, reca´ımos numa nova
congruˆencia da forma:
{αix ≡ βi mod mi, i = 1, ..., k,
cujo mdc(αi, mi) = 1.
Sabemos que αi possui inverso m´odulo mi. Da´ı, mutiplicando
ambos lados de cada equa¸c˜ao pelo seu inverso, obtemos:
{x ≡ βiα−1
i mod mi, i = 1, ..., k.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 22 /
33
Solucionando As Duas Primeiras Congruˆencias
Da´ı, podemos considerar um novo sistema da forma:
{x ≡ bi mod mi, i = 1, ..., k.
Resolvemos este sistema solucionando-o par a par. Substitu´ımos,
ent˜ao, o par original pela nova congruˆencia encontrada.
O processo se repete sucessivamente at´e a ´ultima equa¸c˜ao.
A princ´ıpio, vamos considerar as duas primeiras equa¸c˜oes do
sistema dado:
x ≡ b1 mod m1 (a)
x ≡ b2 mod m2 (b)
Sabemos que a solu¸c˜ao da equa¸c˜ao (a) acima ´e da forma:
x = b1 + m1k, k ∈ Z. (9)
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 23 /
33
Solucionando As Duas Primeiras Congruˆencias
Da´ı, podemos levar o lado direito de (9) para a equa¸c˜ao (b):
x ≡ b2 mod m2
b1 + m1k ≡ b2 mod m2
⇓
m1k ≡ b2 − b1 mod m2
⇓
k ≡ (b2 − b1)m−1
1 mod m2,
em que m−1
1 ´e o inverso de m1 m´odulo m2.
Portanto,
k = (b2 − b1)m−1
1 + m2t
em que t ∈ Z ´e um valor arbitr´ario.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 24 /
33
Solucionando As Duas Primeiras Congruˆencias
Uma vez obtido o valor de k, podemos substituir na equa¸c˜ao (9):
x = b1 + m1k
x = b1 + m1[(b2 − b1)m−1
1 + m2t]
Calculado o valor de x em termos de t ∈ Z, obtemos uma
congruˆencia X mod mmc(m1, m2), solu¸c˜ao comum do par.
Esta mesma deve substituir as duas primeiras congruˆencias do
sistema. Obt´em-se, portanto, um sistema equivalente com uma
equa¸c˜ao a menos.
Repetimos ent˜ao este processo at´e, finalmente, obter a solu¸c˜ao
geral do sistema.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 25 /
33
Exemplo De Sistema Com Trˆes Congruˆencias
Exemplo.
Considere o sistema de congruˆencias abaixo:
i)



3x ≡ 5 mod 4
2x ≡ 3 mod 5
4x ≡ 2 mod 3
⇓
ii)



x ≡ 5 · 3 mod 4
x ≡ 3 · 3 mod 5
x ≡ 2 · 4 mod 3
⇓
⇓
iii)



x ≡ 15 mod 4
x ≡ 9 mod 5
x ≡ 8 mod 3
⇓
iv)



x ≡ 3 mod 4
x ≡ 4 mod 5
x ≡ 2 mod 3
Note que os valores destacados em vermelho s˜ao os inversos
m´odulo mi dos seus respectivos ai, isto ´e, a1 = 3, a2 = 2, a3 = 4.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 26 /
33
Solu¸c˜ao Do Primeiro Par De Congruˆencias
Separando as duas primeiras congruˆencias do sistema (iv), temos:
iv)



x ≡ 3 mod 4
x ≡ 4 mod 5
x ≡ 2 mod 3
x ≡ 3 mod 4 (a)
x ≡ 4 mod 5 (b)
Da congruˆencia (a), temos que:
x = 3 + 4k, (10)
em que k ∈ Z ´e um valor arbitr´ario.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 27 /
33
Solu¸c˜ao Do Primeiro Par De Congruˆencias
Levamos, ent˜ao, esta express˜ao para a congruˆencia (b):
x ≡ 4 mod 5
3 + 4k ≡ 4 mod 5
⇓
4k ≡ 1 mod 5
⇓
k ≡ 1 · 4 mod 5
⇓
k ≡ 4 mod 5.
Logo, obtemos k = 4 + 5t, onde t ´e um inteiro arbitr´ario.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 28 /
33
Substituindo A Nova Congruˆencia No Sistema
Substituindo k na equa¸c˜ao (10), obtemos:
x = 3 + 4k
x = 3 + 4(4 + 5t)
x = 19 + 20t.
Da´ı, obtemos uma nova congruˆencia:
X ≡ 19 mod 20. (11)
Substituindo o primeiro par por X no sistema (iv), obtemos um
sistema equivalente:
iv)



x ≡ 3 mod 4
x ≡ 4 mod 5
x ≡ 2 mod 3
=⇒
x ≡ 19 mod 20 (a)
x ≡ 2 mod 3 (b)
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 29 /
33
Solu¸c˜ao Do Segundo Par De Congruˆencias
Obtendo x da congruˆencia (a) deste sistema, temos:
x = 19 + 20k (12)
Substituindo (12) na congruˆencia (b):
x ≡ 2 mod 3
19 + 20k ≡ 2 mod 3
⇓
20k ≡ −17 mod 3
⇓
k ≡ 1 · 2 mod 3
⇓
k ≡ 2 mod 3.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 30 /
33
Solu¸c˜ao Final Do Sistema
Portanto, k = 2 + 3t e, substituindo na equa¸c˜ao (12), temos:
x = 19 + 20k
x = 19 + 20(2 + 3t)
x = 59 + 60t
Portanto a solu¸c˜ao geral do sistema ´e x = 59 + 60t. Em outras
palavras,
x ≡ 59 mod 60.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 31 /
33
Coment´arios
Coment´arios:
O exemplo resolvido ´e o mesmo encontrado em 7.70 [1] cujo
mesmo foi resolvido pelo m´etodo anterior. Vale ressaltar que a
solu¸c˜ao que encontramos est´a na sua forma reduzida, por´em ´e
congruente com a solu¸c˜ao dos autores de [1], como esper´avamos.
Contudo, em aplica¸c˜oes, deve-se considerar qual solu¸c˜ao particular
vai refletir corretamente a interpleta¸c˜ao da forma aplicada.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 32 /
33
Bibliografia
Bibliografia.
VIDIGAL A. e outros, (2009), Fundamentos de ´Algebra,
Universidade Federal de Minas Gerais.
COUTINHO S.C., (2011), N´umeros Inteiros e Criptografia RSA,
Instituto de Matem´atica Pura e Aplicada.
SOMBRIO G. S., (2001), Teorema Chinˆes De Restos e Teorema
Da Aproxima¸c˜ao, Universidade Federal de Santa Catarina.
https://repositorio.ufsc.br/bitstream/handle/123456789/
81876/179152.pdf.
Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos
14 de dezembro de 2015 33 /
33

Más contenido relacionado

La actualidad más candente

Exercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de RolleExercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de RolleDiego Oliveira
 
Teoria como resolver um sistema de equações - graficamente
Teoria   como resolver um sistema de equações - graficamenteTeoria   como resolver um sistema de equações - graficamente
Teoria como resolver um sistema de equações - graficamentetetsu
 
Apresentação geometria analítica
Apresentação geometria analíticaApresentação geometria analítica
Apresentação geometria analíticaprofluizgustavo
 
Conjuntos numéricos versão mini
Conjuntos numéricos   versão miniConjuntos numéricos   versão mini
Conjuntos numéricos versão miniLuciano Pessanha
 
7º ano - 2 - Quiz - Números Inteiros
7º ano - 2 - Quiz - Números Inteiros7º ano - 2 - Quiz - Números Inteiros
7º ano - 2 - Quiz - Números InteirosProf. Materaldo
 
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...Aline Guedes
 
Âgulos formados por duas retas paralelas e uma transversal
Âgulos formados por duas retas paralelas e uma transversalÂgulos formados por duas retas paralelas e uma transversal
Âgulos formados por duas retas paralelas e uma transversalAndréa Thees
 
Equações do 1º grau ppt
Equações do 1º grau pptEquações do 1º grau ppt
Equações do 1º grau pptktorz
 
1 atividade 9 ano 21 conjunto dos numeros reais
1 atividade 9 ano 21 conjunto dos numeros reais1 atividade 9 ano 21 conjunto dos numeros reais
1 atividade 9 ano 21 conjunto dos numeros reaisWashington Rocha
 
Mapa mental todas as materias
Mapa mental todas as materiasMapa mental todas as materias
Mapa mental todas as materiasCleuvânia Dias
 
AULA DE TRIGONOMETRIA
AULA DE TRIGONOMETRIAAULA DE TRIGONOMETRIA
AULA DE TRIGONOMETRIACECIERJ
 
Equação parte1.1
Equação parte1.1Equação parte1.1
Equação parte1.1Luis
 

La actualidad más candente (20)

Círculo e circunferência apresentação
Círculo e circunferência apresentaçãoCírculo e circunferência apresentação
Círculo e circunferência apresentação
 
Exercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de RolleExercícios Resolvidos: Teorema de Rolle
Exercícios Resolvidos: Teorema de Rolle
 
Teoria como resolver um sistema de equações - graficamente
Teoria   como resolver um sistema de equações - graficamenteTeoria   como resolver um sistema de equações - graficamente
Teoria como resolver um sistema de equações - graficamente
 
Aula 1
Aula 1Aula 1
Aula 1
 
Apresentação geometria analítica
Apresentação geometria analíticaApresentação geometria analítica
Apresentação geometria analítica
 
Conjuntos numéricos versão mini
Conjuntos numéricos   versão miniConjuntos numéricos   versão mini
Conjuntos numéricos versão mini
 
7º ano - 2 - Quiz - Números Inteiros
7º ano - 2 - Quiz - Números Inteiros7º ano - 2 - Quiz - Números Inteiros
7º ano - 2 - Quiz - Números Inteiros
 
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
Aula 5- Profmat-Aplicacoes do mdc - Equacoes diofantinas - Expressoes binomia...
 
Âgulos formados por duas retas paralelas e uma transversal
Âgulos formados por duas retas paralelas e uma transversalÂgulos formados por duas retas paralelas e uma transversal
Âgulos formados por duas retas paralelas e uma transversal
 
Função modular
Função modularFunção modular
Função modular
 
Trigonometria na circunferência
Trigonometria na circunferênciaTrigonometria na circunferência
Trigonometria na circunferência
 
Equações do 1º grau ppt
Equações do 1º grau pptEquações do 1º grau ppt
Equações do 1º grau ppt
 
1 atividade 9 ano 21 conjunto dos numeros reais
1 atividade 9 ano 21 conjunto dos numeros reais1 atividade 9 ano 21 conjunto dos numeros reais
1 atividade 9 ano 21 conjunto dos numeros reais
 
94204719 teoria-dos-numeros
94204719 teoria-dos-numeros94204719 teoria-dos-numeros
94204719 teoria-dos-numeros
 
Sistemas lineares
Sistemas linearesSistemas lineares
Sistemas lineares
 
Mapa mental todas as materias
Mapa mental todas as materiasMapa mental todas as materias
Mapa mental todas as materias
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Funcao exponencial
Funcao exponencialFuncao exponencial
Funcao exponencial
 
AULA DE TRIGONOMETRIA
AULA DE TRIGONOMETRIAAULA DE TRIGONOMETRIA
AULA DE TRIGONOMETRIA
 
Equação parte1.1
Equação parte1.1Equação parte1.1
Equação parte1.1
 

Similar a Teorema Chinês dos Restos

Congruências Lineares e Classes Residuais
Congruências Lineares e Classes ResiduaisCongruências Lineares e Classes Residuais
Congruências Lineares e Classes ResiduaisLuciana Martino
 
Aula 8 profmat congruencias - 20 10-17
Aula 8   profmat congruencias - 20 10-17Aula 8   profmat congruencias - 20 10-17
Aula 8 profmat congruencias - 20 10-17Aline Guedes
 
Aula 4 Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
Aula 4   Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17Aula 4   Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
Aula 4 Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17Aline Guedes
 
Prova Comentada de Estatística - TCU 2015
Prova Comentada de Estatística - TCU 2015Prova Comentada de Estatística - TCU 2015
Prova Comentada de Estatística - TCU 2015Estratégia Concursos
 
Os Teoremas de Euler e Wilson
Os Teoremas de Euler e WilsonOs Teoremas de Euler e Wilson
Os Teoremas de Euler e WilsonLuciana Martino
 
Matemática - Módulo 02
Matemática - Módulo 02Matemática - Módulo 02
Matemática - Módulo 02Everton Moraes
 
Teoria elementar dos numeros
Teoria elementar dos numerosTeoria elementar dos numeros
Teoria elementar dos numeroslealtran
 
6935889 anpadfev2003
6935889 anpadfev20036935889 anpadfev2003
6935889 anpadfev2003Andre Somar
 
02 Congruências e Inteiros Módulo m.pdf
02 Congruências e Inteiros Módulo m.pdf02 Congruências e Inteiros Módulo m.pdf
02 Congruências e Inteiros Módulo m.pdfJuanGarutti1
 
Prova de Matemática fuzileiro naval 2011
Prova de Matemática fuzileiro naval 2011Prova de Matemática fuzileiro naval 2011
Prova de Matemática fuzileiro naval 2011thieresaulas
 
Asdl emmendes a1 fundamentos de sinais e sistemas
Asdl emmendes a1 fundamentos de sinais e sistemasAsdl emmendes a1 fundamentos de sinais e sistemas
Asdl emmendes a1 fundamentos de sinais e sistemasjoanes360
 

Similar a Teorema Chinês dos Restos (20)

Congruências Lineares e Classes Residuais
Congruências Lineares e Classes ResiduaisCongruências Lineares e Classes Residuais
Congruências Lineares e Classes Residuais
 
euclides primos
euclides primoseuclides primos
euclides primos
 
Aula 8 profmat congruencias - 20 10-17
Aula 8   profmat congruencias - 20 10-17Aula 8   profmat congruencias - 20 10-17
Aula 8 profmat congruencias - 20 10-17
 
Aula 4 Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
Aula 4   Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17Aula 4   Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
Aula 4 Profmat - Algoritmo de Euclides - MDC e MMC 25 08-17
 
Prova Comentada de Estatística - TCU 2015
Prova Comentada de Estatística - TCU 2015Prova Comentada de Estatística - TCU 2015
Prova Comentada de Estatística - TCU 2015
 
Os Teoremas de Euler e Wilson
Os Teoremas de Euler e WilsonOs Teoremas de Euler e Wilson
Os Teoremas de Euler e Wilson
 
Pequeno teorema de fermat
Pequeno teorema de fermatPequeno teorema de fermat
Pequeno teorema de fermat
 
Matemática - Módulo 02
Matemática - Módulo 02Matemática - Módulo 02
Matemática - Módulo 02
 
Equaçoes literais
Equaçoes literaisEquaçoes literais
Equaçoes literais
 
Teoria elementar dos numeros
Teoria elementar dos numerosTeoria elementar dos numeros
Teoria elementar dos numeros
 
Tarefa10
Tarefa10 Tarefa10
Tarefa10
 
Equações Exatas exercicios
Equações Exatas exerciciosEquações Exatas exercicios
Equações Exatas exercicios
 
6935889 anpadfev2003
6935889 anpadfev20036935889 anpadfev2003
6935889 anpadfev2003
 
02 Congruências e Inteiros Módulo m.pdf
02 Congruências e Inteiros Módulo m.pdf02 Congruências e Inteiros Módulo m.pdf
02 Congruências e Inteiros Módulo m.pdf
 
QUESTÕES PUC-RIO - TEOREMA DOS CASAMENTOS
QUESTÕES PUC-RIO - TEOREMA DOS CASAMENTOSQUESTÕES PUC-RIO - TEOREMA DOS CASAMENTOS
QUESTÕES PUC-RIO - TEOREMA DOS CASAMENTOS
 
Exercsolv1
Exercsolv1Exercsolv1
Exercsolv1
 
Prova de Matemática fuzileiro naval 2011
Prova de Matemática fuzileiro naval 2011Prova de Matemática fuzileiro naval 2011
Prova de Matemática fuzileiro naval 2011
 
Introdução à cadeias de markov
Introdução à cadeias de markovIntrodução à cadeias de markov
Introdução à cadeias de markov
 
Asdl emmendes a1 fundamentos de sinais e sistemas
Asdl emmendes a1 fundamentos de sinais e sistemasAsdl emmendes a1 fundamentos de sinais e sistemas
Asdl emmendes a1 fundamentos de sinais e sistemas
 
Calculo d edo_1
Calculo d edo_1Calculo d edo_1
Calculo d edo_1
 

Último

Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)Mary Alvarenga
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOColégio Santa Teresinha
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfManuais Formação
 
cartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdf
cartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdfcartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdf
cartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdfIedaGoethe
 
Bullying - Texto e cruzadinha
Bullying        -     Texto e cruzadinhaBullying        -     Texto e cruzadinha
Bullying - Texto e cruzadinhaMary Alvarenga
 
Programa de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasPrograma de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasCassio Meira Jr.
 
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxSlides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxLuizHenriquedeAlmeid6
 
Regência Nominal e Verbal português .pdf
Regência Nominal e Verbal português .pdfRegência Nominal e Verbal português .pdf
Regência Nominal e Verbal português .pdfmirandadudu08
 
Simulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfSimulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfEditoraEnovus
 
Caixa jogo da onça. para imprimir e jogar
Caixa jogo da onça. para imprimir e jogarCaixa jogo da onça. para imprimir e jogar
Caixa jogo da onça. para imprimir e jogarIedaGoethe
 
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chaveAula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chaveaulasgege
 
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBCRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBAline Santana
 
Prática de interpretação de imagens de satélite no QGIS
Prática de interpretação de imagens de satélite no QGISPrática de interpretação de imagens de satélite no QGIS
Prática de interpretação de imagens de satélite no QGISVitor Vieira Vasconcelos
 
Aula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologia
Aula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologiaAula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologia
Aula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologiaaulasgege
 
02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdf02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdfJorge Andrade
 
Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.keislayyovera123
 
HORA DO CONTO3_BECRE D. CARLOS I_2023_2024
HORA DO CONTO3_BECRE D. CARLOS I_2023_2024HORA DO CONTO3_BECRE D. CARLOS I_2023_2024
HORA DO CONTO3_BECRE D. CARLOS I_2023_2024Sandra Pratas
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasCassio Meira Jr.
 
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
activIDADES CUENTO  lobo esta  CUENTO CUARTO GRADOactivIDADES CUENTO  lobo esta  CUENTO CUARTO GRADO
activIDADES CUENTO lobo esta CUENTO CUARTO GRADOcarolinacespedes23
 
William J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdfWilliam J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdfAdrianaCunha84
 

Último (20)

Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
Grupo Tribalhista - Música Velha Infância (cruzadinha e caça palavras)
 
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃOLEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
LEMBRANDO A MORTE E CELEBRANDO A RESSUREIÇÃO
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdf
 
cartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdf
cartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdfcartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdf
cartilha-pdi-plano-de-desenvolvimento-individual-do-estudante.pdf
 
Bullying - Texto e cruzadinha
Bullying        -     Texto e cruzadinhaBullying        -     Texto e cruzadinha
Bullying - Texto e cruzadinha
 
Programa de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades MotorasPrograma de Intervenção com Habilidades Motoras
Programa de Intervenção com Habilidades Motoras
 
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxSlides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
 
Regência Nominal e Verbal português .pdf
Regência Nominal e Verbal português .pdfRegência Nominal e Verbal português .pdf
Regência Nominal e Verbal português .pdf
 
Simulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdfSimulado 1 Etapa - 2024 Proximo Passo.pdf
Simulado 1 Etapa - 2024 Proximo Passo.pdf
 
Caixa jogo da onça. para imprimir e jogar
Caixa jogo da onça. para imprimir e jogarCaixa jogo da onça. para imprimir e jogar
Caixa jogo da onça. para imprimir e jogar
 
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chaveAula - 2º Ano - Cultura e Sociedade - Conceitos-chave
Aula - 2º Ano - Cultura e Sociedade - Conceitos-chave
 
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASBCRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
CRÔNICAS DE UMA TURMA - TURMA DE 9ºANO - EASB
 
Prática de interpretação de imagens de satélite no QGIS
Prática de interpretação de imagens de satélite no QGISPrática de interpretação de imagens de satélite no QGIS
Prática de interpretação de imagens de satélite no QGIS
 
Aula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologia
Aula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologiaAula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologia
Aula - 1º Ano - Émile Durkheim - Um dos clássicos da sociologia
 
02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdf02. Informática - Windows 10 apostila completa.pdf
02. Informática - Windows 10 apostila completa.pdf
 
Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.Época Realista y la obra de Madame Bovary.
Época Realista y la obra de Madame Bovary.
 
HORA DO CONTO3_BECRE D. CARLOS I_2023_2024
HORA DO CONTO3_BECRE D. CARLOS I_2023_2024HORA DO CONTO3_BECRE D. CARLOS I_2023_2024
HORA DO CONTO3_BECRE D. CARLOS I_2023_2024
 
Habilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e EspecíficasHabilidades Motoras Básicas e Específicas
Habilidades Motoras Básicas e Específicas
 
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
activIDADES CUENTO  lobo esta  CUENTO CUARTO GRADOactivIDADES CUENTO  lobo esta  CUENTO CUARTO GRADO
activIDADES CUENTO lobo esta CUENTO CUARTO GRADO
 
William J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdfWilliam J. Bennett - O livro das virtudes para Crianças.pdf
William J. Bennett - O livro das virtudes para Crianças.pdf
 

Teorema Chinês dos Restos

  • 1. Semin´ario De Fundamentos De ´Algebra Sistema De Congruˆencias Teorema Chinˆes Dos Restos Santos A. E. aleniac@ufmg.br UFMG ICEx 14 de dezembro de 2015 Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 1 / 33
  • 2. Introdu¸c˜ao Teorema Chinˆes Dos Restos O objetivo deste semin´ario ´e apresentar o Teorema Chinˆes dos Restos como m´etodo para resolu¸c˜ao de equa¸c˜oes e sistemas lineares de congruˆencias de um anel comutativo com unidade. Apresentaremos tamb´em uma forma alternativa facilmente implement´avel em computadores e um exemplo resolvido. Os teoremas, lemas, corol´arios e proposi¸c˜oes apontados nesta apresenta¸c˜ao est˜ao contidos no Livro Fundamentos De ´Algebra Linear [1], conforme as suas respectivas referˆencias. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 2 / 33
  • 3. Parte I - Equa¸c˜oes Lineares Equa¸c˜oes Lineares Seja Qm a congruˆencia em m´odulo m ∈ N abaixo: ax ≡ b mod m, a, b ∈ Z (1) em que d = mdc(a, m) m = m d , se d|b. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 3 / 33
  • 4. Teorema Considere a congruˆencia Qm (1) e d = mdc(a, m): Teorema i) A congruˆencia aX ≡ b mod m tem solu¸c˜ao, se, e somente se, d|b; ii) Se X0 for uma solu¸c˜ao de Qm, ent˜ao X tamb´em ´e uma solu¸c˜ao se, e somente se, X0 ≡ X mod m em que m = m/d. Em particular, Qm possui d solu¸c˜oes n˜ao congruentes m´odulo m. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 4 / 33
  • 5. Condi¸c˜ao de Existˆencia de Solu¸c˜ao Demonstra¸c˜ao i. Assumiremos por hip´otese que ax ≡ b mod m tem solu¸c˜ao. Ent˜ao, temos: ax ≡ b mod m ax+ my = b. (2) Aplicando o lema 7.67 [1], (2) tamb´em tem solu¸c˜ao. Da´ı, d|b, e portanto, ambos lados da equa¸c˜ao abaixo: a d x + m d y = b d . Consequentemente, mdc(a, m)|b se Qm tem solu¸c˜ao. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 5 / 33
  • 6. Condi¸c˜ao de Existˆencia de Solu¸c˜ao Rec´ıproca i. Reciprocamente, Existe d tal que d = mdc(a, m), conforme: ax + my = d (3) Note que a equa¸c˜ao (3) tem solu¸c˜ao. Al´em disso, podemos expressar b = βd, β ∈ Z. Multiplicando (3) por β, temos: a(βx) + m(βy) = b aX0 + mY0 = b, em que X0 = βx. Logo, aX0 ≡ b mod m. Portanto X0 ´e uma solu¸c˜ao particular da congruˆencia Qm. Como quer´ıamos mostrar. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 6 / 33
  • 7. Classes Distintas De Solu¸c˜oes Demonstra¸c˜ao ii. Se x = X0 for uma solu¸c˜ao de Qm, ent˜ao d|b, logo: a d x + m d y = b d . Ent˜ao podemos escrever: a = αd, b = βd, m = m d Reescrevendo Qm em termos de α, β, temos: ax ≡ b mod m αdx ≡ βd mod m ⇓ (Corol´ario 7.17 [1]) αx ≡ β mod m . (4) Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 7 / 33
  • 8. Classes Distintas De Solu¸c˜oes Logo, obtemos a congruˆencia (4) que denotaremos por Qm . Note que mdc(α, m ) = 1. Consequentemente, α posssui inverso m´odulo m . Logo, Qm tˆem uma solu¸c˜ao particular da forma: X0 ≡ βα−1 mod m . Ent˜ao temos como solu¸c˜ao geral a equa¸c˜ao: x = X0 + m k, k ∈ Z. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 8 / 33
  • 9. Classes Distintas De Solu¸c˜oes Da´ı, qualquer elemento X ∈ [X0]m satisfaz Qm . Logo, X tamb´em ´e solu¸c˜ao de Qm. Temos ent˜ao garantido que: X0 ≡ X mod m . Portanto, X tamb´em ´e solu¸c˜ao de Qm se X0 ≡ X mod m . Rec´ıproca ii. Seja X0 uma solu¸c˜ao particular de Qm tal que X0 ≡ X mod m . Obviamente, [X0]m ´e solu¸c˜ao de Qm , ent˜ao X0 e X s˜ao solu¸c˜oes. Se x = X0 e x = X s˜ao solu¸c˜oes de Qm , temos que x satisfaz: αx ≡ β mod m . Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 9 / 33
  • 10. Classes Distintas De Solu¸c˜oes Se β = bd, ent˜ao o podemos aplicar o corol´ario 7.11 [1] em Qm multiplicando-a por d: dαx ≡ dβ mod dm ⇓ ax ≡ b mod m em que a = a d e m = m d. Logo, a solu¸c˜ao geral de Qm ´e dada por: x ≡ X mod m, X ∈ [X0]m . (5) Portanto, se X ´e solu¸c˜ao de Qm, ent˜ao X0 tamb´em ´e. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 10 / 33
  • 11. N´umero De Solu¸c˜oes N˜ao Congruentes M´odulo m Verifica¸c˜ao. Seja X0 uma solu¸c˜ao particular de Qm e Qm na forma reduzida, 0 ≤ X0 < (m − 1). Seja Rm e Rm , respectivamente, os conjuntos das classes de Zm e Zm . Fazendo u = m − 1 e espandindo ambos conjuntos, temos: Rm = {0, 1, . . . , X0, . . . , u, . . . , 2u, . . . , 3u, . . . , du} Rm = {0, 1, . . . , X0, . . . , u} Temos que a congruˆencia Qm (4) possui solu¸c˜ao da forma: x = X0 + m k, k ∈ Z. Isto ´e, [X0]m ∈ Rm ´e solu¸c˜ao ´unica de Qm . Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 11 / 33
  • 12. N´umero De Solu¸c˜oes N˜ao Congruentes M´odulo m Da´ı, a solu¸c˜ao geral de Qm (5) pode ser escrita da seguinte forma: x = X + mt t ∈ Z em que X ∈ [X0]m . Note que: 1 O conjunto Rm possui m = m d classes distintas. 2 As solu¸c˜oes X n˜ao s˜ao congruentes m´odulo m, pois: [X0]m = [X0]m . 3 Cada solu¸c˜ao X ´e um representante de alguma classe de Zm. 4 Rm possui exatamente d elementos congruentes a X0 m´odulo m , a saber, cada um deles est´a entre cada m´ultiplo de (m − 1). Conclu´ımos, portanto, que Qm possui d solu¸c˜oes distintas m´odulo m. Como quer´ıamos mostrar. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 12 / 33
  • 13. Parte II - Sistemas De Congruˆencias Sistemas de Congruˆencias Considere o sistema de congruˆencias abaixo:    a1x ≡ b1 mod m1 a2x ≡ b2 mod m2 ... ... akx ≡ bk mod mk Vamos assumir que: 1 O mdc(ai, mi) = 1, para todo i = 1, 2, ..., k; 2 O mdc(mi, mj) = 1, para todo i = j. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 13 / 33
  • 14. Defini¸c˜oes Importantes Defini¸c˜oes: M = k i=1 = mmc(m1, m2, ..., mk) Ni = M mi = m1m2...mi...mk mi Note que: a) mi|Nj para todo i = j. Consequentemente, Nj ≡ 0 mod mi; b) O mdc(Ni, mi) = 1. Portanto, Ni posssui inverso m´odulo mi, ou seja: NiLi ≡ 1 mi, em que Li = N−1 i . (6) Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 14 / 33
  • 15. Teorema Chinˆes Dos Restos Teorema Suponhamos as hip´oteses (1) e (2), ent˜ao para quaisquer das congruˆencias dadas nos seus respectivos m´odulos m1, ..., mk, o sistema possui solu¸c˜ao da forma: X0 = k i=1 ciNiLi em que: ci ´e uma solu¸c˜ao de aix ≡ bi mod mi. NiN−1 i ≡ 1 mod mi possui solu¸c˜ao N−1 i = Li. Al´em disso, X ´e uma outra solu¸c˜ao do sistema se, e somente se, X ≡ X mod M. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 15 / 33
  • 16. Teorema Chinˆes Dos Restos - Demonstra¸c˜ao Demonstra¸c˜ao. Vamos assumir que X0 = k j=1 cjNjLj ´e uma solu¸c˜ao particular do sistema de congruˆencias dado. Isto ´e, para todo i = 1, ..., k, aiX0 ≡ bi mod mi. Ent˜ao, temos: aiX0 = ai( k j=1 cjNjLj) = k j=1 aicjNjLj. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 16 / 33
  • 17. Teorema Chinˆes Dos Restos - Demonstra¸c˜ao Note que, se i = j, Nj(aicjLj) ´e m´ultiplo de mi, pois mi|Ni. Logo: aicjNjLj ≡ 0 mod mi. Portanto, k j=1 aicjNjLj = aiciNiLi. (7) Da´ı, reescrevemos a equivalˆencia da seguinte forma: aiX0 ≡ aiciNiLi mod mi ≡ aici mod mi (8) aplicando NiLi ≡ 1 mod mi em (8). Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 17 / 33
  • 18. Teorema Chinˆes Dos Restos - Demonstra¸c˜ao Observe que: aici ≡ aiX0 mod mi aiX0 ≡ bi mod mi ⇓ (Transitividade) aici ≡ bi mod mi E, portanto, aiX0 ≡ bi mod mi. Como quer´ıamos provar. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 18 / 33
  • 19. Solu¸c˜oes Equivalentes Mod M Seja X uma outra solu¸c˜ao do sistema. Ent˜ao pra todo i = 1, ..., k: aiX0 ≡ bi mod mi e aiX ≡ bi mod mi ⇓ (Transitividade) aiX0 ≡ aiX mod mi ⇓ (Proposi¸c˜ao 7.16 [1]) X0 ≡ X mod mi ⇓ (Proposi¸c˜ao 7.18, ii [1]) X0 ≡ X mod mmc(m1, ..., mk). Da´ı, conclu´ımos que X ≡ X0 mod M. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 19 / 33
  • 20. Solu¸c˜oes Equivalentes Mod M Rec´ıproca Reciprocamente, temos: X ≡ X0 mod M ⇓ (Proposi¸c˜ao 7.18, i [1]) X ≡ X0 mod mi ⇓ aiX ≡ aiX0 mod mi ⇓ (X0 satisfaz a congruˆencia i) aiX ≡ bi mod mi Portanto, conclu´ımos que X tamb´em ´e uma solu¸c˜ao do sistema. Como quer´ıamos provar. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 20 / 33
  • 21. M´etodo Iterativo Para Congruˆencias Lineares Sistemas de congruˆencias da forma x = bi mod mi Como pudemos verificar, devemos considerar a h´ıpotese de que o mdc(mi, mj) = 1, para todo i = 1, ..., k e i = j, no m´etodo apresentado. Al´em disso, ´e dif´ıcil de implement´a-lo computacionalmente. Mostraremos uma t´ecnica alternativa que facilita a implementa¸c˜ao em computadores e que n˜ao depende que o mdc(mi, mj) = 1, i = j. O mdc(ai, mi)|bi, para i ∈ {1, ..., k}, ´e uma condi¸c˜ao necess´aria e suficiente para que uma congruˆencia tenha uma solu¸c˜ao individual. Em contrapartida, n˜ao necessariamente, o sistema tem solu¸c˜ao se mdc(ai, mi)|bi [3]. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 21 / 33
  • 22. Isolando A Ic´onita X Do Sistema Considere o sistema de congruˆencias lineares em que di = mdc(ai, mi) e di|bi: {aix ≡ bi mod mi, i = 1, ..., k. Vimos que um passo crucial foi dividir cada equa¸c˜ao de ordem i pelo seu respectivo di. E, consequentemente, reca´ımos numa nova congruˆencia da forma: {αix ≡ βi mod mi, i = 1, ..., k, cujo mdc(αi, mi) = 1. Sabemos que αi possui inverso m´odulo mi. Da´ı, mutiplicando ambos lados de cada equa¸c˜ao pelo seu inverso, obtemos: {x ≡ βiα−1 i mod mi, i = 1, ..., k. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 22 / 33
  • 23. Solucionando As Duas Primeiras Congruˆencias Da´ı, podemos considerar um novo sistema da forma: {x ≡ bi mod mi, i = 1, ..., k. Resolvemos este sistema solucionando-o par a par. Substitu´ımos, ent˜ao, o par original pela nova congruˆencia encontrada. O processo se repete sucessivamente at´e a ´ultima equa¸c˜ao. A princ´ıpio, vamos considerar as duas primeiras equa¸c˜oes do sistema dado: x ≡ b1 mod m1 (a) x ≡ b2 mod m2 (b) Sabemos que a solu¸c˜ao da equa¸c˜ao (a) acima ´e da forma: x = b1 + m1k, k ∈ Z. (9) Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 23 / 33
  • 24. Solucionando As Duas Primeiras Congruˆencias Da´ı, podemos levar o lado direito de (9) para a equa¸c˜ao (b): x ≡ b2 mod m2 b1 + m1k ≡ b2 mod m2 ⇓ m1k ≡ b2 − b1 mod m2 ⇓ k ≡ (b2 − b1)m−1 1 mod m2, em que m−1 1 ´e o inverso de m1 m´odulo m2. Portanto, k = (b2 − b1)m−1 1 + m2t em que t ∈ Z ´e um valor arbitr´ario. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 24 / 33
  • 25. Solucionando As Duas Primeiras Congruˆencias Uma vez obtido o valor de k, podemos substituir na equa¸c˜ao (9): x = b1 + m1k x = b1 + m1[(b2 − b1)m−1 1 + m2t] Calculado o valor de x em termos de t ∈ Z, obtemos uma congruˆencia X mod mmc(m1, m2), solu¸c˜ao comum do par. Esta mesma deve substituir as duas primeiras congruˆencias do sistema. Obt´em-se, portanto, um sistema equivalente com uma equa¸c˜ao a menos. Repetimos ent˜ao este processo at´e, finalmente, obter a solu¸c˜ao geral do sistema. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 25 / 33
  • 26. Exemplo De Sistema Com Trˆes Congruˆencias Exemplo. Considere o sistema de congruˆencias abaixo: i)    3x ≡ 5 mod 4 2x ≡ 3 mod 5 4x ≡ 2 mod 3 ⇓ ii)    x ≡ 5 · 3 mod 4 x ≡ 3 · 3 mod 5 x ≡ 2 · 4 mod 3 ⇓ ⇓ iii)    x ≡ 15 mod 4 x ≡ 9 mod 5 x ≡ 8 mod 3 ⇓ iv)    x ≡ 3 mod 4 x ≡ 4 mod 5 x ≡ 2 mod 3 Note que os valores destacados em vermelho s˜ao os inversos m´odulo mi dos seus respectivos ai, isto ´e, a1 = 3, a2 = 2, a3 = 4. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 26 / 33
  • 27. Solu¸c˜ao Do Primeiro Par De Congruˆencias Separando as duas primeiras congruˆencias do sistema (iv), temos: iv)    x ≡ 3 mod 4 x ≡ 4 mod 5 x ≡ 2 mod 3 x ≡ 3 mod 4 (a) x ≡ 4 mod 5 (b) Da congruˆencia (a), temos que: x = 3 + 4k, (10) em que k ∈ Z ´e um valor arbitr´ario. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 27 / 33
  • 28. Solu¸c˜ao Do Primeiro Par De Congruˆencias Levamos, ent˜ao, esta express˜ao para a congruˆencia (b): x ≡ 4 mod 5 3 + 4k ≡ 4 mod 5 ⇓ 4k ≡ 1 mod 5 ⇓ k ≡ 1 · 4 mod 5 ⇓ k ≡ 4 mod 5. Logo, obtemos k = 4 + 5t, onde t ´e um inteiro arbitr´ario. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 28 / 33
  • 29. Substituindo A Nova Congruˆencia No Sistema Substituindo k na equa¸c˜ao (10), obtemos: x = 3 + 4k x = 3 + 4(4 + 5t) x = 19 + 20t. Da´ı, obtemos uma nova congruˆencia: X ≡ 19 mod 20. (11) Substituindo o primeiro par por X no sistema (iv), obtemos um sistema equivalente: iv)    x ≡ 3 mod 4 x ≡ 4 mod 5 x ≡ 2 mod 3 =⇒ x ≡ 19 mod 20 (a) x ≡ 2 mod 3 (b) Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 29 / 33
  • 30. Solu¸c˜ao Do Segundo Par De Congruˆencias Obtendo x da congruˆencia (a) deste sistema, temos: x = 19 + 20k (12) Substituindo (12) na congruˆencia (b): x ≡ 2 mod 3 19 + 20k ≡ 2 mod 3 ⇓ 20k ≡ −17 mod 3 ⇓ k ≡ 1 · 2 mod 3 ⇓ k ≡ 2 mod 3. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 30 / 33
  • 31. Solu¸c˜ao Final Do Sistema Portanto, k = 2 + 3t e, substituindo na equa¸c˜ao (12), temos: x = 19 + 20k x = 19 + 20(2 + 3t) x = 59 + 60t Portanto a solu¸c˜ao geral do sistema ´e x = 59 + 60t. Em outras palavras, x ≡ 59 mod 60. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 31 / 33
  • 32. Coment´arios Coment´arios: O exemplo resolvido ´e o mesmo encontrado em 7.70 [1] cujo mesmo foi resolvido pelo m´etodo anterior. Vale ressaltar que a solu¸c˜ao que encontramos est´a na sua forma reduzida, por´em ´e congruente com a solu¸c˜ao dos autores de [1], como esper´avamos. Contudo, em aplica¸c˜oes, deve-se considerar qual solu¸c˜ao particular vai refletir corretamente a interpleta¸c˜ao da forma aplicada. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 32 / 33
  • 33. Bibliografia Bibliografia. VIDIGAL A. e outros, (2009), Fundamentos de ´Algebra, Universidade Federal de Minas Gerais. COUTINHO S.C., (2011), N´umeros Inteiros e Criptografia RSA, Instituto de Matem´atica Pura e Aplicada. SOMBRIO G. S., (2001), Teorema Chinˆes De Restos e Teorema Da Aproxima¸c˜ao, Universidade Federal de Santa Catarina. https://repositorio.ufsc.br/bitstream/handle/123456789/ 81876/179152.pdf. Santos A. E. aleniac@ufmg.br (UFMG ICEx)Teorema Chinˆes Dos Restos 14 de dezembro de 2015 33 / 33