Aritmetica Códigos de Barras e Outras Aplicações de Congruências PDF

UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL
CENTRO DE CINCIAS EXATAS E TECNOLOGIA

PROGRAMA DE PS-GRADUAO
MATEMTICA EM REDE NACIONAL
MESTRADO PROFISSIONAL
JOSIANE COLOMBO PEDRINI ESQUINCA
ARITMTICA: CDIGOS DE BARRAS E OUTRAS

APLICAES DE CONGRUNCIAS
CAMPO GRANDE - MS
Abril de 2013
UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL

CENTRO DE CINCIAS EXATAS E TECNOLOGIA
PROGRAMA DE PS-GRADUAO
MATEMTICA EM REDE NACIONAL
MESTRADO PROFISSIONAL
ARITMTICA: CDIGO DE BARRAS E OUTRAS

Orientadora: Prof. Dr.
Elisabete Sousa Freitas
Trabalho de Concluso de Curso apresentado ao Programa de

Ps-Graduao em Matemtica em Rede Nacional do Centro de
Cincias Exatas e Tecnologia CCET/UFMS, como parte dos
requisitos para obteno do ttulo de Mestre.
Campo Grande - MS
Abril de 2013
i
ARITMTICA: CDIGO DE BARRAS E OUTRAS

Trabalho de Concluso de Curso submetido ao Programa de Ps-Graduao em Matemtica

em Rede Nacional, Centro de Cincias Exatas e Tecnologia, da Universidade Federal de Mato
Grosso do Sul, como parte dos requisitos para obteno do ttulo de Mestre.
Aprovado pela Banca Examinadora:
Prof. Dr. Claudemir Aniz - UFMS
Dr. Elisabete Sousa Freitas - UFMS

Prof. Dr. Anamaria Gomide - UNICAMP
Prof.
Campo Grande - MS
Abril de 2013
ii
Dedico aos meus pais, Jos Antnio e Edma,

que compreenderam minha ausncia.
Agra-
deo por aceitarem minha falta, durante minha

busca por novos conhecimentos, concedendome a chance de crescer ainda mais.
iii
Epgrafe
A engenhosidade humana no pode arquitetar uma escrita secreta que a prpria engenhosidade humana no possa resolver.
Edgar Allan Poe
iv
AGRADECIMENTOS
Agradeo em primeiro lugar a Deus, por essa oportunidade e por me dar foras
nos momentos em que mais precisei.
Ao meu esposo Rogrio Esquinca, por estar sempre ao meu lado, me ajudando
em tudo o que precisasse.
Aos meus pais, que por tantas vezes deixei de v-los, por causa das obrigaes que
tinha para com este trabalho, pelo amor e por todas as oraes que zeram. Ao meu irmo,
Leandro, pelo companheirismo durante essa caminhada.
A minha professora e Orientadora, Elisabete, por toda dedicao e pacincia, por

ser para mim hoje, um exemplo de pessoa e de professora a serem seguidos.
Ao professor e coordenador do curso, Claudemir Aniz, pelo empenho e ateno

destinados aos alunos e professores do Profmat e por toda preocupao em garantir um curso
de boa qualidade.
Ao programa Profmat, pela oportunidade de crescimento prossional.
A Capes, pelo incentivo e nanciamento do curso.
A todos os colegas de turma, pelas trocas de conhecimento que zemos, principalmente a Hellen pelos dias e noites de estudo.
Aos meus colegas de trabalho, em especial, Rosimeire, Oscar, Daiane, Clener,

Mrcia, Hlio, Rosinete, Abegail e Marilene, pela compreenso, incentivo e ajuda, nos momentos em que precisei.
Enm, agradeo a todos que contriburam de alguma forma, para que esse objetivo
fosse alcanado.
Resumo
O presente trabalho tem por objetivo ser um instrumento de auxlio para o professor de matemtica da Educao Bsica, no desenvolvimento de aulas de Aritmtica. Contm algumas
aplicaes de congruncia, presentes no dia-a-dia, sendo elas: Critrio de Divisibilidade, A
Prova dos Noves, Cdigo de Barras e Sistema de Identicao ISBN. Antes das aplicaes,
foi feito um embasamento terico sobre Aritmtica Modular. As aplicaes aqui expostas no
costumam estar presentes nos atuais livros didticos da Educao Bsica. No entanto, podem ser teis para o aprendizado dos alunos, no sentido de servirem como novas ferramentas
de clculo, trazendo agilidade e simplicidade na resoluo de problemas matemticos. Alm
dessas aplicaes serem interessantes aos olhos dos alunos, a Aritmtica Modular utilizada
na soluo de diversos problemas da atualidade.
Palavras-chave:
Aritmtica. Diviso Euclidiana. Congruncia.
vi
Abstract
This paper aims to be a tool to aid the math teacher of Basic Education in developing lessons
Arithmetic. Contains some congruence applications, present in the day by day, namely: Divisibility Criterion, The Proof of Nines, Barcoding and Identication System ISBN. Before the
application was made on a theoretical basis Modular Arithmetic. The applications presented
here are usually not present in current textbooks of Basic Education. However, it may be
useful for student learning, to serve as new calculation tools, bringing speed and simplicity
in solving mathematical problems. Besides these applications are interesting in the eyes of
the students, the Modular Arithmetic is used in solving various problems of today.
Keywords:
Arithmetic. Euclidean Division. Congruence.
vii
Sumrio
1 Introduo
2 Aritmtica Modular
2.1
Um Pouco da Histria
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
Principais Conceitos e Teoremas . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1
Algoritmo da Diviso . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2
Divisibilidade
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.3
Mximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . .
14
2.2.4
Algoritmo de Euclides
. . . . . . . . . . . . . . . . . . . . . . . . . .
19
2.2.5
Nmeros Primos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
2.2.6
Congruncia Mdulo m . . . . . . . . . . . . . . . . . . . . . . . . . .
26
2.2.7
Aritmtica dos Restos
30
. . . . . . . . . . . . . . . . . . . . . . . . . .
3 Aplicaes de Congruncia Para o Ensino Bsico
34
3.1
Critrio de Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
3.2
A Prova dos Noves
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
3.3
Cdigo de Barras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
41
3.3.1
43
Entendendo as Barras
. . . . . . . . . . . . . . . . . . . . . . . . . .
viii
3.3.2
43
3.3.3
O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . .
48
3.3.4
Erros Detectveis e No Detectveis . . . . . . . . . . . . . . . . . . .
49
Sistema de Identicao ISBN . . . . . . . . . . . . . . . . . . . . . . . . . .
54
3.4.1
O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . .
55
3.4.2
3.4
Entendendo os Nmeros e as Barras no UPC e no EAN-13 . . . . . .
Deteco de Erros . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
4 CONSIDERAES FINAIS
60
ix
Captulo 1
Introduo
A Teoria dos Nmeros o ramo da matemtica que estuda propriedades dos
nmeros em geral. Ela pode ser dividida em vrios campos, sendo um deles chamado Teoria
Elementar dos Nmeros, que estuda propriedades dos nmeros inteiros.
Uma das ferramentas importantes da Teoria Elementar dos Nmeros a Aritm-
tica Modular, que envolve o estudo de congruncias no conjunto dos nmeros inteiros.
A principal motivao para a escolha do tema Aritmtica Modular para esse trabalho foi a sua pertinncia na soluo de diversos problemas atuais. Muitos desses problemas
esto relacionados ao crescente uso das tecnologias de comunicao, principalmente a internet,
e vm sendo resolvidos com o auxlio da Aritmtica Modular. Duas importantes aplicaes da
Aritmtica Modular so a Criptograa e os Cdigos de Barras. A primeira faz a codicao

de senhas ou de outros contedos que necessitem de sigilo absoluto, proporcionando-lhes a
proteo necessria. J os cdigos de barras so usados pelo mundo todo para a identicao
de produtos, o que facilita muito a organizao de estoques, alm de agilizar o processo de
compras e vendas. Alm disso, existem vrios problemas da matemtica, os quais podem ter
a sua resoluo agilizada se usarmos em sua soluo propriedades da Aritmtica Modular.
O objetivo principal deste trabalho o de servir como uma ferramenta para o

planejamento de aulas de matemtica, para professores do ensino bsico, principalmente os
do ensino mdio, que estejam dispostos a utilizar no decorrer de suas aulas, as aplicaes
de Aritmtica Modular aqui contidas, mostrando aos seus alunos que essa Aritmtica est
presente no dia-a-dia e o quanto so importantes as suas aplicaes.
A utilizao de aplicaes em forma de exemplos, principalmente na introduo

de alguns contedos matemticos, tem sempre como meta, torn-los menos abstratos e mais
interessantes para os alunos, permitindo-lhes reconhec-los como algo real, aplicvel, que
pode ser usado por eles em situaes do cotidiano, e no s dentro da sala de aula, durante
as aulas de matemtica.
esperado ainda que, a partir deste trabalho, muitos outros possam surgir, para
complet-lo e enriquec-lo ainda mais, com outras aplicaes de Aritmtica Modular que
possam ser adequadamente utilizadas nas aulas ministradas por professores de matemtica
da Educao Bsica.
Captulo 2
Aritmtica Modular
2.1 Um Pouco da Histria
Muitos problemas, tratados em Teoria dos Nmeros, tm o enunciado de fcil
interpretao, porm existem vrios problemas deste tipo em aberto, isto , que continuam
sem soluo.
Para exemplicar, pode-se citar a Conjectura de Golbach, formulada em 1746:
Todo nmero par maior do que 2 pode ser escrito como soma de dois nmeros
primos .
Um teorema famoso, conhecido como O ltimo Teorema de Fermat, enunciado

por Pierre de Fermat no sculo XVII, s foi provado em 1995.
Embora no fosse um matemtico por prosso, Pierre de Fermat (Frana, 16011665) dedicava parte do seu tempo para estudar matemtica e muito contribuiu para o
desenvolvimento da Teoria dos Nmeros.
Alm disso, Fermat tambm deu contribuies
importantes ao Clculo Diferencial e Integral e Geometria, por exemplo. Ele costumava

propor diversos desaos para matemticos da poca, os quais se empenhavam em solucionlos.
Seu ltimo desao, o "ltimo Teorema de Fermat ", logo abaixo, um exemplo de
enunciado muito fcil de se entender:
Teorema:
A equao
xn + y n = z n ,
no possui soluo inteira, no trivial, para n natural,
n 3.
Observao:
Uma soluo chamada trivial se
x y z = 0.
Fermat costumava fazer anotaes sobre seus estudos nas margens de seus livros
e o nico indcio deixado por ele sobre a prova deste teorema uma observao feita em 1637
na sua cpia do livro Aritmtica , do grego Diofanto.
Na margem do Problema 8 do Livro 2 Fermat Escreveu:

Eu descobri uma demonstrao verdadeiramente maravilhosa disto, que toda
via esta margem no sucientemente grande para cab-la [ 7 ].
A partir da, o ltimo Teorema de Fermat se tornou objeto de estudo de muitos

matemticos que tentaram por muitos anos demonstr-lo. At mesmo, prmios em dinheiro
foram oferecidos quele que conseguisse tamanha faanha. As tentativas foram muitas, mas
conseguiam no mximo provar o teorema para casos particulares.
Enm, em 1995, o ltimo Teorema de Fermat foi demonstrado pelo matemtico

ingls Andrew Wiles. Andrew utilizou como base a conjectura Taniyama-Shimura, feita pelos
matemticos Yutaka Taniyama e Goro Shimura. Andrew tinha interesse no teorema desde
os dez anos de idade, porm s aprofundou seus estudos, secretamente, sete anos antes da
descoberta. Como recompensa Andrew recebeu um prmio de $50.000 libras da Fundao
Wolfskhel.
O livro "O ltimo Teorema de Fermat " de Simon Singh, conta toda a histria do
teorema.
Mesmo aps o feito de Andrew Wiles, os matemticos tentam at hoje desvendar

o mistrio de como seria a demonstrao original de Fermat.
Apesar do ltimo Teorema de Fermat no ter aplicaes imediatas, na tentativa

de demonstr-lo foram desenvolvidas muitas ideias e ferramentas matemticas que tomaram
rumo prprio e encontraram aplicaes prticas. Uma aplicao importante o uso dessas
ferramentas em Criptograa.
2.2 Principais Conceitos e Teoremas

