Vous êtes sur la page 1sur 44

TEORIA DOS NMEROS

CURSOS DE GRADUAO EAD

Teoria dos Nmeros Prof. rico Santana de Macedo e Prof. Ms. Yuri Santana de
Macedo

Meu nome rico Santana de Macedo. Cursei Licenciatura em


Matemtica na Universidade Estadual de Campinas (Unicamp) e
participei do Programa de Aperfeioamento para Professores de
Matemtica, oferecido pelo Instituto Nacional de Matemtica
Pura e Aplicada (IMPA). Atualmente, sou professor de Matemtica
na rede particular de ensino.
E-mail: ericosantana.1@gmail.com

Meu nome Yuri Santana de Macedo. Cursei Licenciatura em Fsica


na Universidade do Estado de Santa Catarina (Udesc), campus
Joinville, e Mestrado em Engenharia Nuclear no Instituto Militar
de Engenharia (IME). Atualmente, no Claretiano Faculdade de
Rio Claro, leciono as disciplinas de Fsica, Laboratrio de Fsica e
Estatstica para Servio Social, dos cursos de Engenharia Eltrica,
Mecnica, Mecatrnica e Servio Social. Alm disso, atuo como
professor responsvel e tutor web do curso de Engenharia de
Produo do Claretiano Centro Universitrio.
E-mail: yuri_macedo@yahoo.com.br

Fazemos parte do Claretiano - Rede de Educao


rico Santana de Macedo
Yuri Santana de Macedo

TEORIA DOS NMEROS

Batatais
Claretiano
2014
Ao Educacional Claretiana, 2014 Batatais (SP)
Verso: dez./2014

512.7M12t

Macedo,ricoSantanade
Teoriadosnmeros/ricoSantanadeMacedo,YuriSantanadeMacedoBatatais,
SP:Claretiano,2014.
132p.

ISBN:9788583773009

1.Osinteiros:conceitoseresultadosbsicosdaaritmticadosinteiros.2.MDC.3.MMC.
4.NmerosPrimos.5.Congruncias6.EquaesDiofantinas.7.Aplicaes.I.Macedo,
YuriSantanade.II.Teoriadosnmeros.




CDD512.7

Corpo Tcnico Editorial do Material Didtico Mediacional


Coordenador de Material Didtico Mediacional: J. Alves

Preparao Reviso
Aline de Ftima Guedes Ceclia Beatriz Alves Teixeira
Camila Maria Nardi Matos Eduardo Henrique Marinheiro
Felipe Aleixo
Carolina de Andrade Baviera
Filipi Andrade de Deus Silveira
Ctia Aparecida Ribeiro Juliana Biggi
Dandara Louise Vieira Matavelli Paulo Roberto F. M. Sposati Ortiz
Elaine Aparecida de Lima Moraes Rafael Antonio Morotti
Rodrigo Ferreira Daverni
Josiane Marchiori Martins Snia Galindo Melo
Lidiane Maria Magalini Talita Cristina Bartolomeu
Luciana A. Mani Adami Vanessa Vergani Machado
Luciana dos Santos Sanana de Melo
Patrcia Alves Veronez Montera Projeto grfico, diagramao e capa
Raquel Baptista Meneses Frata Eduardo de Oliveira Azevedo
Joice Cristina Micai
Rosemeire Cristina Astolphi Buzzelli Lcia Maria de Sousa Ferro
Simone Rodrigues de Oliveira Luis Antnio Guimares Toloi
Raphael Fantacini de Oliveira
Bibliotecria Tamires Botta Murakami de Souza
Ana Carolina Guimares CRB7: 64/11 Wagner Segato dos Santos

Todos os direitos reservados. proibida a reproduo, a transmisso total ou parcial por qualquer
forma e/ou qualquer meio (eletrnico ou mecnico, incluindo fotocpia, gravao e distribuio na
web), ou o arquivamento em qualquer sistema de banco de dados sem a permisso por escrito do
autor e da Ao Educacional Claretiana.

Claretiano - Centro Universitrio


Rua Dom Bosco, 466 - Bairro: Castelo Batatais SP CEP 14.300-000
cead@claretiano.edu.br
Fone: (16) 3660-1777 Fax: (16) 3660-1780 0800 941 0006
www.claretianobt.com.br
Fazemos parte do Claretiano - Rede de Educao
SUMRIO

CONTEDO INTRODUTRIO
1 INTRODUO.................................................................................................... 9
2 GLOSSRIO DE CONCEITOS.............................................................................. 11
3 ESQUEMA DOS CONCEITOS-CHAVE................................................................. 12
4 REFERNCIA BIBLIOGRFICA........................................................................... 13
5 E-REFERNCIAS................................................................................................. 13

Unidade1 DIVISIBILIDADE, MMC E MDC


1 INTRODUO.................................................................................................... 17
2 CONTEDO BSICO DE REFERNCIA............................................................... 17
2.1. DIVISIBILIDADE: DEFINIO E PROPRIEDADES....................................... 17
2.2. O ALGORITMO DA DIVISO....................................................................... 22
2.3. MNIMO MLTIPLO COMUM E MXIMO DIVISOR COMUM................. 25
2.4. UMA APLICAO DOS CONCEITOS DE DIVISIBILIDADE:
O ALGORITMO DE EUCLIDES..................................................................... 33
3 CONTEDOS DIGITAIS INTEGRADORES .......................................................... 38
3.1. DIVISIBILIDADE: DEFINIO E PROPRIEDADES....................................... 38
3.2. O ALGORITMO DA DIVISO....................................................................... 39
3.3. MDC, MMC E O ALGORITMO DE EUCLIDES ............................................ 40
4 QUESTES AUTOAVALIATIVAS......................................................................... 40
5 CONSIDERAES............................................................................................... 43
6 REFERNCIAS BIBLIOGRFICAS....................................................................... 43

Unidade2 NMEROS PRIMOS


1 INTRODUO.................................................................................................... 47
2 CONTEDO BSICO DE REFERNCIA............................................................... 47
2.1. O TEOREMA FUNDAMENTAL DA ARITMTICA ....................................... 47
2.2. ENCONTRANDO OS DIVISORES DE UM INTEIRO..................................... 54
2.3. UMA APLICAO DOS NMEROS PRIMOS:
O MXIMO DIVISOR COMUM E O MNIMO DIVISOR COMUM ............ 57
2.4. UMA APLICAO DO TEOREMA FUNDAMENTAL DA ARITMTICA: O
CRIVO DE ERATSTENES............................................................................. 61
3 CONTEDOS DIGITAIS INTEGRADORES .......................................................... 62
3.1. NMEROS PRIMOS E O TEOREMA FUNDAMENTAL DA ARITMTICA... 62
3.2. QUANTIDADE DE DIVISORES DE UM INTEIRO, MMC E MDC.................. 63
3.3. O CRIVO DE ERATSTENES........................................................................ 64
4 QUESTES AUTOAVALIATIVAS......................................................................... 64
5 CONSIDERAES............................................................................................... 66
6 E-REFERNCIA................................................................................................... 67
7 REFERNCIA BIBLIOGRFICA........................................................................... 67
Unidade3 CONGRUNCIAS
1 INTRODUO.................................................................................................... 71
2 CONTEDO BSICO DE REFERNCIA............................................................... 72
1.1. CONGRUNCIA: DEFINIO E PROPRIEDADES........................................ 72
1.2. CONGRUNCIAS LINEARES........................................................................ 81
1.3. EQUAES DIOFANTINAS.......................................................................... 92
1.4. O TEOREMA CHINS DO RESTO ............................................................... 97
3 CONTEDOS DIGITAIS INTEGRADORES.......................................................... 102
2.1. CONGRUNCIA: DEFINIO E PROPRIEDADES........................................ 102
2.2. CONGRUNCIAS LINEARES E EQUAES DIOFANTINAS........................ 103
2.3. O TEOREMA CHINS DO RESTO................................................................ 103
4 QUESTES AUTOAVALIATIVAS......................................................................... 104
5 CONSIDERAES............................................................................................... 106
6 E-REFERNCIA................................................................................................... 107
7 REFERNCIA BIBLIOGRFICA........................................................................... 107

Unidade4 CONGRUNCIAS: APLICAES


1 INTRODUO.................................................................................................... 111
2 CONTEDO BSICO DE REFERNCIA............................................................... 111
2.1. OS TEOREMAS DE EULER, FERMAT E WILSON......................................... 111
2.2. EQUAES DIOFANTINAS.......................................................................... 116
2.3. CRITRIOS DE DIVISIBILIDADE ................................................................. 120
2.4. PROBLEMAS ENVOLVENDO DATAS .......................................................... 125
3 CONTEDOS DIGITAIS INTEGRADORES.......................................................... 127
3.1. TEOREMAS DE EULER, FERMAT E WILSON.............................................. 127
3.2. CRITRIOS DE DIVISIBILIDADE.................................................................. 127
3.3. APLICAES................................................................................................ 128
4 QUESTES AUTOAVALIATIVAS......................................................................... 128
5 CONSIDERAES............................................................................................... 131
6 E-REFERNCIA................................................................................................... 132
7 REFERNCIA BIBLIOGRFICA........................................................................... 132
Contedo
Introdutrio CI

