A para o Ensino Fundamental

Matemtica para o
Ensino Fundamental
So Cristvo/SE
2010
der Matheus de Souza
Capa
Hermeson Alves de Menezes
Elaborao de Contedo
der Matheus de Souza
S729m Souza, der Matheus de.
Matemtica para o ensino fundamental/ der Matheus de
Souza -- So Cristvo: Universidade Federal de Sergipe,
CESAD, 2010.
1. Matemtica (Ensino fundamental) I. Ttulo.

CDU 510
Copyright 2010, Universidade Federal de Sergipe / CESAD.
Nenhuma parte deste material poder ser reproduzida, transmitida e gravada
por qualquer meio eletrnico, mecnico, por fotocpia e outros, sem a prvia
autorizao por escrito da UFS.
FICHA CATALOGRFICA PRODUZIDA PELA BIBLIOTECA CENTRAL
UNIVERSIDADE FEDERAL DE SERGIPE
Matemtica para o Ensino Fundamental
UNIVERSIDADE FEDERAL DE SERGIPE
Cidade Universitria Prof. Jos Alosio de Campos
Av. Marechal Rondon, s/n - Jardim Rosa Elze
CEP 49100-000 - So Cristvo - SE
Fone(79) 2105 - 6600 - Fax(79) 2105- 6474
Presidente da Repblica
Luiz Incio Lula da Silva
Ministro da Educao
Fernando Haddad
Secretrio de Educao a Distncia
Carlos Eduardo Bielschowsky
Reitor
Josu Modesto dos Passos Subrinho
Vice-Reitor
Angelo Roberto Antoniolli
Chefe de Gabinete
Ednalva Freire Caetano
Coordenador Geral da UAB/UFS
Diretor do CESAD
Antnio Ponciano Bezerra
Vice-coordenador da UAB/UFS
Vice-diretor do CESAD
Fbio Alves dos Santos
NCLEO DE MATERIAL DIDTICO
Hermeson Menezes (Coordenador)
Edvar Freire Caetano
Isabela Pinheiro Ewerton
Lucas Barros Oliveira
Diretoria Pedaggica
Clotildes Farias (Diretora)
Hrica dos Santos Mota
Iara Macedo Reis
Daniela Souza Santos
Janaina de Oliveira Freitas
Diretoria Administrativa e Financeira
Edlzio Alves Costa Jnior (Diretor)
Sylvia Helena de Almeida Soares
Valter Siqueira Alves
Coordenao de Cursos
Djalma Andrade (Coordenadora)
Ncleo de Formao Continuada
Rosemeire Marcedo Costa (Coordenadora)
Ncleo de Avaliao
Guilhermina Ramos (Coordenadora)
Carlos Alberto Vasconcelos
Elizabete Santos
Marialves Silva de Souza
Ncleo de Servios Grcos e Audiovisuais
Giselda Barros
Ncleo de Tecnologia da Informao
Joo Eduardo Batista de Deus Anselmo
Marcel da Conceio Souza
Assessoria de Comunicao
Guilherme Borba Gouy
Neverton Correia da Silva
Nycolas Menezes Melo
Coordenadores de Curso
Denis Menezes (Letras Portugus)
Eduardo Farias (Administrao)
Haroldo Dorea (Qumica)
Hassan Sherafat (Matemtica)
Hlio Mario Arajo (Geograa)
Lourival Santana (Histria)
Marcelo Macedo (Fsica)
Silmara Pantaleo (Cincias Biolgicas)
Coordenadores de Tutoria
Edvan dos Santos Sousa (Fsica)
Geraldo Ferreira Souza Jnior (Matemtica)
Janana Couvo T. M. de Aguiar (Administrao)
Priscilla da Silva Ges (Histria)
Rafael de Jesus Santana (Qumica)
Ronilse Pereira de Aquino Torres (Geograa)
Trcia C. P. de Santana (Cincias Biolgicas)
Vanessa Santos Ges (Letras Portugus)
Sumrio
Aula 1: Nmeros Naturais 13
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 14
1.2 Axiomas de Peano . . . . . . . . . . . . . . . . . . 14
1.2.1 Adio de Nmeros Naturais . . . . . . . . 15
1.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 18
1.4 RESUMO . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 Proxima aula . . . . . . . . . . . . . . . . . . . . . 19
1.6 Atividades . . . . . . . . . . . . . . . . . . . . . . . 19
1.7 Leitura Complementar . . . . . . . . . . . . . . . . 20
Aula 2: Nmeros Naturais: Continuao 21
2.0.1 Introduo . . . . . . . . . . . . . . . . . . . 21
2.1 Multiplicao de Nmeros Naturais . . . . . . . . . 22
2.1.1 Relao de Ordem . . . . . . . . . . . . . . 23
2.1.2 Boa Ordenao . . . . . . . . . . . . . . . . 25
2.2 Concluso . . . . . . . . . . . . . . . . . . . . . . . 26
2.3 RESUMO . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 Proxima aula . . . . . . . . . . . . . . . . . . . . . 27
2.5 Atividades . . . . . . . . . . . . . . . . . . . . . . . 27
Aula 3: Nmeros Inteiros 29
3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 A construo dos Nmeros Inteiros . . . . . . . . . 30
3.2.1 Adio de Nmeros Inteiros . . . . . . . . . 31
3.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 34
3.4 RESUMO . . . . . . . . . . . . . . . . . . . . . . . 35
3.5 Proxima aula . . . . . . . . . . . . . . . . . . . . . 36
3.6 Atividades . . . . . . . . . . . . . . . . . . . . . . . 36
Aula 4: Ordem dos Inteiros 37
4.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 37
4.2 Ordem . . . . . . . . . . . . . . . . . . . . . . . . 37
4.2.1 Ordem dos Inteiros . . . . . . . . . . . . . . 37
4.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 43
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 44
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 45
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 45
LEITURA COMPLEMENTAR . . . . . . . . . . . 46
Aula 5: Nmeros Inteiros: Continuao 47
5.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 48
5.2 Propriedades Aritmticas dos Nmeros Inteiros . . 48
5.2.1 Divisibilidade . . . . . . . . . . . . . . . . . 48
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 52
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 53
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 54
Aula 6: Algoritmo da Diviso 55
6.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 56
6.1.1 Diviso Euclidiana . . . . . . . . . . . . . . 56
6.1.2 Sistemas de Numerao Posicionais . . . . . 58
6.1.3 Critrios de Divisibilidade . . . . . . . . . . 61
6.1.4 Teorema Fundamental da Aritmtica . . . . 62
6.2 Concluso . . . . . . . . . . . . . . . . . . . . . . . 63
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 63
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 64
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 64
Aula 7: Clculo do MDC e MMC 67
7.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 68
7.1.1 Clculo do MDC . . . . . . . . . . . . . . . 68
7.1.2 Mnimo mltiplo Comum . . . . . . . . . . 71
7.1.3 Diviso em Z . . . . . . . . . . . . . . . . . 72
7.2 Concluso . . . . . . . . . . . . . . . . . . . . . . . 72
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 73
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 73
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 74
Aula 8: Racionais 75
8.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 76
8.2 Construo dos Nmeros Racionais . . . . . . . . . 76
8.2.1 Adio e Multiplicao em Q . . . . . . . . 77
8.2.2 Diviso em Q . . . . . . . . . . . . . . . . . 80
8.2.3 Somatrios e produtrios em Q . . . . . . . 80
8.2.4 Potncias de Nmeros Racionais . . . . . . 81
8.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 82
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 82
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 84
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 84
Aula 9: Ordem 85
9.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 86
9.2 Relao de Ordem em Q . . . . . . . . . . . . . . . 86
9.3 Concluso . . . . . . . . . . . . . . . . . . . . . . . 91
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 91
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 92
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 92
Aula 10: Racionais 95
10.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 96
10.1.1 Valor Absoluto de um Nmero Racional . . 96
10.1.2 A Funo Maior Inteiro . . . . . . . . . . . 98
10.1.3 Representao Decimal . . . . . . . . . . . . 100
10.2 Concluso . . . . . . . . . . . . . . . . . . . . . . . 102
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 102
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 102
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 102
Aula 11: Reais 105
11.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 106
11.1.1 Cortes em Q . . . . . . . . . . . . . . . . . 106
11.1.2 Construo dos Nmeros Reais . . . . . . . 108
11.2 Concluso . . . . . . . . . . . . . . . . . . . . . . . 111
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 111
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 111
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 111
Aula 12: Reais - Continuao 113
12.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 114
12.1.1 Continuao . . . . . . . . . . . . . . . . . . 114
12.1.2 Inequaes . . . . . . . . . . . . . . . . . . 117
12.1.3 Valor absoluto de um nmero real . . . . . 118
12.2 Concluso . . . . . . . . . . . . . . . . . . . . . . . 118
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 118
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 119
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 119
Aula 13: Reais- Continuao 121
13.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 122
13.1.1 Propriedade Arquimediana de R . . . . . . 122
13.1.2 Desigualdade de Bernolli . . . . . . . . . . . 123
13.2 Concluso . . . . . . . . . . . . . . . . . . . . . . . 127
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 128
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 129
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 129
Aula 14: Sistema de Numerao 131
14.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 131
14.2 Sistema de numerao egpcio . . . . . . . . . . . . 131
14.3 Sistema de numerao Babilnico . . . . . . . . . . 134
14.4 Concluso . . . . . . . . . . . . . . . . . . . . . . . 136
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 136
PRXIMA AULA . . . . . . . . . . . . . . . . . . . . 137
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 137
Aula 15: Sistema de Numerao 139
15.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . 140
15.2 Sistema de Numerao Romano . . . . . . . . . . . 140
15.3 O Sistema de Numerao Indo-Arbico . . . . . . . 140
15.4 Concluso . . . . . . . . . . . . . . . . . . . . . . . 144
RESUMO . . . . . . . . . . . . . . . . . . . . . . . . . 144
ATIVIDADES . . . . . . . . . . . . . . . . . . . . . . 144
AULA
1
Nmeros Naturais
META:
Apresentar os nmeros naturais axiomaticamente atravs dos ax-
iomas de Peano .
OBJETIVOS:
Ao m da aula os alunos devero ser capazes de:
Denir nmeros naturais axiomaticamente.
Saber fazer uso do processo de Induo nita.
PR-REQUISITOS
Conjuntos; Funes; Mtodos de demonstraes.
Nmeros Naturais
1.1 Introduo
Prezado aluno, bem vindo ao curso Matemtica para o Ensino
Fundamental. Esta nossa primeira aula e logo de incio fao-lhe
a seguinte pergunta: O que um nmeros natural?
At hoje estudamos nas primeiras sries do ensino fundamental,
a utilidade dos Nmeros naturais: contagem. Neste curso esta-
mos interessados em saber qual estrutura matemtica est por trs
disto. Por que 2+3=5 e no 2+3=4? Isto tem haver com a noo
de sucessor que apresentaremos nesta aula.
Nestas primeiras aulas, ser apresentado a construo dos Nmeros
Naturais, bem como suas propriedades, de maneira axiomtica.
Isto ser feito atravs dos Axiomas de Peano, que recebe este
nome em homenagem ao matemtico italiano Giuseppe Peano que,
em 1889, os apresentou na obra "Arithmetices Principia Nova
Methodo Exposita".
1.2 Axiomas de Peano
Toda teoria dos nmeros naturais pode ser deduzida a partir de 3
axiomas, intitulados Axiomas de Peano, que sero apresentados
a seguir.
Axioma 1.1. Axiomas de Peano: Existe um conjunto, deno-
tado por N, e uma funo s : N N que satisfaz as seguintes
axiomas:
1) O Conjunto N no-vazio;
2) s : N N injetora e o complementar de imagem de s
um conjunto unitrio.
14
AULA
1
3) Para todo subconjunto A N, tal que A contm o comple-
mentar da imagem de s e contm a imagem de cada elemento
de A, tem-se A = N.
OBS 1.1. O conjunto N chamado Conjunto dos Nmeros
Naturais e seus elementos so chamados nmeros naturais.
OBS 1.2. O axioma 1 garante que N no-vazio.
OBS 1.3. A imagem de cada elemento de N chamado de sucessor
deste elemento.
OBS 1.4. O axioma 2 nos diz que existe um elemento em N que
no sucessor de nenhum outro.
OBS 1.5. O ltimo axioma chamado de Princpio de Induo
e geralmente utilizado para mostrar que se uma proposio
vlida para o primeiro elemento dos naturais e tambm valida
para o sucessor de um natural arbitrrio, ento a propriedade
valida para os elementos de N.
Vamos utilizar a representao indo-arbica para os nmeros nat-
urais: N = {1, 2, 3, 4, . . .}. Note que o sucessor de 1 2, sucessor
de 2 3 e assim por diante. A partir dos sucessores, vamos denir
as operaes de adio e multiplicao de nmeros naturais.
1.2.1 Adio de Nmeros Naturais
Denio 1.1. Seja N o conjunto dos nmeros naturais e s : N
N a funo sucessor. Denamos a soma de nmeros naturais da
seguinte maneira:
m + n := s
n
(m) =
n
..
s . . . s(m)
.
15
Nmeros Naturais
OBS 1.6. Note que, por denio:
n + 1 = s(n),
n + s(m) = s(m + n).
Exemplo 1.1. Para exemplicar, vamos calcular 2 + 3:
(2 + 1) = s(2) = 3
(2 + 2) = s(2 + 1) = s(3) = 4
(2 + 3) = s(2 + 2) = s(4) = 5.
Proposio 1.1. Dados n, m, p N temos:
a) m + (n + p) = (m + n) + p (Associatividade);
b) m + n = n + m (Comutatividade);
c) Dados m, n N exatamente uma das seguintes alternativas
ocorre: ou m = n ou existe k
1
N tal que m = n + k
1
ou
existe k
2
N tal que n = m + k
2
(Tricotomia);
d) Se m + n = m + p, ento n = p (Lei do Cancelamento);
Demonstrao.
a) Seja m, n N e A = {p N : (m + n) + p = m + (n + p)}.
Mostraremos que A = N, usando o Princpio de induo.
Observe que 1 A, pois s(n) = n+1 e m+s(n) = s(m+n) =
(m+n) + 1 e, portanto, (m+n) + 1 = m+ (n + 1). Agora,
seja p A. Para concluir a demonstrao usando o princpio
de induo, devemos mostrar que s(p) = p + 1 A. De fato
m + (n + s(p)) = m + s(n + p) =
= s(m + (n + p))
pA
= s((m + n) + p) = (m + n) + s(p).
Logo s(p) A e pelo Princpio de Induo (Axioma 3), A =
N.
16
AULA
1
b) Inicialmente, mostraremos que m + 1 = 1 + m, m N.
Considere B = {m N : m + 1 = 1 + m}. Claramente
1 B. Suponha, por hiptese de induo (HI), que m B.
Assim,
1 + s(m) = s(1 + m)
HI
= s(m + 1) = s(m) + 1.
Logo s(m) B e, pelo princpio de induo, B = N.
Seja A = {n N : m + n = n + m}. Como 1 A, suponha
n A. Armao: s(n) A. De fato,
m + s(n) = s(m + n)
nA
= s(n + m) = n + s(m) =
= n + (m + 1)
1Y
= n + (1 + m)
(a)
= (n + 1) + m = s(n) + m.
Assim Y = N.
c) Primeiramente, vamos mostrar que n = n + q, n, q N.
Com efeito, pelo axioma 2, 1 = 1 + q. Supondo n = n + q,
ainda pelo axioma 2, obtemos s(n) = s(n + q) = s(n) + q
(s injetiva). Logo pelo axioma 3 (Princpio de induo),
n = n + q, n, q N.
Voltamos demonstrao de c). Sejam n N e
A = {m N : m e n Satisfazem a propriedade do item c)}.
Armao: 1 A. Com efeito, ou m = 1 ou m = 1 e neste
caso existe n
0
N tal que
1 + n
0
= n
0
+ 1 = s(n
0
) = m (Axioma 2).
Suponha m A. Assim, ou m = n ou existe q N tal que
m = n + q ou existe p N tal que n = m + p. Armao:
s(m) A. De fato, caso m = n temos que (axioma 2)
s(m) = s(n) = n +1. Caso m = n +q, ainda pelo axioma 2,
s(m) = s(n + q) = (n + q) + 1 = n + (q + 1) = n + s(q).
17
Nmeros Naturais
No caso em que n = m + p temos que p = 1 ou p = 1. Se
p = 1, n = m + 1 = s(m). Se p = 1, pelo axioma 2, p
sucessor de algum p
0
N, ou seja, p = p
0
+ 1. Assim,
n = m + (p
0
+ 1) = (m + 1) + p
0
= s(m) + p
0
.
Analisando os casos estudados vemos que ou s(m) = n ou
existe q N tal que s(m) = n + q ou existe p N tal
que n = s(m) + p. Portanto s(m) A e, pelo princpio de
induo, A = N.
d) Sejam m, n, p N tais que m + n = m + p. Suponha p = n.
Pela tricotomia, existe q N tal que n = p + q ou existe q
tal que p = n + q. Se n = p + q, temos que
m + n = m + (p + q) = (m + p) + q,
o que uma contradio (ver demonstrao de c)). O caso
em que p = n + q deixado com exerccio.
1.3 Concluso
Na aula de hoje, apresentamos os Nmeros Naturais atravs dos
axiomas de Peano. Vimos tambm o princpio de Induo Finita,
que extremamente importante para mostrar que certas propriedades
so vlidas para os Naturais como pudemos observar na prova das
propriedades da adio dos nmeros naturais.
1.4 RESUMO
Axiomas de Peano: Existe um conjunto, denotado por N,
e uma funo s : N N que satisfaz as seguintes axiomas:
18
AULA
1
1) O Conjunto N no-vazio;
2) s : N N injetora e o complementar de imagem de
s um conjunto unitrio.
3) Para todo subconjunto A N, tal que A contm o
complementar da imagem de s e contm a imagem de
cada elemento de A, tem-se A = N.
Propriedades da Adio Dados n, m, p N temos:
c) Dados m, n N exatamente uma das seguintes alter-
nativas ocorre: ou m = n ou existe k
1
N tal que
m = n + k
1
ou existe k
2
N tal que n = m + k
2
(Tricotomia);
d) Se m+n = m+p, ento n = p (Lei do Cancelamento);
1.5 Proxima aula
Na prxima aula, Na prxima aula deniremos multiplicao de
nmeros naturais atravs da adio e da funo sucessor e apre-
sentaremos o Princpio da Boa Ordem.
1.6 Atividades
ATIV. 1.1. Usando a funo sucessor, mostre que 3 + 4 = 7 e
4 + 2 = 6
Sugesto: Veja exemplo 1.1.
ATIV. 1.2. Mostre que se m + n = m + p, ento p = n + q,
qualquer que seja q N.
Sugesto: Veja demonstrao da Lei do Cancelamento.
19
Nmeros Naturais
ATIV. 1.3. Mostre usando o princpio de induo que:
a) 1 + 2 + . . . n =
n(n+1)
2
b) 2 + 4 . . . 2n = n(n + 1)
c) 1 + 3 + . . . (2n + 1) = (n + 1)
2
ATIV. 1.4. Mostre que
p(n) : n > 1 n 2
verdadeira para todo n N. (O enunciado nos diz que no existe
nmero natural tal que 1 < n < 2).
1.7 Leitura Complementar
LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,
5.ed., Rio de Janeiro, 2008.
LIMA, Elon L., Matemtica para o Ensino Mdio 1, SBM, 5.ed,Rio
de Janeiro, 2008.
DOMINGUES, H. Fundamentos de Aritmtica, Atual Editora, So
Paulo, 2001.
20
AULA
2
Nmeros Naturais:
Continuao
META:
Apresentar as propriedades de Multiplicao e o Princpio da Boa
Ordem .
OBJETIVOS:
Entender o processo de multiplicao de nmeros naturais.
Saber fazer uso do processo de Segundo Princpio de Induo nita.
PR-REQUISITOS
Axiomas de Peano.
2.0.1 Introduo
Prezado aluno, nesta aula deniremos multiplicao de Nmeros
Naturais apresentaremos propriedades que a multiplicao pos-
sui. Alm disso colocaremos uma relao de ordem no naturais
e mostraremos o Princpio da Boa Ordem que nos fala que todo
subconjunto dos Naturais possui um maior elemento.O interessante
que este Princpio equivale ao Princpio de Induo Finita.
Nmeros Naturais: Continuao
2.1 Multiplicao de Nmeros Naturais
Antes de denir multiplicao de nmeros naturais, denamos a
funo "soma com m"
f
m
: N N
p f
m
(p) = p + m
Usaremos esta funo para denir multiplicao de nmeros natu-
rais.
Denio 2.1. Seja N o conjunto dos nmeros naturais. Deni-
mos a multiplicao de dois nmeros naturais como:
m 1 = m
m (n + 1) = (f
m
)
n
(m) =
n
..
f
m
. . . f
m
(m)
onde f
m
: N N a funo "soma com m".
OBS 2.1. Observe que multiplicar um nmero m por 1 no o
altera, e multiplicar m por um nmero maior que 1, ou seja, por
um nmero da forma n + 1, iterar n-vezes a operao de somar
m, comeando com m.
Exemplo 2.1. Por exemplo 23 = (f
2
)
2
(2) = 2+2+2 = s(3)+2 =
s(5) = 6.
OBS 2.2. Da denio de (f
m
)
n
temos que a m(n+1) = mn+m,
m, n N. De fato, se n = 1, temos que
m 1 + m = m + m = (f
m
)
1
(m) = m(1 + 1).
Se n = 1, temos que ele sucessor de algum, digamos n
0
, ou seja,
n = s(n
0
). Assim
mn+m = m(n
0
+1)+m = (f
m
)
s(n
0
)
(m) = (f
m
)
n
(m) = m(n+1)
22
AULA
2
Proposio 2.2. Sejam m, n, p N. Ento
a) m (n + p) = m n + m p e (m + n) p = m p + n p
(Distributividade);
b) m (n p) = (m n) p (Associatividade);
c) m n = n m (Comutatividade);
e) m p = n p =m = n (Lei de cancelamento).
Demonstrao. Demonstraremos o item a) deixando o restante
como exerccio.
Seja A = {p N : m (n + p) = m n + m p}. Pela observao
(2.2) temos que 1 A. Suponha que p A. Logo
m (n + (p + 1)) = m ((n + p) + 1)
= m (n + p) + m 1
pA
= (m n + m p) + m
= m n + (m p + m) = m n + m (p + 1)
Assim p + 1 A e portanto, pelo princpio de induo, A = N.
2.1.1 Relao de Ordem
Nosso objetivo mostrar que N um conjunto ordenado, ou seja
que possui uma ordem. A relao de ordem do conjunto dos
Nmeros Naturais denida atravs da adio.
Denio 2.2. Seja m, n N. Dizemos que n menor que m (ou
m maior que n) e escrevemos n < m (ou m > n) se existe q N
tal que n + q = m
Proposio 2.3. Sejam m, n, p N.
a) Se m < n e n < p, ento m < p (Transitividade);
23
b) Exatamente uma das seguinte alternativas ocorre: m = n ;
m < n ; n < m (Tricotomia);
c) Se m < n, ento m+p < n+p (Monotonicidade da adio);
d) Se m < n, ento m p < n p (Monotonicidade da Multipli-
cao).
Demonstrao.
a) Considere m < n e n < p. Por denio, existem q
1
, q
2
N
tal que m + q
1
= n e n + q
2
= p. Portanto, substituindo n
na segunda igualdade temos:
p = (m + q
1
) + q
2
= m + (q
1
+ q
2
) = m + x.
Como p = m + x, com x = q
1
+ q
2
N temos que m < p.
b) Pela Proposio 1.1 item d), dados m, n N uma das trs
alternativas ocorre:ou m = n ou existe k
1
N tal que m =
n+k
1
ou existe k
2
N tal que n = m+k
2
. Portanto m = n
ou m < n ou n < m.
c) Por hiptese m < n, ou seja, n = m + q para algum q N.
Assim
n + p = (m + q) + p
Proposio 1.1
= (m + p) + q.
Logo m + p < n + p
d) Exerccio.
OBS 2.3. Escrevemos m n, para dizer que m < n ou m = n.
L-se: m menor ou igual a n.
24
AULA
2
2.1.2 Boa Ordenao
Denio 2.3. Seja A N. Dizemos que p A o menor
elemento de A, se p n , n A.
Exemplo 2.2. 1 o menor elemento de N, pois se n = 1, ele
sucessor de algum, ou seja, existe n
0
N tal que n = n
0
+ 1.
Portanto 1 n, n N.
Denio 2.4. Dizemos que p A o maior elemento de A, se
p n, , n A.
Pergunta: Existe = A N que no possui elemento mximo?
e mnimo? Que no possui elemento mximo basta fazer A =
N. J para mnimo, no conseguimos tal conjunto. Para isto,
mostraremos o chamado Princpio da Boa Ordenao
Teorema 2.1. (Princpio da Boa Ordenao) Todo subcon-
junto no vazio A N possui menor elemento.
Demonstrao.
Seja X = {n N : {1, 2, 3 . . . , n} N A}. Note que se 1 A,
1 o menor elemento de A pois 1 o menor elemento de N (ver
exemplo 2.2). Suponha ento que 1 / A. Logo 1 X. Como
A = , temos que X = N. Assim, pelo princpio de induo, existe
m X tal que m + 1 / A (caso contrrio X = N). Ou seja
1, 2, 3 . . . , m / A. Logo m + 1 A e m + 1 n, n A.
Teorema 2.2. (Segundo Princpio de Induo) Seja A N
um conjunto com a seguinte propriedade:
1. dado n N, se A contm todos os elementos m tal que m <
n, ento n A.
Ento A = N.
25
Demonstrao. Seja X = N A e suponha X = . Pelo
Princpio da Boa Ordenao (Teorema 2.1) existe p X tal que
p n, n X. Assim, se q < p ento q / X, ou seja, q A.
Mas, pelas hipteses sobre o conjunto A, p A, o que uma
contradio. Logo X = , ou seja, A = N.
Exerccio 2.1. Mostre que o Segundo Princpio de Induo im-
plica o Princpio de Induo (Axioma 3 de Peano)
Note que com o resultado do exerccio anterior, temos uma equiv-
alncia entre Princpio da Boa ordenao, Segundo Princpio de In-
duo e Princpio de Induo. Portanto poderamos ter construdo
os Nmeros Naturais substituindo o Axioma 3 por qualquer um
dos outros dois resultados.
2.2 Concluso
Na aula de hoje, apresentamos a operao de multiplicao e um
relao de ordem no conjuntos dos nmeros naturais. Alm disso
provamos que todo subconjunto no vazio de N possui menor ele-
mento.
Agora, caro aluno, sabemos o que um nmero natural e como se
dene as operaes neste conjunto.
2.3 RESUMO
Propriedades da multiplicao: Sejam m, n, p N. En-
to
a) m (n + p) = m n + m p e (m + n) p = m p + n p
(Distributividade);
b) m (n p) = (m n) p (Associatividade);
26
AULA
2
c) m n = n m (Comutatividade);
e) m p = n p =m = n (Lei de cancelamento).
Relao de ordem: Seja m, n N. Dizemos que n menor
que m (ou m maior que n) e escrevemos n < m (ou m > n)
se existe q N tal que n + q = m
Propriedades da relao de ordem: Sejam m, n, p N.
a) Se m < n e n < p, ento m < p (Transitividade);
b) Exatamente uma das seguinte alternativas ocorre: m =
n ; m < n ; n < m (Tricotomia);
c) Se m < n, ento m + p < n + p (Monotonicidade da
adio);
d) Se m < n, ento m p < n p (Monotonicidade da
Multiplicao).
Boa Ordenao: Todo subconjunto no vazio A N possui
menor elemento
2.4 Proxima aula
Na prxima aula deniremos nmeros inteiros a partir dos nmeros
naturais. Os inteiros sero classes de equivalncia, por isso, caro
aluno bom revisar o conceito de relao de equivalncia.
2.5 Atividades
ATIV. 2.1. Usando a denio de multiplicao, mostre que 3.4 =
12 e 4.2 = 8
Sugesto: Veja exemplo 2.1.
27
ATIV. 2.2. Se m < n, ento m p < n p (Monotonicidade da
Multiplicao)
Sugesto: Veja demonstrao da Monotonicidade da Adio.
ATIV. 2.3. Mostre que o produto de nmeros naturais possui as
seguintes propriedades:
a) Distributividade: m (n + p) = m n + n p e (m + n) p =
m p + n p
b) Associatividade: (m n) p = m (n p)
c) Comutatividade: m n = n m
d) Lei do Cancelamento: m p = n p m = p
de Janeiro, 2008.
Paulo, 2001.
28
AULA
3
Nmeros Inteiros
META:
Apresentar os nmeros inteiros axiomaticamente atravs dos Nmeros
Naturais .
OBJETIVOS:
Denir nmeros inteiros axiomaticamente.
Realizar operaes com os nmeros inteiros com classes de equiv-
alncia .
PR-REQUISITOS
Nmeros naturais e suas propriedades.
3.1 Introduo
Prezado aluno, nesta aula deniremos o conjunto dos Nmeros In-
teiros como classes de equivalncia dos nmeros naturais. Ainda
no trataremos os inteiros como so tratados no ensino fundamen-
tal. Primeiramente daremos sentido a soma e multiplicao dos
inteiros como classes de equivalncia.
Nmeros Inteiros
3.2 A construo dos Nmeros Inteiros
No conjunto N N considere a relao denida por
:= {((a, b), (c, d)) N
2
N
2
: a + d = b + c}, (3.1)
ou seja
(a, b) (c, d) a + d = b + c.
Proposio 3.4. A relao denida em (3.1) um relao de
equivalncia.
Demonstrao. Temos que mostrar que para a relao vale
a reexividade, simetria e transitividade. Para mostrar a reex-
ividade, basta notar que para todo (a, b) N N se verica
a + b = b + a, uma vez que a adio de nmeros naturais co-
mutativa. Logo (a, b) (b, a).
Considere (a, b) (c, d), ou seja a + d = b + c. Como a adio
comutativa e a igualdade uma relao simtrica, temos que
c + b = d + a, ou seja, (c, d) (a, b). Portanto vale a simetria:
(a, b) (c, d) =(c, d) (a, b)
Mostraremos que a relao transitiva. Considere (a, b) (c, d)
e (c, d) (e, f), ou seja,
a + d = b + c e c + f = d + e.
Assim,
(a + d) + f = (b + c) + f e b + (c + f) = b + (d + e).
Aplicando associatividade, a comutatividade, lei do corte da adio
nos nmeros naturais e a transitividade da igualdade obtemos
a + f = b + e,
30
AULA
3
ou seja, (a, b) (e, f). Assim que a relao transitiva.
Portanto uma relao de equivalncia em N N.
Como de equivalncia, determina uma partio neste conjunto
em classes de equivalncia. Representamos (a, b) a classe do ele-
mento (a, b), ou seja,
(a, b) = {(x, y) N N : a + y = b + x}.
Seja Z o conjunto de todas as classes (a, b), para qualquer (a, b)
N N. Ento
Z =
(N N)
= {(a, b) : (a, b) N N}.