"Determinar quantas vezes uma parte cabe em outra ", "dividir uma quantidade
em partes iguais ", so frases muito comuns nos livros didticos de matemtica da Educao
Bsica, nos captulos que tratam sobre diviso de nmeros inteiros. Na verdade, essas frases
fazem parte de uma das principais propriedades dos nmeros inteiros, a Diviso Euclidiana.
2.2.1 Algoritmo da Diviso

Neste trabalho, considera-se os conjuntos
Z dos nmeros inteiros e N dos nmeros

naturais, com suas operaes de multiplicao () e adio (+) e a relao de ordem , com
suas propriedades j conhecidas. Alm disso, considera-se o inteiro 0 como nmero natural e
o Princpio da Boa Ordenao em N.
Observao:
Princpio da Boa Ordenao.
Todo subconjunto no vazio X do conjunto

menor elemento, isto , existe
Proposio 1.
com
a > 0,
m0 X
tal que
(Diviso Euclidiana em
N)
m0 x
dos nmeros naturais, tem um
para todo
x X.
Dados dois nmeros naturais quaisquer, a e b,
existem dois nicos nmeros naturais q e r, com
0 r < a,
tais que,
b = qa + r.
Os inteiros r e q so chamados, respectivamente, de resto e quociente da diviso

de b por a.
Demonstrao:
(Existncia)
Caso
a > b,
tem-se
q=0
r = b,
ou seja,
b = 0 a + b,
em que
0 b < a.
Caso
b = a,
tem-se
q=1
r = 0,
ou seja,
b = 1 a + 0,
em que
0 0 < a.
Caso
a b,
considere a seguinte lista de nmeros, enquanto todas as diferenas
forem nmeros naturais:
b, b a, b 2a, b 3a, ..., b na, ...
(1)
Essa lista de nmeros naturais decrescente, logo nita, portanto a lista (1) possui
um menor elemento. Chamando de r o menor elemento da lista (1), ento existir um nmero
natural q, tal que
r = b qa.
b, b a, b 2a, b 3a, ..., b qa
Como r um nmero natural,
Suponha que
(ltimo nmero natural da lista).
0 r.
Agora basta vericar que
r < a.
r a, ento existe um nmero natural c, com c < r, tal que r = c+a.
Da,
r = c + a = b qa c = b qa a c = b (q + 1)a.
Mas, se
c = b (q + 1)a,
ento c um elemento da lista (1) menor do que r. O
que contradiz a hiptese, pois r o menor elemento da lista (1), com
Portanto,
b = aq + r
com
0 r < a,
r = b qa.
o que prova a existncia de q e r.
(Unicidade)
b = qa + r e b = q a + r ,
que r r , tem-se que:
Sejam
de generalidade,
com
0r<a
0 r < a.
r r 0 r r = q a + qa = (q q )a
Suponha, sem perda
0 r r < a 0 r r < a.
Da,
0 (q q )a < a 0 q q < 1 q q = 0 q = q
Logo,
r=r.
Portanto, r e q so nicos tais que
b = qa + r,
com
0 r < a.
Exemplo 1.
(i )
a=3
Escreva a lista (1) para os seguintes valores de a e b :
b = 10.
Tem-se a seguinte sequncia:
10, 10 - 3, 10 - (2 x 3), 10 - (3 x 3);
10, 7, 4, 1
Assim,
(ii )
a = 10
10 = 3 3 + 1,
3 = 0 10 + 3,
a=2
q=3
r = 1.
b = 3.
Neste caso, como
(iii )
ou seja,
b < a,
ou seja,
tem-se:
q=0
r = 3.
b = 22.
A sequncia ser:
22, 22 1 2, 22 2 2, 22 3 2, 22 4 2, 22 5 2, 22 6 2, 22 7 2, 22 8 2, 22
9 2, 22 10 2, 22 2 11
ou seja,
22, 20, 18, 16, 14, 12, 10, 8, 6, 4, 2, 0.
Resultando em
Sempre que
22 = 11 2 + 0,
r = 0,
isto ,
o que d,
b = qa,
q = 11
r = 0.
diz-se que b mltiplo de a ou que b divisvel
por a.
Pode-se estender o algoritmo anterior para o conjunto dos nmeros inteiros, conforme mostra a seguinte proposio:
Proposio 2.
(Algoritmo da Diviso) Sejam a e b nmeros inteiros com
a > 0,
ento
existem nicos r e q, inteiros, tais que:
b = qa + r, 0 r < a,
em que r o resto e q o quociente da diviso de b por a.
Demonstrao:
(Existncia)
O caso de b ser um nmero natural j foi estudado na proposio 1. Analisa-se

agora, como cariam o quociente e o resto, para a diviso de um nmero inteiro negativo.
Suponha que
b < 0,
logo,
b > 0.
Da proposio 1, tem-se que existem nicos
0 r < a.
tais que
b = q a + r ,
em que
Da,
b = q a + r b = q a r b = q a a + a r
b = (q 1)a + a r ,
Dessa forma,
ar <a
q = (q 1), cumpre o papel do quociente, enquanto que r = a r
representa o resto da diviso de, b por a.
(Unicidade)
Devido a unicidade de q ' e de r ' provada na proposio 1, ca garantida a unicidade de q e r.
Exemplo 2.
Ana, Beto e Carlos, possuem uma conta em conjunto com saldo devedor de
550 reais. Eles querem dividir o valor igualmente e pagar essa dvida atravs de um depsito
em dinheiro no caixa eletrnico. Sabendo que no permitido colocar moedas no envelope,
qual ser o saldo da conta aps os trs terem depositado o mesmo valor, sendo este valor a
menor quantia necessria para quitar a divida?
Soluo:
Fazendo a diviso euclidiana da dvida de 550 reais, por 3, tem-se:
550 = (184) 3 + 2
Portanto, Ana, Beto e Carlos iro depositar 184 reais cada um e sobraro 2 reais
de saldo positivo na conta.
Observao:
(Denio de nmero par e de nmero mpar)
a Z.
r = 1.
Seja
que
r=0
ou
Considere a diviso euclidiana de a por 2. Tem-se que
a = 2q + r
em
Dessa forma, diz-se que um nmero natural par se deixa resto zero na diviso
por 2 e mpar se deixa resto 1 na diviso por 2. Assim,
Z = {2q; q Z} {2q + 1; q Z} = {nmeros pares} {nmeros mpares} .

u
u
Exemplo 3.
Prove que o produto de dois nmeros inteiros consecutivos sempre par.
Soluo:
n e n + 1. Tem-se que n = 2q
n = (2q + 1) (2q + 2) = 2 (2q + 1) (q + 1).
Considere dois nmeros inteiros consecutivos,
n = 2q + 1.
Donde
n (n + 1) = 2q (2q + 1)
ou
ou
Portanto, o produto de dois nmeros inteiros consecutivos sempre par.
2.2.2 Divisibilidade
Denio 1.
Sejam
a, b Z.
Diz-se que a divide b quando existe
q Z,
tal que
b = qa.
Notao:
Caso a divida b, escreve-se:

um mltiplo de a).
a|b
(l-se: a divide b, ou a um divisor de b ou b
10
Caso a no divida b, escreve-se:
Exemplo 4.
Tem-se que 5 | 35, pois 35
Observao:
Se
b=0
a | b,
a = 0,
e da
(i )
1 | a, a | a
Tem-se que 5 | 35 e
a|b
(ii ) Se
q=
b
. De fato, se
a
b = aq = aq
ento
a (q =q ) = 0,
q=q.
Assim, pela denio,
Proposio 3.
= 75.
a = 0 divide b, tem-se que b = 0 e neste caso 0 = 0 q , para todo q
Quando
Exemplo 5.
(l-se: a no divide b).
o inteiro q nas condies da denio nico e denominado
quociente de b por a, indicado por

em que
a b
0
uma indeterminao.
0
7=
35
.
5
Sejam a, b, c e d nmeros inteiros quaisquer. Ento valem:
a | 0.
b | c,
ento
a | c.
(iii ) Se
a|b
c | d,
ento
(ac) | (bd).
(iv ) Se
a|b
a | c,
ento
a | (b + c).
(v ) Se
(vi ) Se
(vii )
a|b
ento para todo
a|b
a | c,
m Z,
ento para todos
tem-se que
m, n Z,
a | (mb).
tem-se que
a | (mb + nc).
a|b a | b a | b a | b.
(viii ) Se
a|b
(ix ) Se
b|a
(x ) Se
a | 1,
b = 0,
a | b,
ento
ento
ento
|a| |b|.
a = b.
a = 1.
Demonstrao:
(i ) Tem-se que,
1|a
pois
a = 1 a, a | a
pois
a=1a
e por m,
a|0
pois
0 = 0 a.
inteiro.
11
(ii ) Se
a|b
b | c,
ento existem nmeros inteiros
substituindo a primeira equao na segunda tem-se,
(iii ) Se
a|b
c | d,
q1 e q2 , tais que b = q1 a
c = (q2 q1 )a, logo, a | c.
q1
q2 ,
c = q 2 b,
b = q 1 a e d = q 2 c,
tem-se, bd = (q2 q1 )ac, logo,
tais que
multiplicando ordenadamente a primeira e a segunda equao
ac | bd.
a | b e a | c, ento existem nmeros inteiros q1 e q2 , tais que b = q1 a e c = q2 a, somando
membro a membro as duas equaes tem-se, b + c = q1 a + q2 a = (q2 + q1 )a, logo, a | (b + c).
(iv ) Se
a | b ento existe um nmero inteiro q, tal que b = qa, multiplicando a equao anterior
um nmero inteiro m, tem-se que mb = (qm)a, logo, para todo m, tem-se que a | mb.
(v ) Se
por
(vi ) Se
a|b
a | c,
q1
q2 ,
tais que
b = q1 a
c = q 2 a,
multiplicando a primeira equao por m e a segunda por n, sendo m e n inteiros, tem-se:
mb = q1 ma e nc = q2 na, em seguida, somando membro a membro as duas

obtm-se mb + nc = q1 ma + q2 na = (q1 m + q2 n)a, logo a | (mb + nc).
ltimas equaes,
(vii )
a | b b = qa, q Z b = (q)a, (q) Z b = (q)(a), (q) Z

b = q(a), q Z.
(viii ) Se
a|b
com
b = 0,
ento existe um inteiro
q=0
tal que
b = qa,
logo,
|b| = |qa| = |q| |a| |a|.

(ix ) Suponha que
b|a
pelo item (viii ) desta
(x ) Suponha que
a | b.
a = 0 ou b = 0, tem-se, a = b = 0. No caso a, b = 0,
proposio, |a| |b| e |a| |b| logo, |a| = |b|, ou seja, a = b.
a | 1.
Se
Do item (i ) desta proposio,
item anterior (ix ), tem-se que
Proposio 4.
Sejam
1 |a
para todo a inteiro. Logo, pelo
a = 1.
a, b, c Z,
tais que
a | (b + c).
a | b a | c.
tem-se,
Ento
12
Demonstrao:
Suponha que
a | (b + c).
Ento, existe um nmero inteiro q, tal que
b + c = qa.
()
Suponha ainda, que
b = aq1 ,
a | c.
tem-se que
a | b,
aq1 + c = aq .
q1
c = a(q q1 ),
ento existe
Da,
b = aq1 .
q q1 Z ,
De
como
pode-se concluir que
A demonstrao da recproca anloga.
Exemplo 6.
Sejam
a, b Z
n N.
Tem-se que
(a b) | (an bn ).
Soluo:
Pode-se escrever,
an bn = (a b)(an1 + an2 b + + bn1 ).
Logo,
Exemplo 7.
(a b) | (an bn ).
Sejam
a, b Z
n N.
Tem-se que
b + c = qa
tal que
(a + b) | (a2n+1 + b2n+1 ).
Soluo:
Pode-se escrever,
a + b = a (b).
Segue do exemplo anterior que:
a (b) | (a2n+1 (b)2n+1 ) a + b | (a2n+1 + b2n+1 ).
e de
13
Portanto,
Exemplo 8.
Sejam
(a + b) | (a2n+1 + b2n+1 ).
a, b Z
n N.
Tem-se que
a + b | (a2n b2n ).
Soluo:
Escrevendo,
a + b = a (b).
Tem-se, do exemplo 6 que:
a (b) | (a2n (b2n ) a + b | (a2n b2n ).
Portanto,
Exemplo 9.
a + b | (a2n b2n ).
(OBM) Prove que se n mpar, ento 8 divide
n2 1.
Soluo:
Suponha n mpar, isto ,
n = 2k + 1, k Z.
Da,
n2 1 = (2k + 1)2 1 = 4k 2 + 4k + 1 1 = 4k (k + 1).

Como, k e k
+ 1, so nmeros consecutivos, tem-se do exemplo 3, que 4k (k + 1) =
4 2t = 8t, t Z.
Portanto, 8 divide
Exemplo 10.
n2 1.
13 | 270 + 370 .
Mostre que
Soluo:
Escrevendo,
35
270 + 370 = (22 ) + (32 )
Pelo exemplo 7,
35
(a + b) | (a2n+1 + b2n+1 ).
= 435 + 935 .
Assim, fazendo
segue que:
4 + 9 | (435 + 935 ) 13 | 270 + 370 .
a = 4, b = 9
n = 17,
14
2.2.3 Mximo Divisor Comum

Seja a um nmero inteiro. Indica-se por
D(a)
o conjunto dos divisores de a. Por
exemplo:
D(18) = {=1, 1, 2, 2, =3, 3, =6, 6, =9, 9, =18, 18}.
Observe que para qualquer inteiro
Seja m um nmero inteiro.
a = 0,
tem-se que
Indica-se por
Zm
D(a)
nito.
o conjunto dos mltiplos de m.
Assim,
Zm = {0, =m, m, =2m, 2m, =3m, 3m, ...}
que pode ser representado por
Zm = {x m; x Z}.
Por exemplo:
Z 2 = {x 2; x Z} = {0, =2, 2, =4, 4, =6, 6, ...}.
Denio 2.
Um inteiro d dito um divisor comum de a e b se
Indica-se por
Observao:
d | b.
o conjunto dos divisores comuns de a e b.
Se a e b no so simultaneamente nulos, o conjunto
D(a, b) = D(a) D(b),
Denio 3.
D(a, b)
d|a
D(a, b)
nito. De fato,
onde pelo menos um dos conjuntos nito.
Sejam a e b inteiros, no simultneamente nulos. Chama-se mximo divisor
comum de a e b, indicado por
mdc(a , b),
o maior de seus divisores comuns. Assim,
mdc(a, b) = M axD(a, b)
15
Observaes:
a = 0 ou b = 0, D(a, b)
mdc(a, b) 1.
1. Como
2. Da denio, segue que
Exemplo 11.
nito, assim sempre possui um maior elemento e
mdc(a , b) = mdc(b , a).
Encontre os divisores comuns e o mximo divisor comum de:
16 e 24
Primeiramente, determina-se os divisores de 16 e de 24 separadamente:
D(16) = {1, 2, 4, 8, 16, 1, 2, 4, 8, 16} .

D(24) = {1, 2, 3, 4, 6, 8, 12, 24, 1, 2, 3, 4, 6, 8, 12, 24}.
Em seguida, toma-se os divisores comuns.
D(16, 24) = {1, 2, 4, 8, 1, 2, 4, 8}.

Portanto,
Observao:
mdc(16, 24) = 8
Entre todos os divisores comuns a 16 e a 24 os dois que possuem o maior
mdulo, -8 e 8, tm a propriedade de ser mltiplo de todos os outros divisores comuns a 16

e a 24.
Exemplo 12.
Encontre os divisores comuns e o mximo divisor comum de:
15 e 45
Os divisores de 15 e de 45 so:
D(15) = {1, 3, 5, 15, 1, 3, 5, 15}.

D(45) = {1, 3, 5, 15, 45, 1, 3, 5, 15, 45}.
Os divisores comuns a 15 e 45 so:
D(15, 45) = {1, 3, 5, 15, 1, 3, 5, 15}.
16
Portanto,
Observao:
mdc(15, 45) = 15.
Entre todos os divisores comuns a 15 e a 45 os dois que possuem o maior
mdulo, -15 e 15, tm a propriedade de ser mltiplo de todos os outros divisores comuns a
15 e a 45.
A seguir algumas propriedades do mximo divisor comum,
d = mdc(a , b), de dois
nmeros naturais a e b, no simultaneamente nulos, as quais so consequncias imediatas da

denio de mdc.
Se d o mximo divisor comum de a e b, ento d tambm o mximo divisor comum

de a e -b, -a e b, e -a e -b.
Se
mdc(a , 1) = 1;
a | b mdc(a , b) = a.
a = 0,
Proposio 5.
(i ) Se
ento
Considere m um inteiro e
, Zm,
(ii ) Se
mdc(a , 0) = a;
ento
Zm e a Z,
Zm
o conjunto dos mltiplos de m. Tem-se que:
+ Zm.
ento
a Zm.
Demonstrao:
, Zm, existem x e y, nmeros inteiros, tais que = xm e = ym, assim,

+ = xm + ym = (x + y)m. Portanto, + Zm.
(i ) De fato, se
(ii ) De
Zm, existe um nmero inteiro x
tal que
= xm.
a = xma = xam.
Portanto,
a Zm.
Multiplicando,
por a
tem-se:
17
Denio 4.
Sejam m e n nmeros inteiros. O conjunto indicado por
Zm + Zn
denido
do seguinte modo:
Zm + Zn := {x + y; x Zm, y Zn}.
m = 1 m + 0 n, n = 0 m + 1 n,=m = (=1) m + 0 n,
=n = 0 m + (=1) n, portanto m, n, =m, =n Zm + Zn.
Exemplo 13.
Proposio 6.
(i ) Se
Observe que
Sejam m e n nmeros inteiros. Tem-se que:
, Zm + Zn,
ento
Zm + Zn e a Z,
(ii ) Se
+ Zm + Zn
ento
a Zm + Zn
Demonstrao:
, Zm + Zn, ento
= zm + wn. Assim,
(i ) Suponha que
= xm + yn
existem x, y, z e w, nmeros inteiros, tais que
+ = xm + yn + zm + wn = (x + z)m + (y + w)n.
Portanto,
(ii )De
Zm + Zn
+ Zm + Zn.
exitem nmeros inteiros x e y tais que
= xm + yn.
Multiplicando,
por a tem-se:
a = (xm + yn)a = xam + yan.
Portanto,
a Zm + Zn.
Teorema 1. Sejam m e n inteiros no simultaneamente nulos.

tal que
Zm + Zn = Zd.
Ento existe um inteiro
d>0
18
Demonstrao:
J+
Considere o conjunto, indicado por
denido do seguinte modo:
J + = {x Zm + Zn; x > 0}.
Como
m, n, =m, =n Zm + Zn,
Para provar que

de
. Tem-se que
d>0
Zm + Zn = Zd,
tem-se que
considere
e existem inteiros r e s tais
J+
no um conjunto vazio.
d J + tal que d
que d = rm + sn.
o menor elemento
Zd, o qual da forma xd = x(rm + sn) =

Zm + Zn. Portanto Zd Zm + Zn.
Tomando um elemento qualquer de
(xr)m + (xs)n,
logo tambm um elemento de
Por outro lado, tome
a Zm + Zn.
a = qd + r,
Considere a diviso euclidiana de a por d,
em que
0 r < d.
r > 0. Como a, d Zm + Zn tem-se pela proposio 6 que r = a=dq

Zm + Zn e da, r J + . Uma contradio pois r < d e d o menor elemento de J + .
Concluindo assim que r = 0 e da a Zd. Mostrando assim, que Zm + Zn Zd e a
Suponha
demonstrao est concluda.
Proposio 7.
d > 0,
ento d
Se m e n so inteiros, no simultaneamente nulos e
Zm + Zn = Zd,
onde
= mdc(m, n).
Demonstrao:
m, n Zd = Zm + Zn, d um divisor comum de m e n. Alm disso, como

d Zd = Zm + Zn, d = rm + sn, donde todo divisor comum, d', de m e n divide d, portanto
Como
d o maior dos divisores comuns de m e n.
19
Corolrio 1.
y, tais que
(Teorema de Bzout ) Se
d = mdc(m , n),
ento existem nmeros inteiros x e
d = mx + ny .
Corolrio 2.
mente nulos,
(i)
d|a
(Caracterizao do mdc(a,b) ) Sejam a e b nmeros inteiros no simultanea-
d>0
o mximo divisor comum de a e b, se, e somente se:
d|b
(ii) Se d' um nmero inteiro tal que
A caracterizao do
como denio para o
Lema 1.
mdc
d |a
d | b,
ento
d | d.
dada pelo corolrio anterior, era utilizada por Euclides
mdc.
(Lema de Euclides) Sejam
a, b, n Z.
Ento,
mdc(a , b) = mdc(a , b na).
Demonstrao:
mdc(a , b na) = d,
d | a e d | b.
Considerando
d | b na + na.
Assim,
segue que
d|a
d | b na.
Se d' um divisor comum de a e b, ento d' divide a e
Portanto,
b na
Donde
d | na,
logo, d' divide d.
mdc(a , b) = d.
O algoritmo apresentado a seguir, foi usado por Euclides a mais de dois milnios
e continua sendo at hoje, uma tima ferramenta para encontrar o mximo divisor comum
de dois nmeros inteiros.
2.2.4 Algoritmo de Euclides

Como
a, b > 0.
mdc(a, b) = mdc(a, b) = mdc(a, b) = mdc(a, b),
vamos considerar
20
a, b > 0,
nicos q1 e r1
Para determinar o mximo divisor comum de dois nmeros inteiros

deve-se primeiramente efetuar a diviso euclidiana de b por a. Assim, existem
inteiros tais que
b = aq1 + r1 , 0 r1 < a.
Em seguida, efetua-se a diviso de a por

inteiros tais que
a = r1 q2 + r2 ,
r1 .
Novamente, existem nicos
q2
r2
r2 < r1 .
Observe que esse processo de diviso nito, pois a lista de restos estritamente
decrescente e est contida no conjunto dos nmeros naturais. O processo continua, at que
se tenha
rn = 0.
Como o primeiro resto (0
r1 < a)
menor do que a, no haver nessa
sequncia mais do que a termos. Assim,
b = aq1 + r1 , 0 r1 < a
a = r1 q2 + r2 , 0 r2 < r1
r1 = r2 q3 + r3 , 0 r3 < r2
.
.
.
rn4 = rn3 qn2 + rn2 , 0 rn2 < rn3

rn3 = rn2 qn1 + rn1 , 0 rn1 < rn2
rn2 = rn1 qn + rn , 0 rn < rn1
Ilustrando essas divises sucessivas, tem-se a seguinte tabela:
q1
q2
q3
r1
r2
r1
r2
r3
qn1
r4
Tabela 2.1:
qn
rn2
rn1 = mdc(a , b)
rn
Algoritmo de Euclides
rn = 0
21
Como
rn =
0, tem-se que
rn1 | rn2 ,
e assim o
mdc(rn2 , rn1 ) = rn1 .
Considerando o Lema de Euclides, conclui-se que:
mdc(a , b) = mdc(a , r1 ) = mdc(r1 , r2 ) = mdc(r2 , r3 ) = = mdc(rn2 , rn1 ) = rn1
Denio 5. Diz-se que dois nmeros naturais a e b, so primos entre si, se o mdc(a , b) = 1.
Exemplo 14.
a)mdc(14 ,
Clculo de mximos divisores comuns.
35) = mdc(14 , 21 = 35 14) = mdc(14 , 7 = 21 14) = mdc(7 = 14 7 , 7) = 7
b)
mdc(81 , 64) = mdc(17 , 64) = mdc(17 , 13) = 1
c)
mdc(1 , 8) = 1
d)
mdc(4a , 7a) = mdc(4a , 3a) = mdc(a , 3a) = mdc(a , 0) = a.
Proposio 8.
Dois nmeros inteiros a e b so primos entre si se, e somente se, existem
nmeros inteiros r e s tais que
ra + sb = 1.
Demonstrao:
()
mdc(a , b) = 1.
ra + sb = 1.
Sejam a e b dois inteiros primos entre si, ou seja,
Teorema de Bzout, existem r, s, nmeros inteiros, tais que
Assim, pelo
()
Seja
d = mdc(a , b),
Portanto,
d = 1.
ento
d|a
d | b,
implica que
d | (ra + sb),
ou seja,
d | 1.
22
2.2.5 Nmeros Primos

