Apostila Análise Matemática 1ºsemestre

Professores Ccero, Conrad, Ubiratan e Vera Uniban 2011
1
CAPTULO I
Preliminares

1. A contribuio da Anlise Matemtica na formao de professores

As disciplinas introdutrias de Anlise, que costumam integrar os currculos de Bacharelado e
Licenciatura em Matemtica, em geral so totalmente dedicadas a uma apresentao rigorosa do
Clculo. Assim, tal disciplina apresenta excelente oportunidade para desenvolver no estudante de
Licenciatura e futuro professores do Ensino Bsico aquela habilidade to necessria no trato com
definies, teorema, demonstraes, que so o embasamento lgico de toda a Matemtica. (Geraldo
vila, 2006).
Diante disso, a Anlise Matemtica objetiva o desenvolvimento do raciocnio algbrico abstrato e
a habilidade de compreender simbologias, nomenclaturas, definies e teoremas; ou seja, fornece ao
professor as ferramentas necessrias para que este possa pesquisar, compreender e questionar o que
dito nos livros. (Carine B. Loureiro)
O estudo da Anlise Matemtica est direcionado aos formalismos utilizados em Matemtica e s
demonstraes dos resultados estudados nas disciplinas de Clculo Diferencial e Integral. Elon Lima
(LIMA, 2002), um importante matemtico brasileiro, autor de alguns dos principais livros desta rea
adotados em cursos de Matemtica, diz que um livro de Matemtica no deve ser lido como se l uma
novela; no primeiro caso deve-se se ter lpis e papel na mo para reescrever com suas prprias palavras
cada definio ou enunciado de teoremas.
Uma vez que o professor de matemtica tem conhecimento sobre os teoremas e demonstraes,
ele se sente mais seguro ao ensinar os contedos, pois assim ele tem certeza da veracidade do que ser
transmitido ao aluno. Faltando tal conhecimento ao professor, o mesmo poder se sentir inseguro sobre
o contedo e assim poder omitir certas informaes que poderiam facilitar a explicao para a melhor
compreenso por parte do aluno, prejudicando o desenvolvimento intelectual do mesmo.

2. Um pouco de histria

A Matemtica sempre representou uma atividade humana e, em todas as pocas, mesmo nas mais
remotas, a ideia de contar sempre esteve presente. Um clssico exemplo da noo intuitiva de
contagem era a correspondncia entre ovelhas de um rebanho e pedrinhas contidas em pequenos sacos,
ou marcas em pedao de osso ou de madeira, ou ainda por meio de ns em cordes, utilizados pelos
incas.
Muitos anos ainda se passaram at que se iniciasse o desenvolvimento terico do conceito de
nmero que, embora hoje nos parea natural, foi lento e complexo, envolvendo diversas civilizaes.

2
Os registros histricos nos mostram a utilizao de vrios sistemas de numerao, por exemplo,
os povos babilnios de 2000 a.C., que desenvolveram o sistema de numerao sexagesimal e
empregaram o princpio posicional; os egpcios, que j usavam sistema decimal (no posicional); os
romanos, que fizeram histria atravs do uso simultneo do princpio da adio e do raro emprego do
princpio da subtrao; e os gregos antigos, povos que utilizavam diversos sistemas de numerao.
Quase quatro mil anos separam as primeiras manifestaes de numerao escrita da construo
do sistema de numerao posicional decimal que utilizamos, munido do smbolo denominado zero.
Esse smbolo foi criado pelos hindus nos primeiros sculos da era crist. A concepo do zero foi
ignorada, durante milnios, por civilizaes matematicamente importantes como a dos gregos e dos
egpcios.
A inveno do zero foi um passo decisivo para a consolidao do sistema de numerao indo-
arbico, devido sua eficincia e funcionalidade em relao aos demais sistemas de numerao. Sem o
zero, tornaria se impossvel efetuar 385 x 908 usando os algarismos romanos.
Um marco importante na histria dos nmeros e da matemtica se deu no sculo VI a.C., na
Escola Pitagrica. Em seus estudos, os pitagricos envolviam-se de um certo misticismo, pois
acreditavam que existia uma harmonia interna no mundo governada pelos nmeros naturais.
Desde Pitgoras pensava-se que, dados dois segmentos de reta quaisquer, AB e CD, seria sempre
possvel encontrar um terceiro segmento EF, contido um nmero inteiro de vezes em AB e um nmero
inteiro de vezes em CD. Expressamos essa situao dizendo que EF um submltiplo comum de AB
e CD ou que AB e CD so comensurveis.
Essa ideia nos permite comparar dois segmentos de reta da seguinte maneira: dados dois
segmentos, AB e CD, dizer que a razo AB/CD o nmero racional m/n, significa que existe um
terceiro segmento EF, submltiplo comum desses dois, satisfazendo: AB m vezes EF e CD n vezes
EF.
Era natural imaginar que, para dois segmentos AB e CD dados, era sempre possvel tomar EF
suficientemente pequeno para caber um nmero inteiro de vezes simultaneamente em AB e em CD.
Para os pitagricos, dois segmentos de reta eram sempre comensurveis, sendo, portanto, os nmeros
naturais suficientes para expressar a razo entre eles e, de modo mais geral, a relao entre grandezas
da mesma natureza.
O reinado dos nmeros naturais, na concepo pitagrica, foi profundamente abalado por uma
descoberta originada no seio da prpria comunidade pitagrica e que se deu, em particular, numa figura
geomtrica comum e de propriedades aparentemente simples, o quadrado. Trata-se da
incomensurabilidade entre a diagonal e o lado de um quadrado.

3
De fato, ao considerarmos a diagonal e o lado de um quadrado comensurveis, teremos, a
diagonal como medida nt e o lado com medida mt. Pelo teorema de Pitgoras, temos que:

n
2
t
2
= m
2
t
2
+ m
2
t
2
n
2
t
2
= 2m
2
t
2
n
2
= 2m
2

o que absurdo, pois em n
2
h uma quantidade par de fatores de primos e, em 2m
2
, uma quantidade
par de fatores primos, em contradio com a unicidade da decomposio de um nmero natural em
fatores primos, como mostra o Teorema Fundamental da Aritmtica. (Todo nmero inteiro positivo
n > 1 igual a um produto de fatores primos).
Essa situao s foi contornada atravs do matemtico e astrnomo ligado Escola de Plato,
Eudoxo de Cnidos (408 a.C 355 a.C.), que criou a Teoria das Propores para tratar as grandezas
incomensurveis atravs da Geometria, que apesar do progresso, contribuiu para a desacelerao do
desenvolvimento da aritmtica e da lgebra por muitos sculos.
O coroamento da fundamentao matemtica do conceito de nmero ocorreu somente no final do
sculo XIX, principalmente atravs dos trabalhos propostos por Richard Dedekind (18311916), Georg
Cantor (18451918) e Giuseppe Peano (18581932). Esses estudos foram motivados pelas demandas
tericas que surgiram a partir do volume de conhecimento matemtico adquirido a partir do clculo
diferencial e integral de Isaac Newton (16431727) e Gottfried Leibniz (16461716), no sculo XVII.
interessante estudar como o processo histrico da conceituao de nmero assemelha-se
nossa prpria formao desse conceito. Antes de iniciarmos nossa vida escolar, admitimos os nmeros
naturais como fruto do processo de contagem, da mesma forma que a humanidade os admitiu at o
sculo XIX. Entre os gregos da poca de Euclides, nmeros eram os que hoje escrevemos como 2, 3, 4,
5 etc., ou seja, os nmeros naturais maiores do que 1. O prprio 1 era concebido como a unidade bsica
a partir da qual os nmeros, as quantidades, eram formadas. O zero, como vimos, foi uma concepo j
dos primeiros sculos da era crist, criada pelos hindus, para a numerao escrita. Para uma criana
aprendendo a contar, este ato s faz sentido a partir da quantidade 2, seno contar o qu? Ela s admite
o zero depois de ter passado alguns anos experimentando os nmeros de verdade, isto , contando e
adquirindo experincia, o que se d no incio de sua aprendizagem da numerao escrita.
As fraes eram admitidas pelos gregos no como nmeros, mas como razo entre nmeros (2, 3,
4, etc.). Da mesma forma, os nmeros negativos, inicialmente utilizados para expressar dvidas,
dbitos e grandezas que so passiveis de serem medidas em sentidos opostos, s receberam o status de
nmeros sculos aps serem utilizados na matemtica e em suas aplicaes. Aqui nota-se a semelhana
com a nossa experincia pessoal em matemtica.
A existncia de grandezas incomensurveis e a ausncia de um tratamento eficiente para
express-las, isto , o desconhecimento de uma fundamentao terica para o conceito de nmero real,
no impediu o progresso de ramos da matemtica do sculo XVI ao sculo XIX. No entanto, a

4
complexidade dessa matemtica conduziu a problemas para cuja compreenso e soluo o
entendimento intuitivo no era suficiente. mais ou menos deste modo que formamos o nosso
conceito de nmero real: apesar de ouvirmos falar de nmeros reais desde o Ensino Fundamental,
concretamente s trabalhamos com nmeros racionais. Isso ocorre at mesmo no Ensino Superior.
Os nmeros complexos apareceram no estudo de equaes, no sculo XVI, com o matemtico
italiano Girolamo Cardano (15011576), mas tambm s adquiriram o status de nmero a partir de
suas representaes geomtricas, dadas no sculo XVIII pelos matemticos Carl Friedrich Gauss
(17771855) e Jean Robert Argand (17681822) e da sua lgebra, apresentada por W. R. Hamilton em
1833, na qual eles eram definidos como pares ordenados de nmeros reais. Estes, por sua vez, foram
construdos rigorosamente a partir dos racionais, dcadas depois, por R. Dedekind e G. Cantor. Aqui
tambm h um paralelo com a nossa educao escolar: supondo conhecidos os reais, no to
complicado concebermos os complexos. No entanto, o conceito rigoroso de nmero real s se aborda
no curso de Anlise Matemtica. Isso, porm, feito de forma axiomtica, isto , o conjunto dos
nmeros reais admitido por axioma como um corpo ordenado completo, e no construdo a partir dos
racionais, como deve ser feito.
Por fim, os nmeros racionais podem ser construdos rigorosamente a partir dos nmeros inteiros
e esses a partir dos naturais. Mas, e os nmeros naturais, os primeiros que so admitidos pela nossa
intuio? Assim se perguntaram alguns matemticos do sculo XIX, na busca de completar o conceito
matematicamente rigoroso de nmero. Eles podem ser construdos a partir da Teoria dos Conjuntos ou
podem ser apresentados atravs de axiomas, como fez George Peano, em 1889.
Por fim, este curso pretende apresentar os conjuntos numricos numa ordem logicamente
coerente naturais, inteiros, racionais e reais passando a limpo a conflituosa ordem histrica
apresentada.

3. Primeiras noes

3.1. Proposio

qualquer afirmao, verdadeira ou falsa, mas que faa sentido. Por exemplo, so proposies as
trs afirmaes seguintes:

