Professional Documents
Culture Documents
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
2.6 Leitura Complementar . . . . . . . . . . . . . . . . 28
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
3.7 Leitura Complementar . . . . . . . . . . . . . . . . 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
LEITURA COMPLEMENTAR . . . . . . . . . . . 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
LEITURA COMPLEMENTAR . . . . . . . . . . . 65
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
LEITURA COMPLEMENTAR . . . . . . . . . . . 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
LEITURA COMPLEMENTAR . . . . . . . . . . . 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
LEITURA COMPLEMENTAR . . . . . . . . . . . 93
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
LEITURA COMPLEMENTAR . . . . . . . . . . . 103
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
LEITURA COMPLEMENTAR . . . . . . . . . . . 112
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
LEITURA COMPLEMENTAR . . . . . . . . . . . 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
LEITURA COMPLEMENTAR . . . . . . . . . . . 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
LEITURA COMPLEMENTAR . . . . . . . . . . . 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
LEITURA COMPLEMENTAR . . . . . . . . . . . 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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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:
a) m + (n + p) = (m + n) + p (Associatividade);
b) m + n = n + m (Comutatividade);
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:
Ao m da aula os alunos devero ser capazes de:
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
Matemtica para o Ensino Fundamental
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
Nmeros Naturais: Continuao
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
Matemtica para o Ensino Fundamental
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
Nmeros Naturais: Continuao
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
Matemtica para o Ensino Fundamental
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
Nmeros Naturais: Continuao
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
2.6 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.
28
AULA
3
Nmeros Inteiros
META:
Apresentar os nmeros inteiros axiomaticamente atravs dos Nmeros
Naturais .
OBJETIVOS:
Ao m da aula os alunos devero ser capazes de:
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
Matemtica para o Ensino Fundamental
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)
= {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
= {(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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
{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
Nmeros Inteiros: Continuao
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
Matemtica para o Ensino Fundamental
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
Nmeros Inteiros: Continuao
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
Matemtica para o Ensino Fundamental
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
. 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.
LEITURA COMPLEMENTAR
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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
64
Matemtica para o Ensino Fundamental
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
LEITURA COMPLEMENTAR
e assim d d
. Agora, como d
|y e d
|r,
temos 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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
= {m Z; m = 0}. Consideremos ZZ
= {(m, n); m
Z, n Z
, 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
Matemtica para o Ensino Fundamental
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
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
em um conjunto de
classes de equivalncia:
Q = {[s, m], [t, n], ...}
82
Matemtica para o Ensino Fundamental
AULA
8
Onde
[s, m] = {(a, b) Z Z
83
Racionais
Na prxima aula, caro aluno, mostraremos que Q ordenado e que
podemos olhar os inteiros como subconjunto dos racionais.
ATIVIDADES
;
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]
LEITURA COMPLEMENTAR
{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
Matemtica para o Ensino Fundamental
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 < b e portanto xp < yp. Assim x < y, com x, y Z.
Desta forma existe z > 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
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 < b b 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
92
Matemtica para o Ensino Fundamental
AULA
9
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.
LIPSCHUTZ , S. Teoria dos Conjuntos - Coleo Schaum
93
AULA
10
Racionais
META:
Apresentar o conceito de mdulo de nmeros racionais e sua rep-
resentao decimal.
OBJETIVOS:
Ao m da aula os alunos devero ser capazes de:
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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
= 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
Matemtica para o Ensino Fundamental
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
+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
. 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
Matemtica para o Ensino Fundamental
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
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
= {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
e s < s
. Seja
p
= r
. Logo p
> p e p
e > 0
ento > 0
. (Exerccio)
114
Matemtica para o Ensino Fundamental
AULA
12
Passo 6: Dena 0
= 0
e =
_
_
()() , < 0
, < 0
[()] , < 0
, < 0
[()] , > 0
, < 0
Exerccio 12.1. = ()
( + ) = + (, , > 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
.
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)
, 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
< s
:= 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 < b a
2
< b
2
a <
b
(f ) Mostre que
ab
a+b
2
, se a, b > 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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
AULA
12
PRXIMA AULA
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
LEITURA COMPLEMENTAR
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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
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
Matemtica para o Ensino Fundamental
AULA
13
Na prxima aula iniciaremos uma conversa sobre sistemas de nu-
merao.
ATIVIDADES
136
Matemtica para o Ensino Fundamental
AULA
14
Na prxima aula apresentaremos o sistema de numerao romana
e o por ns hoje utilizado: o indo-arbico.
ATIVIDADES