"Nmeros: eles desempenham um papel an-
logo ao dos tomos na estrutura da matria.
Todos os outros nmeros podem ser ob-
tidos atravs de produtos dos nmeros primos."(Francisco Cesar Polcino Milies e Snia
Pitta Coelho).
Denio 6.
(i )
p>1
Um nmero
pN
chamado nmero primo se:
(ii ) os nicos divisores naturais de p so 1 e p.
Proposio 9.
(i) Se
(ii) Se
p|q
p
ento
Dados dois primos p e q e um nmero inteiro a qualquer, tem-se que:
p = q.
ento
mdc (a, p) = 1.
Demonstrao:
(i) De q ser primo tem-se que seus nicos divisores positivos so 1 e q. Como
p=
1 ou
(ii) Seja
d = 1,
p = q,
mas por hiptese
Curiosidade:
ento
a,
d|p
segue que
p = q.
mas p primo, logo
d = mdc(p , a),
p|q
d | a.
d = 1.
ento
De p ser primo e de
d | p,
tem-se que
d=p
ou
Existem 168 nmeros primos menores do que 1000. So eles:
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101,
103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181, 191, 193, 197,
199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281, 283, 293, 307, 311,
313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397, 401, 409, 419, 421, 431,
433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503, 509, 521, 523, 541, 547, 557,
23
563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619, 631, 641, 643, 647, 653, 659, 661,
673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743, 751, 757, 761, 769, 773, 787, 797, 809,
811, 821, 823, 827, 829, 839, 853, 857, 859, 863, 877, 881, 883, 887, 907, 911, 919, 929, 937,
941, 947, 953, 967, 971, 977, 983, 991 e 997.
Denio 7.
Um nmero natural composto, se for maior do que um e no for primo.
Portanto, se um nmero n composto, existir um divisor

e
n1 = n.
Segue que existir um
n1
e existir um
n = n1 n2 ,
Proposio 10.
com
n2 ,
1 < n1 < n
n1
de
n, tal que n1 = 1
tal que:
1 < n2 < n.
O menor divisor maior do que 1 de qualquer nmero natural,
n > 1,
n | n,
necessariamente um nmero primo.
Demonstrao:
Sejam
n N, n > 1
o menor divisor, maior do que 1, de n.
Se d fosse composto, ento teria um divisor
tal que,
1 < n < d.
Da,
que contraria a escolha de d.
O primeiro matemtico a produzir uma tabela de nmeros primos foi Eratstenes,

no terceiro sculo a.C.. Para construir tal tabela, ele escrevia inicialmente uma lista com todos os nmeros, de 1, at o maior nmero, n, que desejasse alcanar. Em seguida, escolhia o
primeiro primo, 2, e eliminava da lista todos os seus mltiplos. Passava ao nmero seguinte
que no fora eliminado e procedia tambm eliminando todos os seus mltiplos, esse procedimento se repetia at que fossem eliminados todos os mltiplos dos primos p, com
p2 n.
No
nal desse procedimento aparecia a tabela de primos. Este procedimento estabelecido por
Eratstenes, passou a ser chamado de Crivo de Eratstenes.
O Crivo de Eratstenes baseado no seguinte Lema:
Lema 2.
Todo nmero composto
a > 1,
admite um divisor primo p tal que
p 2 a.
24
Demonstrao:
Suponha
a>1
um nmero composto. Seja p o menor divisor de a, maior do que
1, logo p primo.
Escrevendo
a = p m.
Tem-se
pm
e da
p2 pm = a.
Este lema nos diz que:
Se um nmero
a>1
no for divisvel por nenhum primo p,
p 2 a,
ento ele
primo.
Como exemplo, para elaborar uma tabela de todos os primos inferiores a 120,
procede-se da seguinte forma:
Escrevem-se todos os nmeros de 2 a 120.
A seguir, risca-se todos os mltiplos de 2, acima de 2, pois nenhum deles primo. O

segundo nmero no riscado, o 3, que primo.
Risca-se ento, todos os mltiplos de 3, acima de 3, pois nenhum deles primo.
terceiro nmero no riscado, o 5, que primo.
Risca-se ento, todos os mltiplos de 5, acima de 5, pois nenhum deles primo.
quarto nmero no riscado, o 7, que primo.
Risca-se todos os mltiplos de 7, acima de 7, pois nenhum deles primo.
O quinto
nmero no riscado, o 11, que primo.
Pronto, j se tem todos os primos inferiores a 120, sem que seja preciso continuar
o procedimento.
De fato, como
112 = 121 > 120,
os possveis nmeros compostos nesta tabela,
teriam como divisores, pelo menos um nmero primo p,
p < 11,
ou seja, 2, 3, 5 ou 7.
25
14
15
22
24
32
11
3
13
23
33
12
21
31
41
52
62
51
61
71
81
82
92
102
111
112
27
28
35
36
38
45
46
37
47
55
56
64
65
74
Nmeros Primos
20
2;3;5;7;11;13;17;
30
19;23;29;31;37;
39
40
41;43;47;53;59;
48
49
50
61;67;71;73;79;
57
58
60
83;89;97;101;
66
67
59
68
69
70
103;107;109;113
75
76
77
78
85
86
87
88
79
89
94
103
113
10
84
93
101
26
54
73
83
91
25
19
29
44
63
72
18
34
43
53
42
16
7
17
95
96
104
105
114
115
80
90
98
99
100
106
97
107
108
109
110
116
117
118
119
120
Tabela 2.2: Crivo de Eratstenes
Proposio 11.
Z.
Sejam a, b, c
Se
a | bc
mdc(a, b) = 1,
ento
a | c.
Demonstrao:
a | bc e mdc(a, b) = 1. Segue que

rac + sbc = c. Como a | a e a | bc, tem-se
Suponha que
ra + sb = 1,
donde
Proposio 12.
nmero primo. Se
existem inteiros r e s tais que

que
a | c.
(Propriedade fundamental dos nmeros primos ) Sejam a, b
p | ab,
ento
p|a
ou
e p um
p | b.
Demonstrao:
Suponha que
a.
Ento, pela proposio 9, item (ii),
pela proposio anterior, tem-se que
p | b.
mdc(p , a) = 1,
assim,
26
A proposio anterior aparece no livro Os Elementos VII , de Euclides.
Proposio 13.
Sejam
n, d N.
Se
d>1
d|n
ento
n + 1.
Demonstrao:
De fato, se
Teorema 2.
d | n + 1,
como
d | n,
teria-se
d | 1.
Isto no possvel pois
d > 1.
Existem innitos nmeros primos.
Demonstrao:
Sejam
p1 , p2 , p3 , . . . , ps , os s
primeiros primos,
sN
. Considere o nmero natural
n = p1 p2 p3 . . . ps + 1 > 1.
Seja p o menor divisor de n, maior do que 1, logo p primo.
p | p1 p2 p3 . . .ps +1, usando a proposio 13, tem-se que p

p = pi , para todo i = 1, 2, ..., s.
Como
Logo,
p1 p2 p3 . . .ps .
Portanto existem innitos nmeros primos.
2.2.6 Congruncia Mdulo
Certamente este o ponto principal da organizao de contedos deste trabalho.

O conceito de congruncia ser muito importante para o desenvolvimento das aplicaes
contidas no
Captulo 3,
pois alm de fazer parte delas, apresenta propriedades essenciais para
o estudo da Aritmtica Modular ou Aritmtica dos Restos, a qual presente, de maneira

fundamental, nas aplicaes que sero apresentadas no prximo captulo.
27
Denio 8.
denota-se por
Exemplo 15.
a, b, m Z com m > 1, diz-se que a

a b mod m, se a e b possurem o mesmo resto
Sejam
Como
78 = 5 15 + 3
78 = 5 (16) + 2,
78 3 mod 5
Observao:
congruente a b mdulo m e
ao serem divididos por m.
tem-se que:
78 2 mod 5.
Segue do Algoritmo da Diviso que todo inteiro a congruente mdulo m a
um inteiro r, tal que
0 r < m.
De fato, considerando
aZ
e a diviso euclidiana de a por m, tem-se:
a = qm + r,
Como
0 r < m,
Portanto
onde
0 r < m.
o resto da diviso de
por
exatamente
r.
a r mod m.
Observao:
Se
0 r1 , r2 < m
Exemplo 16.
16
r1 r2 mod m
ento
r1 = r2 .
8 mod 4.
De fato, pois 16 e 8 deixam resto zero quando divididos por 4.
Exemplo 17.
12
Como
mod 10
8 = 1 10 + 2,
10.
Exemplo 18.
30
10 mod 6
tem-se que 12 e
deixam resto 2 quando divididos por
28
De fato, pois na diviso por 6, 30 deixa resto zero, enquanto que 10 deixa resto 4.
A proposio seguinte traduz congruncia mdulo m como divisibilidade por m.
Proposio 14.
Dados a, b, m
com
m>1
tem-se que
a b mod m,
se, e somente se,
m | (b a).
Demonstrao:
()
Suponha que
a b mod m,
ento pela denio de congruncia, tem-se que a e
b deixam o mesmo resto, r, quando divididos por m. Segue que, existem inteiros
q1
q2 ,
tais
que:
a = q1 m + r
b = q2 m + r , 0 r m 1
Da,
b a = q2 m + r (q1 m + r) = q2 m q1 m = (q2 q1 )m b a = (q2 q1 )m m|(b a).
()
Suponha agora que
m | (b a).
Considerando a diviso euclidiana, tem-se
0 r1 , r2 m 1.
a = q1 m + r1
b = q 2 m + r2
com
Da,
b a = q2 m + r2 (q1 m + r1 ) = (q2 q1 )m + r2 r1
Como
m | (b a)
m | (q2 q1 )m,
tem-se que
Supondo sem perda de generalidade que
m 1,
conclui-se que
Portanto
r2 r1 = 0.
r2 = r1 ,
donde
a b mod m.
m | r2 r1 .
r1 r2
e observando que
0 r2 r1
29
As proposies 3 (Divisibilidade) e 14 estabelecem as propriedades da congruncia
m dulo m.
Proposio 15.
(i )
Sejam a, b, c, d, m e r, nmeros inteiros, com
m>1
r 1.
Ento:
a a mod m.
(ii ) Se
a b mod m,
(iii ) Se
a b mod m
b c mod m,
ento
a c mod m.
(iv ) Se
a b mod m
c d mod m,
ento
(a + c) (b + d) mod m.
(v ) Se
(vi ) Se
(vii )(a
a b mod m
ento
c d mod m,
a b mod m,
b a mod m.
ento
ab ac mod m
ac bd mod m.
ar br mod m.
+ c) (b + c) mod m
(viii ) Se
ento
se, e somente, se
mdc(a , m)
a b mod m.
= 1, ento
b c mod m.
Demonstrao:
(i ) Basta observar que
(ii ) Se
a b mod m,
(iii ) Suponha que
ento
m | (b a),
donde
m | (a b),
a b mod m e b c mod m.
Portanto
(iv ) Suponha que
m | (a a) = 0.
Da,
o que implica que
m | (ab) e m | (cb), donde m | (ac).
a c mod m.
a b mod m
c d mod m.
Tem-se que
m | (b a)
m | ((b a) + (d c)) = b + d (a + c).
Portanto,
b a mod m.
a + c b + d mod m.
m | (d c),
donde:
30
a b mod m e c d mod m. Tem-se que m | (b a) e m | (d c),

m | a(d c). Da, m | (d(b a) a(d c)), ou seja, m|(ac bd).
(v ) Suponha que
m | d(b a)
Portanto,
(vi ) Suponha que
ac bd mod m.
a b mod m.
Aplicando o item (v ) desta proposio
a b mod m
a b mod m
r congruncias
e
.
a b mod m
(vii )
donde
r1
vezes:
ar br mod m.
a + c b + c mod m m | (a + c (b + c)) m | (a b) a b mod m.
(viii ) Suponha que
ab ac mod m.
Ento,
m | (ac ab) m | a(c b)
Como
mdc(a , m) =
Portanto,
1, tem-se necessariamente que
m | (c b).
b c mod m.
2.2.7 Aritmtica dos Restos

