Você está na página 1de 73

PRESIDENTE DA REPBLICA

Luiz Incio Lula da Silva

MINISTRO DA EDUCAO
Fernando Haddad

GOVERNADOR DO ESTADO
Wellington Dias

REITOR DA UNIVERSIDADE FEDERAL DO PIAU


Luiz de Sousa Santos Jnior

SECRETRIO DE EDUCAO DO ESTADO DO PIAU


Antonio Jos Medeiros

SECRETRIO DE EDUCAO A DISTNCIA DO MEC


Carlos Eduardo Bielschowsky

DIRETOR DE POLITICAS PUBLICAS PARA EaD


Hlio Chaves

COORDENADORIA GERAL DA UNIVERSIDADE ABERTA DO BRASIL


Celso Costa

COORDENADOR
DISTNCIA GERAL DO CENTRO DE EDUCAO ABERTA A
DA UFPI
Gildsio Guedes Fernandes

SUPERITENDNTE DE EDUCAO SUPERIOR NO ESTADO


Eliane Mendona

DIRETOR DO CENTRO
Helder Nunes da Cunha

COORDENADOR DO CURSO NA MODALIDADE EAD


Joo Bencio de Melo Neto

CHEFE DO DEPARTAMENTO
Jurandir de Oliveira Lopes

COODENADORA DE MATERIAL DIDTICO DO CEAD/UFPI


Cleidinalva Maria Barbosa Oliveira

EQUIPE DE APOIO
Copyright 2008. Todos os direitos desta edio esto reservados Universidade Federal do
Piau (UFPI). Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer
meio eletrnico, por fotocpia e outros, sem a prvia autorizao, por escrito, do autor.

XXXX Lopes, J. de Oliveira


Fundamentos da Matemtica Elementar /Jurandir de Oliveira
Lopes Teresina: UFPI/UAPI
2008. DA REPBLICA
PRESIDENTE
72p.

Incluir bibliografia

1 xx
Luiz Incio Lula da Silva

MINISTRO DA EDUCAO
Fernando Haddad

GOVERNADOR DO ESTADO
Wellington Dias

REITOR DA UNIVERSIDADE FEDERAL DO PIAU


Luiz de Sousa Santos Jnior

SECRETRIO DE EDUCAO A DISTNCIA DO MEC


Carlos Eduardo Bielschowsky

COORDENADORIA GERAL DA UNIVERSIDADE ABERTA DO BRASIL


Celso Costa

SECRETRIO DE EDUCAO DO ESTADO DO PIAU


Antonio Jos Medeiros

COORDENADOR GERAL DO CENTRO DE EDUCAO ABERTA A


DISTNCIA DA UFPI
Gildsio Guedes Fernandes

SUPERITENDNTE DE EDUCAO SUPERIOR NO ESTADO


Eliane Mendona
DIRETOR DO CENTRO DE CINCIAS DA NATUREZA
Helder Nunes da Cunha

COORDENADOR DO CURSO DE MATEMTICA NA MODALIDADE EAD


Joo Bencio de Melo Neto

COODENADORA DE MATERIAL DIDTICO DO CEAD/UFPI


Cleidinalva Maria Barbosa Oliveira
DIAGRAMAO
Joo Paulo Barros Bem
Joaquim Carvalho de Aguiar Neto

L864f Lopes, J. de Oliveira


Fundamentos da Matemtica Elementar /Jurandir de Oliveira
Lopes Teresina: UFPI/UAPI, 2008
72p

1.Matemtica. 2.Universidade Aberta do Piau. I.Titulo.

C.D.D.- 510

2
APRESENTAO

Este texto destina-se aos estudantes que participam do


programa de Educao a Distncia da Universidade Aberta do
Piau (UAPI) vinculada ao consrcio formado pela Universidade
Federal do Piau (UFPI), Universidade Estadual do Piau
(UESPI) e Centro Federal de Ensino Tecnolgico do Piau
(CEFET-PI), com apoio do Governo do Estado do Piau,
atravs da Secretaria Estadual de Educao.

O texto composto de IV unidades, contendo itens que


discorrem sobre os conjuntos numricos, dando nfase as suas
propriedades e resultados, que so relevantes para um bom
embasamento para o estudo da matemtica. A ordem dos
contedos seguinte: Na unidade 1, estudaremos o conjunto
nmeros naturais, na unidade 2, estudaremos o conjunto
nmeros inteiros, na Unidade 3, estudaremos o conjunto
nmeros racionais e na Unidade 4, estudaremos o conjunto
nmeros reais. A construo lgico formal dos conjuntos
numricos ser feita nos apndices I, II, III e IV.
.
SUMRIO GERAL

UNIDADE 1: Conjunto dos Nmeros Naturais


1.1 Introduo
1.2 Princpio da Induo Matemtica
1.3 Operaes: Adio e multiplicao
1.4 Relao de ordem
1.5 Princpio da Boa Ordem

UNIDADE 2: Conjunto dos Nmeros Inteiros


2.1 Introduo
2.2 Operaes: Adio e Multiplicao
2.3 Relao de Ordem
2.4 Valor Absoluto ou Mdulo
2.5 Princpio do Menor Inteiro
2.6 Princpio da Induo Matemtica em Z
2.7 Mltiplos e Divisores
2.8 Mximo Divisor Comum
2.9 Nmeros Primos
2.10 Mnimo Mltiplo Comum

UNIDADE 3: Conjunto dos Nmeros Racionais


3.1.Introduo
3.2.Operaes: Adio e Multiplicao
3.3 Relao de Ordem
3.4 Valor Absoluto ou Mdulo

UNIDADE 4: Conjunto dos Nmeros reais


4.1Introduo
4.2 Operaes: Adio e Multiplicao
4.3 Relao de Ordem
4.4 Valor Absoluto ou Mdulo
4.5 Representao Decimal

Apndice I

Apndice II

Apndice III

Apndice IV

4
5
SUMRIO

UNIDADE 1: Conjunto dos Nmeros Naturais

1.1 Introduo

1.2 Princpio da Induo Matemtica

1.3 Operaes: Adio e multiplicao

1. 4 Relao de ordem

1.5 Princpio da Boa Ordem


Exerccios

6
1 CONJUNTO DOS NMEROS NATURAIS

1.1 Introduo
Mais informaes sobre
Os nmeros naturais foram os primeiros a serem o conjunto dos nmeros
naturais pode ser
criados, com intuito de contar. Mas, afinal, o que o conjunto encontrado em:
1) www.educ.fc.u
N dos nmeros naturais? l.pt/docentes/o
pombo/semin
Bem, podemos intuitivamente escrev-lo dizendo quais ario/fregeruss
el/peano.htm
so seus elementos: eles so os nmeros da forma. 2) www.obm.org.
1,2 = 1 + 1,3 = 2 + 1,4 + 3 = 1,...n = (n 1) + 1 , ou seja, br/eureka/artig
os/inducao.d
N = {1,2,3,4, , n, } oc

Ocorre, porm, que dificilmente poderemos provar


algumas propriedades desses nmeros utilizando apenas esta
descrio, pois apesar de sabermos intuitivamente quais so
esses nmeros que acima representa, teramos dificuldade de
descrev-lo de modo suficientemente explcito.
Uma maneira consiste em dar uma propriedade que
caracterizem de modo nico o conjunto dos nmeros naturais.

1.2 Princpio da Induo Matemtica

A propriedade que vamos anunciar chamada de Princpio da


Induo Matemtica . Mais precisamente:
Princpio da Induo Matemtica. Seja X um subconjunto
dos nmeros naturais (ou seja, X N ) tais que:
i) 1 X ;
ii) Se n X n + 1 X ;
Ento X = N .
Essa simples propriedade fornece uma das mais poderosas
ferramentas de demonstrao Matemtica: A demonstrao
por induo.
Suponha que seja dada uma sentena matemtica P(n)
associada a cada n natural, a qual se torna verdadeira um falsa
quando substitumos por n . Mais adiante citaremos alguns
7
exemplos de sentenas abertas definidas sobre o conjunto dos
naturais.
Agora anunciaremos um resultado suma importncia para
Matemtica e, por conseguinte definir a soma e multiplicao
em N .
Teorema 1.1 (Prova por induo matemtica). Seja a P(n)
sentena aberta sobre N . Suponha que:
i) P(1) verdadeira, e.
ii) Se a validez de P(n) implicar na validez de P(n + 1)
Ento P(n) vlida para todo o conjunto nmeros
naturais.
Demonstrao: Considere o seguinte conjunto
X = {n N P ( n) verdadeira }
1 X , pois P(1) verdadeira. Suponha agora que n X , isto ,

P(n) verdadeira, com isto garantimos a validez de P(n + 1) ,

logo n + 1 X . Assim pelo Princpio da induo matemtica


temos que X = N , portanto P(n) vlida para todo o conjunto
nmeros naturais. C.Q.D.

1.3 Adio e Multiplicao


No conjunto dos nmeros naturais esto definidas duas
operaes fundamentais:
a) Adio: Dados n, m N fazem corresponder soma
m+n N
b) Multiplicao: Dados n, m N fazem corresponder

soma mn N
Justificaremos a boa definio atravs da induo sobre n :
a) Adio: P(1) : Assim dados 1, m N claro que m + 1 N
, logo P(1) vlida.
Suponhamos vlida P(n) , ou seja, dados n, m N temos que
m. + n N .

8
Agora provaremos validez de P(n + 1) : De fato, dados
n + 1, m N temos que m. + n + 1 N , pois m. + n + 1 = (m + n) + 1 ,
e por hiptese m. + n N e da (m + n) + 1 N .
b) Multiplicao: Exerccio a cargo do leitor.

As operaes acima gozam das propriedades: Associativa,


comutativa e distributiva. E que as mesmas podem ser
demonstradas por induo.
Considere alguns exemplos de sentenas abertas definidas
sobre N :
a) P(n) : 2(1 + 2 + 3 + L + n) = n(n + 1) , para todo n N .
P(1) : 2.1 = 1(1 + 1) 2 = 2 , verdade.
Suponhamos vlida P(n) , ou seja,
2(1 + 2 + 3 + L + n) = n(n + 1) Hiptese de Induo (H.I)

Provaremos validez P(n + 1) , isto .


+ + + + + + = + +
2(1 2 3 L n n 1) (n 1)(n 2) (Tese)
Com efeito: Temos que
2(1 + 2 + 3 + L + n + n + 1) = 2(1 + 2 + 3 + L + n) + 2(n + 1)

= 2(n + 1) + 2(n + 1)
= (n + 1)(n + 2) .
Portanto a sentena P(n) valida para todo n N .
b) P(n) : n = n 2
P(1) : 1 = 12 1 = 1 , verdade. Poderamos agora supor vlida

P(n) , mas fcil v que P(2) : 2 2 2 2 4 falsa. Portanto,


vimos que a sentena no vlida para todo n N .

c) P(n) : 6(12 + 2 2 + 32 + L + n 2 ) = n( n + 1)( 2n + 1) , para todo


n N .
P(1) : 6.1 = 1(1 + 1)(2.1 + 1) 6 = 6 , verdade.
Suponhamos vlida P(n) , ou seja,

9
6(12 + 2 2 + 3 2 + L + n 2 ) = n( n + 1)( 2n + 1) Hiptese de Induo
(H.I)
Provaremos validez P(n + 1) , isto .
6[12 + 2 2 + 3 2 + L + n 2 + ( n + 1) 2 ] = ( n + 1)( n + 2)( 2n + 3) (Tese)
Com efeito: Temos que

6[12 + 2 2 + 3 2 + L + n 2 + (n + 1) 2 ] = 6(12 + 2 2 + 3 2 + L + n 2 ) + 6( n + 1) 2

= n(n + 1)(2n + 1) + 6(n + 1) 2


= (n + 1)[n(2n + 1) + 6(n + 1)]

= (n + 1)(n + 2)(2n + 3)
Portanto a sentena P(n) valida para todo n N .

1.4 Relao de Ordem


Faz-se necessrio introduzir uma relao de ordem nos
conjuntos dos nmeros naturais.

Definio: Dados n, m N dizem que m menor do que n (e


escreve-se).
m < n () se existe r N tal que n = m + r .
A relao de ordem m < n goza das seguintes propriedades:
a) Transitividade: Se m < n e n < p ento m < p .
b) Tricotomia: Dados n, m N , s podem ocorrer uma, e
somente uma das alternativas: m = n , m < n ou n < m .
c) Monotonicidade: Se m < n ento, para todo r N , tem-se.
m + r < n + r e m.r < n.r .
Mostraremos que as trs propriedades so satisfeitas:
a) : Se m < n e n < p ento existem r1 , r2 N tais que
n = m + r1 .e p = n + r2 . Assim p = m + r1 + r2 , sendo que

