Aritmética Códigos de Barras 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
Prof. Dr. Elisabete Sousa Freitas - UFMS

Prof. Dr. Anamaria Gomide - UNICAMP
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, concedendo-
me a chance de crescer ainda mais.
iii
Epgrafe
A engenhosidade humana no pode arquitetar uma escrita secreta que a prpria engenhosi-
dade 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, princi-
palmente 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 mo-
mentos em que precisei.
Enm, agradeo a todos que contriburam de alguma forma, para que esse objetivo
fosse alcanado.
v
Resumo
O presente trabalho tem por objetivo ser um instrumento de auxlio para o professor de ma-
temtica 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, po-
dem 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: Divi-
sibility 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 1
2 Aritmtica Modular 3
2.1 Um Pouco da Histria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Principais Conceitos e Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.1 Algoritmo da Diviso . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.2 Divisibilidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
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 Entendendo as Barras . . . . . . . . . . . . . . . . . . . . . . . . . . 43
viii
3.3.2 Entendendo os Nmeros e as Barras no UPC e no EAN-13 . . . . . . 43
3.3.3 O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3.4 Erros Detectveis e No Detectveis . . . . . . . . . . . . . . . . . . . 49
3.4 Sistema de Identicao ISBN . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.4.1 O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.4.2 Deteco de Erros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4 CONSIDERAES FINAIS 60
ix
1
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 tra-
balho 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.

2
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, 1601-
1665) 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 solucion-
los. 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,
3
4
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.
5
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 N dos nmeros naturais, tem um
menor elemento, isto , existe m0 X tal que m0 x para todo x X.

Proposio 1. (Diviso Euclidiana em N) Dados dois nmeros naturais quaisquer, a e b,
com a > 0, 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 e r = b, ou seja, b = 0 a + b, em que 0 b < a.
Caso b = a, tem-se q=1 e 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)

6
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 (ltimo nmero natural da lista).
Como r um nmero natural, 0 r. Agora basta vericar que r < a.
Suponha que 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 r = b qa.
Portanto, b = aq + r com 0 r < a, o que prova a existncia de q e r.
(Unicidade)
Sejam b = qa + r e b = q 0 a + r0 , com 0r<a e 0 r0 < a. Suponha, sem perda

0
de generalidade, que r r , tem-se que:
r r0 0 r0 r = q 0 a + qa = (q q 0 )a e
0 r r0 < a 0 r0 r < a.
Da,
0 (q q 0 )a < a 0 q q 0 < 1 q 0 q = 0 q = q 0
Logo, r = r0 .
Portanto, r e q so nicos tais que b = qa + r, com 0 r < a.

7
Exemplo 1. Escreva a lista (1) para os seguintes valores de a e b :
(i ) a=3 e b = 10.
Tem-se a seguinte sequncia:
10, 10 - 3, 10 - (2 x 3), 10 - (3 x 3);
10, 7, 4, 1
Assim, 10 = 3 3 + 1, ou seja, q=3 e r = 1.
(ii ) a = 10 e b = 3.
Neste caso, como b < a, tem-se:
3 = 0 10 + 3, ou seja, q=0 e r = 3.
(iii ) a=2 e 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 22 = 11 2 + 0, o que d, q = 11 e r = 0.
Sempre que r = 0, isto , b = qa, 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, con-
forme mostra a seguinte proposio:

8
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 q0 e r0 tais que b = q 0 a + r0 , em que
0 r0 < a. Da,
b = q 0 a + r0 b = q 0 a r0 b = q 0 a a + a r0
b = (q 0 1)a + a r0 , 0 a r0 < a
Dessa forma, q = (q 0 1), cumpre o papel do quociente, enquanto que r = a r0

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 unici-
dade 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?

9
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)
Seja a Z. Considere a diviso euclidiana de a por 2. Tem-se que a = 2q + r em
que r=0 ou r = 1.
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} = {numeros pares} {numeros mpares} .
Exemplo 3. Prove que o produto de dois nmeros inteiros consecutivos sempre par.
Soluo:
Considere dois nmeros inteiros consecutivos, n e n + 1. Tem-se que n = 2q ou
n = 2q + 1. Donde n (n + 1) = 2q (2q + 1) ou n = (2q + 1) (2q + 2) = 2 (2q + 1) (q + 1).
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: a|b (l-se: a divide b, ou a um divisor de b ou b
um mltiplo de a).
10
Caso a no divida b, escreve-se: a-b (l-se: a no divide b).
Exemplo 4. Tem-se que 5 | 35, pois 35 = 75.
Observao: Se b 6= 0 e a | b, o inteiro q nas condies da denio nico e denominado
quociente de b por a, indicado por q= b

