Teorema chinês do resto e aplicações

Andreza C. Beezão Moreira

Universidade Federal de Lavras

GEX252- Matemática Discreta

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 1 / 19
 Conteúdo

Nesta aula, estudaremos:

Sistemas de congruências lineares;
Como encontrar soluções destes sistemas;
Teorema Chinês do Resto.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 2 / 19
 Relembrando: fim da última aula

** O que vimos **
Como resolver uma equação linear do tipo a.x ≡ b( mod n), em que
n ∈ Z+ .

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 3 / 19
 Relembrando: fim da última aula

** O que vimos **
Como resolver uma equação linear do tipo a.x ≡ b( mod n), em que
n ∈ Z+ .
I Se a possui inverso α em Zn , multiplicamos este α em ambos os lados
da equação;
I Assim, isolamos o x → x = α.b( mod n);
I Se n é primo e a 6≡ 0( mod n), então podemos afirmar que a equação
terá solução.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 3 / 19
 Relembrando: fim da última aula

** O que vimos **
Como resolver uma equação linear do tipo a.x ≡ b( mod n), em que
n ∈ Z+ .
I Se a possui inverso α em Zn , multiplicamos este α em ambos os lados
da equação;
I Assim, isolamos o x → x = α.b( mod n);
I Se n é primo e a 6≡ 0( mod n), então podemos afirmar que a equação
terá solução.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 3 / 19
 Um novo passo!
Um novo objetivo!
Nesta aula, buscaremos a(s) solução(ões) de um sistema de equações de
congruência, como abaixo:

n ≡ 1( mod 3)
n ≡ 2( mod 5)

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 4 / 19
 Um novo passo!
Um novo objetivo!
Nesta aula, buscaremos a(s) solução(ões) de um sistema de equações de
congruência, como abaixo:

n ≡ 1( mod 3)
n ≡ 2( mod 5)

Passo 1: entender o problema que temos em mãos!

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 4 / 19
 Um novo passo!
Um novo objetivo!
Nesta aula, buscaremos a(s) solução(ões) de um sistema de equações de
congruência, como abaixo:

n ≡ 1( mod 3)
n ≡ 2( mod 5)

Passo 1: entender o problema que temos em mãos!

Pergunta: O que devemos fazer?
Possível resposta: Encontrar um número inteiro n que satisfaça,
simultaneamente, estas duas congruências com módulos distintos.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 4 / 19
 Um novo passo!
Um novo objetivo!
Nesta aula, buscaremos a(s) solução(ões) de um sistema de equações de
congruência, como abaixo:

n ≡ 1( mod 3)
n ≡ 2( mod 5)

Passo 1: entender o problema que temos em mãos!

Pergunta: O que devemos fazer?
Possível resposta: Encontrar um número inteiro n que satisfaça,
simultaneamente, estas duas congruências com módulos distintos.

Como faremos isso?

Experimentação é possível, em casos menores;
Teorema Chinês do Resto.
Andreza C. Beezão Moreira (Universidade Federal de Lavras
short GEX252-
title Matemática Discreta) 4 / 19
 Sistemas de congruências lineares

Contexto histórico do Teorema Chinês do Resto

Inventado, independentemente, por chineses e gregos para resolver
problemas de Astronomia.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 5 / 19
 Sistemas de congruências lineares

Contexto histórico do Teorema Chinês do Resto

Inventado, independentemente, por chineses e gregos para resolver
problemas de Astronomia.
(Adaptado de [1]) Três satélites passarão sobre Lavras esta noite. O
primeiro à 1 h da madrugada, o segundo às 4h e o terceiro às 8h da
manhã. Cada satélite tem um período diferente. O primeiro leva 13
horas para completar uma volta em torno da Terra, o segundo 15
horas e o terceiro 19 horas. Quantas horas decorrerão, a partir da
meia-noite, até que os três satélites passem ao mesmo tempo
sobre Lavras?

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 5 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
Chamemos de x a solução deste problema, ou seja, o número de horas,
contadas a partir da meia-noite de hoje, quando os três satélites passarão
juntos sobre Lavras.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 6 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
Chamemos de x a solução deste problema, ou seja, o número de horas,
contadas a partir da meia-noite de hoje, quando os três satélites passarão
juntos sobre Lavras.
Pensemos no primeiro satélite: x = 1 + 13.t, para algum t ∈ Z, que é
equivalente à equação x ≡ 1( mod 13).

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 6 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
Chamemos de x a solução deste problema, ou seja, o número de horas,
contadas a partir da meia-noite de hoje, quando os três satélites passarão
juntos sobre Lavras.
Pensemos no primeiro satélite: x = 1 + 13.t, para algum t ∈ Z, que é
equivalente à equação x ≡ 1( mod 13).
De forma similar para os outros satélites, obtemos: x ≡ 4( mod 15) e
x ≡ 8( mod 19).

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 6 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
Chamemos de x a solução deste problema, ou seja, o número de horas,
contadas a partir da meia-noite de hoje, quando os três satélites passarão
juntos sobre Lavras.
Pensemos no primeiro satélite: x = 1 + 13.t, para algum t ∈ Z, que é
equivalente à equação x ≡ 1( mod 13).
De forma similar para os outros satélites, obtemos: x ≡ 4( mod 15) e
x ≡ 8( mod 19).
Então, x deve satisfazer, simultaneamente, todas as equações do
sistema:

 x ≡ 1( mod 13)