Denio 3.1. O conjunto Z chamado Conjunto dos nmeros
inteiros e cada elemento deste conjunto dito ser um nmero in-
teiro.
3.2.1 Adio de Nmeros Inteiros
Denio 3.2. Seja Z = {(a, b) : (a, b) N N}. Chama-se
adio de m = (a, b) e n = (c, d) aplicao
+ : Z Z Z
((a, b), (c, d)) (a + c, b + d)
Proposio 3.5. A aplicao de adio + est bem denida.
Demonstrao. Sejam (a, b) = (c, d) e (x, y) = (e, f). Assim
a + d = b + c e x + f = y + e.
Logo
(a + d) + (x + f) = (b + c) + (y + e),
31
Nmeros Inteiros
e portanto
(a + x) + (d + f) = (b + y) + (c + e)
(a + x, b + y) = (c + e, d + f)
(a, b) + (x, y) = (c, d) + (e, f).
Portanto a adio independe dos representantes, ou seja, est bem
denida.
Proposio 3.6. A adio de nmeros inteiros possui as seguintes
propriedades:
a) (a, b)+(c, d) = (c, d)+(a, b), (a, b), (c, d) Z(Comutatividade);
b)
_
(a, b) + (c, d, )
_
+(e, f) = (a, b)+
_
(c, d) + (e, f)
_
, (a, b), (c, d), (e, f)
Z(Associatividade);
c) Existe elemento neutro da adio, denominado zero;
d) Existe inverso aditivo.
Demonstrao.
a) Por denio, (a, b) + (c, d) = (a + c, b + d). Seja (x, y)
(a + c, b + d). Assim (a + c) + y = (b + d) + x e pela co-
mutatividade da adio de nmeros naturais chegamos, a
(c + a) + y = (d + b) + x. Da, conclumos que (x, y)
(c + a, d + b). Como a classe independe dos representantes,
temos que
(a, b)+(c, d) = (a + c, b + d) = (c + a, d + b) = (c, d)+(a, b).
b) Exerccio.
32
AULA
3
c) Inicialmete note que (x + a, x + b) = (a, b), (x, x), (a, b)
Z, pois b + (x + a) = a + (x + b) e, por denio, (a, b)
(x + a, x + b). Por outro lado,
(x, x) + (a, b) = (x + a, x + b) = (a, b).
Portanto (x, x) elemento neutro da adio.
d) Note que
(a, b) + (b, a) = (a + b, b + a) = (a + b, a + b) = (x, x).
Assim (b, a) inverso aditivo de (a, b).
Denio 3.3. Seja Z = {(a, b) : (a, b) N N}. Chama-se
multiplicao de m = (a, b) e n = (x, y) aplicao
: Z Z Z
((a, b), (x, y)) (ax + by, ay + bx)
Proposio 3.7. A operao de multiplicao est bem denida.
Demonstrao. Considere (a, b) = (a
1
, b
1
) e (c, d) = (c
1
, d
1
).
Ento (a, b)(c, d) = (ac + bd, ad + bc) e (a
1
, b
1
)(c
1
, d
1
) = (a
1
c
1
+ b
1
d
1
, a
1
d
1
+ b
1
c
1
).
Mas como (a, b) (a
1
, b
1
) e (c, d) (c
1
, d
1
), ento a+b
1
= b+a
1
e
c +d
1
= d+c
1
. Assim obtemos: c(a+b
1
) = c(b +a
1
), a
1
(c +d
1
) =
a
1
(d + c
1
), d(b + a
1
) = d(a + b
1
) e b
1
(d + c
1
) = b
1
(c + d
1
). De-
senvolvendo esses produtos, depois somando membro a membro as
igualdades obtidas, efetuando os possveis cortes, obtemos
(ac + bd) + (a
1
d
1
+ b
1
c
1
) = (bc + ad) + (a
1
c
1
+ b
1
d
1
),
ou seja,
(a, b)(c, d) = (ac + bd, ad + bc) = (a
1
c
1
+ b
1
d
1
, a
1
d
1
+ b
1
c
1
) = (a
1
, b
1
)(c
1
, d
1
).
33
Nmeros Inteiros
Proposio 3.8. Dados (a, b), (c, d), (e, f) Z temos que:
a) (a, b) (c, d) = (s, d) (a, b)(Comutatividade);
b) ((a, b) (c, d)) (e, f) = (a, b) ((c, d) (e, f))(Associatividade);
c) Existe elemento neutro da multiplicao, chamado um.
Demonstrao.
a) Observe que pela denio de multiplicao e pela comuta-
tividade da adio dos nmeros naturais temos:
(a, b) (c, d) = (ac + bd, ad + bc) =
= (ca + db, da + cb) =
= (c, d) (a, b).
b) Exerccio
c) Considere o nmero inteiro (x + 1, x). Note que
(x + 1, x) (a, b) = ((x + 1)a + xb, (x + 1)b + ax).
Alm disso, a+(x+1)b+ax = b+(x+1)a+xb, ou seja, (a, b)
((x + 1)a + xb, (x + 1)b + ax) Logo (x + 1, x) (a, b) = (a, b).
3.3 Concluso
Na aula de hoje, apresentamos os Nmeros Inteiros como classes de
equivalncia dos Naturais. importante salientar que faz sentido a
denio de classe de equivalncia como apresentada, pois daremos
sentido, a posteriori, a expresso do tipo 5-3 e que ela representa
o mesmo inteiro 101-99, ou seja 5 + 99 = 101 + 3 o que signica
(5, 3) = (101, 99).
34
AULA
3
3.4 RESUMO
Relao de equivalncia em N N:
:= {((a, b), (c, d)) N
2
N
2
: a + d = b + c},
ou seja,
(a, b) (c, d) a + d = b + c.
Denio do conjunto dos Nmeros Inteiros:
(a, b) = {(x, y) N N : a + y = b + x}.
Z =
(N N)
= {(a, b) : (a, b) N N}.

Propriedades dos Nmeros Inteiros: Dados n, m, p Z
temos:
c) Existe m Z tal que n + m = n, n Z (Existncia
de Elemento neutro da adio)
d) Existe k Z tal que n+k = m, n Z(Existncia de
Elemento inverso da adio)
e) m (n + p) = m n + m p e (m + n) p = m p + n p
(Distributividade);
f) m (n p) = (m n) p (Associatividade);
g) m n = n m (Comutatividade);
h) Existe q Z tal que n q = n, n Z
35
Nmeros Inteiros
3.5 Proxima aula
Na prxima aula, apresentaremos uma relao de ordem nos nmeros
inteiros e "enxergaremos"os nmeros naturais como subconjuntos
dos nmeros inteiros. Alm disso apresentaremos os princpios de
induo e do menor elemento para os inteiros.
3.6 Atividades
ATIV. 3.1. Mostre, usando a caracterizao dos inteiros como
classes de equivalncia, que a adio dos nmeros inteiros as-
sociativa. Sugesto: Veja demonstrao da comutatividade da
adio dos nmeros inteiros.
ATIV. 3.2. Mostre, usando a caracterizao dos inteiros como
classes de equivalncia, que a adio dos nmeros inteiros as-
sociativa. Sugesto: Veja demonstrao da comutatividade da
multiplicao dos nmeros inteiros.
de Janeiro, 2008.
Paulo, 2001.
Bahiano, C. Notas de aula. UFBA
36
AULA
4
Ordem dos Inteiros
META:
Apresentar ordem nos nmeros inteiros e os Princpio de induo
e do Menor elemento .
OBJETIVOS:
Usar o processo de induo nita dos Inteiros.
Justicar a relao de ordem dos nmeros inteiros.
PR-REQUISITOS
Construo axiomtica dos nmeros inteiros.
4.1 Introduo
Prezado aluno, assim como nos nmeros naturais, podemos denir
uma ordem e aplicar o princpio de induo para os nmeros in-
teiros. o que faremos a seguir.
4.2 Ordem
4.2.1 Ordem dos Inteiros
Teste seo apresentaremos uma relao de ordem nos nmeros
inteiros.
Ordem dos Inteiros
Teorema 4.1. A relao O
Z
= {(x, y), (a, b) Z Z : x + b
y + a} de ordem total em Z.
Demonstrao. Inicialmente armamos que a condio (x, y)
(a, b) independe dos representantes. De fato, sejam (x, y) = (u, w)
e (a, b) = (e, d). Ento x + w = y + u e a + d = b + c. Desta
forma, pela comutatividade e associatividade da adio de nmeros
naturais, se x + b y + a, temos
(u + b) + (x + y) = (x + b) + (y + u)
(y + a) + (y + u) = (y + a) + (x + w)
= (w + a) + (x + y).S
Pela Lei do Cancelamento, u +b w +a, o que signica (u, w)
(a, b).
Como x + y = y + x, temos que (x, y) (x, y). Ou seja, O
Z