A: Todo nmero primo maior que 2 mpar.
B: A soma dos ngulos internos de qualquer tringulo 180.
C: Todo nmero mpar primo.

Observe que dessas trs proposies, as duas primeiras so verdadeira, mas a terceira falsa, pois
9, 15, 21, etc., so nmeros mpares que no so primos.

5
3.2. Teorema

uma proposio verdadeira do tipo P implica Q, onde P e Q so tambm proposies. Escreve-
se, simbolicamente, P Q, que tanto se l P implica Q, como P acarreta Q ou Q
consequncia de P. P a hiptese e Q a tese do teorema. Por exemplo, a proposio A acima um
teorema, que pode ser escrito na forma D E, onde D e E so as proposies seguintes:

D: n um nmero primo maior do que 2.
E: n um nmero mpar.

Observe que quando se enuncia um teorema A B, no est se afirmando que a hiptese A
verdadeira; apenas que, se for verdadeira, ento B tambm ser.

3.3. Lema e Corolrio

Lema um teorema preparatrio para a demonstrao de outro teorema. Corolrio um teorema
que segue como consequncia natural de outro.
Muitos autores utilizam a palavra proposio para designar os teoremas de uma certa teoria,
reservando a palavra teorema para aqueles resultados que devem ser ressaltados como os mais
importantes.
Ao longo deste curso, os verbos demonstrar, provar e mostrar sero usados com o mesmo
significado. Antigamente, falava-se somente demonstrar, mas com a influncia do ingls, os verbos
provar e mostrar foram tomando o lugar de demonstrar.

3.4. Axioma

uma proposio aceita como sendo verdade inicial, no sendo demonstrvel pela sua evidncia.

4. Relao de Equivalncia

Uma relao R em A diz-se relao de equivalncia se possuir as seguintes propriedades:
i) reflexiva: a ~ a, para todo a A;
ii) simtrica: se a, b A e a ~ b, ento b ~ a;
iii) transitiva: para a, b, c A, se a ~ b e b ~ c, ento a ~ c.


6
CAPTULO II
Construo dos Nmeros Reais

Parte I Nmeros Naturais

1. Conjuntos Numricos e suas representaes nos diagramas

Os nmeros podem ser organizados em conjuntos.
H uma simbologia convencionada para representar os principais conjuntos formados pelos
nmeros. Vejamos:

Conjuntos dos nmeros naturais
representado por N. Ento: N = {0, 1, 2, 3, 4, 5, 6, ...}

Conjuntos dos nmeros inteiros
representado por Z. Ento: Z = {..., 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, ...}

Conjuntos dos nmeros racionais
representado por Q. Ento: Q =
p
x / x = , sendo p e q inteiros, com q 0
q