Contedo
Os inteiros: conceitos e resultados bsicos da aritmtica dos inteiros. MDC e
MMC. Nmeros Primos e o Teorema Fundamental da Aritmtica. Congruncias.
Equaes Diofantinas. Aplicaes.

Bibliografia Bsica
LANDAU, E. Teoria elementar dos nmeros. Rio de Janeiro: Cincia Moderna, 2002.
SHOKRANIAN, S. Uma introduo teoria dos nmeros. 1. ed. Rio de Janeiro: Cincia
Moderna, 2008.
______. Breve histria da teoria dos nmeros no sculo vinte. Rio de Janeiro: Cincia
Moderna, 2010.

Bibliografia Complementar
IEZZI, G. Fundamentos de Matemtica elementar: conjuntos, funes. So Paulo: Atual,
2004. v. 1.
MARTINS, J. F. C. Matemtica sem fronteiras: aritmtica. Rio de Janeiro: Cincia Moderna,
2011.
SAMPAIO, J. C. V.; CAETANO, P. A. S. Introduo teoria dos nmeros: um curso breve.
So Carlos: Edufscar, 2007.
SILVEIRA, D. C.; SALDANHA, M. S. G.; MISITI, L. O. R. Aritmtica: 1.463 problemas
resolvidos e explicados Matemtica fcil e sem mistrios. So Paulo: cone, 2012.
SINGH, S. O ltimo teorema de Fermat: a histria do enigma que confundiu as maiores
mentes do mundo durante 358 anos. 9. ed. Rio de Janeiro: Record, 2002.
importante saber
Esta obra est dividida, para fins didticos, em duas partes:
Contedo Bsico de Referncia (CBR): o referencial terico e prtico que de-
ver ser assimilado para aquisio das competncias, habilidades e atitudes
necessrias prtica profissional. Portanto, no CBR, esto condensados os prin-
cipais conceitos, os princpios, os postulados, as teses, as regras, os procedi-
mentos e o fundamento ontolgico (o que ?) e etiolgico (qual sua origem?)
referentes a um campo de saber.
Contedo Digital Integrador (CDI): so contedos preexistentes, previamente
selecionados nas Bibliotecas Virtuais Universitrias conveniadas ou disponibi-
lizados em sites acadmicos confiveis. So chamados Contedos Digitais In-
tegradores porque so imprescindveis para o aprofundamento do Contedo
Bsico de Referncia. Juntos, no apenas privilegiam a convergncia de mdias
(vdeos complementares) e a leitura de navegao (hipertexto), como tam-
bm garantem a abrangncia, a densidade e a profundidade dos temas estuda-
dos. Portanto, so contedos de estudo obrigatrios, para efeito de avaliao.
Contedo Introdutrio 9

1. INTRODUO
"A matemtica a rainha das cincias, e a teoria dos nmeros a rainha da
matemtica(Carl Friedrich Gauss).

A teoria aritmtica dos nmeros, ou teoria dos nmeros, ou


aritmtica, possui essa fama, pois capaz de deduzir poderosos
resultados partindo do mais simples conjunto numrico, depois
dos naturais: os inteiros. Estudaremos propriedades dos inteiros
envolvendo divisibilidade, fatorao em primos e congruncia.
Iniciaremos o estudo de Teoria dos Nmeros, por meio do
qual voc conhecer resultados clssicos dessa cincia. Tais re-
sultados so conhecidos desde a poca de Euclides, recebendo
aperfeioamentos de matemticos, como Fermat, Euler e Gauss.
Alguns desses conceitos so amplamente utilizados por professo-
res e alunos desde o Ensino Fundamental, mesmo que, nesse nvel
de ensino, no seja demonstrada a validade deles.
Nosso objetivo, portanto, demonstrar a validade de ferra-
mentas largamente utilizadas em sala de aula, e, em seguida, apre-
sentar novos resultados, utilizados apenas no Ensino Superior, mas
que so deveras interessantes para qualquer estudante de Mate-
mtica.
Alm disso, vamos apresentar situaes-problema que em-
pregam esses novos conceitos e que podem ser aplicadas em sala
de aula por necessitarem apenas de definies e propriedades ele-
mentares dentre as que estudaremos.

Teoria dos nmeros: um pouco de Histria


Por ser o conjunto de nmeros mais simples de se lidar, aps
os naturais, os nmeros inteiros so estudados exausto desde
a poca dos gregos. Os matemticos da escola de Pitgoras (apro-
ximadamente 500 a 300 a.C.) acreditavam que todas as medidas
existentes na natureza podiam ser representadas por inteiros ou
por razes entre inteiros (ou seja, nmeros racionais). Em razo

Claretiano - Centro Universitrio


10 Teoria dos Nmeros

disso, as propriedades desses nmeros foram largamente estuda-


das.
O Teorema de Pitgoras o resultado mais conhecido (em-
bora os antigos babilnios j conhecessem esse resultado). Eucli-
des (cerca de 300 a.C) sistematizou todo o conhecimento matem-
tico de sua poca em sua fabulosa obra Os elementos, constituda
de 13 livros. Apesar de Euclides ser mais conhecido por suas con-
tribuies Geometria (dando origem ao nome geometria eucli-
diana), Os Elementos apresentam resultados importantes para a
Teoria de Nmeros, como o algoritmo da diviso e o Teorema
Fundamental da Aritmtica.
J Erasttenes (cerca de 200 a.C.) apresentou um mtodo
simples e belo para determinar se um nmero primo, e, sculos
mais tarde, Diofanto de Alexandria (200 a 284 a.C., aproximada-
mente) dedicou-se a estudar equaes em que todos os coeficien-
tes e variveis eram nmeros inteiros.
Avanando no tempo, no sculo 17, Pierre de Fermat, um
matemtico amador, demonstrou vrios resultados importantes
para a Teoria de Nmeros, como o Pequeno Teorema de Fermat,
e a conjectura conhecida como ltimo Teorema de Fermat, que
viria a ser demonstrada, sculos mais tarde, por Andrew Wiles
(lembremos que, enquanto um resultado no demonstrado, ele
chamado de conjectura, e que costumamos nomear os teoremas
de acordo com quem os demonstrou, e no quem os conjecturou,
portanto o nome mais adequado seria Teorema de Wiles).
Euler (sculo 17) generalizou o Pequeno Teorma de Fermat,
e, no sculo 19, surgiu Gauss, que, em sua obra Disquistiones ari-
thmeticae, apresentou uma notao que facilitou, e muito, o es-
tudo das relaes entre nmeros, divisores e seus restos, que a
notao utilizada at hoje para congruncia modular.
Com base nos resultados desses matemticos, possvel
resolver vrios problemas e teoremas, alguns dos quais veremos
neste Caderno de Referncia de Contedo.
Contedo Introdutrio 11

Na Unidade 1, apresentaremos a definio de divisibilidade


e provaremos teoremas relativos a ela, como o algoritmo de Eu-
clides. Na Unidade 2, estudaremos nmeros primos e suas rela-
es com o mnimo mltiplo comum e o mximo divisor entre dois
nmeros. Na Unidade 3, saberemos qual o conceito de congru-
ncia modular, como ela resolve problemas sobre divisibilidade e
como resolver congruncias que envolvam incgnitas. Na Unidade
4, conheceremos mais resultados sobre congruncias, equaes
diofantinas e algumas aplicaes dessa teoria.
Vamos comear?

2. GLOSSRIO DE CONCEITOS
O Glossrio de Conceitos permite uma consulta rpida e pre-
cisa das definies conceituais, possibilitando um bom domnio
dos termos tcnico-cientficos utilizados na rea de conhecimento
dos temas tratados.
1) Algoritmo da diviso: garante que, para cada diviso en-
tre inteiros, exista um nico quociente e um nico resto.
2) Algoritmo de Euclides: permite que se calcule o mximo
divisor comum entre dois nmeros.
3) Congruncia do tipo mdulo m: a relao entre um
inteiro a e o resto da diviso de m por a. Dizemos que a
congruente a b mdulo m, se m dividir b a , ou seja,
se o resto da diviso de a por m for b. Simbolicamente,
representamos: a b (mod m).
4) Congruncia linear: a congruncia do tipo ax b (mod
m), em que x uma varivel.
5) Divisor: a um divisor de b, se existe um inteiro q, tal
que b = qa .
6) Equao diofantina: a equao do tipo ax + by = c , em
que a, b e c so constantes, x e y so variveis, e todos os
nmeros so inteiros.
7) Inteiro: o nmero pertencente ao conjunto
Z = {, 3, 2, 1, 0,1, 2,3,...} , ou seja, ao conjunto dos