reexiva.
Mostraremos agora a anti-simetria . Suponha (x, y) (a, b)(a, b)
(x, y). Assim
x + b y + a e a + y b + x,
donde conclumos que x + b = y + a, ou seja, (a, b) = (x, y).
Em O
Z
vale a transitividade, pois se (x, y) (a, b) e (x, y)(x, y)
temos que
x + b y + a e a + d b + c.
Da,
(x + d) + (b + a) = (x + b) + (d + a)
(y + a) + (b + c)
= (y + c) + (b + a),
donde segue que x + d y + c, ou seja, (x, y) (c, d).
38
AULA
4
Para concluir a demonstrao do Teorema, falta mostrar que vale
a tricotomia. Sejam (x, y), (a, b) Z. Como a tricotomia vlida
para os naturais temos que
x + b y + a ou y + a x + b.
Assim,
(x, y) (a, b) ou (a, b) (x, y).
Proposio 4.9. Seja w (x, y) Z. Representamos o smbolo
"0"a classe do elemento neutro para a adio em Z. Considerando
a ordem O
Z
, temos:
a) 0 w se, e somente se, x y.
b) w 0 se, e somente se, y x
Demonstrao.
a) Como o elemento neutro da adio representado pela classe
(z, z), z N. Assim
0 w (z, z) (x, y) z + y z + x y x.
b) Exerccio
Denio 4.1. Considere o conjunto dos nmeros inteiros munido
da ordem total O
Z
. Os conjuntos descritos abaixo so, respecti-
vamente, chamados de conjuntos dos inteiros positivos e conjunto
dos nmeros negativos:
Z
+
= {w Z : 0 w e w = 0}
Z
= {w Z : w 0 e w = 0}.
39
Ordem dos Inteiros
Corolrio 4.1. A ordem O
Z
particiona o conjunto Z em 3 con-
juntos mutuamente disjuntos.
Demonstrao.
Z = Z
+
{0} Z
O Teorema a seguir caracteriza os nmeros inteiros positivos, neg-

ativos e nos permite pensar os nmeros naturais como subconjunto
dos nmeros inteiros.
Teorema 4.2. Considere o conjunto dos nmeros naturais e o
conjunto dos nmeros inteiros munidos, respectivamente, com suas
ordens (menor ou igual). Ento:
Z
+
= {(x, 1) : x N e 1 < x}
Z
= {(1, x) : x N e 1 < x}
Demonstrao. Note que se x N e 1 < x ento z + 1 < z +x,
z N. Por outro lado assim (z, z) < (x, 1) e portanto (x, 1) Z
+
.
Logo {(x, 1) : x N e 1 < x} Z
+
. Seja (a, b) Z
+
. Pela
denio de Z
+
, b < a. Logo existe p N tal que a = b + p.
Portanto a + 1 = (b + p) + 1 a + 1 = b + (p + 1) e assim
(p + 1, 1) (a, b), ou seja, (a, b) = (p + 1, 1). Logo Z
+
{(x, 1) :
x N e 1 < x}, donde Z
+
= {(x, 1) : x N e 1 < x}.
Corolrio 4.2. Se (a, b) = (x, 1) ento o oposto aditivo de (a, b)
representado por (a, b), (1, x) = (b, a).
Corolrio 4.3. O conjunto Z
+
= {(x, 1) : x N e 1 < x}
satisfaz os axiomas de Peano.
40
AULA
4
Demonstrao. Basta mostrar que existe uma bijeo que preserva
soma entre N = {1, 2, ..., n, ...} e o conjunto Z
+
. Seja
: N Z
+
n (n + 1, 1)
Note que (n) + (m) = (n + 1, 1) + (m + 1, 1) = (m + n + 2, 2).
(n + m + 1, 1) (m + n + 2, 2). Note que (m + n + 1) + 2 =
(m+n+2)+1, logo (n+m+1, 1) (m + n + 2, 2). (n)+(m) =
(m + n + 1, 1) = (m+n). Alm disso, seja (n) = (m). Assim
(n + 1, 1) = (m + 1, 1) (n + 1) + 1 = 1 + (m+ 1). Logo m = n.
Note que (x, 1) Z
+
, 1<x, ou seja, existe p N tal que x = p +1.
Logo, (x, 1) = (p + 1, 1). Logo, (p) = (x, 1). Logo uma
bijeo. N =
_
+
.
OBS 4.1. Pela funo denida no corolrio anterior, se mZ, ou
m = (n + 1, 1) ou m = (1, n + 1) ou m = (1, 1). Assim se zermos
m = (1, 1) = 0
a) (1 + 1, 1) = (2, 1) = +1, (2 + 1, 1) = (3, 1) = +2; e assim
sucessivamente.
b) (1, 1 + 1) = (2, 1) = 1, (1, 2 + 1) = (3, 1) = 2.
Portanto torna-se vlido escrever
Z = {.., 3, 2, 1, 0, 1, 2, 3, ...}
Por abuso e notao, se x (a, b), ento x ((a + 1) + 1, (b + 1) + 1) =
(a + 1, 1) + (1, b + 1) = (a + 1, 1) (b + 1, 1) = a b.
Denio 4.2. Um conjunto = L Z limitado inferiormente
se existe w Z tal que w l, l L.
41
Ordem dos Inteiros
Princpio Do Menor Inteiro 4.1. Todo subconjunto no vazio
L Z possui um menor elemento.
Demonstrao. Seja L um subconjunto no vazio limitado in-
feriormente e w Z tal que w l, l L. Se w L, w o
menor elemento de L. Suponha w / L e considere o conjunto
S = {l + (w); l L}. Note que S Z
+
. Como Z
+
possui a
propriedade da boa ordenao, S possui um menor elemento. Seja
l w o menor elemento de S (
l). Assim,

l w l w
l l,
para todo l L. Portanto

l o menor elemento de L.
Induo sobre os Inteiros 4.1. Fixado w Z. seja L = {
Z; w }. Seja P uma proposio tal que:
1) P vlida para w.
2) Se P vlida para L, P vlida para + 1.
Ento P vlida para todo L.
Demonstrao. Seja S o conjunto dos elementos de L tais que
a proposio P no vlida, ou seja, S = { L : P() falsa}.
Suponha S = . Como S = e S limitado inferiormente, S
possui um menor elemento S. Mas w o menor elemento de
L, ou seja, w .
Armao: w = . De fato, por hiptese P(w) verdadeira, logo
w / S.
Assim w 1 . Como o menor elemento de S, a
proposio P vale para 1. Assim P vlida para (1)+1 =
(). Portanto, S = .
Antes de apresentar propriedades aritmticas dos inteiros apre-
sentaremos algumas propriedades da multiplicao.
Sejam a, b, c Z. Ento:
42
AULA
4
a) a(b c) = ab ac
b) a.0 = 0
c) a(b) = (a)b = (ab)
d) (a)(b) = ab
e) ab = ac bc (a = 0)
Demonstrao.
a)
a(b c) + ac = a((b c) + c)
= a(b + (c + c))
= a(b + 0) = ab
Logo a(b c) = ab ac.
b) a.0 = a.(0 0) = a.0 a.0 = 0
c) a.(b) = a.(0b) = a.0(a.b) = (ab), (a).b = (0a).b =
0.b (ab) = (ab)
d) (a).(b) = (a).b = ab
e) ab = ac a.b a.c = 0 a.(b c) = 0 b c = 0 b = c
4.3 Concluso
Nesta aula, aprendemos a comparar dois nmeros inteiros bem
como usar os princpios de induo e do menor elemento. Isto
muito importante, pois vemos que todo conjunto limitado inferi-
ormente dos inteiros se comporta de maneira similar aos nmeros
43
Ordem dos Inteiros
naturais. Identicamos tambm os nmeros inteiros como o que
aprendemos no ensino fundamental.
RESUMO
A relao O
Z
= {(x, y), (a, b) Z Z : x + b y + a} de
ordem total em Z.
A ordem O
Z
particiona o conjunto Z em 3 conjuntos mutu-
amente disjuntos:
Z = Z
+
{0} Z
a) (1 + 1, 1) = (2, 1) = +1, (2 + 1, 1) = (3, 1) = +2; e

assim sucessivamente.
b) (1, 1 + 1) = (2, 1) = 1, (1, 2 + 1) = (3, 1) = 2.
Portanto torna-se vlido escrever
Z = {.., 3, 2, 1, 0, 1, 2, 3, ...}
Por abuso de notao, se x (a, b), ento x ((a + 1) + 1, (b + 1) + 1) =
(a + 1, 1) + (1, b + 1) = (a + 1, 1) (b + 1, 1) = a b.
Princpio Do Menor Inteiro 4.2. Todo subconjunto no
vazio L Z possui um menor elemento.
Induo sobre os Inteiros 4.2. Fixado w Z. seja L =
{ Z; w }. Seja P uma proposio tal que:
1) P vlida para w.
2) Se P vlida para L, P vlida para + 1.
44
AULA
4
Ento P vlida para todo L.
PRXIMA AULA
Na prxima aula, apresentaremos a noo de divisibilidade e o

conceito de nmeros primos. Fica a pergunta: Existem quantos
nmeros primos? Aguardem!
ATIVIDADES
ATIV. 4.1. a) O que signica S ser limitado superiormente?

b) Mostre que se S limitado superiormente, ento S possui
um maior elemento.
Mostre, usando a caracterizao dos inteiros como classes de equiv-
alncia, que as seguintes armaes so verdadeiras:
a) Se x y, ento x + z y + z para todo z Z
b) Sejam x, y, z Z. Se x y e 0 z, ento xz yz
c) Se x y = 0, ento x = 0 ou y = 0.
ATIV. 4.2. Mostre que

p irracional para cada p primo.
Mostre que dados x, y Z ento:
a) Se x < 0 e y < 0, ento xy > 0
b) Se x < 0 e y > 0, ento xy < 0
c) Se x y = 1, ento x = y = 1 ou x = y = 1.
45
Ordem dos Inteiros
ATIV. 4.3. Mostre por induo que dados a, b Z
a
n
b
n
= (a b)(a
n1
+ a
n2
b + . . . ab
n2
b
n1
), n Z
+
LEITURA COMPLEMENTAR

de Janeiro, 2008.
Paulo, 2001.
46
AULA
5
Nmeros Inteiros:
Continuao
META:
Apresentar as propriedades aritmticas dos nmeros inteiros
OBJETIVOS:
Entender o conceito de divisibilidade nos nmeros inteiros.
Entender o conceito de nmeros primos.
PR-REQUISITOS
Propriedades de adio e multiplicao dos nmeros inteiros. In-
duo sobre os nmeros inteiros.
Nmeros Inteiros: Continuao
5.1 Introduo
Nesta aula apresentaremos o conceito de divisibilidade entre dois
nmeros inteiros bem como o conceito de nmeros primos. Voc,
caro aluno, perceber uma pequena diferena entre o conceito
aprendido no ensino fundamental e o exposto aqui.
5.2 Propriedades Aritmticas dos Nmeros
Inteiros
5.2.1 Divisibilidade
Denio 5.1. Dados dois nmeros x, y Z, dizemos que x divide
y se existe z Z tal que y = x.z. Neste caso dizemos que y um
mltiplo de x. (x um divisor de y).
Escrevemos x|y para dizer que x divide y.
Exemplo 5.1. 1|10; 2| 2;
As seguintes propriedades seguem imediatamente da denio de
diviso.
Proposio 5.10. As seguintes armaes so verdadeiras para
nmeros inteiros.
a) x|x
b) x|y e y|x x = y
c) x|y e y|z x|z
d) x|y e x|z x|ay + bz, a, b Z
Demonstrao.
a) x|x pois x = x.1
48
AULA
5
b) Temos que existe z
1
Z tal que y = x.z
1
e existe z
2
Z tal
que x = yz
2
. Ento y = y(z
1
z
2
). Assim y y(z
1
z
2
) = 0
y(1 z
1
z
2
) = 0. Logo y = 0 ou z
1
z
2
= 1. Se y = 0, x = 0. Se
z
1
z
2
= 1, z
1
= z
2
= 1 ou z
1
= z
2
= 1 (Exerccio).
c) Existem k
1
e k
2
tais que y = xk
1
e z = yk
2
. Segue-se que
z = x(k
1
k
2
). Donde x|z.
d) De x|y temos que existe k
1
Z tal que y = xk
1
(1). De
x|z temos que existe k
2
Z tal que z = xk
2
(2). Logo
ay + bz = x(k
1
a + k
2
b). Fazendo k
3
= k
1
a + k
2
b, temos que
ay + bz = xk
3
, o que signica x|ay + bz.
e) Como x|y e x, y Z
+
, existe q Z
+
tal que y = xq. Se
q = 1, x = y. Se q > 1, existe q
0
Z
+
tal que q = q
0
+ 1.
Logo y = x(q
0
+ 1) = xq
0
+ x > x. Em todo caso x y.
Denio 5.2. Para todo a Z, o valor absoluto de a (ou mdulo
de a) representado por |a| denido como:
|a| =
_
_
_
a, a Z
+
{0}
a, a Z
{0}
Proposio 5.11. Se a, b Z ento:
a) |a| = | a|
b) |ab| = |a||b|
c) |a| a |a|
d) |a + b| |a| +|b|
Demonstrao.
49
a) Se a 0, | a| = (a) = a = |a|. Se a 0, | a| = a =
|a|.
b) Suponhamos que ab > 0. Ento a > 0 e b > 0 ou a < 0 e
b < 0. No primeiro caso a = |a| e b = |b|. Donde |ab| = ab =
|a||b|. No segundo caso |a| = a e |b| = b, donde temos
|ab| = ab = (a)(b) = |a||b|.
Suponhamos agora ab < 0. Assim a < 0 e b > 0 ou a > 0
e b < 0. No primeiro destes casos |a| = a e |b| = b, donde
|a||b| = (a)b = (ab) = |ab|. O outro caso ca como
exerccio. O caso ab = 0 bvio.
c) Se a > 0, |a| = a e a < 0, isto , |a| < 0. Logo |a| <
0 < |a|. O caso a < 0 ca como exerccio e o caso a = 0
bvio.
d) Se a + b = 0 claramente |a + b| |a| + |b|. Se a + b > 0,
|a + b| = a + b |a| + |b|. Se a + b < 0, |a + b| = (a + b),
isto , |a + b| = a + b |a| + (|b|) = (|a| +|b|), o que
implica |a + b| |a| +|b|.
Notao: a
n
= aa...a
. .
nvezes
Exerccio 5.1. a) Mostre que se a < 0 entao a
2n+1
< 0, para
todo n 0.
b) Mostre que x
2n+1
+1 = (x+1)(x
2n
x
2n1
+x
2n2
...x+1)
c) Se d|n ento ad|an, para todo a Z.
d) |
n
i=1
a
i
|
n
i=1
|a
i
| onde

n
i=1
b
i
= b
1
+ b
2
+ ... + b
n
.
Soluo:
50
AULA
5
a) Mostremos por induo:
A sentena vlida para n=o, pois a
2.0+1
= a
0+1
= a <
0
Suponha que a
2n+1
< 0. Devemos mostrar que a
2(n+1)+1
<
0. Note que a
2(n+1)+1
= a
2n+2+1
= a
2n+1
a
2
. Mas,
como a = 0, a
2
. Logo a
2(n+1)+1
= a
2n+1
a
2
< 0.
b) Note que (x + 1).1 = x + 1 = x
1
+ 1 = x
2.0+1
+ 1, donde
a sentena vlida para n = 0. Suponha que a expresso
vlida para algum n 0. Temos que x
2n+1
+1 = (x+1)(x
2n
x
2n1
+ x
2n2
... x + 1). Multiplicando a igualdade por
x
2
obtemos x
2n+3
+x
2
= (x +1)(x
2n+2
x
2n+1
+x
2n
...
x
3
+ x
2
) x
2n+3
+ 1 = (x + 1)(x
2n+2
x
2n+1
+ x
2n
...
x
3
+x
2
)+1x
2
= x
2n+3
+1 = (x+1)(x
2n+2
x
2n+1
+x
2n
... x
3
+x
2
) +(1 +x)(1 x) x
2n+3
+1 = (x+1)(x
2n+2
x
2n+1
+ x
2n
... x
3
+ x
2
x + 1)
Denio 5.3. Um nmero x Z dito um composto se o con-
junto de seus divisores tem mais de 4 elementos, isto ,x = yz com
y, z / {1, x, 1, x}
Denio 5.4. Um nmero x Z dito ser primo, se o conjunto
dos divisores positivos tem exatamente dois elementos 1 e |x|.
Observe que o conjunto dos divisores de um nmero inteiro nito,
pois x|y |x| |y|(exerccio). Assim dados dois elementos x, y
Z, o conjunto dos divisores de x e y, isto {z Z; z|x ez|y}
tem nitos elementos e portanto considerando a ordem ""tem
um maior divisor comum. Isto nos motiva a seguinte denio:
Denio 5.5. Dados x, y Z, no simultaneamente nulos, o
maior divisor comum de x e y o maior inteiro que divide x e y.
Denotaremos este nmero por mdc(x, y).
51
Teorema 5.1. Dado um nmero x / {1, 0, 1} tem-se que x
primo ou x um produto nito de nmeros primos.
Demonstrao. suciente mostrar que que todo inteiro posi-
tivo maior que 1 primo ou um produto nito de nmeros primos.
(x = (1).x).
Para demonstrar, usaremos o segundo princpio de induo. Con-
sidere B = {z Z
+
; z > 1 ez ou primo ou produto nito de nmeros primos}.
Note que 2 B. Suponha que a tese seja vlida para todo
2 y < x. Se x primo, x B. Suponha que x no seja
primo. Assim existem a, b / {0, 1} tais que x = a.b. Note que pela
relao de ordem 2 < x e 2 b < x. Por hiptese de induo,
a, b so primos ou produto nito de nmeros primos. Em qualquer
caso, x um produto nito de fatores primos. Portanto x B.
O segundo princpio de induo garante que todo nmero inteiro
positivo produto nito de nmeros primos.
Teorema 5.2. Existem innitos nmeros primos.
Demonstrao. Suponha que a armao falsa e considere
p
1
< p
2
< ... < p
n
todos os nmeros primos em ordem crescente.
Seja x = p
1
p
2
...p
n
+1. Como x maior que p
1
p
2
...p
n
e x produto
nito de nmeros primos (Pelo teorema anterior). Assim deve
existir p {p
1
, p
2
, ..., p
n
} e y inteiro tal que x = py. Assim p|x e
p|p
1
p
2
...p
n
. Logo p|x p
1
p
2
...p
n
p|1, o que um absurdo, pois
p primo. Logo existem innitos nmeros primos.
RESUMO
Divisibilidade
52
AULA
5
Dados dois nmeros x, y Z, dizemos que x divide y
se existe z Z tal que y = x.z. Neste caso dizemos
que y um mltiplo de x. (x um divisor de y).
Valor absoluto
Para todo a Z, o valor absoluto de a (ou mdulo de
a) representado por |a| denido como:
|a| =
_
_
_
a, a Z
+
{0}
a, a Z
{0}
Nmeros primos e compostos
Um nmero x Z dito um composto se o conjunto de
seus divisores tem mais de 4 elementos, isto ,x = yz
com y, z / {1, x, 1, x}
Um nmero x Z dito ser primo, se o conjunto dos
divisores positivos tem exatamente dois elementos 1 e
|x|.
Dados x, y Z, no simultaneamente nulos, o maior
divisor comum de x e y o maior inteiro que divide x
e y.
Denotaremos este nmero por mdc(x, y).
PRXIMA AULA
Na prxima aula, apresentaremos o algoritmo da diviso, sistemas

de numerao posicionais (bases) alm de elencar alguns critrios
de divisibilidade e o importante Teorema Fundamental da Arit-
mtica.
53
ATIVIDADES
ATIV. 5.1. Seja a Z
. Ento a
2n
> 0, n Z
+
.
ATIV. 5.2. Sejam x, y, z Z. Mostre que se x|yz, ento x|y ou
x|z.
ATIV. 5.3. Analise cada uma das armaes abaixo. Demonstre
as verdadeiras e d contra exemplo para as falsas.
a) Sejam x, y, z Z. Se x|z e y|z , ento xy|z.
b) Sejam x, y, z Z. Se x|(y + z), ento x|y e x|z.
c) Sejam x, y Z. Ento ||x| |y|| |x y|.
ATIV. 5.4. Se d|n ento ad|an, para todo a Z.
ATIV. 5.5. |
n
i=1
a
i
|
n
i=1
|a
i
| onde

n
i=1
b
i
= b
1
+b
2
+... +b
n
e a
i
Z.