As propriedades das congruncias podem facilitar muito o clculo do resto de uma
diviso de dois nmeros inteiros. A determinao do resto da diviso de 20 por 7 no intimida
em nada, mas e se a tarefa for descobrir o resto da diviso de
750
por 11 por exemplo? O que
parecia simples, pode tomar propores gigantescas de diculdade, se no forem utilizadas,

para a soluo deste problema, algumas das propriedades supracitadas.
Exemplo 19.
Encontre o resto da diviso de
750
por 11.
31
Soluo:
Comece analisando algumas congruncias mdulo 11.
7 7 mod11
2
7 = 49 5 mod11
3
7 35 2 mod11
74 52 25 3 mod11
5
7 21 10 1 mod11
10
7 (1)2 1 mod11
(1)
(2)
(3)
(4)
(5)
(6)
Repare que a congruncia (6) pode ser obtida da congruncia (5) utilizando-se o
item (vi ) da proposio 15, elevando-a ao quadrado.
Agora basta elevar a congruncia (6) a quinta potncia,
(710 ) 15 mod11 750 1 mod11.
Portanto, o resto da diviso de
Exemplo 20.
750
Encontre o resto da diviso de
por 11 1.
521
por 127.
Soluo:
Tem-se que:
53 125 2 mod127.
Do item (v i) da proposio 15 e da congruncia acima, tem-se que:
(53 ) (2)7 128 1 126 mod127.
521
por 127 126.
32
Exemplo 21.
Determine o resto da diviso do nmero
100
1010 + 1010 + 1010 + + 1010
7.
Sabe-se que:
10 3 mod 7 102 9 2 mod 7 1010 32 4 mod 7
4 3 mod 7
2
4 2 mod 7
44 4 mod 7
5
4 2 mod 7
10
4 4 mod 7
Dessa forma,
1010 410 4 mod 7
10
1010 = (1010 )
410 4 mod 7.
Continuando tem-se que:
100
1010 1010 1010 1010
4 mod 7.
Logo,
100
1010 + 1010 + 1010 + + 1010
4 + 4 + 4 + + 4 400 1 mod 7.
100 parcelas
Exemplo 22.
100
1010 + 1010 + 1010 + + 1010
Qual o algarismo das unidades do nmero
2100 + 1316 ?
por 7 1.
por
33
Soluo:
Para encontrar o algarismo das unidades de qualquer nmero, basta encontrar

o resto da diviso desse nmero por 10.
encontrar o algarismo das unidades de
2 2 mod10
22 4 mod10
25 2 mod10
10
2 4 mod10
Por isso, usa-se a congruncia mdulo 10, para
2100 + 1316 .
(1)
(2)
(3)
(4)
42 6 mod10
44 6 mod10
45 4 mod10
10
4 6 mod10
(5)
(6)
(7)
(8)
Da,
10
(210 ) 410 6 mod 10 2100 6 mod 10.
(9)
Agora,
13 3 mod10
2
13 9 mod10
134 1 mod10
16
13 1 mod10
(10)
(11)
(12)
(13)
Repare que cou muito fcil determinar as congruncias (11), (12) e (13), j que
bastou para isso, elev-las uma a uma ao quadrado para encontrar a seguinte.
Finalmente, basta usar o item (iv ) da proposio 15 nas congruncias (9) e (13)
para obter que:
2100 + 1316 6 + 1 7 mod 10.
Portanto, o algarismo das unidades do nmero
2100 + 1316
o 7.
34
Captulo 3
Aplicaes de Congruncia Para o
Ensino Bsico
O assunto, alm de ser intrinsecamente inte-
ressante, tem a virtude de mesclar conceitos

e tcnicas importantes de lgebra com aplicaes imediatas na vida real (Abramo Hefez e
Maria Villela).
Cada uma das aplicaes de Aritmtica Modular que sero citadas neste captulo
tem sua importncia, seja ela por colaborar com a soluo de algum problema da atualidade,
seja agilizando o processo de resoluo de determinados problemas da matemtica do ensino
bsico.
Citaremos aqui aplicaes de Aritmtica Modular que podero ser utilizadas por
professores de matemtica da Educao Bsica, principalmente para aqueles que atuam no
ensino mdio, como forma de contextualizar a matemtica com as necessidades do dia-a-dia.
3.1 Critrio de Divisibilidade

Os critrios de divisibilidade que so encontrados atualmente nos livros didticos
da Educao Bsica, consistem de diversas regras, que quando aplicadas a um nmero inteiro,
35
permitem determinar se o nmero ou no divisvel por um determinado nmero. A questo

, as regras so tantas, que se torna mais fcil o aluno realizar o clculo do que ter que
decorar todas aquelas regras.
A proposta feita aqui, que seja usada congruncia (Aritmtica dos Restos ) para
a deduo das regras ou simplesmente a aplicao da Aritmtica Modular em cada caso
particular, sem se preocupar com as regras.
Dados dois nmeros inteiros, a e b, como pode-se decidir sobre a divisibilidade

destes nmeros, ou seja, se
a|b
ou se
a b?
Veja um exemplo bem simples.
Exemplo 23. Verique se 38 divisvel por 6, usando congruncias (Aritmtica dos Restos ).
Soluo:
Para que o 6 divida 38, deve-se ter o resto da diviso de 38 por 6 igual a zero.
Pode-se escrever,
Tem-se que,
38 = 3 10 + 8.
3 3 mod 6.
Multiplicando essa congruncia por 10 tem-se,
30 0 mod 6.
Somando 8 a esta ltima congruncia, tem-se,
38 8 2 mod 6.
Portanto, o resto da diviso de 38 por 6 2, logo
Exemplo 24.
Verique se 230 divisvel por 2.
Soluo:
Veja que pode-se escrever 230 da seguinte forma:
230 = 2 102 + 3 10 + 0.
Aplicando propriedades de congruncias, tem-se:
2 102 + 3 10 + 0 0 mod 2.
6 38.
36
Portanto, 230 divisvel por 2.
Exemplo 25.
Generalizando o exemplo anterior. Considere
a = an an1 . . . a1 a0
escrito na
representao decimal.
Assim,
a = an 10n + an1 10n1 + + a2 102 + a1 10 + a0 , n N.
Tem-se que:
10 0 mod 2
2
10 0 mod 2
103 0 mod 2
10n 0 mod 2
Multiplicando uma a uma as congruncias acima, por
a1 , a2 , , an
, respectiva-
mente, tem-se que:
a 10 0 mod2
1
a 102 0 mod2
a 103 0 mod2
3
a 10n 0 mod2.
n
Alm disso,
a0 a0
mod 2. Agora somando, todas essas congruncias, obtm-se
que:
a0 + a1 10 + a2 102 + + an 10n a0 mod 2
ou seja,
a a0 mod 2.
Assim, um nmero inteiro

se,
a0
a = an an1 . . . a1 a0 ,
divisvel por dois se, e somente
for divisvel por dois, passando a ser este um critrio de divisibilidade por dois.
37
Exemplo 26.
Soluo:
Pode-se escrever 36127 da seguinte maneira:
36127 = 3 104 + 6 103 + 1 102 + 2 10 + 7
Aplicando a congruncia mdulo 3 e observando que
10 1 mod 3,
tem-se que:
32127 3 + 6 + 1 + 2 + 7 1 mod 3.
Portanto, 36127 no divisvel por 3 pois deixa resto 1.
Exemplo 27.
Generalizando o exemplo anterior.
a = an an1 . . . a1 a0 = an 10n + an1 10n1 + a2 102 + a1 10 + a0 ,

n N . Neste caso, 10 1 mod 3 e da, usando as propriedades das congruncias, tem-se que:
Considere
a0 + a1 10 + a2 102 + + an 10n a0 + a1 + a2 + + an mod 3.
ou seja,
Portanto,
a0 + a1 + a2 + + an
mod 3.
a = an an1 . . . a1 a0 divisvel por 3 se, e somente se, a0 +a1 +a2 + +an
divisvel por 3.
Veja mais dois exemplos, agora para encontrar o critrio de divisibilidade por 11
e uma vez mais, mostra-se que qualquer critrio pode ser determinado usando um nico
mtodo.
Exemplo 28.
38
Soluo:
Tem-se que:
234 = 2 102 + 3 10 + 4.
Aplicando congruncia mdulo 11 e observando que
10 1 mod 11,
obtm-se
que:
234 2 3 + 4 3 mod 11.
Portanto, 234 no divisvel por 11 pois deixa resto 3.
Exemplo 29.
Generalizando o exemplo anterior.
a = an an1 . . . a1 a0 = an 10n + an1 10n1 + a2 102 + a1 10 + a0 , n N.

caso que 10 1 mod 11. Aplicando as propriedades das congruncias, segue
Dado
Tem-se, neste
que:
a0 + a1 10 + a2 102 + + an 10n a0 a1 + a2 a3 + + (1)n an mod 11.
ou seja,
Portanto,
a3 + + (1) an
a0 a1 + a2 a3 + + (1)n an
a = an an1 . . . a1 a0
mod 11.
divisvel por 11 se, e somente se,
a0 a1 + a2
divisvel por 11.
Dessa forma, conclui-se que, para determinar se um nmero inteiro a divisvel

por um nmero inteiro m, uma boa sada pode ser estudar a congruncia mdulo m.
39
3.2 A Prova dos Noves

A prova dos noves ou regra dos noves fora , um mtodo para identicar
erros em operaes com nmeros naturais.
um exemplo bem simples de aplicao das
propriedades de congruncias.
Primeiramente, "tirar os noves fora "de um nmero natural n, signica encontrar

o resto da diviso de n por 9.
Por exemplo, para
n = 739571,
tem-se:
739571 = 7106 +3105 +9104 +5103 +7102 +1 7+3+9+5+7+1 1+0+4 5 mod 9.
Outro exemplo,
75932 7 + 5 + 9 + 3 + 2 3 + 0 + 5 8 mod 9.
Considere a seguinte conta
737 246 = 181302.
A regra a seguinte:
Tire os noves fora dos nmeros envolvidos. Assim,
737 "noves fora"8
246 "noves fora"3
Multiplique
83
e tire os "noves fora" obtendo
24 6 mod 9.
Se a conta estiver correta ao tirar os "noves fora"do resultado, deve ser encontrado
tambm o nmero 6.
De fato, 181302 "noves fora" igual a 6.
Resumindo,
40
737
246
8
3
24
181302
Isto apenas um indcio de que o resultado est correto pois, se fossem trocados
dois algarismos, por exemplo, 181203 ao invs de 181302, teramos depois "dos noves fora"
tambm o nmero 6.
Considere que a conta foi feita dando o resultado: "737
246 = 181402".
Aplicando a regra:
737"noves fora"8
246 "noves fora"3
3.8 "noves fora"6
181.402 "noves fora "7
Resumindo,
737
246
1813402
8
3
24
=
Podemos armar com certeza que a conta est errada.
A regra explicada, usando as propriedades das congruncias.
De fato:
Se
a a mod m
b b mod m
Voltando ao exemplo onde
ento
ab a b mod m.
737 246 = 181402
41
Como
737 8 mod 9
Neste exemplo,
246 3 mod 9,
tem-se que
181402 3 8 mod 9,
e da
737 246 3 8 mod 9.
7 6 mod 9,
o que mostra que a
conta est errada.
3.3 Cdigo de Barras

Uma das aplicaes importantes e interessantes da Aritmtica Modular aquela
que explica os misteriosos cdigos de barras, encontrados por exemplo, nos produtos de um
supermercado.
Numa denio tcnica, o cdigo de barras uma representao grca de dados.

Ele permite uma rpida captao de dados, proporciona velocidade nas transaes, preciso
nas informaes e admite atualizao em tempo real e tudo isso implica em maior controle,
diminuio de erros, gerenciamento remoto, garantindo velocidade no atendimento de pedidos
e clientes, alm da signicativa reduo nos custos.
Tendo em vista todas as vantagens proporcionadas pela insero dos cdigos de

barras, principalmente na rea comercial, ca evidente a motivao para trabalhar tal assunto
em sala de aula, pois um bom exemplo da aplicao de Aritmtica Modular.
Os cdigos de barras so hoje utilizados no mundo todo e servem para fazer