r1 + r2 N , segue-se que m < p .

10
b) Dados n, m N tm que m = n , do contrrio, existe
rN tal que n = m + r ou no existe, assim m < n ou
n < m.
c) Exerccio a cargo do leitor.
Dizemos que m menor ou igual do que n (e escreve-se m n )
se m = n ou m < n .
Algumas sentenas abertas esto associadas para n N tal
que n a para algum a N . Assim para esse tipo de sentenas
temos o seguinte resultado

Teorema 1.2 (Prova por induo matemtica). Seja a P(n)


sentena aberta para todo n a , com a N . Suponha que:
i) P(a) verdadeira, e.
ii) Se a validez de P(n) implicar na validez de P(n + 1) ,
para n a
Ento P(n) vlida para todo nmero natural n a .

Demonstrao: Considere o seguinte conjunto


X = {m N P ( n = m + a 1) verdadeira }
1 X , pois P(a) verdadeira. Suponha agora que m X , isto

, P(n = m + a 1) verdadeira, com isto garantimos a validez


de P(n + 1 = m + 1 + a 1) para n a , logo m + 1 X . Assim pelo
Princpio da induo matemtica temos que X = N , assim
m 1 m + a a +1 n = m + a 1 a . Portanto P(n) vlida
para todo n a . C.Q.D.

Exemplos:
a) P(n) : 2n + 1 n 2 , para todo n 3 .
P(3) : 2.3 + 1 2 3 7 8 , verdade.
Suponhamos vlida P(n) , ou seja,
2n + 1 n 2 , para todo n 3 . (H.I)
Provaremos validez P(n + 1) , isto .

11
2(n + 1) + 1 ( n + 1) 2 , para todo n 3 . (Tese)
Com efeito: Temos que
2(n + 1) + 1 = 2n + 1 + 2 n 2 + 2 . Aceitando o fato de que

2 2n + 1 , logo
2( n + 1) + 1 n 2 + 2 n 2 + 2n + 1 = ( n = 1) 2 .

Portanto a sentena P(n) valida para todo n 3 .


b) P(n) : 2n 2 > (n + 1) 2 , para todo n 3 .
P(3) : 2.3 2 > (3 + 1) 2 18 > 16 , verdade.
Suponhamos vlida P(n) , ou seja,
2n 2 > ( n + 1) 2 , para todo n 3 . (H.I)
Provaremos validez P(n + 1) , isto .
2(n + 1) 2 > (n + 2) 2 , para todo n 3 . (Tese)
Com efeito: Temos que
2( n + 1) 2 = 2(n 2 + 2n + 1) = 2n 2 + 4n + 2 . Por hiptese
2 2
2n > (n + 1) , assim
2(n + 1) 2 > ( n + 1) 2 + 4n + 2 = n 2 + 6n + 3 . Aceitando o fato de que

6 n + 3 > 4 n + 4 , temos que


2( n + 1) 2 > n 2 + 6n + 3 > n 2 + 4n + 4 = ( n + 2) 2 .

Portanto a sentena P(n) valida para todo n 3 .

Teorema 1.3 (Princpio da Boa Ordem). Todo subconjunto no


vazio X N possui um menor elemento, isto , existe a X ,
tal que a x x X .

Demonstrao: Segue-se do Princpio da induo matemtica


(Vide, por exemplo, LIMA, E. L. Anlise Real, Vol. 1 .).
C.Q.D.
Demonstra-se tambm o Princpio da induo matemtica
atravs do Princpio da Boa Ordem.

12
EXERCCIOS

1. 13 + 23 + 33 + ... + n 3 = (n 2/4).(n +1)2, n 1

2. 1 + 4 + 7 + ... + (3 n -2) = (n /2).(3 n -1), n 1

3. 13 + 33 + 53 + ... + (2 n -1)3 = n 2(2 n 2-1), n 1

4. 1.1! + 2.2! + 3.3! + ... + n. n! = (n + 1)! - 1, n 1

5. 2n > n 2, n > 4;

6. 2n > n 3, n 10;

7. n! > 3n, n 7.

8. 1 2 +3 2 +3 4 +3+4 5 +... +
n(n 1)( n 2)
nn( +n1)( +
n 2)( + 3)
= , n 1.
4

9. 11 3 + 3+15 ++ 517 ...+ (2n=+ 1)(2 n n 1.


2n 1 ,
1
n 1)

10. Se m n e n m , prove que m = n .

11. Seja A = {x N | n < x < n + 1} com n N . Prove que A


vazio.

13
14
SUMRIO

UNIDADE 2: Conjunto dos nmeros inteiros


2.1 Introduo
2.2 Operaes: Adio, Subtrao e Multiplicao
2.3 Relao de Ordem

2.4 Valor Absoluto ou Mdulo

2.5 Princpio do menor inteiro

2.6 Princpio da Induo matemtica em Z

2.7 Mltiplos e Divisores.

2.8 Mximo divisor Comum

2.9 Nmeros Primos

2.10 Mnimo mltiplo comum

15
2 CONJUNTO DOS NMEROS INTEIROS

2.1 Introduo
Saiba mais em:
1) www.brasi
lescola.co
Definimos o conjunto dos nmeros inteiros como a reunio do
conjunto dos nmeros naturais, o conjunto dos opostos dos
m/matema
tica/nume nmeros naturais e o zero, cujo smbolo 0 . Este conjunto
ros- denotado pela letra Z (Zahlen=nmero em alemo). Este
inteiros.ht conjunto definido por:
m
2) www.testo
nline.com. Z = {0,1,2,3,4, , n, } = { ,4,3,2,1,0,+1,+2., +3,+4, }
br/curprim
os.htm Inteiros podem ser adicionados ou subtrados, multiplicados e
comparados. A principal razo para a existncia dos nmeros
negativos que tornou possvel resolver todas as equaes da
forma:a + x = b para a incgnita x; nos nmeros naturais
apenas algumas destas equaes eram solveis.

Como foi definido o conjunto dos nmeros inteiros, bvio que


N Z . A construo lgico formal dos nmeros inteiros feita
no apndice I.

2.2 Adio e Multiplicao


No conjunto dos nmeros inteiros esto definidas as operaes
adio e multiplicao as quais gozam das seguintes
propriedades que sero aceitas como verdades (axiomas).
Dados quaisquer a, b, c Z , temos:
1. Adio
a) a + (b + c) = (a + b) + c (associativa)
b) a + b = b + a (comutativa)
c) a + 0 = a ( 0 elemento neutro da adio )
d) a + (a) = 0 ( a elemento simtrico da adio)
2. Multlipicao
a) a(bc) = (ab)c (associativa)
b) ab = ba (comutativa)
c) a1 = a ( 1 elemento neutro da adio )

16
d) ab = 0 a = 0 ou b = 0 (lei do anulamento do produto)
e) ab = 1 a = 1 e b = 1
f) a(b + c) = ab + ac (a multiplicao distributiva em
relao adio)
O conjunto que satisfaz as propriedades acima citada
chamado de anel de integridade. Portanto o conjunto dos
nmeros inteiros munidos da operao soma e
multiplicao um anel de integridade.
Exemplo: Mostre que no existe a Z tal que a 2 a = 1 . De
fato, de a 2 a = 1 a(a 1) = 1 , por e) temos que a = 1 e
a 1 = 1 , das duas equaes conclui-se no pode existir
aZ .

1.4. Relao de Ordem em Z


A relao de ordem dos inteiros segue de maneira similar ao
do conjunto dos nmeros naturais.

Definio: : Dados n, m Z dizemos que m menor do que n


(e escreve-se
m < n ) se existe r N tal que n = m + r .
Exemplo: 3 < 10 , pois 10 = 3 + 13 e 7 < 2 , pois
2 = 7 + 5
A relao de ordem m < n goza das seguintes propriedades:
a) Transitividade: Se m < n e n < p ento m < p .
b) Tricotomia: Dados n, m N , s pode ocorrer uma, e somente
uma das alternativas: m = n , m < n ou n < m .
c) Monotonicidade: Se m < n ento, para todo p N , tem-se
m+ p< n+ e mp < np .
Demonstraremos a validez das trs propriedades. Como j
foram provados os itens a) e b) na unidade anterior, faremos
apenas a demonstrao do item c).

17
Se m < n , existe r N tal que n = m + r , assim para todo
p N , tem-se n + p = m + p + r e np = mp + rp o que implica em
m+ p<n+ p e mp < np . C.Q.D.
Podemos tambm trabalhar com seguinte relao de ordem:
Dados n, m Z dizemos que m menor ou igual do que n (e
escreve-se: m n ) se existe r N {0} tal que n = m + r .
Com essa relao de ordem fcil verificar as seguintes
propriedades
a) Reflexiva: a a a Z .
b) Anti-simtrica: Se m n e n m ento m = n .
c) Transitividade: Se m n e n p ento m p .
Com relao < valem as seguintes regras de sinais:
i) Se 0<n e 0<m ento 0 < mn .
ii) Se 0<n e m < 0 ento mn < 0 .
iii) Se n < 0 e m < 0 ento 0 < mn .
Isto verdade devido o fato de que o produto de dois naturais
ainda ser um nmero natural .

2.4 Valor absoluto ou mdulo


Definio: Para todo a Z , o valor absoluto ou mdulo de a
(notao: a ) definido por:
a = a se a 0 e a = a se a < 0 .

Exemplos: 4 =4 , pois 4 0 ; 1 = ( 1) = 1 , pois 1 < 0 .


Proposio 2.1 Seja a, b Z , ento vale as seguintes
propriedades:
a) a a a ;
b) ab = a b ;
c) a + b a + b .

18
Demonstrao: a) Se a 0 a = a a a a a , e
a < 0 a = a a a a a . Ento vale sempre que

a a a .

b) Se a, b 0 ab 0 ab = ab = a b ; se a 0 e b < 0 , temos
que ab 0 ab = ab = a (b ) = a b ; caso anlogo para a < 0
e b 0 . Agora se a < 0 e b < 0 , temos que
ab > 0 ab = ab = ( a )( b) = a b . Portanto vale sempre que

ab = a b ;

c) Por a) temos que a a a e b b b , somando as


duas desigualdades temos
( a + b ) a + b a + b , com isto

a + b a + b e ( a + b) a + b .

Se a + b 0 a + b = a + b a + b . Agora Se

a + b < 0 a + b = ( a + b) a + b . Portanto, em ambos os


casos obtemos que a + b a + b .
Exemplo: 1) Resolva a equao a + 1 = 2 .
Soluo: Da definio, temos que a + 1 = 2 a = 2 1 a = 1
ou (a + 1) = 2 a + 1 = 2 a = 2 1 a = 3 . Portanto o
conjunto soluo dado por S = {1,3}.
2) Resolva a desigualdade a 1 < 2 .
Soluo: Da definio, temos que a 1 < 2 a < 2 + 1 a < 3
ou (a 1) < 2 a 1 > 2 a > 2 + 1 a > 1 . Portanto o

conjunto soluo dado por S = {a Z | 1 < a < 3}.


3) Resolva a desigualdade a + 3 5 .
Soluo: Da definio, temos que
a + 3 5 a 5 3 a 2 a 2 ou
(a + 3) 5 a 3 5 a 5 + 3 a 8 . Portanto o conjunto
soluo dado por S = {a Z | a 2 ou a 8}.

19
4) Prove que a b a + b .
Soluo: a b = a + ( b) a + b = a + 1 b = a + b .

2.5 Princpio do menor inteiro


Definio: Um subconjunto A no vazio de Z dito limitado

inferiormente de existe a Z tal que a x , x A .


Exemplo: A = {2,1,0,1,2,3K} , neste caso podemos ter
a = K,4,3,2.
Axioma (Princpio do menor inteiro): Se A subconjunto no
vazio de Z limitado inferiormente, ento existe m0 A tal que
m 0 x , x A .

fcil verificar que m 0 nico, que chamado de mnimo.


No exemplo anterior, temos que m0 = 2

2.6 Princpio de Induo em Z


Anunciaremos dois princpio de induo, cuja as
demonstraes so relativamente fcil de provar, partindo do
pressuposto (axioma) acima.

