Escolar Documentos
Profissional Documentos
Cultura Documentos
Matematica Basica PDF
Matematica Basica PDF
Basica
Jorge Delgado
Firmo
Sebastiao
Pedro Nobrega
Depto. de Matematica
Aplicada
Instituto de Matematica
- UFF
PROIN-CAPES 1998
J. Delgado - S. Firmo - P. Nobrega
ii
Instituto de Matematica
- UFF
Conteudo
1 Conjuntos
2 Os Inteiros
19
3 Os Racionais e os Irracionais
69
Captulo 1
Conjuntos
1.1 Introducao
logicas
mados proposicoes.
A sequ encia
de conclusoes
utilizadas para chegar a um resultado
da
A palavra teorema e reservada a proposicoes
de carater
relevante na teoria em questao,
que sera usada como ferramenta fundamental para
mesma maneira, um lema e uma proposicao
proposicoes
que se obtem
como consequ encia
proposicao,
pode ser descrita da seguinte maneira: usar os axio e resultados previos
mas, definicoes
da teoria para chegar as
por
Hipotese
= Tese
ciocnio logico
baseado nos axiomas, definicoes
e resultados anteriores da teoria, se obtem
Conjuntos
1.2 Conjuntos
Teorema. (Pitagoras)
Seja T um triangulo
retangulo
cujos catetos medem a e b respectivamente
a2 + b2 = c2 .
e cuja hipotenusa mede c. Entao
A hipotese
diz que a, b e c sao
do
retangulo
T , e a tese diz que a2 + b2 = c2 . Mais tarde no texto veremos uma demonstracao
teorema de Pitagoras.
a validade das hipoteses
apenas um simbolismo
Em matematica
e frequente
o uso de quantificadores. Estes sao
colecao
escrito
simbolicamente (leia-se existe... ou existem...), e o quantificador de universalidade, escrito
o determinam.
1.2 Conjuntos
basicas
intuitiva e
sentaremos uma exposicao
e rigorosa da teoria, mas sim uma exposicao
simples, incluindo apenas o material e a terminologia que usaremos mais adiante.
um conjunto sera qualquer colecao
dada de objetos.
Para nos
do termo conjunto seja intuitivamente clara, ela nao
e formalEmbora esta definicao
e ainda indefinida. Na verdade, a nocao
de conjunto em
mente correta, pois a palavra colecao
Euclidiana) e e necessaria
uma lista de axiomas para trabalhar com conjuntos e suas propri
heurstica, como a que apresentamos a continuacao,
e
edades. Na pratica,
uma introducao
suficiente.
designados (salvo mencao
explcita) por letras maiusculas,
Os conjuntos serao
deixando
as minusculas
para designar objetos dos conjuntos. Se a e um objeto do conjunto A, dizemos
Instituto de Matematica
- UFF
Conjuntos
1.2 Conjuntos
Instituto de Matematica
- UFF
Conjuntos
1.2 Conjuntos
que A nao
e subconjunto de B ou que B nao
contem
A e escrevemos
A 6 B. Dizemos tambem
B 6 A.
Nos nossos exemplos vemos que,
6 B = {banana, morango, maca,
azul},
A = {azul, verde, vermelho, laranja, maca}
logica
q (isto e p implica q, que se escreve p = q) e similarmente, tomando como hipotese
Resumindo, p q equivale as
p = q e q = p.
Dado um conjunto A podemos considerar o conjunto {x ; x A e x 6= x}. Tal conjunto e
claro da definicao
que A A.
chamado o subconjunto vazio de A e se designa por A . E
A sua demonstracao
sera feita pelo
Vamos apresentar agora a nossa primeira proposicao.
metodo
do absurdo. Tal metodo
consiste em negar a tese e apos
de conclusoes
com as
logicas,
obter uma afirmativa que seja claramente falsa ou que entre em contradicao
nossas premissas ou conhecimentos anteriores.
conjuntos quaisquer, entao
A = B .
1.2.1. Se A e B sao
Proposicao
Demonstracao.
Procedendo pelo absurdo, vamos supor que A e B sejam conjuntos tais que
A 6= B .
Segundo o item iii. acima, A 6= B significa que A 6 B ou que B 6 A .
Caso A 6 B, devera existir um elemento x A tal que x
/ B .
de A vemos que x sera um elemento de A tal que x 6= x, o qual e absurdo,
Pela definicao
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
esta terminada. Alguns autores escrevem as letras CQD que significam Como
demonstracao
Corolario
1.2.2.
contem
Existe um unico
conjunto , chamado o conjunto vazio, que nao
C.Q.D.
O corolario
acima e um exemplo de um resultado de Existencia
e Unicidade. Ele diz
unicos.
deste tipo
que sob certas hipoteses,
certos objetos existem e sao
A demonstracao
ele e unico.
Existem varios
procedimentos para provar a existencia
de um certo objeto, um deles
da parte
e construir ou exemplificar um objeto com as propriedades requeridas. A demonstracao
da unicidade pode ser feita, por exemplo, das seguintes maneiras
(a) Mostrando que qualquer objeto com as mesmas propriedades do nosso tera ne acima).
cessariamente que ser igual ao nosso (como foi feito na demonstracao
supoe-se
com Conjuntos
1.3 Operacoes
e operacao
com conjuntos.
Nesta parte vamos introduzir as leis basicas
de formacao
A B e a intersecao
A B de
Definicao.
Dados dois conjuntos A e B, definimos a uniao
A e B da seguinte maneira:
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
A B = {x ; x A ou x B}
A B = {x ; x A e x B}.
de A B.
Fig. 1 (a). Representacao
de A B.
Fig. 1 (b). Representacao
A B = {azul, maca}.
Observe que os elementos repetidos foram eliminados.
acima vemos que A e B possuem elementos em comum se, e somente se,
Da definicao
A B 6= .
chamados disjuntos se A B = , isto e,
se A e B nao
possuem
Dois conjuntos A e B sao
elementos em comum.
e que, qualquer que seja o conjunto A valem as igualdades
Outro fato evidente da definicao
A=A
= A .
da definicao
obtem-se
Tambem
diretamente a seguinte proposicao:
() e intersecao
() sao
colocadas no
As propriedades formais das operacoes
de uniao
seguinte resultado:
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
(1) Idempotencia:
A A = A = A A.
(2) Associatividade: A (B C) = (A B) C e A (B C) = (A B) C.
(3) Comutatividade: A B = B A e A B = B A.
(4) Distributividade: A (B C) = (A B) (A C) e A (B C) = (A B) (A C).
Demonstracao.
formulas
de distributividade.
iguais se, e somente se, um esta contido no outro.
Lembramos que dois conjuntos sao
Demonstracao.
Primeiramente vejamos o significado do enunciado: Dizer que duas proposicoes
equivalentes significa que p q, isto e,
p = q e q = p. Temos que provar, entao,
p e q sao
que (1) (2), (1) (3) e (2) (3). Basta provar (1) (2) e (1) (3).
A = A A A B A,
Prova de (1) (2): Suponhamos que (1) e verdadeira. Entao
A = A B provando assim (2). Se (2) e verdadeira, A = A B B, provando (1).
isto e,
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
B = A B. Se
Prova de (1) (3): Se (1) e verdadeira, B = B B A B B, isto e,
(3) e verdadeira, B = A B A, provando (1). C.Q.D.
e foram definidas para dois conjuntos, podemos generalizar e
Embora as operacoes
para mais de dois conjuntos, mesmo para famlias de conjuntos:
reescrever a definicao
vazio. Se a cada elemento corresponde um conjunto
Definicao.
Seja um conjunto nao
F = {A ; } (que tambem
se designa por F = {A } ) e uma
A , dizemos que a colecao
famlia de conjuntos indexada por . O conjunto e chamado o conjunto de ndices da famlia.
vazio A pode servir como conjunto de ndices de
Observamos que qualquer conjunto nao
uma famlia de conjuntos. Com efeito, para cada a A seja Aa = {a} e consideremos a famlia
todo conjunto F, cujos elementos sao
conjuntos, pode ser considerado
F = {Aa }aA . Tambem
como uma famlia de conjuntos indexada por F (i.e. auto-indexada). De fato, F = {AF }FF , onde
AF = F para todo F F.
Seja X um conjunto dado e F = {A } uma famlia de subconjuntos de X. Se
Definicao.
e a intersecao
da famlia F como
define a uniao
[
A = {x X ; tal que x A }
A = {x X ; x A }
xX
e a intersecao
de uma famlia indeObservando com cuidado, podemos ver que a uniao
se = e F = {A } e uma famlia indexada
pende da maneira como esta indexada. Isto e,
por , entao
[
A =
A =
A .
que a intersecao
de produto cartesiano que introduziremos em breve.
entre conjuntos
Definimos a seguir uma outra operacao
Definicao.
Sejam A e B conjuntos. Definimos o conjunto diferenca A B como sendo o
sao
elementos de B, i.e.
conjunto que consiste dos elementos de A que nao
A B = {x ; x A e x
/ B}.
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
de A B.
Fig. 2 (a). Representacao
de B A.
Fig. 2 (b). Representacao
Definicao.
B A = {banana, morango}.
conjunto {X A = X A.
e o conjunto dos nossos exemPor exemplo, se A = {azul, verde, vermelho, laranja, maca}
{A B = {laranja, maca}.
a X.
Fig.3. O complementar de A em relacao
A B.
1.3.4. Sejam A, B e C conjuntos quaisquer e X um conjunto que contem
Proposicao
Entao
i. A = A e A A = .
ii. B C = A C A B.
iii. A B = A (A B).
iv. A B = A {X B.
contem
elementos,
Demonstracao.
Prova de i. Ja que nao
A = {x ; x A e x
/ } = {x ; x A} = A.
E observando que nenhum objeto x pode ser tal que x A e x
/ A, obtemos que A A = .
Prova de ii. Observe que,
B C (x B = x C) (x
/ C = x
/ B).
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
Portanto
(x A C) = (x A e x
/ C) = (x A e x
/ B) = x (A B),
todo elemento de A C e tambem
elemento de A B. Logo A C A C.
isto e,
A B A (A B) e consequ encia
Demonstracao.
10
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
(x X e x
/ A) e (x X e x
/ B)
(x {X A) e (x {X B) x ({X A) ({X B).
de um conjunto X, entao
{X
\
A =
({X A ),
{X
[
A =
({X A ).
Observemos entao
(a, b) = (b, a) se, e somente se, a = b.
Definicao.
elementos sao
A B = {(a, b) ; a A e b B}.
grafica
11
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
propriedades que estudaremos sobre o produto cartesiano de dois conjuntos continuam validas
para o produto cartesiano de mais de 2 conjuntos.
descreve duas propriedades basicas
A seguinte proposicao
do produto cartesiano.
Demonstracao.
(a) A propriedade do enunciado (a) equivale1 a
(A B 6= ) (A 6= ) e (B 6= ).
de A B, a A e b B. Logo A 6= e
Se A B 6= , existe (a, b) A B, e pela definicao
B 6= .
1
proposicoes
logicas,
as negativas de p e q respectivamente.
temente dos valores logicos
de p e q, onde qp e qq sao
12
Instituto de Matematica
- UFF
1.3 Operacoes
com Conjuntos
Conjuntos
Entao
C D 6= e usada apenas na
=.
implicacao
diz que o produto cartesiano verifica a propriedade distriO ultimo
resultado desta secao
, e .
butiva sobre as operacoes
conjuntos, valem as seguintes formulas
1.3.7. Se A, B, C sao
Proposicao
de distributividade:
(a) A (B C) = (A B) (A C).
(b) A (B C) = (A B) (A C).
(c) A (B C) = (A B) (A C).
Demonstracao.
Prova de (a): Para todo (a, b) tem-se
(a, b) A (B C) (a A) e (b B C) (a A) e (b B ou b C)
(a A e b B) ou (a A e b C)
(a, b) A B ou (a, b) A C
(a, b) (A B) (A C).
Os itens (b) e (c) podem ser demonstrados de maneira similar. C.Q.D.
Consideremos, de novo, duas famlias de conjuntos F = {A } e G = {B } . Pode-se
provar, sem dificuldade, que valem as seguintes propriedades distributivas:
[
[
[
\
\
\
A
B =
(A B ), e
A
B =
(,)
(A B ),
(,)
(resp. uniao)
de duas unioes
(resp. interseccoes)
13
Instituto de Matematica
- UFF
1.4 O Conjunto Potencia
Conjuntos
de considerar duas famlias podemos conindexada pelo conjunto . Mais ainda, ao inves
siderar uma famlia de famlias e provar propriedades similares, mas este ponto e bem mais
delicado e o deixaremos para um curso avancado.
(,)
(,)
o
tos sao
de A. Isto e,
conjunto potencia
e determinado pela propriedade B A B P(A).
Demonstracao.
conjuntos disjuntos.
direta de (d) e do fato de que A e {X A sao
Prova de (d): Para todo conjunto C tem-se que
C P(A B) (C A B) (C A e C B)
(C P(A) e C P(B)) C P(A) P(B).
14
Instituto de Matematica
- UFF
Conjuntos
Exerccios
Isto e,
!
!
[
\
\
[
P(A ) = P
A
e
P(A ) P
A .
Exerccios
e uma relacao
transitiva, i.e., se A, B e C sao
conjuntos tais que A B
1. Prove que a relacao
A C. Prove, dando um contra-exemplo, que a relacao
nao
e transitiva.
e B C, entao
2. Sejam A, B e C conjuntos. Prove que
B C A C e B C A C.
(a) Se B A, entao
e sao
comutativas e associativas:
(b) As operacoes
AB=BA
A B = B A,
A (B C) = (A B) C
A (B C) = (A B) C.
falsas ou verdadeiras, e
3. Sejam A = {?} e B = {?, }. Diga se as afirmacoes
abaixo sao
justifique sua resposta:
(a) A B
(b) A B
(c) ? A
(d) B
15
Instituto de Matematica
- UFF
Conjuntos
Exerccios
(b)
(A C) (B C) = (A B) C,
(c)
(A C) (B C) = (A B) C,
(d)
(A B) (A C) = A (C B),
(e)
(A B) (A C) = A (B C),
(f)
(A B) (A C) = A (B C).
igualdades A X = A B e A X = simultaneamente.
9. Sejam A = {0, 1, 2, {2}, 3} e B = {{1}, 1, 4}.
(a) Determine A B e A B.
abaixo sao
falsas ou verdadeiras, e justifique sua resposta:
(b) Diga se as afirmacoes
2A
{2, {2}} 6= {{2}, 2}
{2} A
{2, {2}} A
{2} A
2A.
16
Instituto de Matematica
- UFF
Conjuntos
Exerccios
maca?
17
Instituto de Matematica
- UFF
Conjuntos
Exerccios
18
Instituto de Matematica
- UFF
Captulo 2
Os Inteiros
2.1 Notacao
Este captulo sera dedicado a estudar as propriedades do conjunto Z dos numeros
inteiros:
Z = {. . . , 4, 3, 2, 1, 0, 1, 2, 3, 4, . . .}.
Dentre os subconjuntos de Z destacamos os seguintes:
O conjunto dos numeros
naturais N = {0, 1, 2, 3, . . .}.
Z+ .
nulos Z = Z {0} = {. . . , 3, 2, 1, 1, 2, 3, . . .}.
O conjunto dos numeros
inteiros nao
positivos e o conjunto
Do acima estabelecido segue que o conjunto dos inteiros nao
{Z Z+ = Z Z+ = {0, 1, 2, 3, . . .}.
negativos e o conjunto
Analogamente, o conjunto dos inteiros nao
{Z Z = Z Z = {0, 1, 2, 3, . . .}.
a Z+ , e
Dizemos que um numero
inteiro a Z tem sinal positivo, se a e positivo, isto e,
2.2 Operacoes
Os Inteiros
que a e b tem
quando um deles e positivo e o outro e negativo.
2.2 Operacoes
sobre conjuntos. Estas operacoes
nos perNo captulo anterior estudamos algumas operacoes
vamos introduzir
mitiram construir, a partir de conjuntos dados, um novo conjunto. Nesta secao
de operacao
desde um ponto de vista global e depois enfocar a nossa atencao
em
a nocao
definidas no conjunto Z dos numeros
operacoes
inteiros.
Definicao.
Seja A um conjunto nao
em
ordenado de elementos de A faz corresponder um elemento de A. Se ? e uma operacao
A e (a, b) A A, escrevemos ?(a, b) ou a ? b para designar o elemento de A determinado
ao par ordenado (a, b). Dizemos que a ? b e o resultado de aplicar a
ao aplicar a operacao
? ao par ordenado (a, b) A A.
operacao
Em smbolos escrevemos
? : A A A
(a, b) 7 a ? b .
de operacao
obtemos que: dados a, b A, se a = a 0 e b = b 0 entao,
a?b = a 0 ?b 0 .
Da definicao
Por exemplo, consideremos um conjunto A = {, } contendo dois elementos. Definimos uma
? : A A A mediante a seguinte tabela:
operacao
Nesta tabela, escrevemos a primeira coordenada dos pares ordenados
?
de A A na coluna embaixo de ?, e a segunda coordenada na fila a`
direita de ?. A primeira fila da tabuada se lee: ? = , ? = , e a
segunda fila ? = e ? = .
Neste exemplo observamos que, quaisquer que sejam x, y A tem-se x ? y = y ? x. Uma
verificando esta propriedade e chamada comutativa. Tambem,
operacao
quaisquer que sejam
com esta propriedade
x, y, z A, vale x ? (y ? z) = (x ? y) ? z (verifique este fato!). Uma operacao
20
Instituto de Matematica
- UFF
2.2 Operacoes
Os Inteiros
importancia
no resto deste captulo:
+ : Z Z Z (m, n) 7 m + n
: Z Z Z (m, n) 7 m n
de soma ou adicao)
(operacao
de multiplicacao
ou produto)
(operacao
de dois numeros
designada pela justaposicao
ab,
A multiplicacao
inteiros a e b sera tambem
colocando um numero
o outro. Esta terminologia devera ser usada com cuidado,
isto e,
apos
Da nocao
Dados a, b, c Z temos que
a+c=b+c,
(i) se a = b entao
ac=bc.
(ii) se a = b entao
Mais tarde voltaremos a falar sobre esta regra, ou mais especificamente, sobre a sua recproca
e multiplicacao).
Na pratica
fazemos uso das operacoes
de soma e multiplicacao,
de pro que na maioria dos casos aplicamos de maneira quase
priedades ou regras de manipulacao,
automatica
sem reparar muito nos detalhes.
e mesmo para enCom o objetivo de entender com mais detalhe a natureza destas operacoes
tender o por que de alguns erros que se cometem com frequ encia
na pratica,
vamos apresentar
21
Instituto de Matematica
- UFF
2.2 Operacoes
Os Inteiros
em Z:
Propriedades das operacoes
de soma e de multiplicacao
(1) Comutatividade:
a + b = b + a para todo a, b Z,
a b = b a para todo a, b Z.
(2) Associatividade:
(a + b) + c = a + (b + c) para todo a, b, c Z,
(a b) c = a (b c) para todo a, b, c Z.
(3) Distributividade:
a (b + c) = a b + a c para todo a, b, c Z,
(a + b) c = a c + b c para todo a, b, c Z.
e 1 para a multiplicacao):
(4) Existencia
de elementos neutros (0 para a adicao
0 + a = a = a + 0 para todo a Z.
1 a = a = a 1 para todo a Z.
(5) Existencia
de simetricos:
a + (a) = 0 = (a) + a para todo a Z.
a soma de a com
Dados a, b Z, escrevemos a b para significar a + (b), isto e,
Notacao.
o simetrico
de b. O numero
a b se le a menos b.
de
Observamos que a propriedade descrita no item (5) diz respeito apenas a` operacao
22
Instituto de Matematica
- UFF
2.2 Operacoes
Os Inteiros
Muita atencao!!
sabemos somar apenas dois elementos de cada vez. O que significa
Observe que nos
uma expressao
tao
conhecida como a + b + c onde a, b, c Z? Melhor dizendo,
entao
acima? De fato, mantendo a ordem em que a, b, c aparecem na
faz sentido a expressao
so podemos opera-los
expressao
como a + (b + c) ou (a + b) + c o que da na mesma,
por esta razao
que a + b + c faz
segundo a propriedade de associatividade da soma. E
tambem
da propriedade de comutatividade.
podemos faze-lo,
desta vez, lancando mao
as mesmas
Em virtude das propriedades associativa e comutativa da multiplicacao,
consideracoes
acima podem ser aplicadas ao produto de tres
se a, b, c Z, o produto a b c pode ser entendido como a (b c) ou como (a b) c, ou
ainda como b (a c) etc. Outro exemplo, se a, b, c, d, e, f, g Z,
a + b + c + d + e + f + g = (a + (b + (c + (d + (e + f))))) + g
= ((a + b) + (c + d)) + ((e + f) + g) = etc.
a b c d e f g = ((a b) (c (d (e f)))) g
= ((a b) (c (d (e f)))) g = etc.
a + (b + c) e (a + b) + c com a, b, c Z
Do item anterior conclumos que nas expressoes
a + (b + c) = a + b + c = (a + b) + c. Sera que
podemos ignorar o parenteses,
isto e,
a (b c), escrevendo a (b c) = a b c =
podemos fazer isto na expressao
diferenca fosse associativa, poderamos faze-lo
mas isto nao
e
(a b) c ? Se a operacao
tambem
nao
podemos ignorar o parenteses
sobre Z nos
utilizaremos com
Trabalhando com as operacoes
de soma e multiplicacao
frequ encia
as propriedades de (1) a` (5). Alem
de suas con
demonstracao.
sequencias,
listadas abaixo e de facil
Consequ encia
1. 0 a = 0 = a 0
a Z.
23
Instituto de Matematica
- UFF
2.2 Operacoes
Os Inteiros
Consequ encia
2. (1) a = a
C.Q.D.
a Z.
Demonstracao.
Temos que (1) a + a = (1) a + (1) a = (1 + 1) a = 0 a = 0.
(1) a + a = 0 nos
conclumos que
Agora, somando a a cada um dos membros da equacao
(1) a = a,
a Z.
C.Q.D.
Consequ encia
3.
conclumos que
a (b) = (a) b = a b ,
a, b Z.
a, b, c Z.
De fato,
a (b c) = a (b + (c)) = a b + a (c) = a b + (a c) = a b a c.
Consequ encia
4. a b = 0 a = b.
Demonstracao.
Com efeito,
da diferenca a b
a b = 0 a + (b) = 0 pela definicao
(a + (b)) + b = 0 + b somando b em ambos lados da igualdade
a + ((b) + b) = b pela propriedade associativa
C.Q.D.
Consequ encia
5. (1)(1) = 1 e portanto, (a) = a, para todo a Z.
Com efeito, tem-se
Demonstracao.
(1)(1) 1 = (1)(1) + (1) = (1)(1) + (1) 1 = (1)(1 + 1) = (1) 0 = 0.
pelo item anterior (1)(1) = 1.
e entao,
Logo, (a) = (1)((1)a) = ((1)(1))a = 1 a = a, para todo a Z.
24
C.Q.D.
Instituto de Matematica
- UFF
2.2 Operacoes
Os Inteiros
a Z e reciprocamente, se a Z entao
a Z+ .
Repare que, se a Z+ entao
Portanto devemos ter cuidado com o seguinte:
falso que: Se a e um inteiro, entao
a e um inteiro negativo.
E
Com efeito, observe que
(1) = (1)[(1)1] = [(1)(1)]1 = 1 1 = 1
((3)) = (1)[(1){(1)3}] = (1)[{(1)(1)}3] = (1)[1 3] = (1)3 = 3
((((n)))) = n, para todo n Z, e assim por diante.
Consequ encia
6. Lei do cancelamento para a adicao.
Dados a, b, c Z temos:
a + c = b + c = a = b
Sejam a, b, c Z e suponhamos que a + c = b + c. Assim , obtemos:
Demonstracao.
a + c = b + c = a + c + (c) = b + c + (c) = a + 0 = b + 0 = a = b,
esta terminada.
e a demonstracao
C.Q.D.
Consequ encia
7. Lei do cancelamento para a multiplicacao.
Dados a, b, c Z com c 6= 0 temos:
a c = b c = a = b
Sejam a, b, c Z e suponhamos que a c = b c. Assim , obtemos:
Demonstracao.
a c = b c = a c b c = 0 = (a b) c = 0 = a b = 0 ou c = 0.
a = b e a demonstracao
C.Q.D.
Definicao.
Seja a Z. O valor absoluto ou modulo
de a, denotado |a| se define por
a , se a e positivo
|a| =
0 , se a = 0
a , se a e negativo .
25
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
Exerccios
1. Calcule
(a) 2 2(3 (1)) + (5 3(5 2(1(2 4)))).
(b) 3 + (3 (4 2(1 2)2)(2 3(1 + (3 2 + 2))(2))).
(c) 2 |2(2 + (5 2(3 | 4|)))| | |3 |2| | 1| |.
abaixo sao
falsas ou verdadeiras e justifique
2. Sejam a Z e b Z. Diga se as afirmacoes
suas respostas.
(i) a e um inteiro negativo,
(ii) a + b e um inteiro positivo,
(iii) 2a e um inteiro positivo,
(iv) a a e um inteiro positivo,
negativo,
(v) 100 a e um inteiro nao
o mesmo sinal,
(vi) 0 e 2 tem
(vii) 1 + (a b)(a b) e um inteiro positivo,
negativo,
(viii) |b| e nao
(ix) |a + 3| = a + 3,
abaixo.
3. Elimine os parenteses
nas expressoes
(i) a 3(2a (a + b) a(b 2(a + b))a b),
(ii) 2(a + 1 b(2 2a(1 b)) 3b 2(4 (a 2))),
(iii) (2 |a| + 3(a (a 1) + |a + 1|) 2(1 |a + 3|)).
inteiros, sabendo que a soma do primeiro com o segundo e 32, a soma do
4. Determinar tres
segundo com o terceiro e 36 e a soma do primeiro com o terceiro e 34.
26
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
8. Um radio
e uma televisao
me sobraria
precisava ter mais R$ 300,00 do que possuo. Quanto
R$ 200,00mas para adquirir a televisao
e quanto possuo?
custou o radio,
a televisao
` 8 horas, parte de A para B, um trem com velocidade
9. Duas cidades A e B distam 200 km. As
de 30 km por hora e, duas horas depois, parte de B para A um outro trem com velocidade de 40
27
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
b = 0 ou c = 0.
inteiras das equacoes:
equacoes:
(i) 2a = 2,
(ii) 2a = a,
(iii) ab = b.
e essencial.
14. Mostre que a hipotese,
a 6= 0 na lei de cancelamento para a multiplicacao,
soma podemos concluir que (a b) + c = a (b + c)?
15. Da associatividade da operacao
Justifique sua resposta.
16. Mostre que o Lema 2.2.1 usado para demonstrar a lei do cancelamento para a multiplicacao
e de fato equivalente a tal lei, i.e., mostre que a lei implica o lema e que o lema implica a lei.
esta ultima
ja fizemos.
Alias,
parte nos
28
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
2.3 Potencias
Naturais de Numeros
Inteiros
Definicao:
a0 = 1 para todo a Z
ak = a
. . a} para todo a Z e k N .
| .{z
k vezes
Na definicao
tendo como base o inteiro a e como
expoente o natural n.
a, b Z ao inves
da condicao
a, b Z ? Ela serve
Voce entendeu o porque da condicao
Exerccios
1. Sejam a, b Z. Mostre que:
(i) (a + b)2 = a2 + 2ab + b2 ,
(ii) (a b)2 = a2 2ab + b2 ,
(iii) (a + b)(a b) = a2 b2 ,
(iv) (a + b)3 = a3 + 3a2 b + 3ab2 + b3 .
29
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
C.Q.D.
a = 0.
5. Use o Lema 2.2.1 para mostrar que se a2 = 0, a Z, entao
a = 0.
6. Use uma das leis de cancelamento para demonstrar que se a2 = 0 com a Z entao
8. Determine as solucoes
(a) (a 1)2 = 0,
(b) (a 2)2 = 1,
(c) a2 b2 = 0,
(d) a2 a + 6 = 0,
(e) a2 (b + 1) = a(b + 1),
(f) (a 1)3 = a(1 a)2 .
30
Instituto de Matematica
- UFF
2.4 O Binomio
de Newton
Os Inteiros
(g) a4 16 = 0.
que a = b + c. Multiplicando ambos os
9. Sejam a, b Z e coloquemos c = a b. Temos entao
membros por a b temos:
(a b)a = (a b)(b + c) = a2 ab = ab + ac b2 bc = a2 ab ac = ab b2 bc
= a(a b c) = b(a b c).
conclumos que a = b.
Agora, pela lei do cancelamento para a multiplicacao
o que acha disto?
E voce,
2.4 O Binomio
de Newton
Muitas vezes temos necessidade de considerar somas com um grande numero
de parcelas,
a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 ,
b1 + b2 + . . . + b7 ,
b1 + . . . + b8 + b9 ,
c1 + . . . + cn ,
onde n Z+ ,
a0 + a1 + . . . + ak ,
onde k N .
ai
(le-se
somatorio
de ai variando i de 1 ate n)
i=1
ai = a0 + a1 + . . . + an+1 ,
onde
n Z+ ,
i=0
k
X
j=2
m+2
X
bj = b2 + . . . + bk ,
onde
k {2, 3, 4, . . .},
ck = c4 + c3 + . . . + cm + cm+1 + cm+2 ,
onde
m Z+ ,
k=4
31
Instituto de Matematica
- UFF
2.4 O Binomio
de Newton
Os Inteiros
p
X
onde
p Z+ .
n=0
numero
total (nao
de termos: a primeira delas possui no mnimo 3
Atencao!
as
` ultimas
Ainda com relacao
quatro somas, e importante voce perceber que, na
n1
X
an1i bi .
i=0
i=0
i=0
n 0
= (a b + a
i=0
n1 1
b +a
n2 2
(a + b) =
n
X
n
k=0
32
ak bnk ,
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
n
de n elementos k a` k.
onde
e o numero
de combinacoes
isto e,
n
= 1,
0
n
= 1,
n
4. podemos combinar n elementos n 1 a` n 1 de n maneiras diferentes, para isto basta ver
com n 1 elementos e construda retirando um elemento da colecao
n
= n.
n1
Exerccios
as expressoes
escritas abaixo:
1. Quantas parcelas tem
(a) a1 + a2 + . . . + an , onde n Z+ ,
(b) am + am+1 + . . . + am+s , onde m Z e s Z+ ,
(c)
n1
X
ai+1 , onde n 3 Z+ ,
i=0
2. Qual o numero
mnimo de parcelas que podera ocorrer em cada uma das expressoes
do
exerccio anterior?
33
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
3. Reescreva as expressoes
n
X
(a)
aj + 3, onde n N,
j=0
(b)
2n
X
i=0
n1
X
(c)
k+2 , onde n N.
k=4
4. Qual o numero
mnimo de parcelas que podera ocorrer em cada uma das expressoes
do
exerccio anterior?
5. Sejam p Z e n Z+ . Mostre que:
n
X
nk n
n
(1)
ak bnk ,
(a) (a b) =
k
k=0
n
X
n i
n
(b) (1 + a) =
a,
i
i=0
n
X
(c)
ak =
ai+p ,
i=p
k=0
(d)
np
X
n
X
a i = a0 +
n1
X
i=0
i=0
(e)
ai+1 ,
n
X
i=0
n
X
n
i
= 2n ,
n
(f)
(1)
= 0.
k
k=0
k
6. Mostre que
n
n
n
X
X
X
(a)
(ai + bi ) =
ai +
bi ,
(b)
i=0
i=0
n
X
n
X
i=0
(c)
n
X
(c ai ) = c
i=0
ai ,
i=0
(ai ai1 ) = an a0 .
i=1
abaixo sao
falsas ou verdadeiras justificando suas respostas.
7. Diga se as afirmacoes
34
Instituto de Matematica
- UFF
Os Inteiros
(a)
100
X
Inteiros
n =
n=0
(b)
n
X
100
X
n2 ,
n=1
(1 + k) = 1 +
k=0
(c)
n
X
k, onde n Z+ ,
k=0
n1
X
(i + 1)4 =
i=1
(d)
n
X
n
X
i4 , onde n Z+ ,
i=0
k2 =
k=1
ns
X
(j + s)2 .
j=1s
8. Mostre que
X
n1
n1
X
n
k,
(n k) = n(n 1)
=
2
k=1
k=1
#P(A) = 2n .
e 2n . Isto e,
11. Qual e o coeficiente de a2 x2 no desenvolvimento de (2x + a)4 ?
12. Qual e o coeficiente de x4 no desenvolvimento de (x + 3)5 ?
13. Qual e o coeficiente de ax3 no desenvolvimento de (a x + 1)4 ?
Desenvolva (a x + 1)4 como ((a x) + 1)4 .
Indicacao:
Inteiros
isto e,
fixemos um sentido de
Considere uma reta e sobre ela fixemos uma orientacao,
percurso.
graficas:
Representacoes
35
Instituto de Matematica
- UFF
Os Inteiros
Inteiros
Os tres
acima servem apenas para indicar que estamos representando graficamente uma parte da reta ou da reta
esquecendo no entanto
orientada. Daqui para frente vamos propositadamente esquece-los,
nao
que estamos representando graficamente uma parte da reta ou da reta orientada.
Numa reta orientada podemos falar em pontos a` direita (resp. a` esquerda) de um ponto
dado, da seguinte maneira.
aqueles que podem
Seja P um ponto de uma reta orientada. Os pontos a` direita de P sao
ser atingidos a partir de P, seguindo o sentido de percurso fixado. Os pontos a` esquerda sao
`
aqueles que podem ser atingidos a partir de P, seguindo o sentido de percurso oposto aquele
fixado.
pontos a` direita de P
reta orientada
pontos a` esquerda de P
| {z }
(segmento de reta)
unidade de comprimento
z }| {
z }| {z }| {z }| {z }| {z }| {z }| {
z }| {
n
n + 1
3
2
1
0
1
2
3
(n 1)
n
r
Isto e feito da seguinte maneira:
colocados a` uma unidade da origem,
1 e 1 sao
colocados a` 2 unidades da origem,
2 e 2 sao
colocados a` 3 unidades da origem,
3 e 3 sao
..
..
..
.
.
.
colocados a` n unidades da origem, para cada n Z+ .
n e n sao
36
Instituto de Matematica
- UFF
Os Inteiros
Inteiros
a`
Assim, dados a, b Z entenderemos que a + b e obtido transladando a de b (translacao
nula se b = 0).
direita se b e positivo, a` esquerda se b e negativo e translacao
Uma outra propriedade importante desta forma de inserir os inteiros na reta orientada, ou
digamos assim, de mergulhar os inteiros na reta orientada, e a seguinte.
entre eles.
Em particular,
dado um ponto P da reta orientada, sempre existem inteiros a` direita de P e inteiros a`
esquerda de P.
Mais precisamente,
i. dado um ponto P da reta orientada, existe n0 Z+ tal que n0 esta a` direita de P,
P
n0 Z
ii. dado um ponto P da reta orientada, existe n0 Z tal que n0 esta a` esquerda de P.
P
n0 Z
37
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
Exerccios
1. Diga se e falso ou verdadeiro e justifique sua resposta.
positivos e limitado inferiormente,
(a) O conjunto dos inteiros nao
negativos e limitado inferiormente.
(b) O conjunto dos inteiros nao
2. Sejam A, B Z. Mostre que
limitados superiormente entao,
A B e A B sao
limitados superiormente.
(a) Se A e B sao
A B e limitado superior(b) Se A e limitado inferiormente e B e limitado superiormente entao,
mente e inferiormente.
3. Diga se e falso ou verdadeiro e justifique sua resposta.
(a) Entre dois pontos distintos da reta orientada existe pelo menos um numero
inteiro,
38
Instituto de Matematica
- UFF
de Ordem
2.6 A Relacao
Os Inteiros
(b) Dado um ponto P da reta orientada existe um inteiro n0 Z+ tal que n0 5 esta a` direita de
P,
(c) Dado um ponto P da reta orientada existe um inteiro n0 Z+ tal que n0 +100 esta a` esquerda
de P.
4. Seja P um ponto da reta orientada e M Z. Mostre que existe n0 Z+ tal que n0 M esta
a` direita de P.
de N.
antiga e a nova sao
de fato equivalentes, isto e,
mostre que todo subMostre que a definicao
vazio de Z que e limitado superiormente em relacao
a uma das definicoes
tambem
conjunto nao
a` outra.
sera limitado superiormente em relacao
Definicao.
Sejam a, b Z. Diremos que a e menor que b (notacao
39
Instituto de Matematica
- UFF
de Ordem
2.6 A Relacao
Os Inteiros
< .
Propriedades da relacao
Sejam a, b, c Z.
a < c (transitividade),
(1) se a < b e b < c entao
a < b ou b < a (dois elementos distintos sao
comparaveis),
(2) se a 6= b entao
a + c < b + c,
(3) se a < b entao
ac < bc,
(4) se a < b e c > 0 entao
ac > bc.
(5) se a < b e c < 0 entao
disso, segue das propriedades acima que
Alem
(6) 0 < a < b = 0 < an < bn , quando n Z+ .
De posse destas propriedades podemos demonstrar com facilidade os seguintes lemas que
muito familiares.
nos sao
Lema 2.6.1. Dados a, b Z temos que
(i) a, b > 0 = a b > 0,
(ii) a, b < 0 = a b > 0.
Suponhamos entao
que a e b sao
ambos positivos. Como b e positivo, multipliDemonstracao.
cando ambos os membro da desigualdade a > 0 por b, obtemos
a > 0 = a b > 0 b = a b > 0,
do caso (i) esta terminada. A demonstracao
do caso (ii) e uma repeticao
da
e a demonstracao
do caso (i).
demonstracao
C.Q.D.
sinais contrarios
C.Q.D.
40
Instituto de Matematica
- UFF
de Ordem
2.6 A Relacao
Os Inteiros
ou ambos sao
positivos, ou ambos sao
C.Q.D.
do Lema 2.6.2.
Agora, demonstraremos a recproca da afirmacao
a e b tem
sinais contrarios.
C.Q.D.
diz o seguinte:
vazio de Z que e limitado inferiormente. Entao,
existe um eleSeja A um subconjunto nao
mento a0 A com a seguinte propriedade: todo elemento do conjunto A, distinto do elemento
a0 , e maior do que a0 .
O elemento a0 e dito o menor elemento (ou mnimo) do conjunto A e e denotado por min(A).
Analogamente,
vazio de Z que e limitado superiormente. Entao,
existe um
Seja A um subconjunto nao
elemento b0 A com a seguinte propriedade: todo elemento do conjunto A, distinto do elemento
b0 , e menor do que b0 .
41
Instituto de Matematica
- UFF
de Ordem
2.6 A Relacao
Os Inteiros
e limitado superiormente.
elemento pois nao
tem menor
(b) O conjunto Z tem como maior elemento o numero
1. O conjunto Z nao
e limitado inferiormente.
elemento pois nao
tem menor elemento nem maior elemento.
(c) O conjunto Z nao
Antes de seguir adiante voce deve tentar resolver alguns exerccios desta secao.
42
Instituto de Matematica
- UFF
de Ordem
2.6 A Relacao
Os Inteiros
de menor ou igual
Combinando as relacoes
de menor e de igual, definimos a relacao
) por:
(notacao
a b se, e somente se a < b ou a = b.
.
Propriedades da relacao
Sejam a, b, c Z. (1) a a,
a = b,
(2) se a b e b a entao
a c (transitividade),
(3) se a b e b c entao
comparaveis),
ou ambos sao
positivos ou
Demonstracao.
Primeiramente observamos que se ab = 1 entao
negativos. Assim, para resolver o problema e suficiente analisar dois casos.
ambos sao
Caso 1. a, b Z+ .
imediata que se a = 1 entao
b = 1 e vice-versa. Resta agora
Neste caso, e de observacao
maiores do que 1. Nesta condicao
podemos escrever
analisar o que ocorre quando ambos sao
a = 1 + n ; n 1 e b = 1 + m ; m 1. Segue da que
1 = ab = (1 + n)(1 + m) = 1 + m + n + mn > 1,
o que e absurdo. Logo, a = 1 = b.
Caso 2. a, b Z .
a, b Z+ e temos que
Como ab = 1 e a, b Z entao
(a)(b) = ab = 1.
Desta forma reduzimos o problema ao caso anterior e, consequentemente,
podemos concluir
a = 1 = b.
que a = 1 = b, isto e,
C.Q.D.
43
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
x = 1 e y = 1 e a solucao
x = 1 e y = 1.
apresenta apenas duas solucoes:
a solucao
analisada no universo dos numeros
Veremos mais tarde que a mesma equacao,
racionais, tera
Corolario
2.6.7. Sejam a Z+ e n N tais que an = 1. Entao
Se n = 0 nada resta a demonstrar. Se n = 1 entao
temos a1 = 1, isto e,
a = 1,
Demonstracao.
Este corolario
descreve uma propriedade importante das potencias
naturais de numeros
a,
|a| =
a ,
se a 0
se a < 0 .
Exerccios
1. Diga se e falso ou verdadeiro e justifique sua resposta.
Sejam x, y, z Z tais que x y > 0 e z 6= 0.
x+z>y+z
zz+1
xz2 yz2
xz4 > 0
xy + x y
z2 + xy > y2 .
44
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
(b) B = {4n ; n Z e n 0}
(c) C = {4n + 3 ; n Z e n 0}
(d) D = {3n + 1 ; n Z e n 0}
(e) E = {2n (1)n ; n Z e n 0}
Descreva A B, C D, A E, A E e C D.
abaixo, determine o subconjunto dos numeros
4. Para cada uma das inequacoes
inteiros que a
satisfaz.
(a) x + 2 < 2x + 1,
(b) x (2 x) > 2x + 1,
(c) x 2(x 1) > 2 (1 + x).
2x = 1 nao
tem solucao
em Z.
5. Mostre que a equacao
inteiras das inequacoes
6. Determine as solucoes
(a) x2 9 > 0,
(b) x2 3,
(c) 2x < 1.
7. Sejam a, m, n Z+ com a > 1. Mostre que am < an quando m < n.
Use o binomio
45
Instituto de Matematica
- UFF
de limite
2.7 Uma Primeira Nocao
Os Inteiros
p = q.
16. Sejam p, q N e n N . Mostre que se pn = qn entao
Suponha que p > q, use o binomio
Sugestao.
de Newton e o exerccio anterior.
17. Sejam a1 , a2 , . . . , an Z tais que a1 a2 . . . an = 0. Mostre que existe um inteiro k com
1 k n tal que ak = 0.
18. Sejam a1 , a2 , . . . , an N tais que a1 a2 . . .an = 1. Mostre que ai = 1 para todo i {1, . . . , n}.
19. Sejam a1 , a2 , . . . , an N tais que
n
X
i=1
n
X
i=1
de limite
2.7 Uma Primeira Nocao
muito interessante e sutil que segue das nocoes
que acabamos de introduzir, ou
Uma ideia
dos inteiros na reta orientada, e a seguinte:
mais especificamente, da representacao
1, 2, 3, . . . constituda de todos os inteiros positivos, colocados em
Considere a sucessao
ordem crescente, e seja P um ponto da reta orientada. Vimos, como propriedade da nossa
que existe n0 Z+ tal que n0 esta a` direita de P. Consequentemente,
representacao,
todo
ou escrevendo, n (le-se,
n tende a` infinito).
b, 2b, 3b, . . . , nb, . . .
Agora, seja b Z+ e considere a sucessao
46
Instituto de Matematica
- UFF
de limite
2.7 Uma Primeira Nocao
Os Inteiros
20 , 21 , 22 , 23 , . . . , 2n , . . .
Consideremos agora a sucessao
cujo termo geral e 2n , onde n N. Vejamos
Dito de outra forma, consideramos a sucessao
tambem
verifica
que esta sucessao
lim 2n = .
Utilizando o binomio
de Newton, obtemos:
n
n
X
n
ni
n
X
n
1 1
=
= (1 + 1) =
i
i
i=0
i=0
n
n
n
n
=
+
+ ... +
+
n1
n
0 1
n
n
+
= 1 + n > n.
0
1
47
Instituto de Matematica
- UFF
de limite
2.7 Uma Primeira Nocao
Os Inteiros
um instante, que descobrimos um inteiro n0 tal que 2n0 esta a` direita de P. Nesta situacao
temos:
n > n0 = 2n > 2n0 = 2n + c > 2n0 + c = 2n + c esta a` direita de P.
O problema agora e determinar n0 Z+ tal que 2n0 + c esta a` direita de P. Uma maneira de
fazer isto e a seguinte: Seja m0 um inteiro a` direita de P e consideremos um inteiro positivo n0
n0 + c > m0 ). Como n0 1 temos:
tal que n0 > m0 c (isto e,
2n0 > n0 = 2n0 + c > n0 + c > m0 = 2n0 + c esta a` direita de P.
do inteiro n0 nem sempre e trivial.
Este exemplo serve para mostrar que a determinacao
de entender a seguinte definicao:
48
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
Definicao.
Seja an , com n Z+ , o termo geral de uma sucessao
inteiros. Dizemos
sao
equivalentes. Isto vem do fato que dado um ponto P da
De fato, estas duas definicoes
reta orientada, sempre existe um inteiro positivo depois dele.
Notacao.
No seguinte, designaremos por
{an }, ou {an }nZ+ , ou {an }
n=1 , ou {an }n1 ,
de inteiros a1 , a2 , . . . , an . . ..
a sucessao
a0 , a1 , . . . , an , . . . se designa por {an }nN , ou {an }
Similarmente, a sucessao
n=0 , ou ainda
{an }n0 .
Exerccios
1. Mostre que
0! = 1).
(a) lim n! = , onde n! = 1 2 . . . n para todo n Z+ (define-se tambem
n
(b) lim n3 = .
n
(d) lim nn = .
n
3. Considere sucessoes
de numeros
inteiros {an }n1 e {nn }n1 tais que, an bn para todo
49
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
Compare an com 2n .
Sugestao:
mostre que dado K Z+ existe n0 Z+ tal que n > K para
6. Mostre que lim n = . Isto e,
n
todo n > n0 .
de numeros
7. Considere sucessoes
inteiros de termo geral bn e cn com n Z+ . Mostre que,
lim an = ,
n
lim an = .
n
lim an bn = .
Impares
2.8 Numeros
Pares, Numeros
os numeros
os
Numeros
Definicao.
pares sao
da forma 2n, onde n Z. Numeros
mpares sao
numeros
da forma 2n + 1 onde n Z.
50
Instituto de Matematica
- UFF
Os Inteiros
2.9 Multiplo
e Divisor
Exerccios
1. Mostre que:
(a) 6 + 2(2n 1) e par, qualquer que seja n Z.
(b) 2(n + 1) + 3 e mpar para cada n Z.
(c) a soma de dois numeros
pares e um numero
par.
mpares e um numero
(e) a Z e par (resp. mpar) se, e somente se, o algarismo das unidades de a e par (resp.
mpar).
2. Diga se e falso ou verdadeiro e justifique sua resposta.
mpar,
o numero
3. Idem para o numero
21. Idem para o numero
1010 + 2.
2.9 Multiplo
e Divisor
com alguns conceitos extremamente importantes.
Iniciamos esta secao
Definicao.
Dizemos que b Z divide a Z (ou que b e um divisor de a, ou que a e divisvel
51
Instituto de Matematica
- UFF
Os Inteiros
2.9 Multiplo
e Divisor
a
nulo, que b divide a e que o inteiro k e o quociente
= k significa que b e nao
b
de a por b.
da divisao
a
Quando b 6= 0, escrever a = k b e equivalente a escrever = k.
b
divide a (escrevemos b 6 | a, por simplicidade)
Note-se que, se a, b Z, dizer que b nao
A notacao
a
a
3
exatamente isto o que e dito no paragrafo
E
anterior:
quando b 6= 0,
a
faz sentido se, e somente se, a e multiplo
de b.
de facil
verificacao
que para todo inteiro nao
nulo b temos que
E
0
= 0 ja que 0 = 0 b
b
b
= 1 ja que b = 1 b.
b
ja que a = 1 a.
. . . < 4b < 3b < 2b < b < 0 < b < 2b < 3b < 4b < . . .
que construmos ao representar Z na reta orienIsto e feito multiplicando por b a ordenacao
tada:
. . . < 4 < 3 < 2 < 1 < 0 < 1 < 2 < 3 < 4 < . . .
dos multiplos
de um resultado
Esta ordenacao
de b tera papel importante na demonstracao
ou Algoritmo de Euclides.
conhecido como Algoritmo da Divisao
Propriedades da divisao.
Sejam a, b, c Z.
c divide a,
(1) se c divide b e b divide a entao
c divide a + b e temos
(2) se c divide a e b entao
52
a+b
a b
= + ,
c
c
c
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
a
a
= ,
c
c
ab
a
c divide ab e temos
(4) se c divide a entao
= b,
c
c
a
b
a
b
consequencia
ab
0
= =0
b
b
C.Q.D.
Na primeira vez que abordamos este lema (quando da lei de cancelamento para a multiplicacao)
das definicoes
elas guardam em si uma ideia.
Demonstracao.
Como b Z+ segue que b 1. Por outro lado, como b divide a segue que
a = kb onde k Z+ . Suponhamos, agora, que b > a. Multiplicando ambos os membros por k
obtemos a = kb > ka a , concluindo da que a > a, o que e um absurdo. Logo, b a.
C.Q.D.
b a.
Lema 2.9.3. Sejam a, b Z+ . Se b e um multiplo
de a, entao
Demonstracao.
Como b e multiplo
de a seque que b = ka para algum k Z+ ja que a, b Z+ .
k 1 por a Z+ obtemos b = ka a,
Agora, multiplicando ambos os membros da inequacao
b a e a prova esta terminada. C.Q.D.
isto e,
53
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
abaixo sao
falsas ou verdadeiras e justifique suas respostas.
1. Diga se as afirmacoes
(a) 10 e multiplo
de -2,
(b) 2 e multiplo
de 10,
an e multiplo
(g) se a e multiplo
de 3 entao
de 9 para todo n 2.
os dois numeros?
2. A diferenca de dois numeros
inteiros e 288 e o seu quociente e 5. Quais sao
decimal) e 0, e um
3. Mostre que todo inteiro cujo algarismo das unidades (da sua expressao
numero
par e divisvel por 5.
a = b ou a = b.
4. Sejam a, b Z. Mostre que se a divide b e b divide a entao
5. Mostre que b divide a se, e somente se, b divide a.
6. Use o Lema 2.9.2 para mostrar o seguinte resultado.
1 b |a|.
Sejam a Z e b Z+ . Se b e divisor de a, entao
7. Sejam a, b Z e seja c Z+ tal que c | a e c | b. Prove que, para quaisquer n, m Z tem-se
c | (na + mb).
Divisao.
54
Instituto de Matematica
- UFF
Os Inteiros
existencia,
a unicidade.
Exemplos. 10 = 3 3 + 1
dividindo 10 por 3 obtivemos 3 como quociente e 1 (0 1 < 3) como resto,
isto e,
17 = 0 20 + 17
dividindo 17 por 20 obtivemos 0 como quociente e 17 (0 17 < 20) como resto,
isto e,
170 = 56 3 + 2
dividindo 170 por 3 obtivemos 56 como quociente e 2 (0 2 < 3) como resto.
isto e,
Multiplicando a igualdade acima por 1 obtemos,
170 = (56) 3 2
dividindo 170 por 3 obtivemos 56 como quociente e 2 como resto.
isto e,
esta errada. Voce apenas nao
respeitou a
Cuidado com esta ultima
Exemplos. 10 = 2 3 + 4
dividindo 10 por 3 obtivemos 2 como quociente e 4 como resto (esta nao
e a divisao
do
isto e,
Euclides),
23 = (7) 3 + 44
dividindo 23 por 3 obtivemos 7 como quociente e 44 como resto (esta nao
e a divisao
do
isto e,
Euclides).
55
Instituto de Matematica
- UFF
Os Inteiros
de inteiros
Atencao!
Daqui para frente sempre que falarmos em quociente e resto de divisao
estaremos entendendo que se trata daqueles referidos no algoritmo de Euclides. Esta e uma
que estaremos sempre respeitando.
convencao
da convencao
maneiras de se obter quocientes e
restos diferentes:
13 = 7 2 1
13 = 1 2 + 11
13 = 2 2 + 9
13 = 6 2 + 1
os mesmos quoO que nos garante que adotando o algoritmo de Euclides, todos obterao
de dois inteiros dados? Essencialmente, estamos questionando a
ciente e resto, numa divisao
unicidade do quociente e do resto no algoritmo de Euclides...
com 0 r1 < b
a = q2 b + r2
com 0 r2 < b
56
Instituto de Matematica
- UFF
2.11 Fatoracao
Os Inteiros
Caso 2: r2 > r1 .
nao
ocorre.
Similarmente ao caso anterior prova-se que este caso tambem
esta terminada.
A demonstracao
C.Q.D.
do Teorema de Existencia.
Demonstracao
Sejam a, b Z com b > 0. Temos que:
. . . < 3b < 2b < b < 0 < b < 2b < 3b < . . .
disso, ja vimos (na secao
2.6) que dado a Z existe n0 Z+ tal que n0 b a < (n0 + 1)b
Alem
ou, equivalentemente, 0 a n0 b < b. Assim, a = n0 b + (a n0 b), onde 0 a n0 b < b.
dados a e b como no inicio, existem n0 , r Z tais que a = n0 b + r com 0 r < b, e a
Isto e,
esta terminada. C.Q.D.
demonstracao
Exerccios
1. Determine:
de 190 por 7. Idem para 190.
(a) o quociente e o resto da divisao
de 205 por 8.
(b) o quociente e o resto da divisao
de 15.7321997 por 4.
(c) o resto da divisao
de 1.254380 por 9.
(d) o resto da divisao
2. Determine:
(a) o menor inteiro positivo que dividido por 6 da resto 3 e dividido por 8 da resto 7.
(b) o menor inteiro positivo que deve ser somado a 8.746 para obter um multiplo
de 11 aumentado
de quatro unidades.
(c) o maior inteiro positivo pelo qual se deve dividir 1.233 e 511 para se obter os restos 9 e 7,
respectivamente.
(d) o menor inteiro que admite exatamente 15 divisores inteiros positivos.
3. Sejam A = {n Z ; n e par} e B = {n Z ; n e mpar}. Mostre que Z = A B e A B = .
Olhe para o resto da divisao
por 2.
Sugestao.
e divisvel por 2.
4. Mostre que um numero
e mpar se, e somente se, ele nao
57
Instituto de Matematica
- UFF
2.11 Fatoracao
Os Inteiros
2.11 Fatoracao
como produto de um numero
Fatorar um numero
inteiro positivo e escreve-lo
finito de inteiros
com
pode ser fatorado como 12 = 2 6 = 3 4 = 4 3 = 2 2 3. No entanto existe uma fatoracao
em fatores primos.
precisamos da seguinte definicao.
Definicao.
Um inteiro p > 1 e dito um numero
primo se os unicos
inteiros positivos que o
1 e p.
dividem sao
em fatores primos). Qualquer inteiro a > 1 pode ser
Teorema 2.11.1. (de decomposicao
numeros
fatorado de modo unico
como a = p1 1 p2 2 . . . ps s onde p1 < p2 < . . . < ps sao
primos e
ou nao?
. Por exemplo, sera que 3.431 e primo?
existe um algoritmo que nos permita gerar todos os numeros
Ate agora, nao
primos. Por
se faz por calculo
tanto, a verificacao
direto. O seguinte resultado da um metodo
para atacar o
problema:
58
Instituto de Matematica
- UFF
2.11 Fatoracao
Os Inteiros
2.11.2. Um inteiro n > 1 e primo se, e somente se, nenhum primo p tal que p2 n
Proposicao
e divisor de n.
Demonstracao.
os seus unicos
1 e o proprio
Entao:
p2 > n
disso, q k < p.
Como q e tambem
Alem
Logo n = k p = (s q) p > (s q) q = s q2 q2 > n. Absurdo!
nao
pode ser menor do que p.
Portanto k tambem
pode ter divisores primos, isto e,
n e primo. C.Q.D.
Portanto n nao
Exemplos.
sao
divisores de 79 e nao
precisa O inteiro 79 e primo: Com efeito, vemos que 2, 3, 5 e 7 nao
mos testar mais, pois 112 = 121 > 79.
do algoritmo de Euclides vemos que:
O inteiro 347 e primo: Fazendo a divisao
347 = 173 2 + 1 = 115 3 + 2 = 69 5 + 2 = 49 7 + 4 = 31 11 + 6 = 26 13 + 9 = 20 17 + 7 ,
347 nao
e divisvel pelos primos 2, 3, 5, 7, 11, 13, 17, o seguinte primo e 19, mas
isto e,
347 e primo.
192 = 361 > 347. Logo, pela proposicao,
59
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
em fatores primos de
1. Faca a decomposicao
(a) 2k + 2k+1 onde k N
b.
em fatores primos e dada por a = p1 1 p2 2 . . . ps s
6. Seja a > 1 um inteiro cuja decomposicao
numeros
onde p1 < p2 < . . . < ps sao
primos e cada i e um inteiro positivo para cada i
resolva a
7. Sejam a, b Z tais que a b = 6. Determine os possveis valores de a e b, isto e,
a b = 6 em Z.
equacao
tem a equacao
a2 b = 18 em Z. Idem para a2 b = 180.
8. Quantas solucoes
primos e ache a decomposicao
em fatores primos
9. Dentre os seguintes inteiros, diga quais sao
sao
primos:
daqueles que nao
541 ,
871 ,
89 ,
381 ,
1.411 3.719 .
da colecao
de numeros
O maior divisor comum (escreve-se mdc) de uma colecao
inteiros e o maior
60
Instituto de Matematica
- UFF
Os Inteiros
Se a colecao
e
entre 1 e a tendo em vista o Lema 2.8.2. Assim sendo, o conjunto dos divisores da colecao
limitado superiormente. Consequentemente,
possui um maior elemento. Tal elemento e aquele
possui apenas
E agora, como garantir a existencia
do maior divisor comum quando a colecao
inteiros negativos? Bem, reduzindo o problema ao caso anterior! Para isto basta observar que
b > 0 divide a se, e somente se, b divide a. Isto garante que os divisores comuns de uma
e da colecao
formada pelos simetricos
decorre
colecao
da primeira coincidem. Logo a conclusao
do caso anterior.
Designamos por mdc(a1 , a2 , . . . , ak ) o maior divisor comum de a1 , a2 , . . . , ak Z. Dizemos
relativamente primos se mdc(a1 , a2 , . . . , ak ) = 1.
que os inteiros a1 , a2 , . . . , ak sao
Exemplos.
mdc(a, 1) = 1 para todo a Z ,
mdc(a, 1) = 1 para todo a Z ,
mdc(a, ka) = a para todo a Z+ e k Z ,
mdc(a, ka) = a para todo a Z e k Z .
mdc(p, q) = 1 para quaisquer primos distintos p e q.
caracterizacoes
relevantes do mdc, estes podem ser enunOs seguintes dois resultados sao
c tal que
(a) c e divisor comum de a e b,
(b) qualquer divisor comum de a e b e divisor de c.
61
Instituto de Matematica
- UFF
Os Inteiros
enunciado e unico.
sao
do argumento) figuram entre os fatores das decomposicoes
de a e b.
pc e um divisor comum de a e b que e maior que c, contradizendo
Como p > 1, pc > c. Isto e,
de c. Portanto c verifica a propriedade (b).
a definicao
c = mdc(a, b), pois qualquer
Seja agora c Z+ verificando as propriedades (a) e (b). Entao
outro divisor comum d de a e b e (pela propriedade (b)) divisor de c e portanto e menor ou igual
a c.
Finalmente, suponhamos que d Z+ e um numero
verificando as propriedades (a) e (b)
sao
simultaneamente iguais a zero, o conjunto
Demonstracao.
Sendo que a e b nao
A = {na + mb ; n, m Z}
nulos. Observando que, (na + mb) = (n)a + (m)b vemos que, o conjunto
tem inteiros nao
A deve conter algum inteiro positivo.
Seja c o menor inteiro positivo contido em A. Vamos provar que c = mdc(a, b).
ambos nulos tais que c = n0 a + m0 b. Como todo
Como c A, existem inteiros n0 e m0 nao
2.9), temos d | c.
divisor comum d de a e b divide qualquer elemento de A (exerccio 7, secao
Resta provar que c divide a e b. Primeiramente observamos que, ao aplicar o algoritmo de
62
Instituto de Matematica
- UFF
Os Inteiros
nao
todos nulos) tais
relativos se, e somente se, existem inteiros n1 , n2 , . . . , nk Z (tambem
que:
n1 a1 + n2 a2 + . . . + nk ak = 1.
do mdc de uma colecao
finita de numeros
Uma ferramenta util
inteiros e o
na determinacao
em fatores primos.
teorema de decomposicao
de numeros,
Com efeito, para determinar o mdc de uma colecao
escrevemos cada um deles
1.320
1.640
1.240
660
820
620
330
410
310
165
205
155
55
41
41
31
31
11
11
Isto e,
63
Instituto de Matematica
- UFF
Os Inteiros
Comum
2.480 = 24 5 31 ,
1.320 = 23 3 5 11 ,
1.640 = 23 5 41.
numeros:
fatoracao
dos tres
1.240
660
820
620
330
410
310
165
205
65
33
41
Exerccios
1. O mdc de dois inteiros positivos e 45. Sabendo que o maior deles e 540 determine o menor
(ou, os menores).
2. Determinar todos os pares de inteiros positivos sabendo que cada par tem soma 520 e mdc
40.
liga a e b quando
3. Sejam a, b Z+ . Que relacao
a+b
= 5?
mdc(a, b)
que estao
uma das outras. Sabendo que a distancia
entre duas
arvores
consecutivas e a maior possvel e que plantamos uma arvore
em cada canto do terreno,
qual o numero
de arvores
plantadas?
Pergunta-se o numero
de criancas aquinhoadas e o numero
de cada especie
de fruta que cada
crianca recebeu.
6. Sejam a, b Z primos relativos. Se c Z e a | bc, mostre que, necessariamente, a | c.
Comece multiplicando por c a relacao
n0 a + m0 b = 1.
Sugestao:
64
Instituto de Matematica
- UFF
Os Inteiros
Comum
Comum
de numeros
Dada uma colecao
inteiros, diremos que um inteiro e um multiplo
comum da
colecao
de cada inteiro da colecao.
de numeros
O menor multiplo
comum (escrito mmc) de uma colecao
inteiros e o menor dos
negativos.
seus multiplos
comuns nao
multiplo
comum o 0. Logo o seu menor multiplo
comum existe e e 0.
negativos da colecao
(que por definicao,
e subconjunto de N) e nao
vazio e portanto
muns nao
possui um menor elemento (veja os lembretes acima). Tal elemento e aquele que estamos
nao
vazia de
A pergunta importante agora e a seguinte: Sob que condicoes
uma colecao
finita, certamente.
inteiros distintos possui um multiplo
comum? Bem, quando ela e uma colecao
(a) d e multiplo
comum de a e b,
65
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
multiplo
(b) todo multiplo
comum de a e b e tambem
de d.
Demonstracao.
Exerccio.
do mmc de uma colecao
finita
Como no caso do mdc, uma ferramenta util
na determinacao
em fatores primos.
de numeros
inteiros e o teorema de decomposicao
Exemplos.
mmc(a, 1) = a quando a Z+ e mmc(a, 1) = a quando a Z ,
mmc(an , am ) = amax{m,n} quando a, m, n Z+ , onde max{m, n} representa o maior dentre m
e n.
anterior e
destes numeros
feita na secao
2.480 = 24 5 31 ,
1.320 = 23 3 5 11 ,
1.640 = 23 5 41,
Exerccios
1. Determinar o menor inteiro positivo que dividido por 5, 7 e 8 da restos 3, 5 e zero, respectivamente.
2. O menor multiplo
comum de dois inteiros positivos e 72 e um deles e 24. Que valores poderao
ter o outro?
3. O produto de dois inteiros positivos e 4.320 e o mmc e 360. Determinar todas as possibilidades
para tais numeros.
66
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
4. Determinar dois inteiros positivos cujo mmc e 225, sabendo que o quociente das soma desses
numeros
pelo seu mdc e 8.
automoveis
5. Tres
disputam uma corrida em uma pista circular. O primeiro da cada volta em 4
os tres
a se encontrar no incio da pista, se eles partiram juntos?
2.13.1.
6. Prove a proposicao
7. Sejam a, b Z+ . Mostre que a b = mdc(a, b) mmc(a, b).
inteiros primos
8. Sejam a = p1 1 p2 2 . . . pk k e b = p1 1 p2 2 . . . pk k , onde p1 < p2 < . . . < pk sao
alguns dos i ou alguns dos j podem ser nulos,
e i , i N para todo i {1, 2, . . . , k} (isto e,
e a fatoracao
do teorema de decomposicao).
esta nao
Mostre que
(a) mdc(a, b) = p1 1 p2 2 . . . pk k , onde i = min{i , i } para todo i {1, 2, . . . , k}.
(b) mmc(a, b) = p11 p22 . . . pkk , onde i = max{i , i } para todo i {1, 2, . . . , k}.
67
Instituto de Matematica
- UFF
Os Inteiros
Exerccios
68
Instituto de Matematica
- UFF
Captulo 3
Os Racionais e os Irracionais
3.1 Os Racionais
m
tem sentido em Z apenas
n
n x = m, com n 6= 0, tem solucao
quando m e um multiplo
de n. Equivalentemente, a equacao
m
, onde m, n Z e n 6= 0. Designamos por Q
n
m
Q=
; m, n Z, n 6= 0 .
n
m
Se r =
Q, o inteiro m e chamado o numerador de r e o inteiro n e dito o denominador de r.
n
Definicao.
Dizemos que, os numeros
racionais
m0
m
m m0
iguais, e escrevemos
e 0 sao
= 0,
n
n
n
n
m
m
Q =
Designamos por Q o conjunto que consiste dos numeros
racionais diferentes de 0, isto e,
Q {0}.
69
3.2 Operacoes
Sobre Q
Os Racionais e os Irracionais
m
m
=
n
n
m
m
=
.
n
n
m
k
m
racionais que,
= = k, isto e,
= k.
n
1
n
m
imediata e que todo racional pode ser colocado na forma
Uma outra observacao
onde m, n
n
Z e n Z+ .
m
k1 q
k1
m0
m
m0
relativamente primos. Neste caso, a fracao
racional
na forma 0 onde m 0 , n 0 sao
e dita
n
n
n0
irredutvel.
uma fracao
3.2 Operacoes
Sobre Q
definidas operacoes
de adicao
e multiplicacao
da seguinte maneira:
Em Q sao
+ : Q Q Q
: Q Q Q
p r
ps + rq
p r
,
7 + =
(soma ou adicao)
q s
q s
qs
p r
p r
pr
ou produto)
, 7 =
(multiplicacao
q s
q s
qs
onde p, r Z e q, s Z .
` propriedades de tais operacoes
faremos algumas observacoes
imporAntes de passarmos as
tantes:
1.
Observacao
e multiplicacao
de numeros
Primeiramente, as operacoes
de adicao
racionais que introduzi
bem definidas. Esta frase significa que o resultado das operacoes
independe
mos acima estao
usada para representar os operandos.
da fracao
Isto e:
p
p0
= 0
q
q
r
r0
= 0
s
s
=
p r
p0 r0
+ = 0+ 0
q s
q
s
p r
p0 r0
= 0 0
q s
q s
.
da soma, obtemos:
De fato, por hipotese:
pq 0 = p 0 q e rs 0 = r 0 s. Da definicao
p r
ps + rq
+ =
q s
qs
p0 r0
p 0s 0 + r 0q 0
+
=
.
q0 s0
q 0s 0
70
Instituto de Matematica
- UFF
3.2 Operacoes
Sobre Q
Os Racionais e os Irracionais
de igualdade de numeros
Segundo a definicao
racionais, temos que verificar:
Usando as hipoteses
temos:
(ps + rq)(q 0 s 0 ) = (ps)(q 0 s 0 ) + (rq)(q 0 s 0 ) = (pq 0 )(ss 0 ) + (rs 0 )(qq 0 )
= (p 0 q)(ss 0 ) + (sr 0 )(qq 0 ) = (p 0 s 0 )(qs) + (r 0 q 0 )(qs)
= (p 0 s 0 + r 0 q 0 )(qs) ,
como queramos.
para a multiplicacao
e feita de maneira similar (exerccio).
A verificacao
p r
pq + rq
p+r
71
Instituto de Matematica
- UFF
3.2 Operacoes
Sobre Q
Os Racionais e os Irracionais
(4) Existencia
de elementos neutros (0 para + e 1 para ):
tais que:
Os racionais 0 e 1 sao
0 + a = a = a + 0 para todo a Q.
1 a = a = a 1 para todo a Q.
(5) Existencia
dos simetricos:
a, tal que
a + (a) = 0 = (a) + a.
(6) Existencia
dos inversos:
Para todo numero
racional a Q diferente de zero, existe um numero
racional chamado o
1
1
inverso ou recproco de a, que designamos por a ou por , tal que
a
1
1
a = 1 = a.
a
a
+
=
=
=
1
n
q s
n
qs
n(qs)
(nq)s
(mp)s + (mq)r n
(mp)(sn) + (mq)(rn)
=
=
(nq)s
n
(nq)(sn)
(mp)(sn) + (mr)(nq)
mp mr
m p m r
=
=
+
=
+
(nq)(sn)
nq
ns
n q
n s
= a b + a c.
72
Instituto de Matematica
- UFF
3.2 Operacoes
Sobre Q
Os Racionais e os Irracionais
As potencias
naturais de numeros
racionais sao
Definicao:
a0 = 1 para todo 0 6= a Q
ak = a
. . a} para todo a Q e k N .
| .{z
k vezes
ak =
1
para todo 0 6= a Q e k N.
ak
m
n
k
=
m m ... m
m m
m
mk
...
=
= k .
n}
n n ... n
n
|n n {z
k vezes
sequ encias
diretas das correspondentes propriedades para potencias
naturais de inteiros listadas no captulo 2.
de potencias
Na definicao
negativas de numeros
racionais, vemos que, se a =
n Z+ , entao:
a
1
1
1
qn
= n = n = n = n =
p
a
p
p
n
q
q
p
Q e
q
n n
q
1
=
= (a1 )n .
p
a
das
Isto nos permite usar a igualdade an = (a1 )n , e mostra que, na verdade, a introducao
de potencias
potencias
negativas de numeros
racionais e de fato consequ encia
da definicao
do recproco de um numero
nulo.
positivas e da definicao
racional nao
73
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
Rracionais
m
Q, com m, n Z+ , determinar numeros
inteiros relativamente primos p, q Z+ ,
n
p
m
p
m
irredutvel de .
tais que
= . Isto e,
e a fracao
q
n
q
n
Dado
n. Isto e,
484
22 112
2 112
242
=
=
=
.
798
2 3 7 19
3 7 19
399
Neste exemplo, mdc(484, 798) = 2.
484
22 112
11
11
=
= 2
= .
924
2 3 7 11
37
21
Neste exemplo, mdc(484, 924) = 22 11 = 44.
484
22 112
11
= 2
=
= 11. Neste exemplo, 44 | 484
44
2 11
1
Racionais
2.4, onde ja representamos os numeros
Consideremos a reta orientada da secao
inteiros.
74
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
Rracionais
m
+
n
n
em relacao
a` origem, obtemos a representacao
dos racionais
feito isto, mediante uma reflexao
m
da forma
com m Z .
n
do paragrafo
de nocoes
elementares de geometria basica,
paralelismo, semelhanca, etc. que devem ser
conhecidas (pelo menos intuitivamente) pelo leitor.
colinear com
Fixemos n Z+ . Tomemos uma semi-reta auxiliar r 0 partindo da origem e nao
obtendo um triangulo
de vertices
OAU.
75
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
Rracionais
nao
triviais:
Consideremos duas situacoes
dos racionais
Sejam m, m 0 Z+ tais que m < n < m 0 . Vamos achar a representacao
m
e
n
0
n
m0
. Os racionais = 0 e = 1 ja foram representados.
n
n
n
0
Na semi-reta r designamos por B e C os pontos que representam os inteiros m e m 0 respectivamente. Sejam BB 0 e CC 0 os segmentos paralelos ao segmento AU que ligam B e C a
que os pontos B 0 e C 0 sejam os representantes
pontos B 0 e C 0 em r. Convencionamos entao
0
m m
importante observar que, m < n < m 0 implica
dos racionais
e
na reta orientada r. E
n
n
m
que o ponto de r que representa
esta a` esquerda de 1 que, por sua vez, esta a` esquerda do
n
0
m
ponto de r que representa
.
n
e completamente compatvel com a nossa nocao
intuitiva
Note-se que esta representacao
de semelhanca de triangulos.
De fato, os triangulos
OAU e OBB 0 sao
iguais, pois os segmentos BB 0 e AU sao
paralelos). Logo, a razao
n
0 1 2
n1 n
, , ,...,
, ,
n n n
n
n
sendo o primeiro igual a 0 e o ultimo
igual a 1.
m
Os racionais da forma
com m Z podem ser representados de uma maneira semen
deixados ao leitor.
lhante (ver Fig. 2), os detalhes sao
Tendo ja representados os numeros
racionais na reta orientada, vamos dar agora uma
grafica
` operacoes
2.4 para os
interpretacao
as
de soma e produto como foi feito na secao
inteiros.
m
Comecamos por observar que, se um ponto P da reta orientada representa um racional
n
km
o mesmo ponto P representa todos os racionais da forma
entao,
, com k Z+
kn
m p
Sejam
e racionais, com n, m Z+ , representados na reta orientada pelos pontos P1 e
n q
P2 respectivamente.
76
Instituto de Matematica
- UFF
de Ordem em Q
3.4 A Relacao
Os Racionais e os Irracionais
mq
o racional
do paragrafo
Pela observacao
anterior, P1 representa tambem
e P2 representa
nq
np
o racional
.
nq
P o ponto na reta orientada obtido intersectando a reta orientada com a paralela
Seja entao
por
ao segmento que liga nq (na semi-reta r 0 ) com U passando por mq + np. Tal ponto e,
mq + np
m p
o representante do racional
da soma
definicao,
, isto e,
+ .
nq
n
q
dos racionais
Fig.2. Representacao
m
n
Este procedimento pode-se resumir no seguinte: Uma vez que temos pontos P1 e P2 na reta
m p
de
orientada representando racionais
e , consideramos os segmentos orientados que vao
n q
O a P1 e de O a P2 que designamos por OP1 e OP2 respectivamente. Deslizando o segmento
OP2 sobre nossa reta orientada r ate fazer coincidir O com P1 , vemos que o ponto final do
m p
e um novo ponto P que representa o racional
segmento obtido por esta translacao
+ (ver
n
q
p
corresponde a obter o ponto P transladando em unidades o ponto P1 .
Fig.4). Esta ideia
q
da soma
Fig.4. Outra representacao
5
+
2
2
3
11
.
6
m p
racionais. Proceda, por exemplo, da seguinte maneira: Considere dois racionais
e . Faca
n
q
um desenho colocando as retas r e r 0 como acima. Na reta r 0 localize o ponto P r 0 que
representa o inteiro nq. Se nq > 0, trace um segmento ligando P com o ponto U r que
representa a unidade 1 (veja as figuras acima). Se R r 0 e o ponto que representa o inteiro mp,
trace a paralela ao segmento PU passando por R. Tal paralela deve cortar r (justifique!) num
m p
ponto Q. Pelo acima dito, o ponto Q r e o representante do produto
.
n q
77
Instituto de Matematica
- UFF
de Ordem em Q
3.4 A Relacao
Os Racionais e os Irracionais
de Ordem em Q
3.4 A Relacao
vamos introduzir uma relacao
de ordem no conjunto dos numeros
Nesta secao
racionais da
(le-se
e maior que ) e o mesmo que escrever
< .
que representa . Escrever >
q
q
n
q
n
n
q
2
5 11
2
2
2
anterior, vemos que < 0, 0 < ,
Por exemplo na Fig.4 da secao
> , < , etc.
3
2 6
3
3
3
Da mesma maneira que no captulo 2, um numero
racional e chamado positivo se e maior
positivos
racionais positivos (respectivamente negativos). Assim, o conjunto dos racionais nao
negativos e Q Q .
e Q Q+ e o conjunto dos racionais nao
Evidentemente, verificar que um numero
racional e menor que outro usando apenas a
m
m0
<
(em Q) se, e somente se, m < m 0
n
n
distintos de n.
Demonstracao.
Suponhamos inicialmente que m e m 0 sao
78
Instituto de Matematica
- UFF
de Ordem em Q
3.4 A Relacao
Os Racionais e os Irracionais
representacao).
Uma propriedade bem conhecida das paralelas na geometria Euclidiana nos da que, A
esta entre B e C se, e so se, A 0 esta entre B 0 e C 0 , que traduzido na nossa linguagem fica:
m
m0
tratados de maneira similar.
<1<
m < n < m 0 . Os outros dois casos sao
n
n
Agora, se m = n, consideramos a reta 0 paralela a passando pelo ponto D em r que
representa o racional 1 e pelo ponto D 0 em r 0 que representa o inteiro n, se procede como
acima com as retas 0 , e . C.Q.D.
m p
m
p
3.4.2. Sejam
Proposicao
, Q, com n, q Z+ . Entao
<
(em Q) se, e so se,
n q
n
q
mq < np (em Z).
m
mq
p
np
mq
Sabemos que
Demonstracao.
=
e que =
. Pelo lema anterior,
esta a` esquerda
n
nq
q
nq
nq
np
de
se, e so se, mq < np em Z. C.Q.D.
nq
da relacao
< em Q, dada na proposicao
anterior, permite traduzir praticaA caracterizacao
< em Z, da secao
2.5. Comecamos com as propriemente todas as propriedades da relacao
dades basicas
da relacao
das correspondentes
2.5, e da caracterizacao
da relacao
< em Q
propriedades para os inteiros enunciadas na secao
anterior. A demonstracao
fica como exerccio para o leitor.
dada na proposicao
< em Q.
Propriedades da relacao
Sejam r, s, t Q.
r < t (transitividade),
(1) se r < s e s < t entao
r < s ou s < r ( dois elementos distintos sao
comparaveis),
(2) se r 6= s entao
r + t < s + t,
(3) se r < s entao
rt < st,
(4) se r < s e t > 0 entao
rt > st,
(5) se r < s e t < 0 entao
(6) 0 < r < s = 0 < rn < sn , para todo n Z+ ,
(7) 0 < r < s = 0 < sn < rn , para todo n Z+
79
Instituto de Matematica
- UFF
de Ordem em Q
3.4 A Relacao
Os Racionais e os Irracionais
3.
Observacao
m
> 0 se, e somente se, os inteiros m e n tem o
n
m
0
3.4.2, que
De fato, se n > 0, segue da proposicao
> = 0 se, e somente se, m = m 1 >
n
1
m
m
0
n 0 = 0. Se n < 0, entao
=
> = 0 se, e somente se, m = (m) 1 > (n) 0 = 0.
n
n
1
se, e somente se, m < 0.
Isto e,
2.5, esta
A diferenca entre as propriedades listadas acima e as correspondentes da secao
se tem a nocao
de
contida na propriedade (7) pois, em se tratando de numeros
inteiros, nao
A verificacao
implica 0 < s1 <
3.4.2.
r1 , mas isto e consequ encia
da proposicao
m
p
Com efeito, se r =
e s = temos 0 < r < s se, e somente se:
k
q
0<
m
p
q
k
< 0 < mq < kp 0 < <
0 < s1 < r1 .
k
q
p
m
Das propriedades (4), (6) e (7) temos que: Se r Q e 0 < r < 1, entao:
0 < . . . < rn < . . . < r3 < r2 < r < 1 < r1 < r2 < r3 < . . . < rn < . . .
Demonstracao.
Sejam r =
e (ii):
rs=
mp
sinais contrarios
r e s tem
80
Instituto de Matematica
- UFF
de Ordem em Q
3.4 A Relacao
Os Racionais e os Irracionais
rs=
mp
o mesmo sinal
> 0 mp > 0 m e p tem
nq
o mesmo sinal.
r e s tem
Finalmente, r s =
mp
= 0 mp = 0 m = 0 ou p = 0 . Isto termina a prova de
nq
(iii). C.Q.D.
< com =, introduzimos a notacao
da mesma maneira que no
Ao combinar a relacao
possui as propriedades (1)-(8), listadas na secao
correspondente do
captulo 2. A relacao
destas 8 propriedades temos uma adicional:
captulo 2, ao considerar a, b Q. Alem
(9) 0 < a b = 0 < bn an , para todo n Z+ .
destas propriedades e simples e a deixamos como exerccio para o leitor.
A verificacao
xy = 1. Na secao
2.5 vimos que esta equacao,
mesma equacao
Com efeito, a igualdade xy = 1 em Q significa que x 6= 0 6= y e que y e o recproco de x.
de numeros
racionais nao
racionais diferentes de zero tambem
e finita.
nao
Um fato curioso e importante de se observar e que, o conjunto Q, possui tantos elementos
quanto o conjunto N dos numeros
naturais, e o mesmo vale para Z. Isto se verifica enumerando
e feita da
indicado na poligonal mais clara indica como enumerar estas fracoes.
A enumeracao
da forma
Na tabela abaixo figuram todas as fracoes
seguinte maneira:
0 1 0 0 1 2 3 2 1 0 0 1 2 3 4 5 4 3 2 1
5 6 7 8 9 10
, , , , , , , , , , , , , , , , , , , ,..., , , , , , ,...
1 1 2 3 2 1 1 2 3 4 5 4 3 2 1 1 2 3 4 5
6 5 4 3 2 1
0
1
0
2
Isto e,
e o primeiro elemento da lista, e o segundo, e o terceiro,. . . , o decimo
terceiro,
1
1
2
3
etc.
81
Instituto de Matematica
- UFF
de Ordem em Q
3.4 A Relacao
Os Racionais e os Irracionais
negativos (os
O conjunto das fracoes
descritas contem todos os numeros
racionais nao
negativos
quais aparecem na lista com repeticoes),
logo o conjunto dos numeros
racionais nao
Fundamentos da Matematica
Matematica
e outras historias
de Elon L. Lima (Colecao
Elementar,
proezas matematicas
de Beremiz Samir narradas por um fiel amigo e companheiro durante
irmaos
em acirrada discussao
por causa
camelo, chegam a um oasis,
onde encontram-se tres
da heranca de 35 camelos deixada pelo pai, quem antes de morrer, estipulara que metade da
heranca caberia ao filho mais velho, um terco ao do meio e um nono ao mais moco.
vinha do fato de que 35 nao
e divisvel por 2, 3 e 9. Portanto, o filho mais
Bem, a discussao
35
2
27+8
9
35
9
34+1
2
=3+
= 17 +
8
9
1
2
35
3
33+2
3
= 11 +
2
3
camelos, e o
camelos !!!
36
3
36
9
= 4 camelos !!
esta partilha, todos saram ganhando, ate Beremiz que ainda ficou com o seu camelo
Apos
e mais um para o seu amigo !!
82
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
1
18
1
2
1
3
1
9
17
<
18
1 !! Logo,
amigo...
socorrem
O seguinte problema aparece quando Beremiz e seu amigo, a caminho de Bagda,
no deserto um rico cheique, que fora assaltado, e com ele repartem irmamente
sua comida, que
se resumia a 8 paes:
5 de Beremiz e 3 do amigo.
Chegados ao seu destino, o cheique os recompensa com oito moedas de ouro: 5 para
Beremiz e 3 para o amigo.
ficam surpresos com o suave protesto de Beremiz. Segundo este, a maneira
Todos entao
justa de repartir as 8 moedas seria dar 7 a ele e apenas 1 ao amigo !!
consistia em
O argumento de Beremiz fora o seguinte: durante a viagem, cada refeicao
em 3 partes iguais e cada um dos viajantes comia uma delas. Foram consumidos
dividir um pao
ao todo 8 paes,
ou seja 24 tercos, cada viajante comendo 8 tercos. Destes, 15 tercos foram
do cheique.
dados por Beremiz, que comeu 8, logo contribuiu com 7 tercos para a alimentacao
Por sua vez, o amigo contribuiu com 9 tercos, dos quais comeu 8, logo participou apenas com 1
de Beremiz.
terco para alimentar o cheique. Isto justifica a observacao
No final, porem,
o homem que calculava, generosamente, ficou com apenas 4 moedas,
dando as 4 restantes ao amigo.
da barca Rio-Niteroi
aconselhou ao meu amigo andar diariamente
3, 5 quilometros,
uma duzia
de bananas custa na feira 1, 50 de real, etc. Com a mesma natura
de soma, multiplicacao
, diferenca
lidade que reconhecemos, aprendemos a efetuar operacoes
e quociente com tais quantidades.
uma terminologia baseada em potencias
Adotamos tambem
do numero
natural 10 chamada
computacao
(baseado em potencias
de 2) ou o sistema hexa
J. Delgado - S. Firmo - P. Nobrega
83
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
dos numeros
decimal (baseado em potencias
de 16). Em se tratando da representacao
inteiros
A convencao
n do paragrafo
acima e escrito (na base 10)
o outro em justaposicao
de esquerda a direita na ordem
colocando os seus algarismos um apos
A fim de nao
a` base 10.
dos numeros
do natural 10.
Teorema 3.5.1. Todo numero
racional r pode ser escrito na forma
b1
b2
b`
+ 2 + ... + ` + ...
1
10
10
10
(4)
Antes
da prova deste teorema, vamos introduzir a terminologia usada no cotidiano e que
usaremos no resto destas notas.
tambem
de r em (4) escreve-se por justaposicao
na forma:
Notacao.
A representacao
r = ak ak1 . . . a2 a1 a0 , b1 b2 b3 b4 . . . b` . . .
A parte ak ak1 . . . a2 a1 a0 = ak 10k + ak1 10k1 + . . . + a1 101 + a0 100 e chamada a parte
b1
b2
b`
inteira de r e se designa por [r]. A parte 0 , b1 b2 b3 b4 . . . b` . . . = 1 + 2 + . . . + ` + . . . e
10
10
10
chamada a parte decimal de r.
84
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
As expansoes
decimais finitas podem ser pensadas como sendo periodicas
de maneira
de zeros:
trivial acrescentando uma terminacao
0 , b1 b2 . . . bk = 0 , b1 b2 . . . bk 000 . . . 00 . . . = 0 , b1 b2 . . . bk 0 .
do Teorema 3.5.1 que apresentaremos a seguir, provaremos um pouco
Na demonstracao
fundamentais para a
mais do que a tese exige, os resultados adicionais que vamos obter sao
seguinte proposicao:
m
e sempre
n
2 e/ou
finita ou periodica,
sendo finita se, e somente se, os unicos
divisores primos de n sao
decimal do numero
3.5.2. Sejam m, n Z+ . A expansao
Proposicao
racional
decimal de um
5. Reciprocamente, toda expansao
e a expansao
numero
racional.
simetria.
e completamente construtiva,
Procedemos com a prova do teorema 3.5.1, a demonstracao
decimal de um numero
dando lugar a um algoritmo para determinar a expansao
racional. Tal
(ou iteracao)
do algoritmo de Euclides. Mais ainda, o nosso
algoritmo e construdo por repeticao
com resto que efetuamos desde
algoritmo e apenas a justificativa formal do processo da divisao
decimais.
nossos cursos elementares para obter expansoes
85
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
do Teorema 3.5.1.
Demonstracao
Consideremos um numero
racional r =
m
irredutvel, isto e,
m, n Z+ sao
a considerar:
Temos duas situacoes
Caso I. n = 1.
m
= m e um numero
inteiro e escreve-se na forma ak 10k + ak1 10k1 + . . . +
n
a1 101 + a0 100 , onde bj = 0 para todo j Z.
Neste caso,
Caso II. n 6= 1.
()
1
m
bk
r1
obtemos
= k1 +
. Logo
k
n 10 1
n
10 1 n 10k1
m
b1
b2
bk
r1
= 1 + 2 + . . . + k1 +
.
n
10
10
10 1 n 10k1
86
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
o lado
Pela maneira como foi feita a escolha do inteiro k1 temos m 10k1 1 < n e entao,
r1
esquerdo da igualdade e estritamente menor que 10. Como 0 r1 < n temos
0 e o lado
n
direito da igualdade e maior ou igual a bk1 .
Portanto, 10 > bk1 e como bk1 Z+ , obtemos 10 > bk1 > 0 como afirmamos.
a expansao
decimal e finita e m 10k1 = n bk1 . Portanto n
Se r1 e igual a 0 em (*), entao
relativamente primos, n e divisor de 10k1 , logo n e um
e divisor de m 10k1 . Como n e m sao
produto de potencias
de 2 e/ou de 5. Neste caso,
b1
m
b2
bk 1
bk
= 1 + 2 + . . . + k1 1 + k1 = 0 , b1 b2 . . . bk1 1 bk1 .
1
n
10
10
10
10 1
r1
com 0 r2 < n
nulo da expansao
decimal de
Provaremos que o seguinte dgito nao
isto, temos que verificar que 10 > bk1 +k2 > 0.
()
m
e bk1 +k2 . Antes de provar
n
r1 10k2 1
0 r2 < n implica
< 1. Por outro lado, a relacao
n
r2
0. Portanto, ao dividir a igualdade (**) por n obtemos:
n
Pela escolha do inteiro k2 temos
10 > 10
r1 10k2 1
r2 10k2
r2
=
= bk1 +k2 +
bk1 +k2 .
n
n
n
2 e/ou 5.
n sao
Se r2 6= 0, multiplicamos a igualdade de (**) por
1
para obter
n 10k1 +k2
r2
bk +k
r2
= k1 +k2 +
.
k
n 10 1
10 1 2 n 10k1 +k2
87
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
Logo
m
b1
bk 1
bk
bk +1
bk +k 1
bk +k
r2
,
= 1 + . . . + k1 1 + k1 + k1 +1 + . . . + k1 +k2 1 + k1 +k2 +
n
10
10 1
10 1 10 1
10 1 2
10 1 2 n 10k1 +k2
e se repete o procedimento com r2 no lugar de m.
Observamos que, caso nenhum dos restos r0 = m, r1 , r2 , r3 , . . . obtidos no algoritmo seja
m
decimal de
sera finita, mas por outro lado, estes restos estao
tonulo, a expansao
nao
n
de no maximo
b1
b`
= 10 ak 10 + . . . + a1 10 + a0 10 + 1 + . . . + ` + . . .
10
10
= ak 10k+n + ak1 10k1+n + . . . + a1 101+n + a0 100+n + b1 10n1
n
= 10
b1
b`
ak 10 + . . . + a1 10 + a0 10 + 1 + . . . + ` + . . .
10
10
k
88
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
b1
b`
= 10 ak 10 + . . . + a1 10 + a0 10 + 1 + . . . + ` + . . .
10
10
= ak 10kn + ak1 10k1n + . . . + a0 100n + b1 10n1 + . . .
n
da Proposicao
3.5.2.
Demonstracao
decimal de um numero
Na prova do teorema 3.5.1 vimos que, a expansao
racional e sempre
decimal de
os unicos
finita ou periodica,
e que se a expansao
e finita, entao
divisores primos
n
2 e/ou 5. Vamos provar agora que, se os unicos
2 e/ou 5,
de n sao
divisores primos de n sao
m
a expansao
decimal de
e finita.
entao
n
Seja n = 2 5 , para alguns , N.
por estudar:
Temos duas situacoes
Caso :
Neste caso, multiplicando
m
2
por e escrevendo m 2 na forma
n
2
(1)
m 2
m
b0 10k + b1 10k1 + . . . + b2 10k1 + bk 100
=
=
n
n 2
2 51
k
k1
= b0 10
+ b1 10
+ . . . + b2 10
+ bk 10 .
(2)
obtemos:
Caso > :
Neste caso procedemos como no anterior multiplicando
como
m
5
por , e escrevendo m 5
n
5
89
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
ba
, com b a Z e
10k+p 10k1
Exemplos.
1
1
15
5
A. = 0, 5 . Com efeito, =
=
= 0, 5 .
2
2
25
10
21
= 0, 2625 .
80
2 e 5, pois 80 = 24 5, logo
Com efeito, os unicos
divisores primos de 80 sao
B.
21
21
21 53
2625
2 103 6 102 2 10
5
= 4
= 4 4 =
=
+
+
+ 4
4
4
4
4
80
2 5
2 5
10
10
10
10
10
2
6
2
5
+
+
= 0, 2625 .
=
+
10 102 103 104
r = 0, 425 ?
C. Qual e o numero
racional representado pela expansao
425
17
4 temos r 103 = 425. Portanto r =
Pela observacao
= .
1000
40
2
= 0, 285714 .
7
Compare o esquema abaixo com o algoritmo a seguir:
90
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
2
7
Logo
b7 = b1 = 2, b8 = b2 = 8, b9 = b3 = 5, . . . , b12 = b6 = 4, b13 = b7 = b1 = 2 . . .
2
Portanto = 0, 285714 .
7
103
= 0, 312 .
E. Verifiquemos que
330
Usando o algoritmo descrito no teorema 3.5.1:
91
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
(1) Temos 103 101 330 > 103 100 e 103 101 = 330 3 + 40 com 0 40 < 330.
Logo b1 = 3 e r1 = 40.
(2) Temos 40 101 330 > 40 100 e 40 101 = 330 1 + 70 com 0 70 < 330.
Logo b2 = 1 e r2 = 70.
(3) Temos 70 101 330 > 70 100 e 70 101 = 330 2 + 40 com 0 40 < 330.
Logo b3 = 2 e r3 = 40 = r1 .
Portanto b2 = b4 = b6 = . . . e b3 = b5 = b7 = . . ..
103
Isto e,
= 0, 3121212 . . . = 0, 312.
330
Compare os passos acima com o esquema abaixo !!!
F. Qual o numero
racional representado pela dzima periodica
r = 24, 34543?
Seja s = 0, 34543.
4:
Temos r = 24 + s, e pela observacao
s 102 = 34, 543.
34509
s=
Logo s (105 102 ) = 34543 34 = 34509 e entao
.
99900
34509
2432109
810703
=
=
.
Portanto r = 24 +
99900
99900
33300
r = 0, 9 !
5. O numero
Observacao
inteiro 1 e representado pela expansao
1 100 = 0, 9 = 0, 9999 . . .
0, 1
1 101 = 0, 09 = 0, 09999 . . .
0, 01
0, 001
etc. . . .
92
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
0, |00 .{z
. . 00} 1
1 10n = 0, |00 . {z
. . 000} 9 = 0, |00 . {z
. . 000} 9999 . . .
n zeros
n + 1 zeros
n + 1 zeros
no seguinte Corolario:
Corolario
3.5.3. A expansao
racional nao
decimal periodica
Se s = 0 , b1 b2 . . . bk , entao
s = 0 , b1 . . . bk1 (bk 1) + 0 ,00
. . 00}1 = 0 , b1 . . . bk1 (bk 1) + 0 , 00
. . 00} 9
| .{z
| .{z
k 1 zeros
k zeros
se r, s Q sao
representados pelas expansoes
s = n` n`1 . . . m1 m0 , b1 b2 b3 . . . ,
operar as fracoes,
e depois converter os resultados obtidos de novo a` forma de expansoes
...
Hummmm! ... parece um processo trabalhoso...
93
Instituto de Matematica
- UFF
3.5 Os Racionais e suas Expansoes
Decimais
Os Racionais e os Irracionais
de r e s sao
finitas.
Caso I. As expansoes
r = mk mk1 . . . m1 m0 , a1 a2 a3 . . . ap e s = n` n`1 . . . n1 n0 , b1 b2 b3 . . . bq .
Isto e,
Se p q temos
10q r = mk mk1 . . . m1 m0 a1 a2 a3 . . . ap 0| .{z
. . 0}
q p zeros
q
10 s = nk nk1 . . . n1 n0 b1 b2 b3 . . . bp bp+1 . . . bq .
Adicionando os lados direitos obtemos um inteiro c0 c1 c2 . . . cq , onde c0 e a soma das partes inteiras de r e s ou a soma das partes inteiras de r e s acrescentada em uma unidade. Adicionando
decimais e dada por
os lados esquerdos obtemos 10q (r + s). Logo, a soma das expansoes
r + s = (c0 c1 c2 . . . cq )10q = c0 , c1 c2 . . . cq .
de r ou s e periodica
sao
da
Este caso e muito mais delicado que o anterior quando as partes periodicas
nao
a conversao
a expansoes
finitas), pois enforma 9 (que pode ser tratado como no caso I apos
sabemos fazer nestas notas). Em virtude
volve somas com infinitos termos (coisa que ainda nao
das somas infinitas, o caminho mais economico
finitas sao
suficientes para a maioria das aplicacoes
pois,
Na pratica,
porem,
as expansoes
decimal infinita pode ser aproximada com grau arbitrario
107 (r + s) = 151963702 .
94
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
Temos tambem
1014 rs = 3410392314882000 .
Portanto
rs = 34, 10392314882000 = 34, 10392314882 .
3.6 Os Numeros
Irracionais e os Numeros
Reais
anterior vimos que todo numero
deciNa secao
racional e representado por uma expansao
decimal periodica
mal periodica
ou finita e reciprocamente, toda expansao
ou finita e a expansao
(ver Corolario
decimal finita
de um numero
racional. Vimos tambem
3.5.3) que toda expansao
seguintes.
apresentaremos os numeros
Nesta secao
irracionais e os numeros
reais, o enfoque que ado
taremos e bastante intuitivo mas sem descuidar os aspectos rigorosos que o texto tenta deixar
mais formais para outros cursos mais avancados.
na alma do leitor, deixando as construcoes
nulos como sendo
Convencao.
No seguinte consideraremos todos os numeros
racionais nao
expansoes
segundo o Corolario
3.5.3.
decimal
Consideremos a seguinte expansao
r = 0, 10100100010000100000100 . . . 001 00
. . 000} 100
. 0000} 100 . . .
| . {z
| . .{z
n-zeros
(n + 1)-zeros
que
onde o numero
de zeros entre dois dgitos 1 vai aumentando como se indica. Tal expansao,
e periodica
representa um numero
nao
nem finita, nao
racional!! Isto motiva a seguinte definicao
Definicao.
Um numero
irracional e uma expansao
(vide a
acima).
convencao
decimais, os seus elementos
Designamos por R o conjunto que consiste de todas as expansoes
chamados numeros
sao
reais.
anterior, os numeros
tem uma
1. Segundo os resultados da secao
Observacao
irracionais nao
m
na forma
representacao
com m, n Z, n 6= 0.
n
95
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
irracionais.
Definicao.
Duas expansoes
decimais sao
os dgitos das suas partes decimais coincidem.
que a expansao
= m, a1 a2 a3 . . . e menor que a expansao
decimal =
Dizemos tambem
n, b1 b2 b3 . . ., se acontece uma das seguintes possibilidades:
de )
Um numero
real e dito positivo se > 0, negativo se < 0. Designamos por R+ , R
nulos
e R os subconjuntos de R que consistem dos numeros
reais positivos, negativos e nao
respectivamente.
tem o
Escrever significa, como antes, que < ou = . A expressao
mesmo significado que .
o conjunto dos numeros
negativos e o conjunto
Os conjuntos R R+ e R R sao
reais nao
positivos respectivamente.
dos numeros
reais nao
Exemplos.
< , porque a parte inteira
(a) Se = 4, 34909 = 4, 3491 e = 5, 34909 = 5, 3491, entao
de (que e igual a 4), e menor que a parte inteira de (que e igual a 5).
(b) Se = 12, 4958285079 = 12, 495828508 e = 12, 4958285179 = 12, 495828518, entao
< , pois a oitava casa decimal de e 0 e a oitava casa decimal de e 1.
< , pois a sexta casa decimal de
(c) Se = 0, 34353249132 e = 0, 34353534232, entao
e menor que a sexta casa decimal de
iguais.
(d) Os numeros
reais = 4 e = 3, 9 sao
do inicio da secao
e a definicao
acima temos que, a
Com efeito, segundo a convencao
de como uma expansao
infinita e = 4 = 3 + 1 = 3 + 0, 9 = 3, 9 = (vide
representacao
anterior).
secao
< .
(e) Se = 3 e = 2, 99998, entao
infinita de e = 3 = 2 + 1 = 2 + 0, 9 = 2, 9 = 2, 9999999. Logo,
Com efeito, a expansao
105 = 299998 < 299999, 9 = 300000 = 105 implica < .
96
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
de soma e multiplicacao
definidas na secao
3.2 sobre Q:
as operacoes
+ : R R R
(, ) 7 +
: R R R
(, ) 7
de soma ou adicao)
(operacao
de multiplicacao
ou produto)
(operacao
sao
uma generalizacao
das correspondentes definidas sobre Q
Dizer que estas operacoes
os numeros
pansoes
formais.
decimal infinita nao
periodica
sao
triviais, as restricoes
em Q descritas na
as mesmas propriedades basicas
das operacoes
de soma e multiplicacao
3.2. Para manter a completitude do texto reescrevemos a continuacao
as propriedades
secao
+ e em R:
das operacoes
Se , , R, entao:
(1) Comutatividade:
+ = + ,
= .
(2) Associatividade:
( + ) + = + ( + ),
97
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
( ) = ( ).
(3) Distributividade:
( + ) = + ,
(4) Existencia
de elementos neutros (0 para + e 1 para a ):
tais que:
Os numeros
reais 0 e 1 sao
0 + = = + 0.
1 = = 1.
(5) Existencia
dos simetricos:
(6) Existencia
dos inversos:
Para todo numero
real R diferente de zero, existe um numero
1
1
= 1 = .
da secao
3.2 e o correspondente
Neste ponto o leitor devera revisar o item Muita atencao
em Z que descrevem outras propriedades obtidas a partir das
no captulo 2 para as operacoes
enumeradas acima.
< (respectivamente ) sobre Q, enunciadas na secao
3.4, junto
As propriedades da relacao
< e em R:
propriedades basicas
das relacoes
98
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
+ < + ,
(2) se < entao
< ,
(3) se < e > 0 entao
> ,
(4) se < e < 0 entao
< ou < (dois elementos distintos sao
comparaveis).
(5) se 6= entao
valem as seguintes propriedades:
Para a relacao
(1) ,
= ,
(2) se e entao
(transitividade),
(3) se e entao
+ + ,
(4) se entao
,
(5) se e > 0 entao
,
(6) se e < 0 entao
comparaveis).
proposicao:
3.5.4. (Propriedade Arquimediana) Dados , R, com 0 < e 0 , existe
Proposicao
um numero
n N tal que n.
rq
n.
ps
rq
n.
ps
decimais
Consideremos agora expansoes
Portanto, basta escolher n N tal que
= a0 , a1 a2 . . . ak . . .
= b0 , b1 b2 . . . bk . . . ,
99
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
mos as potencias
inteiras de numeros
reais. Lembre que R designa o conjunto dos numeros
Definicao.
Para todo R , definimos 0 = 1.
Para todos R e m Z+ , definimos n = | {z
. . . }.
n vezes
1
.
n
Temos tambem
das potencias
inteiras:
reais:
Para todos , R e m, n Z, temos
(a) m+n = n n .
(b) ( )n = n n .
100
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
(c) (n )m = nm .
(d) ( 0 < < e n Z+ ) = 0 < n < n .
(e) 0 < 0 < 1 < 1 .
Definicao.
Seja R, 0. Dado n Z+ , a raiz n-esima
de , que designamos por
1
n
e o numero
real nao
potencia
e igual a . Quando n = 2
escrevemos no lugar de 2 .
ou por
numero
real negativo cuja n-esima
potencia
e igual a .
4 = 2,
negativos.
4, pois a raiz quadrada esta definida apenas para numeros
reais nao
Tambem
real nao
negativo.
Um acidente frequente
entre os iniciantes e escrever igualdades do tipo
implica o absurdo 2 = 4 = 2.
expressao
4 = 2. Uma tal
n-esimas
definidas acima existem. Nos
No
procedimento geometrico
simples que permite representar tais quantidades na reta orientada.
O caso das razes quadradas dos inteiros naturais e tratado abaixo, o caso geral na proxima
secao.
acima.
combinando as duas definicoes
Definicao.
Sejam R e n Z tais que a raiz n-esima
escrevemos
m
n
1
n
m
m
n
.
e a definicao
das operacoes
em Q, podemos verificar sem dificuldade que
Com esta nocao
ainda validas
numeros
disso, podemos
quando consideramos potencias
cujos expoentes sao
racionais. Alem
verificar que
1 m
m
1
n = n
= (m ) n .
101
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
Exemplos.
(a) 1r = 1, para todo r Q.
(b) 0s = 0, para todo s Q, s > 0.
r mr
(c) m
= nr , desde que as potencias
mr e nr estejam bem definidas, aqui r Q.
n
1
(d) 8 3 = (8 3 )2 = 22 = 4.
4
(e) 27 3 = (27 3 )4 = 34 =
1
.
81
54
1
1
1
1
1
.
= 5 =
(f)
1 =
1 =
2
2 42
24
(25 ) 4
21+ 4
= 1 ou r = 0.
(g) (Importante) Sejam R+ e r Q tais que ar = 1, entao
por definicao
r = 0 = 1.
Com efeito, se r = 0 entao,
que r 6= 0 e provemos que = 1.
Suponhamos entao,
p
(p ) = 1 (p ) p = 1 p = 1 .
numeros
de aproximacao
de numeros
a nocao
reais por racionais mediante limites de sucessoes
de
numeros
reais, combinado com um pouco de fe do leitor...
decimais de numeros
Construir exemplos de expansoes
irracionais e relativamente simples.
que, os numeros
irracionais:
Segue diretamente da definicao
a, b, c R abaixo sao
(n + 1)-zeros
b = 7, 4242152787979979997999979 . . . 997 99
. . 999} 7 99
. 9999} 799 . . .
| . {z
| . .{z
n-noves
(n + 1)-noves
c = 0, 0123456789101112131415161718192021 . . . 578579580581 . . .
Mas por outro lado, existem exemplos menos evidentes de numeros
irracionais nos quais a lei
102
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
Os numeros
reais
= 3, 141592653589793238462643383279502884197169399375105820974944 . . .
d = 1, 4142135623730950488016887242096980785696718753769480731766797 . . .
irracionais, mas isto nao
e claro a partir das poucas casas decimais que escrevemos acima,
sao
terminem na milionesima
vamos provar
comprimento de um semicrculo de raio 1 (ver figuras abaixo). Nestas notas nao
serao
desenvolvidas aqui.
que e irracional, tal prova requere ferramentas que nao
e
divisibilidade estudada no captulo 2. Tal prova sera feita mais tarde, ainda nesta secao,
da raiz quadrada de 2.
Fig. 6.Representacao
103
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
Na figura acima a` direita estamos desentortando um semi-crculo de raio 1 sobre a reta orientada, dando lugar a um segmento cuja magnitude (ou tamanho) e exatamente o comprimento
do semi-crculo, tal comprimento e designado pela letra grega (chamada pi).
Uma outra maneira de abordar os numeros
irracionais pode ser feita trabalhando a antiga
ditas comensuraveis,
chamadas incomensuraveis.
contrario
as magnitudes sao
= , ou seja que
m
n
= n ,
m
=
Q,
tambem
denominadas racionalmente dependentes ou
por isto, magnitudes comensuraveis
sao
racionalmente proporcionais.
no lado esquerdo da expressao
acima: O que significa
Temos que prestar atencao
? Bom
104
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
na mesma proporcao
que as magnitudes inteiras m e n,
As magnitudes e estao
ou
esta para como m para n.
comensuraveis.
A proposicao
se, e somente
se, e um numero
irracional.
Uma das primeiras descobertas importantes dos gregos foi que, num quadrado, o compri magnitudes incomensuraveis.
Aproveitamos tambem
e uma de suas tantas e belas
provas.
vale a relacao
os comprimentos
Demonstracao.
ABC da figura abaixo, onde a e b sao
105
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
a2
b2
e n= .
c
c
c = m + n obtemos,
Como tambem
Logo m =
2
a2 b2
= (m + n) = m + 2mn + n =
+2
c
c
2
a2 b2 b4
1
1
a4
+ 2 = 2 a4 + 2a2 b2 + b4 = 2 a2 + b2 ,
= 2 +2
c
c c
c
c
c
2
a2
c
2
O teorema de Pitagoras
permite reduzir o problema grego da incomesurabilidade entre a
Demonstracao.
ABCD e de lados de comprimento a. O
2 a.
comensuraveis
d
2a
= 2
=
a
a
ocorre em virtude da proposicao
que provaremos a seguir.
e um numero
racional, o qual nao
C.Q.D.
para provar a irracionalidade de 2 pode ser reaO argumento que usaremos a continuacao
2 e irracional.
106
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.6 Os Numeros
Irracionais e os Numeros
Reais
m
irredutvel
os inteiros m, n Z+ sao
primos
mos expressar 2 como uma fracao
Q, isto e,
n
entre si.
Entao,
2=
2 m 2
m
p2
=
2 =
= 2 = 2 = p2 = 2 q2 ,
n
n
q
p2 e um inteiro par.
isto e,
p e par. Logo existe um inteiro k Z+ tal que
Segundo o captulo 2, se p2 e par entao
p = 2 k e portanto
2 q2 = p2 = (2 k)2 = 4 k2 = q2 = 2 k2 ,
q2 e tambem
um inteiro par, e portanto q e tambem
par, o qual e uma contradicao,
pois
isto e,
2 como fator comum e portanto nao
podem ser primos entre
sendo p e q ambos pares, terao
si. C.Q.D.
Exemplos.
(A) O numero
real
6 e irracional.
m
inteiros primos entre si.
que 6 =
e racional, onde m, n Z+ sao
n
Entao
m 2 m2
m
6=
= 6 =
= 2 = m2 = 6 n2 = 2(3 n2 ),
n
n
n
2
m e par e portanto m e par.
isto e,
Escrevendo m = 2 k temos
m2 = 2(3 n2 ) = (2 k)2 = 2(3 n2 ) = 4 k2 = 2(3 n2 ) = 2 k2 = 3 n2 ,
em fatores primos do inteiro
donde 3 n2 e par. Isto significa que 2 aparece na decomposicao
3 n2 . Logo n2 e par e consequentemente,
n e par.
primos entre
Sendo entao
de que m e n sao
si, provando assim o resultado. C.Q.D.
(B) O numero
real
2+
3 e irracional.
2 =
2 + 3 = ( 2)2 + 2 2 3 + ( 3)2 = 2 + 2 6 + 3 = 5 + 2 6 .
107
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
Portanto
2 5
.
2
2 5
6 Q, contradizendo o resultado do exemplo
Ao supor Q, obtemos
Q, isto e,
2
orientada.
A reta orientada representando o conjunto R dos numeros
reais e chamada reta real.
decimal
decimal infinita (periodica
apenas quando o numero
e racional), dada uma expansao
108
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
b1
b1 + 1
e k+
em 10 partes iguais mediante os pontos que representam os
10
10
b1
n
racionais k +
+ 2 , onde n {0, 1, 2, . . . , 9}. Como o feito acima, a desigualdade
10 10
racionais k +
k+
b1
b2
b1 b2 + 1
+ 2 <k+
+
,
10 10
10
102
diz que esta no sub-sub-segmento limitado pelos pontos que representam os racionais
k+
b1
b2
+ 2
10 10
k+
b1 b2 + 1
+
.
10
102
decimal com
Com este procedimento podemos representar na reta real qualquer expansao
permitir.
tantas casas decimais exatas como a nossa visao
109
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
e [, ) = {x R ; x < } .
[, +) = {x R ; x} ,
(, ) = {x R ; x < } ,
(, ] = {x R ; x } .
Note que todo intervalo (dos tipos acima descritos) pode se obter a partir de intervalos da
de conjuntos.
forma (, +) e (, ) fazendo operacoes
[, +) = R (, ) ,
e R = (, ) [, +) .
Logo
(, ) = (, +) (, ) ,
[, ] = (, ] [, +) ,
(, ] = (, +) (, ] ,
[, ) = [, +) (, ) .
R = (, +).
Na reta real podemos representar os intervalos especificando os extremos e a parte da reta
determinada entre eles.
a determinacao
como os que apresentamos a continuacao.
110
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
Exemplos
(A) Determinar o conjunto dos numeros
reais x tais que 4 x < 4 2x.
Temos que
Solucao.
4 x < 4 2x x < 2x 0 < x 0 > x x (, 0),
portanto
{x R ; 4 x < 4 2x} = (, 0) .
(B) Determinar o conjunto dos numeros
reais x tais que
2x 1
< 5.
3
Temos que
Solucao.
2x 1
< 5 2x 1 < 15 2x < 16 x < 8 x (, 8) ,
3
portanto
2x 1
x R;
< 5 = (, 8) .
3
x+1 x3
0.
2
5
Temos que
Solucao.
x+1 x3
x+1
x3
5(x + 1) 2(x 3) 5x + 5 2x 6
2
5
2
5
11
3x 11 x x
3
portanto
11
, +
3
x+1 x3
11
0 = , + .
x R;
2
5
3
Temos que
Solucao.
7 + x < 3 2x 10 ( 7 + x < 3 2x e 3 2x 10 )
10
7
( 3x < 10 e 7 2x ) x <
e x
3
2
10
7
x ,
e x , +
3
2
7
10
7 10
x ,
, + x ,
,
3
2
2 3
111
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
e, portanto,
7 10
{x R ; 7 + x < 3 2x 10} = ,
.
2 3
x1
x3
>
.
x2
x4
4 > 6. Portanto
numeros
x (, 2) que verificam a inequacao
x3
x1
>
= .
x (, 2) ;
x2
x4
Caso II. x (2, 4).
Neste caso, x 2 > 0 e x 4 < 0. Portanto
x1
x3
(x 1)(x 4)
>
4 < 6. Portanto
numeros
x (2, 4) que verificam a inequacao
x3
x1
x (2, 4) ;
>
= (2, 4) .
x2
x4
Caso III. x (4, +).
Este caso e tratado de maneira similar ao caso I, pois neste, as diferencas x 2 e x 4 tem o
mesmo sinal (escreva os detalhes como exerccio).
de ordem em R e o unico
de valor absoluto ou
A relacao
requisito para introduzir a nocao
modulo
de um numero
real.
112
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
, se 0
|| =
, se < 0 .
colocadas na seguinte:
As propriedades do modulo
de numeros
reais sao
considerados varios
casos segundo sejam os sinais de e , ficando como exerccio.
Para provar a desigualdade triangular temos que saber duas coisas:
(i) Para todo R vale ||2 = 2 = |2 |.
(ii) Para todo R vale |.
negativo.
O item (i) resulta do fato de que o quadrado de qualquer numero
real e sempre nao
do modulo
(i)
(i)
(i)
| + |2 = ( + )2 = 2 + 2 + 2 = ||2 + 2 + ||2
= ( + )2 = 2 + 2 + 2 = ||2 + 2 + ||2
(ii)
(b)
C.Q.D.
Observacao.
(a) O significado da desigualdade || (respectivamente || < ).
113
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
|| e portanto , isto e,
.
Note que ||, portanto . Tambem
Resumindo,
|| .
Similarmente podemos ver que
| < < < .
de intervalos introduzida anteriormente, temos que:
Segundo a notacao
|| [, ],
e similarmente
|| < (, ).
(b) O significado da desigualdade || (respectivamente || > ).
de modulo,
Segundo a definicao
|| = se 0 e || = se < 0. Portanto
|| ( ou ).
Similarmente podemos ver que
|| > ( > ou < ).
de intervalos temos:
Com a notacao
|| (, ] [, +),
similarmente
|| > (, ) (, +).
Corolario
3.6.3. (Consequ encias
da desigualdade triangular). Sejam , R. Entao:
(a) | | || + ||.
(b) | ( || || ) | | |.
Demonstracao.
O item (a) e consequ encia
direta da desigualdade triangular aplicada aos
numeros
e junto com o fato de que | | = ||.
114
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
triangular implica
|( ) + | | | + ||,
donde || || | |,
| + ( )| || + | |,
donde || || | |,
e similarmente
combinadas na seguinte
estas duas desigualdades sao
| | || || | |,
acima, e exatamente aquele do enunciado. C.Q.D.
cujo significado, segundo a observacao
intuitiva de que a segmentos de reta sao
associados numeros
negativos
A nocao
reais nao
para a medicao
Sejam , R. O numero
Definicao.
real | | e chamado a distancia
de a .
Observacao.
negativo,
Isto e,
entre dois numeros
reais e e sempre um numero
real nao
(ii) | | = | |.
a distancia
Isto e,
possui uma qualidade de simetria, ou seja que e indiferente determinar a
distancia
de a ou a distancia
de a que o resultado sera o mesmo.
(iii) | | | | + | |.
da desigualdade triangular, que diz que a distancia
ultimo
ate .
Mais ainda, a igualdade em (iii) se verifica se, e somente se, esta no intervalo de extremidades e (prove isto como exerccio!), isto e
| | = | | + | | (
115
ou ) .
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
distancia
de pelo menos .
Exemplos.
(A) Dado um numero
real > 0 e um numero
real qualquer , existem numeros
Qe
R Q distintos de e -proximos
de .
Isto e:
Todo numero
real pode ser -aproximado por racionais e irracionais qualquer que seja > 0
1
.
10m
-proximos
de .
10m
decimal de e = a0 , a1 a2 a3 . . . ap . . . , onde a0 N e a
Suponhamos que a expansao
os dgitos da parte decimal de .
parte inteira de e a1 , a2 , . . . , ap , . . . {0, 1, 2, . . . , 9} sao
o numero
Entao,
racional = a0 , a1 a2 a3 . . . am aproxima com erro menor que , pois
| | = |a0 , a1 a2 a3 . . . am am+1 . . . a0 , a1 a2 a3 . . . am |
= |0, |0 0 .{z
. . 0 0} am+1 am+2 . . . | |0,0| 0 .{z
. . 0 0}1|
m-zeros
(m 1)-zeros
1
= 0,0| 0 .{z
. . 0 0}1 = m < .
10
(m 1)-zeros
116
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
de um numero
Na verdade a aproximacao
real por um racional desta forma e o conhecido
obtido a partir de trocando o dgito ap por 0, aproxima com erro menor que .
De fato,
| | = |a0 , a1 a2 a3 . . . am0| 0 .{z
. . 0 0}ap ap+1 . . .
(p 1 m)-zeros
1
. . 0 0}1| = 0,0| 0 .{z
. . 0 0}1 = m < .
= |0,0
. . 0 0}ap | |0,0| 0 .{z
| 0 .{z
10
(p 1)-zeros
(m 1)-zeros
(m 1)-zeros
da -aproximacao
na reta orientada.
Fig. 17.Representacao
. . 0 0}100 . . .
= 0, 1010010001000010 . . . 1 0| 0 .{z
. . 0 0} 10| 0 .{z
k-zeros
(k + 1)-zeros
procurados e como:
= 0, 1010010 = 0, 101001
117
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
e
= 0, 1010010000000010 . . . 1 0| 0 .{z
. . 0 0} 1 |0 0 .{z
. . 0 0} 100 . . .
k-zeros
(k + 1)-zeros
nula apos
a setima)
trocando o 1 da decima
casa decimal de (primeira nao
por 0. C.Q.D.
anterior, a solucao
que apresentaExistem infinidade de maneiras de responder a questao
do exemplo (A) acima.
mos aqui e uma interpretacao
O nosso procedimento nos leva claramente a obter os numeros
e menores que , mas
como exerccio.
de modulos
A interpretacao
de diferencas de numeros
reais como distancias
pode ser de
Solucao:
x cuja distancia
a 4 e menor que 2. Na reta orientada o problema esta resolvido! como podemos ver na figura
abaixo.
de |x + 4| < 2.
Fig. 18. O conjunto solucao
|x 1| + |x + 1| < 4.
Trata-se dos numeros
Solucao:
x R tais que a soma das suas distancias
a 1 e a 1 e menor
que 4.
A desigualdade equivale a |x 1| < 4 |x + 1|, que por sua vez equivale a
4 + |x + 1| < x 1 < 4 |x + 1|,
118
Instituto de Matematica
- UFF
3.8 Intervalos, distancias
e erros
Os Racionais e os Irracionais
ou seja as
|x + 1| < x + 3
x 5 < |x + 1|,
isto e
|x + 1| < x + 3
|x + 1| < 5 x,
x 3 < x + 1 < x + 3
5 + x < x + 1 < 5 x,
5+x<x+1
6<0
ou seja,
ou as
x 3 < x + 1
x+1<x+3
x + 1 < 5 x,
a
isto e,
4 < 2x
1<3
2x < 4,
x < 2.
A primeira desigualdade equivale a dizer que x (2, +) e a segunda equivale a dizer que
x (, 2). Logo o par equivale a dizer que x (2, +) (, 2), isto e x (2, 2)
Portanto, podemos escrever
{x R ; |x 1| + |x + 1| < 4} = (2, 2)
da desigualdade |x 1| + |x + 1| < 4 e o intervalo aberto
e dizer que o conjunto solucao
(2, 2). C.Q.D.
de |x 1| + |x + 1| < 4.
Fig. 19. O conjunto solucao
|x 1| |x + 2| = 0 .
Sendo que o produto de dois numeros
Solucao:
reais e igual a zero apenas quando um dos
119
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
( x 1 = 0 ou x + 2 = 0 )
( x = 1 ou x = 2 )
x { 1, 2 .}
e { 1, 2 }. C.Q.D.
Logo, o nosso conjunto solucao
de |x 1| |x + 2| = 0.
Fig. 20. O conjunto solucao
|x 1| > 0 .
Exemplos deste tipo de desigualdades sao
fonte importante de erros entre os inicianSolucao:
incorretas da forma
tes. Tais erros vem de implicacoes
|x 1| > 0 = x 1 > 0 = x > 1,
porque isto e errado?
A forma correta de proceder e a seguinte:
de modulo
Segundo a definicao
temos
x 1
se x 1 0 x 1
=
|x 1| =
(x 1) se x 1 < 0 (x 1)
se x 1
se x 1 < 0 .
3.9 Limites e a PG
vamos concluir as nossas primeiras nocoes
sobre limites de sucessoes
iniciado
Nesta secao
120
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
Curso de Analise
(Vol. I), Projeto Euclides, IMPA, ou o livro de M. Spivak: Calculus, Vol. II. Ed.
Reverte.
como por exemplo {2n }n e {5n}n , que tendem
No captulo 2 foram consideradas sucessoes
para infinito quando n tende a infinito. Trabalhando com numeros
reais, podemos falar de ex
pressoes
que tendem, por exemplo, para zero quando n tende a infinito. Ao representar o
1
conjunto dos numeros
racionais na reta orientada vimos que os numeros
racionais da forma ,
n
tais que
n Z sao
1
1 < 12 < 31 < . . . < n1 < n+1
< ... < 0 < ... <
1
n+1
<
1
n
1
3
<
1
2
< 1,
1
1
(respectivamente ) de zero, basta fazer n
n
n
n .
dado k N existe n0 N tal que, se n n0 , entao
n
n
Vale a pena observar que, se sabemos a priori que n 0 para todo n N, entao
0 n
lim n = 0 dado k N existe n0 N tal que, se n n0 , entao
1
.
n
1
n 0 .
n
lim n = + lim
Demonstracao.
(=) Suponhamos que lim n = +. Dado k N , devemos provar que existe n0 N tal
n
1
1
0<
que, se n n0 , entao
.
n
k
121
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
A hipotese
implica que, para o inteiro k N dado, existe n0 N tal que, se n n0 , entao
n k.
Mas n k equivale a
1
= 0.
n n
1
1
1
1
. Pelo anterior temos que, 0 <
, para todo n n0 .
n
k
n
k
1
= 0.
n n
|n L| .
dado R, > 0, existe n0 N tal que, se n n0 , entao
importante observar que, em geral, o numero
acima, depende da escolha
E
n0 na definicao
{n }n . Isto e,
outra escolha de devera implicar numa outra escolha
de e da propria
sucessao
do n0 .
acima pode ser lida dizendo que, n tende a L quando n tende a se, dado
A definicao
-proximos
numero
finito a que nos referimos e exatamente o n0 associado ao escolhido.
de limite e aproximacoes
na reta real.
Fig. 21. A nocao
(i) dado k N , existe n0 N tal que, se n n0 , entao
122
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
1
1
Comecamos por observar que, a desigualdade n na condicao
(i),
Demonstracao.
k
k
1
equivale a` desigualdade |n | . Portanto, para provar que (ii)=(i), dado k N , basta aplicar
k
1
Um outro fato importante que devemos observar, e que segue diretamente das definicoes
da convergencia
n = n L a zero. Isto e,
da convergencia
da sucessao
lim n = L lim ( n L ) = 0
existe R, > 0 tal que, para todo n0 N existe n n0 tal que |n L| > .
Intuitivamente: Dizer que lim n = L, significa que, para qualquer > 0, podemos achar
n
salvo um numero
finito (n0 que depende de e de (n )n ), os termos n estao
de L.
Similarmente, dizer que lim n 6= L, significa que, para algum > 0, uma infinidade dos
n
fora do intervalo [L , L + ].
termos n estao
123
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
de numeros
3.9.3. (Unicidade dos Limites) Seja (n )n uma sucessao
Proposicao
reais. Se
tais que
L, M R sao
lim n = L
lim n = M,
L = M.
entao
Suponhamos que L 6= M. Seja R tal que 0 < < 12 |L M|, temos que:
Demonstracao.
(i) existe n1 N tal que, n n1 = |n L|
+ = ,
2 2
isto e
1
0 |L M| < |L M|,
2
negativo e estritamente menor do que sua metade).
o qual e absurdo (nenhum numero
nao
Demonstracao.
para = 1 existe n0 N tal que, n n0 = L 1 < n < L + 1.
Sejam a o maior dentre os numeros
0 , 1 , . . . , n0 1 , L + 1 e b o menor dentre os numeros
124
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
ou equivalentemente
lim n = L = R > 0 tal que |n | R , n N .
sao
representados por pontos na reta real.
Nas figuras acima, os termos da sucessao
boas propriedades em relacao
as
` operacoes
definidas em R.
Os limites mantem
Propriedades basicas
dos Limites de sucessoes.
de numeros
Sejam {n }n , {n }n , {n }n sucessoes
reais e r R. Valem as seguintes proprie
dades:
lim (n + n ) = L + M.
(A) Se lim n = L e lim n = M, entao
n
lim (n n ) = L M.
(B) Se lim n = L e lim n = M, entao
n
lim n = r.
(C) Se n = r para todo n N, entao
n
lim (n ) = L.
(D) Se lim n = L, entao
n
n
L
=
.
n
n
n n
M
L M.
(F) Se lim n = L , lim n = M e n n para todo n N, entao
lim
(E) Se lim n = L, lim n = M, M 6= 0 e n 6= 0 para todo n N, entao
n
lim n = L.
(G) Se lim n = L = lim n e n n n para todo n N, entao
n
Prova.
de limite com /2)
(A) Seja > 0 dado. Temos que (aplicando a definicao
lim n = L = n0 N, tal que n n0 = |n L|
,
n
2
e similarmente
lim n = M = m0 N, tal que n m0 = |n M|
.
n
2
entao,
validas.
Assim, usando a desigualdade triangular obtemos
|(n + n ) (L + M)| = |(n L) + (n M)| |n L| + |n M|
125
+ = .
2 2
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
(B) Seja > 0. Temos que provar que, existe n0 N tal que,
n n0 = |n n LM| .
antePara provar esta propriedade usaremos uma das formas equivalentes da proposicao
rior:
lim n = L = R > 0 tal que |n | R.
ou igual do que .
2
Como lim n = L temos que:
n
Dado
e como lim n = M :
n
Dado
+ |M|
= + = ,
2R
2|M|
2 2
como queramos.
exerccios para o leitor.
(C) e (D) sao
(E) Para provar esta propriedade, basta provar que
1
1
=
.
n n
M
lim
se lim n = M, M 6= 0 e n 6= 0 para todo n N, entao
n
(*)
126
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
1
M n |M n |
1
n M = n M = |M| |n |
()
Comecamos por estimar o denominador no lado direito de (**), para isto aplicamos a definicao
de lim n = M:
n
|M|
|M|
, existe n1 N tal que, n n1 = |M n |
.
2
2
|M| |n | |M n | ,
e portanto
n n1 = |M| |n |
|M|
|M|
1
2
.
=
|n | =
2
2
|M| |n |
|M|2
de
Agora estimamos o numerador do lado direito de (**) aplicando de novo a definicao
lim n = M da seguinte maneira:
|M|2
|M|2
, existe n2 N tal que, n n2 = |M n |
.
2
2
de (**) fica
Seja agora n0 = max{n1 , n2 }. Para n n0 , a expressao
1
1 |M n |
1
|M|2
2
= ,
=
=
|M
n
n M |M| |n |
|M| |n |
2
|M|2
Dado
como queramos.
de limite temos que, dado =
(F) Suponhamos pelo absurdo, que M < L. Pela definicao
:
LM
4
LM
LM
existe n1 N tal que, n n1 =
n L
,
4
4
LM
LM
existe n2 N tal que, n n2 =
n M
,
4
4
Logo, se n max{n1 , n2 }:
L M = (L n ) + (n n ) + (n M)
LM
.
= (n n ) +
2
LM
LM
+ (n n ) +
4
4
LM
127
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
exemplos, sao
Observacao.
de lim n = L equivale
(a) Um ponto importante a ser observado e o seguinte: A definicao
n
a` seguinte:
> 0 , n0 N tal que, n n0 = |n L| < .
()
lim n = L ,
lim n = M .
um exemplo?).
(c) Nos itens (C), (E), (F), (G) da lista de propriedades basicas,
a sentenca para todo n N
maior ou igual que algum n0 N. O leitor e convidado a re-enunciar tais propriedades e refletir
sobre o seu significado.
128
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
Esta observacao
do limite de uma su (n )n , basta prestar atencao
no comportamento de n com n N suficientemente
cessao
nao
interfere
grande. Ou que, o comportamento de um numero
finito dos termos da sucessao
Seja R um numero
real.
n e o truncamento da expansao
todo n N . Isto e,
decimal de e infinita, todos os termos n da sucessao
Com efeito, seja > 0 dado. Temos que achar n0 N tal que | n | < para todo n n0 .
Comecamos por observar que
| n | = |N, a1 a2 a3 . . . an an+1 . . . N, a1 a2 a3 . . . an |
= 0, |0 0 {z
. . . 0} an+1 an+2 . . . < 0,0| 0 {z
. . . 0}1 = 10n .
n - zeros
(n 1) - zeros
Como lim 10n = 0, dado > 0, existe n0 N tal que n n0 = 10n = |10n | < .
n
Portanto, se n n0 , temos
| n | < 10n < ,
como queramos. C.Q.D.
escolhemos este exemplo para comecar, pela sua relevancia
aos conceitos
Nos
em relacao
decimais. As implicacoes
que este produz sao
129
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
por numeros
Todo numero
irracional pode ser aproximado com graus arbitrarios
de precisao
racionais. Na verdade isto e o que e feito nos computadores e maquinas de calcular como foi
explicado no incio do captulo.
n = 0 ,
n =
1
,
n
n =
1
,
nk
n N,
temos que
lim n = 0 ,
lim n = 0 ,
e n n n ,
n N.
n+1
= 1.
n
n
(b) lim
n+1
n
n
n
1 + n1
1
= 1 + . Logo
1
n
n+1
1
1
lim
= lim 1 +
= 1 + 0 = 1.
= lim 1 + lim
n
n
n
n n
n
n
n+1
=
n
(c) O exemplo (b) acima pode ser considerado dentro de um contexto mais geral: Um po
da forma
linomio
( com coeficientes reais) na variavel
x e uma expressao
p(x) = ak xk + ak1 xk1 + ak2 xk2 + . . . + a1 x + a0 ,
onde ak , ak1 , ak2 , . . . , a1 , a0 R e ak 6= 0. O inteiro k N e chamado o grau de p(x) e se
designa por Graf(p).
Sejam p(x) = ak xk + ak1 xk1 + . . . + a1 x + a0 e q(x) = bm xm + bm1 xm1 + . . . + b1 x + b0
(n )n
polinomios
de graus k e m respectivamente, na variavel
x. Consideramos a sucessao
p(n)
onde n =
.
q(n)
nao
podemos aplicar diretamente a propriedade (E), pois tanto o
Para calcular lim n , nos
n
130
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
q(n)
para n grande.
nk
(ii) r = k = m. Neste caso, dividindo o numerador e o denominador por nk = nm obtemos:
p(n)
= ak + soma de termos que tende a 0 quando n ,
nk
q(n)
= bk + soma de termos que tende a 0 quando n .
nk
ak
p(n)
=
.
Portanto (verifique!): lim n = lim
n
n q(n)
bk
(iii) r = m. Dividindo o numerador e o denominador por nm temos:
p(n)
= soma de termos que tende a 0 quando n ,
nm
q(n)
= bk + soma de termos que tende a 0 quando n ,
nm
p(n)
e portanto lim n = lim
= 0.
n
n q(n)
descrita em (c):
(d) Mais exemplos da situacao
6n2 + 2n 5
3
= ,
2
n 8n 7n + 99
4
lim
4n
= 0,
2
n n + 1
lim
9n3 8n
= +,
n 1 + n n2
lim
Com efeito
6n2 + 2n 5
lim
=
n 8n2 7n + 99
6n2 +2n5
n2
lim
2
n 8n 7n+99
n2
131
6+
= lim
n 8
2
n
7
n
5
n2
99
n2
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
lim (6 +
2
n
lim (8
7
n
n
n
4n
= lim
lim 2
n
n n + 1
4n
n2
n2 +1
n2
= lim
4
n
1+
1
n2
5
)
n2
99
)
n2
lim 4
n n
lim (1 +
9n3 8n
= limn
n 1 + n n2
lim
9n3 8n
n3
1+nn2
n3
1
)
n2
6
3
= .
8
4
0
= 0.
1
= limn
lim (9 n82 )
n
lim ( 13 + n12 n1 )
n n
8
n2
1
1
+ 12 n
n3
n
= .
tende a e nao
a +? Bom, o numerador na ultima
Por que a ultima
sucessao
passagem
que 0.
(3) Potencias
reais de numeros
3+ 7
significado de 2 2 , de 32 , de 2
ou ainda, de !
sao
boas...O material desenvolvido nestas notas nao
permite dar
As noticias desta vez nao
como as acima descritas,... Desta vez, e requisito prioritario
sentido a expressoes
um conheci logaritmo e exponencial, assim como as suas propriedades de continuidade
mento das funcoes
lim rn
= lim rn .
n
132
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
` das potencias
As potencias
de expoente real possuem propriedades similares as
de expoente racional, propriedades que sintetizamos na lista a seguir:
(x y) = x y ,
(x ) = x .
133
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
queramos. C.Q.D.
Na lista de exerccios no final do captulo, o leitor e convidado a escrever a prova de algumas
n N .
0
lim rn =
n
+
se 0 r < 1
se r > 1 .
134
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
binomio
de Newton obtemos, para todo k N :
k
k 2
k
k k
k
k
k1
r = (1 + h) = 1 +
h+
h + ... +
h
+
h 1 + kh.
1
2
k1
k
{z
}
|
soma de termos 0, pois k 1 e h > 0
Segundo a propriedade arquimediana, para R > 0 e h > 0 dados, existe n0 N tal que
n0 h R. Para tal n0 temos rn0 1 + n0 h > n0 h R, como queramos.
(II) Caso 0 < r < 1: Temos 0 < r < 1 1 <
implicam:
1
lim
= lim
n rn
n
1
3.9.1
. O caso (I) acima e a proposicao
r
n
1
= + lim rn = 0,
n
r
como queramos.
Uma analise
mais ampla permite concluir que:
Dado r R, tem-se:
lim rn = 1
n
se |r| < 1
se r = 1
se r > 1 ,
rn nao
existe quando r 1. O leitor e convidado a refletir sobre os
e que o limite da sucessao
casos quando r < 0.
Poderamos ocupar muito mais espaco nestas notas com muitos mais exemplos e consideracoes
e o nosso objetivo invadir a abrangencia
ou Analise),
onde este topico
deve ser cuidadosamente estudado. Esperamos que o material
a` teoria dos limites, e que o leitor se sinta
apresentado aqui sirva apenas como uma introducao
motivado no seu aprofundamento.
A importancia
do ultimo
exemplo vem a` tona quando calculamos a soma dos termos de uma
geometrica:
progressao
cujos termos sao
Definicao.
Sejam a, r R. A sucessao
a , ar , ar2 , ar3 , . . . , arn1 , arn , arn+1 , . . .
(?)
geometrica
r e primeiro termo a.
e chamada progressao
(PG) de razao
Ao contrario
das sucessoes
e o calculo
nao
do seu limite (coisa que ja sabemos fazer segundo o ultimo
exemplo acima),
135
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
n
X
ar = lim a
n
k=0
n
X
r = a lim
k=0
n
X
rk ,
k=0
ar = a
k=0
rk = a(1 + r + r2 + . . . + rn + . . .).
k=0
(4)
n N,
1 rn+1
.
1r
1 lim rn+1
1 rn+1
n
1 + r + r + . . . + r + . . . = lim
=
.
n 1 r
1r
2
Finalmente
1 lim rn+1
k
ar = a + ar + ar + . . . + ar + . . . = a
k=0
136
1r
, para r 6= 1.
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
Resumindo:
se |r| < 1 e a R
n+1
lim
r
= +
=a
se r > 1 e a > 0
1r
se r > 1 e a < 0
X
ark = + se r = 1 e a > 0
k=0
= se r = 1 e a < 0
=0
se a = 0
6
se r 1 e a R .
r da PG tem modulo
as situacoes
1
1 1 1
+ + + ... + n + ... =
2 4 8
2
1
1
1
2
= 2.
1 1 1
(1)n
+ + ... +
+ ... ?
2 4 8
2n
1 1
1
e primeiro termo 1. Como 0 = < 1, temos:
Trata-se de uma PG de razao
2
2
2
S=1
1 1 1
(1)n
+ ... =
+ + ... +
2 4 8
2n
1
1
2
=
= .
1
1
3
1+
1
2
2
os numeros
a soma de uma PG infinita de primeiro
(c) Em geral: Quais sao
racionais que sao
termo 1 ?
137
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
p
p
Q, onde p Z e q Z+ . Suponhamos que seja a soma dos termos de uma PG
q
q
1
p
de uma tal PG, devemos ter |r| < 1 e
de primeiro termo 1. Se r R, a razao
= , para
1r
q
p
que a convergencia
da soma dos termos da PG seja ao racional .
q
p q
pq
q
< 1. A segunda condicao
r=1 =
equivale a |p q| < |p| .
e
Isto e,
p
p
p
2
p
21
1
= (ver exemplo (a) acima).
2
2
q Z+ acima. Isto
O leitor e convidado a estudar o que acontece se retirarmos a condicao
periodica
infinita. Afirmamos que, todo numero
racional Q, pode ser representado mediante
decimal de .
, onde n e o perodo da expansao
uma PG de razao
10n
decimal de e:
de r) sao
simultaneamente iguais a
ap+1 , . . . , ap+n (que formam a parte periodica
da expansao
zero.
decimal de r se escreve mediante uma PG como segue:
A expansao
138
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
a1 . . . ap ap+1 . . . ap+n
+
= a0 +
10p
10p+n
a1 . . . ap ap+1 . . . ap+n
= a0 +
+
10p
10p+n
a1 . . . ap ap+1 . . . ap+n
+
= a0 +
10p
10p+n
a1 . . . ap ap+1 . . . ap+n
+
10p
10p+n
a1 . . . ap ap+1 . . . ap+n
= a0 +
+
10p
10p
= a0 +
1
1
1
1 + n + 2n + . . . + (k1)n + . . .
10
10
10
!
2
(k1)
1
1
1
1+ n +
+ ... +
+ ...
10
10n
10n
1
1
1 n
10
10n
10n 1
1
.
n
10 1
3
3
3
3
+ 2 + . . . + n + n+1 + . . .
10 10
10
10
1
1
3
1
+ . . . + n1 + n + . . .
=
1+
10
10
10
10
3
1
3 10
3
1
=
=
= = .
1
10
10 9
9
3
1
10
(a) 0, 3 =
3
103
3
= 2+ 3
10
3
= 2+ 3
10
3
= 2+ 3
10
412 412
412
+ 9 + . . . + 3k + . . .
6
10 10
10
412
1
1
1
+ 6 1 + 3 + 6 + . . . + 3(k1) + . . .
10
10
10
10
!
2
k1
1
1
412
1
+ ... +
+ ...
+ 6 1+ 3 +
10
10
103
103
412
1
3
412
103
+ 6
=2+ 3 + 6
1
10
10
10
103 1
1 3
10
3
412
1
3
412
1
= 2+ 3 + 3
=2+ 3 + 3
10
10
103 1
10
10
999
3409
2001409
999 3 + 412
=2+
=
.
= 2+
999000
999000
999000
(b) 2, 003412 = 2 +
139
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
de todos os triangulos
T1 , T2 , . . . , Tn , . . ..
Fig. 25.
T2 e 3 , do triangulo
Observamos que o permetro do triangulo
T1 e 3 3, do triangulo
T3 e
2
3
3
Tn+1 e 3 n , etc.
3 2 ,. . ., do triangulo
2
2
3
3
9
9
3
9
+ 3 2 + ... + 3 n + ... = 9 + + 2 + ... + n + ...
2
2
2
2 2
2
1o Estagio:
Se comeca com um quadrado de lado unitario.
acrescentados
2o Estagio:
Em cada um dos 4 vertices
do quadrado acima sao
1
quadrados de lado .
2
o
e vertice
n Estagio:
Em cada vertice
que ficou livre no estagio
(n 1), e acrescentado
1
um quadrado de lado n1 , . . . etc . . .
2
140
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
Fig. 26.
As areas
acrescentadas nos estagios
sucessivos sao:
1o estagio
:
o
2 estagio
:
3o estagio
:
4o estagio
:
5o estagio
:
no estagio
:
1
2
1
4
2
2
1
43
22
2
1
433
23
2
1
4333
. . . etc . . .
24
2
1
n2
43
. . . etc . . .
2n1
3
e primeiro termo 1, da
4
2
2
2
2
1
1
1
1
2
n2
S = 1+4
+43
+43
+ ... + 4 3
+ ...
2
22
23
2n1
2
2
2
4
4
1
4
1
1
2
3
+ 2 3
+ ...
+ 2 3
= 1+1+ 2 3
2
2
2
2
2
2
23
2
4
1
n2
... + 2 3
+ ...
2
2n2
2
2
2
2
1
1
1
1
3
n2
2
+3
+ ... + 3
+ ...
= 1+1+3
+3
2
22
23
2n2
141
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
"
#
2 3
n2
3
3
3
3
= 1+ 1+
+
+
+ ... +
+ ...
22
22
22
22
#
"
n2
2 3
3
3
3
3
= 1+ 1+
+
+
+ ... +
+ ...
4
4
4
4
= 1+
1
1
= 5.
3
4
Exerccios
irredutveis equivalentes aos numeros
1. Determine fracoes
racionais
(a)
84
,
120
(b)
32
,
98
(c)
145
,
255
(d)
45
,
81
(e)
381
,
999
(f)
2139
.
91881
2n + 1
irredutvel.
e uma fracao
3n + 1
3. Seja
m
tais que
Q+ . Mostre que, se m1 , m2 , . . . , mk , n1 , n2 , . . . , nk Z+ sao
n
m1
m2
m3
mk
m
=
=
=
= ... =
,
n
n1
n2
n3
nk
entao
m
m1 + m2 + . . . + mk
=
.
n
n1 + n2 + . . . + nk
16
1
do lado
= ... basta cancelar o 6 no numerador e denominador na fracao
64
4
O leitor pensara que isto e meramente casual ... Mas ... o que acha de cancelar o 9 na fracao
19
?
95
pode ser obtida ao respeito dos paragrafos
Que conclusao
acima?
142
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
C.Q.D.
p
q
onde N Z e p, q sao
3
3
< ,
8
9
(b)
7
1 > 0,
4
(c)
9 135
< 0.
5
75
n
3
< ,
4
5
(b)
2n 1
2
< ,
2n + 1
3
(c)
2n 3n
+ 1 > 0.
3
2
3
1
4
3
+
+
+
10 100 1000 10000
ou
143
x=2+
3
1
4
3
+
+
+
?
9 99 999 9999
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
3
,
5
(b)
7
,
35
(c)
6
,
40
(d)
9
,
12
(e) 1 +
1
6
,
10 9
(f)
2
.
9
105
decimal finita.
tenha expansao
3n
decimais periodicas
a1 . . . as , b1 . . . br
dgitos.
onde a1 , . . . , as , b1 , . . . , br {0, 1, . . . , 9} sao
(a) 301.102
(c) 3, 023.102
(d) 721456.105
3 102
(a)
2, 1 101
0, 35 104
(c)
0, 07 102
18. Sejam
. . 11} 34111 . . . ,
= 2, 34134113411134 |111 . . . 13411
{z . . . 1} 34 |11 .{z
n
n+1
= 2, 34134113411 ,
= 341339 .
abaixo sao
corretas? Justifique com cuidado.
Quais das afirmacoes
(a) < < ,
(m) Q,
(n) R Q,
(o) R Q,
(p) Q.
de 1:
19. Qual e melhor aproximacao
0, 99999,
1, 00001,
144
ou
1, 0009 ?.
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
decimal periodica
2
b= ,
9
3
c= ,
5
d = a + c.
abaixo sao
falsas ou verdadeiras e justifique sua resposta.
21. Diga se as afirmacoes
(a) 0, 5999 . . . <
(c)
2
3
<
2
5+1
2
5+1
<
2
2
< 0, 5999 . . . <
3
5+1
2
2
(d)
< < 0, 5999 . . .
3
5+1
2
3
(b)
< 0, 5999 . . .
2 (r, s).
n+1
p
irredutvel da dzima 2, 0303 . . .
e a fracao
q
p e irracional.
Imite a demonstracao
que 2 e irracional.
Sugestao.
primos distintos, entao
pq e irracional.
p+
q e
irracional.
ou um contra-exemplo as
` proposicoes
abaixo.
28. De uma demonstracao
a = 1 ou b = 1.
(a) Sejam a, b R. Se a b = 1, entao
a = 0 ou b = 0.
(b) Sejam a, b R. Se a b = 0, entao
145
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
existe um unico
(i) Se x R, entao
y R tal que y2 = x.
x<
xy <
x+y
< y.
2
1
min{x, y} = (x + y |y x|),
2
determina o menor dentre os numeros
x e y.
31. Determine valores para a, b R de modo que as igualdades indicadas abaixo sejam verdadeiras.
b
a2 + b2
a
(a)
+
= 2
a+b ab
a b2
1
1
1
a2 2a + 2
(b)
+
=
a a 1 (a 1)2
a(a 1)
(c)
b
1
a+b
b(1 ab) a(a2 1)
2
=
a a
ab
a2 (a b)
146
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
34. Sejam a, b, c, d, x, y R tais que a < x < b e c < y < d. Diga se as afirmacoes
falsas ou verdadeiras e justifique sua resposta.
(a) a + c < x + y < b + d
(c) ac < xy < bd
(b) | x| = |x|
(c) |x| x
(c) |x| 2
quando x > 0
x
=
|x| 1
quando x < 0 .
x
quando x = 0 ?
|x|
(b) |x| y
(c) x2 y2
abaixo sao
falsas ou verdadeiras e justifique sua
39. Sejam a, b, c R . Diga se as afirmacoes
resposta.
(a) a > b = a2 > b2
(c) a2 = b2 = a = b
(d) a2 + b2 a
147
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
n = 0 ou a = 1.
42. Sejam a R+ e n Z. Mostre que se an = 1 entao
Use o binomio
Sugestao.
de Newton.
a = 1 ou p = q.
43. Sejam a (0, ) e p, q Z. Mostre que se ap = aq entao
44. Sejam a, b [0, ). Mostre que a + b = 0 se, e somente se a = 0 = b.
45. Sejam x, y R. Diga se e falso ou verdadeiro e justifique sua resposta.
x = 1 e y = 1 ou x = 1 e y = 1,
(b) Se xy = 1 entao
(b) x2 + y2 = 0 se, e somente se x = 0 = y.
46. Sejam a, b (0, ) e n N . Mostre que (a + b)n an + bn .
47. Sejam a, b (0, ) e n N . Mostre que (a + b)n an + nban1 .
48. Sejam a, b (0, ) e n N . Mostre que (a + b)n = an + bn se, e somente se a = 0 = b.
podemos garantir que (a + b)3 = a3 + b3 ?
49. Sejam a, b R. Sob que condicoes
50. Diga se e falso ou verdadeiro e justifique sua resposta.
(c)
x
= 1
|x|
(d)
z2
= |z|
|z|
51.
numeros
(b) Dados a, b > 0 determine os valores c para os quais e possvel construir um triangulo
de
lados a, b, c.
qn
1
< .
n
n
148
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
lim
2
=0.
n
densos na reta.
Conclua da que os irracionais sao
(c) entre dois racionais distintos existe uma infinidade de irracionais,
(d) entre dois irracionais distintos existe uma infinidade de racionais.
vazio de R.
53. Seja A um subconjunto nao
(I) Dizemos que um numero
real M e uma cota superior de A quando x M para todo x A.
n
(i)
; nN
(ii) {2 + 1 ; n Z}
(iii)
; nN
n
2n+1
1
(iv) {x R ; x2 + 1 > 0} (v) { 2
; n Z}
(vi) {x R ; x2 1 < 0}
n +1
149
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
pertencem ao
(f) De exemplos de conjuntos que possuem cotas superiores mas tais cotas nao
conjunto. Idem para cotas inferiores.
(g) Uma cota superior do conjunto A que pertence ao conjunto A e dita o maior elemento (ou,
elemento maximal) de A.
(h) Uma cota inferior do conjunto A que pertence ao conjunto A e dita o menor elemento
(elemento mnimo) de A.
vazios) que possuem cotas superiores mas nao
possuem o
(i) De exemplos de conjuntos (nao
maior elemento.
vazios) que possuem elemento maximal mas nao
possuem
(j) De exemplos de conjuntos (nao
elemento mnimo.
A tem uma infinidade de cotas
(k) Ja vimos que se A 6= tem cota superior (resp. inferior) entao
pode ter mais que
superiores (resp. inferiores). Mostre que todo subconjunto 6= A R nao
um maior elemento (i.e. o elemento maximal e unico).
Idem para menor elemento.
(l) Para cada um dos conjuntos descritos abaixo de seu elemento maximal, seu elemento
mnimo, a maior de suas cotas inferiores e a menor de suas cotas superiores.
(i) [2, 3) ,
(ii) (, 0) ,
(iii) (1, ] ,
(iv) ( 3, ) ,
(v) [1, 2]
1
1
1
(vi)
; n Z {0} , (vii)
; n Z , (viii)
; nZ
n
n
n2
vazio e limitado superiormente, isto e,
possuindo cota superior.
(m) Seja A R um conjunto nao
ja observamos que (item (b)) nao
existe a maior cota superior de A.
Nos
Existe a menor cota superior de A ?
Questao.
Existe ! Esta e uma nova propriedade fundamental que admitiremos em R.
vazio e limitado superiormente tem sua menor cota superior.
Todo conjunto A R nao
tem uma cota superior que e menor ou igual a todas as cotas superiores de A. Esta cota
Isto e,
superior especial se designa por sup(A) e se chama o supremo de A, .
vazio e limitado inferiormente tem sua maior cota infeSimilarmente, todo conjunto A R nao
tem uma cota inferior que e maior ou igual a todas as cotas inferiores de A. Esta
rior. Isto e,
cota inferior especial se designa por inf(A) e se chama o nfimo de A.
Desafio! Um conjunto A R e chamado denso (em R), quando tem a seguinte propriedade:
150
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
1
1
ra .
k
k
de A.
decimal exata e denso em R.
Mostre que o conjunto dos racionais com expressao
54. Seja a R tal que
1
1
a , k N . Mostre que a = 0.
k
k
2n 2
.
Resp. 0.
(b) lim
n n2 + 2
45
(c) lim 2 +
.
Resp. 2.
n
n
6n2 + 4n
.
Resp. 34 .
n 8n2
2n + 3
n4 + n3 + n2 + n
.
Resp. +.
(e) lim
n
n3 + n2 + n
n3 + 5n + 1
.
Resp. 0.
(f) lim
n 3 + 3n n4
1 + 2 + 3 + ... + n
(g) lim
.
Resp. 21 .
n
n2
12 + 22 + 32 + . . . + n2
.
Resp. 31 .
(h) lim
n
n3
n
2
(i) lim 1 +
.
Resp. 1.
n
3
n
4 n 2
n 3n + 23
5
n .
(j) lim
Resp. 0.
n
n2 3n + 21
(d) lim
151
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
an + bn = max{a, b}
lim
(e) (Desafio!) Se (n) e o numero
de divisores primos de n, entao
(n)
=0
n
(n)
log2 (n)
log2 n
precisa prova-lo)
2 , 2 2 , 2 2 2 , ...
do limite, ache com ajuda da maquina
2 an = 2 `.
lim
precisa prova-lo):
n(n1)
2
h2
n(n1)
2
h2 .
1
= 0.
na
1
de numeros
(a) Se (an )n e uma sucessao
reais positivos que
lim an = 0.
converge a 0 quando n , entao
Dado > 0 tome no >
Indicacao:
lim
(b) Se a > 1, entao
Escreva
Indicacao:
a = 1.
lim
(c) Se 0 < a < 1, entao
a1
.
n
a = 1.
(d) lim
n = 1.
Escreva
Indicacao:
2
,
n1
para n 2.
152
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
n q aq
(a) Seja q Z . Prove que, (1 + a) > q , para todo n > 2q.
2 q!
+
n q aq
.
2q q!
nr
2q q! rq
<
n , para todo n > 2q.
(1 + a)n
aq
nr
= 0.
(c) Use o item (a) do exerccio anterior para concluir que lim
n (1 + a)n
(b) Obtenha do item acima que, se q > r: 0 <
nr
= 0.
n n
(c) lim
62. (Desafio!)
tal que lim an = `, entao
a1 + a2 + . . . + an
= `.
n
n
lim
an+1
(b) Suponha que an > 0 para todo n N, e que lim
= `. Demonstre que lim n an = `
n an
n
(a) r = 0, 231.
7
(b) r = .
8
(c) r = 4, 456.
de numeros
64. Repita o exerccio acima com sucessoes
irracionais (n ) e (n )n .
de numeros
65. Seja r R e sejam (n )n e (n )n sucessoes
reais distintos tais que
153
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
e lim n = r = lim n .
n
Prove que:
(a) O erro ao aproximar r por n (respectivamente, por n ) tende a zero quando n .
(b) A distancia
de n a n tende a 0 quando n .
(a) 8x = 2.
(b) 9x
2 3x
3x
2 x6
= 0.
(a) 1 + 25+ 2 25 2 0 .
32
(b) 7 3+ 2
+ 1+ 5 .
(c) 5
2
+ 5
3
68. Prove que, numa PG, todo termo, a partir do segundo, e a media
geometrica
entre o anterior
se , , sao
termos consecutivos de uma PG, entao
2 = .
e o posterior. Isto e,
69. Sejam k , k+1 , . . . , k+p , . . . , q , . . . , m , m+1 , . . . , m+p termos consecutivos de uma
tais que k < q < m e p > 0).
PG (i.e. k, q, m, p N sao
Prove que k m+p = k+p m .
2e
71. Numa PG de termos positivos, qualquer termo e igual a` soma dos dois posteriores. Qual a
dessa PG?
razao
72. Determine o valor de a R de modo que, 7 a,
primeiros de
23 a e 2 + a, sejam os tres
o valor da razao
da PG.
uma PG. Acha tambem
73. Dez numeros
formam uma PG finita de modo que, a soma dos termos de ordem par e 4 e a
dessa PG.
soma dos termos de ordem mpar e 20. Determine a razao
154
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
3
obtemos
(a)
(b)
q
3
rq
3
1
45
sr
3
(c)
q
3
x ...
(d)
1
2
(e) 1
75. O limite da soma dos termos de uma PG e igual a 1. Determine o quarto termo desta PG
2
sabendo que o primeiro termo e .
3
76. Uma bolinha e solta de uma altura h sobre o solo. Cada vez que ela bate no solo, sobe, atingindo uma altura 20% menor que a altura anterior. Determine, em termos de h, o comprimento
B e o complementar da regiao
A no crculo
crculos de diametros
, , , , . . . , etc. A regiao
2 4 8 16
de raio 1.
A e B.
Determine a area
das regioes
Fig. 27.
(a) 1 ,
(b) 12 ,
(e) 2 .
(c) 2 ,
(d) 2 2 ,
1
5
1
25
(b) 2 ,
(c)
1
5
qp
15
rq
2
16
1
5
15
2 . . . obtemos:
! 15
. . . obtemos:
2,
(d) 4 5 ,
(e) 1 .
155
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
Estagio
0: C0 = [0, 1].
dos intervalos obtidos ao retirar de C0 o terco central aberto. Isto e,
Estagio
1: C1 e a uniao
1 2
1
2
,
= 0,
,1 .
C1 = C0
3 3
3
3
dos intervalos obtidos ao retirar os tercos centrais abertos das partes
Estagio
2: C2 e a uniao
de C1 . Isto e
C2 = C1
1 2
,
9 9
7 8
,
9 9
1
2 1
2 7
8
= 0,
,
,
,1 .
9
9 3
3 9
9
etc. . .
dos intervalos obtidos ao retirar os tercos centrais abertos das partes
Estagio
n: Cn e a uniao
de Cn1 .
etc. . .
o conjunto de Cantor e o conjunto
Por definicao,
C = C0 C1 C2 . . . Cn . . . .
O conjunto de Cantor e nao
vazio (de fato, dentre seus infinitos elementos temos 0, 1, todos os numeros
Observacao:
da forma
1
,
3n
etc).
Calcule a soma dos comprimentos dos intervalos abertos retirados para construir o conjunto de
Cantor.
Fig. 27.
criou a Aritmetica
156
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
naturais.
os seus divisores positivos e 6 =
Por exemplo : 6 e um natural perfeito, pois 1, 2, 3 e 6 sao
1
(1
2
+ 2 + 3 + 6).
Sabendo que o natural 213 1 e primo, mostre que 212 (213 1) e um natural perfeito.
aritmetica
()
84. Tres
chamados numeros
(I) Os numeros
3 , 6 , 10 , 15 , . . . sao
triangulares em virtude a` associacao
Fig. 28.
dada?
(a) Qual o decimo
setimo
numero
triangular da sucessao
3. Supondo-se que o primeiro termo da PG seja igual ao dobro do primeiro termo da PA,
razao
157
Instituto de Matematica
- UFF
Os Racionais e os Irracionais
3.9 Limites e a PG
determinar a soma dos dez primeiros termos da PG e a soma dos cinco primeiros termos da
PA.
158
Instituto de Matematica
- UFF