Você está na página 1de 5

TEORIA DE CONGRUNCIAS

Tssia de Melo Borges - (UFTM) - tassia_borges@hotmail.com1

Resumo: A teoria de congruncia, introduzida por Gauss em 1801, trata-se da realizao de uma aritmtica
com restos da diviso euclidiana por um nmero fixado, tornando-se muito til na resoluo questes de Teoria dos Nmeros. Dentre os vrios resultados desta teoria, daremos destaque trs importantes teoremas: o Pequeno Teorema de Fermat, o Teorema de Euler e o Teorema Chins dos Restos, cujo nome dado ao fato deste resultado j ser conhecido, na antiguidade, pelos matemticos chineses. Este trabalho parte de um projeto de iniciao cientfica que estuda os conceitos da Criptografia, a qual a teoria de congruncias fundamental para a compreenso e realizao da mesma.

Palavras-chave: Congruncia, Fermat, Euler, Chins.

Introduo

A teoria dos nmeros a parte da matemtica que lida com os nmeros e as relaes entre eles e suas propriedades. Por muito tempo ela ficou conhecida como a parte mais pura da matemtica, porm sem serventia na vida prtica. Uma das noes mais importantes da teoria de nmeros a teoria de congruncias, que foi introduzida por Gauss em um trabalho publicado em 1801 intitulado por Disquisitiones Arithmeticae, e que aborda sobre a realizao de uma aritmtica com restos da diviso euclidiana por um nmero fixado. Desta teoria, temos vrios resultados relevantes, com destaque para os Teoremas de Euler e Fermat e o Teorema Chins dos Restos, as quais sero objetos de estudos deste trabalho.

Objetivos

Este trabalho tem como objetivo apresentar alguns conceitos e resultados da teoria de congruncias e mostrar que esta teoria pode ser til na resoluo de problemas que raramente podem ser resolvidos com procedimento geral ou por frmulas quaisquer.

Congruncia

Rafael Peixoto - (UFTM) - Professor Orientador - rafpeixoto@hotmail.com

Primeiramente necessrio compreender a seguinte definio: Se a deixa resto x na diviso por b, ento a x (mod b). Por exemplo, 7 15 (mod 8) e 14 29 (mod 5). Entendido isto iremos passar para outras definies. Se a e b so inteiros dizemos que a congruente a b mdulo m (m > 0) se m | (a b).

Denotamos isto por a b (mod m). Se m


b

(a - b) dizemos que a incongruente a b

mdulo m e denotamos a

(mod m). 11 e 11 = 13 - 2 temos que 13 2

Exemplo: 13 37 (mod 4), pois 4 | (13 - 37). Como 9 (mod 9).

Se a e b so inteiros, temos que a b (mod m) se, e somente se, existir um inteiro k tal que a = b + k m . Vale tambm as seguintes proposies: Se a, b, m e d so inteiros, m > 0:
a

a (mod m)

Se a b (mod m), ento b a (mod m) Se a b (mod m) e b d (mod m), ento a d (mod m) Alguns teoremas de congruncia vlidos: Se a , b , c , d e m so inteiros tais que
a

b (mod m) e c d (mod m)
+ c b + c (mod m)

a c ac a a

(mod m)

b c (mod m)

+ c b + d (mod m) - c b - d (mod m)

ac

b d (mod m)

Se a , b , k e m so inteiros com k > 0 e a b (mod m), ento ak bk (mod m). Uma congruncia dita linear, quando temos uma equao da forma a x b (mod
m),

onde x uma incgnita. Verificamos que se x0 uma soluo, ento a x0 b (mod se x 1 x0 (mod m), ento x 1 tambm soluo. Isto fica claro, pois se x 1 x0 (mod ento a x 1 a x0 b (mod m). O que acabamos de verificar que se um membro de

m) e m),

uma classe de equivalncia a soluo ento todo membro desta classe tambm uma