Teorema 2.1 (Primeiro princpio de induo). Seja a P(n)


sentena aberta sobre n a com n Z . Seja a Z e suponha
que:
i) P(a) verdadeira, e
ii) Se a validez de P(n) implicar na validez de P(n + 1) ,
para n a
Ento P(n) vlida para todo nmero inteiro n a .

Demonstrao: A demonstrao similar do Teorema que


anunciaremos a seguir.

Teorema 2.2 (Prova por induo matemtica). Seja a P(n)


sentena aberta sobre Z . Seja a Z e suponha que:

20
i) P(a) verdadeira, e
ii) Dado r > a , se P(n) verdadeira para todo k tal
que a k < r , ento P(r ) verdadeira.

Demonstrao: Considere o seguinte conjunto


A = {n Z a n e P(n) falsa }.
Mostraremos que A vazio. Suponha que A no seja vazio,
como A limitado inferiormente, ento existe m0 A tal que
m0 x , x A . Por i) m0 a , e sendo m 0 o mnimo de A ,

ento P(n) verdadeira para todo n tal que a n < m0 . Assim


por ii) podemos concluir que P (m0 ) verdadeira. Absurdo,
portanto vazio. C.Q.D.

Exemplo:
P( n) : n + 1 2 n , para todo n 0 .

P(0) : 0 + 1 2 0 1 1 , verdade.
Suponhamos vlida P(n) , ou seja
n + 1 2 n , para todo n 0 . (H.I)
Provaremos validez P(n + 1) , isto
( n + 1) + 1 2 n +1 , para todo n 0 . (Tese)
Com efeito: Temos que
(n + 1) + 1 2 n + 1 . Aceitando o fato de que 0 n , temos

(n + 1) + 1 2 n + 1 + n 2 n + 2 n = 2 n +1.

Portanto a sentena P(n) valida para todo n 0 .

2.7 Mltiplos e Divisores

Definio: Dado a Z , denotaremos por M (a ) o conjunto dos


mltiplos de a e definido por M (a) = {0,a,2a,3a,K} . Desde

21
modo dizemos que m mltiplo de a se existe k Z tal que
m = ka .
Exemplo: M (2) = {0,2,4,6,K} e M (5) = {0,5,10,15,K} .
Podemos verificar que M (2) M (5) = {0,10,20,K} .
Proposio 2.2 Dado a Z , ento o conjunto M (a) fechado
para as operaes soma e produto, isto , dados m1 , m 2 M ( a )
ento m1 + m 2 M ( a ) e m1 m 2 M (a ) .

Demonstrao: Dados m1 , m 2 M ( a ) existem k1 , k 2 Z tais


que
m1 = k1 a e m 2 = k 2 a , da m1 + m 2 = ( k1 + k 2 ) a e m1 m 2 = ( k1 k 2 )a .
Portanto
m1 + m 2 M ( a ) e m1 m 2 M ( a ) . C.Q.D.

Definio: Dados a, b Z , dizemos que b divide a ou b divisor


a e que a divisvel por b se existe k Z tal que a = kb .

Notao b | a .
Exemplo: 1) 2 divide 10 , pois 10 = (5)2 ,
2) 2 divide 6, pois 6 = (3)(2)
3) 4 divide 6 , pois no existe k Z tal que 6 = k4 .

Dado a Z , denotaremos por D(a ) o conjunto dos divisores


de.
Exemplo: D(2) = {1,2} e D(6) = {1,2,3} . fcil ver que
D(2) D(6) = {1,2} .

Proposio 2.3. Prove as seguintes afirmaes:


i) a | a a Z diferente de zero;
ii) Se a | b e b | a tal que a, b N ento a = b ;
iii) Se a | b e b | c ento a | c ;
iv) Se a | b e a | c ento a | bx + cy x, y Z .

22
Demonstrao: i) a | a pois a = 1.a .
ii) Se a | b e b | a tal que a, b N existem k1 , k 2 N tais que
b = k1 a e a = k 2 b , da b = ( k1 k 2 )b donde 1 = k1 k 2 k1 = k 2 = 1 .
Portanto
a =b.

iii) Se a | b e b | c ento a | c existem k1 , k 2 Z tais que


b = k1 a e c = k 2 b , da c = ( k1 k 2 ) a . Portanto a | c .
v) Se a | b e a | c ento existem k1 , k 2 Z tais que
b = k1 a e c = k 2 a , da x, y Z temos que bx = k1 xa e
cy = k 2 ya donde bx + cy = ( k1 x + k 2 y ) a Portanto a | bx + cy .
C.Q.D.

Exemplo: Prove que 2 | 3 n + 1 para todo n 0 .


Soluo: P(0) : 2 | 30 + 1 = 1 + 1 = 2 vlida. Suponha P(n) :
2 | 3 n + 1 seja vlida. Provaremos que P(n + 1) : 2 | 3 n+1 + 1
verdadeira. De fato, 3 n +1 + 1 = 3 n.31 + 1 = 33 n + 1 = 2.3 n + (3 n + 1) .
Ora, como 2 divide a primeira parcela da ltima igualdade e 2
divide a segunda parcela da ltima igualdade por hiptese de
induo, logo 2 | 3 n+1 + 1 .

Teorema 2.3 (Algoritmo da Diviso ou de Euclides). Dados a


a Z e b N . Ento existem nicos q, r Z tais que
a = qb + r com 0 r < b.

Demonstrao: Considere o seguinte conjunto


A = {kb | a < kb e k Z } .

(Existncia:) bvio que A limitado inferiormente. Resta-

nos mostrar que no vazio para podermos aplicar o


Princpio do menor inteiro. De fato, se a 0 basta tomar k = 1
, da b.1 > 0 a b A . Se a > 0 e como b > 0 temos
(a + 1)(b 1) 0 (a + 1)b (a + 1) 0 (a + 1)b a + 1 > a , assim

(a + 1)b A . Logo em ambos os casos A no vazio, e como A

limitado inferiormente, ento pelo Princpio do menor inteiro,


existe q Z tal que qb a < (q + 1)b ,onde (q + 1)b elemento

23
minimal de A . Agora pela relao de ordem em Z existe r tal
que a = qb + r com 0 r <b.

(Unicidade:) Suponha que existam q1 , q 2 , r1 , r2 Z com q1 q 2


e r1 r2 tais que
a = q1b + r1 com 0 r 1 < b.

a = q b+r com 0 r < b.


2 2 2

Subtraindo as duas equaes acima temos que


0 = ( q1 q 2 )b + r1 r2 .

Podemos supor sem perda de generalidade que r2 > r1 , assim


temos que
r2 r1 = ( q1 q 2 )b q1 > q 2 , assim r2 = ( q1 q 2 )b + r1 .

Sendo r1 0 e q1 q 2 1 , da r2 b que um absurdo. Ento


r1 = r2 e, consequentemente q1 = q 2 . C.Q.D.
Os nmeros r e q so chamados de resto e quociente,
respectivamente. Quando r = 0 , temos que b divide a .

Exemplos
a) a = 35 e b = 6 . Neste caso 35 = 5.6 + 5 , onde q =5 e
r = 5.
b) a = 7 e b = 2 . Neste caso 7 = (4).2 + 1 , onde
q = 4 e r = 1 .
c) a = 27 e b = 9 . Neste caso 27 = 3.9 + 0 , onde q =3 e
r = 0.
Neste ltimo exemplo, temos b divide a .
Observao: Para caso em que b = 2 o algoritmo de Euclides
nos garante que podemos decompor o conjunto Z na unio de

24
dois conjuntos conforme a figura abaixo

2k

2k + 1

onde os elementos da forma 2k ; k Z so chamados de


nmeros pares e da forma 2k + 1; k Z so chamados de
nmeros mpares.
Exemplos: 1) Mostre que a soma e o produto de pares ainda
par.
Soluo: Sejam a, b Z nmeros pares ento existem da forma
k1 ; k 2 Z tais que a = 2k1 e b = 2k 2 , assim
a + b = 2 k1 + 2 k 2 = 2( k1 + k 2 ) e ab = 2k1 2k 2 = 2( k1 2k 2 ) .
Portanto, conclui-se que soma e produto de pares ainda so
pares
2) Mostre que a 2 + a numero par para todo a Z .
Soluo: Se a = 2k , ento
a 2 + a = a( a + 1) = 2k (2k + 1) = 2[ k ( 2k + 1)] um nmero par.
Agora se a = 2 k +1, ento
a 2 + a = a( a + 1) = ( 2k + 1)( 2k + 1 + 1) = ( 2k + 1)(2k + 2) = 2( 2k + 1)( k + 1)
um nmero par. Portanto em ambos os casos temos um
nmero par.
3) Mostre que a numero par se, somente se a 2 par.

25
Soluo: ( ) Se a = 2k , ento a 2 = 2k 2k = 2(k 2k ) um
nmero par.
( ) Suponha que a no seja par, isto ,
a = 2k + 1 a = ( 2k + 1) 2 = 4k 2 + 4k + 1 = 2( 2k + 2) + 1 , desde
2

modo a 2 mpar, que um absurdo. Portanto a par.


=
Para b 3 o algoritmo de Euclides nos garante que conjunto
Z pode ser escrito como unio de trs conjuntos da forma: 3k ;
3k + 1 e 3k + 2; k Z .

2.8 Mximo divisor comum

Definio: Dados a, b Z no nulos, dizemos que d mximo


divisor comum de a e b se:
i) d > 0 .
ii) d | a e d | b .

iii) Se existe c tal que c | a e c | b ento c | d .


Notao d = mdc(a, b) .
Exemplo: mdc(4,6) = 2 e mdc(3,11) = 1 .
Fatos:
a) Se d e d 1 mximos divisores comuns de a e b ento d = d 1
. De fato, como
d | d 1 e d1 | d , e ambos so positivos ento d = d 1
b) mdc(a, b) = mdc(a, b) = mdc(a,b) = mdc(a,b) . Com efeito,
seja d = mdc(a, b) e d 1 = mdc ( a , b) , e da conclui-se que d | d 1

e d 1 | d , e ambos so positivos ento d = d 1 . Os outros casos


as demonstraes so similares.
De a) mostrou-se a unicidade do mximo divisor comum. O
resultado abaixo garante a existncia.
Proposio 2.4. Para todo a, b Z no nulos existe d mximo
divisor comum de a e b.

26
Demonstrao: Por b) podemos supor sem perda de
generalidade a > 0 e b > 0 . Seja o subconjunto de nmeros
inteiros A = {ax + by | x, y Z } . Para x = a e y = b , temos que
A possui elementos positivos. Seja d o menor elemento
positivo de A , mostraremos que d o mximo divisor comum
de a e b .
i) bvio que d >0.
ii) Como d A , existem x0 , y 0 Z tal que d = ax0 + by 0 .

Aplicando o algoritmo de Euclides para a e d temos


que
a = qd + r com 0 r < d .
Das duas ltimas igualdades obtemos
a = q (ax0 + by0 ) + r r = a(1 qx0 ) + b( y 0 )q

Segue-se que r A {0} , sendo 0r<de do menor


elemento positivo de A . Conclui-se que r = 0 , da
a = qd d | a . De modo anlogo, prova-se que d | b .

iii) Se c | a e c | b , como d = ax 0 + by 0 , ento claro que


c | d . C.Q.D.
Exemplos: 1) Mostre que mdc(a, a + 1) = 1 para todo a 0 e
a 1 .
Soluo: Seja d = mdc(a, a + 1) , ento d | a e
d | a + 1 d | (a + 1) a = 1 d | 1 .
Logo d = 1 .
1) Mostre que mdc(a, b) a para todo a 1 .

Soluo: Seja d = mdc(a, b) , ento d | a , como a 1 , existe


k 1 tal que a = kd . Como k 1 e d > 0 , temos que
d kd = a . Logo mdc(a, b) a .

2.9 Nmeros primos

27
Definio: Um nmero p Z no nulo, chamado de primo
se:
i) p 1 .
ii) Os nicos divisores de p so 1 e p .
Exemplo: 2 primo, pois seus nicos divisores 1 e 2 . Os
divisores 1 e a so chamados divisores triviais. Outros
primos 3,5,7,11,13 e 17 .
Se um nmero a no nmero primo, ele dito composto, ou seja,
existem pelos menos dois divisores no triviais, e neste caso,
podemos escrever a = bc .
Observao: Quando mdc(a, b) = 1 , dizemos que a e b so
primos entre si. Exemplo: 4 e 15 so primos entre si, pois
mdc(4,15) = 1.