Claretiano - Centro Universitrio


12 Teoria dos Nmeros

naturais mais o zero e mais o oposto de cada natural.


Consideremos vlido que a soma, a subtrao e o produ-
to entre inteiros resultam em nmeros inteiros, e tam-
bm que o mdulo de um inteiro um inteiro.
8) Observao: neste Caderno de Referncia de Contedo,
toda letra em itlico representar um inteiro.
9) Mximo divisor comum: o maior inteiro b, tal que d|a.
10) Mnimo mltiplo comum (positivo): o menor m > 0 ,
tal que a|m e b|m.
11) Nmero primo: um nmero p que possui, exatamente,
dois divisores positivos: 1 e p.
12) Teorema Chins dos Restos: mostra como resolver con-
gruncias lineares simultaneamente.
13) Teorema Fundamental da Aritmtica: garante que todo
nmero inteiro pode ser expresso como um produto de
primos, o qual nico, a no ser pela ordem em que os
primos aparecem. Cada elemento desse produto cha-
mado de fator, e assim, essa representao tambm
conhecida por fatorao ou, ainda, decomposio can-
nica.

3. ESQUEMA DOS CONCEITOS-CHAVE


Como voc pode observar, o Esquema a seguir possibilita
uma viso geral dos conceitos mais importantes deste estudo. Ao
segui-lo, voc poder transitar entre um e outro conceito e desco-
brir o caminho para construir o seu conhecimento. Por exemplo,
o Lema de Bzout precisa, como pr-requisito para sua demons-
trao, do conceito de algoritmo da diviso de mximo divisor co-
mum. J com esse lema em mos e com o conceito de congruncia,
possvel provar resultados referentes s equaes diofantinas.
Contedo Introdutrio 13

Nmeros Inteiros

Divisibilidade

Mnimo mltplo comum Algoritmo da dviso Mximo divisor comum Congruncia


Nmeros primos

Lema de Bzout Teorema Fundamental da Aritmtica

Equaes diofantinas

Congruncias lineares

Teorema Chins do Resto

Teorema de Euler Pequeno Teorema de Fermat Teorema de Wilson

Figura 1 Esquema de Conceitos-Chave de Teoria dos Nmeros.

4. REFERNCIA BIBLIOGRFICA
LANDAU, E. Teoria elementar dos nmeros. Rio de Janeiro: Cincia Moderna, 2002.

5. E-REFERNCIAS
USP - E-CLCULO. Leonhard Euler. Disponvel em: <http://ecalculo.if.usp.br/historia/
euler.htm>. Acesso em: 10 fev. 2014.
______. Carl Fridrich Gauss. Disponvel em: <http://ecalculo.if.usp.br/historia/gauss.
htm>. Acesso em: 10 fev. 2014.
______. Pierre de Fermat. Disponvel em: <http://ecalculo.if.usp.br/historia/fermat.
htm>. Acesso em: 10 fev. 2014.
PAIS, A. J. S.; VENTURA, H. M. G. D F.; OLIVEIRA, S. A. V. Histria dos nmeros primos.
<http://www.educ.fc.ul.pt/icm/icm98/icm12/Historia.htm>. Acesso em: 10 fev.
2014.

Claretiano - Centro Universitrio


Claretiano - Centro Universitrio
Divisibilidade, MMC e
MDC 1
OBJETIVOS
Compreender a definio de divisibilidade e suas propriedades.
Entender os raciocnios que fazem parte das demonstraes em Teoria dos
Nmeros.
Compreender as definies de MMC e MDC e suas propriedades.

CONTEDOS
Divisibilidade: definio e propriedades.
O algoritmo da diviso.
Mnimo mltiplo comum e mximo divisor comum: definio e propriedades.
O algoritmo de Euclides.

ORIENTAES PARA O ESTUDO DA UNIDADE


Antes de iniciar o estudo desta unidade, leia as orientaes a seguir:

1) Tenha sempre mo o significado dos conceitos explicitados no Glossrio e


suas ligaes pelo Esquema de Conceitos-chave para o estudo de todas as
unidades. Isso poder facilitar sua aprendizagem e seu desempenho.

2) Ao se deparar com uma definio, tente compreend-la por meio de exem-


plos. Alm daqueles fornecidos por esta obra, procure criar seus prprios
exemplos. Dessa maneira, voc realmente entender o significado de cada
conceito.

3) Refaa todas as demonstraes por escrito, tentando entender cada passo.


Apenas l-las no suficiente para o seu aprendizado.

4) No deixe de recorrer aos materiais complementares descritos nos Conte-


dos Digitais Integradores.
Claretiano - Centro Universitrio
U1 - Divisibilidade, MMC e MDC 17

1. INTRODUO
Com base em um conceito to simples que o de divisibili-
dade, so deduzidos teoremas com aplicaes em inmeras reas,
tanto na Matemtica "pura" quanto na Matemtica Aplicada, por
exemplo, a criptografia. Esta unidade apresenta os resultados pre-
liminares dessa cincia, portanto, a sua compreenso fundamen-
tal para o entendimento de todo o curso.
Algumas observaes de ordem prtica: como trabalhare-
mos somente com o conjunto dos inteiros, admitiremos, ao longo
do texto, que toda letra minscula em itlico representar um in-
teiro. Essa a mesma notao que Landau (2002) utiliza em seu
livro Teoria elementar dos nmeros. Dessa maneira, quando esti-
ver escrito, por exemplo: considere a > 6 ... , estar implcito que
"considere um nmero inteiro, a > 6 ... .
Como voc j deve ter estudado, o conjunto dos inteiros
fechado para soma e subtrao, ou seja, a soma de inteiros resulta
em um inteiro, assim como a subtrao. Alm disso, o oposto de
um inteiro tambm inteiro, bem como seu mdulo. Tais fatos
sero usados ao longo do texto.

2. CONTEDO BSICO DE REFERNCIA


O Contedo Bsico de Referncia apresenta de forma sucinta
os temas abordados nesta unidade. Para sua compreenso inte-
gral, necessrio o aprofundamento pelo estudo dos Contedos
Digitais Integradores.

2.1. DIVISIBILIDADE: DEFINIO E PROPRIEDADES

Os resultados essenciais Teoria dos Nmeros so aqueles


relacionados divisibilidade. Portanto, a definio a seguir a que
nortear todo o nosso curso:

Claretiano - Centro Universitrio


18 Teoria dos Nmeros

Definio 1: seja a 0 e b um inteiro qualquer, afirmamos


que b divisvel por a, se existir um nico inteiro q, de modo que
b= q a .
Assim, 10 divisvel por 2, afinal 10= 5 2 .
7 no divisvel por 3, pois no existe um inteiro q, de modo
que 7= q 3 .
As seguintes definies so equivalentes: b divisvel por a,
a divisor de b e a divide b. Muitas vezes, estaremos mais interes-
sados nas propriedades dos divisores do que nas dos dividen-
dos; portanto, importante que o aluno se acostume com essa
expresso: a divide b.
Podemos, desse modo, afirmar que "10 divisvel por 2", "2
divisor de 10", ou, ainda, que "2 divide 10".
O smbolo que representa essas sentenas o seguinte: a|b,
ou seja, 2|10. No confunda esse smbolo com o de diviso, pois
justamente o contrrio!
Em outras palavras, 2|10 significa 2 divide 10, o que com-
pletamente diferente de escrever a frao 10 .
2
Podemos, tambm, escrever fraes desta maneira: a/b, ou
seja, 10 / 2 = 5 .
Se a no divide b, escrevemos a . Assim, 3 7 .
Perceba que essa relao no est definida para a = 0 , ou
seja, no faz sentido dizer, por exemplo, que "0 divide 3", nem que
"0 no divide 3". Simplesmente no se diz nada sobre isso.
Vamos, agora, s demonstraes essenciais sobre divisibili-
dade. Nem todos os teoremas do referido livro de Landau (2002)
sero demonstrados aqui, e ns apresentaremos alguns resulta-
dos importantes que esse livro omite. Porm, no alteraremos a
numerao, ou seja, se pularmos do Teorema 9 para o Teorema
11, isso significar que o Teorema 10 no foi demonstrado. Alm
U1 - Divisibilidade, MMC e MDC 19

disso, qualquer resultado apresentado que no esteja no livro no