identicaes em diversas reas como, indstria, comrcio, bancos, bibliotecas, hospitais,
bancos de sangue, correios, transportes, controles de acesso entre outros.
Os primeiros estudos realizados com intuito de criar cdigos que facilitassem e

agilizassem os processos de comercializao de produtos foram feitos em 1952 por Joseph
Woodland e Bernard Silver. Os cdigos criados por Woodland e Silver eram formados por
circunferncias concntricas de espessura varivel.
O cdigo de barras, no formato de listras verticais alternadas nas cores preta

e branca e com um nmero colocado abaixo das listras, da forma como conhecemos hoje,
foi elaborado pela primeira vez por George J. Laurer j na dcada de setenta.
O cdigo
apresentado por Laurer consistia de 12 dgitos (nmero colocado abaixo das listras) e foi
aceito em 1973 quando recebeu o nome de Cdigo Universal de Produtos "UPC" (Universal
Product Code ). Estados Unidos e Canad foram os pases que adotaram o cdigo UPC.
42
Figura 3.3.1: UPC
Em 1976, Laurer acrescentou um dgito ao cdigo, para que dessa forma, fosse
possvel identicar tambm o pas de origem dos produtos classicados com o cdigo de
barras.
O novo cdigo, com treze dgitos, recebeu o nome de EAN-13 (European Article
Numbering system).
Figura 3.3.2: EAN-13
43
Neste trabalho, sero explicados como so feitos a leitura, o clculo do dgito

vericador e a deteco de erros, para os cdigos de barras EAN-13 e UPC.
3.3.1 Entendendo as Barras

O cdigo de barras uma representao do nmero no formato de barras, de
forma que uma leitora ptica leia e interprete qual o nmero representado.
Os cdigos de barras so formados por sequncias de barras verticais de cores

alternadas, pretas e brancas, com larguras que variam entre, na, mdia, grossa, ou muito
grossa, que identicam o nmero que aparece abaixo das barras. A leitura das barras feita
atravs da tabela a seguir, que dene como deve-se ler ou interpretar cada uma das barras.
Listras
Finas
Mdias
Grossas
Muito Grossas
Branca
00
000
0000
Preta
11
111
1111
Tabela 3.1: Signicado das listras
Os cdigos EAN-13 possuem trs blocos de barras um pouco mais compridas

que as outras, cada bloco contendo trs barras, os quais servem de delimitadores e no so
interpretados como nmeros.
Os cdigos de barras UPC, possuem os mesmos delimitadores que o EAN-13,

representados por barras mais compridas, com a diferena que o primeiro e o ltimo dgito
esto codicados com barras do mesmo comprimento das dos delimitadores.
3.3.2 Entendendo os Nmeros e as Barras no UPC e no EAN-13

Considere primeiramente os cdigos UPC. Inicialmente feita a leitura referente
a espessura e a cor das barras, com auxilio da tabela 3.1, sendo que, a cada quatro barras
44
ser associada uma sequncia de 7 dgitos entre zeros e uns.
Cada dgito de
representado por uma sequncia de zeros e uns, conforme a tabela abaixo.
0; 1; 2; ...; 9
O numero
representado pelas sequncias ser lido por um leitor ptico, respeitando a posio, esquerda
ou direita de cada dgito.
Dgito
Lado Esquerdo
Lado Direito
0001101
1110010
0011001
1100110
0010011
1101100
0111101
1000010
0100011
1011100
0110001
1001110
0101111
1010000
0111011
1000100
0110111
1001000
0001011
1110100
Tabela 3.2: UPC
Exemplo 30.
O nmero
036000 291452
lado esquerdo
ser escrito como:
lado direito
0001101 - 0111101 - 0101111 - 0001101 - 0001101 - 0001101 - 1101100 - 1110100

- 1110010 - 1011100 - 1001110 - 1101100
e representado gracamente:
45
Figura 3.3.3: UPC
A principal diferena entre os cdigos UPC e EAN-13, est na quantidade de

dgitos, j que o UPC possu 12 algarismos, enquanto que o EAN-13, possui 13.
Para o sistema EAN-13, o mais usado atualmente, deve-se ter a seguinte interpretao: os primeiros dois ou trs dgitos so usados na identicao do pas de origem. No
Brasil por exemplo so trs dgitos, 789, que identicam a origem dos produtos fabricados
aqui. Os prximos quatro ou cinco dgitos servem para identicar a empresa, enquanto que
os cinco nmeros seguintes representam o cdigo do produto, e por m, o ltimo dgito o
digito vericador, conforme ilustra a gura a seguir retirada de [18].
Figura 3.3.4: Cdigo de Barras - EAN-13
Como no sistema UPC, no sistema EAN-13 cada dgito representado por uma
sequncia de zeros e uns. Para que uma mesma leitora possa ser usada nos dois sistemas,
46
o primeiro dgito que aparece no sistema EAN-13 determinado pelos 6 dgitos seguintes.
Para que isso possa ser feito, acrescentada mais uma representao para cada dgito do lado
esquerdo, conforme a tabela abaixo.
Dgito
Lado Esquerdo (mpar)
Lado Esquerdo (Par)
Lado Direito
0001101
0100111
1110010
0011001
0110011
1100110
0010011
0011011
1101100
0111101
0100001
1000010
0100011
0011101
1011100
0110001
0111001
1001110
0101111
0000101
1010000
0111011
0010001
1000100
0110111
0001001
1001000
0001011
0010111
1110100
Tabela 3.3: EAN-13
Ao iniciar a interpretao das barras do lado esquerdo do cdigo, de acordo com

a tabela 3.1, tem-se que, a cada quatro barras, uma sequncia de sete dgitos ser formada
com zeros e uns.
Caso tal sequncia tenha uma quantidade mpar de uns, ento deve-se
procurar na tabela 3.3 o algarismo correspondente a tal sequncia, na coluna referente ao

lado esquerdo (mpar), caso contrrio, procura-se na coluna lado esquerdo (par). O restante
da leitura, feita do lado direito das barras, anloga a feita pra o sistema UPC.
Exemplo 31.
O nmero que aparece na gura 3.2.2 (cdigo EAN-13) 4-891668-326689.
Tem-se, segundo a tabela 3.1, as seguintes sequncias de dgitos:
47
2
3
4
5
6
1
Lado Esquerdo
Lado Direito
80110111 (quantidade mpar de uns)

90010111 (quantidade par de uns)
8
9
10
11
12
7
31000010
21101100
61010000
61010000
81001000
91110100
A paridade da quantidade de nmeros uns que aparecem na representao dos

seis primeiros dgitos, determinar o primeiro dgito, conforme a tabela abaixo.
Dgito Inicial
mpar
mpar
mpar
mpar
mpar
mpar
mpar
mpar
Par
mpar
Par
Par
mpar
mpar
Par
Par
mpar
Par
mpar
mpar
Par
Par
Par
mpar
mpar
Par
mpar
mpar
Par
Par
mpar
Par
Par
mpar
mpar
Par
mpar
Par
Par
Par
mpar
mpar
mpar
Par
mpar
Par
mpar
Par
mpar
Par
mpar
Par
Par
mpar
mpar
Par
Par
mpar
Par
mpar
Tabela 3.4: Ordem de codicao EAN-13
No exemplo anterior a sequncia encontrada foi:
mpar, par, mpar, mpar, par, par
e de acordo com a tabela 3.4, o dgito inicial o 4, o que realmente ocorre.
48
Observao:
Nos dois sistemas, UPC e EAN-13, os dgitos tm codicaes diferentes
dependendo do lado que se encontram, se estiverem do lado esquerdo, iniciam com zeros, se
estiverem do lado direito, iniciam com uns. Isso permite que a leitura mesmo sendo feita de
cabea para baixo, produzir o mesmo nmero.
3.3.3 O Dgito de Vericao

Quando algum problema impedir a leitura do cdigo, por exemplo, alguma imperfeio na gura das barras, o operador ter que digitar a sequncia de nmeros do cdigo
e pode ser que ocorram erros. O dgito de vericao um recurso para a deteco de alguns
erros.
Considere
a1 , a2 , ..., a12 , a13
a sequncia de dgitos de um determinado cdigo de
barras EAN-13. Como j foi dito, os primeiros doze dgitos servem para identicar o pas
de origem, o fabricante, alm de especicar o produto, ou seja, esses dgitos j so pr
estabelecidos. Nos dois sistemas, EAN-13 e UPC, o ltimo dgito, ou dgito de vericao,
ser determinado pelos primeiros dgitos, os doze primeiros, no caso do sistema EAN-13 e
pelos onze primeiros dgitos, no caso do sistema UPC.
Considere o sistema EAN-13. Chamando de X o dcimo terceiro dgito e escrevendo a sequncia de dgitos em forma de vetor, tem-se
O sistema EAN-13, utiliza um vetor xo,
= (a1 , a2 , , a12 , X)
chamado vetor de pesos, dado por:
= (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1).
Calculando o produto escalar de ambos vetores, tem-se:
=(a1 , a2 , ..., a12 , X).(1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1) = a + 3a2 + + 3a12 + X .
O dgito de vericao,
X {0, 1, 2, 3, 4, 5, 6, 7, 8, 9},
tal que
0 mod 10.
Caso o cdigo seja um UPC, ou seja, tenha 12 dgitos, ento a nica modicao
ser no vetor de pesos que ter uma coordenada a menos e comear com 3:
49
Exemplo 32.
= (3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1).
Considere o nmero do cdigo de barras da gura 3.3.4 em que X o dgito
de vericao. Determine o valor de X.
Soluo:
Seja ento, 489166832668X o nmero referente ao cdigo de barras da gura 3.3.4.

Colocando os dgitos do cdigo na primeira linha de uma tabela, o vetor de pesos na segunda
linha da mesma tabela e efetuando o produto da primeira pela segunda linha, tem-se:
Dgitos do cdigo de barras
Vetor de Pesos EAN-13
Resultado do produto
24
18
18
24
Deve-se ter
= 4 + 24 + 9 + 3 + 6 + 18 + 8 + 9 + 2 + 18 + 6 + 24 + X 0 mod 10.
Que o mesmo que
6 + 24 + 6 + 24 + 18 + 2 +4+3+8+9+9+18+X 0 mod 10.

0 mod10
Da,
4 + 8 + 9 + 9 + 18 + 3 + X = 12 + 18 + 18 + 3 + X 0 mod 10 21 + X 0 mod 10
0 mod10
O valor do dgito de vericao
X {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
deve ser tal que,
(21 + X) 0 mod 10.
Logo,
X =9
o dgito de vericao para o cdigo de barras da gura 3.2.4, e
isso realmente ocorre.
3.3.4 Erros Detectveis e No Detectveis

Caso, durante a leitura do cdigo de barras, ocorra algum problema com o leitor
ptico, ou um outro problema que impea a leitura ptica do cdigo, ser necessrio que o
50
operador realize a leitura manualmente, ou seja, ele ter que digitar os algarismos localizados
logo abaixo do cdigo de barras. Nesse momento, poder ocasionalmente, ocorrer uma "falha
humana" e o nmero digitado pode no corresponder exatamente ao nmero contido no cdigo
de barras. Se algum dos algarismos for inserido incorretamente ou fora da ordem certa,
bem provvel que o resultado da vericao no seja um nmero congruente a zero mdulo
dez e ento o processador emitir um sinal sonoro alertando o erro de digitao. Cabe aqui
ressaltar, que a possibilidade de que uma falha na digitao ocorra e no seja detectada
muito pequena. Veja a seguir em quais situaes isso acontece.
Se o operador digitar um nico algarismo errado, comete um erro chamado de

erro singular, certamente o produto
no ser congruente a zero mdulo dez e ento
o erro ser detectado. Caso o operador digite dois ou mais algarismos de modo errado, h
possibilidade dos erros se compensarem uns aos outros e o resultado de
ser congruente
a zero mdulo dez. Nesse caso o erro no ser detectado.
Alm dos erros citados acima, podem ocorrer outros tipos de erros, como por
exemplo a troca da posio dos algarismos digitados, chamados erros de transposio. Um
erro de transposio muito comum, o erro de transposio adjacente, que ocorre quando a
ordem de dois nmeros consecutivos trocada. Nesse caso, o erro pode ou no ser detectado.
Exemplo 33.
Considere o nmero 4891668326689 do cdigo de barras da gura 3.3.4. Ve-
rique em cada caso, se o erro seria detectado, caso o nmero fosse digitado das seguintes
formas:
a)
48916683266 98
Como o cdigo um EAN-13, o vetor de pesos utilizado ser:
Alm disso,
= (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1).
= (4, 8, 9, 1, 6, 6, 8, 3, 2, 6, 6, 9, 8).
Assim,
= 4 + 24 + 9 + 3 + 6 + 18 + 8 + 9 + 6 + 6 + 18 + 9 + 24 = 144.
Como
144 0 mod 10,
o erro ser detectado.
51
b)
489 61 68326689
Neste caso
= (4, 8, 9, 6, 1, 6, 8, 3, 2, 6, 6, 8, 9).
Assim,
= 4 + 24 + 9 + 18 + 1 + 18 + 8 + 9 + 2 + 18 + 6 + 24 + 9 = 150.
Como
150 0 mod 10,
o erro no ser detectado.
Para as proposies a seguir, basta serem feitas demonstraes para o sistema