Corolrio 2.1. Dois nmeros a e b so primos entre si se, e


somente se existem x , y Z tal que 1 = ax + by .
0 0 0 0

Demonstrao: ( ) Se mdc(a, b) = 1 , segue da demonstrao


da proposio anterior que existem x0 , y 0 Z tal que
1 = ax 0 + by 0 .

( ) Suponha que 1 = ax0 + by 0 . claro que 1 > 0 , 1| a e 1| b .

Agora seja c > 0 tal que c | a e c | b ento c | ax0 + by0 = 1 , ou


seja, mdc(a, b) = 1 .

Corolrio 2.2: Dois nmeros a e b inteiros no nulos, se


a b
mdc(a, b) = d ento mdc( , ) = 1 .
d d
Demonstrao: Se mdc(a, b) = d existem x0 , y 0 Z tal que
a b
d = ax0 + by 0 1 = x0 + y 0 . Segue do corolrio 1 que
d d
a b
mdc( , ) = 1 . C.Q.D.
d d

28
Proposio 2.5 Seja p primo. Prove as seguintes afirmaes:
a) Se p | ab ento p | a , ou p | b ;
b) Se p | a1 a 2 La n ento p divide algum dos ai .

Demonstrao: a) Se p divide a ., ento os nicos divisores


comuns de p e a so 1 , da mdc( p, a) = 1, o que implica
existem x 0 , y 0 Z tal que 1 = ax0 + py 0 b = abx0 + bpy 0 . Como
p | ab e p | p , ento p | b .
b) Exerccio a cargo do leitor ( Faa por induo sobre n ).
C.Q.D.
Exemplo: 1) Mostre que todo nmero primo da forma 4 k + 1
ou 4 k + 3 .
Soluo: Pelo algoritmo de Euclides, aplicado ao nmero
aZ e b = 4 , temos que a = 4k , a = 4k + 1, a = 4k + 2, ou

a = 4 k + 3. O primeiro e terceiro casos representam nmeros


compostos ( so mltiplo de 2 ). Assim restam apenas as
possibilidades a = 4 k + 1 ou a = 4 k + 3.

2.10 Mnimo mltiplo comum

Definio: Dados a, b Z no nulos, dizemos que m


mnimo mltiplo comum de a e b se:
i) m > 0 .
ii) a | m e b | m .

iii) Se existe c tal que a | c e b | c ento m | c .


Notao m = mmc(a, b) .
Exemplo: mmc(4,6) = 12 e mmc(3,11) = 33 .
Fatos:

29
a) Se m e m1 mnimos mltiplos comuns de a e b ento
m = m1 . De fato, como m | m1 e m1 | m , e ambos so positivos
ento m = m1 .
b) mmc(a, b) = mmc(a, b) = mmc(a,b) = mmc(a,b) . Com efeito,
seja m = mmc(a, b) e m1 = mmc ( a , b ) , e da conclui-se que

m | m1 e m1 | m , e ambos so positivos ento m = m1 . Os outros


casos as demonstraes so similares.
De a) mostrou-se a unicidade do mnimo mltiplo comum. O
resultado abaixo garante a existncia.

Proposio 2.6 Sejam a, b Z no nulos e d = mdc(a, b) ento


ab
m= mnimo mltiplo comum de a e b .
d

Demonstrao: Podemos supor sem perda de generalidade

que a > 0 e b > 0 .


i) bvio que m > 0 .
b ab
ii) Como a = = m , temos que a | m , pois d | a , d | b e
d d
d | ab . Analogamente prova-se que b | m .
iii) Seja m1 tal que a | m1 e b | m1 ento existem r, s N tal que
m1 = ar = bs , com isto

a b a b a b a a
r = s | s . Como mdc( , ) = 1 | s . Assim s = t
d d d d d d d d
ab
para algum t N . Como m1 = bs = t = mt m1 | m . Portanto
d
m mnimo mltiplo comum de a e b . C.Q.D.
Exemplos: 1) Ache os pares de nmeros a > 0 e b > 0 tais
que mdc(a, b) = 5 e
mmc(a, b) = 30 .

30
Soluo: Temos ab = mdc(a, b) mmc(a, b) = 5 30 = 150 . Como
ab = 150 = 2 3 5 5 e mdc(a, b) = 5 , temos que cada nmero
deve ter potncia de 5 , da as possibilidades so
a = 2 3 5 = 30 e b = 5 , ou a = 2 5 = 10 e b = 3 5 = 15 .
2) Se a = 2 5 33 e b = 3 5 . Calcule mdc(a, b) e
2 3

mmc(a, b).
Soluo: Pela definio de mdc(a, b) ele deve ser o maior
divisor comum de a e b , da mdc(a, b) = 3 5 2 = 75 . J o
mdc(a, b) ele ser ele deve ser o menor mltiplo comum de a e

b , da mmc( a, b) = 2 33 5 3 = 6750 .

Proposio 2.7 Seja a Z no nulo e a 1 . Ento mnimo


do conjunto A = {x Z | x > 1e x | a} nmero primo.

Demonstrao: Como a | a e a | a ento um deles pertence


ao conjunto A , e mesmo limitado inferiormente ento existe
um elemento minimal p A . Agora se p no fosse primo ento
existiria um divisor no trivial q > 0 de p tal que 1 < q < p .
Como p | a e q | p q | a , ou seja, q A , e isto um absurdo
pois p A elemento minimal. C.Q.D.

Teorema 2.2. (Teorema Fundamental da Aritmtica) : Dado


aZ , a > 1 . Ento existem r inteiros primos positivos
p1 , p 2 , L , p r de modo que a = p1 p 2 L p r . Alm disso, se

tivermos tambm a = q1 q 2 L q s , onde q j so nmeros primos


positivos, ento r = s , e cada pi igual a um dos q j .
Demonstrao: Usaremos o segundo Princpio de Induo.
Se a = 2 , ento a afirmao verdadeira, pois 2 primo
positivo. Suponhamos o teorema vlido para todo b Z tal que
2b< a. A proposio anterior garante que existe um nmero

31
primo p1 > 0 tal que p1 | a a = a1 p1 . Ento se a1 = 1 ou a1
primo a concluso imediata, do contrario 2 a1 < a , assim
por hiptese de induo temos que a1 = p 2 L p r ( r 2) onde
p i > 0 e primos. Logo a = p1 p 2 L p r .

Provaremos agora a unicidade da decomposio. Se


=
p1 p2 L pr q1 q 2 L q s p1 | q1 q2 L q s p1 | q j para algum j tal
que 1 j s . Suponhamos j = 1, ento p1 | q1 p1 = q1 pois os
mesmos so primos. Cancelando-os na igualdade inicial e
prosseguindo com o raciocnio, chega-se unicidade da
decomposio. C.Q.D

Corolrio 2.3. Dado a Z no nulo e a 1 . Ento existem r


inteiros ( e nicos) primos positivos p1 , p 2 ,L , p r de modo que
a = p1 p 2 L p r .

Demonstrao: Temos que a > 1 , logo pelo Teorema


Fundamental da Aritmtica a = p1 p 2 L p r e portanto
a = p1 p 2 L p r .

Na decomposio a = p1 p 2 L p r conforme o Teorema


Fundamental da Aritmtica no temos a garantia que os fatores
so distintos assim podemos escrever
1 2 s
a = p1 p 2 L ps

onde 1 s r , pi p j sempre que i j e i 1 ( (i = 1,2,L, s) .


Assim , se
1 2 s
b | a b | p1 p 2 L ps
( 0 i i ; i = 1,2, K , s ).
Sendo assim, cada i podem assumir os valores 0,1.2,K , i ,

como temos s fatores, a anlise combinatria nos garante que


nmeros de divisores positivos de a ( denotado por d (a) )
dado por:
d ( a) = ( 1 + 1)( 2 + 1) L ( s + 1).

32
Exemplo: 1) Quantos divisores positivo tem o nmero a = 60 .
Soluo: Do Teorema Fundamental da Aritmtica
a = 60 = 2 2 3 5 . Logo d (60) = (2 + 1)(1 + 1)(1 + 1) = 3 2 2 = 12 ,
ou seja, 12 divisores.

EXERCCIOS

1. Mostre que 32n+7 mltiplo de 8.

2. Mostre que 8 divide 34n-1

3. Demonstrar que a soma dos cubos de trs nmeros


naturais sucessivos divisvel por 9

4. Resolva as equaes:

a) a + 5 = 2a b) a + 5 + a 3 = 10 .

5. Resolva as desigualdades:

a) 2a 6 < a + 3 b) a 2 + a + 3 > 1

6. Prove que a b a c + c b para todo a, b, c Z .


7. Prove que a b a b para todo a, b Z .

8. Mostre que todo nmero primo da forma 6 k + 1 ou


6k + 5 .

9. Na diviso euclidiana de 110 por b o resto 11. Ache


os possveis valores para b e q .

10. Na diviso euclidiana de a por b o quociente 6. Ache


a e b sabendo que a b = 30 .

11. Seja a um nmero inteiro cujo resto da diviso por 8


6. Mostre que a divisvel por 2.

12. Mostre que a soma de mpares par e o produto de


mpares mpar.
13. Mostre que a 2 + b 2 + a + b numero par para todo
a, b Z .

33
14. Mostre que a 3 b 3 mltiplo de 3 se, somente se,
a b mltiplo de 3.

15. Seja a um nmero inteiro, mostre que resto da


diviso de a 2 por 3 0 ou 1.

16. Seja a um nmero inteiro mpar, mostre que resto da


diviso de a 2 por 4 1.

17. Ache os pares de nmeros a > 0 e b > 0 tais que


mdc(a, b) = 6 e mmc(a, b) = 20 .

18. Se a = 2 5 2 7 e b = 2 3 5 . Calcule mdc(a, b) e


3 3

mmc(a, b).

19. Mostre que mdc(a, b) mdc(a, b) para todo a, b Z no


nulos.

20. Se mdc(a, b) = 1 . Prove que mdc(a + b, b) = 1 .

21. Encontre os valores possveis de a de modo que


mdc(a 5,2) = 1 .

22. Se que n 3 1 primo, mostre que n = 2 ou n = 1 .

23. Quantos divisores positivos possui o nmero a = 105 .

24. Calcule de o valor , sabendo que a = 2 5 7 e


d (a) = 40 .

25. Prove d (a) = 2 se, somente se, a primo.

26. Mostre que para todo natural n > 2 pode ser escrito
n = 2 k m onde k 0 e m mpar.

34
35
SUMRIO

UNIDADE 3: Conjunto dos nmeros racionais


3.1 Introduo
3.2. Operaes: Adio e Multiplicao
3.3 Relao de Ordem

3.4 Valor Absoluto ou Mdulo

36
3 C NJUNTO DOS N EROS R CIONAI
Saiba m is em:
1) www.ipb.p
3.1 Introdu t/~cmca/hi
storia.pdf
O c njunto do nmeros racionais, simbolizado pela le ra Q, 2) www.ciul.u
o conjunto do nmeros que pode ser escritos na for a de l.pt/~ferfer
r/CF_novo
a
_5.pdf
uma frao , com a b inteiros quaisqu r e b dif rente de
b
zero:

*
ond Z co junto dos nmeros inteiros no nulos. Os
nmeros a e so cha ados de numerador e denominador,
respectivame te.

Co o todo nmero intei o pode ser escrito na forma p/1, ento


Z m subco junto de .

A c nstruo lgico-for al do conjunto dos meros r cionais


est feita no apndice II.
a
O essencial numa frao o par ordena o (a, b) e a
b

rela o de igualdade
a m
a = bm.
b n

Desse modo, temos ma infini ade de fraes (chamada


classes de equivalncia), que re resentam o mesm nmero
raci nal. Pod mos, ento, escol er um representante dessa
infinidade de f aes, como exem lo aquela que mdc( , b) = 1 .

1 4 n
Exe plo: 1) = = = K= , n Z * onde o
2 8 2
1
representante dessa infi idade de fraes .
2
12
2) Ache uma f ao equivalente cuja soma do n merador
20
com o denominador sej igual a 1 0.
12 3 3
Sol o: Tem s que = = , assim
2 5 5
3n 3 20 60
5 n + 3n = 160 8n = 160 n = 20 . onde = .
5n 5 20 100
37
51
3) Ache uma frao equivalente cuja diferena do
15
numerador com o denominador seja igual a 120.
51 17 17n
Soluo: Temos que = = , assim
15 5 5n
17 n 5n = 120 12 n = 120 n = 10 . Donde