ser numerado, de modo a no tornar confusa a relao entre este
caderno e o livro-texto.
Seguem-se as propriedades que estudaremos:
Teorema 1: se a|b, ento a|b, a|b, a|b, |a| | |b|.
Teorema 2: se a|b e b|c, ento a|c.
Teorema 3: se ac|bc, ento a|b.
Teorema 4: se a|b, ento a|bx, para todo x.
Teorema 5: se a|b e a|c, ento a | (b + c) e a | (b c) .
Teorema 6: se a|b e a|c, ento a | (bx + cy ) , para todo x e y.
A essa altura de seu curso de Matemtica, voc j deve estar
habituado a demonstraes, mas no custa nada relembrar alguns
pontos.
Toda sentena a ser demonstrada possui uma hiptese, que
contm o que admitimos ser verdadeiro, e uma tese, que consiste
no que queremos provar, utilizando os dados da hiptese.
Exemplo de demonstrao: se afirmamos que a soma de
dois nmeros pares um nmero par", a nossa tese : existem
dois nmeros a e b, que so da forma a k e b = 2k1 (esta a
definio de nmero par).
Demonstrao: somando esses dois nmeros, teremos
a + b = 2k + 2k1 = 2 ( k + k1 ) . A soma de dois inteiros tambm
um inteiro, ento podemos escrever a + b = 2k3 . Essa a tese
qual queramos chegar.
As demonstraes a seguir so referentes divisibilidade.
Em outras palavras, em todas elas precisamos encontrar um
nmero q, tal que b= q a , de acordo com os dados fornecidos.
Encontrado esse nmero q, est encerrada a demonstrao.
Vamos comear?

Claretiano - Centro Universitrio


20 Teoria dos Nmeros

1) Se a|b, ento: a|b, a|b, a|b, |a| | |b|


Demonstrao: nossa hiptese a de que a|b, ou seja,
existe q, tal que b= q a . Utilizaremos esse fato em to-
das as demonstraes.
a|b: se b= q a , basta multiplicarmos ambos os lados
da igualdade por 1, e teremos: b = ( q ) a . Ento, -q
o quociente.
a|b: partindo de b= q a e multiplicando por 1, te-
remos b = ( q ) a . Se multiplicarmos por 1 novamen-
te, teremos ( b ) = ( q ) ( a ) , ou seja, b ( q )( a ) .
Logo, q o quociente.
a|b: na primeira demonstrao, vimos que
b = ( q ) a . Como ( q ) a igual a ( q )( a ) , temos
b = q ( a ) . q o quociente.
|a| | |b|: basta aplicarmos o mdulo de cada nmero
na expresso b= q a . Teremos: b = q a .
O nmero procurado |q|.
importante, que, para se acostumar com a definio de
divisibilidade, voc leia por extenso os resultados obtidos. Em
outras palavras, a divide menos b, a divide b, a divide b",
"o mdulo de a divide b.
Agora, tomemos dois inteiros como exemplo e vejamos
como fica simples essa propriedade.
Sabendo que 5|10, ento: 5|10 (o quociente 2), 5|10
(o quociente 2), 5|10 (o quociente 2), e |5| | |10| (o
quociente 2).
Testar com exemplos torna essas propriedades bvias, mas
lembremos que o importante de uma demonstrao mostrar
que o resultado vlido para todos os nmeros inteiros.
Vamos s prximas demonstraes. Ao longo delas,
utilizaremos mais a linguagem matemtica.
1) Se a|b e b|c, ento a|c.
U1 - Divisibilidade, MMC e MDC 21

2) Demonstrao: pela hiptese, existem q1 e q2, de forma


que b = q1a e c = q2b . Ento, c = q2 q1 . Logo, a|c (q2q1
o quociente).
Exemplos: 3|9 e 9|18, ento 3|18.
7|14 e 14|42, ento 7|42.
3) Se ac|bc, ento a|b.
Demonstrao: pela hiptese, ac 0 , ento a 0 e
c 0 . Assim, podemos dividir a igualdade bc = qac por
c. Obteremos: b= q a . Logo, a|b .
Exemplos: a = 2 , b = 10 , c = 3 ; 6|30, ento 2|10.
a = 13 , b = 104 , c = 4 ; 52|416, ento 13|104.
A recproca desse teorema verdadeira. Assim, se a|b,
ento ac|bc, para c 0 .
Demonstrao: por hiptese, b= q a . Multipli-
cando ambos os lados por c, obteremos bc = qac .
Assim, ac divide bc, e q o quociente.
Exemplos: a = 2 , b = 8 , c = 3 ; 2|8, ento 6|24.
a = 5 , b = 60 , c = 8 ; 5|60, ento 40|240.
4) Se a|b, ento a|bx, para todo x. Assim, "o divisor de um
nmero divide todos os mltiplos desse nmero".
Demonstrao: se b = qa , ento bx = qxa . qx o quo-
ciente.
Exemplos: 7|14, ento 7|28, 7|42, 7|56, e assim por
diante.
9|81, ento 9|162, 9|243, 9|324, e assim por diante.
5) Se a|b e a|c, ento a | ( b + c ) e a | ( b c ) . Assim, um
divisor comum de dois nmeros divide a soma e a dife-
rena entre esses nmeros".
Demonstrao: por hiptese, b = q1a e c = q2 a . Soman-
do as duas igualdades, obteremos:
( b + c ) = ( q1 + q2 ) a . Portanto, a | ( b + c ) , tendo
( q1 + q2 ) como quociente. Para b c , a demonstrao
a mesma, efetuando, obviamente, uma subtrao, em
vez de somar as igualdades da hiptese.

Claretiano - Centro Universitrio


22 Teoria dos Nmeros

Exemplos: 3|27 e 3|9, ento 3|36 e 3|18.


8|64 e 8|80, ento 8|144 e 8|16.
6) Se a|b e a|c, ento a | ( bx + cy ) para todo x e y.
A expresso " bx + cy " , usualmente, chamada de "com-
binao linear entre b e c". Ento, esse teorema pode
ser lido da seguinte maneira: "um divisor comum de dois
nmeros divide todas as combinaes lineares entre es-
ses nmeros".
Demonstrao: pela hiptese a|b e a|c, ento, pelo Te-
orema 4, a|bx e a|cy para quaisquer x e y. Pelo Teorema
5, a divide a soma e a diferena entre seus dividendos,
logo a | ( bx + cy ) .
Exemplos: 3|9 e 3|27, ento 3 divide qualquer combi-
nao linear entre 9 e 27, como 9 5 + 27 2 . Ento,
3|99.
11|44 e 11|11, ento 11| 5 44 + 3 121 , ou seja,
11|583 (teste!).

2.2. O ALGORITMO DA DIVISO

O prximo teorema to importante que reservamos este


tpico separado para ele. Por meio dele, descobrimos que o al-
goritmo da diviso, usado desde nossos primeiros anos na escola
(com divisor, dividendo, quociente e resto), realmente vale para
todos os inteiros. Porm, antes de demonstr-lo, precisamos rever
um conceito conhecido como "Princpio de Arquimedes", que cos-
tuma ser ensinado em Clculo I e Anlise. Esse enunciado tambm
chamado de "Teorema de Eudoxius". Landau (2002) utiliza esse
resultado em sua demonstrao, mas no de maneira clara, por
isso o enunciaremos aqui:
Dados dois inteiros a e b, com b 0 , ento b um mltiplo
de a, ou encontra-se entre dois mltiplos consecutivos de a.
Em linguagem simblica, teremos que, para a e b inteiros
com b 0 , existe um inteiro q, tal que:
U1 - Divisibilidade, MMC e MDC 23

Se a 0 , qa b < ( q + 1) a
Se a < 0 , qa b < ( q 1) a
No demonstraremos esse teorema, apenas daremos
exemplos:
Se a = 18 e b = 5 , ento 5 est entre dois mltiplos
consecutivos de 18. Devemos considerar q = 0 .
0 18 5 < 1 18
Se a = 7 e b = 25 , devemos considerar q = 3 .
3 7 25 < 4 7
Se a = 3 e b = 20 , devemos considerar q = 7 .
( 7 ) 3 20 < ( 6 ) 3
Se a = 5 e b = 28 , devemos considerar q = 5 .
( 5) ( 5) 28 < ( 6 ) 5
Se a = 6 e b = 17 , devemos considerar q = 4 .
4 ( 6 ) 17 < 3 ( 6 )

Se a = 4 e b = 20 , ento b um mltiplo de a; basta pegar-


mos o prprio quociente, 5.
5 4 20 < 5 5
Em relao ao ltimo exemplo, lembre-se de que significa
menor que ou igual a, ou seja, 20 enquadra-se no caso de igual
a.
Efetue as multiplicaes indicadas para entender os exem-
plos. No avance na leitura enquanto no entend-los.
Precisaremos tambm do seguinte lema para provar o teo-
rema:
Lema: se a|b e b < a , ento b = 0 .

Claretiano - Centro Universitrio


24 Teoria dos Nmeros

Este um fato simples. Se a = qb para q 1 , ento a b .


Assim, s teremos b < a , se q = 0 , ou seja, b= 0 b , com
b = 0.
Em outras palavras: um inteiro s divide outro inteiro,
diferente de zero, se for menor que, ou igual a ele.
Observao: fato semelhante provado no Teorema 10 do
livro Teoria elementar dos nmeros, de Landau (2002).