a
. De fato, se b = a q = a q0 ento a (q =q 0 ) = 0,
em que a 6= 0, e da q = q0.
Quando a = 0 divide b, tem-se que b = 0 e neste caso 0 = 0 q , para todo q inteiro.
0
Assim, pela denio, uma indeterminao.
0
Exemplo 5. Tem-se que 5 | 35 e 7= 35

5
.
Proposio 3. Sejam a, b, c e d nmeros inteiros quaisquer. Ento valem:
(i ) 1 | a, a | a e a | 0.
(ii ) Se a|b e b | c, ento a | c.
(iii ) Se a|b e c | d, ento (ac) | (bd).
(iv ) Se a|b e a | c, ento a | (b + c).
(v ) Se a|b ento para todo m Z, tem-se que a | (mb).
(vi ) Se a|b e a | c, ento para todos m, n Z, tem-se que a | (mb + nc).
(vii ) a|b a | b a | b a | b.
(viii ) Se a|b e b 6= 0, ento |a| |b|.
(ix ) Se b|a e a | b, ento a = b.
(x ) Se a | 1, ento 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.
11
(ii ) Se a|b e b | c, ento existem nmeros inteiros q1 e q2 , tais que b = q1 a e c = q 2 b,

substituindo a primeira equao na segunda tem-se, c = (q2 q1 )a, logo, a | c.
(iii ) Se a|b e c | d, ento existem nmeros inteiros q1 e q2 , tais que b = q 1 a e d = q 2 c,

multiplicando ordenadamente a primeira e a segunda equao tem-se, bd = (q2 q1 )ac, logo,
ac | bd.
a | b e a | c, ento existem nmeros inteiros q1 e q2 , tais que b = q1 a e c = q2 a, somando

(iv ) Se
membro a membro as duas equaes tem-se, b + c = q1 a + q2 a = (q2 + q1 )a, logo, a | (b + c).
(v ) Se a | b ento existe um nmero inteiro q, tal que b = qa, multiplicando a equao anterior
por um nmero inteiro m, tem-se que mb = (qm)a, logo, para todo m, tem-se que a | mb.
(vi ) Se a|b e a | c, ento existem nmeros inteiros q1 e q2 , tais que b = q1 a e 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 ltimas equaes,
obtm-se mb + nc = q1 ma + q2 na = (q1 m + q2 n)a, logo a | (mb + nc).
(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 6= 0, ento existe um inteiro q 6= 0 tal que b = qa, logo,
|b| = |qa| = |q| |a| |a|.
(ix ) Suponha que b|a e a | b.

a = 0 ou b = 0, tem-se, a = b = 0. No caso a, b 6= 0,
Se tem-se,
pelo item (viii ) desta proposio, |a| |b| e |a| |b| logo, |a| = |b|, ou seja, a = b.
(x ) Suponha que a | 1. Do item (i ) desta proposio, 1 |a para todo a inteiro. Logo, pelo
item anterior (ix ), tem-se que a = 1.
Proposio 4. Sejam a, b, c Z, tais que a | (b + c). Ento
a | b a | c.
12
Demonstrao:
Suponha que a | (b + c). Ento, existe um nmero inteiro q, tal que b + c = qa.
()
Suponha ainda, que a | b, ento existe q1 tal que b = aq1 . De b + c = qa e de
b = aq1 , tem-se que aq1 + c = aq . Da, c = a(q q1 ), como q q1 Z , pode-se concluir que
a | c.
A demonstrao da recproca anloga.
Exemplo 6. Sejam a, b Z e n N. Tem-se que (a b) | (an bn ).
Soluo:
Pode-se escrever,
an bn = (a b)(an1 + an2 b + + bn1 ).
Logo, (a b) | (an bn ).
Exemplo 7. Sejam a, b Z e n N. Tem-se 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 ).