17n = 17 10 = 170 .
5n 5 10 50
n 1
4) Mostre que a frao (n 2) Z irredutvel
n2
irredutvel.
Soluo: Devemos mostrar mdc(n 1, n 2) = 1 . Seja
d = mdc(n 1, n 2) , assim temos que d > 0 , d | n 1 e d | n 2 .
Logo d | (n 1) (n 2) = 1 d = 1.

3.2 Adio e Multiplicao

Definio: Sejam a = m e b = r elementos de Q. Chama-se


n s
soma e multiplicao de a e b e indica-se por a + b e ab
elementos de Q definidos da seguinte forma:
ms + nr mr
a+b = e ab =
ns ns
As operaes adio e multiplicao acima definidas, so
justificadas no Apndice II. Deste modo, nos limitaremos
apenas em citar suas propriedades fundamentais a fim de que
possamos ter uma estruturao inicial do conjunto dos

nmeros racionais.
Dados quaisquer a, b, c Z , temos:

2. Adio
a) a + (b + c) = (a + b) + c (associativa)
b) a + b = b + a (comutativa)

38
c) Existe 0 tal que a + 0 = a ( 0 elemento neutro da
adio)
d) Existe a tal que a + (a) = 0 ( a elemento simtrico
da adio)

2. Multlipicao
e) a(bc) = (ab)c (associativa)
f) ab = ba (comutativa)
g) Existe 1 tal que a1 = a ( 1 elemento neutro do produto)
h) ab = 0 a = 0 ou b = 0 (lei do anulamento do produto)
i) Para todo a 0 existe b tal que ab = 1 e denota-se por
1
b= = a 1
a
j) a(b + c) = ab + ac (a multiplicao distributiva em
relao adio)
O conjunto que satisfaz as propriedades acima citada

chamado de corpo. Portanto o conjunto dos nmeros


racionais munidos da operao soma e multiplicao um
corpo.
1) Mostre que elemento neutro do produto nico.
Soluo: Suponha que exista outro elemento neutro do
produto , isto , Q tal que a = a . Assim temos que
1 . = 1 e 1 . = , da por f) =1 . Portanto existe um nico
elemento neutro do produto.

3.2 Relao de Ordem em Q


m m m
Dado a = n um nmero racional, temos que a = n = n ,
desse modo podemos sempre considerar o denominador como
nmero positivo.
2 2
Por exemplo: a = = .
5 5

39
m
Definio: Dados a, b Q dizemos que a = menor do que
n
r
b= (e escreve-se a < b ) se ms < nr .
s
1 3 2
Exemplo: < , pois 1 4 < 2 3 4 < 6 e < 2 , pois
2 4 3
2 1 < 3 2 2 < 6 .
A relao de ordem a < b goza das seguintes propriedades:
a) Transitividade: Se a < b e b < c ento a < c .
b) Tricotomia: Dados a, b Q s pode ocorrer uma, e somente
uma, das alternativas: a = b , a < b ou b < a .
c) Monotonicidade: Se a < b ento, para todo c Q com c > 0 ,
tem-se a + c < b + c e a.c < bc .

m r t
Demonstrao: Sejam a = ,b = e c = .
n s u
a) De a < b e b < c , temos que ms < nr e ru < ts (*), sendo
n, s, u > 0 , podemos multiplicar a primeira desigualdade por u
e a segunda desigualdade por n em (*), da ums < unr e
nru < nts (**). Assim, pela propriedade transitiva dos nmeros
inteiros ums < nts um < nt a < c. C.Q.D.
b) Exerccio a cargo do leitor.
t
c) De a < b ms < nr , como c = > 0 t > 0 ,da tu > 0 .
u
mt rt
Assim ms(tu) < nr (tu ) (mt )us < (rt )nu < ac < bc.
nu us

Podemos tambm trabalhar com seguinte relao de ordem:


Dados a, b Q , dizemos que a menor ou igual do que b (e
escreve-se a b ) se ms nr.
Com essa relao de ordem fcil verificar as seguintes
propriedades
a) Reflexiva: a a
b) Anti-simtrica: Se a b e b a ento a = b .

40
c) Transitividade: Se a b e b c ento a c .
Na relao < valem as seguintes regras de sinais:
i) Se 0<a e 0<b ento 0 < ab .
ii) Se 0<a e b < 0 ento ab < 0 .
iii) Se a < 0 e b < 0 ento 0 < ab .

m r
Demonstrao: i) Seja a = e b = . Como
0< a e 0<b,
sn
m r mr
temos que 0 < m e 0 < r , como ab = = , segue-se que
n s ns
0 < ab .
ii) e iii) Exerccio a cargo do leitor.

Proposio 3.1 Sejam a, b Q , se a < b , existe c Q tal que


a < c < b.

a+b
Demonstrao: Considere c = , bvio que c Q . Resta
2
provar que a < c < b . De fato, como
a+b
a < b a + a < a + b 2a < a + b a < = c e de modo
2
anlogo, como
a+b
a < b a + b < b + b a + b < b + b a + b < 2b = c < b.
2
C. Q. D.

Corolrio 3.1 O conjunto A = {a Q | a > 0} no possui mnimo.

Demonstrao: De fato, como a > 0 , pela proposio acima


1
temos que a > a > 0 . Da, A no possui mnimo. C.Q.D
2

41
1.4. Valor absoluto ou mdulo
Definio: Para todo a Q , o valor absoluto ou mdulo de a
(notao: a ) definido por:
a = a se a 0 e a = a se a < 0 .

Exemplos: 4 =4 , pois 4 0 ; 1 = ( 1) = 1 , pois 1 < 0 .

Proposio 3.2 Seja a, b Q , ento valem as seguintes


propriedades:
a) a a a ;
b) ab = a b ;
c) a + b a + b .
1
d) Se a 0 , ento a 1 = a .

Demonstrao: a) Se a 0 a = a a a a a , e
a < 0 a = a a a a a . Ento vale sempre que

a a a .

b) Se a, b 0 ab 0 ab = ab = a b ; se a 0 e b < 0 , temos
que ab 0 ab = ab = a ( b) = a b ; caso anlogo para a < 0
e b0 . Agora se a<0 e b<0 , temos que
ab > 0 ab = ab = ( a )( b) = a b . Portanto vale sempre que

ab = a b ;

c) Por a) temos que a a a e b b b , somando as


duas desigualdades temos
( a + b ) a + b a + b , com isto

a + b a + b e ( a + b) a + b

42
e a + b 0 a + b = a + b a + b . Agora se
a + b < 0 a + b = ( a + b) a + b . Portanto em ambos os

casos obtm-se que a + b a + b .


d) Se a 0 , temos que
1
aa. 1 = 1 aa. 1 = 1 = a a 1 = 1 a 1 = a . C.Q.D

Exemplo: 1) Resolva a equao 2a 7 = 2 .


Soluo: Da definio, temos que
9
2a 7 = 2 2a = 2 + 7 a = ou
2
5
(2a 7) = 2 2a 7 = 2 2a = 2 + 7 a = . Portanto o
2
9 5
conjunto soluo dado por S = { , }.
2 2
2
2) Resolva a desigualdade a + < 6.
11

Soluo: Da definio, temos que


2 2 64
a+ <6 a <6 a < ou
11 11 11
2 2 2 68
(a + )<6a+ > 6 a > 6 a > . Portanto o
11 11 11 11
68 64
conjunto soluo dado por S = {a Q | <a< }.
11 11
3) Prove que a b a c + c b .
Soluo: a b = a c + c b a c + c b . A ltima
desigualdade devido desigualdade triangular.

43
EXERCCIOS
1. Se a Q mostre que na Q e a n Q n N .

2. Se soma do numerador com do denominador de uma


m m
frao 30. Ache a frao sabendo que a
n n
mesma equivalente 11 .
4

3. Se diferena do numerador pelo denominador de uma


m m
frao 130. Ache a frao sabendo que a
n n
7
mesma equivalente .
5

4. Se soma do numerador com o dobro do denominador


m m
de uma frao 10. Ache a frao sabendo
n n
1
que a mesma equivalente .
3

a m
5. Se = Z Z * . Prove que:
b n

ab mn
=
b n

a m a+m m
6. Se = Z * Z * . Prove que = .
b n b+n n

a m r a+m+r r
7. Se = = Z * Z * Z * . Prove que = .
b n s b+n+s s

1 + 2 + 3 + L + 1000
8. Qual o valor da frao ? e de
5 + 10 + 15 + L + 5000
2 + 4 + 6 + L + 34
?
3 + 6 + 9 + L + 51

b a a+b
9. Se a, b, c N tais que = = , qual o valor da
ac b c
a
frao ?
b

44
10. Sejam a, b, c Q tais que ac bc e c > 0 . Prove que
ab

11. Seja a Q . Se a > 0 a 1 > 0.

12. Seja a Q . Se 0 < a < 1 1 < a 1 .

13. Seja a, b Q . Se 0 < a < b 0 < b 1 < a 1 .

14. Seja a, b N . Se 0 < a < b. Prove que existe um nico


1a 1
n N tal que < .
n +1 b n

1
15. Resolva as equaes: a 5 = a + e a + 5 + 2a 3 = 1
2
.

16. Resolva as desigualdades:

5
a) 2a 6 a + b) a 2 2 a + 3 > 8
4

17. Prove que a b a c + c b para todo a, b, c Q .


18. Prove que a b a b para todo a, b Q .

19. Se a, b Q , mostre que a 2 + b 2 = 0 se, somente se,


a = b = 0.

n 1
20. Mostre que a frao n Z irredutvel.
2n 1
m
21. Seja uma frao irredutvel. Se r Z , prove que
n
m m + rn
+r = ,
n n
tambm irredutvel.

45
46
SUMRIO

Unidade 4: Conjunto dos nmeros reais


4.1 Introduo
4.2 Operaes: Adio e Multiplicao
4.3 Relao de Ordem

4.4 Valor Absoluto ou Mdulo

4.5 Representao Decimal

47
4 Conjunto dos nmeros reais

4.1 Introduo

Como j visto das unidades anteriores que a construo dos


Saiba mais em: nmeros inteiros foi suprir a necessidades de nmeros
1) www.ime. negativos. J a construo dos nmeros racionais foi suprir a
usp.br/mat necessidades de nmeros fracionrios. Desde modo temos que
/206/texto
s/Reais.pd o conjuntos dos nmeros racionais contm conjuntos dos
f nmeros inteiros e este contm o conjunto dos nmeros
2) www.dme. naturais. Mesmo assim, com construo destes conjuntos
ufcg.edu.b numricos, descobri-se que existem nmeros que no podem
r/sites_pe
ssoais/pro a
fessores/ ser escrito da forma Z Z * . Ao conjunto destes nmeros
Marco/De b
dekind.pdf foi denominado de conjuntos dos nmeros irracionais.

A reunio dos nmeros racionais com os irracionais foi


denominado de conjuntos dos nmeros reais. A construo
lgico formal do conjunto dos nmeros reais ser feita no
apndice III.

4.2 Adio e Multiplicao

Definio: Sejam a e b elementos de R . Definem-se as


operaes soma e multiplicao de a e b por a + b e ab .
As operaes adio e multiplicao acima definidas, so
justificadas no Apndice III. Deste modo, nos limitaremos
apenas em citar suas propriedades fundamentais a fim de que
possamos ter uma estruturao inicial do conjunto dos
nmeros racionais.
Dados quaisquer a, b, c R , temos:

3. Adio
k) a + (b + c) = (a + b) + c (associativa)
l) a + b = b + a (comutativa)
m) Existe 0 tal que a + 0 = a ( 0 elemento neutro da
adio)
n) Existe a tal que a + (a) = 0 ( a elemento simtrico
da adio)

48
2. Multlipicao
a) a(bc) = (ab)c (associativa)
b) ab = ba (comutativa)
c) Existe 1 tal que a1 = a ( 1 elemento neutro do produto)
d) ab = 0 a = 0 ou b = 0 (lei do anulamento do produto)
e) Para todo a 0 existe b tal que ab = 1 e denota-se por
1
b= = a 1
a
f) a(b + c) = ab + ac (a multiplicao distributiva em
relao adio)

O conjunto que satisfaz as propriedades acima citadas