`
)
.
A letra Q a inicial da palavra quociente. Todo racional o quociente da diviso de dois inteiros.

Conjuntos dos nmeros reais
representado por R. Ento: R = {x / x racional ou irracional}

Todo nmero natural nmero inteiro. Mas h nmeros inteiros que no naturais (por exemplo:
1, 2, 3).
Todo nmero inteiro nmero racional. Mas h nmeros racionais que no so inteiros
1 7 3
por exemplo: , ,
2 3 10
| |
|
\
.
Todo nmero racional um nmero real. Mas h nmeros reais que no racionais (so os
irracionais).
Num diagrama, podemos representar os conjuntos numricos, respeitando as observaes acima,
do seguinte modo:


7

2. Definio

Os nmeros naturais chamam-se naturais justamente por surgirem naturalmente em nossa
experincia com o mundo fsico, j nos primeiros anos da infncia.
Intuitivamente, podemos dizer que nmeros so medidas de grandezas. Considerando que as
grandezas podem ser discretas (que podem ser contadas) ou contnuas (que no podem ser contadas),
definimos os nmeros naturais como sendo medidas de grandezas discretas; nas palavras de Leonard
Euler:

Nmero o resultado da comparao de duas grandezas da mesma espcie, sendo uma
tomada como unidade. (L. Euler, Elements of Algebra, 1765)

Essa definio intuitiva de nmero natural boa porque traduz em palavras nossa experincia
cotidiana de contagem, resumindo o que podemos dizer com base no senso comum; entretanto, a
definio no satisfaz os critrios de preciso e rigor, caractersticos da matemtica contempornea;
tambm no serve para desenvolvermos uma teoria dos nmeros naturais no padro axiomtico-
dedutivo. Para a Matemtica, interessa uma rigorosa teoria axiomtica-dedutiva dos nmeros naturais
porque isso significa tanto o aprofundamento de nossa compreenso quanto a organizao lgica dos
conceitos e propriedades desses nmeros, o que nos possibilita a investigao de propriedades sutis
(que no so evidentes ou so contraintuitivas) e tambm permite aplicaes em contextos inusitados.
(Lcio Fassarella, 2002)

N
Z
Q
I
R

8
3. Representao grfica

4. Propriedades Operatrias (N, +), (N, *) e (N, +, *)

Os nmeros naturais so munidos de duas operaes internas: a adio (+) e multiplicao (*).

A1 Para todos a e b em N tem-se: a + b pertence a N.
(Propriedade do fechamento)

A2 Para todos a, b e c em N tem-se: (a + b) + c = a + (b + c)
(Propriedade associativa da adio)

A3 Existe um elemento 0 N tal que para todo a N tem-se: 0 + a = a + 0 = a
(Propriedade do elemento neutro da adio)

A4 Para todos a, b N tem-se: a + b = b + a.
(Propriedade comutativa da adio)

M1 Para todos a e b em N tem-se: a i b pertence a N.

M2 Para todos a, b e c em N tem-se: a i (b i c) = (a i b) i c
(Propriedade associativa da multiplicao)

M3 - Existe um elemento 1 N tal que para todo a N tem-se a i 1 = 1 i a = a
(Propriedade do elemento neutro da multiplicao)

M4 - Para todos a, b N tem-se: a i b = b i a
(Propriedade comutativa da multiplicao)

D1 Para todos a, b e c em N tem-se: a i (b + c) = a i b + a i c
(Propriedade distributiva esquerda da multiplicao em relao adio)

D2 - Para todos a, b e c em N tem-se: (a + b) i c = a i c + b i c
(Propriedade distributiva direita da multiplicao em relao adio)


9
5. Princpio da Induo Finita (PIF) ou Princpio da Boa Ordem

5.1. Introduo

O Princpio da Induo Finita um eficiente instrumento para a demonstrao de fatos referentes
aos nmeros naturais. Por isso deve-se adquirir prtica em sua utilizao. Por outro lado, importante
tambm conhecer seu significado e sua posio dentro do arcabouo da Matemtica. Entender o
Princpio da Induo Finita praticamente o mesmo que entender os nmeros naturais.
Apresentamos abaixo uma breve exposio sobre os nmeros naturais, onde o Princpio da
Induo se insere adequadamente e mostra sua fora terica antes de ser utilizado na lista de exerccios
propostos ao final.

5.2. A Sequncia dos Nmeros Naturais

Os nmeros naturais constituem um modelo matemtico, uma escala padro, que nos permite a
operao de contagem. A sequncia desses nmeros uma livre e antiga criao do esprito humano.
Comparar conjuntos de objetos com essa escala abstrata ideal o processo que torna mais precisa a
noo de quantidade; esse processo (a contagem) pressupe, portanto o conhecimento da seqncia
numrica. Sabemos que os nmeros naturais so 1, 2, 3, 4, 5, A totalidade desses nmeros constitui
um conjunto, que indicaremos com o smbolo N e que chamaremos de conjunto dos naturais. Portanto
N = {1, 2, 3, 4, 5,}.
Evidentemente, o que acabamos de dizer s faz sentido quando j se sabe o que um nmero
natural. Faamos de conta que esse conceito nos desconhecido e procuremos investigar o que h de
essencial na sequncia 1, 2, 3, 4, 5 .
Deve-se a Giussepe Peano (1858 1932) a constatao de que se pode elaborar toda a teoria dos
nmeros naturais a partir de quatro fatos bsicos, conhecidos atualmente como os axiomas de Peano.
Noutras palavras, o conjunto N dos nmeros naturais possui quatro propriedades fundamentais, das
quais resultam, como consequncias lgicas, todas as afirmaes verdadeiras que se podem fazer sobre
esses nmeros. Os axiomas de Peano so:

P1: Se a um nmero natural, ento a tem um nico sucessor que tambm um nmero natural.

P2: Zero no sucessor de nenhum nmero natural.

P3: Dois nmeros naturais que tm sucessores iguais so, eles prprios, iguais.

P4: Se um conjunto S de nmeros contm o zero e tambm o sucessor de todo nmero de S, ento todo
nmero est em S.


10
5.3. Elemento Mnimo

Definio: Seja A um conjunto de naturais. Chama-se elemento mnimo de A um elemento a tal
que a x para todo x A. Notao: a = min A.

min A = a se, e somente se, (a A e x A, ento a x).

Teorema: Se a elemento mnimo de A, ento este elemento nico.

5.4. Induo Matemtica

Teorema: Seja P(n) uma proposio associada a cada inteiro positivo n e que satisfaz s duas
seguintes condies:

1) P(1) verdadeira.

2) Para todo inteiro k, se P(k) verdadeira, ento P(k + 1) tambm verdadeira. Nestas condies, a
proposio P(n) verdadeira para todo inteiro positivo n.

5.5. Princpio da Induo Finita (PIF).

Teorema: Seja S um subconjunto do conjunto N dos inteiros positivos (S N) que satisfaz as duas
seguintes propriedades:

1) 1 pertence a S (1 S).

2) Para todo inteiro positivo k, se k S, ento (k + 1) S;

3) Nestas condies, S o conjunto N dos inteiros positivos: S = N.

Vejamos trs exemplos:

Exemplo 1: Prove 1 + 2 + 3 + ... + n =
n(n + 1)
2
para todo n
1.
Resoluo:

i) Provar que verdadeira para n = 1.
L.E. = 1
L.D. =
1 (1 + 1) 2
=
2 2
i
= 1

Portanto, verdadeiro para n = 1.


11
ii) Supor que verdadeiro para n = k. (Hiptese de Induo).

1 + 2 + 3 + ... + k =
k(k + 1)
2
(H.I.)

iii) Provar que verdadeiro para n = k + 1.

1 + 2 + 3 + ... + k + (k + 1) =
(k + 1)(k + 1 + 1)
2

1 + 2 + 3 + ... + k + (k + 1) =
(k + 1)(k + 2)
2

Pela hiptese de induo temos que 1 + 2 + 3 + ... + k =
k(k + 1)
2
. Substituindo, temos:

k(k + 1)
2
+ (k + 1) =
k(k + 1)
2
+ (k + 1) =
=
k(k + 1) + 2(k + 1)
2
=
(k + 1) (k + 2)
2

que igual ao L.D.

Portanto: 1 + 2 + 3 + ... + n =
n(n + 1)
2
, n
1.

Exemplo 2: 1 + 4 + 9 + ... + n
2
=
n(n + 1)(2n + 1)
6
para todo n
1.

L.E. = 1
L.D. =
1 (1 + 1) (2 1 + 1) 1 2 3 6
= =
6 6 6
i i i i i
= 1



1 + 4 + 9 + ... + k
2
=
k(k + 1)(2k + 1)
6
(H.I.)


1 + 4 + 9 + ... + k
2
+ (k + 1)
2
=
(k + 1)(k + 1 + 1)[2(k + 1) + 1]
6


12
1 + 4 + 9 + ... + k
2
+ (k + 1)
2
=
(k + 1)(k + 2)(2k + 3)
6

Pela hiptese de induo temos que 1 + 4 + 9 + ... + k
2
=
k(k + 1)(2k + 1)
6

k(k + 1)(2k + 1)
6
+ (k + 1)
2
=
=
2
k(k + 1)(2k + 1) + 6(k + 1)
6
=
(k + 1)[k(2k + 1) + 6(k + 1)]
6
=
=
2
(k + 1)(2k + k + 6k + 6)
6
=
2
(k + 1)(2k + 7k + 6)
6
=
(k + 1)(k + 2)(2k + 3)
6

que igual ao L.D.

Portanto: 1 + 4 + 9 + ... + n
2
=
n(n + 1)(2n + 1)
6
, n
1.

Exemplo 3: 1 + 8 + 27 + ... + n
3
=
2 2
n (n + 1)
4
para todo n
1.

L.E. = 1
L.D. =
2 2
1 (1 + 1) 1 4
=
4 4
i i
= 1
2



1 + 8 + 27 + ... + k
3
=
2 2
k (k + 1)
4
(H.I.)


1 + 8 + 27 + ... + k
3
+ (k + 1)
3
=
2 2
(k + 1) (k + 2)
4

Pela hiptese de induo temos que 1 + 8 + 27 + ... + k
3
=
2 2
k (k + 1)
4


13

2 2
k (k + 1)
4
+ (k + 1)
3
=
=
2 2 3
k (k + 1) + 4(k + 1)
4
=
2 2
(k + 1) [k + 4(k + 1)]
4
=
=
2 2
(k + 1) (k + 4k + 4)
4
=
2 2
(k + 1) (k + 2)
4

que igual ao L.D.

Portanto: 1 + 8 + 27 + ... + n
3
=
2 2
n (n + 1)
4
, n
1.

Exerccios

1) Prove por induo finita, para todo n 1.

a) 2 + 6 + 10 + ... + (4n 2) = 2n
2

b) 4 + 10 + 16 + ... + (6n 2) = n(3n + 1)

c) 2 + 4 + 6 + ... + (2n) = n(n + 1)

d) 1 + 5 + 9 + ... + (4n 3) = n(2n 1)

e) 1 + 3 + 6 + ... +
n(n + 1)
2
=
n(n + 1)(n + 2)
6

f) 1 + 3 + 5 + ... + (2n 1) = n
2

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

h) 1 i 2 + 2 i 3 + 3 i 4 + + n(n + 1) =
n(n + 1)(n + 2)
3

i) 2
2
+ 4
2
+ 6
2
+ + (2n)
2
=
2n(n + 1)(2n + 1)
3

j) 1 i 2 + 3 i 4 + 5 i 6 + + (2n 1) i 2n =
n(n + 1)(4n 1)
3


14
Parte II Nmeros Inteiros

1. Origens

Os algarismos que usamos hoje em dia surgiram da ndia, no sculo VII, e sua difuso pelo
mundo se deve, em grande parte, aos rabes. Da a designao indo-arbicos atribuda a eles. A
maneira de grafar esses smbolos foi se modificando ao longo do tempo, e a forma moderna mal se
assemelha original. Importa, porm, que foi a partir da ndia, quando o Ocidente estava mergulhando
na estagnao e no obscurantismo da primeira fase do perodo medieval, que o sistema de numerao
posicional decimal comeou a se tornar padro. Inclusive o zero, que mesmo entre os gregos do
perodo alexandrino era usado apenas para indicar ausncia (o que j era um avano em relao a
outras pocas e outros povos), com os hindus ganhou status pleno de nmero.
Coube tambm aos hindus a introduo na matemtica dos nmeros negativos. O objetivo era
indicar dbitos. O primeiro registro do uso de nmeros negativos de que se notcia foi feito pelo
matemtico e astrnomo hindu Brahmagupta (598?), que j conhecia inclusive as regras para as
quatro operaes com nmeros negativos. Bhaskara (sc. XII), outro matemtico e astrnomo hindu,
assinalou que todo nmero positivo tem duas razes quadradas, uma negativa e outra positiva, e
salientou tambm a impossibilidade de se extrair a raiz quadrada de um nmero negativo.
Ao introduzirem os nmeros negativos, os hindus no tinham nenhuma preocupao de ordem
terica. Na verdade, os progresso matemticos verificados na ndia, por essa poca, ocorreram quase
que por acaso e em boa parte devido as descompromisso com o rigor e a formalidade.
Mas a aceitao e o entendimento pleno dos nmeros negativos foi um processo longo. Basta ver
algumas designaes que receberam: Stigel (14861567) os chamava de nmeros absurdos; Cardano
(1501 1576), de nmeros fictcios. Descartes (15961650) chamava de falsas as razes negativas de
uma equao. Outros, como F. Viete (15401603), importante matemtico francs, simplesmente
rejeitavam os nmeros negativos.



15
3. Propriedades Operatrias (Z, +, *)

Os nmeros inteiros so munidos de duas operaes internas: a adio (+) e multiplicao (*).

A1 Para todos a e b em Z tem-se: a + b pertence a Z.

A2 Para todos a, b e c em Z tem-se: (a + b) + c = a + (b + c)

A3 Existe um elemento 0 Z tal que para todo a Z tem-se: 0 + a = a + 0 = a

A4 Para todo elemento a Z, existe um elemento, denotado por a, tal que: a + (a) = a + a = 0.
(Propriedade do elemento oposto da adio)

A5 Para todos a, b N tem-se: a + b = b + a.

M1 Para todos a e b em N tem-se: a i b pertence a N.

M2 Para todos a, b e c em N tem-se: a i (b i c) = (a i b) i c

M3 - Existe um elemento 1 Z tal que para todo a Z tem-se: a i 1 = 1 i a = a

M4 - Para todos a, b Z tem-se: a i b = b i a

D1 Para todos a, b e c em N tem-se: a i (b + c) = a i b + a i c

D2 - Para todos a, b e c em N tem-se: (a + b) i c = a i c + b i c

4. Construo dos nmeros inteiros

Pretende-se aqui dar um sentido matemtico a todas as expresses do tipo a b, para quaisquer a,
b N, de maneira a poder tratar como entes do mesmo conjunto tanto aquelas como 7 3, 5 1 e
4 0 quanto aquelas como 3 7, 1 3 e 0 2, por exemplo. Nesse sentido convm observar primeiro

16
que subjacente a cada diferena a b est o par ordenado (a, b) N x N. Alm disso fcil ver que,
por exemplo, a igualdade em N

5 3 = 9 7

equivale a 5 + 7 = 9 + 3. De uma maneira geral, se a, b, c, d N, a b e c d, vale a equivalncia:

a b = c d a + d = b + c

Essas consideraes, aliadas ao fato de que o conjunto dos inteiros a ser construdo, deve ser uma
ampliao de N.
No conjunto N x N consideremos a relao ~ definida da seguinte maneira: para quaisquer (a, b)
e (c, d) em N x N,

(a, b) ~ (c, d) a + d = b + c

Para a relao ~ valem as propriedades:

Reflexiva, pois, como para todo (a, b) N x N, se verifica a + b = b + a, ento (a, b) ~ (b, a);
Simtrica, ou seja, se (a, b) ~ (c, d), temos a + d = b + c. Temos que a + d = b + c b + c =a + d,
e pela propriedade comutativa temos c + b = d + a e, portanto: ento (c, d) ~ (a, b)
Transitiva, pois, se (a, b) ~ (c, d) e (c, d) ~ (e, f), ento a + d = b + c e c + f = d + e. Da temos que
a + d + f = b + c + f e c + f + b = e + d + b, o que implica a + d + f = e + d + b e portanto a + f = e +
b, ou seja: (a, b) ~ (e, f)

Vejamos um exemplo envolvendo os nmeros inteiros:

Exemplo: Mostre que
3
7 + 5 2 +
3
7 5 2 um nmero inteiro.
Resoluo:

3
7 + 5 2 +
3
7 5 2 = x

Elevando ambos os membros ao cubo, vem:

( )
3
3 3
7 + 5 2 + 7 5 2 = x
3

Desenvolvendo temos:

( ) ( ) ( ) ( ) ( ) ( )
3 2 2 3
3 3 3 3 3 3
7 + 5 2 + 3 7 + 5 2 7 5 2 + 3 7 + 5 2 7 5 2 + 7 5 2 i i i i = x
3


17

3 3 3 3
x
7 + 5 2 + 3 7 + 5 2 7 5 2 7 + 5 2 + 7 5 2 + 7 5 2
| |
|
|
\
i i i
= x
3

( )( )
3
14 + 3 7 + 5 2 7 5 2 x i i = x
3

3
14 + 3x 49 25 2 i i = x
3

3
14 + 3x 1 i = x
3

14 3x = x
3

x
3
+ 3x 14 = 0

As possveis razes da equao polinomial so: { 1, 2, 7, 14}.
Testando as razes temos:

x = 1 1
3
+ 3 i 1 14 = 1 + 3 14 = 10 0. Portanto, 1 no raiz.
x = 1 1
3
+ 3 i 1 14 = 1 + 3 14 = 10 0. Portanto, 1 no raiz.
x = 1 (2)
3
+ 3 i 2 14 = 8 + 6 14 = 0. Portanto, 2 raiz.

Portanto,
3
7 + 5 2 +
3
7 5 2 um nmero inteiro.

Exerccios

2) Mostre que inteiro o nmero
3
10
2 + 3
9
+
3
10
2 3
9
.

3) Classifique as proposies abaixo em verdadeira (V) ou falsa (F):
a) 0 N
b) 0 Z
c) 10 Z
d) Z
+
N
e) ( 2 3) Z
f) N Z
g) O conjunto dos nmeros naturais finito.

4) Classifique as sentenas abaixo em verdadeira (V) ou falsa (F), sendo m, n e p nmeros naturais
distintos:
a) [(m + n) . p] N
b) [m . (n p)] Z
c) (m + n) . (p + n) > 0
d) (mp n) N


18
Parte III Nmeros Racionais

1. Origens

Sempre que a diviso de um inteiro por outro no era exata, os egpcios antigos, j por volta do
ano 2000 a.C., usavam fraes para exprimir o resultado. E usavam tambm fraes para operar com
seu sistema de pesos e medidas.
Contudo, por razoes difceis de explicar, com exceo das fraes
2
3
e
3
4
, s vezes, os egpcios
usavam apenas fraes unitrias, ou seja, fraes cujo numerador 1. Por exemplo, no problema 24
do papiro Rhind (cerca de 1700 a.C.) no qual o escriba pede que se efetue a diviso de 19 por 8, a
resposta dada, usando a nossa notao, por:

1 1
2 + +
4 8

Embora os egpcios no adotassem sempre o mesmo procedimento, pode-se mostrar que toda
frao entre 0 e 1 a soma de fraes unitrias, o que representa uma garantia terica para essa opo.
Alis, o uso das fraes unitrias, alm de no ficar confinado ao Egito antigo, se estendeu por
vrios sculos. Basta dizer que Fibonacci, no seu j citado Lber abaci, escrito no sculo XIII d.C., no
s as usava como fornecia tabelas de converso das fraes comuns para unitrias. que, embora uma
das finalidades dessa obra fosse divulgar os numerais indo-arbicos e a notao decimal posicional,
Fibonacci no chegou a perceber a grande vantagem deste sistema: sua aplicabilidade para exprimir
fraes. Por exemplo:

1
4
= 0,25

Mas convm registrar que os babilnios, 2 000 anos antes de Cristo, apesar de algumas
ambiguidades, decorrentes de no contarem com um smbolo para o zero e outro para separatriz,
conseguiram estender o princpio posicional s fraes no seu sistema de base 60. Por exemplo, o
numeral que representa o inteiro 1 + 1 i 60 = 61, tambm poderia ser uma representao de

1
1 +
60

Na verdade, o uso da forma decimal para representar fraes, tal como em
1
4
= 0,25, somente
comearia a vingar aps a publicao, em 1585m de um pequeno texto de Simon Stevin (15481620)

19
intitulado De thiende (O dcimo). Embora a essa altura a forma decimal j no constitusse uma
novidade para os especialistas, esse trabalho de Stevin alcanou grande popularidade e conseguiu seu
intento, que era ensinar a como efetuar, com facilidade nunca vista, todos os clculos necessrios
entre os homens, por meio de inteiros sem fraes. A notao inicialmente usada por Stevin acabou
sendo melhorada com o emprego da vrgula ou do ponto como separatriz decimal, conforme sugesto
de John Napier (15501617), feita em 1617.


Podemos notar que entre dois inteiros consecutivos existem infinitos nmeros racionais e
tambm que entre dois racionais quaisquer h infinitos racionais. Por exemplo, entre os racionais
1
2
=
0,5 e
2
3
= 0, 6 , podemos encontrar os racionais
5
9
= 0, 5,
3
5
= 0,6 e
61
100
= 0,61, entre outros.

Um procedimento comum para achar um nmero compreendido entre outros dois calcular a
mdia aritmtica entre eles; no caso, temos:

1 2
+
2 3
2
=
3 + 4
6
2
=
7
6
2
=
7
12
ou
0, 5 + 0,6
2
=
1,16
2
= 0,583 =
7
12


20
3. Propriedades Operatrias (Q, +, *)

Os nmeros racionais so munidos de duas operaes internas: a adio (+) e multiplicao (*).

A1 Para todos a e b em Q tem-se: a + b pertence a Q.

A2 Para todos a, b e c em Q tem-se: (a + b) + c = a + (b + c)

A3 Existe um elemento 0 Q tal que para todo a Z tem-se: 0 + a = a + 0 = a

A4 Para todo elemento a Q, existe um elemento, denotado por a, tal que: a + (a) = a + a = 0.

A5 Para todos a, b Q tem-se: a + b = b + a.

M1 Para todos a e b em Q tem-se: a i b pertence a N.

M2 Para todos a, b e c em Q tem-se: a i (b i c) = (a i b) i c

M3 - Existe um elemento 1 Q tal que para todo a Z tem-se a i 1 = 1 i a = a

M4 - Para todos a, b Q tem-se: a i b = b i a

M5 Para todo elemento no nulo a de Q, existe um elemento, denotado por a
1
, tal que a i a
1
=
a
1
i a = 1
(Propriedade do elemento inverso da multiplicao)

D1 Para todos a, b e c em Q tem-se: a i (b + c) = a i b + a i c

D2 - Para todos a, b e c em Q tem-se: (a + b) i c = a i c + b i c


21
4. A diviso em Q

Sejam a, b Z, b 0. Se a mltiplo de b, ento existe um nico c Z de maneira que a = bc.
Este elemento c chamado quociente de a por b e costuma ser indicado por:

c =
a
b
ou c = a : b

A operao que a cada par (a, b), nas condies expostas, associa c = a : b a diviso em Z.
Portanto, a diviso em Z s est definida em

{(a, b) Z x Z : b 0 e b / a}

5. Construo dos nmeros racionais

Consideremos o conjunto Z x Z* = {(a, b) / a Z e b Z*}. Definamos nele a relao: (a, b) ~
(c, d) quando ad = bc.
Para a relao ~ valem as propriedades:

Reflexiva, pois, como para todo (a, b) N x N, se verifica ab = ba, ento (a, b) ~ (b, a);
Simtrica, ou seja, se (a, b) ~ (c, d), temos ad = bc. Temos que ad = bc bc = ad. Pela
propriedade comutativa, temos cb = da. Temos ento (c, d) ~ (a, b).
Transitiva, pois, se (a, b) ~ (c, d) e (c, d) ~ (e, f), ento a + d = b + c e c + f = d + e. Da temos que
a + d + f = b + c + f e c + f + b = e + d + b, o que implica a + d + f = e + d + b e portanto a + f = e +
b, ou seja: (a, b) ~ (e, f)

Temos, ento:

a) (1, 2) ~ (2, 4) ~ (31, 62) b) (5, 1) ~ (10, 2)

Vejamos alguns exemplos envolvendo nmeros racionais:

Exemplo 1: Prove que a soma de dois nmeros racionais um nmero racional.
Resoluo:
Sejam m =
a
b
, com a Z
*
, b N
*
e m Q; e n =
c
d
, com c Z
*
, d N
*
e n Q. Quer se
provar que m + n Q.
Ento, m + n =
a
b
+
c
d
=
ad
bd
+
bc
bd
=
ad + bc
bd
.


22

Como a Z
*
, b N
*
, c Z
*
e d N
*
, temos ento que ad + bc e bd so nmeros inteiros, pois
o produto de dois nmeros inteiros um nmero inteiro, e a soma de dois nmeros inteiros um
nmero inteiro. Portanto:
m + n =
a
b
+
c
d
Q. (c.q.d.)

Exemplo 2: Prove que a diviso de dois nmeros racionais um nmero racional.
Resoluo:
Sejam m =
a
b
, com a Z
*
, b N
*
e m Q; e n =
c
d
, com c Z
*
, d N
*
e n Q. Quer se
provar que m + n Q.
Entendemos por diviso em Q, a operao Q x Q* em Q definida por (a, b) ab
1
, onde b
1
o
elemento inverso de b.

Ento, m : n =
a
b
i
1
c
d
| |
|
\
=
a
b
i
d
c
=
ad
bc
.
Como a Z
*
, b N
*
, c Z
*
e d N
*
, temos ento que ad e bc so nmeros inteiros, pois o
produto de dois nmeros inteiros um nmero inteiro. Portanto:
m : n Q. (c.q.d.)

Exemplo 3: Mostre que
1 515
3 333
=
15
33
.
Resoluo:
Temos que
1 515
3 333
=
15 100 + 15
33 100 + 33
i
i
=
15 (100 + 1)
33 (100 + 1)
i
i
=
15
33

Exemplo 4: Determine r Z de maneira que a frao ordinria
10r
2r 1
represente nmeros inteiros.
Resoluo:
Efetuando a diviso temos:

10r 2r 1
10r + 5 5
5

Temos, ento, que:
10r
2r 1
= 5 +
5
2r 1
.

Para que a frao represente um nmero inteiro, 2r 1 deve ser mltiplo de 5, ou seja:

23

2r 1 = 1 2r = 2 r = 1
2r 1 = 1 2r = 0 r = 0
2r 1 = 5 2r = 6 r = 3
2r 1 = 5 2r = 4 r = 2

Portanto, para a frao representar um nmero inteiro, r deve assumir os seguintes valores: 2, 0,
1, 3.

6. Determinao da frao geratriz de dzimas peridicas

Denomina-se dzima peridica os nmeros decimais que so formados por nmeros que se
repetem infinitamente. Os algarismos que se repetem so chamados de algarismos peridicos.
Caso a dzima peridica possuir aps a vrgula algarismos que no se repetem, estes so
chamados de no peridicos.

Exemplos:
a) 0,555..... a parte peridica o 5.
b) 0,132132132.... a parte peridica 132.
c) 0,002500250025... a parte peridica 0025.
d) 0,32777... a parte no peridica 32 e a peridica 7.
e) 0,023858585... a parte no peridica 023 e a peridica 85.

Quando temos uma parte inteira diferente de zero, devemos ver este nmero como a soma da
parte inteira com a parte fracionria.

Exemplos:
a) 4,315315315... = 4 + 0,315315315....
b) 1,710979797... = 1 + 0,710979797...

Regras para determinao de uma frao geratriz

a) Simples:
Em uma dzima peridica simples, o perodo se apresenta imediatamente aps a vrgula, como,
por exemplo, 0,4444... ou 2,5555... ou, ainda, 2,343434...
Para obter a frao geratriz de uma dzima peridica simples, podemos trat-la como uma
incgnita, como x, por exemplo.

x = 0,4444...


24

Em seguida, multiplicamos os dois termos da igualdade por uma potncia de 10 cujo expoente
igual quantidade de numerais do perodo da dzima.

x = 0,4444...
10x = (0,444...) . 10
10x = 4,444...

Subtraindo uma expresso da outra, isto , fazendo:

(10x x) = 4,444... 0,444...

obtemos:
9x = 4 x =
4
9

Assim, a geratriz da dzima 0,444... a frao
4
9
.

b) composta
Em uma dzima peridica composta, entre o perodo e a vrgula h um ou mais numerais que no
fazem parte do perodo, como, por exemplo, 0,23333... ou 1,03242424...
De modo semelhante ao que foi feito anteriormente, nomearemos a dzima de x.

x = 0,2333...

Visto que o perodo formado apenas por um algarismo, multiplicaremos toda a expresso por
10, para separar a parte peridica da no peridica.

x = 0,2333
10x = 2,333...

Em seguida, multiplicamos os dois termos da igualdade por uma potncia de 10 cujo expoente
igual quantidade de numerais do perodo da dzima.

100x = 23,333...

Subtraindo as duas ltimas expresses, temos:

(100x 10x) = 23,333... 2,333...

obtemos:
90x = 21 x =
21
90

Assim, a geratriz da dzima 0,2333... a frao
21
90
.

25

Dos dois exemplos acima, generalizando foi criada as seguintes regras:

Regra 1: A frao geratriz de uma dzima peridica simples tem como numerador o nmero formado
pela parte peridica. O denominador, tantos noves quantos forem os algarismos que formam a parte
peridica.

Exemplos:
a) 0,7777... =
9
7
b) 0,676767... =
99
67
c) 0,001001001...=
999
1

Regra 2: A frao geratriz de uma dzima peridica composta tem como numerador o nmero
formado pela juno das partes no peridica e peridica menos o nmero formado pela parte no
peridica. O denominador tantos noves quantos forem os algarismos da parte peridica acrescidos de
tantos zeros quantos forem os no peridicos.

Exemplos:
a) 0,13555.. =
900
122
900
13 135
=
b) 0,4113113113...=
9990
4109
9990
4 4113
=

7. Dzimas peridicas e cclicas

O que ser que acontece se o denominador de uma frao irredutvel contiver algum fator primo
diferente de 2, 3 e 5? Consideremos o exemplo da converso de 5/7 em decimal, ilustrada abaixo. Na
primeira diviso (de 50 por 7), obtemos o resto 1; depois, nas divises seguintes, vamos obtendo,
sucessivamente, os restos 3, 2, 6, 4 e 5. No momento em que obtemos o resto 5, que j ocorreu antes,
sabemos que os algarismos do quociente voltaro a se repetir, resultando no perodo 714285. Essa
repetio acontecer certamente, pois os possveis restos de qualquer diviso por 7 so 0, 1, 2, 4, 5 e 6.
Vemos tambm que o perodo ter no mximo seis algarismos.

5, 00000000 7
10 0,71428571...
30
20
60
40
50
10


26
No caso da diviso de 41 por 23, podemos garantir que a repetio de um resto parcial ocorrer
no mximo at a 23a casa decimal. De fato, para a frao
41
23
, a dzima a seguinte:

1,78260869565217391304347826086956521739130434...

ou seja, ela apresenta um perodo enorme, formado por um pacote de 22 casas decimais.
Portanto, ao efetuarmos a diviso da frao irredutvel
m
n
, os nicos restos possveis sero {1, 2,
3, 4, 5, ..., n 1}. Assim, o processo de diviso que gera uma dzima peridica recomea no ensimo
passo ou antes dele. O desenvolvimento decimal de
m
n
ser peridico e seu perodo ter, no mximo,
n 1 algarismos.
No caso do exemplo acima, a frao
41
23
tem por perodo seu comprimento mximo: n 1 =
23 1 = 22 algarismos.

Exerccios

5) Explique porque no consideramos como nmeros:
a)
0
0
b)
1
0

6)
3
n pode ser um nmero racional? Explique.

7)
1 + 5
2
um nmero racional? Explique.

8) Mostre que o nmero x = 19 + 8 3 + 19 8 3 racional.

9) Prove que 0,9999... igual a 1.

10) Mostre que x = 12 + 6 3 + 12 6 3 racional.

11) Classifique as proposies abaixo em V (verdadeira) ou F (falsa).
a)
4
5
Q b)
2
1
3
Q c)
1
3
Q Z
d) 0,333... Q e) 1, 9 Z f)
15
11
Q

12) Escreva dois nmeros racionais que esto entre:
a) 0 e
3
5
b) 1 e
9
4
c)
3
4
e
1
5


27
13) Calcule:
a) 2,33333... i 1,75
b) 1,25555... i 4,44444...
c) 0,757575... : 0,66666...
d) 0,666... 0,6
e) 0,23 : 0,2333...
f) 0,1777... + 0,1
g) 0,161616... : 0,4777...

14) Um professor encontrou entre os clculos de seus alunos quatro diferentes formas de efetuar a
adio de duas fraes:

Aluno A:
1 2
+
2 5
= 0,5 + 0,4 = 0,9 Aluno B:
1 2
+
2 5
=
5 4
+
10 10
=
9
10

Aluno C:
1 2
+
2 5
=
3
7
Aluno D:
1 2
+
2 5
=
5 + 4
10
=
9
10

15) Determine as fraes geratrizes das dzimas peridicas usando a regra prtica.
a) 0,1515...
b) 0,416416...
c) 2,111...
d) 20,2020...
e) 8,1212...
f) 0,1555...
g) 1,155...
h) 2,01717...
i) 2,007777...
j) 100,0777...
l) 4,0757575...

16) Se a = 0, 4 e b = 0, 3, ento b a igual a:
a)
1
9
b)
2
9
c)
5
9
d)
7
9

17) (XXI OBM 1999 Primeira fase Nvel 2) Qual o 1999 algarismo aps a vrgula na
representao decimal de
4
37
?
a) 0 b) 1 c) 2 d) 7 e) 8

18) Mrio estava fazendo esta diviso:

9 7
20 1,285714
60
40
50
10
30
2

Cansado, no quis mais continuar.
Marisa olhou e disse:
Na verdade, voc no precisa continuar! Assim j d para perceber qual o resultado.
Marisa tem razo. Explique por que e depois apresente o quociente da diviso.


28
Parte IV Nmeros Reais e Irracionais

1. Definio

Os nmeros reais so os alicerces da Anlise Matemtica. Nmero real todo nmero que
racional ou irracional. Observa-se que os nmeros naturais e os nmeros inteiros so casos
particulares de nmeros racionais, de forma que quando dizemos um nmero racional, fica aberta a
possibilidade de ele ser um nmero inteiro (positivo ou negativo) ou simplesmente um nmero natural.
A totalidade dos nmeros racionais, juntamente com os irracionais o chamado conjunto dos
nmeros reais.


Retomemos a reta numerada, com alguns nmeros racionais (inteiros ou no) j assinalados:


29

3. Propriedades Operatrias (R, +, *)

Os nmeros reais so munidos de duas operaes internas: a adio (+) e multiplicao (*).

A1 Para todos a e b em R tem-se: a + b pertence a Q.

A2 Para todos a, b e c em R tem-se: (a + b) + c = a + (b + c)

A3 Existe um elemento 0 R tal que para todo a Z tem-se: 0 + a = a + 0 = a

A4 Para todo elemento a R, existe um elemento, denotado por a, tal que: a + (a) = a + a = 0.

A5 Para todos a, b R tem-se: a + b = b + a.

M1 Para todos a e b em R tem-se: a i b pertence a N.

M2 Para todos a, b e c em R tem-se: a i (b i c) = (a i b) i c

M3 - Existe um elemento 1 R tal que para todo a Z tem-se a i 1 = 1 i a = a

M4 - Para todos a, b R tem-se: a i b = b i a

M5 Para todo elemento no nulo a de R, existe um elemento, denotado por a
1
, tal que a i a
1
=
a
1
i a = 1
(Propriedade do elemento inverso da multiplicao)

D1 Para todos a, b e c em R tem-se: a i (b + c) = a i b + a i c

D2 - Para todos a, b e c em R tem-se: (a + b) i c = a i c + b i c
(Propriedade distributiva direita da multiplicao em relao adio


30
4. Grandezas incomensurveis

Historicamente, a primeira evidncia da necessidade dos nmeros irracionais ocorre com a ideia
de incomensurabilidade. Na Grcia Antiga, os nicos nmeros reconhecidos como tais eram os
nmeros naturais 2, 3, 4, etc. O prprio 1 no era considerado nmero, mas a unidade, a partir da
qual se formavam os nmeros. As fraes s apareciam indiretamente, na forma de razo de duas
grandezas, como, por exemplo, quando dizemos que o volume de uma esfera est para o volume do
cilindro reto que a circunscreve assim como 2 est para 3.
A descoberta de grandezas incomensurveis foi feita pelos prprios pitagricos; e representou um
momento de crise da Matemtica.
Devemos lembrar que Pitgoras notara certas relaes numricas envolvendo o comprimento de
uma corda musical e o som por ela emitido. Ao que parece, ele fez observaes semelhantes com
relao a outros fenmenos, intuindo da que o nmero fosse de fato a essncia de todos os fenmenos,
permeando a Natureza inteira. Sendo assim, era de se esperar que a razo de dois segmentos de reta
pudesse sempre ser expressa como a razo de dois nmeros (naturais).
Dizer que a razo de dois segmentos A e B a frao m/n significa dizer que existe um segmento
c tal que A = mc e B = nc. Ora, com a descoberta dos incomensurveis, ficou claro que isso nem seria
possvel.

5. Nmeros irracionais

Podemos conceber nmeros cuja representao decimal no nem finita nem peridica. Esses
so os chamados nmeros irracionais.
fcil produzir nmeros irracionais, basta inventarmos uma regra de formao que no permita
aparecer perodo. Podemos conseguir isso, por exemplo, utilizando dois algarismos quaisquer, como 5
e 0, colocando o 5 seguido de um zero, depois o 5 seguido de dois zeros, etc. Assim, temos:

0,50 500 5000 50000...

Outros trs nmeros irracionais importantes e conhecidos so: o (l-se: pi), o (l-se: fi) e o e
(nmero neperiano). Temos, respectivamente, os trs nmeros com suas 300 primeiras casas decimais:

Nmero
3,141592653589793238462643383279502884197169399375105820974944592307816406286208998
6280348253421170679821480865132823066470938446095505822317253594081284811174502841
0270193852110555964462294895493038196442881097566593344612847564823378678316527120
1909145648566923460348610454326648213393607260249141273...


31

Nmero
1,618033988749894848204586834365638117720309179805762862135448622705260462818902449
7072072041893911374847540880753868917521266338622235369317931800607667263544333890
8659593958290563832266131992829026788067520876689250171169620703222104321626954862
6296313614438149758701220340805887954454749246185695364...

Nmero e
2,718281828459045235360287471352662497757247093699959574966967627724076630353547594
5713821785251664274274663919320030599218174135966290435729003342952605956307381323
2862794349076323382988075319525101901157383418793070215408914993488416750924476146
0668082264800168477411853742345442437107539077744992069...

Os trs pontos utilizados nos nmeros irracionais no tm o mesmo significado das dzimas
peridicas, por exemplo. Aqui significa que os algarismos se sucedem indefinidamente, sem nenhuma
lei de formao explicitada.
As razes quadradas dos nmeros naturais que so quadrados perfeitos (0, 1, 4, 9, 16, 25, 36, ...),
as razes cbicas de cubos perfeitos (0, 1, 9, 27, 64, ...) e assim por diante, so nmeros naturais.

0 = 1
4 = 2
9 = 3
16 = 4

3
0 = 0

3
8 = 2

4
16 = 2

5
32 = 2

As razes quadradas dos nmeros naturais que no so quadrados perfeitos, cubos perfeitos e
assim por diante; so nmeros irracionais.

3 = 1,732050808...
10 = 3,16227766...
61 = 7,810249676...

3
6 = 1,817120593...

6. Representao geomtrica dos nmeros irracionais

Apesar de os irracionais no poderem ser escritos na forma de frao no correto dizer que eles
no tm valor exato. Esse assunto foi objeto de preocupao entre os matemticos da Escola pitagrica,
por volta sc. V a. C. Conta-se que Hippaso de Metaponto, filsofo grego, em uma embarcao

32
martima, comprovou, geometricamente, que os nmeros irracionais tinham um valor exato,
contradizendo a ideias dos pitagricos fanticos da poca. Por esse motivo foi lanado ao mar.
Impossvel de se verificar algebricamente, verdade, mas de fcil visualizao geomtrica. Com
os nmeros reais em mos, situaremos cada um deles sobre uma reta, de modo que cada ponto da reta
representar um nmero real. Esse ponto ser chamado imagem do nmero. Reciprocamente o nmero
ser chamado de abscissa do ponto.
Para constru-la procedemos da seguinte forma:

1 passo: Marcamos, no eixo real, dois pontos para serem imagem de 0 e 1 respectivamente. Note que
AB = 1.

2 passo: Construmos um segmento BC, congruente a BA, com origem em B e que forma um ngulo
reto com o eixo. Observe:

3 passo: Ligamos os pontos A e C para formar o segmento AC. Pelo teorema de Pitgoras,
descobrimos que AC tem medida igual a 2 .

4 passo: Giramos no sentido horrio o segmento AC, em torno do ponto A, com o auxlio de um
compasso, at se sobrepor ao eixo. Pronto! O local onde o ponto C tocou o eixo (C) a imagem de
2 . Observe:

A B

0 1
A B

0 1
C
1
1
A B

0 1
C
1
1
2
A B

0 1 2 2
C
1
1
2
C

33
O tamanho da hipotenusa (segmento AC) fornece o valor exato de 2 . (Nesse caso no
consideramos imprecises nos aparelhos de medida que dispomos). Devemos considerar rguas ideais,
embora no existam de fato.
Esse processo vlido para qualquer nmero irracional. Com esse raciocnio fica provado que, ao
contrrio do que parece, os irracionais tm valor exato. Embora nmeros desse tipo possuam infinitas
casas decimais com algarismos que nunca repetem (indcio de no possuir valor exato), podemos
visualizar geometricamente (atravs de uma figura) que h um tamanho bem determinado para 2 ,
igual a medida do segmento AC. Esse um valor exato. Como todos os irracionais tm segmentos
cujo tamanho igual ao seu valor, fica provado que qualquer nmero irracional tem valor exato,
embora a primeira vista parea o contrrio.
Veja, por exemplo, como representamos os nmeros irracionais 2 , 3 e 2 na reta:

A construo que se segue bastante sugestiva para a representao precisa dos nmeros 2 ,
3 , 4 , 5 , ..., n , ... sobre a reta:


34
7. Provando que 2 um nmero irracional

Antes de provar a irracionalidade da 2 , vamos provar antes que o quadrado de todo nmero par
par.
Seja m um nmero par. Ento temos, m = 2x, com x Z. Elevando ao quadrado, temos:

m
2
= (2x)
2
= 4x
2
= 2 . 2x
2

Como x inteiro, 2x
2
tambm. Qualquer nmero multiplicado por 2 par. Portanto, o quadrado
de qualquer nmero par par.
Agora, vamos provar que 2 um nmero irracional.

I. Vamos supor, por absurdo, que 2 seja racional, isto , que 2 possa ser escrito na forma
a
b
, com
a Z e b Z*, de modo que
a
b
seja irredutvel (a e b so primos entre si). Temos, ento, 2 =
a
b
.

II. Elevando os dois membros ao quadrado, obtemos 2 =
2
2
a
b
, ou a
2
= 2b
2
. Isso significa que a
2
par,
logo, a par.

III. Por outro lado, como a frao
a
b
irredutvel e a par, ento b tem que ser mpar.

IV. Se a par, existe um nmero inteiro m tal que a = 2m. Substituindo em a
2
= 2b
2
, temos:
(2m)
2
= 2b
2
4m
2
= 2b
2
b
2
= 2m
2

Ou seja, se b
2
par, ento b tambm par.

V. Essa ltima deduo um absurdo, pois em III conclumos que b deveria ser mpar e um nmero
no pode ser par e mpar ao mesmo tempo. E tambm, porque a e b devem ser primos entre si.
Por isso, conclumos que a hiptese de 2 ser racional falsa e que, portanto, 2 irracional.

8. Para alm dos complexos

Uma pergunta natural, neste ponto, seria: os conjuntos numricos param por a? Ou seja, C
pode ser imerso propriamente em algum outro conjunto de nmeros? A resposta sim! Por
exemplo, C pode ser imerso no anel dos quatrnios de Hamilton que, no entanto, no tem mais a

35
estrutura algbrica de corpo porque a multiplicao deixa de ser comutativa. Os quatrnios so hoje
utilizados em robtica, computao grfica e em outras reas da cincia. Por sua vez, os quatrnios
podem ser imersos nos octnios, no qual a multiplicao no mais associativa. Os octnios tm
importantes aplicaes em ramos da fsica como relatividade especial e teoria das cordas, alm de ser
relacionarem com outras estruturas matemticas como os chamados grupos de Lie excepcionais. Esse
processo de imerso em conjuntos maiores pode prosseguir ad infinitum atravs da chamada
Construo de Cayley-Dickson. Um resultado algbrico fundamental, devido a Frobenius (18481917),
garante, no entanto, que as nicas lgebras com diviso finita sobre o corpo dos reais so os reais, os
complexos, os quatrnios e os octnios.
Na matemtica e em suas aplicaes, as estruturas de corpo ordenado completo dos reais e de
corpo algebricamente fechado dos complexos so importantes por vrias razes, em especial, por
serem os corpos de escalares dos espaos vetoriais presentes em muitas reas da matemtica.

Vejamos alguns exemplos envolvendo nmeros reais.

Exemplo 1: Prove que 2 + 3 no pode ser racional.
Resoluo:
Seja x = 2 + 3 . Elevando ambos os membros ao quadrado temos:

x
2
= 2 + 2 6 + 3

Reagrupando, temos:

x
2
5 = 2 6

Elevando ao quadrado novamente, temos:

x
4
10x
2
+ 25 = 24

Reagrupando, temos:

x
4
10x
2
+ 1 = 0

As nicas razes racionais possveis desta equao so 1 e 1. Substituindo x por 1 e por 1,
nenhum desses dois valores satisfazem a equao. De modo que 2 + 3 , que satisfaz a equao, no
pode ser racional.


36
Exemplo 2: Indique um nmero irracional entre
22
3
e
23
3
.
Resoluo:
Seja a o nmero procurado:
22
3
< a <
23
3
.
Como
22
3
e
23
3
so nmeros positivos maiores que 1, ento:

2
22
3
| |
|
\
< a
2
<
2
23
3
| |
|
\

Logo,
484
9
< a
2
<
529
9
.
Podemos atribuir a a
2
qualquer frao que esteja entre
484
9
e
529
9
. Por exemplo, a
2
=
495
9
.
Logo,
484
9
<
495
9
<
529
9
; ento,
484
9
< 55 <
529
9
.

Extraindo a raiz de todos os membros dessa desigualdade, temos:

484
9
< 55 <
529
9

22
3
< 55 <
23
3

Assim, 55 est entre as duas fraes dadas.

Exerccios

19) Quaisquer que sejam o racional x e o irracional y, pode se dizer que:
a) x y irracional;
b) y y irracional;
c) x + y racional;
d) x y + 2 irracional;
e) x + 2y irracional.

20) Classifique as sentenas em verdadeiras ou falsas e apresente um exemplo que confirme sua
afirmao.
a) O produto de dois nmeros irracional pode ser um racional.
b) A soma de um racional com um irracional sempre um irracional
c) A soma de dois irracionais sempre um nmero irracional.
d) Se x e y so racionas, ento x + y sempre racional.
e) 5 x, se x racional, esse nmero pode ser racional.
f) y
3
, se y irracional, esse nmero pode ser racional.


37
21) Prove que a soma de dois nmeros pares sempre um nmero par.

22) Prove que a soma de dois nmeros mpares sempre um nmero par.

23) Prove que o quadrado de um nmero mpar sempre mpar.

24) Prove que 3 irracional.

25) Prove que p irracional, onde p > 1 um nmero primo qualquer.

26) Decida se cada uma das frases dadas verdadeira (V) ou falsa (F). No preciso provar, basta
justificar a escolha feita.
a) Um nmero real com infinitas casas decimais no nulas irracional.
b) Uma dzima peridica composta um nmero irracional.
c) 0,9999... = 1
d) Entre os nmeros 1,23456 e 1,23457 no existe nenhum nmero irracional.
e) Entre os nmeros 1,23456 e 1,23457 no existe nenhum nmero racional.
f) A soma de dois nmeros racionais pode ser um nmero irracional.
g) A soma de dois nmeros irracionais pode ser um nmero racional.
h) A soma de dois nmeros irracionais um nmero irracional.
i) O produto de dois nmeros irracionais um nmero irracional.
j) Um nmero irracional elevado a um nmero racional pode dar um nmero racional.

27) Prove que
3
2 um nmero irracional

28) Prove que os nmeros abaixo so irracionais:
a)
4
5 2 b) 3 2 c) 2 + 3 + 5

29) Coloque em ordem crescente os nmeros reais:
19
20
, 2 , 3 , 1, 5 e 1, 2 .

30) Disponha em ordem decrescente os nmeros:
2
2
,
3
3
, 1,
21
20
,
5
5
e 0, 8.

31) Observe os seguintes nmeros:

I. 2,212121...
II. 3,212223...
III.
5

IV. 3,1416
V. 4

Assinale a alternativa que identifica os nmeros irracionais:
a) I e II b) I e IV c) II e III d) II e V e) III e V


38
32) Classifique as afirmaes abaixo em V (verdadeira) ou F (falsa).
a) 3 N b) 0 Z
+
c) 3 Q
d)
3
0
R e) 3 R f) 0,123123... Z

33) Classifique as afirmaes abaixo em verdadeiras ou falsas:
a) Se x N, ento x Z
b) Se x Z, ento x N
c) Se x Q, ento x R
d) Se x N, ento x Q

34) Sendo y = 1 : 0,1 e x = 2 : 0,1, mostre que A =
x
y
e B =
x(y 1)
y
so irracionais, mas que A . B

racional.

35) Identifique a afirmao verdadeira entre as seguintes:
a) No conjunto dos nmeros inteiros relativos, existe um elemento que menor do que todos os
outros.
b) O nmero real 2 pode ser representado sob a forma
p
q
, sendo p e q inteiros, q 0.
c) O nmero real representado por 0,37222... um nmero racional.
d) Toda raiz de uma equao algbrica do 2 grau um nmero real.
e) O quadrado de qualquer nmero real um nmero racional.

36) Sejam a, b e c nmeros reais quaisquer. Identifique a afirmao verdadeira:
a) a > b a
2
> b
2

b) a > b ac > bc
c)
2 2
a + b a
d)
c c c
= +
a + b a b

e) a
2
= b
2
a = b

37) Escreva um nmero:
a) natural
b) inteiro negativo
c) racional que no inteiro
d) real e no racional

38) Localize os nmeros 5 , 6 , 7 , 8 e 9 na reta real geometricamente.

39) Mostre que o nmero x = 2 + 2 + 2 + 2 + ... racional. (Sugesto: eleve ao quadrado os
dois membros.)


39
Parte V Fundamentos Axiomtico dos nmeros reais

1. Enumerabilidade

Diz-se que um conjunto enumervel quando seus elementos podem ser postos em
correspondncia biunvoca com os nmeros naturais.
Por exemplo, os nmeros pares 2, 4, 6, ..., constituem um conjunto enumervel, como se v a
seguir:

Nmeros pares 2 4 6 8

Nmeros naturais 1 2 3 4

Um dos primeiros fatos surpreendentes que surge na considerao de conjuntos infinitos diz
respeito possibilidade de haver equivalncia entre um conjunto e um seu subconjunto prprio. Por
exemplo, a correspondncia n 2n, que ao 0 faz corresponder 0, ao 1 faz corresponder 2, ao 2 faz
corresponder 4, etc., estabelece equivalncia entre o conjunto dos nmeros naturais e o conjunto dos
nmeros pares positivos. Veja: o conjunto dos nmeros pares positivos um subconjunto prprio do
conjunto N; no entanto, tem a mesma cardinalidade que N, ou seja, o mesmo nmero de elementos.
Este fenmeno uma peculiaridade dos conjuntos infinitos e em nada contradiz o que j sabemos
sobre conjuntos finitos.

1.1. A enumerabilidade em Q

O conjunto dos nmeros racionais enumervel. Se eu tiver etiquetas com os nmeros 0, 1, 2,
3, 4, 5, 6, ... eu consigo dar uma etiqueta para cada nmero racional.
A enumerabilidade no precisa preservar a ordem de valores dos nmeros.

0 1/2 1
1 2 3

40
3
2
4
5
6
7
1

1.2. Como enumerar os racionais?

0 1
1
2

1
3

1
4

1
5
...

2
2
3

2
5

2
7

2
9

2
11
...

3
3
2

3
4

3
5

3
7

3
8
...

4

Nessa matriz infinita, esto gerados todos os nmeros racionais.

Vejamos alguns exemplos:

Exemplo 1: Construa uma bijeo entre o conjunto N e o conjunto dos nmeros mpares positivos.
Resoluo: n 2n + 1

Exemplo 2: Demonstre que o conjunto dos nmeros racionais, entre 0 e 1 inclusive, enumervel.
Resoluo:
Basta escrever todas as fraes de denominador 2, 3, ... considerando s uma vez as fraes
equivalentes como
1
2
,
2
4
,
3
6
, ... Ento, pode-se estabelecer a correspondncia biunvoca com os
nmeros naturais como segue:

Nmeros racionais 0 1
1
2

1
3

2
3

1
4

3
4

1
5

2
5
...

Nmeros naturais 0 1 2 3 4 5 6 7 8

De modo que o conjunto dos nmeros racionais, entre 0 e 1 inclusive, enumervel.

Exemplo 3: Prove que o conjunto de todos os reais em [0, 1] no enumervel.
Resoluo:
Todo real em [0, 1] admite uma representao decimal 0, a
1
, a
2
, a
3
..., onde a
1
, a
2
, ..., so
quaisquer algarismos 0, 1, 2, ..., 9.
Admitimos que os nmeros cuja representao decimal seja finita, tais como 0,7324, se escrevam
0,73240000..., e que essa representao equivalente a 0,73239999...

41
Se os reais em [0, 1] formam um conjunto enumervel, podemos coloc-los em correspondncia
biunvoca com os nmeros naturais, como se segue abaixo:

1 0, a
11
a
12
a
13
a
14
...
2 0, a
21
a
22
a
23
a
24
...
3 0, a
31
a
32
a
33
a
34
...

Formemos, agora, o nmero b = 0, b
1
, b
2
, b
3
, b
4
..., onde b
1
a
11
, b
2
a
22
, b
3
a
33
, b
4
a
44
, ... e
onde, acima de uma certa ordem, os b no so todos iguais a 9. Um tal nmero, que pertence a [0, 1],
diferente de todos os nmeros do quadro acima, no figurando, assim, no mesmo, o que contraria a
hiptese de que todos os nmeros de [0, 1] tenham sido includos.
Essa contradio mostra que os reais em [0, 1] no podem ser colocados em correspondncia
biunvoca com os nmeros naturais, portanto, o conjunto dos reais em [0, 1] no enumervel.

2. Conjuntos densos

Sejam os conjuntos A = {x Z / 2 x 2} e B = {x R / 2 x < 2}.
Enquanto podemos enumerar os elementos do conjunto A, A = {2, 1, 0, 1, 2}, o mesmo no
ocorre para B, pois seus elementos so infinitos nmeros reais que se situam entre o 2 e o 2.
Por isso, o conjunto B chamado conjunto denso.
No entanto, possvel representar B desenhando seus elementos na reta real:

Marcamos as extremidades do conjunto dado.

Como 2 elemento de B, indicamos esse ponto com uma bola cheia; como 2 no elemento de
B, indicamos com uma bola vazia

Como x um nmero maior ou igual a 2 e menor que 2, sombreamos a reta neste intervalo.

2 2
2 2
2 2

42
3. Distncias e Vizinhanas

Ao nmero real no negativo d(x, y) = x y chama-se distncia entre os nmeros reais x e y .
So imediatas as seguintes propriedades:

P1: d(x, y) = 0 x = y;

P2: d(x, y) = d(y, x) (simetria);

P3: d(x, y) d(x, z) + d(z, y) (desigualdade triangular).

Dado o real a R e sendo > 0 ao conjunto (intervalo), chama-se uma vizinhana de a com raio
, ao conjunto:

{x / d(x, a) < } = { x / x a < } = ] a , a + [ ,

4. Extremos

Se, para todos os nmeros x de um conjunto C de nmeros reais, existe um M tal que x M, o
conjunto diz-se limitado direita ou limitado superiormente, e M uma cota superior ou majorante.
Analogamente, se x m, ou seja, m x, o conjunto limitado esquerda ou limitado
inferiormente, e m uma cota inferior ou minorante. Se tivermos, para todo x, m x M, o conjunto
diz-se limitado.

Exemplo 1: O conjunto dos nmeros naturais limitado inferiormente, mas no superiormente. Logo,
no limitado.

Exemplo 2: O conjunto dos nmeros racionais menores do que 8 limitado superiormente, mas no
inferiormente. Logo, no limitado.

Exemplo 3: O conjunto dos nmeros reais x tais que x
2
10 limitado, tanto direita como
esquerda; tal conjunto o mesmo que o intervalo fechado 10, 10
(

, isto ,

10, 10
(

=
{ }
2
x R / x 10 =
{ }
x R / 10 x 10

Um conjunto como este ltimo, que limitado direita e esquerda ao mesmo, dito,
simplesmente, conjunto limitado. tambm limitado qualquer intervalo de extremos finitos a e b.

43
Quando um conjunto limitado superiormente, ele pode ter um elemento que seja o maior de
todos, o qual chamado o mximo do conjunto. Por exemplo, o conjunto dos nmeros racionais x tais
que x 10 tem 10 como seu mximo.

Exemplo 4: O conjunto A =
1 2 3 n
, , , ..., , ...
2 3 4 n + 1

`
)
no tem mximo, embora seja limitado
superiormente. Os elementos desse conjunto, como vemos, so fraes dispostas de maneira crescente:

1 2 3 n
< < < ... < < ...
2 3 4 n + 1

Nenhuma dessas fraes maior do que todas as outras. Pelo contrrio, qualquer delas superada
pela que vem logo a seguir, isto ,
n n + 1
<
n + 1 n + 2
.

4.1. Mximo e Mnimo

Mximo o majorante (ou cota superior) que pertence ao conjunto.
Mnimo o minorante (ou cota inferior) que pertence ao conjunto.

Por exemplo, o conjunto A = [1, 5[ = {x R / 1 x < 5} limitado superiormente (pelo 5 ou
qualquer real maior que 5) e limitado inferiormente (pelo 1 ou qualquer real menor que 1), mas no
tem mximo, pois 5 o MENOR dos majorantes e no pertence ao intervalo.
Entretanto, o conjunto A tem mnimo, pois 1 A e o 1 o MAIOR dos minorantes.

4.2. Supremo e nfimo

Definio:

A menor cota superior de um conjunto A, quando existe, denomina-se supremo de A e indica-se
por sup A.
A maior cota inferior de um conjunto A, quando existe, denomina-se nfimo de A e indica-se
por inf A.

( )
A
maior dos menor dos
minorantes majorantes

44

Exemplo 5: No conjunto A = [1, 5[, 5 o supremo de A e 1 o nfimo de A. Temos, ento:
5 = sup A e 1 = inf A

Exemplo 6: No conjunto A = {1, 2, 3}, temos:
a) 1 o mnimo de A, 1 = min A; 3 mximo de A, 3 = max A.
b) 3,
10
3
, 100 so cotas superiores de A.
c) 1, 0,
1
2
so cotas inferiores.

Exemplo 7: Seja o conjunto A =
*
1
2 + , n N
n

`
)
. Verifique se:
a) A limitado superiormente? Tem sup A? Tem mximo?
b) A limitado inferiormente? Tem inf A? Tem mnimo?
c) limitado?

Resoluo:
a) Temos que A = {2; 2,1; 2,2; ...; 3}, portanto A = ]2, 3].
limitado superiormente pelo 3, pelo 5,2 etc. Temos que 3 = sup A = max A.

b) limitado inferiormente pelo 2, pelo 0 etc.
Temos que 2 = inf A e no existe min A.

c) limitado.

Exemplo 8: Seja o conjunto A =
{ }
2
x R / x 5x + 6 > 0 . Verifique se:
c) limitado?

Resoluo:
x
2
5x + 6 > 0
x
2
5x + 6 = 0
(x 2)(x 3) = 0
x = 2 e x = 3 A = ], 2[ ]3, +[
x < 2 ou x > 3

2 3

45
a) No limitado superiormente. No existe sup A e nem mx. A.

b) No limitado inferiormente. No existe inf A e nem min. A.

c) No limitado.

Exerccios

40) Seja o conjunto A =
*
2
3 , n N
n

`
)
. Verifique se:
c) limitado?