13
Portanto, (a + b) | (a2n+1 + b2n+1 ).
Exemplo 8. Sejam a, b Z e 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, a + b | (a2n b2n ).
Exemplo 9. (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 n2 1.
Exemplo 10. Mostre que 13 | 270 + 370 .
Soluo:
Escrevendo,
35 35
270 + 370 = (22 ) + (32 ) = 435 + 935 .
Pelo exemplo 7, (a + b) | (a2n+1 + b2n+1 ). Assim, fazendo a = 4, b = 9 e n = 17,

segue que:
4 + 9 | (435 + 935 ) 13 | 270 + 370 .

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 a 6= 0, tem-se que D(a) nito.
Seja m um nmero inteiro. Indica-se por Zm 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 d|a e d | b.
Indica-se por D(a, b) o conjunto dos divisores comuns de a e b.
Observao: Se a e b no so simultaneamente nulos, o conjunto D(a, b) nito. De fato,
D(a, b) = D(a) D(b), onde pelo menos um dos conjuntos nito.
Denio 3. 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:
1. Como a 6= 0 ou b 6= 0, D(a, b) nito, assim sempre possui um maior elemento e
mdc(a, b) 1.
2. Da denio, segue que mdc(a , b) = mdc(b , a).
Exemplo 11. 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, mdc(16, 24) = 8
Observao: 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, mdc(15, 45) = 15.
Observao: 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 a 6= 0, ento mdc(a , 0) = a;
mdc(a , 1) = 1;
a | b mdc(a , b) = a.
Proposio 5. Considere m um inteiro e Zm o conjunto dos mltiplos de m. Tem-se que:
(i ) Se , Zm, ento + Zm.
(ii ) Se Zm e a Z, ento a Zm.
Demonstrao:
, Zm, existem x e y, nmeros inteiros, tais que = xm e = ym, assim,

(i ) De fato, se
+ = xm + ym = (x + y)m. Portanto, + Zm.
(ii ) De Zm, existe um nmero inteiro x tal que = xm. Multiplicando, por a tem-se:
a = xma = xam.
Portanto, a Zm.

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}.
Exemplo 13. m = 1 m + 0 n, n = 0 m + 1 n,=m = (=1) m + 0 n,

Observe que
=n = 0 m + (=1) n, portanto m, n, =m, =n Zm + Zn.

Proposio 6. Sejam m e n nmeros inteiros. Tem-se que:
(i ) Se , Zm + Zn, ento + Zm + Zn
(ii ) Se Zm + Zn e a Z, ento a Zm + Zn
Demonstrao:
(i ) Suponha que , Zm + Zn, ento existem x, y, z e w, nmeros inteiros, tais que
= xm + yn e = zm + wn. Assim,
+ = xm + yn + zm + wn = (x + z)m + (y + w)n.
Portanto, + Zm + Zn.
(ii )De 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. Ento existe um inteiro d>0

tal que Zm + Zn = Zd.
18
Demonstrao:
Considere o conjunto, indicado por J+ denido do seguinte modo:
J + = {x Zm + Zn; x > 0}.
Como m, n, =m, =n Zm + Zn, tem-se que J+ no um conjunto vazio.
Para provar que Zm + Zn = Zd, considere d J + tal que d o menor elemento

+
de J . Tem-se que d>0 e existem inteiros r e s tais que d = rm + sn.
Tomando um elemento qualquer de Zd, o qual da forma xd = x(rm + sn) =

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

Suponha
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
demonstrao est concluda.
Proposio 7. Se m e n so inteiros, no simultaneamente nulos e Zm + Zn = Zd, onde
d > 0, ento d = mdc(m, n).
Demonstrao:
m, n Zd = Zm + Zn, d um divisor comum de m e n. Alm disso, como

Como
d Zd = Zm + Zn, d = rm + sn, donde todo divisor comum, d', de m e n divide d, portanto

d o maior dos divisores comuns de m e n.