LIMA, Elon L., Matemtica para o Ensino Mdio 1.
DOMINGUES, H. Fundamentos de Aritmtica.
GONALVES, Adilson, Introduo lgebra, IMPA, Projeto Eu-
clides, 5.ed., Rio de Janeiro, 2008.
HUNGERFORD, Thomas W., Abstract algebra: an introduction,
Saunders College Publishing, 1990.
54
AULA
6
Algoritmo da Diviso
META:
Apresentar o algoritmo da diviso e do clculo do MDC entre dois
nmeros
OBJETIVOS:
Executar de maneira correta os algoritmos da diviso e do clculo
do MDC.
Entender os critrios de divisibilidade.
PR-REQUISITOS
Divisibilidade.
Algoritmo da Diviso
6.1 Introduo
Prezado aluno, nesta aula aprenderemos o algoritmo que real-
izamos no ensino fundamental para diviso entre 2 nmeros in-
teiros. Veremos tambm os famosos critrios de divisibilidade que
exposto no ensino fundamental sem a preocupao de o porque e
saberemos com escrever o nmeros em outros sistemas de numer-
ao posicionais.
6.1.1 Diviso Euclidiana
Teorema 6.1. Dado x, y Z, y = 0, existem nicos inteiros q, r
chamados respectivamente de quociente e resto, tais que
x = qy + r, 0 r < |y|
OBS 6.1. O algoritmo acima chamado Algoritmo da Diviso
de Euclides
Demonstrao.
Caso 1. y > 0: Neste caso considere B = {x ay; a Z, x
ay 0}. Note que B no vazio pois x (|x|y) = x +
|x|y x + |x| 0. Claramente B limitado inferiormente.
Pelo Princpio d Boa Ordem B possui um menor elemento,
digamos r. Portanto existe q Z tal que r = x qy. Para
mostrar que r < |y| = y, note que r = y x = (1 + q)y
r = 0 y = 0 (). r > y ; r = y + , onde
0 < < r. Assim y + = x qy = x (q + 1)y B,
o que um absurdo, pois r o menor elemento de B. Logo
0 r < |y|
Mostraremos agora que q, r so unicamente determinados: Suponha
que x = qy + r = qy + r, com 0 r, r |y| = y. Neste caso
56
AULA
6
0 |r r| < y. Por outro lado, qy + r = qy + r ( q q)y =
r r |q q|y = |r r|. Se fosse r = r, teramos |q q| 1. Da
y |q q|y = |r r| < y. (). Portanto r = r e, consequente-
mente, q = q.
Caso 2. y < 0. Para y < 0, aplicamos o caso anterior com x, |y|.
Assim existem nicos q, r Z tais que x = q|y| + r, com
0 < r |y|. Se pomos q
1
= q, ento x = q
1
y + r, com
0 < r |y|. Claramente, q
1
unicamente determinado.
Bzout 6.1. Dados dois nmeros inteiros x, y no simultanea-
mente nulos, se d = mdc(x, y), ento existem inteiros m, n tais
que d = mx + ny.
Demonstrao. Sejam x, y, d como na hiptese do teorema e
considere o conjunto A = {ax + by; a, b Z} e B = A N. B
no vazio pois x, y no so simultaneamente nulos. Pelo Princpio d
Boa Ordem, B tem um menor elemento, digamos . Assim existem
m, n Z tais que = mx + ny. Como d|x e d|y, d|mx + ny, isto
, d|. Assim d . Mostraremos que |x e |y. De fato, dados
a, b Z existem q, r Z tais que ax + by = q + r, 0 r < , ou
seja, ax + by = q + r (a qm)x + (b qn)y = r. Logo r A
e r 0. Se fosse r > 0, ento r B, o que um absurdo, pois
o menor elemento de B. Logo r = 0. Ento |ax + by para
todo a, b Z. Em particular |x e |y, donde |d. Portanto d.
Conclumos que mx + ny = = d
Propriedade Fundamental do MDC 6.1. Sejam x, y, d Z.
Se x, y no so simultaneamente nulos e d Z
+
um divisor
comum de x e y. As seguintes armaes so equivalentes:
57
Algoritmo da Diviso
(i) d = mdc(x, y)
(ii) Dado z Z, se z|x e z|y ento z|d.
Demonstrao. (i) (ii): Pelo teorema de Bzout, existem
m, n Z tais que d = mx + ny. Como por hiptese z|x e z|y,
temos que z|mx + ny = d.
(ii) (i): Seja

d = mdc(x, y). Logo

d|x e

d|y. Por hiptese

d|d e
portanto

d d. Mas d um divisor comum de x e y. Assim d

d,
donde conclumos

d = d = mdc(x, y).
6.1.2 Sistemas de Numerao Posicionais
Em nosso sistema de numerao natural n escrito na forma
n = a
r
10
r
+ a
r1
10
r1
+ ... + a
1
10 + a
0
onde r 0 e a
i
{0, 1, 2..., 9}. O nmero que representa n
n = a
r
a
r1
...a
1
a
0
Exemplo 6.1. 641 = 6.10
2
+ 4.10 + 1
O papel que o nmero 10 representa para nosso sistema apenas
uma opo.
Teorema 6.2. Seja b um nmero natural, 2, e M = {0, 1, 2, ..., b
1}. Ento, todo nmero natural pode ser representado de forma
nica da seguinte maneira:
n = a
r
b
r
+ a
r1
b
r1
+ ... + a
1
b + a
0
Onde r 0, a
r
= 0 e a
i
M
Notao: n = (a
r
a
r1
...a
1
a
0
)
b
Demonstrao.
58
AULA
6
. Existncia: Se n < b, n = n. Suponha n b e, por hiptese
de induo que todo nmero q, 1 q < n pode ser represen-
tado como no teorema. Pelo algoritmo da diviso, existem q
e a
0
tais que n = bq+a
0
. Temos q < n. Pois se q n, bq > n
e isto implica n = bq +a
0
> n. Absurdo. Assim por hiptese
de induo, q = a
r
b
r1
+ a
r1
b
r2
+ ... + a
2
b + a
1
. Substi-
tuindo q no algoritmo obtemos n = (a
r
b
r1
+a
r1
b
r2
+... +
a
2
b +a
1
)b +a
0
= a
r
b
r
+a
r1
b
r1
+... +a
1
b +a
0
, onde r 0,
a
r
= 0 e a
i
M.
. Unicidade: se n < b, ok. Suponha n b e que a unicidade
vale para 1 q < n. Se n = a
r
b
r
+a
r1
b
r1
+... +a
1
b+a
0
=
a
s
b
s
+a
s1
b
s1
+...+a
1
b+a
0
, ento n = b(a
r
b
r1
+a
r1
b
r2
+
... +a
2
b+a
1
)+a
0
= b(a
r
b
s1
+a
s1
b
s2
+... +a
2
b+a
1
)+a
0
.
Pela unicidade do algoritmo de euclides, a
0
= a
0
e a
r
b
r1
+
a
r1
b
r2
+... +a
2
b +a
1
= a
r
b
s1
+a
s1
b
s2
+... +a
2
b +a
1
.
Logo por hiptese de induo, r 1 = s 1 r = s e
a
r
= a
r
.
Exemplo 6.2. (a) (2102)
3
= 2.3
3
+ 1.3
2
+ 0.3 + 2 = 65
(b) (1001001)
2
= 1.2
6
+ 0.2
5
+ 0.2
4
+ 1.2
3
+ 0.2
2
+ 0.2 + 1 = 73
(c) Coloque 4761 na base 8. 4761 = 8.595 + 1, 595 = 8.74 + 3,
74 = 8.9 + 2, 9 = 8.1 + 1, donde 4761 = (11231)
8
.
Denio 6.1. Seja n Z. Dizemos que n par se n = 2k, com
k Z. Dizemos que n mpar se n = 2k + 1, com k Z.
Exerccio 6.1. (1) m par m + 2n par.
(2) m + n mpar mn mpar.
59
Algoritmo da Diviso
(3) Mostre que se a Z um dos nmeros a, a+1, a+2 divisvel
por 3.
(4) Se n um inteiro par entomdc(n, n + 2) = 2.
(5) Se n um inteiro mpar, ento mdc(n, n + 2) = 1.
(6) Seja m um inteiro cujo resto da diviso por 6 5. Mostre
que o resto da diviso de m por 3 2.
Soluo:
(1) Seja m, n Z. (): Se m par, ento m = 2k, k Z. Logo
m + 2n = 2k + 2n = 2(k + n) com k + n Z. Logo m + 2n
par. (): Reciprocamente, se m+2n par, m+2n = 2k,
com k Z. Assim, m = 2k 2n = 2(k n). Logo m par.
(2) (): Se m + n mpar, m + n = 2k + 1, com k Z. Desse
modo m+n 2n = 2k + 1 2n = 2(k n) + 1 mn =
2(k n) +1, com k n Z. Portanto, mn mpar. ():
Se mn mpar, ento mn = 2k + 1, com k Z, isto ,
mn+2n = 2k+1+2n = 2(k+n)+1 m+n = 2(k+n)+1,
com k + n Z. Logo, m + n mpar.
(3) Pelo algoritmo da diviso, existem q, r Z tais que a =
3q + r, com 0 r < 3. Se r = 0, a = 3q, portanto 3|a. Se
r = 1, ento a = 3q + 1, portanto a + 2 = 3(q + 1), donde
3|a + 2. Se r = 2, a + 1 = 3(q + 1), donde 3|a + 1.
(4) Se n par ento n = 2k, k Z. Observe que 2|n e 2|2(k +
1) = n + 2. Seja d = mdc(n, n + 2). Como d|n e d|n + 2,
d|n + 2 n, isto , d|2. Mas, como 2|n e 2|n + 2, 2|d. Logo
d = 2.
(5) Se n mpar, n = 2k + 1, k Z. Seja d = mdc(n, n + 2).
Pelo mesmo motivo de antes, d|2, donde d = 1 ou d = 2. Se
60
AULA
6
fosse d = 2, ento, 2|2k + 1, isto , 1 = 2(j k), com j Z.
Absurdo. Logo d = 1.
(6) Se m = 6q +5 para algum q Z, ento, m = 3.2.q +3 +2 =
3(2q + 1) + 2, donde o que queramos.
6.1.3 Critrios de Divisibilidade
(1) Critrio de divisibilidade por 2:
Dado qualquer nmero natural n podemos escrev-lo na forma
n = a
r
10
r
+ a
r1
10
r1
+ ... + a
1
10 + a
0
. Observe que qual-
quer potncia de 10 um nmero par, ou seja, 10
r
= 2q
r
,
q
r
N. Logo, n = a
r
(2q
r
) +a
r1
(2q
r1
) +... +a
1
(2q
1
) +a
0
e portanto, n = a
0
+2(a
1
q
1
+... +a
r1
q
r1
+a
r
q
r
), ou seja,
podemos escrever n = a
0
+ 2q, com q Z. Note que se 2|n,
2|n 2q, isto , 2|a
0
. Assim a
r
a
r1
...a
1
a
0
divisvel por 2
se a
0
{0, 2, 4, 6, 8, ...}.
(2) Critrio de Divisibilidade por 3:
J sabemos que um nmero natural n pode ser escrito na
forma n = a
r
10
r
+ a
r1
10
r1
+ ... + a
1
10 + a
0
.
Armao: 10
k
= 3q + 1 com q Z, para todo k N.
De fato, se k = 1 temos que 10 = 3.3 + 1. Suponha que
10
k
= 3q
1
+ 1 para algum q
1
Z. Note que
10
k+1
= 10
k
.10 = (3q
1
+ 1)(3.3 + 1)
= 3.9.q
1
+ 3q
1
+ 3.3 + 1
= 3(9q
1
+ q
1
+ 3) + 1
= 3q + 1
Portanto pelo princpio de induo 10
k
= 3q + 1 com q Z,
para todo k N.
61
Algoritmo da Diviso
Logo n = a
r
(3q
r
+1)+a
r1
(3q
r1
+1)+...+a
1
(3q
1
+1)+a
0
=
3(a
r
q
r
+...+a
1
q
1
)+(a
r
+...+a
1
+a
0
) = 3q+(a
r
+...+a
1
+a
0
).
Se 3|n ento 3|n 3q, isto 3|(a
r
+ ... + a
1
+ a
0
).
Exemplo 6.3. 343892 no divisvel por 3 pois 3 +4 +3 +
8 + 0 + 2 = 29 e 3|29 (no divide)
(3) Critrio de Divisibilidade por 4:
Seja n = a
r
10
r
+ a
r1
10
r1
+ ... + a
1
10 + a
0
. temos que
n = 100(a
r
10
r2
+a
r1
10
r3
+... +a
2
) +a
1
10+a
0
. Observe
que 4|100. Assim, 4|100 se, e somente se, 4|n100(a
r
10
r2
+
a
r1
10
r3
+...+a
2
), ou seja, 4|a
1
10+a
0
. Logo n = a
r
a
r1
...a
1
a
0
divisvel por 4 se, e somente se, a
1
a
0
divisvel por 4.
6.1.4 Teorema Fundamental da Aritmtica
Denio 6.2. Dois nmeros x, y so ditos primos entre si se
mdc(x, y) = 1.
Exemplo 6.4. Dado a Z, temos que a e a + 1 so primos entre
si. Com efeito, seja d = mdc(a, a + 1). Assim d|a e d|a + 1, donde
d|a + 1 a, isto , d|1. Logo, d = 1.
Lema de Gauss 6.1. Sejam x, y, z inteiros no nulos tais que
x, y so primos entre si e x|yz. Ento x|z.
Demonstrao. Como mdc(x, y) = 1, pelo Teorema de Bzout
existem a, b Z tais que ax + by = 1. Assim, axz + byz = z. Por
hiptese, x|yz, donde x|byz. Como x|axz, x|axz +byz, isto , x|z.
Teorema Fundamental da Aritmtica 6.1. Todo nmero in-
teiro maior ou igual a 1 pode ser representado de maneira nica
(a menos da ordem), como produto de fatores primos.
62
AULA
6
Demonstrao. Falta mostrar a unicidade. Faremos isto us-
ando o segundo princpio da induo. Seja n 2. Se n = 2,
ok. Suponha que a armao sobre a unicidade seja verdadeira
para todo nmero maior que 1 e menor que n. Se n primo,
no h nada o que fazer. Suponha que n seja composto. Seja
n = p
1
p
2
...p
r
= q
1
q
2
...q
s
duas fatoraes de n. vamos mostrar
que r = s e que p
i
= q
j
para algum i e algum j. Observe
que p
1
|n e portanto p
1
|q
1
q
2
...q
s
. Logo, p
1
divide algum q
j
, dig-
amos q
1
, ou seja p
1
= q
1
. Logo n = p
2
...p
r
= q
2
...q
s
, pois
n = np
1
= nq
1
. Observe que 1 < n < n. Logo, por hiptese
de induo, r 1 = s 1 r = s. Alm disso,p
2
...p
r
= q
2
...q
r
so
iguais a menos da ordem. Portanto a decomposio n = p
1
...p
r

nica a menos da ordem.
6.2 Concluso
Note que os critrios de divisibilidade so meras consequncias
do Algoritmo da Diviso. Alm disso importante saber, caro
aluno, que isso tem com ser explicado de maneira simples no ensino
fundamental atravs de vrios exemplos.
RESUMO
Algoritmo da Diviso
Dado x, y Z, y = 0, existem nicos inteiros q, r
chamados respectivamente de quociente e resto, tais
que
x = qy + r, 0 r < |y|
Teorema Fundamental do MDC
63
Algoritmo da Diviso
Sejam x, y, d Z. Se x, y no so simultaneamente
nulos e d Z
+
um divisor comum de x e y. As
seguintes armaes so equivalentes:
(i) d = mdc(x, y)
(ii) Dado z Z, se z|x e z|y ento z|d.
Teorema Fundamental da Aritmtica
Todo nmero inteiro maior ou igual a 1 pode ser rep-
resentado de maneira nica (a menos da ordem), como
produto de fatores primos.
Sistema de Numerao posicional
Seja b um nmero natural, 2, e M = {0, 1, 2, ..., b
1}. Ento, todo nmero natural pode ser representado
de forma nica da seguinte maneira:
n = a
r
b
r
+ a
r1
b
r1
+ ... + a
1
b + a
0
Onde r 0, a
r
= 0 e a
i
M
Notao: n = (a
r
a
r1
...a
1
a
0
)
b
PRXIMA AULA
Na prxima aula apresentaremos um algoritmo para o clculo do

MDC. Alm disso deniremos mnimo mltiplo comum (MMC)
entre 2 nmeros inteiros e um algoritmo para se calcular o MMC.
ATIVIDADES
64
AULA
6
ATIV. 6.1. Se p um nmero primo e p|ab, onde a, b Z, ento
p|a ou p|b. (Compare com o exerccio 7 da lista 2. verdadeiro?)
ATIV. 6.2. Seja K um conjunto dos nmeros inteiros, no vazio,
fechado em relao a multiplicao e a adio (a + b, a b K se
a, b K) e K = 0. Mostre que:
a) 0 K;
b) K contm um menor inteiro positivo, digamos m;
c) K contm todos os mltiplos positivos de m;
d) Todo elemento de K um mltiplo de m.
ATIV. 6.3. Se a|c, b|c e MDC(a, b) = d, ento ab|cd.
ATIV. 6.4. Mostre que se n 2, ento 12
n
divisvel por 8. Use
este fato para mostra que n = (a
r
a
r1
. . . a
1
a
0
)
12
divisvel por 8
se, e somente se, (a
1
a
0
)
12
divisvel por 8.
ATIV. 6.5. Na diviso euclidiana de 345 por um inteiro b > 0, o
resto 12. Ache o divisor e o quociente em todos os casos possveis.
ATIV. 6.6. Seja m um inteiro mpar. Mostre que o resto da
diviso de m por 4 1 ou 3.
ATIV. 6.7. Sejam a, b e c inteiros arbitrrios. Se MDC(a, b) = 1
e c|(a + b), prove que MDC(a, c) = MDC(b, c) = 1

de Janeiro, 2008.
65
Algoritmo da Diviso
Paulo, 2001.
SANTOS, J. P. O. Introduo Teoria dos Nmeros, IMPA, Rio
de Janeiro, 2007
66
AULA
7
Clculo do MDC e MMC
META:
Apresentar o algoritmo do Clculo do MMC e do MDC entre dois
nmeros
OBJETIVOS:
Executar de maneira correta os algoritmos do Clculo do MMC e
do MDC.
PR-REQUISITOS
Algoritmo da Diviso.
Clculo do MDC e MMC
7.1 Introduo
Aprendemos na 5
a
srie do ensino fundamental como calcular MDC
e MMC. Faremos isto de forma rigorosa nesta aula
7.1.1 Clculo do MDC
Teorema 7.1. Sejam x, y, q, r Z, com x, y simultaneamente no
nulos e x = yq + r. Ento mdc(x, y) = mdc(y, r).
Demonstrao. Sejam d = mdc(x, y) e d
= mdc(y, r). Como