EAN-13, pois para o sistema UPC, as demonstraes seriam anlogas.
Proposio 16.
somente se,
Uma transposio adjacente detectada pelo EAN-13 e pelo UPC, se e
|ai ai+1 | = 5.
Demonstrao:
Seja
a1 , a2 , ..., ai , ai+1 , . . . , a12 , a13 ,
uma sequncia de dgitos pela qual um deter-
minado produto est identicado no sistema EAN-13. Tem-se que:
a1 + 3a2 + ... + 3ai + ai+1 + . . . + 3a12 + a13 0 mod 10
(1)
Suponha que essa sequncia tenha sido erroneamente digitada da seguinte forma:
a1 , a2 , ..., ai+1 , ai , . . . , a12 , a13 .
O erro de transposio no ser detectado, se, e somente se:
a1 + 3a2 + ... + 3ai+1 + ai + . . . + 3a12 + a13 0 mod 10
(2)
Fazendo (2) - (1) tem-se,
2ai 2ai+1 0 mod 10 2 (ai ai+1 ) 0 mod 10
Observe que sempre

Da,
|ai ai+1 | 9,
j que
ai
ai+1 so
nmeros entre zero e 9.
52
2 (ai ai+1 ) 0 mod 10 |ai ai+1 | = 5
Portanto, conclui-se que o erro por transposio adjacente ser detectado se, e
somente se,
|ai ai+1 | = 5.
Proposio 17.
Uma transposio no adjacente do tipo,
..., ai , ai+1 , ai+2 . . . ..., ai+2 , ai+1 , ai . . .
no detectada pelos sistemas EAN-13 e UPC.
Demonstrao:
Considere
a1 , a2 , ..., ai , ai+1 , ai+2 , . . . , a12 , a13 ,
uma sequncia de dgitos pela qual
um determinado produto est identicado no sistema EAN-13. Tem-se que:
a1 + 3a2 + ... + ai + 3ai+1 + ai+2 + . . . + 3a12 + a13 0 mod 10.
Realizando a vericao de erro em um cdigo que sofreu uma transposio no

adjacente do tipo da do enunciado, tem-se a mesma soma:
a1 + 3a2 + ... + ai+2 + 3ai+1 + ai + . . . + 3a12 + a13 0 mod 10.
Portanto, os cdigos UPC e EAN-13, no so capazes de identicar erros de

transposio no adjacente das do tipo do enunciado.
= (a1 , a2 , , a12 , a13 ) e = (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1), para o

sistema EAN-13, e = (a1 , a2 , , a12 ) e = (3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1), para o sistema
UPC, tem-se que, se ai e aj so dois dgitos quaisquer, de um dos dois sistemas, caso a
Do fato que
53
i j seja par, ai
ai e aj no tero o
aj
tero o mesmo peso, um ou trs. Caso a diferena
ij
diferena
seja
mpar,
mesmo peso, ou seja, um ter peso um, e o outro ter peso trs.
Com isto, para a demonstrao do resultado a seguir, basta considerar um dos dois sistemas,
pois para o outro ser anlogo.
Proposio 18.
ai e aj so
i=j for par.
Um erro de transposio em que dois dgitos no adjacentes
trocados, no pode ser detectado pelos sistemas UPC e EAN-13, se a diferena
Demonstrao:
Ao realizar o produto escalar
tem-se que os algarismos da posio par
no sistema EAN-13 (ou respectivamente mpar no sistema UPC) so multiplicados por 3,

enquanto que os outros algarismos so multiplicados por 1. Portanto, se a variao de i para
j par, o fator de multiplicao, 1 ou 3, no muda. Logo, o resultado nal no se altera.
Proposio 19.
Um erro de transposio em que dois dgitos no adjacentes
trocados, com a diferena

somente se,
i=j
ai
aj
so
mpar, ser detectado pelos sistemas EAN-13 e UPC, se e
|ai aj | = 5.
Demonstrao.
Considere
a1 , a2 , ..., ai , ...aj , . . . , a12 , a13 ,
uma sequncia de dgitos pela qual um
determinado produto est identicado no sistema EAN-13. Tem-se que:
a1 + 3a2 + + ai + + 3aj + + 3a12 + a13 0 mod 10
Sabe-se que ao realizar o produto escalar
(3)
tem-se que no sistema EAN-
13, os algarismos da posio par, so multiplicados por 3, enquanto que os algarismos na

posio mpar, so multiplicados por 1. Portanto, se a variao de i para j mpar, o fator
de multiplicao, 1 ou 3, muda.
adjacente dos algarismos
ai
aj
Dessa forma, se um cdigo sofreu uma transposio no
(sendo
i=j
mpar), tal erro ser detectado, se, e somente se:
a1 + 3a2 + + aj + 3ai + . . . + 3a12 + a13 0 mod 10
(4)
54
Fazendo (3) - (4) tem-se,
ai aj + 3aj 3ai 0 mod 10 2(ai aj ) 0 mod 10
Observe novamente, que sempre
|ai aj | 9,
j que
ai
aj
so nmeros entre
zero e 9. Da,
2(ai aj ) 0 mod 10 |ai aj | = 5
i=j
Portanto, conclui-se que o erro por transposio no adjacente, com a diferena

mpar, ser detectado se, e somente se,
|ai aj | = 5.
Foram mostrados alguns erros detectveis e outros no detectveis, envolvendo

a digitao de cdigo de barras dos sistemas EAN-13 e UPC. Outros tipos de erros e sua
possvel deteco podem ser encontrados em [12] e [5 ].
3.4 Sistema de Identicao ISBN

Uma lista de nmeros transmitida e guardada com mais ecincia do que uma
lista de nomes. Alm disso, as listas de nmeros transpem a barreira da lngua e dos vrios
alfabetos da comunidade internacional (pense na facilidade com que podemos encomendar um
livro de um editor japons sem ter que especicar o ttulo do livro em japons! ). [16]
O sistema ISBN (International Standard Book Number), criado em 1969 para

a identicao numrica de livros, CD-Roms e publicaes em braille, talvez seja um dos
pioneiros na utilizao de um dgito de vericao ao nal de cada cdigo capaz de resolver
o problema dos erros singulares e de transposio. [14]
Assim como os cdigos de barras, o ISBN tambm uma representao grca de

dados reconhecida mundialmente. Ele proporciona s bibliotecas, s editoras e principalmente
55
aos leitores, utilizarem, onde quer que estejam, uma nica linguagem (a de nmeros), no
importando de que pas seja o livro ou a origem da pessoa que o solicitar.
Conhecer um sistema to grandioso como o ISBN, saber como funciona, calcular

o dgito de vericao, ser capaz de detectar um erro de digitao, certamente ser uma rica
experincia para os alunos do Ensino Bsico, principalmente porque a cincia que est por
trs de tudo isso a Matemtica, matria esta, que necessita de contedos que prendam a
ateno dos alunos.
Os cdigos ISBN de livros lanados entre 1969 e 2007 possuem dez dgitos, os
quais denominamos ISBN-10, j para as publicaes feitas aps 1 de janeiro de 2007, os
cdigos receberam um acrscimo de trs dgitos, sendo chamados agora de ISBN-13.
A seguir ser mostrado como feito o clculo do dgito de vericao e a deteco de erros dos ISBN-10, j que para o ISBN-13 os resultados so os mesmos que foram
apresentados anteriormente para os cdigos de barras, EAN-13.
3.4.1 O Dgito de Vericao

No sistema ISBN-10 o dcimo dgito, da esquerda para a direita, o dgito de vericao, enquanto que os outros nove algarismos fazem a identicao do livro. Esses nove
algarismos so divididos em trs partes e o nmero de dgitos em cada parte pode variar. Da
esquerda para a direita, a primeira parte identica um grupo nacional ou geogrco de editores, no Brasil por exemplo, esse nmero o 85. A segunda parte, determina especicamente,
uma editora desse grupo, a FTD por exemplo, possui o nmero 322 para sua identicao.
Por m, a terceira parte, identica um ttulo especco, o livro "Matemtica Fazendo a Di-
ano, traz o nmero 5867 como identicao da
ferena, de Bonjorno & Ayrton, para o 7

obra.
O vetor de pesos do ISBN-10
= (10, 9, 8, 7, 6, 5, 4, 3, 2, 1).
Para determinar o dgito de vericao de um cdigo ISBN-10,

em que
X {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
= (a1 , a2 , a3 , . . . , X),
representa o dgito de vericao, deve-se calcular a
soma S:
S = = (a1 , a2 , a3 , . . . , X) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) = 10a1 + 9a2 + + X,
56
e esta soma deve ser congruente a zero mdulo onze. Ou seja,
10a1 + 9a2 + + X 0 mod 11
Observao:
No sistema ISBN-10, se o dgito de vericao encontrado for o nmero dez,
este ser representado pela letra x.
Exemplo 34.
Encontre o dgito de vericao de um livro cujo os primeiros nove dgitos do
ISBN-10 so: 85-7056-046.
Soluo:
Tem-se,
= (8, 5, 7, 0, 5, 6, 0, 4, 6, X).
Da,
S = = (8, 5, 7, 0, 5, 6, 0, 4, 6, X) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) =
80 + 45 + 56 + 0 + 30 + 30 + 0 + 12 + 12 + X.
Da,
S 8 + 1 + 1 + 0 3 3 + 0 + 1 + 1 + X 6 6 + 2 + X 1 + X mod 11.
Como,
S 1 + X mod 11,
ento, para que se tenha,
S 0 mod 11,
deve-se ter
X = 10.
Neste caso, o ISBN-10 desse livro 85-7056-x.
Exemplo 35. Seja X o dgito vericador do livro cujo o ISBN-10 85-322-5867-X. Determine
o valor de X.
Soluo:
Neste caso,
= (8, 5, 3, 2, 2, 5, 8, 6, 7, X).
Da,
S = = (8, 5, 3, 2, 2, 5, 8, 6, 7, X) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1)
57
S = 80 + 45 + 24 + 14 + 12 + 25 + 32 + 18 + 14 + X.
Da,
S 8 + 1 + 2 + 3 + 1 + 3 1 4 + 3 + X 2 2 0 mod 11
Como
S 0 mod 11,
conclui-se que
X = 0.
3.4.2 Deteco de Erros

Assim como nos sistemas de cdigos de barras, no ISBN, h uma grande preocupao com a deteco de possveis erros.
As duas proposies a seguir, mostraro que
erros singulares e de transposio sero detectados durante a leitura de cdigos do sistema

ISBN-10.
Lembrando que erros singulares, so aqueles em que ocorre erro na digitao de

um nico dgito. Enquanto que o erro de transposio, ocorre quando h a troca na posio
de dois dgitos.
Proposio 20.
Se ocorrer na leitura de um cdigo ISBN-10 um erro singular, ento o erro
ser detectado.
Demonstrao:
Seja
= (a1 , a2 , a3 , . . . , a10 ),
um cdigo ISBN-10. Tem-se:
S = (a1 , a2 , , ai , . . . , a10 )(10, 9, 8, 7, 6, 5, 4, 3, 2, 1) = 10a1 +9a2 + +(11 i) ai + +a10 .
Suponha que o cdigo tenha sido digitado errado e que no lugar de