19
Corolrio 1. (Teorema de Bzout ) Se d = mdc(m , n), ento existem nmeros inteiros x e
y, tais que d = mx + ny .
Corolrio 2. (Caracterizao do mdc(a,b) ) Sejam a e b nmeros inteiros no simultanea-
mente nulos, d>0 o mximo divisor comum de a e b, se, e somente se:
(i) d|a e d|b
(ii) Se d' um nmero inteiro tal que d0 | a e d0 | b, ento d0 | d.
A caracterizao do mdc dada pelo corolrio anterior, era utilizada por Euclides
como denio para o mdc.
Lema 1. (Lema de Euclides) Sejam a, b, n Z. Ento, mdc(a , b) = mdc(a , b na).
Demonstrao:
Considerando mdc(a , b na) = d, segue que d|a e d | b na. Donde d | na, e
d | b na + na. Assim, d | a e d | b.
Se d' um divisor comum de a e b, ento d' divide a e b na logo, d' divide d.
Portanto, 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 mdc(a, b) = mdc(a, b) = mdc(a, b) = mdc(a, b), vamos considerar
a, b > 0.
20
Para determinar o mximo divisor comum de dois nmeros inteiros a, b > 0,

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

inteiros tais que a = r1 q2 + r2 , 0 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 qn1 qn
b a r1 r2 rn2 rn1 = mdc(a , b) rn = 0
r1 r2 r3 r4 rn 0
Tabela 2.1: Algoritmo de Euclides

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. Clculo de mximos divisores comuns.
a)mdc(14 , 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:
()
Sejam a e b dois inteiros primos entre si, ou seja, mdc(a , b) = 1. Assim, pelo
Teorema de Bzout, existem r, s, nmeros inteiros, tais que ra + sb = 1.
()
Seja d = mdc(a , b), ento d|a e d | b, implica que d | (ra + sb), ou seja, d | 1.
Portanto, d = 1.

22
2.2.5 Nmeros Primos
"Nmeros: eles desempenham um papel an-
logo ao dos tomos na estrutura da mat-
ria. Todos os outros nmeros podem ser ob-
tidos atravs de produtos dos nmeros pri-
mos."(Francisco Cesar Polcino Milies e Snia
Pitta Coelho).
Denio 6. Um nmero pN chamado nmero primo se:
(i ) p>1 e
(ii ) os nicos divisores naturais de p so 1 e p.
Proposio 9. Dados dois primos p e q e um nmero inteiro a qualquer, tem-se que:
(i) Se p|q ento p = q.
(ii) Se p -a ento mdc (a, p) = 1.
Demonstrao:
(i) De q ser primo tem-se que seus nicos divisores positivos so 1 e q. Como p|q segue que
p= 1 ou p = q, mas p primo, logo p = q.
(ii) Seja d = mdc(p , a), ento d|p e d | a. De p ser primo e de d | p, tem-se que d=p ou
d = 1, mas por hiptese p - a, ento d = 1.
Curiosidade: 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 n1 de n, tal que n1 6= 1

e n1 6= n. Segue que existir um n1 e existir um n2 , tal que:
n = n1 n2 , com 1 < n1 < n e 1 < n2 < n.
Proposio 10. O menor divisor maior do que 1 de qualquer nmero natural, n > 1,
necessariamente um nmero primo.
Demonstrao:
Sejam n N, n > 1 e d o menor divisor, maior do que 1, de n.
Se d fosse composto, ento teria um divisor n0 tal que, 1 < n0 < d. Da, n0 | n, o
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 to-
dos 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 procedi-
mento 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. O
terceiro nmero no riscado, o 5, que primo.
Risca-se ento, todos os mltiplos de 5, acima de 5, pois nenhum deles primo. O
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
2 3 4 5 6 7 8 9 10 Nmeros Primos
11 12 13 14 15 16 17 18 19 20 2;3;5;7;11;13;17;
21 22 23 24 25 26 27 28 29 30 19;23;29;31;37;
31 32 33 34 35 36 37 38 39 40 41;43;47;53;59;
41 42 43 44 45 46 47 48 49 50 61;67;71;73;79;
51 52 53 54 55 56 57 58 59 60 83;89;97;101;
61 62 63 64 65 66 67 68 69 70 103;107;109;113
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100
101 102 103 104 105 106 107 108 109 110
111 112 113 114 115 116 117 118 119 120
Tabela 2.2: Crivo de Eratstenes
Proposio 11. Sejam a, b, c Z. Se a | bc e mdc(a, b) = 1, ento a | c.
Demonstrao:
Suponha que a | bc e mdc(a, b) = 1. Segue que existem inteiros r e s tais que
ra + sb = 1, donde rac + sbc = c. Como a | a e a | bc, tem-se que a | c.