x ≡ 4( mod 15)
x ≡ 8( mod 19)


Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 6 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
Não podemos apenas somar/subtrair as equações entre si, porque
estão em contextos diferentes ( mod 13, mod 15e mod 19);
Uma estratégia: quando necessário, usar a “tradução” destas
congruências em identidades de inteiros.
I Da equação 1, temos x = 1 + 13t que, substituído na equação 2, nos
leva às seguintes conclusões:

1 + 13t ≡ 4( mod 15) ⇒ 13t ≡ 3( mod 15) ⇒ t ≡ 6( mod 15),

pois 7 é inverso de 13 no módulo 15.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 7 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
Não podemos apenas somar/subtrair as equações entre si, porque
estão em contextos diferentes ( mod 13, mod 15e mod 19);
Uma estratégia: quando necessário, usar a “tradução” destas
congruências em identidades de inteiros.
I Da equação 1, temos x = 1 + 13t que, substituído na equação 2, nos
leva às seguintes conclusões:

1 + 13t ≡ 4( mod 15) ⇒ 13t ≡ 3( mod 15) ⇒ t ≡ 6( mod 15),

pois 7 é inverso de 13 no módulo 15.

Daí, segue que t é da forma t = 6 + 15u, para algum u ∈ Z. Assim:

x = 1 + 13t = 1 + 13(6 + 15u) = 79 + 195u.

[Observe: 79 + 195u satisfaz as duas primeiras equações]

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 7 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
I Substituindo x = 79 + 195u na equação 3, temos:

79 + 195u ≡ 8( mod 19) ⇒ 195u ≡ −71( mod 19) ⇒

195u ≡ 5( mod 19) ⇒ 39u ≡ 1( mod 19) ⇒ u ≡ 1( mod 19).

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 8 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
I Substituindo x = 79 + 195u na equação 3, temos:

79 + 195u ≡ 8( mod 19) ⇒ 195u ≡ −71( mod 19) ⇒

195u ≡ 5( mod 19) ⇒ 39u ≡ 1( mod 19) ⇒ u ≡ 1( mod 19).

Reescrevendo a última expressão em termos de inteiros, obtemos:

u = 1 + 19v , v ∈ Z ⇒

x = 79 + 195u = 79 + 195(1 + 19v ) = 274 + 3705v .

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 8 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
I Substituindo x = 79 + 195u na equação 3, temos:

79 + 195u ≡ 8( mod 19) ⇒ 195u ≡ −71( mod 19) ⇒

195u ≡ 5( mod 19) ⇒ 39u ≡ 1( mod 19) ⇒ u ≡ 1( mod 19).

Reescrevendo a última expressão em termos de inteiros, obtemos:

u = 1 + 19v , v ∈ Z ⇒

x = 79 + 195u = 79 + 195(1 + 19v ) = 274 + 3705v .

Isso nos diz que: os três satélites passarão juntos, pela primeira vez,
274 horas após a meia noite de hoje (11 dias e 10 horas).
Além disso: se reencontrarão, de forma cíclica, após 3705 horas, isto
é, 154 dias e 9 horas!!

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 8 / 19
 Sistemas de congruências lineares
Exemplo - Astronomia (continuação)
I Substituindo x = 79 + 195u na equação 3, temos:

79 + 195u ≡ 8( mod 19) ⇒ 195u ≡ −71( mod 19) ⇒

195u ≡ 5( mod 19) ⇒ 39u ≡ 1( mod 19) ⇒ u ≡ 1( mod 19).

Reescrevendo a última expressão em termos de inteiros, obtemos:

u = 1 + 19v , v ∈ Z ⇒

x = 79 + 195u = 79 + 195(1 + 19v ) = 274 + 3705v .

Isso nos diz que: os três satélites passarão juntos, pela primeira vez,
274 horas após a meia noite de hoje (11 dias e 10 horas).
Além disso: se reencontrarão, de forma cíclica, após 3705 horas, isto
é, 154 dias e 9 horas!!

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 8 / 19
 Sistemas de congruências lineares

Exercício
Encontre o menor número inteiro que é solução do sistema de equações de
congruência