um outro algarismo,
ai , 1 i 10
ai ,
digitou-se
. Neste caso,
S = (a1 , a2 , , ai , . . . , a10 )(10, 9, 8, 7, 6, 5, 4, 3, 2, 1) = 10a1 +9a2 + +(11 i) ai + +a10 .
58
Fazendo
SS
tem-se:
S S = (11 i) ai (11 i) ai = (11 i) (ai ai )

S 0 mod 11. Da, de S' e S serem mltiplos de 11, a sua diferena, S S = (11 i) (ai ai ) tambm seria mltiplo de 11, ou
seja, 11 | (11 i) (ai ai ). Como 11 primo, pela propriedade fundamental, 11 | (11 i)
ou 11 | (ai ai ). O que no pode ocorrer, j que (11 i) no mltiplo de 11, pois est
compreendido entre 1 e 10 e nem (ai ai ), mltiplo de 11, pois est compreendido entre
9 e 9.
Se o erro no fosse detectado, ento,
Portanto, o erro ser detectado.
Proposio 21.
Se ocorrer na leitura de um cdigo ISBN-10 um erro de transposio, ento
o erro ser detectado.
Demonstrao:
Seja
= (a1 , a2 , ..., ai , . . . , aj , ..., a10 ),
um cdigo ISBN-10. Tem-se:
S = (a1 , a2 , ..., ai , . . . , aj , ..., a10 ) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) =

10a1 + 9a2 + + (11 i) ai + + (11 j) aj + + a10 .
Suponha que o cdigo tenha sido digitado errado e que no lugar de
aj
e no lugar de
aj ,
digitou-se,
ai , 1 i, j 10.
ai ,
digitou-se
Neste caso,
S = (a1 , a2 , ..., aj , . . . , ai , ..., a10 ) (10, 9, 8, 7, 6, 5, 4, 3, 2, 1) =

10a1 + 9a2 + + (11 i) aj + + (11 j) ai + + a10 .
Fazendo
SS ,
tem-se:
S S = (11 i) ai (11 i) aj + (11 j) aj (11 j) ai = (i j) (ai ai ).
59
Usando o mesmo argumento da proposio anterior, necessariamente
De fato, se o erro no for detectado, ou seja,
S 0 mod 11.
S 0 mod 11, tem-se S' e S mltiplos
S S = (i j) (ai ai ) tambm ser mltiplo de 11. Mas, de 11

ser primo, pela propriedade fundamental, isso no pode ocorrer, j que (i j) no mltiplo
de 11, pois est compreendido entre e 9 e 9 e nem (aj ai ) mltiplo de 11, pois tambm
est compreendido entre 9 e 9.
de 11, logo a sua diferena,
Portanto, o erro ser detectado.
60
Captulo 4
CONSIDERAES FINAIS
Conclui-se que, por meio da Aritmtica Modular (congruncias ), certos problemas
de matemtica podero ser resolvidos de forma gil e ecaz.
Esta ferramenta permitir ao aluno, fazer investigaes matemticas, como por

exemplo: os critrios de divisibilidade.
O aluno ser capaz de estabelecer se um nmero
inteiro a divisvel por um nmero inteiro m, atravs do estudo da congruncia mdulo m,

sem precisar decorar regras.
Com a Prova dos Noves, o aluno poder estabelecer clculos mentais com facilidade, para vericar a veracidade dos resultados obtidos em operaes envolvendo nmeros
naturais.
Apresentados como uma aplicao da Aritmtica Modular, no contexto social, os

cdigo de barras e o ISBN podero despertar o interesse do aluno em aprender tal teoria.
Professores de matemtica, que atuem principalmente no ensino mdio, podero

utilizar este trabalho, como um instrumento para o desenvolvimento de aulas de Aritmtica.
Para tanto, buscou-se, durante a elaborao da redao, utilizar uma linguagem simples e
objetiva. Alm disso, o principal objetivo foi colocar aqui aplicaes de Aritmtica Modular,
pouco aproveitadas at ento nas salas de aula, de modo a serem interessantes aos olhos
dos alunos, para que os mesmos cassem curiosos e interessados em aprender mais sobre
os assuntos das aulas de matemtica. Acredita-se tambm, que motivados por este, outros
trabalhos nessa linha, possam vir a sugerir outras aplicaes interessantes da Matemtica
61
que podero ser tambm aproveitadas na Educao Bsica.
62
Referncias Bibliogrcas
[1] ANRADE, Doherty. O nove misterioso. RPM 09. Presidente Prudente-SP.
[2] BUESCU, Jorge. O mistrio do Bilhete de Identidade e outras histrias. Lisboa: Gradiva,
2001.
[3] CARDOSO, Celso. Dissertao de Mestrado, Fatorao de nmeros inteiros usando curvas elticas, Universidade Federal de Mato Grosso do Sul.
[4] COUTINHO, S.C . Criptograa. (Programa de Iniciao Cientca OBMEP, Sociedade
Brasileira de Matemtica).
[5] DIAS, Eduardo Marques. Cdigo de barras. Universidade Catlica de Braslia. Departamento de Matemtica.
[6] DOMINGUES, Hygino H. e IEZZI, Gelson . lgebra Moderna. Editora Atual, 1982.
[7] HEFEZ, A. Elementos de Aritmtica. (Srie Textos Universitrios, Sociedade Brasileira
de Matemtica). ISBN:978-85-85818-25-8
[8] HEFEZ, A. Iniciao Aritmtica. (Programa de Iniciao Cientca OBMEP, Sociedade Brasileira de Matemtica).
[9] HERNSTEIN, I.N. Topics in Algebra, 1964. ISBN: 9780471010906
[10] JNIOR, Porfrio Azevedo dos Santos. A Matemtica dos Cdigos de Barras - UPC.
Departamento de Matemtica. Universidade Federal de Gois/Campus Catalo.
[11] LOURENO, Paulo Jorge Pais, dissertao de mestrado. Aplicaes de Aritmtica.
[12] MILIES, Csar Polcino. A matemtica dos cdigos de barras. 19 f. So Paulo, SP.
IME/USP - Departamento de Matemtica, SP.
63
[13] MILIES, Francisco Cesar Polcino e COELHO, Snia Pitta . Nmeros: Uma Introduo
Matemtica.
[14] MELLO, Jos Luiz Pastore . RPM 48. Aritmtica modular e sistemas de identicao.
[15] OLIVEIRA, Krerley Irraciel Martins e FERNANES, Adn Jos Corcho. Iniciao
Matemtica: um curso com problemas e solues. SBM-2010. ISBN:978-85-85818-46-3
[16] PICADO, Jorge. A lgebra dos sistemas de identicao: da aritmtica modular aos
grupos diedrais, Boletim da Sociedade Portuguesa de Matemtica, n
44, abril/2001.
[17] RODRIGUES, Flvio Wagner . A prova dos nove. RPM 14, IME-USP.
[18] http://www.gs1-ean13.com.br/80973298613287498769652834756/entenda_o_codigo_de
_barras.htm, acessado em 14/01/2013.
[19] http://msdn.microsoft.com/pt-br/library/cc580676.aspx, acessado em 14/01/2013.
[20] http://pt.wikipedia.org/wiki/N%C3%BAmero_primo, acessado em 22/01/2013.
[21] http://www.ime.unicamp.br/~calculo/history/fermat/fermat.html,
24/03/2013.
acessado
em

Aritmetica Códigos de Barras e Outras Aplicações de Congruências PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Aritmetica Códigos de Barras e Outras Aplicações de Congruências PDF

Transféré par

Droits d'auteur :

Formats disponibles

UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL

CENTRO DE CINCIAS EXATAS E TECNOLOGIA

JOSIANE COLOMBO PEDRINI ESQUINCA

ARITMTICA: CDIGOS DE BARRAS E OUTRAS

UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL

JOSIANE COLOMBO PEDRINI ESQUINCA

ARITMTICA: CDIGO DE BARRAS E OUTRAS

Orientadora: Prof. Dr.

Elisabete Sousa Freitas

Trabalho de Concluso de Curso apresentado ao Programa de

ARITMTICA: CDIGO DE BARRAS E OUTRAS

JOSIANE COLOMBO PEDRINI ESQUINCA

Trabalho de Concluso de Curso submetido ao Programa de Ps-Graduao em Matemtica

Aprovado pela Banca Examinadora:

Prof. Dr. Claudemir Aniz - UFMS

Dr. Elisabete Sousa Freitas - UFMS

Dedico aos meus pais, Jos Antnio e Edma,

deo por aceitarem minha falta, durante minha

Edgar Allan Poe

A minha professora e Orientadora, Elisabete, por toda dedicao e pacincia, por

Ao professor e coordenador do curso, Claudemir Aniz, pelo empenho e ateno

Ao programa Profmat, pela oportunidade de crescimento prossional.

A Capes, pelo incentivo e nanciamento do curso.

Aos meus colegas de trabalho, em especial, Rosimeire, Oscar, Daiane, Clener,

Aritmtica. Diviso Euclidiana. Congruncia.

Arithmetic. Euclidean Division. Congruence.

Principais Conceitos e Teoremas . . . . . . . . . . . . . . . . . . . . . . . . .

Mximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . .

Aritmtica dos Restos

3 Aplicaes de Congruncia Para o Ensino Bsico

A Prova dos Noves

Erros Detectveis e No Detectveis . . . . . . . . . . . . . . . . . . .

Sistema de Identicao ISBN . . . . . . . . . . . . . . . . . . . . . . . . . .

Entendendo os Nmeros e as Barras no UPC e no EAN-13 . . . . . .

Elementar dos Nmeros, que estuda propriedades dos nmeros inteiros.

Uma das ferramentas importantes da Teoria Elementar dos Nmeros a Aritm-

Aritmtica Modular so a Criptograa e os Cdigos de Barras. A primeira faz a codicao

O objetivo principal deste trabalho o de servir como uma ferramenta para o

A utilizao de aplicaes em forma de exemplos, principalmente na introduo

Para exemplicar, pode-se citar a Conjectura de Golbach, formulada em 1746:

Um teorema famoso, conhecido como  O ltimo Teorema de Fermat, enunciado

Alm disso, Fermat tambm deu contribuies

importantes ao Clculo Diferencial e Integral e Geometria, por exemplo. Ele costumava

enunciado muito fcil de se entender:

no possui soluo inteira, no trivial, para n natural,

Uma soluo chamada trivial se

Na margem do Problema 8 do Livro 2 Fermat Escreveu:

A partir da, o ltimo Teorema de Fermat se tornou objeto de estudo de muitos

Enm, em 1995, o ltimo Teorema de Fermat foi demonstrado pelo matemtico

Mesmo aps o feito de Andrew Wiles, os matemticos tentam at hoje desvendar

Apesar do  ltimo Teorema de Fermat  no ter aplicaes imediatas, na tentativa

2.2 Principais Conceitos e Teoremas

2.2.1 Algoritmo da Diviso

Z dos nmeros inteiros e N dos nmeros

Princpio da Boa Ordenao.

Todo subconjunto no vazio X do conjunto

dos nmeros naturais, tem um

Dados dois nmeros naturais quaisquer, a e b,

existem dois nicos nmeros naturais q e r, com

Os inteiros r e q so chamados, respectivamente, de resto e quociente da diviso

considere a seguinte lista de nmeros, enquanto todas as diferenas

forem nmeros naturais:

b, b a, b 2a, b 3a, ..., b na, ...

Ao programa Profmat, pela oportunidade de crescimento prossional.

A Capes, pelo incentivo e nanciamento do curso.

Sistema de Identicao ISBN . . . . . . . . . . . . . . . . . . . . . . . . . .

Aritmtica Modular so a Criptograa e os Cdigos de Barras. A primeira faz a codicao

Para exemplicar, pode-se citar a Conjectura de Golbach, formulada em 1746:

Um teorema famoso, conhecido como O ltimo Teorema de Fermat, enunciado

Enm, em 1995, o ltimo Teorema de Fermat foi demonstrado pelo matemtico

Apesar do ltimo Teorema de Fermat no ter aplicaes imediatas, na tentativa

Agora basta vericar que

Devido a unicidade de q ' e de r ' provada na proposio 1, ca garantida a unicidade de q e r.

(Denio de nmero par e de nmero mpar)

Assim, pela denio,

o inteiro q nas condies da denio nico e denominado