Proposio 12. (Propriedade fundamental dos nmeros primos ) Sejam a, b Z e p um
nmero primo. Se p | ab, ento p|a ou p | b.
Demonstrao:
Suponha que p - a. Ento, pela proposio 9, item (ii), mdc(p , a) = 1, assim,
pela proposio anterior, tem-se que p | b.

26
A proposio anterior aparece no livro Os Elementos VII , de Euclides.
Proposio 13. Sejam n, d N. Se d>1 e d|n ento d - n + 1.
Demonstrao:
De fato, se d | n + 1, como d | n, teria-se d | 1. Isto no possvel pois d > 1.
Teorema 2. Existem innitos nmeros primos.
Demonstrao:
Sejam p1 , p2 , p3 , . . . , ps , os s primeiros primos, s N? . 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.
Como p | p1 p2 p3 . . .ps +1, usando a proposio 13, tem-se que p - p1 p2 p3 . . .ps .

Logo, p 6= pi , para todo i = 1, 2, ..., s.
Portanto existem innitos nmeros primos.
2.2.6 Congruncia Mdulo m

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. Sejam a, b, m Z com m > 1, diz-se que a congruente a b mdulo m e
denota-se por a b mod m, se a e b possurem o mesmo resto ao serem divididos por m.
Exemplo 15. Como 78 = 5 15 + 3 e 78 = 5 (16) + 2, tem-se que:
78 3 mod 5 e 78 2 mod 5.
Observao: 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, onde 0 r < m.
Como 0 r < m, o resto da diviso de r por m exatamente r.
Portanto a r mod m.
Observao: Se 0 r1 , r2 < m e r1 r2 mod m ento r1 = r2 .
Exemplo 16. 16 8 mod 4.
De fato, pois 16 e 8 deixam resto zero quando divididos por 4.
Exemplo 17. 12 8 mod 10
Como 8 = 1 10 + 2, tem-se que 12 e 8 deixam resto 2 quando divididos por
10.
Exemplo 18. 30 6 10 mod 6

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 Z 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 e q2 , tais
que:
a = q1 m + r e 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 a = q1 m + r1 e b = q 2 m + r2 com
0 r1 , r2 m 1. Da,
b a = q2 m + r2 (q1 m + r1 ) = (q2 q1 )m + r2 r1
Como m | (b a) e m | (q2 q1 )m, tem-se que m | r2 r1 .
Supondo sem perda de generalidade que r1 r2 e observando que 0 r2 r1

m 1, conclui-se que r2 r1 = 0.
Portanto r2 = r1 , donde a b mod m.

29
As proposies 3 (Divisibilidade) e 14 estabelecem as propriedades da congruncia
m dulo m.
Proposio 15. Sejam a, b, c, d, m e r, nmeros inteiros, com m>1 e r 1. Ento:
(i ) a a mod m.
(ii ) Se a b mod m, ento b a mod m.
(iii ) Se a b mod m e b c mod m, ento a c mod m.
(iv ) Se a b mod m e c d mod m, ento (a + c) (b + d) mod m.
(v ) Se a b mod m e c d mod m, ento ac bd mod m.
(vi ) Se a b mod m, ento ar br mod m.
(vii )(a + c) (b + c) mod m se, e somente, se a b mod m.
(viii ) Se ab ac mod m e mdc(a , m) = 1, ento b c mod m.
Demonstrao:
(i ) Basta observar que m | (a a) = 0.
(ii ) Se a b mod m, ento m | (b a), donde m | (a b), o que implica que b a mod m.
(iii ) Suponha que a b mod m e b c mod m. Da, m | (ab) e m | (cb), donde m | (ac).
Portanto a c mod m.
(iv ) Suponha que a b mod m e c d mod m. Tem-se que m | (b a) e m | (d c), donde:
m | ((b a) + (d c)) = b + d (a + c).
Portanto, a + c b + d mod m.
30
(v ) Suponha que a b mod m e c d mod m. Tem-se que m | (b a) e m | (d c), donde
m | d(b a) e m | a(d c). Da, m | (d(b a) a(d c)), ou seja, m|(ac bd).
Portanto, ac bd mod m.
(vi ) Suponha que a b mod m. Aplicando o item (v ) desta proposio r1 vezes:

a b mod m

a b mod m

r congruencias .
ar br mod m.
.
.

a b mod m