Teorema 7 (algoritmo da diviso)


Se a > 0 e b arbitrrio, ento existe exatamente um par
b qa + r , com 0 r < a .
de inteiros q e r, tais que =
Antes de demonstrarmos o teorema, vamos entender o que
ele significa.
Na equao, b o divisor, a o dividendo, q o quociente,
e r o resto. De acordo com esse teorema, para cada divisor, s
h um par possvel de quociente e resto (unicidade), e esse resto
maior do que ou igual a zero, e menor do que o prprio divisor (se
o resto for zero, esse o caso em que a|b).
Exemplo: se dividirmos 17 por 2, s haver um par de quo-
ciente e resto possvel: q = 8 e r = 1 . Veja que, de fato, o resto
positivo e menor do que 17. Queremos provar que essa proprieda-
de vale para todos os pares de inteiros.
A demonstrao a seguir adaptada da de Jos Plnio de Oli-
veira Santos (2011), constante em seu livro Introduo teoria dos
nmeros.
Demonstrao: pelo Teorema de Eudoxius, visto anterior-
mente, como a > 0 , existe q, tal que:
qa b < ( q + 1) a

Analisemos, separadamente, as duas desigualdades: qa b .


Subtraindo qa dos dois lados, teremos 0 b qa .
U1 - Divisibilidade, MMC e MDC 25

Agora, a outra desigualdade:


b < ( q + 1) a , ento b < qa + a b qa < a
Assim, 0 b qa < a .
Se chamarmos b qa de r, teremos 0 r < a . Alm disso, se
r = b qa , ento =
b qa + r . Portanto, existem q e r que satisfazem
a hiptese do teorema.
Agora, resta-nos mostrar que q e r so nicos. Para isso,
suponhamos que existam q1 e r1 que tambm satisfaam a
propriedade a ser demonstrada. Ento, teremos:
=b qa + r , com 0 r < a (1)
b q1a + r1 , com 0 r < a (2)
=
Fazendo (1) (2), teremos ( qa + r ) ( q1a + r1 ) =
b b , ento
qa + r q1a r1 =
0.
r1 r a ( q q1 ) =
Portanto, qa q1a = r1 r .
Ento, a | ( r1 r ) , sendo ( q q1 ) o quociente. Mas, r1 < a
e r < a , ento r1 r < a . E se a | ( r1 r ) , devemos ter r1 r = 0 ,
conforme o lema demonstrado anteriormente.
Logo: r1 = r .
Assim, (2) fica = b qa + r . S nos
b q1a + r , mas, por (1), =
resta que q1 = q . Est provada, ento, a unicidade de q e r.

2.3. MNIMO MLTIPLO COMUM E MXIMO DIVISOR COMUM

Dados a > 0 e b > 0 , chamaremos de mltiplo comum de a


e b qualquer nmero c, tal que a|c e b|c.
Em outras palavras, mltiplo comum um nmero divisvel
tanto por a quanto por b.
Exemplo: 48 um mltiplo comum de 2 e de 3, pois 2|48 e
3|48.

Claretiano - Centro Universitrio


26 Teoria dos Nmeros

Chamaremos de m o menor mltiplo positivo de a e b. Daqui


em diante, quando mencionarmos MMC, ou mnimo mltiplo
comum, consideraremos apenas o caso positivo (j que, se
considerssemos os negativos, no encontraramos um menor
mltiplo).

Teorema 9
Se m o MMC de a e b, e n qualquer mltiplo comum de
a e b, ento m|n.
Demonstrao: pelo Teorema 7 (algoritmo da diviso),
existem q e r, tais que:
n qm + r , 0 r < m
=
Isolando r, temos r = n qm , ou r = n 1 + m ( q ) . Por que
escrevemos r dessa forma? Para mostrar que ele pode ser escrito
como uma combinao linear entre m e n.
Por hiptese, a|n, a|m, b|n e b|m.
Conforme o Teorema 6 (se um inteiro divide dois inteiros, ele
divide qualquer combinao linear entre eles), obtemos: a|r e b|r.
Logo, r um mltiplo comum entre a e b. Mas, pelo Teorema
7, 0 r < m , mas m o menor mltiplo positivo! S nos resta
r = 0.
Assim, n = qm , ou seja, m|n, como queramos demonstrar.
Exemplo: 18 o MMC entre 3 e 9. 54 um mltiplo entre 3
e 9. fcil verificar que 18|54.
Na unidade sobre nmeros primos, veremos mais
propriedades do MMC.
Sejam a e b no nulos. O mximo divisor comum, ou MDC,
como o prprio nome diz, o maior inteiro que divide a e b. A
notao ( a, b ) = d significa d o maior divisor comum entre a e
b.
U1 - Divisibilidade, MMC e MDC 27

Exemplo: os divisores (positivos) de 24 so: 1, 2, 3, 4, 6, 12


e 24; os divisores positivos de 18 so: 1, 2, 3, 6, 12, 18. Portanto,
( 24,18) = 12 .
Observao 1: sempre possvel encontrar o MDC entre
dois nmeros, ambos no nulos, e ele sempre um nmero po-
sitivo (todo nmero divisvel por um, ento o MDC entre dois
nmeros ser, no mnimo, 1).
Observao 2: no existe o MDC entre 0 e 0. Fica como exer-
ccio para voc demonstrar esse fato.
Observao 3: as notaes "MMC" e "MDC" no so usuais
em livros de Ensino Superior, mas, uma vez que este material
voltado para estudantes de Licenciatura em Matemtica, convm
utiliz-las, para nos aproximarmos do universo de trabalho do fu-
turo professor.
A propriedade a seguir consta em Landau (2002, p. 269),
sendo muito importante para nosso estudo:
[...]
Exerccio 2 Para a e b arbitrrios, no nulos, considere todos os
nmeros da forma ax + by , onde x e y podem tomar quaisquer
valores inteiros. Seja d o menor nmero positivo desta forma.
Mostre que d = ( a, b ) [...].

Essa propriedade conhecida como lema de Bzout.


A resoluo desse exerccio adaptada de Santos (2011).
Resoluo: chamemos de C o conjunto das combinaes
{ by} . Vamos escolher x e y, de forma que =
ax + c ax '+ by ' seja
o menor inteiro positivo desse conjunto. Para provar que c|a, por
contradio, devemos supor que c no divide a, e chegaremos a
um absurdo.
Como c no divide a, o algoritmo da diviso mostra que exis-
a qc + r , com 0 r < c .
tem q e r, tais que =

Claretiano - Centro Universitrio


28 Teoria dos Nmeros

Reescrevendo a equao, temos r = a qc , ou seja,


=r a q ( ax '+ by ') . Distribuindo q, obtemos: r = a qax ' qby ' .
Colocando a em evidncia, obtemos: = r a (1 qx ') + b ( qy ') .
Em outras palavras, r uma combinao linear entre a e
b, portanto, r pertence ao conjunto C. Mas, tnhamos 0 r < c
e havamos escolhido c como o menor elemento positivo de C.
Dessa maneira, teramos outro elemento de C menor do que c, o
que seria uma contradio. Logo: c|a.
Analogamente, prova-se que c|b. Assim, c um divisor
comum de a e b.
Agora, precisamos provar que c = d .
Como d um divisor comum de a e b, ento existem q1 e q2,
=
tais que a q=
1db q2 d .
Ento, podemos reescrever = c x ' a + y 'b , como
c =x ' q1d + y ' q2 d =( x ' q1 + y ' q2 ) d .
Chamando x ' q1 + y ' q2 = q3 , vemos claramente que c = q3 d
, ou seja, d|c (q3 o quociente).
Como d|c, d c , mas d no pode ser menor do que c, pois
d o mximo divisor comum de a e b.
S nos resta a opo d = c .
Resumindo o resultado do teorema: o MDC entre dois
nmeros a menor combinao linear positiva possvel entre eles.
Exemplo: considere os nmeros 9 e 24. Por tentativa,
encontramos que a menor combinao linear positiva possvel
1 24 2 9 =6 . Logo, ( 9, 24 ) = 6 .
Considere os nmeros 15 e 90. A menor combinao linear
15 . Portanto, ( 90,15 ) = 15 .
possvel entre eles : 1 90 5 15 =
Obviamente, com nmeros muito grandes difcil encontrar
a menor combinao linear "por tentativa". Por isso, logo veremos
um mtodo prtico para encontrar o MDC entre dois nmeros.
U1 - Divisibilidade, MMC e MDC 29

Teorema 11
Sejam a e b no nulos, e d = ( a, b ) . Ento, valem as duas
propriedades:
1) Se f um divisor comum qualquer de a e b, ento f|d.
Em outras palavras, o MDC entre a e b divisvel por
qualquer divisor comum de a e b.
2) Se a > 0 , b > 0 , e m o MMC positivo de a e b, ento
md = b .

