Académique Documents
Professionnel Documents
Culture Documents
Teoria dos Nmeros Prof. rico Santana de Macedo e Prof. Ms. Yuri Santana de
Macedo
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
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.
CONTEDO INTRODUTRIO
1 INTRODUO.................................................................................................... 9
2 GLOSSRIO DE CONCEITOS.............................................................................. 11
3 ESQUEMA DOS CONCEITOS-CHAVE................................................................. 12
4 REFERNCIA BIBLIOGRFICA........................................................................... 13
5 E-REFERNCIAS................................................................................................. 13
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).
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
Nmeros Inteiros
Divisibilidade
Equaes diofantinas
Congruncias lineares
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.
CONTEDOS
Divisibilidade: definio e propriedades.
O algoritmo da diviso.
Mnimo mltiplo comum e mximo divisor comum: definio e propriedades.
O algoritmo de Euclides.
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.
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 )
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
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!
Teorema 12
Se a e b no so nulos, ento ( a, b ) = ( b, a ) .
U1 - Divisibilidade, MMC e MDC 31
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
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
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.
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 )
r1 r2 ... rn-1 rn 0
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.
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.
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.
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).