*
5
2 , n N
n

`
)
. Verifique se:
c) limitado?

{ }
2
x R / 2x 5x > 0 e 1 x 0 . Verifique se:
c) limitado?

43) Construa uma bijeo entre o conjunto N e o conjunto dos nmeros quadrados perfeitos.

44) Construa uma bijeo entre o conjunto N e o conjunto dos nmeros cubos perfeitos.

45) Em nossa vida, lidamos com conjuntos que tm a qualidade de serem densos. Um exemplo disso
o tempo: qual o instante que sucessor das 10 horas? impossvel se definir, assim como
percebemos que entre dois instantes de tempo h uma infinidade de instantes. Pense em outras duas
situaes que envolvam conjuntos densos.

46) Classifique em verdadeira ou falsa as expresses matemticas a seguir.
a) N Z b) R I = Q d) Z Q = Q d) Q I = Q

47) A interseco dos trs conjuntos R C, (N Z) Q e N (Z Q) :
a) N

b)

c) Q

d) R

e) Z


46
5. Nmeros algbricos e transcendentes

Chama-se nmero algbrico um nmero x que soluo da equao polinomial

a
0
x
n
+ a
1
x
n 1
+ a
2
x
n 2
+ ... + a
n 1
x + a
n
= 0

onde a
0
0, os a
i
so inteiros e n um inteiro positivo (grau da equao).
Nmero transcendente aquele que no pode ser raiz de nenhuma equao polinomial de
coeficientes inteiros.
Por exemplo,
2
3
e 2 , que so solues de 3x 2 = 0 e de x
2
2 = 0, respectivamente, so
nmeros algbricos.
Os nmeros e e so nmeros transcendentes. Ainda no possvel determinar se um nmero
tal como e algbrico ou no.
O conjunto dos nmeros algbricos infinito enumervel, mas o conjunto dos nmeros
transcendentes infinito no-enumervel.

Exemplo 1: Prove que 2 + 3 um nmero algbrico.
Resoluo:
Para provar que um nmero algbrico, basta provar que o nmero raiz de uma equao
polinomial com coeficientes inteiros.
Seja x = 2 + 3 . Mediante duas quadraturas consecutivas, possvel livrar-se dos radicais.
Ento, temos:

x
2
= 2 + 3
x
2
2 = 3
x
4
4x
2
+ 4 = 3
x
4
4x
2
+ 1 = 0

Como se trata de uma equao polinomial com coeficientes inteiros, segue-se 2 + 3 , que
soluo, um nmero algbrico.


47
Exemplo 2: Prove que
3
2 + 3 um nmero algbrico.
Resoluo:
Seja x =
3
2 + 3 . Ento, x 3 =
3
2 . Elevando ao cubo e simplificando, temos:

x
3
3x
2
3 + 3x . 3 +
3
3 = 2
x
3
3x
2
3 + 9x + 3 3 = 2

Reorganizando, temos:
x
3
+ 9x 2 = 3x
2
3 3 3
x
3
+ 9x 2 = 3 3 (x
2
+ 1)

Elevando ambos os membros ao quadrado e simplificando, temos:
x
6
+ 81x
2
+ 4 + 18x
4
4x
3
18x = 9 . 3 (x
4
+ 2x
2
+ 1)
x
6
+ 18x
4
4x
3
+ 81x
2
18x + 4 = 27 (x
4
+ 2x
2
+ 1)
x
6
+ 18x
4
4x
3
+ 81x
2
18x + 4 = 27x
4
+ 54x
2
+ 27
x
6
+ 18x
4
4x
3
+ 81x
2
18x + 4 27x
4
54x
2
27 = 0
x
6
9x
4
4x
3
+ 27x
2
18x 23 = 0

Como se trata de uma equao polinomial com coeficientes inteiros, segue-se
3
2 + 3 , que
soluo, um nmero algbrico.

Exerccios

48) Prove que os nmeros abaixo so algbricos:
a)
3 2
3 + 2

b) 2 + 3 + 6

49) Prove que 1 + i 3 um nmero algbrico.

50) Mostre que o nmero 5 3 1 + 2 algbrico.

51) Demonstre que 2 um nmero algbrico de grau 2.

52) Demonstre que
3
3 um nmero algbrico de grau 3.

53) Mostre que 4 + 2 3 = 1 + 3 .

54) Mostrar que existem a e b racionais tais que 18 8 2 = a + b 2 .


48
55) Se todo nmero racional pode ser escrito como uma dzima peridica, ser sempre possvel
representar um racional como uma soma de infinitas fraes. Por exemplo, no caso dos racionais
4
5
e
7
6
, essas somas seriam:

4
5
= 0,8 = 0,7999... =
2 3 4
7 9 9 9
+ + + + ...
10 10 10 10

7
6
= 1,1666... =
2 3 4
1 6 6 6
1 + + + + + ...
10 10 10 10

Usando essa mesma ideia, escreva as fraes a seguir como soma de infinitas fraes:

a)
3
8
b)
7
3
c)
7
5
d)
10
9

56) Prove que
3
2 + 2 irracional.

57) Determine, caso existam, o mximo, mnimo, supremo e nfimo.
a) A = {x R / 3 x 4}
b) A = {x R / 3 < x < 4}
c) A = {x R / x < 5}
d) A = {x R / x 2}
e) A =
{ }
x R / 3x 1 > 1
f) A = {3, 1, 0, 2, 1}
g) A =
n
/ n N
n + 1

`
)