chamado de corpo. Portanto o conjunto dos nmeros reais
munidos da operao soma e multiplicao um corpo.
Exemplos: 1) Prove que o elemento neutro da adio nico.
Soluo: Suponha que exista 01 outro elemento neutro da

adio, assim:
01 + 0 = 0 e 01 + 0 = 01 , logo 0 = 01 .

2) Prove que (1)(1) = 1 .


Soluo: Temos que (1) + 1 = 0 , multiplicado por (1) ,
obtemos que (1)(1) + 1(1) = 0(1) (1)(1) + (1) = 0,

somando-se o simtrico aditivo de (1) , que 1 , na ltima


equao, ficaremos com
(1)(1) + (1) + 1 = 0 + 1 (1)(1) + 0 = 1 (1)(1) = 1.

3) Prove que ( x)( y) = xy .


Soluo: Temos que ( x) = (1) x e ( y) = (1) y assim:
( x)( y) = (1) x(1) y = (1)(1) xy = xy.

Da construo dos conjuntos numricos temos a seguinte


ordem de incluso:
N Z Q R.
Pela construo lgico-formal dos conjuntos acima citados,
tem-se que a incluso Q R. prpria, isto , existem nmeros

49
reais que no so racionais. O conjunto desses nmeros
chamado de conjunto dos nmeros irracionais e denotado por
I = R. Q. Por exemplo, o nmero 2 irracional. De fato, se
a
2 fosse racional, existiriam a, b Q tal que = 2 , o qual
b
a
podemos supor mdc(a, b) = 1 . Assim ( ) 2 = ( 2 ) 2 a 2 = 2b 2 ,
b
da temos que a par, e pelo exerccio do captulo II, conclui-
2

se que a par, ou seja, a = 2k . Desde modo, temos que


( 2k ) 2 = a 2 = 2b 2 4k 2 = 2b 2 b 2 = 2k 2 , de modo anlogo
conclui-se que b par, que um absurdo, pois mdc(a, b) = 1 .
Portanto 2 irracional. Temos tambm na histria da
Matemtica alguns nmeros irracionais famosos, como por
exemplo: e e . Mais detalhes ver:
1) www.insite.com.br/rodrigo/misc/math/pi.html;
2) www.obm.org.br/eureka/artigos/irracionais.doc.

4.3 Relao de Ordem em R


Vamos considerar o subconjunto dos nmeros reais
R+* = {a R | a > 0}
como sendo o subconjunto dos nmeros reais positivos.
O subconjunto R +* satisfaz seguintes propriedades:
i) A soma e o produto de nmeros reais positivos so positivos:
Ou seja, se a, b R+* a + b R+* e a.b R+* .
ii) Dado a R , s pode ocorrer exatamente uma seguintes
* *

alternativas: ou a = 0 , ou a R+ ou a R+ .
Um corpo que possui um subconjunto que cumpre as duas
propriedades acima, diz-se ordenado. Neste caso o conjunto
dos nmeros reais ordenado.

50
Se indicarmos como R* = {a R | a < 0} como o conjunto
nmeros negativos, ento temos que a R* a < 0 . Logo, por
ii), a R+* . Deste modo, temos que R = R+* R* {0} .
Exemplo: 1) Prove que para todo a R implica que a 2 0.
Soluo: Por ii), temos que a = 0 , ou a R+* ou a R+* . Se

a = 0 a 2 = 0.0 = 0 0 , se a R+* a 2 = a.a R+* a 2 > 0 0 ,


agora se a R+* a 2 = (1)a(1).a R+* a 2 > 0 0. Portanto
nos trs casos, conclui-se que a 2 0.
a+b
2) Prove que para todo a, b R+* {0} implica que ab .
2
Alm disso, a igualdade ocorre se, e somente se, a = b.
Soluo: Por i), temos que
a+b
( a b ) 2 0 ( a ) 2 2 a b + ( b ) 2 0 a + b 2 ab ab.
2
a+a
Alm disso, se a = b = a = a.a . Agora se ocorre a
2

igualdade,
( a b ) 2 ento,
= 0 daa demonstrao,
= b a = b. temos que

1
3) Prove que para todo a R+* implica que a + 2 . Alm
a
disso, a igualdade ocorre se, e somente se, a = 1.
1 1
a+ a+
Soluo: Por 2), a a1 a 1 a + 1 2 . Alm
2 a 2 a
1
disso, por 2), a = a = 1 a = 1,
2
sendo que
a
a R+* a = 1.

Definio: Dados a, b R dizemos que a menor do que b (e


escreve-se a < b ) se b a > 0 .
A relao de ordem a < b goza das seguintes propriedades:
a) Transitividade: Se a < b e b < c ento a < c .
b) Tricotomia: Dados a, b R , s pode ocorrer uma, e somente
uma, das alternativas: a = b , a < b ou b < a .

51
c) Monotonicidade: Se a < b ento, para todo c R , tem-se
c.1) a + c < b + c ;
c.2) a.c < bc se c > 0 .
c.3) a.c > bc se c < 0 .
Demonstrao: a) De a < b e b < c , temos que b a > 0 e
c b > 0 , da (c b) + (b a) > 0 c a > 0 a < c.

b) Dados a, b R b a R , pela propriedade ii) s pode


ocorrer uma, e somente uma, das alternativas: ou b a = 0 ,ou
ba > 0 ou b a < 0 . Da primeira opo, temos que a = b , da
segunda opo b > a e da terceira opo obtemos que b < a .
c.1) De a<b ba >0 , assim
(b + c) (a + c) > 0 b + c > a + c .

c.2) De a < b b a > 0 , como c > 0 , temos que


(b a)c > 0 bc ac > 0 bc > ac.

c.3) Exerccio a cargo do leitor.

Assim, dados a, b Q , dizemos que a menor ou igual do que


b (e escreve-se a b ) se b a 0, ou seja, b a R+* {0}.
fcil verificar as seguintes propriedades:
a) Reflexiva: a a
b) Anti-simtrica: Se a b e b a ento a = b .
c) Transitividade: Se a b e b c ento a c .
Na relao < valem tambm as seguintes regras de sinais:
i) Se 0<a e 0<b ento 0 < ab .
ii) Se 0<a e b < 0 ento ab < 0 .
iii) Se a < 0 e b < 0 ento 0 < ab .
A desigualdade abaixo de grande importncia na Matemtica.
Exemplo: (Desigualdade de Bernoulli). Dado a R tal que
1 a ento para todo n N , tem-se (1 + a) n 1 + na.
Soluo: Provaremos por induo sobre n N . P(1) , vlida,
pois (1 + a) 1 + a . Suponhamos vlida P(n) , isto ,
(1 + a) n 1 + na. Provaremos que P(n + 1) , isto ,

52
(1 + a ) n +1 1 + ( n + 1) a. Com efeito, como 1 a 1 + a 0,
assim multiplicando a hiptese de induo por 1 + a temos que
(1 + a)(1 + a ) n (1 + a)(1 + na) (1 + a ) n+1 1 + ( n + 1) a + na 2 ,
sendo na 2 0 , segue-se que
n +1
(1 + a) 1 + (n + 1) a + na 1 + (n + 1)a.
2

4.4 Valor absoluto ou mdulo


Definio: Para todo a R , o valor absoluto ou mdulo de a
(notao: a ) definido por:
a = a se a 0 e a = a se a < 0 .

Exemplos: 7 = 7 , pois 7 0 ; = ( ) = , pois

< 0.

Proposio 4.1 Seja a, b Q , ento valem as seguintes

propriedades:
a) a a a ;
b) ab = a b ;
c) a + b a + b .
1
d) Se a 0 , ento a 1 = a .

e) a b a b .

Demonstrao: a) Se a 0 a = a a a a a , e
a < 0 a = a a a a a . Ento vale sempre que

a a a .

b) Se a, b 0 ab 0 ab = ab = a b ; se a 0 e b < 0 , temos
que ab 0 ab = ab = a (b ) = a b ; caso anlogo para a < 0
e b0 . Agora se a<0 e b<0 , temos que

53
ab > 0 ab = ab = ( a )( b) = a b . Portanto vale sempre que

ab = a b ;

c) Por a) temos que a a a e b b b , somando as


duas desigualdades temos
( a + b ) a + b a + b , com isto

a + b a + b e ( a + b) a + b ;

e a + b 0 a + b = a + b a + b . Agora se
a + b < 0 a + b = ( a + b) a + b . Portanto, em ambos os

casos obtm-se que a + b a + b .


d) Se a 0 , temos que
1
aa. 1 = 1 aa. 1 = 1 = a a 1 = 1 a 1 = a .

e) Como
a = b + (a b) a = b + ( a b) a a b + b a b a b ,
de modo anlogo
b = a + (b a ) b a b + a b a a b a b a b .
desde modo a b a b a b , assim por a) tem-se que
a b a b . C.Q.D.

Exemplo: 1) Resolva a equao a 7 + a 2 = 5 .


Soluo: Da definio de a 7 , temos que a 7 = a 7 se
a7 e a 7 = ( a 7) se a < 7 . Por outro lado, da definio de
a 2 , temos que a 2 = a 2 se a 2 e a 2 = ( a 2) se

a < 2 . Sendo assim temos trs possibilidades:


i) Se a < 2 . Assim a 7 = ( a 7) e a 2 = ( a 2) , da
a 7 + a 2 = 5 a + 7 a + 2 = 5 2 a + 9 = 5 2 a = 4 a = 2
. Como a soluo no pertence restrio, temos que o
primeiro conjunto soluo S 1 = .
ii) Se 2 a < 7. Assim
a 7 + a 2 = 5 ( a 7 ) + a 2 = 5 a + 7 + a 2 = 5 5 = 5.
Portanto o segundo conjunto soluo S 2 = {a R | 2 a < 7}.

54
iii) Se a 7. Assim
a 7 + a 2 = 5 ( a 7 ) + a 2 = 5 a 7 + a 2 = 5 2 a = 14 a = 7.
Portanto o terceiro conjunto soluo S 3 = {7}. Sendo a
soluo geral a unio dos trs conjuntos solues, conclui-se
que a soluo geral dada por S = {a R | 2 a 7}.

2) Resolva a desigualdade a + 2 + a 3 < 6 .


Soluo: Da definio de a + 2 , temos a + 2 se a 2 e
(a + 2) se a < 2 . Por outro lado, da definio de a 3 ,
temos a 3 se a 3 e (a 3) se a < 3 . Sendo assim temos
trs possibilidades:
i) Se a < 2 . Assim a + 2 = (a + 2) e a 3 = (a 3) , da
5
a + 2 + a 3 < 6 a 2 a + 3 < 6 2a + 1 < 6 2a < 5 a >
2
. Portanto, o primeiro conjunto soluo

S1 = {a R | 5 < a < 2}.


2
ii) Se 2 a < 3. Assim a + 2 = ( a + 2) e a 3 = ( a 3) , da
a + 2 + a 3 < 6 a + 2 a + 3 < 6 5 < 6. Portanto o segundo

conjunto soluo S 2 = {a R | 2 a < 3}.


iii) Se a 3 . Assim a + 2 = ( a + 2) e a 3 = ( a 3) , da
7
a + 2 + a 3 < 6 a + 2 + a 3 < 6 2a < 7 a < . Portanto o
2
7
terceiro conjunto soluo S 3 = {a R | 3 a < }. Sendo a
2

soluo geral a unio dos trs conjuntos solues, conclui-se


5 7
que a soluo geral dada por S = {a R | a < }.
2 2

4.5 Representao Decimal


Com o objetivo de efetuar clculos de forma mais eficiente com
nmeros reais usaremos sua representao decimal.
Trabalharemos apenas com os nmeros positivos, pois para
55
trabalhamos com os nmeros negativos basta acrescentar o
sinal de menos.
Definio: A representao decimal de um nmero real
dada por
= a0 , a1a 2 a3 L a n L ,
onde a0 um nmero inteiro, e a1 , a 2 , a3 ,L a n L, so dgitos,
isto , ai {0,1,2,3, L ,9}, com i = 1,2,3L, n,L.
Exemplo: 1) 13,123 , 2) 0,121212L e 3) = 3.14159265 L .
Observamos que no exemplo 1) temos uma terminao finita.
J nos exemplos 2) e 3) no temos terminao finita, mas h
uma diferenciao entre ambos, pois no exemplo 2) existe uma
repetio (periodicidade) dos dgitos.
Podemos supor sem perda generalidade que a0 um nmero
inteiro no-negativo. A representao decimal de como
soma de fraes da seguinte forma
a1 a2 a3 an
= a0 + + + +L L.
10 10 2
10 3
10 n
A ltima reticncia nos diz que temos uma soma de infinitas