d = mdc(x, y), d|x e d|y (d > 0). Assim d|yq e, portanto d|x yq,
ou seja d|r. Logo d|d
e assim d d
. Agora, como d
|y e d
|r,
temos que d
|x, donde conclumos que d
d. Portanto, d = d
.
Corolrio 7.1. Dados 2 nmeros x, y no simultaneamente nulos
com y = 0, tem-se que mdc(x, y) = mdc(y, r), onde r o resto
encontrado no algoritmo da diviso de x por y.
Demonstrao. Como y = 0, pelo algoritmo da diviso x = yq+
r, com 0 < |y|. Pelo teorema anterior, mdc(x, y) = mdc(y, r).
Mtodo das Divises Sucessivas 7.1. Seja x, y inteiros no
simultaneamente nulos, com y = 0. Dena a
0
= x e a
1
= y. Para
i 2 dena a
i
como sendo o resto da diviso de a
i2
por a
i1
. Se
a
n
o ltimo resto no nulo da diviso, ento mdc(x, y) = a
n
.
Demonstrao. Sem perda de generalidade podemos supor x, y >
0. Considere o conjunto A = {a Z; 0 a < y}. A nitude de A
e o algoritmo da diviso garantem a existncia de um n tal que
68
AULA
7
a
0
= a
1
q
1
+ a
2
, 0 a
2
< a
1
a
1
= a
2
q
2
+ a
3
, 0 a
3
< a
2
< a
1
.
.
.
a
n2
= a
n1
q
n1
+ a
n
, 0 a
n
< a
n1
< a
n2
< ... < a
2
< a
1
a
n1
= a
n
q
n
, 0 < a
n
Pelo corolrio anterior, mdc(x, y) = mdc(a
0
, a
1
) = mdc(a
1
, a
2
) =
... = mdc(a
n1
, a
n
) = mdc(a
n
, 0) = a
n
OBS 7.1. O mtodo descrito acima ensinado na quinta srie da
seguinte forma:
Desenha-se 3 linhas horizontais (paralelas) e duas verticais.
Na segunda linha horizontal, a partir da segunda casa -
cam os restos da diviso, onde nas duas primeiras cam os
nmeros tais que queremos encontrar o MDC entre eles.
q
1
q
2
q
n
a
0
a
1
a
2
a
n1
a
n
a
2
a
3
0
Exemplo 7.1. Encontre o mdc(53, 12).
_
_
53 = 12 4 + 5
12 = 5 2 + 2
5 = 2 2 + 1
2 = 2 1
69
Clculo do MDC e MMC
4 2 2 2
53 12 5 2 1
5 2 1 0
Proposio 7.12. Se d = mdc(a, b), ento mdc(sa, sb) = sd,
onde s N.
Demonstrao. Note que
sa = (sb)q + (sr
1
), 0 sr
1
< |sb|
sb = (sr
1
)q
1
+ (sr
2
), 0 sr
2
< sr
1
.
.
.
(sr
n2
) = (sr
n1
)q
n1
+ (sr
n
), 0 sr
n
< ... < sr
2
< sr
1
(sr
n1
) = (sr
n
)q
n
,
Pelo resultado anterior r
n
= d, e mdc(sa, sb) = sd.
Corolrio 7.2. Se a, b so divisores de c, c = 0, e mdc(a, b) = 1,
ento ab|c
Demonstrao. mdc(a, b) = 1 mdc(ca, cb) = c. Mas ab|ac,
pois b|c e por motivo anlogo ab|bc. Logo, ab|c.
Exerccio 7.1. Encontre mdc(389, 167) e o expresse na forma
389m + 167n. Os nmeros m, n so nicos?
Demonstrao. 389 = 167.2+55, 167 = 55.3+2, 55 = 27.2+1,
2 = 2.1. Segue-se que mdc(389, 167) = 1. Agora podemos escrever:
1 = 552.27 = 55(1673.55).27 = 5527.167+81.55 = 82.55
27.167 = 82(389 2.167) 27.167 = 82.389 164.167 27.167 =
82.389 191.167 (falta responder unicidade)
70
AULA
7
Exerccio 7.2. Escreva o nmero 100 como a soma de um mltiplo
de 7 com um mltiplo de 9.
Demonstrao. 9 = 7.1 + 2, 7 = 2.3 + 1, 2 = 2.1. Desejamos
encontrar x, y tais que 1 = 7x + 9y. 1 = 7 2.3 = 7 (9 7).3 =
7 9.3 + 7.3 = 7.4 9.3 7(400) + 9(300).
OBS 7.2. Seja x = p
1
1
.p
2
2
...p
r
r
e y = p
1
1
.p
2
2
...p
s
s
. onde os p
i
s
so primos e s > r. Assim mdc(x, y) = p
1
1
.p
2
2
...p
r
r
onde
i
=
min{
i
,
i
}
7.1.2 Mnimo mltiplo Comum
Denio 7.1. Dados x, y Z dizemos que m Z mnimo
mltiplo comum de x e y se satisfaz:
(i) x|m e y|m
(ii) Para todo u Z, se x|u e y|u, ento m|u
Notao: Denotaremos o mnimo mltiplo comum de x e y por
mmc(x, y).
OBS 7.3. Se x = 0 ou y = 0, mmc(x, y) = 0.
Proposio 7.13. O MMC de dois nmeros inteiros nico.
Demonstrao. Suponhamos que m
1
e m
2
sejam dois mnimos
mltiplos comuns de x, y Z com xy = 0. Como m
1
= mmc(x, y)
temos que x|m
1
e y|m
1
. mas x|m
1
e x|m
2
. Assim m
1
|m
2
e portanto
m
1
m
2
. De maneira anloga, m
2
m
1
. Logo m
1
= m
2
.
Teorema 7.2. Quaisquer que sejam x, y Z no simultaneamente
nulos tem-se
mmc(x, y).mdc(x, y) = |xy|
71
Clculo do MDC e MMC
Demonstrao. Sem perda de generalidade, suponha x > 0 e
y > 0 (se x = 0 ou y = 0, mmc(x, y) = 0 e xy = 0; mmc(x, y) =
mmc(|x|, |y|) e mdc(x, y) = mdc(|x|, |y|)). Sejam d = mdc(x, y) e
m = mmc(x, y). Note que d|xy, isto , xy = dz para algum z Z.
Armao: z = m
De fato
(1) x = ad e y = bd. Assim xy = abd
2
= zd abd = z
(2) z = b(ad) = bx, ou seja y|z. Logo m|z. Assim m z
(3) d|x e x|m m = cd , pois x = ad e m = ax.
(4) x = ad e y = bd ad|cd e bd|cd com mcd(a, b) = 1 a|c e
b|c abd|cd z|m z m.
Logo z = m.
7.1.3 Diviso em Z
Dados , b Z, se a = cb podemos denotar c =
a
b
OBS 7.4. mmc(x, y) =
|xy|
mdc(x,y)
OBS 7.5. mmc(a, b, c) = mmc(a, mmc(b, d))
OBS 7.6. mdc(a, b, c) = mdc(a, mdc(b, c))
Exerccio 7.3. Calcule mmc(26, 8)
Soluo: mmc(26, 8) =
|26.8|
mdc(26,8)
=
|208|
mdc(|26|,8)
=
208
mdc(26,8)
.
Por outro lado, 26 = 8.3 +2, 8 = 2.4, donde mdc(26, 8) = 2. Logo
mmc(26, 8) =
208
mdc(26,8)
= 104
7.2 Concluso
Calcular MDC entre e MMC entre dois nmeros nada mais que
aplicar o algoritmo da diviso por diversas vezes.
72
AULA
7
RESUMO
Clculo do MDC
O mtodo descrito acima ensinado na quinta srie da
seguinte forma:
Desenha-se 3 linhas horizontais (paralelas) e duas
verticais.
Na segunda linha horizontal, a partir da segunda
casa cam os restos da diviso, onde nas duas
primeiras cam os nmeros tais que queremos en-
contrar o MDC entre eles.
q
1
q
2
q
n
a
0
a
1
a
2
a
n1
a
n
a
2
a
3
0
Mnimo Mltiplo Comum - MMC
Dados x, y Z dizemos que m Z mnimo mltiplo
comum de x e y se satisfaz:
(i) x|m e y|m
(ii) Para todo u Z, se x|u e y|u, ento m|u
PRXIMA AULA
Na prxima aula, apresentaremos os nmeros racionais como classe

de equivalncia dos inteiros e mostraremos suas propriedades.
73
Clculo do MDC e MMC
ATIVIDADES
ATIV. 7.1. Calcule MDC(a, b) onde :

a) a = 56, b = 12;
b) a = 20,b = 144;
ATIV. 7.2. Calcule MMC(a, b) onde :
a) a = 120, b = 68;
b) a = 20,b = 74;

de Janeiro, 2008.
Paulo, 2001.
SANTOS, J. P. O. Introduo Teoria dos Nmeros, IMPA, Rio
de Janeiro, 2007
74
AULA
8
Racionais
META:
Apresentar os nmeros racionais como classe de equivalncia de
nmeros inteiros.
OBJETIVOS:
Identicar nmeros racionais como Classe de equivalncia dos In-
teiros.
PR-REQUISITOS
Relao de equivalncia e nmeros inteiros.
Racionais
8.1 Introduo
Sejam a, b Z, b = 0. Se a mltiplo de b ento existe c Z tal
que a = bc. Neste caso podemos denotar c =
a
b
A operao
a
b
s est denida em
I = {(a, b) Z Z; b = 0 e b|a}.
Vamos ento "aumentar"o conjunto onde podemos denir a oper-
ao
a
b
.
8.2 Construo dos Nmeros Racionais
Seja Z
= {m Z; m = 0}. Consideremos ZZ
= {(m, n); m
Z, n Z
} e a relao denida por:

(m, n) (p, q) mq = np
Proposio 8.14. A relao acima de equivalncia.
Demonstrao. A relao reexiva pois m.n = n.m. A relao
simtrica pois (m, n) (p, q) mq = np pn = qm (p, q)
(m, n). A relao transitiva pois se (m, n) (p, q) e (p, q) (s, t)
ento mq = np e pt = qs. Logo mqt = npt e npt = nqs. Portanto
mqt = nqs. Como q = 0, pela lei do corte, mt = ns, isto ,
(m, n) (s, t).
A relao particiona ZZ
em um conjunto de classes de equiv-

alncia:
Q = {[s, m], [t, n], ...}
Onde
76
AULA
8
[s, m] = {(a, b) Z Z
; (a, b) (s, m)}

Q chamado o conjunto dos nmeros racionais.
8.2.1 Adio e Multiplicao em Q
A adio e a multiplicao so denidas em Q por
+ : QQ Q
([s, m], [t, n]) [s, m] + [t, n] = [sn + mt, mn]
. : QQ Q
([s, m], [t, n]) [s, m].[t, n] = [st, mn]
Armao: As operaes acima esto bem denidas. De Fato,
mostraremos que "+"est bem denida e deixaremos "."como ex-
erccio.
Sejam [s, m] = [a, b] e [t, n] = [c, d]. Logo sb = ma e td = nc.
Assim sbnd = mand e tdmb = ncmb. Portanto
sbnd + ncmb = mand + tdmb
(sd + cm)nb = md(an + td)
[sd + cm, md] = [an + tb, nb]
[s, m] + [c, d] = [a, b] + [t, ]
Logo "+"est bem denida.
OBS 8.1. Se representarmos [s, m] =
s
m
ento [s, m] + [t, n] =
s
m
+
t
n
=
sn+mt
mn
.
Propriedades da Adio:
Sejam a = [s, m], b = [t, n] e c = [p, q] elementos em Q. Ento:
(a) (a + b) + c = a + (b + c)
(b) a + b = b + a
77
Racionais
(c) Existe um elemento z Q tal que a + z = a, para todo
a Q.
(d) Dado um a Q, existe (a) Q tal que a + (a) = z
Demonstrao.
(a) (a+b) +c = ([s, m] +[t, n]) +[p, q] = [sn+tm, mn] +[p, q] =
[(sn +tm)q +(mn)p, (mn)q] e a +(b +c) = [s, m] +([t, n] +
[p, q]) = [s, m] +[tq +np, nq] = [snq +m(tq +np) +m(nq)] =
[(sn+mt)q+(mn)p, (mn)q]. Portanto, (a+b)+c = a+(b+c).
(c) Seja z = [o, m]. Assim, [s, m] + [0, m] = [sm, mm].
Armao: [sm, mm] = [s, m].
De fato, (sm)m = (mm)s.
(d) Seja (a) = [s, m]. Assim, a + (a) = [s, m] + [s, m] =
[sm + m(s), m
2
] = [0, m
2
] = z.
OBS 8.2. z = 0.
Exerccio 8.1. Mostrar que (a) nico.
Propriedades da multiplicao: Sejam a = [s, m], b = [t, n] e c =
[p, q] elementos de Q. Ento:
(a) ab = ba
(b) a(bc) = (ab)c
(c) Se ab = cb e b = 0, ento a = c.
(d) Existe a Q, tal que aa = a para todo a Q.
(e) Dado a Q
= Q {0}, Existe um elemento a

1
Q tal
que a.a
1
= a.
78
AULA
8
Demonstrao. Seja a = [s, m] e a
1
= [m, s]. Note que
a
1
est bem denido uma vez que a = 0 e s = 0. a.a
1
=
[s, m].[m, s] = [sm, ms] = [sm, sm] = a = 1
OBS 8.3. Seja K um conjunto com uma operao soma (+) e de
multiplicao (.). Suponha que K fechado com relao soma
e multiplicao. Suponha ainda que as operaes satisfazem as
seguintes propriedades:
(a) (a + b) + c = a + (b + c), quaisquer que sejam a, b, c K e
(ab)c = a(bc).
(b) a + b = b + a e ab = ba quaisquer que sejam a, b K.
(c) Existem u, e K tais que a + u = a e a.e = a
(d) Existem a
, a
K tais que a + a
= u e se a = u, a.a
= e
(e) Dados a, b, c K, a(b + c) = ab + ac
Neste Caso dizemos que K um corpo.
Exerccio 8.2. Mostre que Q tem uma estrutura de corpo.
Propriedades:
1. Se a, b, Q e ab = 0 ento a = 0 ou b = 0.
Demonstrao. Suponha a = 0. Ento existe a
1
. Logo
a
1
(ab) = (a
1
a)b = b. Mas ab = 0 e portanto
b = a
1
(ab) = a
1
0 = 0.
2. Se ac = bc e c = 0, ento a = b.
Demonstrao. Como c = 0, existe c
1
, logo a(ac
1
) =
(bc)c
1
a(cc
1
) = b(cc
1
) a = b.
79
Racionais
3. ax = b x = a
1
b (a = 0)
Demonstrao. Trivial.
8.2.2 Diviso em Q
Denamos a operao : QQ
Q (diviso). Como:
QQ
Q
(a, b) a b
1
.
Propriedade: Se a, b Q e c Q
, ento
(a + b) : c = a : c + b : c.
De fato,
(a + b) : c = (a + b) c
1
= ac
1
+ bc
1
= a : c + b : c.
8.2.3 Somatrios e produtrios em Q
Denimos somatrio e produtrio de nmeros racionais como:
n
i=1
a
i
=
_
n1
i=1
a
i
_
+ a
n
e
n
i=1
a
i
=
_
n1
i=1
a
i
_
a
n
Exerccio 8.3. Sejam a, a
1
, , a
n
Q. Ento
a
_
n
i=1
a
i
_
=
n
i=1
(aa
i
)
Se n = 1 temos,
a
_
1
i=1
a
1
_
= a a
1
=
1
i=1
(aa
1
)
80
AULA
8
Suponha que a expresso acima seja vlida para n. vamos mostrar
que vlida para n + 1. De fato:
a
_
n+1
i=1
a
i
_
= a ((
n
i=1
a
i
) + a
n+1
)
= a (
n
i=1
a
i
) + aa
n+1
=

n
i=1
(aa
i
) + aa
n+1
=

n+1
i=1
(aa
i
)
Logo, pelo princpio de induo nita, o resultado vlido para
todo n Q
Exerccio 8.4. Sejam a
1
, , a
n
Q. Ento
_
n
i=1
a
i
_
1
=
n
i=1
a
1
i
Se n = 1, temos
_
1
i=1
a
i
_
1
= a
1
i
=
n
i=1
a
1
i
Suponha o resultado vlido para n. Vamos mostrar que ele tambm
vlido para n + 1.
_
n+1
i=1
a
i
_
1
= ((
n
i=1
a
i
) .a
n+1
)
1
= (
n
i=1
a
i
)
1
(a
n+1
)
1
=
_
n
i=1
a
1
i
_
.a
1
n+1
=

n+1
i=1
a
1
i
8.2.4 Potncias de Nmeros Racionais
Seja a Q
. Denimos a potncia n-sima de a como:

a
0
= 1
a
n+1
= a
n
a, n Z
+
Se n Z
, deninimos a potncia como a

n
= (a
1
)
n
.
Proposio 8.15. a
m+n
= a
m
a
n
, a Q
e m, n Z
81
Racionais
Demonstrao. Note que se n < 0, a
n+1
= a
n
a. De fato,
se n < 0, p = n > 0. a
n
a = (a
1
)
p
a =
_
(a
1
)
p1
a
1
_
a =
(a
1
)
p1
.(a
1
a) = (a
1
)
p1
= (a
1
)
n1
= a
n+1
Mostraremos por induo que a
m+n
= a
m
a
n
, se n 0.
Se n = 0, a
m+0
= a
m
= a
m
1 = a
m
a
0
. Suponha que a
m+n
=
a
m
a
n
. vamos mostrar que a
m+(n+1)
= a
m
a
n+1
. a
m
a
n+1
=
a
m
(a
n
a) = (a
m
a
n
)a = a
m+n
a = a
m+n+1
= a
m+(n+1)
.
Suponha m, n < 0. Logo m+n < 0. Assim a
m+n
= (a
1
)
mn
=
(a
1
)
m
a
1
)
m
= a
m
a
n
. Logo se m, n Z e a Q
, temos que
a
m+n
= a
m
a
n
.
8.3 Concluso
Os racionais surgem naturalmente dos inteiros. Justamente nos
casos em que um nmeros no divide o outro. Note tambm que
as operaes so fceis de se trabalhar.
RESUMO
Nmeros Racionais
Seja Z
= {m Z; m = 0}. Consideremos Z Z
=
{(m, n); m Z, n Z
} e a relao denida por:

(m, n) (p, q) mq = np
A relao particiona Z Z
em um conjunto de
classes de equivalncia:
Q = {[s, m], [t, n], ...}
82
AULA
8
Onde
[s, m] = {(a, b) Z Z
; (a, b) (s, m)}

Q chamado o conjunto dos nmeros racionais.
Propriedades
Propriedades da Adio:
Sejam a = [s, m], b = [t, n] e c = [p, q] elementos em
Q. Ento:
(a) (a + b) + c = a + (b + c)
(b) a + b = b + a
(c) Existe um elemento z Q tal que a+z = a, para
todo a Q.
(d) Dado um a Q, existe (a) Q tal que a +
(a) = z
Propriedades da multiplicao: Sejam a = [s, m], b =
[t, n] e c = [p, q] elementos de Q. Ento:
(a) ab = ba
(b) a(bc) = (ab)c
(c) Se ab = cb e b = 0, ento a = c.
(d) Existe a Q, tal que aa = a para todo a Q.
(e) Dado a Q
= Q {0}, Existe um elemento

a
1
Q tal que a.a
1
= a.
PRXIMA AULA
83
Racionais
Na prxima aula, caro aluno, mostraremos que Q ordenado e que
podemos olhar os inteiros como subconjunto dos racionais.
ATIVIDADES
ATIV. 8.1. Questo Mostre que em Q valem as seguintes pro-

priedades:
a) (a + b) = a + (b), a, b Q;
b) (ab)
1
= a
1
b
1
, a, b Q
;
c) (a
m
)
n
= a
mn
, a Q
, m, n Z;
ATIV. 8.2. Determine r Z de maneira que
10r
2r1
represente um
nmero inteiro.
ATIV. 8.3. Seja
m
n
uma frao irredutvel (m, n primos entre si).
Mostre que, se r Z, ento r +
m
n
=
rn+m
m
irredutvel.
ATIV. 8.4. Mostre por induo que:
1
1 2
+
1
2 3
+ . . . +
1
n (n + 1)
=
n
n + 1
ATIV. 8.5. Calcule [2, 4] + [5, 13] e [3, 14] [2, 5]

de Janeiro, 2008.
Paulo, 2001.
LIPSCHUTZ , S. Teoria dos Conjuntos - Coleo Schaum
84
AULA
9
Ordem
META:
Apresentar uma ordem para os nmeros racionais .
OBJETIVOS:
Comparar nmeros racionais e trabalhar com relaes envolvendo
desigualdades.
PR-REQUISITOS
Nmeros Racionais, inteiros e induo nita.
Ordem
9.1 Introduo
Podemos comparar nmeros racionais? a resposta sim e como
construmos ele como relao de equivalncia de inteiros, natural
que esta ordem se de atravs da ordem dos inteiros.
9.2 Relao de Ordem em Q
Seja a = [s, m] Q. Dizemos que a > 0 se sm > 0. Neste caso
dizemos a Q
+
(Nmeros racionais positivos). Se sm < 0 dizemos
que a Q
(Racionais negativos). Seja b = [t, n] Q. Dizemos

que
a 0
e
b < a a b > 0
Pela tricotomia dos nmeros inteiros temos que sm > 0 ou sm < 0
ou sm = 0
Assim,
Q = Q
+
Q
{0}
OBS 9.1. Sem perda de generalidade podemos supor, se a =
[s, m], que m > 0. De fato, [s, m] = [s m], pois s(m) =
m(s) = (sm) (
s
m
=
s
m
). Dizemos que 0 a Q, se a > 0
ou a = 0. Note que se a = [s, m] e b = [t, n] (m, n Z
+
) ento
a b b a 0 [t.n] + [s, m] 0 [tm sn, mn] 0
(tmsn)(mn) 0 tm sn
s
m