58) Em relao ao exerccio 58, quais conjuntos so limitados superiormente e quais so limitados
inferiormente?

59) A =
2
2
x
/ x R
1 + x

`
)
limitado superiormente? Por qu?


49
Respostas

Captulo II
Construo dos Nmeros Reais

3a) V
b) F
c) F
d) V
e) V
f) V
g) F

4a) V b) V c) V d) F, ser verdadeira somente se p > 1

5a) Se definirmos a/b como o nmero (se existir) tal que bx = a, ento 0/0 o nmero x tal que 0x = 0.
Mas, como isso verdade para todos os nmeros, vemos que no existe um nmero nico representado
por 0/0, expresso que consideramos, por isso, indeterminada.
b) Como em (a), se definirmos 1/0 como o nmero x (se existir) tal que 0x = 1, concluiremos que tal
nmero no existe. Assim, a diviso por zero no tem sentido.

6) Sim. Basta n assumir valores que sejam cubos perfeitos. Exemplos: 8, 27,
1
8
.

7) No racional. Para um nmero do tipo
a
b
ser racional, devemos ter a e b nmeros inteiros
(com b 0). Neste caso, 2 inteiro, mas 1 + 5 no inteiro.

11a) V b) F c) V d) V e) F f) F

12) Resposta pessoal

13a)
49
12

b)
452
81

c)
25
22

d)
1
15

e)
9
10

f)
7
90

g)
160
473

14) Aluno A: Correto. O aluno escreveu as fraes em notao decimal e, depois, efetuou a adio.
Aluno B: Correto. Esse aluno trocou as fraes
1
2
e
2
5
por fraes equivalentes de mesmo
denominador (10) e, depois, efetuou a adio.
Aluno C: Errado. Aqui o aluno adicionou os numeradores das parcelas e os denominadores das
parcelas, encontrando, assim, erroneamente o numerador e o denominador do total.
Aluno D: Correto. O aluno substituiu as duas fraes por outras equivalentes com o mesmo
denominador 10 e adicionou os numeradores.


50
15a)
5
33

b)
416
999

c)
19
9

d)
2000
99

e)
268
33

f)
7
45

g)
52
45

h)
1997
990

i)
1807
900

j)
9007
90

l)
269
66

16) Alternativa B 17) Alternativa B

18) O resto acabou de repetir: deu 2 pela segunda vez. Agora, o quociente vai se repetir tambm,
originando uma dzima peridica. O quociente 1,285714 .

19a) V b) F c) F d) F e) V

20a) V b) V c) F d) V e) F f) V

25) Resposta: A resoluo deste exerccio utiliza o mesmo raciocnio do texto de 2 . Se p fosse
racional, teramos p =
m
n
, com m e n primos entre si. Ento, p =
2
2
m
n
, donde m
2
= pn
2
. Isso mostra
que m
2
divisvel por p; logo, m tambm divisvel por p, ou seja, m = rp, com r inteiro. Daqui e de
m
2
= pn
2
segue-se r
2
p
2
= pn
2
, donde n
2
= pr
2
, significando que n tambm divisvel por p. Mas isto
absurdo, seno m e n seriam ambos divisveis por p e
m
n
no seria uma frao irredutvel. O absurdo a
que chegamos consequncia da hiptese inicial de que p fosse racional. Somos assim forados a
afastar esta hiptese e concluir que p irracional.

26a) falso
b) falso
c) verdadeiro
d) falso
e) falso
f) falso
g) verdadeiro
h) falso
i) falso
j) falso

29)
19
20
, 1, 1, 2 , 2 , 3 , 5
30)
21
20
; 1; 0, 8;
2
2
;
3
3
;
5
5

31) Alternativa C 32a) F b) V c) F d) F e) F f) F

33a) V b) F c) V d) V e) V 35) Somente a alternativa c correta.

36) Somente a alternativa c correta. 37) Resposta pessoal

40a) A = [1, 3[. limitado superiormente pelo 3, pelo 7,5 etc.
3 = sup A e no existe max. A.

b) limitado inferiormente pelo 1, pelo 0 etc.
1 = inf. A = min. A.

c) limitado


51
41a) A = [3, 2[. limitado superiormente pelo 2, pelo , pelo 7,5 etc.

b) limitado inferiormente pelo 3, pelo , etc.
3 = inf. A = min. A.

c) limitado

42a) A = ] , 0[. limitado superiormente pelo 0, pelo , etc.

b) No limitado inferiormente.

c) No limitado.

43) n n
2
44) n n
3
45) Resposta pessoal

46a) Verdadeira b) Verdadeira c) Falsa d) Falsa

47) Alternativa e 54) a = 4 e b = 1

55a)
2 3 4
3 7 4 4
+ + + + ...
10 10 10 10

b)
2 3 4
3 3 3 3
2 + + + + + ...
10 10 10 10

c)
2 3 4
3 9 9 9
1 + + + + + ...
10 10 10 10

d)
2 3 4
1 1 1 1
1 + + + + + ...
10 10 10 10

57a) 3 = min A = sup A e 4 = max A = sup A
b) 4 = sup A e 3 = inf A
c) 5 = sup A
d) 2 = min A = inf A
e) No existe nenhum item
f) 3 = min A = inf A e 1 = max A = sup A
g) 0 = min A = inf A

58a) limitado superiormente e inferiormente
b) limitado superiormente e inferiormente
c) limitado superiormente
d) limitado inferiormente
e) No limitado superiormente e nem inferiormente
f) limitado inferiormente
g) limitado inferiormente

59) No, limitado inferiormente. Neste conjunto 0 o menor de todos os elementos.


52
Bibliografia

AVILA, G. Anlise Matemtica para licenciatura. 3 ed. So Paulo: Blucher, 2006.

DANTE, L. R. Matemtica: Conceitos & Aplicaes. 3 ed. So Paulo: tica, 2004.

GUIDORIZZI, H. L. Curso de Clculo. vol. 2. Rio de Janeiro: 2001

FERREIRA, J. A construo dos nmeros. 1 ed. Rio de Janeiro: SBM, 2010.

FIGUEREIDO, D. G. Nmeros Irracionais e Transcendentes. 3 ed. Rio de Janeiro: SBM, 2010.

HOFFMANN, L. D.; BRADLEY, G. L. Clculo: um curso moderno e suas aplicaes. Rio de
Janeiro, LTC, 2002

LIMA, E. L. Curso de Anlise. vol. I. So Paulo: IMPA, 2001

LOUREIRO, C.; PERES, E. e GARCIA, M. A Contribuio da Anlise Matemtica na Formao
de Professores.

NAME, M. A. Tempo de Matemtica. s.e. So Paulo: Editora do Brasil, 1996.

SPIEGEL, M. R. Clculo Avanado. 3 ed. So Paulo: McGraw Hill, 1974.

THOMAS, G. B. Clculo. vol. I So Paulo, Pearson, 2005.

Apostila Análise Matemática 1ºsemestre

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apostila Análise Matemática 1ºsemestre

Uploaded by

Copyright:

Available Formats

Professores Ccero, Conrad, Ubiratan e Vera Uniban 2011

so irracionais, mas que A . B

You might also like