Demonstrao
O Teorema 6 mostra que um divisor de a e b divide qual-
quer combinao entre eles.
Vimos, na demonstrao anterior, que d uma combina-
o entre a e b, logo f|d.
Exemplos: ( 9, 24 ) = 6 . 3 um divisor de 9 e 24. De fato,
3|6.
Sem termos ainda estudado os nmeros primos, a de-
monstrao dessa propriedade um pouco complicada,
por isso ela ser retomada na Unidade 2.
Por enquanto, nos limitaremos a entender seu significa-
do: o produto entre o MMC e o MDC de dois nmeros
igual ao produto entre esses nmeros".
Exemplo: MMC ( 4,18 ) = 36 , MDC ( 4,18 ) = 2 ; veja que
4 18 = 36 2 = 72 .
A propriedade 1 do Teorema 11 muito til em demons-
traes e exerccios. Como exemplo, resolveremos o exerccio 3,
inserido em Landau (2002, p. 269):
Exerccio 3: prove que ( ma, mb ) = m ( a, b ) , em que m > 0
e a e b no so nulos.
Observao: m um inteiro positivo qualquer, e no o MMC
entre a e b!

Claretiano - Centro Universitrio


30 Teoria dos Nmeros

Demonstrao: mostraremos que m(a, b) um divisor co-


mum de ma e mb. Em seguida, suporemos que exista outro divisor
comum de ma e md, e concluiremos que tal nmero divide md.
Seja d = ( a, b ) , ento d|a e d|b. Assim, md|ma e md|mb,
pela recproca do Teorema 3.
Agora, chamemos de f outro divisor comum de a e b, ou seja,
f|a e f|b.
Pelo exerccio 2, que resolvemos, existem x e y, tais
que d
= ax '+ by ' . Multiplicando ambos os lados por m, temos
=md max '+ mby ' . O lado direito da equao uma combinao
linear de ma e mb, ento, pelo Teorema 6, f | max '+ mby ' , e,
consequentemente, f|md.
Logo, pelo Teorema 11, md = (ma, mb) .
Exemplo: (18, 42 ) = 6 , e ( 5 18, 5 42 ) =( 90, 210 ) =30 =
5 6.
Definio 2. Dizemos que a e b so primos entre si, se
( a, b ) = 1 . Em outras palavras, o nico divisor positivo comum
entre eles 1. Obviamente, 1 tambm um divisor comum,
sendo a relativamente primo com b.
Exemplo: ( 5,17 ) = 1 , pois os divisores de 5 so 1 e 5, e os
divisores de 17 so 1 e 17.
(8, 27 ) = 1 , pois os divisores de 8 so 1, 2, 4, 8, e os divisores
de 27 so 1, 3, 9, 27.
(1, 0 ) = 1 ; ( 1, 0 ) = 1 .
Ateno: para qualquer outro inteiro diferente de 1 ou 1,
( a, 0 ) = a .
Exemplos: (10, 0 ) = 10 ; ( 0,8 ) = 8 , e assim por diante.

Teorema 12
Se a e b no so nulos, ento ( a, b ) = ( b, a ) .
U1 - Divisibilidade, MMC e MDC 31

Esse fato trivial! Os elementos em comum entre dois


conjuntos A e B, certamente, sero os mesmos entre os conjuntos
B e A. Logo, o maior elemento comum ser o mesmo.

Teorema 13
a b
Se ( a, b ) = d , ento , = 1.
d d
a b
Demonstrao: seja f > 0 , tal que f | , f | , ento, pelo
d d
recproco Teorema 3, multiplicamos o divisor e o dividendo por d:
fdIa, fdIb. Assim, fd um divisor comum de a e b, portanto, fd|d,
conforme o Exerccio 2, resolvido anteriormente.
Como fd|d, o Teorema 3 (dividindo divisor e dividendo por d)
mostra que f|1. Portanto, f = 1 (apenas os nmeros 1 e -1 dividem
1! Provar isso fica como exerccio).
Exemplo: (12,18 ) = 6 . Ento: (12 / 6,18
= / 6) (=
2, 3) 1.

Teorema 14
Se c > 0 , c|a, c|b, ( a / c, b / c ) = 1 , ento c = ( a, b ) .
Em outras palavras, se c um divisor comum entre dois
nmeros, e os quocientes entre esses nmeros e c forem primos
entre si, ento c o MDC desses nmeros.
Como o MDC entre a/c e b/c existe, a e b no so nulos.
Se
( a, b ) = d , ento c|d, conforme o Teorema 11. Portanto,
d/c um inteiro.
d a a
Veja que = e d b = b Portanto, d | b ( b o

c d c c d c c c d
d a a
quociente) e | ( o quociente).
c c d

Assim, d/c um divisor comum de a/c e b/c.

Claretiano - Centro Universitrio


32 Teoria dos Nmeros

Mas, por hiptese, ( a / c, b / c ) = 1 , portanto d / c = 1 . Isso


s possvel se c = d .
Exemplos: 3|9, 3|30, ( 9 / 3, 30
= / 3) (=
3, 10 ) 1
Ento, 3 = ( 9, 30 ) .
4|20, 4|32, (20|4, 32
= / 4) (=
5, 8 ) 1
Ento, ( 20, 32 ) = 4 .
Dessa maneira, um mtodo para encontrar o MDC entre
dois nmeros calcular um divisor comum entre eles, tal que os
quocientes entre eles e esse divisor sejam primos entre si.
Assim como no resultado do exerccio 2, esse obviamente
no o mtodo mais prtico para calcularmos o MDC entre dois
nmeros. O mtodo mais prtico vir no Tpico 5. 4.

Teorema 15
Se a|bc e ( a, b ) = 1 , ento a|c.
Em outras palavras, se um nmero divide o produto de dois
nmeros e , relativamente, primo com um deles, ento ele divide
o outro nmero.
Demonstrao: por hiptese, a 0 (caso contrrio, a no
dividiria nmero nenhum).
Provaremos o teorema separadamente para b = 0 e b 0 .
Se b = 0 , ento a = 1 ou 1, j que ( a, 0 ) = 1 , e, portanto,
a|c.
Se b 0 , ento m ser o MMC positivo entre |a| e |b|, cujo
MDC = 1 . Pelo Teorema 11, m = a b .
Por hiptese, bc um mltiplo comum de |a| e |b|. O
Teorema 9 (o MMC entre dois nmeros divide qualquer mltiplo
comum entre esses nmeros) mostra que |a| |b| |bc. Ento, pelo
Teorema 1: ab|bc, e, pelo Teorema 3: a|c.
U1 - Divisibilidade, MMC e MDC 33

Exemplo: 9|126, que pode ser escrito como 9 |18 7 .


(18, 7 ) = 1 , e, de fato, 9|18.
Teorema 16
Se a | a1 a2 an av , v 2 , ( a, an ) = 1 , para 1 n < v , ento
a|av.
Em outras palavras, se a divide o produto de v elementos,
de modo que v 1 desses elementos sejam relativamente primos
com a, ento, a, obrigatoriamente, divide um desses fatores.
Demonstrao: se v = 2 , a|bc e ( a, b ) = 1 , e chegamos ao
Teorema 15.
Se v = 3 , a|bce e ( a, b ) = 1 , ( a, c ) = 1 . Basta chamarmos bc
de g, e obteremos:
a|ge, ( g , a ) = 1 . Ento, chegamos, novamente, ao Teorema
15, e assim sucessivamente. No importa quantos fatores possui o
produto, podemos transform-lo em um produto de apenas dois
fatores, sendo o caso em que v = 2 .
Observao: note que, para demonstrar o teorema,
supomos vlido que se ( a, b ) = 1 e ( a, c ) = 1 , ento ( a, bc ) = 1
. A demonstrao desse fato ficar como exerccio.
Exemplo: 8|1.680. 1680 = 3 5 7 16 . De fato, 8 ,
relativamente, primo com 3, 5, e 7, e 8|16.

2.4. UMA APLICAO DOS CONCEITOS DE DIVISIBILIDADE: O


ALGORITMO DE EUCLIDES

Este um resultado que nos ensina um mtodo prtico de


calcular o MDC entre dois nmeros. Ele consta como exerccio em
Landau (2002, p. 269), sendo demonstrado a seguir.
Exerccio 1
Suponha b > 0 e b . Faa r0 = a e r1 = b e determine r1, r2,

Claretiano - Centro Universitrio


34 Teoria dos Nmeros

r3,, , rn pelas relaes:


r0 r1q1 + r2 , 0 < r2 < r1 ,
=
r1 r2 q2 + r3 , 0 < r3 < r2 ,
=
rn 2 rn 1 qn 1 + rn , 0 < rn < rn 1 ,
=
rn 1 = rn qn , 0 = rn +1
Mostre que rn, o ltimo resto no nulo, o mximo divisor comum
de a e b [...].