t
n
sn tm
86
AULA
9
Exemplo 9.1.
2
4
<
1
2
pois 4 < 4.
OBS 9.2. a = [s, m] 0, m > 0 s 0
Proposio 9.16. Sejam a, b Q. Se a < b ento existe h Q
+
tal que
a + h = b.
Lema 9.1. Dados a = [s, m], b = [t, n] Q existem x, y, z Z
tais que a = [x, z] e b = [y, z]
Demonstrao. Suponha [s, m] = [x, z] e [t, n] = [y, z]. Logo
sz = mx e tz = ny. Seja p = mmc(m, n). Logo p = mk e p = n
k.
sp = smk, tp = tm
k sp = (sk)m, tp = (t
k)n.
[s, m][sk, p], [t, n] = [t
k, p].
Logo, fazendo z = mmc(m, n), x = sk e y = t
k, onde p = mk, p =
n
k. Temos o resultado.
Demonstrao. Suponha a = [s, m], b = [t, n] com m, n > 0.
Pelo lema anterior podemos escrever a e b como segue:
a = [x, p], b = [y, p].
Temos que a 0, z Z tal que y = x + z, logo
b = [y, p] = [x + z, p] = [x, p] + [z, p] = a + h
Mostraremos agora que a relao em Q de ordem total. Pelo
j mencionado assumiremos que para cada elemento [s, m] Q,
podemos tomar m > 0.
(a) "" reexiva. De fato, [s, m] [s, m] pois sm ms.
87
Ordem
(b) "" anti-simtrica. De fato, se [s, m] [t, n] e [t, n]
[s, m] ento sn mt e tm ns. Logo sn = tm, ou seja,
[s, m] = [t, n].
(c) "" transitiva. Com efeito, se [s, m] [t, n] e [t, n] [p, q]
ento sn mt e tq np. Assim, snq mtq e mtq mnp
(m > 0, q > 0). Pela transitividade de ""em Z, temos que
snq mnp. Como n > 0, nq mp, ou seja, [s, m] [p, q].
(d) Temos [s, m] [t, n] ou [t, n] [s, m], pois sn mt ou
tm ns, m, n, s, t Z. A relao "" em Q de ordem
total.
Exerccio 9.1. 1. Se a, b Q
, c Q
e a < b, ento ac < bc.

2. Se a, b, c Q e a < b ento ento a + c < b + c.
OBS 9.3. Suponha que sobre um corpo K, esteja denido uma
relao "" que satisfaz as seguintes propriedades:
(a) a a, a k.
(b) a b e b a a = b.
(c) a b e b c a c.
(d) a b ou b a.
(e) a b e c k a + c b + c.
(f) a b e 0 c ac bc.
Dizemos que K corpo ordenado.
Imerso de Z em Q:. Seja f : Z Q denida por f(s) = [s, 1] =
s
1
f est bem denida. De fato, seja [s, 1] = [ s, 1]. Assim s 1 =
1 s s = s.
Note que f injetora (exerccio).
88
AULA
9
f preserva a soma, pois
f(s
1
+ s
2
) = [s
1
+ s
2
, 1] = [s
1
, 1] + [s
2
, 1].
f preserva a multiplicao, pois
f(s
1
s
2
) = [s
1
s
2
, 1] = [s
1
, 1] [s
2
, 1] = f(s
1
)f(s
2
).
f preserva a ordem, pois s
1
s
2
s
1
1 1 s
2
[s
1
, 1]
[s
1
, 1] [s
2
, 1] f(s
1
) f(s
2
).
Assim f : Z Im(f) Q um isomorsmo que preserva ordem.
Proposio 9.17. Seja a, b Q tal que a < b. Ento existe c Q
tal que a < c < b.
Demonstrao. Como a < b, ento
a + a < a + b
e
a + b 0. Assim,
1
2
(2a) =<
a + b
2
<
1
2
(2b).
Mas,
1
2
(2a) = (
1
2

2
1
) a = 1 a = a.
Portanto
a <
a + b
2
< b.
Seja c =
a+b
2
.
89
Ordem
Corolrio 9.1. O conjunto Q
+
no possui elemento mnimo.
Demonstrao. De fato, se a > 0 ento
0 <
1
2
a < a.
OBS 9.4. Seja K um corpo ordenado tal que para quaisquer a, b
K com a < b, existe c K onde a < c < b. Neste caso dizemos
que K denso.
Proposio 9.18. Se a, b Q com b Q
+
ento existe n N tal
que nb > a.
2
Demonstrao.
Armao: A proposio vale com Z
+
no lugar de Q
+
e Z no
lugar de Q:
Demonstrao da Armao: Com efeito, Dado a Q, seja
n = |a| + 1. Observe que bn n (pois b 1). Assim nb n > a
Demonstrao da proposio: Sem perda de generalidade suponha
a =
q
1
p
, b =
q
2
p
.
Onde q
1
Z e q
2
, p Z
+
. Assim existe n N tal que nq
2
> q
1
.
Logo
nq
2
p
>
q
1
p
. Mas
n
q
2
p
=
n
1

q
2
p
=
nq
2
p
.
Portanto,
n
q
2
p
>
q
1
p
.
OBS 9.5. Temos que se m, n Z (n = 0).
m : n =
m
1
:
n
1
=
m
1

1
n
=
m
n
.
2
Um corpo K que satisfaz esta proposio dito arquimediano.
90
AULA
9
Chamamos
m
n
de frao. (ou nmero fracionrio)
Denio 9.1. Dizemos que a frao
m
n
irredutvel se mdc(m, n) =
1
9.3 Concluso
A ordem de um nmero racional surge naturalmente da ordem
dos inteiros. Como os naturais so classes de equivalncia dos
produto cartesiano dos inteiros, era de se esperar que houvesse
alguma relao entre eles, o que justamente mostramos atravs da
imerso de Z em Q
RESUMO
Relao de Ordem em Q
Seja a = [s, m] Q. Dizemos que a > 0 se sm >
0. Neste caso dizemos a Q
+
(Nmeros racionais
positivos). Se sm < 0 dizemos que a Q
(Racionais
negativos). Seja b = [t, n] Q. Dizemos que
a 0
e
b < a a b > 0
Pela tricotomia dos nmeros inteiros temos que sm > 0
ou sm < 0 ou sm = 0
Assim,
Q = Q
+
Q
{0}
91
Ordem
Isomorsmo
Existe um isomorsmo f : Z Im(f) Qque preserva
ordem. Assim, podemos supor Z Q.
Densidade
Seja a, b Q tal que a < b. Ento existe c Q tal que
a < c < b.
PRXIMA AULA
Na prxima aula apresentaremos mais propriedades dos nmeros

racionais. Mostraremos tambm que como podemos escrever um
nmero racional como um nmeros decimal (nito ou peridico) e
vice e versa.
ATIVIDADES
ATIV. 9.1. Mostre que Q
fechado em relao adio, mas

no em relao multiplicao.
ATIV. 9.2. O sentena
12
7
>
13
8
verdadeira? Justique.
ATIV. 9.3. Mostre que se a, b Q
+
, ento a b > 0
ATIV. 9.4. Seja f : Z Q denida por f(s) = [s, 1]. Mostre que
f injetora.
92
AULA
9
de Janeiro, 2008.
Paulo, 2001.
93
AULA
10
Racionais
META:
Apresentar o conceito de mdulo de nmeros racionais e sua rep-
resentao decimal.
OBJETIVOS:
Identicar a forma decimal de um nmeros racional.
Identicar o inteiros mais prximo de um racional.
PR-REQUISITOS
Nmeros Racionais, inteiros e induo nita.
Racionais
10.1 Introduo
Prezado Aluno, nesta aula estudaremos o porqu de um nmero
decimal nito ou peridico ser um nmero racional e o porqu de
um nmero racional ser nito ou peridico. Antes apresentaremos
a voc algumas propriedades modulares dos nmeros racionais e a
funo maior inteiro.
10.1.1 Valor Absoluto de um Nmero Racional
Denimos |a| com a Q como:
|a| =
_
_
_
a , sea 0
a , sea < 0
Propriedades:
(a) |a| a |a|
(b) |a + b| |a| +|b|
(c) |ab| = |a||b|
(d) Se a = 0, ento |a
1
| = |a|
1
As demonstraes so deixadas como exerccio (basta seguir o que
foi feito com os nmeros inteiros) Questes
1. Mostre que (a
n
)
1
= (a
1
)
n
= a
n
, para todo a Q
e
n Z.
2. Se a, b Q
+
ento ab Q
+
.
3. Mostre que
1515
3333
= 1533.
4. Seja K um corpo. Uma aplicao bijetora f : K K um
automorsmo de K se f(x + y) = f(x) + f(y) e f(xy) =
f(x)f(y), para todo x, y K. Mostre, atravs das seguintes
etapas que o nico automorsmo de Q a identidade:
96
AULA
10
(a) f(1) = 1
(b) f(a) = f(a)
(c) f(m) = m, para todo m Z.
(d) f
_
1
n
_
=
1
n
para todo n N
(e) f
_
m
n
_
=
m
n
para todo m Z e para todo n Z
Solues:
1. Para n = 1 temos que (a
1
)
1
= a
(1)1
= a
1
. Suponhamos o
resultado vlido para n e provemos que o mesmo vlido para
n + 1: a
(n+1)1
= a
n
+ 1 = a
n(1)1
= a
n(1)
a
1.(1)
=
a
1(n)
.a
1.1
= a
1(n)+(1).1
= a
(n+1)
= (a
1
)
n+1
. (a
m
)
n
=
a
mn
, para todo m, n Z. Ento (a
1
)
(
n) = a
1.n
= a
n
.
2. tome a =
s
m
e b =
n
t
. Ento sm > 0, mt > 0. Sejam
s, m, n, t Z
+
.
ab =
sn
mt
> 0.
Sejam s, m, n, t Z
ab =
sn
mt
> 0.
Sejam s, m Z
+
e n, t Z
ab =
sn
mt
> 0.
Sejam s, m Z
e n, t Z
+
ab =
sn
mt
> 0.
3. (a) (Exerccio)
(b) Como f(0) = f(0 + 0) = f(0) + f(0), pela lei do
cancelamento, f(0) = 0. Assim, para todo a Q
f(a) + f(a) = f((a) + a) = f(0) = 0
97
Racionais
(c) (Exerccio)
(d) 1 = f(1) = f
_
n
n
_
= f
_
1
n
n
_
= f
_
1
n
+ ... +
1
n
_
=
f
_
1
n
_
+ ... + f
_
1
n
_
= nf
_
1
n
_
f
_
1
n
_
=
1
n
(e) Admitindo n > 0, o que sempre possvel, f
_
m
n
_
=
f
_
m
1
n
_
= f(m) f
_
1
n
_
= m
1
n
=
m
n
.
10.1.2 A Funo Maior Inteiro
Denio 10.1. Seja a Q. Denotamos por [a] o maior inteiro
menor ou igual a a. isto ,
[a] = max{m Z; m a}
A funo f : Q Z denida por f(a) = [a] chamada funo
maior inteiro.
Exemplo 10.1. [5/4] = 1; [8] = 8; [1/2] = 1.
Proposio 10.19. Sejam a, b Q. Ento
(a) [a] a < [a] + 1
(b) a b [a] [b]
(c) [a + m] = [a] + m, para todo m Z
(d) [a] + [b] [a + b] [a] + [b] + 1
Demonstrao.
(a) Fica como exerccio.
(b) Suponha a b e [a] > [b]. Assim [b] + 1 [a]. Por (a),
[b] + 1 > b > [b]. b < [b] + 1 [a] a, ou seja b < a, o que
uma contradio. Logo [a] [b].
98
AULA
10
(c) Do item (a), 0 a [a] < 1. Seja a
1
= a [a]. Assim
a = [a] + a
1
. Note que
[a + m] = [[a] + m + a
1
] = [a] + m.
(d) Faa a
1
= a [a] e b = b [b] e c = a +b [a +b]. Note que
0 a
1
< 1, 0 b
1
< 1 e 0 c < 1. a+b = [a]+[b]+(a
1
+b
1
),
onde 0 a
1
+ b
1
< 2. [a + b] = [[a] + [b] + (a
1
+ b
1
)] =
[a] + [b] + [a
1
+b
1
], mas [a
1
+b
1
] = 0 ou [a
1
+b
1
] = 1. Logo
[a + b] [a] + [b] + 1. Como 0 a
1
+ b
1
< 2, temos que
[a
1
+ b
1
] 0. Logo [a + b] [a] + [b]. Portanto,[a] + [b]
[a + b] [a] + [b] + 1.
Exerccio 10.1. Seja q um inteiro positivo o qual quociente da
diviso de m por n (n > 0). Mostre que q =
_
m
n
.
Soluo: Temos m = qn + r, onde 0 r < n.
Logo
m
n
=
qn + r
n
=
qn
n
+
r
n
= q +
r
n
.
Logo
_
m
n
_
= [q +
r
n
] = q +
_
r
n
_
Mas, 0
r
n
< 1. Assim
_
r
n
= 0, e portanto q =
_
m
n
.
Exerccio 10.2. O expoente de um nmero primo p que aparece
em n!
_
n
p
_
+
_
n
p
2
_
+ ...
Soluo: Se p > n, temos que n! no possui fatores de p, logo o
expoente zero. mas n < p
r
para todo r N. Assim
_
n
p
_
+
_
n
p
2
_
+ ... = 0
Se n p, o quociente da diviso de n por p
_
n
p
_
. Ento p
divisor de um dos seguintes fatores de n!:
p, 2p, 3p, ...,
_
n
p
_
p
99
Racionais
. n! = n(n 1)..., p divisor desses
_
n
p
_
fatores. De maneira
anloga, desses
_
n
p
_
fatores, os que so mltiplos de p
2
totalizam
_
n
p
2
_
. Logo o expoente de p em n!
_
n
p
_
+
_
n
p
2
_
+ ...
Exemplo 10.2. Qual o expoente de 3 em 20!?
_
20
3
_
+
_
20
3
2
_
= 6 + 2 = 8
10.1.3 Representao Decimal
Seja o racional positivo
a
b
, b > 1, a Z. Temos
a = q
0
b + r
0
, 0 r
0
< b
Assim,
10r
0
= q
1
b + r
1
, 0 r
1
< b
Como r
0
< b, temos 10r
0
< 10b. Logo q
1
< 10.
Se r
1
= 0, ento
r
0
=
q
1
10
b a = q
0
b +
q
1
10
b
a
b
= q
0
+
q
1
10
.
Assim escrevemos
a
b
= q
0
, q
1
e chamaremos q
0
, q
1
de representao
decimal de
a
b
Se r
1
= 0,
10r
1
= q
2
b + r
2
, 0 r
2
< b
se r
2
= 0, temos que
r
1
=
q
2
b
10
r
0
=
q
1
10
b+
q
2
10
2
b a = q
0
b+
q
1
b
10
b+
q
2
b
10
2

a
b
= q
0
+
q
1
10
+
q
2
10
2
Assim escrevemos
a
b
= q
0
, q
1
q
2
Se r
2
= 0, repete-se o processo.
100
AULA
10
Se r
2
= r
1
, temos que
a
b
= q
0
, q
1
q
2
q
2
q
2
, ... (Dzima peridica sim-
ples).
Os restos so elementos do conjunto {0, 1, 2, ..., b 1}. De modo
que rb deve ser algum r
1
, ..., r
b1
, digamos r
c
. A representao
neste caso
a
b
= q
0
, q
1
q
2
...q
b1
q
c+1
q
c+2
...q
b1
q
c+1
q
c+2
...
Logo cada racional pode ser expresso como um decimal exato ou
peridico.
Exemplo 10.3. (a)
5
4
= 1, 25.
(b)
3
8
= 0, 375
(c)
11
6
= 1, 83
(d)
85
7
= 3, 571428
OBS 10.1. Note que todo decimal exato um nmero racional (
por exemplo,
a
b
= q
0
, q
1
= q
0
+
q
1
10
)
Teorema 10.1. Cada decimal peridico um nmero racional
Demonstrao. Considere o decimal peridico
x, yzdefdef... = x, yz + 0, 00def + 0, 00000def + ...
Temos que x, yz um nmero racional e 0, 00def +0, 00000def +...
a soma de uma PG onde a
1
= 0, 00def e r = 0, 001 Assim
A =
a
1 r
=
0, 00def
1 0, 001
=
0, 00def
0, 999
=
def
99900
.
Logo A racional. Conclumos assim que x, yzdef racional.
101
Racionais
10.2 Concluso
Desta aula conclumos que todo nmeros racionais e nmeros dec-
imais (nitos ou peridicos) so equivalentes. E os decimais no-
peridicos? At a proxima aula.
RESUMO
Representao decimal
Todo decimal exato um nmero racional
Todo decimal peridico um nmeros racional
Todo racional um nmero peridico (exato ou nito).
PRXIMA AULA
Na prxima aula iniciaremos a saga da construo dos nmeros

reais via cortes de Dedekind.
ATIVIDADES
ATIV. 10.1. Dados a, b Q mostre que:

(a) |a| a |a|
(b) |a + b| |a| +|b|
(c) |ab| = |a||b|
(d) Se a = 0, ento |a
1
| = |a|
1
102
AULA
10
ATIV. 10.2. Mostre que 1000! termina em 249 zeros
ATIV. 10.3. Encontre a representao decimal dos seguintes nmeros
racionais:
(a)
15
33
(b)
1
5
(c)
285
13
(d)
9
10
ATIV. 10.4. Se a, b Q
+
, ento [a][b] [ab]

Paulo, 2001.
103
AULA
11
Reais
META:
Construo dos Nmeros Reais .
OBJETIVOS:
Identicar um Corte de Dedekind.
Reais
11.1 Introduo
Caro aluno se voc imaginar um tringulo retngulo cujos lados que
formam o ngulo reto tenham comprimento 1 cm, pelo Teorema
de Pitgoras conseguimos encontrar a medida da hipotenusa. A
pergunta que se faz : Com os conjuntos construdos por ns at
o momento, possvel encontrar esta nmero? Ou seja a equao
x
2
= 2 tem soluo em Q?
Suponha que x =
p
q
(frao irredutvel), tal que x
2
= 2. Assim
p
2
q
2
= 2 e p
2
= 2q
2
.
Portanto p
2
par e consequentemente, p tambm par, ou seja,
p = 2k, com k Z. Da
(2k)
2
= 2q
2
4(k
2
) = 2q
2
2k
2
= q
2
Logo q
2
tambm par, e assim q par, absurdo. Logo no existe
racional tal que x
2
= 2. Assim, apartir de agora construiremos um
conjunto, apartir dos racionais que soluciona este e muitos outros
problemas.
11.1.1 Cortes em Q
Seja a Q, A = um elemento a A chamado mximo de A,
se a x, para todo x A
Denio 11.1. Um conjunto A Q dito limitado superior-
mente se existe x Q, tal que x a, para todo a A. x
chamado cota superior.
Exemplo 11.1. Seja B = {x Q; 1 < x < 1}
1 cota inferior e 1 cota superior.
106
AULA
11
B no possui elemento mximo nem mnimo, pois dado x
B, 1 <
1+e x
2
< x <
1+e x
2
< 1
Se o conjunto da cotas inferiores de um conjunto A possui mximo,
esse mximo chamado de nmo do conjunto A e ser denotado
por inf A
Se o conjunto das cotas superiores de um conjunto A possui mn-
imo, ento esse mnimo chamado de supremo e denotado por
sup A.
Denio 11.2. Seja K um corpo ordenado, se todo subconjunto
limitado superiormente possui supremo dizemos que K completo.
Note que Q no completo. Basta o exemplo anterior.
Um dos nossos objetivos nesta unidade construir um corpo orde-
nado completo que contm Q.
Denio 11.3. Dizemos que um sub-conjunto Q um
Corte de DEDEKIND se satisfaz as seguintes propriedades,
para todo p, q, r Q:
I. = e = Q
II. Se p , q Q e q < p ento q
III. Se p , ento p < r, para algum r
OBS 11.1. o item (III) nos diz que um corte no possui mximo
Exemplo 11.2. 1. 0
= Q
1
= {x Q; x < 0} um corte.
Se x < 0, x <
x+0
2
< 0
2. Para cada z Q, z
= {r Q; r < z} um corte de
DEDEKIND.
3.