n ≡ 1( mod 3)
n ≡ 2( mod 5)
enunciado no início da aula.
[Resposta: n = 7.]

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 9 / 19
 Sistemas de congruências lineares
Observações gerais
Percebemos, através do exemplo anterior, que para solucionarmos sistemas
com três ou mais equações de congruência precisaremos resolver vários
sistemas de apenas duas equações. Por isso, começaremos estudando o
teorema para este caso.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 10 / 19
 Sistemas de congruências lineares
Observações gerais
Percebemos, através do exemplo anterior, que para solucionarmos sistemas
com três ou mais equações de congruência precisaremos resolver vários
sistemas de apenas duas equações. Por isso, começaremos estudando o
teorema para este caso.

Teorema Chinês do Resto

Sejam m e n inteiros positivos, primos entre si. O sistema

x ≡ a( mod m)
x ≡ b( mod n)
sempre possui infinitas soluções em Z, que equivalem a uma única solução
em Zm.n .
Ideia da demonstração: lousa.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 10 / 19
 Teorema Chinês do Resto

A fórmula da solução
O sistema

x ≡ a( mod m)
x ≡ b( mod n)
tem solução

x = a.β.n + m.n.z + m.α.b,

em que a, b, n, m são dados, α é o inverso de m em Zn , β é tal que

1 − m.α = β.n e z ∈ Z varia.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 11 / 19
 Teorema Chinês do Resto

Exemplo
Para aplicarmos a fórmula acima no sistema

n ≡ 1( mod 3)
n ≡ 2( mod 5),
tomamos a = 1, b = 2, m = 3, n = 5, α = 2, β = −1 e z ∈ Z variável.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 12 / 19
 Teorema Chinês do Resto

Exemplo
Para aplicarmos a fórmula acima no sistema

n ≡ 1( mod 3)
n ≡ 2( mod 5),
tomamos a = 1, b = 2, m = 3, n = 5, α = 2, β = −1 e z ∈ Z variável.
Obtemos, então, n = 7 + 15z, que significa que o menor n satisfazendo o
sistema é 7 e que há outras infinitas soluções, somando 15 a partir de 7 :
{7, 22, 37, 52, . . .}.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 12 / 19
 Teorema Chinês do Resto
Agora uma versão do teorema para diversas equações:
Teorema Chinês do Resto - Versão Estendida
Sejam n1 , n2 , . . . , nk inteiros positivos dois a dois primos entre si. Então
o sistema


 x ≡ a1 ( mod n1 )
 x ≡ a2 ( mod n2 )

..


 .
x ≡ ak ( mod nk )


possui uma única solução em Zn1 .n2 ....nk .

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 13 / 19
 Teorema Chinês do Resto
Agora uma versão do teorema para diversas equações:
Teorema Chinês do Resto - Versão Estendida
Sejam n1 , n2 , . . . , nk inteiros positivos dois a dois primos entre si. Então
o sistema


 x ≡ a1 ( mod n1 )
 x ≡ a2 ( mod n2 )

..


 .
x ≡ ak ( mod nk )


possui uma única solução em Zn1 .n2 ....nk .

Paralelo com o exemplo da Astronomia

Volte nos slides e perceba que realmente o sistema possui infinitas soluções
(os satélites se encontrarão infinitas vezes), mas elas são congruentes
módulo n1 .n2 .n3 = 13.15.19 = 3705.
Andreza C. Beezão Moreira (Universidade Federal de Lavras
short GEX252-
title Matemática Discreta) 13 / 19
 Sistemas de congruências lineares

E quando os módulos não são primos entre si???

Através do Teorema Chinês do Resto, não podemos garantir que os
sistemas abaixo tenham solução!

x ≡ 1( mod 2)
x ≡ 3( mod 4)

x ≡ 2( mod 4)
x ≡ 3( mod 6)

As conclusões sobre existência ou não de soluções virão da manipulação

das equações.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 14 / 19
 Sistemas de congruências lineares
Sistema 1, slide anterior
Como x ≡ 1( mod 2), então x é ímpar e pode ser escrito como
x = 2k + 1, para algum k ∈ Z. Substituindo na segunda equação do
sistema, obtemos:

2k + 1 ≡ 3( mod 4) ⇒ 2k ≡ 2( mod 4) ⇒

2k − 2 = 4q, q ∈ Z ⇒ k − 1 = 2q ⇒ k ≡ 1( mod 2).

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 15 / 19
 Sistemas de congruências lineares
Sistema 1, slide anterior
Como x ≡ 1( mod 2), então x é ímpar e pode ser escrito como
x = 2k + 1, para algum k ∈ Z. Substituindo na segunda equação do
sistema, obtemos:

2k + 1 ≡ 3( mod 4) ⇒ 2k ≡ 2( mod 4) ⇒

2k − 2 = 4q, q ∈ Z ⇒ k − 1 = 2q ⇒ k ≡ 1( mod 2).