Ateno: Em Landau (2002, p. 269), h um erro de


digitao no enunciado do referido teorema. Na penltima
=
diviso, l-se rn 2 rn 1 qn 1 + r , 0 < rn < rn 1 , quando o correto
rn 2 rn 1 qn 1 + rn , 0 < rn < rn 1 (falta o ndice n no ltimo resto).
=
Em primeiro lugar, vamos entender o enunciado do
exerccio. Ele afirma que, para calcular o MDC entre dois nmeros
a e b, devemos dividir a por b, e, em seguida, dividir o quociente
dessa diviso pelo seu resto. Depois, devemos dividir o quociente
da segunda diviso pelo segundo resto, e assim sucessivamente,
at obtermos o resto 0. O resto da penltima diviso ser o MDC
procurado.
Para facilitar o entendimento, vejamos um exemplo. Vamos
descobrir o MDC entre 1.113 e 600.
1.113 = 1 600 + 513
600 =
1 513 + 87
513 =5 87 + 78
87 =
1 78 + 9
78 = 8 9 + 6
9 =1 6 + 3
6 = 23 + 0
Portanto, segundo o algoritmo, o MDC entre 1.113 e 600
igual a 3, o resto da penltima diviso.
U1 - Divisibilidade, MMC e MDC 35

Mais uma vez, a resoluo desse exerccio foi adaptada de


Santos (2011).
Para demonstrarmos a validade do algoritmo de Euclides,
utilizaremos o seguinte lema:
b qa + r , ento ( b, a ) = ( a, r ) .
Lema: se =
Demonstrao: De acordo com o teorema 6, se um nmero
divide a e r, ento ele divide qualquer combinao linear entre a e
r. Portanto, esse nmero divide b = qa + r.
Se reescrevermos a equao anterior, teremos: r = b qa .
Analogamente, um divisor de b e a tambm ser um divisor de r.
Assim, um divisor de a e r tambm divide b. Mas, um divisor de b
e a tambm divide r. Portanto, os divisores comuns de a e r so os
mesmos divisores comuns de b e a.
Portanto, ( b, a ) = ( a, r ) .
Exemplo: 49 = 9 5 + 4 . Pelo lema anterior, ( 49, 5 ) = ( 5, 4 ) .
fcil verificar que o MDC em questo o nmero 1.
Agora, basta aplicarmos esse princpio no processo que
utilizamos como exemplo:
1.113 =1 600 + 513
600 =
1 513 + 87
513 =5 87 + 78
87 =
1 78 + 9
78 = 8 9 + 6
9 =1 6 + 3
6 = 23 + 0
Na ltima equao, temos, pelo lema, que (=
6, 3) (=
3, 0 ) 3.
Utilizando o fato na penltima equao, ( =
9, 6 ) (=
6, 3) 3.

Claretiano - Centro Universitrio


36 Teoria dos Nmeros

Sucessivamente, teremos:
( 78,
= 9 ) (=9, 6 ) 3 ; ( 87,
= 78 ) (=
78, 9 ) 3 ;
( 513,
= 87 ) (= 87, 78 ) 3 ; ( 600,
= 513) (=87, 78 ) 3 .
E, finalmente, (1.113,
= 600 ) (=600, 513) 3 , que o que
queramos demonstrar.
Com esse exemplo em mente, podemos fazer a demonstrao.

Demonstrao do algoritmo de Euclides


Considerando as relaes:
r0 r1q1 + r2 , 0 < r2 < r1 ,
=
r1 r2 q2 + r3 , 0 < r3 < r2 ,
=
...
rn 2 rn 1qn 1 + rn , 0 < rn < rn 1 ,
=
rn 1 = rn qn , 0 = rn +1
Na ltima diviso, como consequncia do lema, temos:
( rn =
1 , rn ) (=
rn , 0 ) rn .
Analogamente, na penltima diviso, temos:
( n 2 n 1 ) ( n 1 n ) n .
r = , r r
= , r r
Fazendo o processo linha a linha, das ltimas para as
primeiras, obtemos: (=
r1 , r2 ) (=
r2 , r3 ) rn .
E, finalmente, (=
r0 , r1 ) (=
r1 , r2 ) rn .
Lembrando que no enunciado do exerccio faz-se r0 = a e
r1 = b , portanto: (=
a, b ) (=
b, r2 ) rn .

Assim, (a, b) o ltimo resto no nulo das sucessivas divises,


o que pretendamos demonstrar.
Vejamos mais um exemplo:
Calculemos o MDC entre 876 e 216.
876 = 3 216 + 228
U1 - Divisibilidade, MMC e MDC 37

228 =
1 216 + 12
216 = 18 12 + 0
Portanto, ( 876, 216 ) = 0 .
O leitor atento lembrar que o algoritmo de Euclides se
assemelha a um mtodo ensinado no Ensino Fundamental: o
"chiqueirinho". E esse mtodo no nada mais do que o algoritmo
de Euclides, com uma visualizao mais interessante para os
alunos.
A ttulo de curiosidade, vamos relembr-lo. Precisaremos de
trs linhas e um nmero de colunas que depender de cada caso.
Na primeira coluna, linha do meio, colocamos o primeiro divisor.
Na coluna seguinte, o dividendo. Acima do primeiro dividendo,
colocamos o quociente, e, abaixo do primeiro divisor, o resto. Aps
a primeira diviso, o primeiro dividendo passar a ser divisor, e
o primeiro resto ficar ao lado dele, na terceira coluna. E assim
sucessivamente.
Observe o Quadro 1.
Quadro 1 Exemplo de chiqueirinho.

q1 q2 ... qn-1 qn = ( a, b )

a b r1 ... rn-2 rn-1 rn

r1 r2 ... rn-1 rn 0

Resolvamos, ento, o exemplo de (1.113, 600), agora no


chiqueirinho:
Quadro 2 Chiqueirinho para 1.113 e 600.
1 1 5 1 8 1 2 = (1.113, 600)
1.113 600 513 87 78 9 6 3
513 87 78 9 6 3 0

Claretiano - Centro Universitrio


38 Teoria dos Nmeros

Vdeo complementar
Neste momento, fundamental que voc assista ao vdeo complementar.
Para assistir ao vdeo, pela Sala de Aula Virtual, clique no cone Videoaula,
localizado na barra superior. Em seguida, selecione o nvel de seu curso
(Graduao), a categoria (Disciplinar) e a disciplina (Teoria dos Nmeros
Complementar 1).
Para assistir ao vdeo, pelo seu CD, clique no boto Vdeos e selecione: Teoria
dos Nmeros Vdeos Complementares Complementar 1.

3. CONTEDOS DIGITAIS INTEGRADORES


Os Contedos Digitais Integradores so a condio
necessria e indispensvel para voc compreender integralmente
os contedos apresentados nesta unidade.

3.1. DIVISIBILIDADE: DEFINIO E PROPRIEDADES

Entender as definies introdutrias fundamental para se


entender o restante do contedo. Uma vez compreendidas as defi-
nies e os teoremas apresentados, voc pode se aprofundar len-
do abordagens diferentes para o mesmo tema. Tentar entend-las
um modo de verificar se realmente aprendeu.
Nessa perspectiva, os textos indicados a seguir apresentam
alguns tpicos importantes.
O primeiro texto retoma o conceito de divisibilidade e algu-
mas propriedades, e ainda apresenta critrios de divisibilidade por
vrios inteiros, que podem ser teis para professores do Ensino
Fundamental (p. 1 e 2). Porm, o autor no demonstra a validade
desses critrios.
O segundo texto, inserido no site Uol Educao, apresenta
os critrios de divisibilidade por 2, 3, 4, 5, 6, 7, 9, 11 e 13, com
demonstraes.
J o terceiro texto, constante em um site de Matemtica,
apresenta, com riqueza didtica, exemplos (sem demonstraes)
U1 - Divisibilidade, MMC e MDC 39

de critrios de divisibilidade, inclusive alguns pouco conhecidos,


como os por 31 e por 49.
BACELAR, R. Semana Olmpica 2007 Nvel 1 Divi-
sibilidade e resto. Disponvel em: <www.obm.org.br/
export/sites/default/semana_olimpica/docs/2007/
divisibilidade_e_resto.doc>. Acesso em: 14 fev. 2014.
CAMARGO, M. A. Critrios mostram se diviso poss-
vel. Disponvel em: <educacao.uol.com.br/matematica/
divisibilidade-1-criterios-mostram-se-divisao-e-possivel.
jhtm>. Acesso em: 14 fev. 2014.
MATEMTICA.COM. Critrios de divisibilidade. Dis-
ponvel em: <http://matematica.no.sapo.pt/cdivisi.
htm#m103b02>. Acesso em: 14 fev. 2014.