parcelas. Desta forma podemos considerar aproximaes de


por nmeros racionais da seguinte forma:
a1 a2 a3 an
n = a0 + + + +L . (n = 0,1,2,3L.) .
10 10 2 10 3 10 n
a1
Observe que 0 = a0 , 1 = a 0 + ,
10
a1 a2
2 = a0 + + e de modo geral
10 10 2
a1 a2 a3 an
n = a0 + + + +L n
. (n = 0,1,2,3L.) .
10 10 2 10 3 10
Desde modo, obtm-se uma seqncia no-decrescente de

nmero racionais ( n ) tal que


0 1 2 L n L .

Da definio da soma de uma progresso geomtrica ( P.G.)


(mais detalhes ver apndice IV), obtm-se a seguinte
estimativa 0 n 10 n . Assim atravs do clculo do limite
(mais detalhes ver referncia 5.) temos que limite da

56
seqncia ( n ) . Conclui-se que todo nmero real limite de
seqncia de nmeros racionais.
Analisaremos alguns casos especiais:
1) = a 0 , a1 a 2 a3 L a n 000L, ento
a1 a2 a3 an
n = a0 + + + +L nmero racional.
10 10 2 10 3 10 n
1 3 7
Exemplo: 9,137 = 9 + + + .
10 10 2 10 3
Para estudarmos os prximos dois casos vamos considerar
a 0 = 0.

2) = 0, a1 a 2 a3 L a n a1 a 2 a3 L a n a1 a 2 a3 L a n L. Esta expresso
decimal denominada de dzima peridica simples , de perodo
a1 a 2 a3 L a n . Exemplo: = 0,999999999L , = 0,171717L e

= 0,123123123L.

Atravs da soma dos termos da P.G. infinita prova-se possui


representao na forma de frao denominada de frao
geratriz.

Proposio 4.2 A frao geratriz de uma dzima peridica


simples uma frao cujo numerador o perodo e o
denominador nmero formado por tantos noves quantos so
os algarismos do perodo.

Demonstrao: Como j sabemos da existncia da frao


geratriz, usaremos um mtodo prtico para sua obteno.
Temos que
= 0, a1 a 2 a3 L a n a1 a 2 a3 L a n a1 a 2 a3 L a n L.

Multiplicando-se a expresso acima por 10 n. Logo


10 n = a1a 2 a3 L a n , a1 a 2 a3 L an a1 a2 a3 L an a1 a2 a3 L a n L.

Assim

57
a1 a 2 a 3 L a n a1 a 2 a 3 L a n
(10 n 1) = a1 a 2 a 3 L a n = = .
10 n 1 999 L 9
Sendo que no denominado da ltima igualdade aparecem o
dgito 9, n (quantidade de algarismos do perodo) vezes.
Calcule as fraes geratrizes dos seguintes exemplos:
a) = 0,999999999L . Pelo mtodo prtico temos que
10 = 9,999999999L . Logo
9 9
(10 1) = 9 = = = 1.
10 1 9

b) = 0,171717L . Do mesmo modo, 10 2 = 17,171717L . Logo


17 17
(10 2 1) = 17 = = .
10 2 1 99

c) = 0,123123123L. De modo anlogo, 10 3 = 123,123123L .


Logo
123 123
(10 3 1) = 123 = = .
10 3 1 999

claro que poderamos aplicar o resultado (proposio acima)


direto para obter a frao geratriz de cada exemplo acima.

3) = 0, a1 a 2 a3 L a m b1b2 b3 L bn b1b2 b3 L bn L. Esta expresso


decimal denominada de dzima peridica composta, de
perodo b1b2 b3 L bn e parte no peridica a1 a 2 a3 L a m .
Exemplo: = 0,1222222L , = 0,10171717L e
= 0,56456456456L.

Atravs da soma dos termos da P.G. infinita prova-se que


possui representao na forma de frao denominada de
frao geratriz.

Proposio 4.3 A frao geratriz de uma dzima peridica


composta uma frao cujo numerador a parte no-peridica
seguido de um perodo menos a parte no-peridica e o
denominador um nmero formado por tantos noves quantos

58
so os algarismos do perodo, seguidos de tantos zeros
quantos so os algarismos da parte no-peridica.

Demonstrao: Do mesmo modo da proposio anterior


usaremos um mtodo prtico para obteno da frao geratriz.
Temos que
= 0, a1a2 a3 L amb1b2b3 L bnb1b2b3 L bn L

Multiplicando-se a expresso acima por 10m. Logo


10 m = a1 a2 a3 L a m , b1b2 b3 Lbn b1b2 b3 Lbn b1b2 b3 Lbn L.

Agora multiplicando a expresso acima por 10 n :


10 m+ n = a1 a2 a3 L am b1b2 b3 Lbn , b1b2 b3 Lbn b1b2 b3 Lbn L.

Agora, subtraindo a ltima equao da penltima, temos que


(10 m+ n 10 m ) = a1 a 2 a3 L am b1b2 b3 Lbn a1 a 2 a3 L a m .

Desde modo
a1 a 2 a 3 L a m b1b2 b3 L bn a1 a 2 a3 L a m
= m n

10 (10 1)
Ou ainda,
a1a2 a3 L am b1b2b3 L bn a1a2 a3 L am
=
999
142 L
4
3 900
12 L
3 0
n m

Sendo que no denominador da ltima igualdade aparece o


dgito 9, n (quantidade de algarismos do perodo) vezes
seguido do dgito 0, m (quantidade de algarismos da parte
no-peridica) vezes.
Calcule as fraes geratrizes dos seguintes exemplos:
a) = 0,1222222L . Pelo mtodo prtico temos que
10 = 1,222222L e 10 2 = 12,22222L . Logo
11
(10 2 10) = 12 1 = .
90

b) = 0,10171717L . Do mesmo modo, 10 2 = 10,171717L e


10 4 = 1017,171717L Logo.

59
1002 1002 501
(10 4 10 2 ) = 1017 10 = = = .
10 4 10 2 9900 4950
c) = 0,56456456456L. De modo anlogo,
10 2 = 56,456456456L e 10 5 = 56456,456456456L . Logo

56400 56400 564


(105 10 2 ) = 56456 56 = = = .
10 5 10 2 99900 999

claro que poderamos aplicar o resultado (proposio acima)


direto para obter a frao geratriz de cada exemplo acima.

EXERCCIOS
1. Mostre o elemento simtrico da adio nico.

2. Mostre o elemento neutro da multiplicao nico.

3. Se a, b R {0} , mostre que (ab) 1 = a 1b 1 .


1 x n +1
4. Mostre que 1 + x + x 2 + L + x n = para todo x 1
1 x
e para todo n N .

a(1 x n +1 )
5. Mostre que a + ax + ax 2 + L + ax n = para todo
1 x
x 1
e para todo n N .

6. Prove que 3 irracional.

7. Mostre atravs de exemplo numrico que os conjuntos


nmeros irracionais no fechado em relao
adio e multiplicao, isto , existem a, b R Q tais
que a + b R Q e ab R Q .
8. Se a R Q e b Q prove que a + b R Q .

9. Sejam a, b R Q . Se a + b Q prove que a b Q

10. Sejam a, b, c R tais que (ac) 2 + (bc) 2 = 0 e c > 0 .


Prove que a = b = 0

60
a+b a2 + b2
11. Seja a, R . Mostre que .
2 2

12. Seja a, b R . Se 0 < a < b 0 < a < b .

13. Seja a, b R . Se 0 a < b. Prove que a+b a + b .

2 2

14. Seja a, b R . Mostre que a + ab + b 0.


15. Resolva as equaes:

a) a + 5 = a + 2 b) a + 5 2a 3 = 2 .

16. Resolva as desigualdades:


5
a) 2a 6 + a a + b) a 2 + a + 3 > 8 a
4

17. Prove que se a b c a b + c para todo


a, b, c R com c 0.

18. Prove que a1 + a 2 + K + a n a1 + a 2 + K a n para todo


a1 , a 2 , K , a n R e para todo n N .

19. Calcule a frao geratriz dos seguintes nmeros reais:


a) 0,333333333...
b) 0,3311111111...
c) 0,9191919191..
d) 0,123777777777....

20. Calcule a frao geratriz de a+b onde


a = 0,133333333... e b = 0,121212... .

61
Apndice I
Nmeros Inteiros

Para formalizarmos a construo dos nmeros inteiros


inicialmente consideremos o conjunto NxN dos pares
ordenados (a, b ) de nmeros naturais.
Motivados pelo fato de que, para a < b, d < c , temos
ab = cd a+d = b+c , definimos
(a, b) ( )x, y a + y = b + x .
No difcil mostrar que a relao reflexiva,
simtrica e transitiva, sendo, portanto, uma relao de
equivalncia em NxN. Em virtude disto, NxN fica subdividido
em classes de equivalncia [a, b ] de ordenados (a , b ) .
Vamos, ento, denominar nmero inteiro a cada uma
destas classes de equivalncia. Isto significa que
[a, b] [= ]c, d (a, b) ( )c, d a + d = b + c .
Usaremos o smbolo Z para representar o conjunto das
classes de NxN, acima descrito, denominando-o de conjunto
dos inteiros.
Dados dois pares ordenados (a , b)( , c), d , definamos as
operaes adio e multiplicao atravs das igualdades:
(a,)b( +) (c, d = a)+ c, b + d
(a),(b)( c, d = ac +)bd , ad + bc

imediato verificarmos, ento, o resultado seguinte.

Proposio 1. Se (a), b ( a) ' , b' e (c), d ( c) ' , d ' ento


(a + c, b()+ d )a '+ c ' , b'+ d ' .
Demonstrao:
(a), b ( a) ' , b' a + b' = b + a'
(c), d ( c)' , d ' c + d ' = d + c'
Adicionando as igualdades acima resulta
a + b '+ c + d ' = b + a '+ d + c '
ou seja,
(a + )c( + b) '+( d ' )=( b +) d + a '+ c'
o que significa
(a + c, b()+ d )a '+ c ' , b'+ d '
Como queramos mostrar.
A proposio acima permite definir a operao adio no
conjunto das classes [a, b ] .

Definio: Para dois elementos arbitrrios [a, b] e [c, d ] de Z,


[a,]b[ +] [c, d = a ]+ c, b + d .

62
Exemplo:
[1],2 [+ ]7,9[ =] 8,11
A subtrao , tambm, possvel para qualquer par de
elementos de Z.

Proposio 2. Dados [c 1, c 2 ] , [a1 , a 2 ] Z existe um nico


elemento de Z, [x1 , x 2 ] tal que [a1 , a]2[ + x]1[, x 2 ]= c1 , c 2 . (1)
O elemento [x1 , x 2 ] representado por [c 1, c]2[ a] 1 , a 2 .
Demonstrao:
[a1 + x1 , a 2 +[] x ]2 = c1A, c 2 ,equao
ou seja, (a1 (1) + x1 , a 2+() x 2)equivalente a
c1 , c 2 , o que
equivale a x1 + a1 + c 2 = x 2 + a 2 + c1 .
A equao acima possui duas incgnitas x1 , x 2 e tem
sempre soluo em N, quaisquer que sejam a1 , a 2 , c1 e c 2 . Com
efeito,
(i) Se a1 + c 2 = a 2 + c1 , (x1 , x)2 (=) h(, h ) 0,0
Logo, [x1 , x]2 [ =] 0,0 .
(ii) Se a1 + c 2 < a 2 + c1
(x1 , )x 2 = (h + ()(a 2 + )c1 a1 + c 2() )(, h) ) ( a 2 + c1 a1 + c 2 ,0 )
Assim, [x1 , x 2 ] = [(a 2 + )c(1 )a1 + c 2 ,0] .
(iii) a 2 + c1 < a1 + c 2
(x1 ,)x 2 = (h(, h + )( a1 +) c 2 a 2 +)c(1 () ))(0, a1 + c 2 a 2 + c1 ),

[x1 , x 2 ] = [0, (a1 + c)(2 )a 2 + c1 ],


como queramos mostrar.

Procuremos, agora, definir uma multiplicao de


elementos de Z.
Vejamos, inicialmente, que, quando as subtraes so
possveis em N, temos (a )(b c )(d ac ) ( + bd ) ad + bc .
Da, porque teremos a seguinte definio:
Definio: (a)(, b)( c, d = ac +) bd , ad + bc .