(vii ) 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) = 1, tem-se necessariamente que m | (c b).
Portanto, 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 (1)

72 = 49 5 mod11

(2)

73 35 2 mod11

(3)

74 52 25 3 mod11 (4)

75 21 10 1 mod11

(5)

710 (1)2 1 mod11

(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,
5
(710 ) 15 mod11 750 1 mod11.
Portanto, o resto da diviso de 750 por 11 1.
Exemplo 20. Encontre o resto da diviso de 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:
7
(53 ) (2)7 128 1 126 mod127.
Portanto, o resto da diviso de 521 por 127 126.

32
Exemplo 21. Determine o resto da diviso do nmero

2 3
1010 + 1010 + 1010 + + 1010
100
por
7.
Sabe-se que:
10 3 mod 7 102 9 2 mod 7 1010 32 4 mod 7 e

4 3 mod 7

42 2 mod 7

44 4 mod 7

45 2 mod 7

410 4 mod 7

Dessa forma,
1010 410 4 mod 7
2 10
1010 = (1010 ) 410 4 mod 7.
Continuando tem-se que:
2 3 100
1010 1010 1010 1010 4 mod 7.
Logo,
2 3 100
1010 + 1010 + 1010 + + 1010 |4 + 4 + 4{z+ + 4} 400 1 mod 7.
100 parcelas
2 3 100
Portanto, o resto da diviso de 1010 + 1010 + 1010 + + 1010 por 7 1.
Exemplo 22. Qual o algarismo das unidades do nmero 2100 + 1316 ?

33
Soluo:
Para encontrar o algarismo das unidades de qualquer nmero, basta encontrar
o resto da diviso desse nmero por 10. Por isso, usa-se a congruncia mdulo 10, para
encontrar o algarismo das unidades de 2100 + 1316 .

2 2 mod10 (1)

42 6 mod10 (5)

22 4 mod10

(2)
4
4 6 mod10 (6)
e .

25 2 mod10 (3)

45 4 mod10 (7)

210 4 mod10

(4) 410 6 mod10

(8)
Da,
10
(210 ) 410 6 mod 10 2100 6 mod 10. (9)
Agora,

13 3 mod10 (10)

132 9 mod10

(11)

134 1 mod10 (12)

1316 1 mod10

(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 aplica-
es 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, 38 = 3 10 + 8.
Tem-se que, 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 6 - 38.
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.
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

102 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:

a1 10 0 mod2

a2 102 0 mod2

a3 103 0 mod2

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 a = an an1 . . . a1 a0 , divisvel por dois se, e somente
se, a0 for divisvel por dois, passando a ser este um critrio de divisibilidade por dois.
37
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.
Considerea = 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:
a0 + a1 10 + a2 102 + + an 10n a0 + a1 + a2 + + an mod 3.
ou seja,
a a0 + a1 + a2 + + an mod 3.
Portanto, 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.

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.
Dado a = an an1 . . . a1 a0 = an 10n + an1 10n1 + a2 102 + a1 10 + a0 , n N.

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

n
a3 + + (1) an 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 8
246 3
181302
| {z } 24
|{z}

6 = 6
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 8
246 3
1813402
| {z } 24
|{z}

7 6= 6
Podemos armar com certeza que a conta est errada.
A regra explicada, usando as propriedades das congruncias.
De fato:
Se a a0 mod m e b b0 mod m ento ab a0 b0 mod m.
Voltando ao exemplo onde 737 246 = 181402

41
Como 737 8 mod 9 e 246 3 mod 9, tem-se que 737 246 3 8 mod 9.
Neste exemplo, 181402 3 8 mod 9, e da 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 0 00 000 0000
Preta 1 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 0; 1; 2; ...; 9
representado por uma sequncia de zeros e uns, conforme a tabela abaixo. 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

0 0001101 1110010
1 0011001 1100110
2 0010011 1101100
3 0111101 1000010
4 0100011 1011100
5 0110001 1001110
6 0101111 1010000
7 0111011 1000100
8 0110111 1001000
9 0001011 1110100
Tabela 3.2: UPC
Exemplo 30. O nmero

| {z } 291452
036000 | {z } ser escrito como:
lado esquerdo 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 inter-
pretao: 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
0 0001101 0100111 1110010
1 0011001 0110011 1100110
2 0010011 0011011 1101100
3 0111101 0100001 1000010
4 0100011 0011101 1011100
5 0110001 0111001 1001110
6 0101111 0000101 1010000
7 0111011 0010001 1000100
8 0110111 0001001 1001000
9 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
Lado Esquerdo Lado Direito
1 80110111 (quantidade mpar de uns) 7 31000010
2 90010111 (quantidade par de uns) 8 21101100
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 1 2 3 4 5 6
0 mpar mpar mpar mpar mpar mpar
1 mpar mpar Par mpar Par Par
2 mpar mpar Par Par mpar Par
3 mpar mpar Par Par Par mpar
4 mpar Par mpar mpar Par Par
5 mpar Par Par mpar mpar Par
6 mpar Par Par Par mpar mpar
7 mpar Par mpar Par mpar Par
8 mpar Par mpar Par Par mpar
9 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 im-
perfeio 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 escre-
vendo a sequncia de dgitos em forma de vetor, tem-se = (a1 , a2 , , a12 , X)
O sistema EAN-13, utiliza um vetor xo, , 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
= (3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1).
Exemplo 32. 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 4 8 9 1 6 6 8 3 2 6 6 8 X
Vetor de Pesos EAN-13 1 3 1 3 1 3 1 3 1 3 1 3 1
Resultado do produto 4 24 9 3 6 18 8 9 2 18 6 24 X
Deve-se ter = 4 + 24 + 9 + 3 + 6 + 18 + 8 + 9 + 2 + 18 + 6 + 24 + X 0 mod 10.
Que o mesmo que

{z24 + 18 + 2} +4+3+8+9+9+18+X 0 mod 10.
6| + 24 + 6 +
0 mod10
Da,
4 + 8 + 9 + 9 + 18 + 3 + X = 12 + 18} + 18 + 3 + X 0 mod 10 21 + X 0 mod 10

| {z
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 |{z}
98
Como o cdigo um EAN-13, o vetor de pesos utilizado ser:
= (1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 1).
Alm disso, = (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 6 0 mod 10, o erro ser detectado.

51
b) 489 |{z}
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. Uma transposio adjacente detectada pelo EAN-13 e pelo UPC, se e
somente se, |ai ai+1 | =

6 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 |ai ai+1 | 9, j que ai e ai+1 so nmeros entre zero e 9.
Da,
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 | =

6 5.
Proposio 17. Uma transposio no adjacente do tipo,
..., ai , ai+1 , ai+2 . . . 7 ..., 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

Do fato que
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
53
diferena i j seja par, ai e aj tero o mesmo peso, um ou trs. Caso a diferena ij seja
mpar, ai e aj no tero o 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. Um erro de transposio em que dois dgitos no adjacentes ai e aj so

trocados, no pode ser detectado pelos sistemas UPC e EAN-13, se a diferena i=j for par.
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 ai e aj so
trocados, com a diferena i=j mpar, ser detectado pelos sistemas EAN-13 e UPC, se e
somente se, |ai aj | =

6 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 (3)
Sabe-se que ao realizar o produto escalar , 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. Dessa forma, se um cdigo sofreu uma transposio no
adjacente dos algarismos ai e aj (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 e aj so nmeros entre
zero e 9. Da,
2(ai aj ) 0 mod 10 |ai aj | = 5
Portanto, conclui-se que o erro por transposio no adjacente, com a diferena
i=j mpar, ser detectado se, e somente se, |ai aj | =

6 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 detec-
o 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 ve-
ricao, 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 edito-
res, 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-
ferena, de Bonjorno & Ayrton, para o 7 ano, traz o nmero 5867 como identicao da
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, = (a1 , a2 , a3 , . . . , X),

em que X {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} 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 preo-
cupao 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 ai , digitou-se
um outro algarismo, a0i , 1 i 10 . Neste caso,
S 0 = (a1 , a2 , , a0i , . . . , a10 )(10, 9, 8, 7, 6, 5, 4, 3, 2, 1) = 10a1 +9a2 + +(11 i) a0i + +a10 .

58
Fazendo S S0 tem-se:
S S 0 = (11 i) ai (11 i) a0i = (11 i) (a0i ai )
Se o erro no fosse detectado, ento,S 0 0 mod 11. Da, de S' e S serem ml-
0 0
tiplos de 11, a sua diferena, S S = (11 i) (ai ai ) tambm seria mltiplo de 11, ou
0
seja, 11 | (11 i) (ai ai ). Como 11 primo, pela propriedade fundamental, 11 | (11 i)
0
ou 11 | (ai ai ). O que no pode ocorrer, j que (11 i) no mltiplo de 11, pois est
0
compreendido entre 1 e 10 e nem (ai ai ), mltiplo de 11, pois est compreendido entre
9 e 9.
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 ai , digitou-se
aj e no lugar de aj , digitou-se, ai , 1 i, j 10. Neste caso,
S 0 = (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 S S 0, tem-se:
S S 0 = (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 S 0 6 0 mod 11.
De fato, se o erro no for detectado, ou seja, S 0 0 mod 11, tem-se S' e S mltiplos
S S 0 = (i j) (ai ai ) tambm ser mltiplo de 11. Mas, de 11
de 11, logo a sua diferena,
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.
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 facili-
dade, 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 cur-
vas 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. Depar-
tamento 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, Socie-
dade 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, acessado em
24/03/2013.

Aritmética Códigos de Barras PDF

Diunggah oleh

Informasi Dokumen

Deskripsi Asli:

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Aritmética Códigos de Barras PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

UNIVERSIDADE FEDERAL DE MATO GROSSO DO SUL

CENTRO DE CINCIAS EXATAS E TECNOLOGIA

MATEMTICA EM REDE NACIONAL

JOSIANE COLOMBO PEDRINI ESQUINCA

ARITMTICA: CDIGOS DE BARRAS E OUTRAS

CENTRO DE CINCIAS EXATAS E TECNOLOGIA

MATEMTICA EM REDE NACIONAL

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

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

Prof. Dr. Elisabete Sousa Freitas - UFMS

dade humana no possa resolver.

Edgar Allan Poe

nos momentos em que mais precisei.

em tudo o que precisasse.

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

Ao programa Profmat, pela oportunidade de crescimento prossional.

A Capes, pelo incentivo e nanciamento do curso.

A todos os colegas de turma, pelas trocas de conhecimento que zemos, princi-

palmente a Hellen pelos dias e noites de estudo.

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

mentos em que precisei.

Palavras-chave: Aritmtica. Diviso Euclidiana. Congruncia.

Keywords: Arithmetic. Euclidean Division. Congruence.

2.2 Principais Conceitos e Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . 5

2.2.1 Algoritmo da Diviso . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

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.2 A Prova dos Noves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

3.3 Cdigo de Barras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

3.3.1 Entendendo as Barras . . . . . . . . . . . . . . . . . . . . . . . . . . 43

3.3.3 O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . . 48

3.3.4 Erros Detectveis e No Detectveis . . . . . . . . . . . . . . . . . . . 49

3.4 Sistema de Identicao ISBN . . . . . . . . . . . . . . . . . . . . . . . . . . 54

3.4.1 O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . . 55

3.4.2 Deteco de Erros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

A Teoria dos Nmeros o ramo da matemtica que estuda propriedades dos

Elementar dos Nmeros, que estuda propriedades dos nmeros inteiros.

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

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 Criptograa e os Cdigos de Barras. A primeira faz a codicao

de senhas ou de outros contedos que necessitem de sigilo absoluto, proporcionando-lhes a

de produtos, o que facilita muito a organizao de estoques, alm de agilizar o processo de

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

presente no dia-a-dia e o quanto so importantes as suas aplicaes.

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

2.1 Um Pouco da Histria

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, princi-

3.3.3 O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . . 48

3.4 Sistema de Identicao ISBN . . . . . . . . . . . . . . . . . . . . . . . . . . 54

3.4.1 O Dgito de Vericao . . . . . . . . . . . . . . . . . . . . . . . . . . 55

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

Embora no fosse um matemtico por prosso, Pierre de Fermat (Frana, 1601-

propor diversos desaos para matemticos da poca, os quais se empenhavam em solucion-

na sua cpia do livro Aritmtica , do grego Diofanto.

Eu descobri uma demonstrao verdadeiramente maravilhosa disto, que toda

via esta margem no sucientemente grande para cab-la [ 7 ].

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

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

Como r um nmero natural, 0 r. Agora basta vericar que r < a.

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

Observao: (Denio de nmero par e de nmero mpar)