3.2. O ALGORITMO DA DIVISO

O algoritmo da diviso revela que dados a > 0 e b quaisquer,


b qa + r , 0 r < a . Para
existe um nico par de q e r, tais que: =
demonstrarmos esse resultado, nos baseamos no teorema de
Eudoxius, que no foi demonstrado.
Esse teorema aparece demonstrado no trabalho intitulado
Sistemas de numerao - Como funcionam e como so estruturados
os nmeros, de Miyaschita (2002, p. 37), indicado a seguir.
No segundo texto, de Santos (2011, p. 4), aparece a
demonstrao na qual foi baseada a que usamos nesta unidade.
MIYASCHITA, W. Y. Sistemas de numerao Como fun-
cionam e como so estruturados os nmeros. 2002. 42 f.
Trabalho de Concluso de Curso (Licenciatura Plena) - Fa-
culdade de Cincias, Unesp, Bauru, 2002. Disponvel em:
<http://wwwp.fc.unesp.br/~mauri/TN/SistNum.pdf>.
Acesso em: 14 fev. 2014.
SANTOS, O. P. J. Introduo Teoria dos Nmeros. 3. ed.
Rio de Janeiro, IMPA, 2011. (Coleo Matemtica Univer-
Claretiano - Centro Universitrio
40 Teoria dos Nmeros

sitria). Disponvel em: <https://institucional.impa.br/


livros/livro/index.action%3Bjsessionid=345FDA72C4655C
4997459D6F6670DB3A?idPublicacao=131>. Acesso em:
14 fev. 2014.

3.3. MDC, MMC E O ALGORITMO DE EUCLIDES

Os textos a seguir apresentam, detalhadamente, esses as-


suntos. O primeiro apresenta a demonstrao do algoritmo de Eu-
clides, na qual nos baseamos (p. 5), o segundo traz outra demons-
trao para o Teorema de Bzout (p. 3), e o terceiro texto traz uma
breve biografia de Bzout.
SANTOS, O. P. J. Introduo Teoria dos Nmeros. 3. ed.
Rio de Janeiro, IMPA, 2011. (Coleo Matemtica Univer-
sitria). Disponvel em: <https://institucional.impa.br/
livros/livro/index.action%3Bjsessionid=345FDA72C4655C
4997459D6F6670DB3A?idPublicacao=131>. Acesso em:
14 fev. 2014.
UNIVERSIDADE DE COIMBRA. Teoria dos nmeros. Dispo-
nvel em: <http://www.mat.uc.pt/~mat0615/FolhasDelfos/Noco-
esBasicasTN.pdf>. Acesso em: 14 fev. 2014.
UNIVERSIDADE FEDERAL DE CAMPINA GRANDE. tinne
Bzout. Disponvel em: <http://www.dec.ufcg.edu.br/
biografias/EtienBez.htm>. Acesso em: 14 fev. 2014.

4. QUESTES AUTOAVALIATIVAS
A autoavaliao pode ser uma ferramenta importante para
voc testar o seu desempenho. Se encontrar dificuldades em
responder as questes a seguir, voc dever revisar os contedos
estudados para sanar as suas dvidas.
1) Com base na definio de divisibilidade, demonstre as propriedades a se-
guir, que valem para todos os inteiros (utilize raciocnios semelhantes que-
U1 - Divisibilidade, MMC e MDC 41

les usados nos teoremas 1 a 6). Encontre exemplos para cada propriedade
demonstrada.
a) a|a.
b) 1|a.
c) Se a|1, ento a = 1 ou a = 1 (utilize o lema do Teorema 7).
d) a|0.
e) Se a|b e b|a, ento b = a (utilize o lema do Teorema 7).
b
f) Se a|b, a 0 , ento | b.
a
2) Mostre que no existe MDC entre 0 e 0.

3) Mostre que, se ( a, b ) = 1 , o MDC entre ( a + b ) e ( a b ) 1 ou 2. Dica:


utilize o Teorema 11 e o Teorema 5, relacionado ao resultado do exerccio 3,
inserido em Landau (2002, p. 269), que resolvemos neste caderno.

4) Procure dar um exemplo para essa propriedade.

5) Utilize o Lema de Bzout para mostrar que, se ( a, b ) = 1 e ( a, c ) = 1 ,


ento ( a, bc ) = 1 . Encontre todos os nmeros que, na diviso por 9, dei-
xam resto igual ao quociente.

6) Utilizando o algoritmo de Euclides, encontre o mximo divisor comum entre


os seguintes nmeros:
a) 110 e 25.
b) 1.131 e 222.
c) 2.013 e 1.989.
d) 444 e 121.
e) 286 e 91.

Gabarito
Confira, a seguir, as respostas corretas para as questes
autoavaliativas propostas:
1)
a) a = 1 a . 1 o quociente, portanto a|a.
b) a= a 1 . a o quociente, portanto 1|a.
c) Suponha que a seja diferente de 1 e de 1. Ento, a > 1 . Assim, pelo
Lema do Teorema 7, a no pode dividir 1. Portanto, se a|1, ento a = 1
ou a = 1 .
d) 0= 0 a , portanto a|0.

Claretiano - Centro Universitrio


42 Teoria dos Nmeros

e) Se a|b, ento, pelo Lema do Teorema 7, a | b | . E, se b|a,


b a . S nos resta que: a = b .
f) f) Se a|b, ento b qa . Assim, q = b / a , ou seja, b/a um inteiro.
Multiplicando b/a por a, obtemos:
b b
xa= b > | b
a a
Assim, o quociente a.
Os exemplos ficam a seu cargo.

2) Como visto na letra d do exerccio 1, todo inteiro um divisor de 0. Logo,


existem infinitos divisores de 0, no havendo um maior divisor. Portanto,
no existe (0, 0).

3) Seja f o MDC entre ( a + b ) e ( a b ) . Pelo Teorema 5,


f | (a + b) + ( a + b ) e f | ( a + b ) ( a + b ) , ou seja, f|2a e f|2b.
Portanto, f um divisor comum entre 2a e 2b, e, pelo Teorema 11, f divide
o MDC de 2a e 2b. Por hiptese, ( a, b ) = 1 , e, pelo exerccio 3 que resolve-
mos, ( 2a, 2b ) = 2 ( a, b ) = 2 1 = 2 .
Logo, f|2. Logo, pelo Lema do Teorema 7, s nos resta f = 1 ou f = 2 .

4) Mostre que, se ( a, b ) = 1 , o MDC entre ( a + b ) e ( a b ) 1 ou 2.


Dica: utilize o Teorema 6 e o resultado do exerccio 3, inserido em Landau
(2002, p. 269), que resolvemos neste caderno.

5) Se ( a, b ) = 1 , ento existem x e y, tais que ax + by =


1 . Multiplicando
a igualdade por c, temos que c . Como ( a, c ) = 1 , existem
acx + bcy =
s e t, tais que as + ct =
1 . Substituindo c pelo resultado da equao an-
terior, temos que as + ( acx + bcy ) t =
1 as + acxt + bcyt =
1
a ( cxt + s ) + bc ( yt ) =
1.
Como cxt + s e yt so inteiros, existem z e w, tais que ax + bcw =
1, o
que, pelo Lema de Bzout, s possvel se ( a, bc ) = 1 .
U1 - Divisibilidade, MMC e MDC 43

Como q = r , utilizando o algoritmo da diviso, temos:


x = 9r + r x = 10r .
Como 0 r < 9 , basta substituirmos os inteiros de 0 a 8 na equao.
Encontraremos como respostas: 0, 10, 20, 30, 40, 50, 60, 70, e 80.

1) O aluno resolver facilmente estes exerccios, baseando-se nos exemplos do


tpico 5. 4.

6) As respostas so:

7) a) 5. b) 3. c) 3. d) 1. e) 13.

5. CONSIDERAES
Chegamos ao final da primeira unidade, na qual voc apren-
deu a definio e as propriedades da divisibilidade. Alm disso,
teve contato com muitas demonstraes relativas Teoria dos N-
meros, fazendo exerccios para comprovar alguns resultados. Com
este estudo, voc pde acompanhar dois resultados importantssi-
mos para a Matemtica, e que, com certeza, utilizar como futuro
professor: o algoritmo da diviso e o algoritmo de Euclides, para o
clculo do MDC entre dois nmeros.
Na prxima unidade, voc conhecer as propriedades que
envolvem os nmeros primos.

6. REFERNCIAS BIBLIOGRFICAS
LANDAU, E. Teoria elementar dos nmeros. Rio de Janeiro: Cincia Moderna, 2002.
SANTOS, J. P. O. Introduo teoria dos nmeros. 3. ed. Rio de Janeiro, IMPA, 2011.
(Coleo Matemtica Universitria).

Claretiano - Centro Universitrio


Claretiano - Centro Universitrio