Proposio 3: Se (a), b ( a) ' , b' , ento, para todo par ordenado


(c, d ) , (a , b) ( )c, (d ) (a ' , b) ' c, d
Demonstrao: (Exerccio)

Analogamente mostraramos que se o par (c, d ) for


substitudo por um equivalente (c ' , d ') tambm o produto ser
substitudo por um par equivalente.
Novamente aqui , ento, possvel enunciar a
Definio: Para a, b, c e d N, [a][, b][ c, d = ac +]bd , ad + bc .

Definidas a adio e a multiplicao em Z,


enunciaremos uma propriedade til para o que veremos
adiante.

63
Proposio 4: Dado um elemento [a, b] Z, podemos
represent-lo, de modo nico, por [a , b] [=] c,0 , c N,
[a, b] [= ]0, c , c N, c 0 .
Demonstrao:
Sabemos que, se as subtraes indicadas so possveis
em N, temos (a),(b a )c, b c .
Dado [a, b] , temos a b ou a < b . No primeiro caso,
tomando c = a b , ser [a], b [= a ] b[,0] = c,0 . No segundo
caso, fazendo c = b a , vir [a,]b [ = 0, b] [ a] = 0, c , como
queramos demonstrar.
Temos, como conseqncia, que o conjunto Z dos
nmeros inteiros pode ser escritos como
= {[c,0], c } {[0, c ], c , c 0} .
Representando os conjuntos acima, respectivamente por
+ e , teremos = + Z . Os elementos de so os
inteiros negativos e os elementos de + so os elementos no-
negativos.
Nesta altura, a identificao do conjunto N com o
conjunto + feita de modo simples atravs da funo
: + , definida por (c ) = [c,0] .
A funo injetiva e sobrejetiva. Alm disso, ela
preserva as operaes em N e em + , de adio e de
multiplicao. Mais precisamente,
(c + d) =() c( )+ d .
(c.d) = () c( .) d .
Admitindo a identificao acima, podemos, ento,
escrever .
Se, convencionarmos, representar [c,0] = c e [0, c ] = c ,
vem que = {..., 3,2,1,0,1,2,3,...}.

64
Apndice II
Nmeros Racionais
Definio 1: Dados os nmeros inteiros a, b, b 0 , dizemos
que o inteiro o quociente de a por b , e representamos por
x = a / b , se tivermos a = b.x .
claro que nem sempre existe em Z o quociente de dois
nmeros. Por exemplo, no existe em Z o quociente 12 / 5 .

inclua, Procuremos, ento,osconstruir


alm dos inteiros, quocientesum de
conjunto
inteiros.numrico que
Uma primeira observao a de que podemos obter o
mesmo quociente a partir de diferentes pares de inteiros.
Assim, 12 / 4 = 33 / 11 = 3 . No difcil ver que, se existem em Z
os quocientes a / b = c / d ento ad = bc . Reciprocamente, se
ad = bc , vemos que a / b = c / d .
Desta forma, imitando a construo do conjunto Z a
partir de N, deveremos tomar, no conjunto x * de pares de
inteiros com segunda componente no nula, a identificao:
(a, b) ( )c, d ad = bc .
Da definio acima segue-se, de imediato, que a relao
uma relao de equivalncia em x * . Segundo a
relao , definida acima, a classe de equivalncia de
_____
qualquer elemento a, b x * , ser representada por a, b ;
_____ ( ) ( )
(a,)b (= ){ c, d (x)(* /)a, b c, d } = {(c, d ) x * / ad = bc}
_____
a
No que se segue, representamos (a, b ) pela frao .
b
______
a
Ou seja, (a, b) = .
b
O inteiro a o numerador, b o denominador.

Exerccio: Mostre que a relao acima reflexiva, simtrica


e transitiva, [Na transitividade ser necessrio usar a lei de
cancelamento da multiplicao que verdadeira em Z (Por
qu?)].

Motivados pela soma e pela multiplicao de fraes,


*
pode-se definir as seguintes
(a,)b( +) (c, d = ad) + bc, bd , operaes no conjunto x :
(a), b(. )c, d( = ac) , bd
Proposio 1: (i) Se (a), b ( a) ' , b' e (c), d ( c) ' , d ' , ento
(ad + bc ( ), bd = a)' d '+ b' c ' , b' d ' .
(ii) Se (a), b ( a) ' , b' e (c), d ( c) ' , d ' , ento (ac , bd
)( = a)' c ' , b' d ' .
Prova: (Exerccio)

65
A proposio acima nos permite definir, no conjunto das
a
classes de equivalncia , as operaes de adio e
b
multiplicao:
a c ad + bc a c ac
+ = , = .
b d bd b d bd
a
Cada uma das classes de equivalncia chamada
b
um nmero racional. O conjunto Q, dos nmeros racionais, ,
ento, o conjunto das classes de equivalncia de x * com
respeito relao .
O conjunto Q, assim construdo, amplia o conjunto Z dos
inteiros de modo que:
(i) As operaes ditas inteiras (adio, subtrao e
multiplicao), definidas em Q, fornecem o mesmo resultado
das operaes correspondentes em Z, quando os elementos
de Q envolvidos so os elementos de Z.
(ii) As propriedades formais das operaes inteiras em Z so
preservadas, quando estendidas s operaes em Q.
a c
(iii) Existem em Q o quociente de dois elementos e , com
b d
c 0 , pertencentes a Q.
Para provar todas essas afirmaes devemos,
simplesmente,
observaes so usar as esta
teis para definies
tarefa. adotadas. Algumas
Observao 1: Todos os pares de forma (0, h ) x * so
equivalentes, com respeito relao ; com efeito,
(0, h) ( )0, k , pois 0.k = h.0 .
0
O nmero racional , portanto, o mesmo qualquer
h
que seja o inteiro no-nulo h . Ele o racional zero.
Mostraremos que o elemento neutro da soma. Com efeito,
a 0 a.h + b.0 a.h a
+ = = = .
b h bh b.h b
Observao 2: Representemos por Q *
o conjunto dos
racionais excetuando o zero.
a c
Definamos, ento, o quociente de Q por Q* ,
x a x c b d
como sendo o racional tal que = .
y b y d
fcil ver, ento, que a operao de obteno do
quociente (chamada diviso) sempre possvel em Q x Q * .

Observao 3: Se definirmos a funo


:Z Q

66
x
x a (x ) =
1
onde Q1 o conjunto dos racionais de denominador igual a um,
no difcil provarmos que uma funo
bijetora, e, alm disso, preserva as operaes em Z e Q, no
sentido de que:
(a + zb) ( =) a + Q (b )
(a.zb) =( ) a . Q (b )

onde usamos os smbolos +Z, Z, +Q, Q para representar as


operaes de adio e multiplicao em Z e em Q,
respectivamente.
A funo permite-nos, assim, identificar Z com o
subconjunto Q1 = a Q dos racionais de denominador igual a
1
1. . Desta maneira, o conjunto Q pode ser visto como uma
ampliao do conjunto Z.

67
Apndice IV

Seqncias: Progresses Aritmticas e Geomtricas


Neste apndice introduziremos a definio de seqncia, e em
especial, as denominadas de progresses aritmticas e
progresses geomtricas.

Definio: Uma Seqncia uma funo a dos conjuntos dos


nmeros naturais (domnio) aos conjuntos dos nmeros reais
(contradomnio) que associa a cada elemento n N a um
nico elemento an R. O elemento an denominado o
n-simo termo da seqncia.

Notao: A notao que utilizaremos para nos referirmos s


seqncia, ser apresentada como segue:
a = ( a1 , a 2 , a3 ,L a n , L) , ou a = ( a n ) nN ou simplesmente,

a = (a n ) .

Exemplos:
1. a = (1,2,3,4,5,6,7,8,9,10,L n,L) ;
1 1 1 1
2. a = ( ) = (1, , ,L ,L) ;
n 3 4 n
3. a = (1,1,1,1,1,1,L (1) n , L);
1 1 1 1
4. a = ( )=( , , L n , L).
10 n 10 10 2 10
Dentre as seqncias existem dois tipos que so muitos
especiais, denominadas de progresso aritmtica e progresso
geomtrica.
Progresso Aritmtica (P.A)
Definio: Uma Progresso Aritmtica e uma seqncia
( a1 , a 2 , a3 , L a n ,L) definida por a n +1 = a n + r onde r uma

constante chamada de razo da progresso.

68
Na progresso aritmtica (a1 , a 2 , a3 , L a n ,L) tem-se que
a 2 = a1 + r , a 3 = a 2 + r = a1 + 2r , a 4 = a3 + r = a1 + 3r , desde
modo obtemos que a n+1 = a1 + nr para todo n N .
A frmula acima pode ser provada por induo sobre n N .
O exemplo 1) de seqncia uma P.A de razo 1. Outro
exemplo de P.A seqncia a = (0,2,4,6,8,L) onde a

razo
A soma -2.
dos n primeiros termos de uma P.A dada pela
frmula
( a1 + a n ) n
Sn = para todo n N .
2
A deduo da frmula acima fica a cargo do leitor (sugesto:
Prove por induo sobre n). Na seqncia
a = (1,2,3,4,5,6,7,8,9,10,L n,L) a n primeiros termos dada por
(1 + n)n
Sn = , por exemplo para n=100 temos que
2
(1 + 100)100
S100 = = 5050 . Um fato interresante que a soma dos
2
infinitos termos de P.A. sempre divergente, isto , infinito (
+ ) ou menos infinito ( ).

Progresso Geomtrica (P.G)


Definio: Uma Progresso Geomtrica e uma seqncia
(a1 , a 2 , a3 ,L a n , L) definida por a n+1 = a n q onde q uma

constante chamada de razo da progresso.


Na progresso aritmtica (a1 , a 2 , a3 , L a n ,L) tem-se que
a 2 = a1 q , a3 = a 2 q = a1 q , a4 = a3 q = a1 q , desde modo obtemos
2 3

que
an+1 = a1 q n para todo n N .

A frmula acima pode ser provada por induo sobre n N .


O exemplos 3) e 4) de seqncia so P.G de razo -1 e 1 ,
10
respectivamente.
A soma dos n primeiros termos de uma P.G dada pela
frmula
a (q n 1)
Sn = 1 para todo n N .
q 1
A deduo da frmula acima fica a cargo do leitor (sugesto:
Prove por induo sobre n). Na seqncia

69
1 1 1
a=( , , L n , L) a n primeiros termos dada por
10 10 2 10
1 1 1
( n 1) 1 n
Sn = 10 10 = 10 , por exemplo para n=3 temos que
1 9
1
10
1
1
S3 = 1000 = 111 = 0,111 . Um fato interresante que a soma
9 1000
dos infinitos termos de P.G. pode ser convergente, isto , ser
finito, cujo o valor dado por
a1
S = lim S n = ,
n + 1 q

desde que q < 1 , pois lim q n = 0 ( para mais detalhes ver


n +

referncia 5.). Assim para a P.G acima temos que


1
S= 10 = 1 .
1 9

1 10

70
Bibliografia

1. LIMA, E. L., CARVALHO, P. C. P., WAGNER, E e


MORGADO, A. C. A Matemtica do Ensino Mdio
vol. 1. Coleo do Professor de Matemtica:
Sociedade Brasileira de Matemtica - SBM, 2006

2. DOMINGUES, H. H. e IEZZI, G., lgebra Moderna,


So Paulo, Editora Atual, 1979.

3. DOMINGUES, H. H. Fundamentos de Aritmtica,


So Paulo, Editora Atual, 1991.

4. HEFEZ, Abramo. Curso de lgebra vol. 1.


Coleo Matemtica Universitria: Instituto Nacional
de Matemtica Pura e Aplicada IMPA, CNPq, Rio
de Janeiro, 1993.

5. LIMA, ELON LAGES. Curso de Anlise vol. 1.


Instituto Nacional de Matemtica Pura e Aplicada
IMPA, CNPq, Rio de Janeiro, 1976.

6. www.obm.org.br/eureka/artigos/irracionais.doc

7. www.insite.com.br/rodrigo/misc/math/pi.html.

8. www-groups.dcs.st-
and.ac.uk/~history/Biographies/Peano.html

9. www-groups.dcs.st-
and.ac.uk/~history/Biographies/Dedekind.html

71
Universidade Federal do Piau

Revista
Interao
EaD

www.revistaead.ufpi.br
MEC
UFPI

SEED