Se tomarmos k = 3, temos a solução x = 2k + 1 = 2.3 + 1 = 7, enquanto
que k = 5 gera a solução x = 11. Logo, o sistema tem infinitas soluções.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 15 / 19
 Sistemas de congruências lineares
Sistema 1, slide anterior
Como x ≡ 1( mod 2), então x é ímpar e pode ser escrito como
x = 2k + 1, para algum k ∈ Z. Substituindo na segunda equação do
sistema, obtemos:

2k + 1 ≡ 3( mod 4) ⇒ 2k ≡ 2( mod 4) ⇒

2k − 2 = 4q, q ∈ Z ⇒ k − 1 = 2q ⇒ k ≡ 1( mod 2).

Se tomarmos k = 3, temos a solução x = 2k + 1 = 2.3 + 1 = 7, enquanto
que k = 5 gera a solução x = 11. Logo, o sistema tem infinitas soluções.

Sistema 2, slide anterior

Exercício: Conclua que este sistema não possui solução.
Dica: Verifique que x deve ser ímpar; chegue em uma expressão do tipo
2k + 4q = 1, para k e q inteiros. Não há k e q que satisfaçam essa
expressão, pois mdc(4, 2) = 2 6= 1.
Andreza C. Beezão Moreira (Universidade Federal de Lavras
short GEX252-
title Matemática Discreta) 15 / 19
 Teorema Chinês do Resto - Tabela
Vejamos através de um exemplo...
O chefe de um grupo de escoteiros reuniu 2000 participantes para
trabalhar em uma campanha pelo país. Terminada a campanha, o chefe
reuniu os escoteiros que a finalizaram, a fim de verificar as desistências.
Quando pediu que os escoteiros formassem filas de 7 em 7, verificou que
sobraram 5 pessoas. Em seguida, alinhou-os de 9 em 9 e verificou que
sobraram 4. Por último, pediu que eles se alinhassem de 10 em 10 e
percebeu que sobrou apenas 1 escoteiro.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 16 / 19
 Teorema Chinês do Resto - Tabela
Vejamos através de um exemplo...
O chefe de um grupo de escoteiros reuniu 2000 participantes para
trabalhar em uma campanha pelo país. Terminada a campanha, o chefe
reuniu os escoteiros que a finalizaram, a fim de verificar as desistências.
Quando pediu que os escoteiros formassem filas de 7 em 7, verificou que
sobraram 5 pessoas. Em seguida, alinhou-os de 9 em 9 e verificou que
sobraram 4. Por último, pediu que eles se alinhassem de 10 em 10 e
percebeu que sobrou apenas 1 escoteiro.
Sabendo que na cerimônia de agradecimento (alguns dias depois da reunião
de conferência) havia 1500 escoteiros presentes, determine quantos, dos
2000 participantes iniciais, trabalharam até a conclusão da campanha.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 16 / 19
 Teorema Chinês do Resto - Tabela
Resolva o problema de 2 formas possíveis:
1 Através da manipulação das equações [treino das aulas anteriores];
2 Preenchimento da tabela abaixo, em que:
I N é o número procurado;
I A é a coluna dos restos;
I M é o produto dos módulos distintos do módulo da linha atual;
I M 0 é a coluna das classes de equivalência de cada um dos elementos da
terceira coluna;
I (M 0 )−1 é a coluna das classes inversas de cada elemento da coluna M 0
(respeitando o módulo referente a cada linha) e
I A.M.(M 0 )−1 é o produto dos valores de A, M e (M 0 )−1 .

Figura:
Andreza C. Beezão Moreira (Universidade Federal de Lavras
short GEX252-
title Matemática Discreta) 17 / 19
 Teorema Chinês do Resto - Tabela

Continuação da resolução por tabela

A resposta para o problema será dada em ( mod 7.9.10) = ( mod 630) e
somando-se os resultados da sexta coluna, ou seja:

N ≡ 4261( mod 630) ⇒ N ≡ 481( mod 630) ⇒ N = 481+630k, k ∈ Z.

Portanto, como 1500 estavam na cerimônia de agradecimento, concluímos

que N = 1741 escoteiros concluíram a campanha.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 18 / 19
 Bibliografia e extras

1 Números inteiros e Criptografia RSA, de Severino Collier Coutinho,

IMPA, 2003.
2 Criptografia, Programa de Iniciação Científica da OBMEP.
3 O Teorema Chinês dos Restos, de Antonio Luıs de Souto Filho,
PROFMAT, UFMA, 2015.
4 Teorema do Resto Chinês, de Dario Silva Nascimento, Felipe Ferreira,
Marcel Bento de Oliveira, UNICAMP, 2016.

Andreza C. Beezão Moreira (Universidade Federal de Lavras

short GEX252-
title Matemática Discreta) 19 / 19