B = {r Q; r 0}. Obviamente, (I) satisfeita. Note
que se r

B e r < r, temos r < r 0. Logo r

B (II)
satisfeita). (III) no satisfeita. basta tomar p = 0.
107
Reais
4. {r Q; r > 0} no corte. (II) no satisfeita.
5. = {x Q; x < 0 ou(x 0 e x
2
< 2}.
Mostraremos que as propriedades I, II e III de corte para 5.
I Basta mostrar que 1 e 5 / .
II Tome x . Se x 0 e y < x, logo y < 0. Assim y . Se
x > 0, x
2
< 2 e y < x, ento y < 0 ou 0 < y < x. Se y < 0,
y . No segundo caso, note que 0 < y < x 0 < y
2
< x
2
.
Como x
2
< 2, y
2
< 2 e portanto y .
III Seja x . Se x 0, seja y = 1. Assim x < y e y
2
= 1 < 2.
Considere o caso que x > 0 e x
2
< 2. Tome h = 2 x
2
,
ento x
2
+ h = 0 e 0 < h < 2. Seja = x +
h
5
. Assim
2
=
_
x +
h
5
_
= x
2
+
2xh
5
+
h
2
25
. Note que x < 2. Assim
2xh < 4h. Observe que 0 < h < 2 0 < h
2
< 2h. Logo
y
2
= x
2
+
2xh
5
+
h
2
25
< x
2
+
4h
5
+
h
2
25
= x
2
+
22h
25
< x + h = 2.
Logo y > 0 e y
2
< 2 (y ) e y > x
De I, II e III, um corte.
11.1.2 Construo dos Nmeros Reais
Considere a seguinte famlia de todos os cortes de DEDEKIND:
R = { Q; satisfazI, II, e III}
Vamos mostrar que R um corpo ordenado completo. Passo 1:
Dena a relao "<"da seguinte maneira:
<
Se < e < ento < pois
108
AULA
11
Vamos mostrar que dados , R uma e somente uma das
seguintes relaes ocorre:
< , = , <
Suponha que no subconjunto prprio de . Portanto existe
p com p / . Seja q . Ento q < p (pois p ) e como
corte, q . Logo ( = ), ou seja, .
Logo R ordenado.
Passo 2: R completo.
Seja = A R um conjunto limitado superiormente e uma cota
superior de A. Dena como a unio de todos os A:
_
A
= {a Q; existe A coma }
Como A = existe
0
A, logo
0
. Portanto = Q.
satisfaz I. Para mostrar I e II, seja p . Logo p
1
,
1
A.
Se q < p, ento q
1
e portanto q , o que mostra II. A
propriedade III ca como exerccio.
Se p ento existe r < p, como , ento existe algum r
Note que , para todo inA.
Seja < . Logo existe s tal que s / . Como s , s ,
para algum A. Ento < . Logo no cota superior.
Portanto = sup A.
Passo 3: Se , R, dena
+ = {r + s; r , s } = {s + r; s , r }
Armao: + R .
De fato, + = pois , = . Tome r
/ e s
/ . Logo
r
+s
> r +s para todo r e s . Logo r
+s
/ +, donde
vale I. Seja p +. Logo p = r +s, com r alpha, s . Seja
q < p. Ento q s < r. Logo q s . Note que q = (q s) +s
+ , donde vale II. o item III ca como exerccio.
109
Reais
+ = +
+ ( + ) = ( + ) +
Existe R tal que + =
De fato, seja = 0
{s Q; s < 0} Seja r e s 0
. Note que
r + s < r. Assim r + s , ou seja + 0
.
Seja p . Assim existe r > p, r . Logo p r 0
. Note que
p = r + (p r) + 0
. Logo + 0
. Portanto, = + 0
Dado R, existe R tal que + = 0
Se s / , e p = s 1. Logo s = p 1 / . Logo p ( = 0).

Seja q . Ento q / , pois (q) r < q, para todo r Q
+
.
Assim (q) r . Logo = Q e vale I.
Seja p e q < p. Logo existe r > 0 tal que p r . Como
q < p, q > p q r > p r. Logo q, r / . q e,
portanto vale II.
Seja p e t = p +
r
2
, r > 0, onde p r / . t
r
2
=
p
r
2

r
2
= p r / . Logo t e vale III.
Relembrando:
B = {p Q; exister Q
+
, comp r / }
Vamos mostrar que + = 0
. Se r e s , ento -s / .
Logo r < s, ou seja r + s < 0 e + 0
. Seja v 0
e
tome u =
v
2
. Logo u > 0. Assim existe n N tal que nu e
(n + 1)u / (isto segue da propriedade Arquimediana de Q). Se
p = (n+2)u, ento p B, pois pu / e v = nu+p +.
Logo 0
+ . Conclumos que + = 0
.
Denotamos por
110
AULA
11
11.2 Concluso
Estamos construindo um conjunto atravs de classe de equivalncia
de subconjuntos de Q. No uma construo trivial. Mas muito
interessante.
RESUMO
Cortes em Q
Seja a Q, A = um elemento a A chamado mximo de A,
se a x, para todo x A.
Um conjunto A Q dito limitado superiormente se existe x Q,
tal que x a, para todo a A. x chamado cota superior.
Denio 11.4. Dizemos que um sub-conjunto Q um
Corte de DEDEKIND se satisfaz as seguintes propriedades,
para todo p, q, r Q:
I. = e = Q
II. Se p , q Q e q < p ento q
III. Se p , ento p < r, para algum r
PRXIMA AULA
Na prxima aula concluiremos a construo de R e mostraremos a

incluso (via imerso) de Q em R.
ATIVIDADES
111
Reais
ATIV. 11.1. Seja A = {
1
2
,
2
3
, . . . ,
n
n+1
, . . .}. Mostre que sup A =
1.
ATIV. 11.2. Mostre que 2
+ 3
= 5
.(No use a imerso de Q

em R).
ATIV. 11.3. Seja p um nmero primo. Prove que

p no
racional.

Paulo, 2001.
RUDIN, W. Principles of Mathematical Analysis, McGraw-Hill,
1976
112
AULA
12
Reais - Continuao
META:
Construo dos Nmeros Reais .
OBJETIVOS:
Identicar R como um corpo ordenado completo.
Resolver inequaes.
Diferenciar um nmero Racional de um irracional.
PR-REQUISITOS
Cortes de Dedekind.
Reais - Continuao
12.1 Introduo
Caro aluno, nalmente mostraremos que R ordenado completo.
Algumas demonstraes sero omitidas, mas vocs futuramente
sabero estud-las com mais maturidade. Alm disso, identicare-
mos Q como subconjunto de R e apresentaremos tambm algumas
propriedades de R bem com resolver algumas inequaes.
12.1.1 Continuao
Passo4: Se , , R e < ento + < + .
Note que
+ = {a + b; a , b }
+ = {a + c; a , c }
Como , + + + < +
Passo 5: Se R
+
e R
+
, denimos
= {p Q; p rs, r , s , r > 0, s > 0}
1
= {q Q
; q < 1}
Vamos mostrar que corte:
= e = Q, donde vale I
Seja q < p, p . Logo a < p rs para algum 0 < r e
s e 0 < s . Logo q rs, 0 < r e 0 < s e assim
q , donde vale II.
Seja p . Logo existem r e s tal que p rs. Como
e so cortes, existem r
e s
tal que r < r
e s < s
. Seja
p
= r
. Logo p
> p e p
, ou seja, vale III

As propriedades de comutatividade, associatividade, elemento neu-
tro e inverso multiplicativo seguem de maneira similar ao Passo
3. Observe que se > 0
e > 0
ento > 0
. (Exerccio)
114
AULA
12
Passo 6: Dena 0
= 0
e =
_
_
()() , < 0
, < 0
[()] , < 0
, < 0
[()] , > 0
, < 0
Exerccio 12.1. = ()
( + ) = + (, , > 0
exerccio) Suponha >

0
, < 0
, + > 0.
= ( +) ; = [( +) ] e = ( +) +() =
( + ) . Logo + = ( + )
OBS 12.1. Dado A = {1,
1
2
,
1
3
, ...,
1
n
, ...}, 5, 4, 0 so cotas infe-
riores de A; 1 o supremo e o mximo.
O nmo e o supremo podem ou no pertencer ao conjunto; o mn-
imo e o mximo deve est no conjunto; todo mximo supremo;
todo mnimo nmo.
Passo 7: Relembremos que r
= {p Q; p < q}
Vamos mostrar que
1. r
+ s
= (r + s)
2. r
= (rs)
3. r
< s
r < s
Prova de 1. Seja p r
+ s
. Ento p = u + v, com u r
,
v s
. Logo u < r e v < s. Logo p < r + s, ou seja p (r + s)
.
Portanto, r
+ s
(r + s)
. Seja p (r + s)
. Logo p < r + s.
Seja t escolhido tal que 2t = r +s p. Seja r
= r t e s
= s t.
Note que r
+ s
= r = s 2t = p. Portanto, (r + s)
+ s
,
e assim, r
+ s
= (r + s)
. Prova de 2. Fica como exerccio!

Prova de 3. Se r < s, ento r s
, mas r / r
. Note que se
a r
, ento a s
. Logo r
, ou seja, r
< s
. Suponha
r
< s
. Logo existe p s
tal que p r
. Logo p r. e p < s.
Logo r p < s r < s
115
Reais - Continuao
Conclumos atravs destes trs fatos que a funo:
f : Q R
q q
Preserva soma (P,1), produto (P,2) e ordem (P,3).

Vamos mostrar que f injetiva e assim, concluir que f imerso
de Q em R que preserva operaes e ordem.
Se r = s (r < s), r
< s
, ou seja f(r) = f(s). Logo podemos

identicar Q como um subconjunto de R (Q R), fazendo r
:= r
Assim
R = Q (R Q)
Denio 12.1. (R Q) denominado conjunto dos nmeros
irracionais.
Proposio 12.20. (a) Se z R com z + a = a, ento z = 0.
(b) Se ab = o com a, b R ento a = 0 ou b = 0
(c) Se a R
+
, ento a
2
> 0
(d) 1 > 0
(e) Seja a 0 e b 0 com a, b R. Ento,
a 0
Demonstrao.
(a) z + 0 = z + (a + (a)) = (z + a) + (a) = a + (a) = 0
(b) Suponha a = 0. Logo existe a
1
=
1
a
. Assim ab = 0
1
a
ab =
1
a
0 =
_
1
a
a
_
b = 0 b + 0
116
AULA
12
(c) Se a R
, ento a
2
> 0. Se a R
+
, ento a.a > 0. Se
a R
, a R
+
, logo (a)(a) > 0 e, consequentemente
a
2
> 0.
(d) 1 = 1.1 > 0, donde 1 > 0
(e) Suponha a > 0 e b > 0. Logo a +b > 0. Note que b
2
a
2
=
(b a)(b + a). Como b > a e b + a > 0, (b a)(b + a) > 0.
Logo b
2
> a
2
(f) Temos que (
b)
2
(
a)
2
2
ab + (
b)
2
0
a + b 2
ab
ab
a+b
2
12.1.2 Inequaes
A resoluo de inequaes est baseada na relao de ordem dos
nmeros reais e suas propriedades.
(a) Determine o conjunto A formado por todos os pontos x R
tais que:
3x + 5 < 3
Soluo: 3x + 5 < 3 3x + 5 5 < 3 5 3x < 2
1
3
3x <
1
3
2 x <
2
3
(b) Resolva a inequao x
2
5x+3 < 3 Soluo:x
2
5x+6 <
0 (x2)(x3) < 0 x2 < 0 e x3 > 0 ou x2 >
0 e x 3 < 0 Note que x 2 < 0 e x 3 > 0 impossvel
de acontecer. Logo a soluo {x R; 2 < x < 3}
117
Reais - Continuao
12.1.3 Valor absoluto de um nmero real
Denio 12.2. O valor absoluto de um nmero real a denotado
por |a| denido como: |a| =
_
_
_
a, se a 0
a, se a < 0
OBS 12.2. |a| 0
Propriedades:
(a) |a|
2
= a
2
, para todo a R
(b) |ab| = |a||b| para todos a, b R.
(c) |a| a |a|
(d) |a + b| |a| +|b|, para todos a, b R
Exerccio 12.2. Resolva:
(a) |2x + 1| < 7 Soluo: Note que: 7 < 2x + 1 < 7
8 < 2x < 6 4 < x < 3. Logo o conjunto soluo
{x R; 4 < x < 3}.
12.2 Concluso
Finalmente mostramos que existe um corpo ordenado completo
que contm Q. Vimos tambm que para resolver inequaes poli-
nomiais de 1 e 2 graus no h mistrio.
RESUMO
R ordenado completo.
Para resolver inequaes, basta aplicar as propriedades de ordem
de R.
118
AULA
12
PRXIMA AULA
Na prxima aula mostraremos que R tambm possui a propriedade

arquimediana e que no-enumervel.
ATIVIDADES
ATIV. 12.1. Seja K := {s+t
2, s, t Q}. Mostre que K satisfaz

as seguintes armaes
a) Se x
1
, x
2
K, ento x
1
+ x
2
K e x
1
x
2
K
b) Se x = 0 e x K, ento
1
x
K
O conjunto K chamado subcorpo de R. Com a ordem induzida
de R, o conjunto K um corpo ordenado que est entre Q e R.
ATIV. 12.2. Se x, y R, mostre que:
a) |x| =
x
2
b) |
x
y
| =
|x|
|y|
(y = 0)
c) |x + y| = |x| +|y| se, e somente se, xy 0.
ATIV. 12.3. Mostre que |x y| |x| +|y|, x, y R

119
Reais - Continuao
Paulo, 2001.
1976
120
AULA
13
Reais- Continuao
META:
Apresentar as propriedades arquimediana e da no-enumerabilidade
dos Reais .
OBJETIVOS:
Identicar um intervalo.
Aplicar o Teorema da no-enumerabilidade de R
PR-REQUISITOS
Propriedades dos nmeros reais.
Reais- Continuao
13.1 Introduo
Caro Aluno, nesta aula apresentaremos a propriedade arquimedi-
ana de R e mostraremos a no-enumerabilidade de R. Apresentare-
mos os nmeros irracionais
13.1.1 Propriedade Arquimediana de R
Teorema 13.1. Se x R, ento existe n
x
N tal que x < n
x
.
Demonstrao. Suponha que n x para todo n N e para
algum x R. Note que N R. Como R completo, existe u R
tal que u = sup N. Subtraia 1 de u, ou seja, considere u1. Como
u supremo, u 1 no cota superior de N. Assim existe m N
tal que u 1 < m. Logo u < m + 1, Absurdo. Portanto, dado
x R, existe n
x
tal que n
x
> x.
Corolrio 13.1. R Arquimediano.
Demonstrao. Seja a, b R, b R
+
. Pelo teorema anterior,
existe n N, tal que n <
a
b
. Assim, nb > a.
Corolrio 13.2. Dado a R
+
, existe n N tal que 0 <
1
n
< a.
Corolrio 13.3. Se y > 0, existe n
y
N tal que n
y
1 y < ny.
Demonstrao.
Considere E
y
= {m N; y < m} N
E
y
= .
Pelo Princpio da Boa ordem, existe um menor elemento de E
y
,
n
y
. Segue-se que n
y
1 y < ny.
122
AULA
13
13.1.2 Desigualdade de Bernolli
Teorema 13.2. Se x > 1, ento (1 + x)
n
1 + nx, para todo
n R (x R)
Demonstrao. Usaremos induo sobre n.
Note que: 1 + x = (1 + x)
1
= 1 + 1x. Logo a desigualdade
vlida para n = 1. Suponha a desigualdade vlida para n, ou
seja, (1 + x)
n
1 + nx, x > 1. Como x > 1, 1 + x > 0.
Logo, (1 + x)
n
(1 + x) (1 + nx)(1 + x) (1 + x)
n+1
1 +
nx + x + nx
2
= 1 + (n + 1)x + nx
2
. Como nx
2
0, temos que
(1 + x)
n+1
1 + (n + 1)x.
Portanto pelo Princpio de induo, a desigualdade vlida para
todo n N
Teorema 13.3. Se a R tal que 0 a < , para todo > 0
ento a = 0.
Demonstrao. Suponha a > 0 e seja
0
=
a
2
. Por hiptese,
0 < a <
0
, absurdo pois
a
2
< a. Logo a = 0
Denio 13.1. Dizemos que L K, K ordenado denso em K
se dados x, y K (x < y), existe l L tal que x < l < y.
Teorema 13.4. Q denso em R.
Demonstrao. Suponha que x, y R com x < y. Suponha sem
perda de generalidade que x > 0. Como y x > 0, existe n N
tal que
1
n
< y x. Assim, nx + 1 < ny. Note que nx > 0. Pelo
corolrio (??) existe m N tais que m 1 nx < m m
nx + 1 < ny. Segue-se que nx < m < ny x <
m
n
< y. Como
m
n
Q, obtemos o desejado.
Exerccio 13.1. Existe x R tal que x
2
= 2.
123
Reais- Continuao
Soluo: Seja S = {s R; s 0, s
2
< 2}. Note que S = ,
pois 0 S e S limitado, pois 2 / S (2
2
> 2). Logo S possui
um supremo, digamos, x = sup S. Vamos mostrar que x
2
= 2.
Suponha x
2
< 2. Note que
_
x +
1
n
_
2
= x
2
+ 2x
1
n
<
1
n
2
< x
2
+
1
n
(2x + 1)
Como x
2
< 2, escolha n tal que
1
n
<
2x
2
2x+1
(Propriedade Arquime-
diana). Logo,
1
n
(2x + 1) < 2 x
2
, e portanto
_
x +
1
n
_
< x
2
+
1
n
(2x + 1) < x
2
+ (2 x
2
) = 2
Como x = sup S, x +
1
n
cota superior. Logo x
2
2. x
2
> 2
falso. (Exerccio)
_
x
1
m
_
> x
2
2x
m
+
1
m
2
> x
2
2x
m
> 2
Objetivo: Mostrar que R no enumervel.
Denio 13.2. X enumervel se existe uma funo injetora
f : X N
Exemplo 13.1. N enumervel. Basta denir f : N N por
f(x) = x
Exemplo 13.2. Z enumervel
Exemplo 13.3. Q enumervel
Intervalos: Dados a, b R, com a < b, denimos os seguintes
conjuntos
[a, b] = {x R; a x b}
(a, b) = {x R; a < x < b}
(a, b] = {x R; a < x b}
[a, b) = {x R; a x < b}
(a, +] = {x R; a < x}
124
AULA
13
[a, +] = {x R; a x}
(, a) = {x R; x < a}
(, a] = {x R; x a}
(, +) = R
Esses conjuntos so chamados de intervalos.
OBS 13.1. Se a < b, o intervalo (a, b) innito.
Teorema 13.5. (Dos Intervalos Encaixados). Sejam I
1
I
2