soluo. Assim, dizemos que uma soluo x0 de a x b (mod m) nica mdulo m quando qualquer outra soluo x1 for congruente a x0 mdulo m . Encontrar solues para uma equao do tipo a x b (mod m) o mesmo que verificar a existncia de solues para uma equao diofantina linear da forma a x + my = b. Assim, temos o seguinte resultado: Se d = (a, m) e d
b

ento a equao a x + m y = b no possui nenhuma soluo

inteira. Se d | b ela possui infinitas solues e se x = x0 e y = y0 uma soluo particular, ento todas as solues so dadas por
x = x + (m / d)k
0

= y0 - (a / d)k

onde k um inteiro. Este teorema mostra quantas so as solues incongruentes (caso exista alguma) que a congruncia linear a x b (mod m) possui.

Teorema de Fermat

O teorema de Fermat, tambm conhecido como Pequeno Teorema de Fermat se enuncia como segue: Se p um primo e a um inteiro positivo, ento a p a (mod p). Alm disso, se p
a

ento

1 (mod p).

Por exemplo, para achar o resto da diviso por 17 do nmero S = 116 + 216 + 316 + ... + 8516. Soluo: Pelo Teorema de Fermat temos que { mod 17

Como 85 = 17 x 5, temos que de 1 a 85 h 5 mltiplos de 17 e 85 - 5 = 80 no mltiplos de 17 (i.e., primos com 17), logo S 80 x 1 mod 17 12 mod 17. Portanto, o resto da diviso de S por 17 12.

Teorema de Euler

Seja n um inteiro positivo. A funo de Euler, denotada por n, definida como sendo o nmero de inteiros positivos menores ou iguais a n que so relativamente primos com n. Assim, o Teorema de Euler se enuncia da seguite forma: Se m um inteiro positivo e a um inteiro com (a,m) = 1, ento
a
m)

1 (mod m).

Note que o pequeno teorema de Fermat, uma consequncia imediata do teorema de Euler, pois para m = p, temos que (p) = p - 1, j que todo nmero inteiro positivo menor que p primo com p, e assim

1 (mod p).

Teorema Chins dos Restos

O nome dado ao teorema seguinte se deve ao fato de que este resultado j era conhecido pelos antigos matemticos chineses. Se (a i , m i) = 1, (m i , m j) = 1 para i j e c i inteiro, ento o sistema
a 1x c 1 (mod m 1) a 2x c 2 (mod m 2)

. . .
a rx c
r

(mod m r)

possui soluo e a soluo nica mdulo m , onde m = m 1.m 2...m r. Exemplo: Dispomos de uma quantia de x reais menor do que 3000. Se distribuirmos essa quantia entre 11 pessoas, sobra um real; se a distribuirmos entre 12 pessoas, sobram dois reais, e se a distribuirmos entre 13 pessoas, sobram 3 reais. De quantos reais dispomos? Soluo: O nmero x de reais uma soluo do seguinte sistema de congruncias: { Com as notaes do Teorema Chins dos Restos, temos N = 11 x 12 x 13 = 1716, N1 = 12 x 13 = 156, N2 = 11 x 13 = 143 e N3 = 11 x 12 = 132. Precisamos determinar um sistema: { Utilizando a sugesto, podemos resolver o sistema:

{ que possui a soluo so da forma. x N1xy1x1 + N2xy2x2 + N3xy3x3 = 156x6x1 + 143x11x2 + 132x7x3 = 6854 mod 1716. A menor soluo dada pelo resto da diviso de 6854 por 1716. A prxima soluo 1706 + 1716 = 3422, que ultrapassa 3000. Portanto, a soluo procurada 1706. . Assim, as solues do sistema de congruncias

Consideraes finais

A compreenso dos conceitos e resultados aqui apresentados sero de suma importncia para o estudo da Criptografia, que o objeto de estudo deste projeto de iniciao cientfica.

Referncias 1 HEFEZ, Abramo, Elementos de aritmtica, 2 edio, Rio de Janeiro, SBM, 2006. 2 SANTOS, J.P.O, Introduo a teoria de nmeros, 3 edio, Rio de Janeiro, IMPA, 2010.