I
3
... I
n
... uma sequncia decrescente de intervalos fechados
e limitados, ou seja, I
n
= [a
n
, b
n
]. Ento,
n=1
=
Isto , existe pelo menos um nmero real x I
n
para todo n N.
Demonstrao. Observe que para cada n N, I
n+1
I
n
. As-
sim, a
n
a
n+1
b
n+1
b
n
.. Ento,
a
1
a
2
... a
n
a
n+1
... ... b
n+1
b
n
... b
1
Sejam A = {a
1
, a
2
, ..., a
n
, ...} e B = {b
1
, ..., b
n
, ...} Note que A
limitado superiormente (b
n
cota superior de A) e B limitado
inferiormente (a
n
cota inferior para B). Logo existe a = sup A e
b = inf B. Logo,
a
1
a
2
... a b ... b
n+1
b
n
... b
1
ou Seja,
n=1
= [a, b]
125
Reais- Continuao
OBS 13.2. Seja I
n
=
_
0,
1
n
. Observe que I
1
I
2
I
3
...
I
n
.... Armao:
n=1
=
Suponha a
n=1
. Note que a = 0, pois o / I
n
para todo n N.
Logo a > 0. Pela Propriedade Arquimediana, existe n N tal que
0 <
1
n
< a. Logo,
n=1
=
OBS 13.3. Seja I
n
= (n, +). Mostre que a interseo de todos
os I
n
s vazia.
Teorema 13.6. R no enumervel.
Demonstrao. Mostraremos que dado qualquer X R enu-
mervel, existe x R, tal que x / X. Inicialmente observe que
dado [a, b] e x
0
R, existe J = [c, d] tal que x
0
/ [c, d] e J [a, b].
Escrevemos X = {x
1
, x
2
, x
3
, ..., x
n
, ...} R. Considere um inter-
valo I
1
tal que x
1
/ I
1
= [a
1
, b
1
]. Seja I
2
tal que x
2
/ I
2
e I
2
I
1
.
Assim, recursivamente conseguiremos intervalos I
n
, n N tais que
x
n
/ I
n
e I
1
I
2
I
3
... I
n
.... Como I
n
= [a
n
, b
n
], existe
x
n=1
. Logo, x / X. Assim, R no enumervel.
Corolrio 13.4. (R Q) no enumervel.
Exerccios
1. Mostre que os nmeros irracionais so no enumerveis
2. Sejam A, B R tais que x y, para todo x A, para todo
y B. Mostre que sup A inf B
3. Dizemos que uma funo f : A R
+
limitada superior-
mente se f(A) = {f(x); x A} um conjunto limitado su-
126
AULA
13
periormente. Se f, g : A R
+
so limitadas superiormente,
ento sup(f +g) sup f +sup g (sup f = sup{f(x); x A})
4. Mostre que se x < 1, ento (1 x)
n
1 nx, para todo
n N.
Soluo:
1. Note que R = Q (R Q) e Q enumervel. Supondo
(R Q) enumervel, temos que R = Q (R Q) enu-
mervel. Absurdo. Logo (R Q) no enumervel.
2. Note que A limitado superiormente por todo elemento de
B, logo A possui supremo. Note tambm que B limitado
inferiormente por todo elemento de A. Logo B possui nmo
(Por que?). Como sup A a menor das cotas superiores de
A e inf B uma cota superior de A temos que sup A inf B
3. Sabendo que sup(f +g) = sup((f +g)(A)) e sup f +sup g =
sup(f(A)) + sup(g(A)), note que (f +g)(A) f(A) +g(A),
pois dado h (f + g)(A) temos que h = (f + g)(x) =
f(x) +g(x) para algum x A. Assim h f(A) +g(A). logo
sup((f +g)(A)) sup(f(A) +g(A)) = sup f(A) +sup g(A).
Portanto, sup(f + g) sup f + sup g
4. Queremos mostrar que se x < 1, ento (1x)
n
1nx, para
todo n N. Como x < 1, temos que x > 1. Logo pela
desigualdade de Bernoulli temos que (1+(x))
n
1+n(x),
isto , (1 x)
n
1 nx, para todo n N.
13.2 Concluso
Finalmente terminamos a construo dos nmeros reais e apresen-
tamos algumas propriedades. Neste aula mostramos que existem
127
Reais- Continuao
muito mais nmeros irracionais do que racionais.
RESUMO
R Arquimediano.
R no enumervel.
Intervalos: Dados a, b R, com a < b, denimos os seguintes
conjuntos
[a, b] = {x R; a x b}
(a, b) = {x R; a < x < b}
(a, b] = {x R; a < x b}
[a, b) = {x R; a x < b}
(a, +] = {x R; a < x}
[a, +] = {x R; a x}
(, a) = {x R; x < a}
(, a] = {x R; x a}
(, +) = R
Teorema 13.7. (Dos Intervalos Encaixados). Sejam I
1
I
2

I
3
... I
n
... uma sequncia decrescente de intervalos fechados
e limitados, ou seja, I
n
= [a
n
, b
n
]. Ento,
n=1
=
Isto , existe pelo menos um nmero real x I
n
para todo n N.
PRXIMA AULA
128
AULA
13
Na prxima aula iniciaremos uma conversa sobre sistemas de nu-
merao.
ATIVIDADES
ATIV. 13.1. Mostre que se r racional (r = 0) e s irracional,

ento r + s e rs so irracionais.
ATIV. 13.2. Dados x R, x = 0 e n N prove que (1 +x)
2n
>
1 + 2nx
ATIV. 13.3. Exprima cada um dos conjuntos abaixo como re-
unio de intervalos:
a) O conjunto dos x R tais que |x 3| +|x + 3| < 8
b) idem |x
2
2| < 1.

Paulo, 2001.
1976
129
AULA
14
Sistema de Numerao
META:
Apresentar os sistemas de numerao egpcio e babilnico.
OBJETIVOS:
Entender a diculdade encontrada pelos antigos para representar
quantidades.
Representar nmeros no sistema de numerao egpcio e babilnico
14.1 Introduo
Caro aluno, sabemos que dados dois conjuntos quaisquer, se existe
uma correspondncia biunvoca entre eles (ou seja, a cada elemento
do primeiro conjunto podemos associar, de alguma maneira um
nico elemento no segundo e vice e versa), ento h entres estes
conjuntos algo em comum, em relao ao quantitativo. Assim dize-
mos que estes conjuntos tem o mesmo nmero de elementos. Como
os antigos representavam a quantidade de elementos? Veremos nas
prximas 2 aulas alguns sistemas de numerao que eram utilizado.
Comearemos com os sistemas de numerao egpcio e babilnico.
14.2 Sistema de numerao egpcio
Os egpcios desenvolveram um sistema de numerao hieroglco
de base 10 a cerca de 5000 anos Os hierglifos eram desenhos de
Sistema de Numerao
seres vivos e de objetos diversos, e cada. gura signicava a palavra
correspondente ao objeto representado. Os sons eram representa-
dos por hierglifos que reproduziam nomes de objetos com esse
som. No entanto estes pictogramas no constituram uma escrita
no sentido estrito da palavra, na medida em que no permitem
uma gurao detalhada do discurso falado e no dependem de
uma lngua determinada.
A escrita de um nmero se baseava da adio dos valores dos sm-
bolos (princpio aditivo).
1 era representado por uma marca que se parecia com um
basto |
2 por duas marcas ||
3 por trs marcas|||
4 por quatro marcas ||||
E assim por diante, Quando chegavam a 10, eles trocavam as dez
marcas (||||||||||) Por , que indicava o agrupamento. Feito isso,
continuavam at o 19:
10 = , 11 = |, . . . 19 = |||||||||
O 20 era representado por E continuavam:
30 = , . . . 90 =
Para registrar 100, ao invs de usar 10 smbolos , trocavam esse
agrupamento por um smbolo novo, que parecia um pedao de
corda enrolada (Figura 14.1). Juntando vrios smbolos de 100,
escreviam o 200, o 300,... Etc., at o 900. Dez marcas de 100 eram
trocadas por um novo smbolo, que era a gura da or de ltus
(Figura 14.1)
132
AULA
14
Desta forma, trocando cada dez marcas iguais por uma nova, eles
escreviam todos os nmeros de que necessitavam. Veja os smbolos
usados pelos egpcios e o que signicava cada marca.
Figura 14.1:
Entretanto, usando o sistema egpcio, ca trabalhoso registrar cer-
tas quantidades. Experimente, por exemplo, escrever 999 no sis-
tema egpcio e compare com a nossa maneira de escrev-lo. Ap-
resentamos de seguida como exemplo a representao no sistema
hierglifo do nmero 1143254.
133
Sistema de Numerao
Figura 14.2:
14.3 Sistema de numerao Babilnico
Mais ou menos na mesma poca e que os egpcios desenvolveram
seu sistema de numerao hieroglco, surgia na Mesopotmia um
sistema com a mesma estrutura que o nosso atual, mas no uti-
lizando base 10 e sim base 60 (sistema de numerao babilnico).
Tal como usamos hoje em dia, esse sistema era posicional, no sen-
tido que o valor do smbolos usados dependia de sua posio na
escrita do nmero.
Contudo o sistema de numerao babilnico era imcompleto no
sentido e que usava apenas dois smbolos:
Assim, at 59 era um sistema aditivo, como percebemos na Figura
14.3.
Da pra frente, entrava a idia da base 60 e o princpio posicional.
Por exemplo veja gua 14.4:
Smbolo que represente 3, por ocupar a primeira posio (da direita
para a esquerda), valia efetivamente 3; o smbolo que representa
11, por ocupar a segunda posio, valia 11.60=660; o smbolo que
representa 1, por ocupar a terceira posio, valia 1 60
2
= 3600.
134
AULA
14
Figura 14.3:
Figura 14.4:
Assim o nmero que representa a gura 14.4 1 10
2
+11 60 +3.
O fato de no haver um smbolo para o zero, alm da escrita ba-
bilnica ser feita em plaquetas de argila, no raro tornava ambgua
a leitura de um numeral. Por exemplo: a gura que representava
o 2 tanto podia representar 2, como 61 ou 120, alm de outros.
O sistema de numerao decimal prossegue at cerca de 3000 a.C.
Foi ento aps este perodo que os babilnios passaram a usar sm-
bolos para o zero, onde era constitudo por duas cunhas pequenas
inclinadas como na gura 14.5, sendo utilizado para identicar a
135
Sistema de Numerao
Figura 14.5:
ausncia das unidades sexagesimais. Com a presena deste smbolo
muitas ambigidades foram eliminadas e assim surgiu o zero, mas
apesar de ser de grande importncia e facilitar as representaes
babilnicas este smbolo s foi utilizado para representar posies
intermedirias e apenas em contextos astronmicos. At mesmo
no nal da matemtica babilnia no se encontrou exemplos que
utilizassem o zero no nal da numerao. Isso signica que os ba-
bilnios no conseguiram um sistema posicional absoluto. O que
evidentemente no retira o mrito dos sbios da Babilnia, inven-
tores da primeira numerao escrita estreitamente posicional e do
mais antigo zero da histria.
14.4 Concluso
Percebemos as diculdades encontradas na antiguidade para repre-
sentar quantidades. Mas tambm vemos o aparecimento do princ-
pio aditivo e do sistema de numerao posicional.
RESUMO
Sistema de numerao egpcio: Uso do Princpio aditivo

Sistema de numerao Babilnico: Princpio aditivo e sistema de
numerao posicional.
PRXIMA AULA
136
AULA
14
Na prxima aula apresentaremos o sistema de numerao romana
e o por ns hoje utilizado: o indo-arbico.
ATIVIDADES
ATIV. 14.1. Escreva os nmeros 1439, 234 , 12, 40 no sistema de

numerao egpcio o babilnico.
BOYER, C. Histria da matemtica, So Paulo: Editor Edgar

Blucher LTDA, 1974.
EVES, H. Introduo histria da matemtica, So Paulo: editora
Unicamp, 2005.
Paulo, 2001
137
AULA
15
Sistema de Numerao
META:
Apresentar os sistemas de numerao romano e indo-arbico.
OBJETIVOS:
Entender a diculdade encontrada pelos antigos para representar
quantidades.
Representar nmeros no sistema de numerao romano e dos anti-
gos hindus.
Sistema de Numerao
15.1 Introduo
15.2 Sistema de Numerao Romano
O sistema de numerao Romano (ainda com alguns usos hoje
em dia) tambm decimal aditivo. Os smbolos 1, 10, 10
2
, 10
3
so
respectivamente , I, X, C e M. Mas h tambm smbolos especiais
para 5 = V, 50 = L e 500 = D, o que torna mais breve a expresso
de um nmero. Por exemplo, ao invs de justapor sete vezes o
smbolo I para indicar o 7, basta escrever V II. Tambm por uma
questo de brevidade o sistema incorporou, ao longo do tempo, um
princpio subtrativo:
IV = 5 1; IX = 10 1; XC = 100 10; CM = 1000 100.
Assim, se um romano da poca de Cristo escrevia
1989 = MDCCCCLXXXV IIII,
j pelos ns da idade mdia o mais comum era
1989 = MCMLXXXIX.
Vele tambm ressaltar que no sistema de numerao romano uma
barra sobre um certo numeral, multiplica seu valor por 1000 ao
passo que duas barras multiplica seu valor por 1000
2
. Assim:
IV = 4000 XV = 15000000
.
15.3 O Sistema de Numerao Indo-Arbico
Foi no Norte da ndia, por volta do sculo V da era crist, que
nasceu o mais antigo sistema de notao prximo do atual, o que
140
AULA
15
comprovado por vrios documentos, alm de ser citado por rabes
(a quem esta descoberta foi atribuda por muitos anos).
Antes de produzir tal sistema, os habitantes da ndia setentrional
usaram por muito tempo uma numerao rudimentar que aparece
em muitas inscries do sculo III antes de Cristo.
Esta numerao tinha uma caracterstica do sistema moderno.
Seus nove primeiros algarismos eram sinais independentes: 1, 2, 3, 4, 5, 6, 7, 8, 9,
o que signicava que um nmero como o 5 no era entendido como
5 unidades mas como um smbolo independente. Por muito tempo,
estes algarismos foram denominados algarismos arbicos, de uma
forma errada. Ainda existia nesta poca a diculdade posicional e
os hindus passaram a usar a notao por extenso para os nmeros,
pois no podiam exprimir grandes nmeros por algarismos. Sem
saber, estavam criando a notao posicional e tambm o zero.
Cada algarismo tinha um nome:
1 2 3 4 5 6 7 8 9
eka dvi tri catur paca sat sapta asta nava
Quando foi criada pelos hinds a base 10, cada dezena, cada cen-
tena e cada milhar, recebeu um nome individual:
10 dasa
100 sata
1000 sahasra
10000 ayuta
100000 laksa
1000000 prayuta
10000000 koti
100000000 vyarbuda
1000000000 padma
141
Sistema de Numerao
Ao invs de fazer como hoje, de acordo com as potncias decres-
centes de 10, os hindus escreviam os nmeros em ordem crescente
das potncias de 10 por volta do sculo IV depois do nascimento
de Jesus Cristo. Eles comeavam pelas unidades, depois pelas
dezenas, pelas centenas e assim por diante. O nmero 3.709 -
cava:
9 700 3000
nove setecentos trs mil
nava sapta sata tri sahasra
.
Poderiamos escrever o nmero 12.345 como
paca caturdasa trisata dvisahasra ayuta
pois, 12.345 = 5 + 40 + 300 + 2.000 + 10.000. Esta j era uma
forma especial.
Em virtude da grande repetio que ocorria com as potncias de
10, por volta do sculo V depois do nascimento de Jesus Cristo, os
matemticos e astrnomos hindus resolveram abreviar a notao
retirando os mltiplos de 10 que apareciam nos nmeros grandes,
assim o nmero 12.345 que era escrito como:
paca caturdasa trisata dvisahasra ayuta
passou a ser escrito apenas:
54321 = paca catur tri dvi dasa
12345 = 5 + 4 10 + 3 100 + 2 1000 + 1 10000
e esta se transformou em uma notao falada e escrita posicional
excelente para a poca, mas comearam a acontecer alguns prob-
lemas como escrever os nmeros 321 e 301.
142
AULA
15
321 = 1 + 2 10 + 3 100
321 = dasa dvi tri
301 = 1 + 3 100
301 = dasa tri
lgico que este ltimo nmero no poderia ser o 31, pois:
31 = 1 + 3 10
31 = dasa tri
No nmero 301 faltava algo para representar as dezenas.
Tendo em vista o problema na construo dos nmeros como 31
e 301, os hindus criaram um smbolo para representar algo vazio
(ausncia de tudo) que foi denominado sunya (a letra s tem um
acento agudo e a letra u tem um trao horizontal sobre ela).
Dessa forma foi resolvido o problema da ausncia de um algarismo
para representar as dezenas no nmero 301 e assim passaram a
escrever:
301 = 1+? 10 + 3 100
301 = dasa sunya tri
Os hindus tinham acabado de descobrir o zero. Porm, estas no-
taes s serviam para as palavras e no para os nmeros, mas
reunindo essas idias apareceram juntos o zero bem como o at-
ual sistema de notao posicional. Nmeros como 123.000 eram
143
Sistema de Numerao
escritos como: sunya sunya sunya tri dvi dasa,que signica:
zero zero zero trs dois um que escrito na ordem invertida
fornece: um dois trs zero zero zero
15.4 Concluso
At chegarmos a nosso sistema de numerao atual, percebemos
que houve vrias mudanas signicativas ao longo do tempo. Assim
a matemtica: a cada dia que passa temos uma evoluo.
RESUMO
Sistema de Numerao Romano: Princpio aditivo e subtrativo

Sistema de numerao Indo-arbico: Antes os nmeros eram lidos
da direita para a esquerda, depois foi aperfeioando at chegar aos
dias de hoje.
ATIVIDADES
ATIV. 15.1. Escreva os nmeros 140, 235, 702 no sistema de

numerao romano e hindu
BOYER, C. Histria da matemtica, So Paulo: Editor Edgar

Blucher LTDA, 1974.
EVES, H. Introduo histria da matemtica, So Paulo: editora
Unicamp, 2005.
144
AULA
15
Paulo, 2001
Ifrah, G. Os nmeros: histria de uma grande inveno - 3. ed. -
So Paulo: Globo,1989.
145

A para o Ensino Fundamental

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

A para o Ensino Fundamental

Hochgeladen von

Copyright:

Verfügbare Formate

Matemtica para o

= {(a, b) : (a, b) N N}.

= {(a, b) : (a, b) N N}.

O Teorema a seguir caracteriza os nmeros inteiros positivos, neg-

a) (1 + 1, 1) = (2, 1) = +1, (2 + 1, 1) = (3, 1) = +2; e

Na prxima aula, apresentaremos a noo de divisibilidade e o

ATIV. 4.1. a) O que signica S ser limitado superiormente?

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

Na prxima aula, apresentaremos o algoritmo da diviso, sistemas

ATIV. 5.1. Seja a Z

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

Na prxima aula apresentaremos um algoritmo para o clculo do

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

= mdc(y, r). Como

|x, donde conclumos que d

Na prxima aula, apresentaremos os nmeros racionais como classe

ATIV. 7.1. Calcule MDC(a, b) onde :

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

} e a relao denida por:

em um conjunto de classes de equiv-

; (a, b) (s, m)}

= Q {0}, Existe um elemento a

. Denimos a potncia n-sima de a como:

, deninimos a potncia como a

} e a relao denida por:

; (a, b) (s, m)}

= Q {0}, Existe um elemento

ATIV. 8.1. Questo Mostre que em Q valem as seguintes pro-

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

(Racionais negativos). Seja b = [t, n] Q. Dizemos

e a < b, ento ac < bc.

Na prxima aula apresentaremos mais propriedades dos nmeros

ATIV. 9.1. Mostre que Q

fechado em relao adio, mas

Na prxima aula iniciaremos a saga da construo dos nmeros

ATIV. 10.1. Dados a, b Q mostre que:

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

> r +s para todo r e s . Logo r

Dado R, existe R tal que + = 0

Se s / , e p = s 1. Logo s = p 1 / . Logo p ( = 0).

Na prxima aula concluiremos a construo de R e mostraremos a

.(No use a imerso de Q

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

tal que r < r

, ou seja, vale III

exerccio) Suponha >

. Logo u < r e v < s. Logo p < r + s, ou seja p (r + s)

. Prova de 2. Fica como exerccio!

Preserva soma (P,1), produto (P,2) e ordem (P,3).

, ou seja f(r) = f(s). Logo podemos

Na prxima aula mostraremos que R tambm possui a propriedade

ATIV. 12.1. Seja K := {s+t

2, s, t Q}. Mostre que K satisfaz

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

ATIV. 13.1. Mostre que se r racional (r = 0) e s irracional,

LIMA, Elon L., Anlise na Reta Vol. 1, IMPA, Projeto Euclides,

Sistema de numerao egpcio: Uso do Princpio aditivo

ATIV. 14.1. Escreva os nmeros 1439, 234 , 12, 40 no sistema de

BOYER, C. Histria da matemtica, So Paulo: Editor Edgar

Sistema de Numerao Romano: Princpio aditivo e subtrativo

ATIV. 15.1. Escreva os nmeros 140, 235, 702 no sistema de

BOYER, C. Histria da matemtica, So Paulo: Editor Edgar

Das könnte Ihnen auch gefallen