Dissertação 2 - Função Exponencial

Universidade Estadual Paulista J lio de Mesquita Filho
Instituto de Geoci ncias e Ci ncias Exatas

Campus de Rio Claro
Um Estudo sobre a Fun o Exponencial
Rafael Henrique de Oliveira
Disserta o apresentada ao Programa de P s-

Gradua o em Matem tica em Rede Nacio-
nal como requisito parcial para a obten o
do grau de Mestre
Orientadora
Profa. Dra. Marta Cilene Gadotti
2015
517 Oliveira, Rafael Henrique de
O48 Um Estudo sobre a Fun o Exponencial/ Rafael Henrique de
e Oliveira- Rio Claro: [s.n.], 2015.
73 f., il., gr fs., tabs.
Disserta o (mestrado) - Universidade Estadual Paulista, Insti-

tuto de Geoci ncias e Ci ncias Exatas.
Orientadora: Marta Cilene Gadotti
1. C lculo. 2. An lise. 3. Fun o de uma Vari vel. 4. Fun o

Exponencial. I. T tulo
Ficha Catalogr ca elaborada pela STATI - Biblioteca da UNESP

Campus de Rio Claro/SP
T ERMO DE APROVA O
Rafael Henrique de Oliveira

Um Estudo sobre a Fun o Exponencial
Disserta o aprovada como requisito parcial para a obten o do grau

de Mestre no Curso de P s-Gradua o em Matem tica em Rede Nacional
do Instituto de Geoci ncias e Ci ncias Exatas da Universidade Estadual
Paulista J lio de Mesquita Filho , pela seguinte banca examinadora:
Profa. Dra. Marta Cilene Gadotti

Orientadora
Profa. Dra. Selma Helena de Jesus

Nicola CCT / UFSCar / S o Carlos
(SP)
Profa. Dra. Suzete Maria Silva

Afonso IGCE / UNESP / Rio Claro
(SP)
Rio Claro, 30 de Janeiro de 2015

Eu dedico este trabalho toda minha fam lia, destacando os meus irm os, Camila e
V tor, e de uma maneira especial mem ria de meu pai Jos , conhecido como "Z
Bandeira", que se n o fosse a luta dele trabalhando dia e noite, eu n o teria chegado
at aqui; e tamb m minha m e L cia que desde os meus sete anos de idade lutou
junto comigo para que eu aprendesse a estudar.
Agradecimentos
Quero agradecer em primeiro lugar minha professora orientadora, Dra. Marta

Cilene Gadotti, que teve paci ncia para esperar o meu tempo de trabalho e me
ajudou na elabora o desta disserta o. Tamb m quero agradecer a dois grandes
professores que conheci, o professor Dr. Jos Carlos de Souza Kiihl, que me mostrou
os "cami- nhos"que eu devia tomar para obter o chamado "amadurecimento matem
tico", onde aprendi a lidar com a did tica de demonstrar os resultados na matem tica;
e ao meu amigo professor Paulo Henrique Zerbinatti, que foi um grande exemplo e
amigo nas viagens at Rio Claro. Por ltimo devo um agradecimento especial
CAPES, que
nanciou este mestrado, possibilitando minhas viagens e a conclus o do estudo com
mais tranquilidade.
O abandono da Matem tica traz dano a todo o conhecimento,
pois aquele que a ignora n o pode conhecer
as outras ci ncias ou as coisas do mundo.
Roger Bacon
Resumo
Realizamos um estudo sobre a fun o exponencial, analisando as principais proprie-

dades desta fun o e a constru o de seu gr co. Para isso, foi realizada uma pesquisa
detalhada sobre alguns subconjuntos dos n meros reais, servindo de base para compre-
endermos as propriedades envolvidas na potencia o de um n mero real. Ao nal do
trabalho, destacamos algumas aplica es da fun o exponencial, que podem servir de
motiva o para se iniciar o ensino de tal fun o na educa o b sica do Brasil.
Palavras-chave: C lculo, An lise, Fun o de uma Vari vel, Fun o Exponencial.

Abstract
We conducted a study of the exponential function, analysing the main properties

of this function and the construction of its graph. For this, a detailed research on some
subset of the real numbers was carried out, providing the basis for understanding the
properties involved in the potentiation of a real number. At the end of the work, we
highlight some applications of the exponential function, which can serve as motivation
to start teaching this in basic education in Brazil.
Keywords: Calculus, Analysis, Function of a Variable, Exponential Function.

Lista de Figuras
2.1 Adi o de fra es.........................................................................................31
4.1 Gr co de uma fun o convexa...................................................................62

4.2 y = 2x............................................................................................................. 63
4.3 y = (1/2)x....................................................................................................64
4.4 P = 67, 38(1, 026)t.....................................................................................68
4.5 F ssil de um dinossauro..............................................................................69
4.6 Data o de um f ssil usando carbono-14....................................................70
Lista de Tabelas
√
2.1 Aproxima es de 2............................................................................................42
4.1 Popula o do M xico (estimada), 1980 - 1986.............................................67

Sum rio
1 Introdu o 19
2 Conjuntos Num ricos 21

2.1 N meros Naturais.......................................................................................21
2.2 N meros Inteiros.........................................................................................23
2.3 N meros Racionais.....................................................................................29
2.4 N meros Reais............................................................................................32
2.4.1 R um Corpo..................................................................................33
2.4.2 R um Corpo Ordenado.................................................................34
2.4.3 R um Corpo Ordenado Completo................................................35
2.5 Sequ ncias de N meros Reais.....................................................................38
3 Potencia o 47
3.1 Pot ncia de Expoente Real.........................................................................47
4 Fun o Exponencial 59
4.1 A Fun o Exponencial................................................................................59
4.2 Sugest o de Aula........................................................................................66
5 Conclus o 71
Refer ncias 73
1 Introdu o
Este trabalho vai tratar especi camente da fun o exponencial, mostrando as suas
propriedades, o gr co que a representa e algumas de suas aplica es. O leitor quem
desejamos direcionar este estudo s o os professores e estudantes de matem tica ou reas
de exatas, que ir o lidar com o estudo de fun es de uma vari vel. Mais precisamente
os docentes do ensino m dio no Brasil, com o intuito de que este trabalho possa lhes
auxiliar no tratamento da fun o exponencial. Para isso, tivemos uma grande preocu-
pa o de mostrar algumas interroga es que surgem no trabalho do docente na sala de
aula, como por exemplo: "Por que todo n mero elevado a zero d um?"Logicamente
essa n o a nica pergunta que surge quando estamos falando de potencia o, pois
muitas outras surgem desde o sexto ano do ensino fundamental da educa o b sica
bra- sileira. Portanto caro leitor, tentamos sempre nos posicionar no lugar de um
estudante de matem tica na escola, indagando sobre qual o signi cado de tais
propriedades.
Para compreendermos tudo isso e entender melhor a fun o exponencial, foi

neces- s rio um breve estudo sobre alguns subconjuntos dos n meros reais. Ent o o
Cap tulo 2 lida justamente com esta parte, onde analisamos basicamente os n meros
naturais, os n meros inteiros, os n meros racionais, os n meros irracionais e
nalmente os n meros reais. Neste cap tulo iremos falar tamb m sobre sequ ncias
num ricas, pois as mesmas ser o de grande utilidade no entendimento dos n meros
irracionais como tamb m na ideia de limites. No Cap tulo 3, iremos tratar da opera o
de potencia o, onde des- tacaremos as suas principais propriedades que servir o de
base para de nir a fun o exponencial. J no Cap tulo 4, de niremos a fun o
exponencial, analisaremos as suas propriedades e constru remos o gr co dessa fun
o.
Na segunda se o do Cap tulo 4, trabalharemos com algumas aplica es importan-

tes da fun o exponencial, como o estudo do Carbono 14, onde poss vel estimar a
idade de um f ssil. Com essas aplica es, procuramos dar uma sugest o de aula para
os docentes de matem tica do ensino m dio que ir o trabalhar com a fun o
exponencial. O intuito principal dessa se o que o professor consiga motivar seus
alunos a apren- der mais sobre o assunto. Como voc pode ter notado, leitor, a nossa
preocupa o a de que voc entenda e se sinta mais seguro para trabalhar com a fun
o exponencial,
19
20 Introdu o
pois a matem tica n o pode ser exclusividade de uma pequena parcela de estudantes,
mas que seja sim atrativa a todos os olhares daqueles que tentam estudar essa ci ncia
imprescind vel em todas as reas da sociedade moderna.
2 Conjuntos Num ricos
Neste cap tulo introduziremos os conjuntos dos n meros naturais, inteiros, racionais
e reais. Usaremos a teoria presente neste cap tulo nos cap tulos seguintes; na descri
o de pot ncia e na de ni o da fun o exponencial. O objetivo central mostrar que o
conjunto dos n meros reais tem estrutura de corpo com a propriedade de ser completo.
2.1 N meros Naturais

Os n meros naturais surgiram principalmente com a nalidade de se trabalhar
com a contagem de objetos, nesse caso estamos falando da aplica o dos naturais
como n meros cardinais. Depois o homem passou a aplicar os n meros naturais como
n meros ordinais se referindo a ideia de posicionamento. Na escola aprendemos a
lidar com esses n meros para podermos contar objetos, mas nunca tivemos uma forma
de diferenciar o conjunto dos n meros naturais dos outros conjuntos que comp em os
n meros reais. Nesta se o utilizaremos a refer ncia [1] para aprofundarmos mais
nosso conhecimento sobre esse conjunto.
Vamos de nir os n meros naturais conforme os "Axiomas de Peano"1:
1. Todo n mero natural n possui um sucessor que um n mero natural e n meros

diferentes possuem sucessores diferentes.
2. Existe um n mero natural 1 (um) que n o sucessor de nenhum outro n mero

natural.
3. Se um conjunto X cont m o n mero 1 e os sucessores de seus elementos, ent o

X conter todos os n meros naturais.
O Axioma 3 refere-se a um m todo de demonstra o na matem tica utilizado para

mostrar que uma certa propriedade v lida para os n meros naturais. Esse m todo
conhecido como "indu o", sendo que ele ser muito utilizado em algumas
demonstra es nesse trabalho. J a palavra "sucessor" signi ca aquele que vem
depois. Colocando o n mero 1 como o primeiro elemento do conjunto dos n meros
naturais, utilizaremos a
1
Giuseppe Peano: matem tico italiano (1858 - 1932).
21
2 Conjuntos Num
letra N para representar esse conjunto, enquanto os seus elementos ser o

representados conforme a forma a seguir:
N = {1, 2, 3, 4, 5, · · · }.
O sucessor de um n mero natural n ser representado pela forma s1(n). Com essa
escrita, podemos de nir s2(n) como o sucessor de s1(n), da mesma forma s3(n) ser o
sucessor de s2(n) e assim por diante.
Vamos de nir as opera es de adi o (+) e multiplica o (·) da seguinte forma:
De ni o 2.1. Sejam m, n n meros naturais ent o:
1. n + 1 = s1(n).
2. m + n = sn(m).
3. m · 1 = m.
4. m · n = n + n + · · · + n.
` m ˛¸ vezes
Na forma m+n, m a primeira parcela, n a segunda parcela, enquanto o resultado

da adi o chamado soma. J em m · n temos que m o primeiro fator, n o segundo
fator, enquanto o resultado da multiplica o chamado produto.
Sendo m, n, p ∈ N, atrav s da ideia de sucess o, podem ser veri cadas as seguintes
propriedades entre n meros naturais:
associatividade: (m + n) + p = m + (n + p), m · (n · p) = (m · n) · p.
distributividade: m · (n + p) = m · n + m · p.
comutatividade: m + n = n + m, m · n = n · m.
lei do cancelamento: m + n = m + p ⇒ n = p, m · n = m · p ⇒ n = p.
Agora podemos introduzir a no o de ordem entre os naturais. Sejam m, n, p, q ∈ N,
escreveremos as nota es m < n e p > q quando existirem k, r ∈ N tais que n = m + k
e p = q +r, respectivamente. Diremos no primeiro caso que m menor que n, enquanto
no segundo caso teremos que p maior que q. Tamb m s o comuns os casos m ≤ n
e m ≥ n que signi cam m menor que ou igual a n e m maior que ou igual a n,
respectivamente.
Proposi o 2.1. Sejam a, b, c, d ∈ N, a > b e c > d ent o
a + c > b + d.
Demonstra o. Como a > b e c > d, existem m, n ∈ N tais que a = b + m e c = d + n.

Assim, a + c = (b + m) + (d + n) = (b + d) + (m + n), ou seja, a + c > b + d.
De ni o 2.2. (Paridade). Um n mero natural par se ele pode ser escrito na

forma 2n, n ∈ N. Caso contr rio, ele ser considerado mpar.
N meros 2
A seguir enunciaremos dois resultados segundo a refer ncia [2].
Proposi o 2.2. Sejam a, b ∈ N. Ent o a < b se, e somente se, a + 1 ≤ b.
Demonstra o. Se a < b, ent o existe k ∈ N tal que b = a + k. Se k = 1,
teremos
b = a + 1. Agora se k 1, ent o existe q ∈ N tal que k = s1(q) = q + 1. Logo
b = a + k = a + (q + 1) = (a + 1) + q ⇒ b ≥ a + 1.
Reciprocamente, se a + 1 ≤ b, ent o
a < s1(a) = a + 1 ≤ b ⇒ a < b.
Teorema 2.1. (Princ pio da Boa Ordena o). Todo subconjunto n o vazio de N
possui um menor elemento.
Demonstra o. Seja S um subconjunto n o vazio de N e consideremos o conjunto

M = {n ∈ N|n ≤ x, ∀ x ∈ S}. Se 1 ∈ S, ent o este ser o menor elemento de S. Caso
contr rio, 1 ∈ M . Como S ∅, existe s ∈ S . Ent o s + 1 ∈/ M , pelo fato de s + 1 ser
maior que s. Logo, M =/ N. Como 1 ∈ M e M /= N, deve existir algum m ∈
M tal que m + 1 ∈/ M , caso contr rio, pelo Princ pio de Indu o, M = N.
A rmamos que m o menor elemento de S. Como m ∈ M , ent o m ≤ x, para
todo x ∈ S . Agora falta provarmos que m ∈ S . Suponhamos, por absurdo, que m ∈/
S . Ent o m < x, para todo x ∈ S. Pela proposi o anterior, ter amos m+1 ≤ x, para
todo x ∈ S, onde m + 1 ∈ M , em contradi o com a escolha de m. Portanto m ∈ S.
2.2 N meros Inteiros

De ni o 2.3. Sejam m, n ∈ N. Se m > n e m = n + c com c ∈ N, ent o a diferen a
entre m e n ser igual a c e usaremos a nota o m − n = c.
Proposi o 2.3. Sendo a, b, c, d ∈ N, a > b e c > d ent o
(a − b) + (c − d) = (a + c) − (b + d).
Demonstra o. Suponhamos que a − b = m e c − d = n, com m, n ∈ N. Ent o pelo

que acabamos de de nir sobre diferen a, teremos a = b + m e c = d + n. Agora pela
Proposi o 2.1 e pela de ni o de diferen a entre n meros naturais, existe p ∈ N tal
que (a + c) − (b + d) = p. Logo
(a + c) − (b + d) = p ⇒ (b + m) + (d + n) − (b + d) = p ⇒
⇒ [(b + d) + (m + n)] − (b + d) = p ⇒
2 Conjuntos Num
⇒ (b + d) + (m + n) = (b + d) + p.
Pela lei do cancelamento, temos p = m + n que, por sua vez, representa o resultado de
(a − b) + (c − d). Logo
m + n = p ⇒ (a − b) + (c − d) = (a + c) − (b + d).
Mas se m ≤ n, o que deveremos fazer? Nas s ries iniciais da educa o b sica, os

professores falam da import ncia da condi o imposta pela desigualdade m > n ao
se falar de subtra o entre dois n meros naturais. A partir do s timo ano do ensino
fundamental come a um novo ciclo envolvendo os chamados n meros negativos que
s o extremamente importantes em Economia e conceitos da F sica como temperatura
e for a. Portanto a partir do pr ximo par grafo abordaremos a constru o dos n meros
inteiros, onde utilizaremos a refer ncia [2].
De ni o 2.4. Seja a rela o ∼ em N × N de nida por (a, b) ∼ (c, d) quando a + d =

b + c.
A rela o anterior satisfaz as tr s condi es de uma rela o de equival ncia

conforme a seguir:
Re exividade: (a, b) ∼ (a, b), pois a + b = b + a(Comutatividade em N).
Simetria: (a, b) ∼ (c, d) ⇒ (c, d) ∼ (a, b), pois a + d = b + c ⇒ c + b = d + a.
Transitividade: (a, b) ∼ (c, d) e (c, d) ∼ (m, n) ⇒ (a, b) ∼ (m, n), pois se a + d = b + c
e c + n = d + m ent o somando os membros da primeira e da segunda igualdade
por n e b respectivamente, obtemos
a +d +n = b +c +n e c +n+b = d +m+b ⇒ d +(a +n) = d +(m+b) ⇒ a +n = b +m.
Agora seja (a, b) = {(x, y) ∈ N × N | (x, y) ∼ (a, b)}.
Exemplo 2.1. (4, 2) = {(3, 1), (5, 3), (6, 4), · · · }.
A ideia intuitiva de de nirmos a rela o anterior de que o conjunto (a, b) representa

a diferen a a − b. E o que devemos falar a respeito da soma (a, b) + (c, d)? Se a > b
e c > d, temos pela Proposi o 2.3 que
(a − b) + (c − d) = (a + c) − (b + d).
Para preservarmos a igualdade anterior nos demais casos, deveremos de nir a opera
o (a, b) + (c, d) = (a + c, b + d). Atrav s de argumentos an logos ideia da soma, a
multiplica o (a, b) · (c, d) deve ser formulada de modo que (a − b) · (c − d) = ac + bd −
(bc + ad). Assim podemos fazer uma de ni o formal dessas duas opera es conforme
a seguir.
N meros 2
De ni o 2.5. De nimos as opera es de adi o e multiplica o no conjunto de todos

os elementos da forma (a, b) da seguinte forma:
(a, b) + (c, d) = (a + c, b + d).
(a, b) · (c, d) = (ac + bd, ad + bc).
A partir daqui, vamos utilizar uma nova forma de escrita para representar os n -
meros da rela o de nida anteriormente conforme a seguir:
(2, 1) = 1; (1, 2) = −1; (3, 1) = 2; (1, 3) = −2; · · · ; (n + 1, 1) = n; (1, n + 1) = −n,
com n ∈ N. Para terminarmos a nossa constru o, se tivermos um n mero escrito da

forma (n, n), ent o chamaremos esse valor de zero 2. Logo teremos um novo conjunto
chamado de conjunto dos N meros Inteiros representado pela letra Z que prov m da
palavra "zalh"que signi ca n mero em alem o. J a rela o de ordem nos inteiros
ser feita de modo que (a, b) ≤ (c, d) sempre que a − b ≤ c − d. Somando o primeiro
membro e o segundo membro por b + d, temos a justi cativa para a de ni o a
seguir.
De ni o 2.6. Dados dois n meros inteiros (a, b) e (c, d), ent o (a, b) ≤ (c, d) quando
a + d ≤ b + c.
Assim,
Z = {· · · , −3, −2, −1, 0, 1, 2, 3, · · · }.
Nesse novo contexto, teremos os n meros positivos escritos direita do zero, e os

n meros negativos escritos esquerda de zero. A partir daqui iremos falar sobre divi-
sibilidade e n meros primos, onde nos basearemos na refer ncia [3].
De ni o 2.7. Sejam a e b inteiros. Dizemos que a divide b (ou ainda a um divisor

de b) se existir um inteiro q tal que b = a · q.
Usaremos a nota o a | b para dizer que a divide b. Tamb m podemos dizer que b
um m ltiplo de a sempre que a | b.
Exemplo 2.2. 8 | 24, ou seja, 8 divisor de 24, pois 24 = 8 · 3.
Proposi o 2.4. Sejam a, b ∈ N. Se a | b ent o 0 < a ≤ b.
Demonstra o. Se a | b ent o existe q ≥ 1 (pois a e b s o positivos) tal que b = aq.

Multiplicando ambos os membros da desigualdade q ≥ 1 por a obtemos
b = aq ≥ a > 0.
A crit rio de cada autor, o zero (denotado por 0) pode ser considerado natural, onde ele seria o
2
menor elemento desse conjunto, ou pode ser considerado a partir da de ni o de n meros inteiros.
2 Conjuntos Num
Sendo a ∈ Z, usaremos a nota o |a|, para representar o max {−a, a}.
Teorema 2.2. (Divis o Euclidiana). Sejam a, b ∈ Z, com a /= 0, ent o existem

nicos inteiros q e r tais que
b = aq + r, 0 ≤ r < |a|.
Demonstra o. Consideremos o conjunto
S = {b − ay; y ∈ Z} ∩ (N ∪ {0}).
Exist ncia: Existe n ∈ Z tal que n(−a) > −b, logo b − na > 0, assim S /= ∅.
Como S ⊂ N ∪ {0} segue pelo Princ pio da Boa Ordena o que S possui um menor
elemento r ≥ 0. Assim r ∈ S ⇒ r = b − aq, q ∈ Z. A rmamos que r < |a|. Suponhamos,
por absurdo, que r ≥ |a|. Ent o existe s ∈ N ∪ {0} tal que r = |a| + s, logo 0 ≤ s < r.
Mas isso contradiz o fato de que r o menor elemento de S, pois s = b − (q ± 1)a ∈ S,
com s < r.
Unicidade: Suponhamos que existam outros r1 e q1 tais que
b = aq1 + r1, 0 ≤ r1 < |a|.
Ent o
−|a| < −r ≤ r1 − r ≤ r1 < |a|.
Logo
|r1 − r| < |a|.
Mas tamb m
b = aq + r = aq1 + r1 ⇒ |a| > |r − r1| = |q1 − q||

a|.
Isso s poss vel quando q1 = q e consequentemente r = r1.
No teorema anterior q e r s o chamados respectivamente de quociente e resto da

divis o de b por a.
Sendo b, n ∈ N, usaremos a nota o bn para representar o produto b · b · ... · b .
` n vezes
˛¸
x
Corol rio 2.1. (Bases Num ricas). Sejam a, b ∈ N, com b > 1, ent o existem
nicos n meros naturais r0, r1, · · · , rn tais que
a = rnbn + rn−1bn−1 + · · · + r1b + r0.
Demonstra o. Aplicando sucessivamente a Divis o Euclidiana, temos:
a = bq0 + r0, r0 < b.
q0 = bq1 + r1, r1 < b.

N meros 2
q1 = bq2 + r2, r2 < b.
. . . .
qn−1 = bqn + rn, rn < b.
Como a > q0 > q1 > · · · > qn−1, teremos um qn−1 < b, onde qn = 0. Das igualdades
anteriores resultam
a = bq0 + r0.
bq0 = b2q1 + br1.
b2q1 = b3q2 + b2r2.
. . . .
n n+1 n
b qn−1 = b 0 + b rn.
Agora somando todas essas ltimas igualdades obteremos
a = rnbn + rn−1bn−1 + · · · + r1b + r0.
A unicidade dos ri segue da unicidade dos restos na Divis o Euclidiana.
O Corol rio 2.1 mostra que existem v rios sistemas de numera o. Na antiguidade
temos v rios exemplos como os maias que adotavam um sistema de base 20 e os meso-
pot mios que adotavam um sistema de base 60. No nosso caso, estamos trabalhando
com o sistema num rico de base 10 onde um natural a poder ser escrito da forma:
a = rn10n + rn−110n−1 + · · · + r110 + r0100, onde n ∈ N.
De ni o 2.8. (M ximo Divisor Comum). Sejam a e b n meros inteiros n o

nulos. O m ximo divisor comum entre a e b o n mero d que satisfaz as seguintes
condi es:
1. d | a e d | b;
2. d o maior inteiro positivo com a propriedade 1.
Denotaremos o m ximo divisor comum entre a e b por d = mdc(a, b).
Teorema 2.3. (Teorema de Bachet-B zout). Se d = mdc(a, b), com a, b ∈ Z,

ent o existem n meros inteiros x0 e y0 tais que d = ax0 + by0.
Demonstra o. Seja C = {ax + by, com x, y ∈ Z}. Veri camos que C cont m n meros
positivos, negativos e o zero quando x = y = 0. Pelo Princ pio da Boa Ordena o, po-
demos escolher x0 e y0 tais que λ = ax0 + by0 seja o menor n mero positivo pertencente
a C. A rmamos que λ | a e λ | b, pois, caso contr rio, se λ ‡ a (signi ca λ n o
divide
2 Conjuntos Num
a), ent o pela Divis o Euclidiana, segue que existem inteiros q e r tais que a = λq + r
com 0 < r < λ. Logo
r = a − λq = a − q(ax0 + by0) = a(1 − qx0) + b(−qy0) ∈ C.
Assim r < λ, o que contraria o fato de λ ser o menor elemento de C. O caso λ | b

provado de modo an logo. Agora basta provarmos que λ = d. Se d = mdc(a, b), ent o
d | a e d | b, onde existem a1, b1 ∈ Z tais que a = da1, b = db1. Logo
λ = ax0 + by0 = d(a1x0 + b1y0).
Esse resultado mostra que d | λ. Assim, pela Proposi o 2.4, segue que d ≤ λ. Mas
d < λ imposs vel pois d = mdc(a, b), ou seja, chegamos conclus o de que d = λ.
Corol rio 2.2. Sejam a, b, c ∈ Z. Se c | ab e mdc(b, c) = 1, ent o c | a.
Demonstra o. Pelo teorema anterior, existem inteiros x0 e y0 tais que
bx0 + cy0 = 1.
Agora multiplicando a igualdade anterior por a obtemos
abx0 + acy0 = a. (2.1)
Pela hip tese de que c | ab, existe um inteiro q tal que ab = cq. Substituindo esse
resultado em (2.1) temos
cqx0 + acy0 = c(qx0 + ay0) = a.
Portanto c | a.
De ni o 2.9. Um inteiro positivo n ≥ 2 primo se os nicos divisores que ele tem

s o 1 e o pr prio n. Se designarmos por P o conjunto dos n meros primos, teremos:
P = {2, 3, 5, 7, 11, 13, · · · }.
Proposi o 2.5. Um inteiro positivo p primo se, e somente se, goza da seguinte
propriedade:
p | ab ⇒ p | a ou p | b, com a, b ∈ Z. (2.2)
Demonstra o. Suponhamos que p seja primo e que p ‡ b, ent o mdc(p, b) = 1. Pelo
Corol rio 2.2, temos que p | a. Reciprocamente, suponhamos que a propriedade (2.2)
seja v lida e suponhamos, por absurdo, que p n o seja um n mero primo. Ent o,
p = d1 d2 , com 1 < d1 < p, 1 < d2 < p, d1, d2 ∈ Z. (2.3)

De (2.2) segue que p | d1 ou p | d2. Pela Proposi o 2.4, temos
N meros 2
p ≤ d1, ou p ≤ d2.
Mas esse resultado contradiz as desigualdades expressas em (2.3).
Teorema 2.4. (Teorema Fundamental da Aritm tica). Todo n mero natural n

maior que 1 pode ser escrito de modo nico como um produto
n = p(n) = p1 · p2 · p3 · · · pm,
onde m ≥ 1 um n mero natural e os pi s o n meros primos, com p1 ≤ p2 ≤ ··· ≤ pm.
Demonstra o. Vamos provar esse teorema por indu o em n na decomposi o de

p(n) indicando que o mesmo escrito de modo nico como produto de fatores primos.
Para p(2) = 2 verdadeiro, pois 2 primo. Agora suponhamos, por indu o, que a
a rma o do teorema seja v lida para p(k) para qualquer inteiro k com 2 ≤ k ≤ n.
Agora provemos o caso p(n + 1). Se n + 1 for primo, ent o o teorema j estar provado.
Agora se n + 1 n o for primo, ent o existem α e β com
2 ≤ α ≤ n e 2 ≤ β ≤ n, tais que n + 1 = α · β.
Pela indu o, o teorema verdadeiro para α e β, onde eles se escrevem de modo nico
como produto de n meros primos. Logo n + 1 se escreve como produto de n meros
primos. Agora provaremos que essa fatora o escrita de modo nico. Suponhamos
que n + 1 possa ser escrito de duas maneiras diferentes em decomposi o de fatores
primos conforme a seguir:
n + 1 = p1p2 · · · pk = q1q2 · · · qm. (2.4)
Como p1 primo, pela Proposi o 2.5, segue que p1 divide algum qi, que por sua vez
tamb m primo, onde chegamos conclus o de que p1 = qi ≥ q1. De modo an logo
veri camos que existe um j tal que q1 = pj ≥ p1. Portanto, p1 = q1. Dividindo ambos
os membros da equa o (2.4) por p1 obteremos p2 · ··pk = q2 · · · qm ≤ n. Pela indu
o teremos que k = m, p2 = q2, · · · , pm = qm.
2.3 N meros Racionais

Os n meros racionais surgiram com a nalidade de se realizarem medi es. Na
Gr cia, durante o s culo IV a.C., os n meros conhecidos eram os racionais e
aceitava- se que dois segmentos quaisquer eram comensur veis. Isto , dados dois
segmentos u e v, u podia ser dividido em q segmentos congruentes u1, u2, ..., uq de
modo que cada um destes coubesse exatamente p vezes em v. Assim, tomando-se u
como unidade de
1
comprimento, os segmentos ui ⊂ u, i = 1, 2, .., q teriam comprimento e o compri-
mento de v q
p
seria o n mero racional . Em outras palavras, acreditava-se que dados
q
dois segmentos quaisquer, o comprimento de um era sempre um m ltiplo racional do
3 Conjuntos Num
comprimento do outro.
√ Atribuiu-se a um dos disc pulos de Pit goras a descoberta de
que o comprimento 2 da diagonal do quadrado unit rio n o se exprime como uma
p √
fra o . Assim, o n 2 na reta real n o tem representante na reta racional.
mero
q
O fato relatado acima nos mostra dois novos conjuntos: os racionais, que ser o
o tema dessa se o, e os irracionais que abordaremos nas pr ximas se es. Para a
constru o dos racionais, iremos utilizar novamente a refer ncia [2], onde
utilizaremos uma outra rela o de equival ncia dada na pr xima de ni o.
De ni o 2.10. Se a ∈ Z e b ∈ Z − {0}, de na-se a rela o: (a, b) ∼ (c, d) quando

ad = bc.
A rela o anterior tamb m de equival ncia, pois satisfaz as tr s condi es a seguir:

Re exividade: (a, b) ∼ (a, b) pois ab = ba.
Simetria: (a, b) ∼ (c, d) ⇒ (c, d) ∼ (a, b), pois ad = bc ⇒ cb = da.
Transitividade:(a, b) ∼ (c, d) e (c, d) ∼ (m, n) ⇒ (a, b) ∼ (m, n), pois se ad = bc e
cn = dm com b, d 0, ent o multiplicando o primeiro e o segundo membro por n e b,
respectivamente obtemos adn = bcn e bcn = bdm, onde adn = bdm. Como d
comum aos dois membros, teremos an = bm. Assim de namos
a
= {(x, y) ∈ Z × Z∗ | (x, y) ∼ (a, b)}.
b
∗
Ressaltamos que Z = Z − {0} e os valores a e b s o chamados respectivamente de
numerador e denominador.
1
Exemplo 2.3. (2, 4) ∈
2
A rela o de equival ncia anterior nos sugere a ideia de fra es equivalentes, onde
uma fra o equivalente a outra sempre que elas representarem um mesmo n mero.
Para isso temos que preservar a igualdade ad = bc que pode ser veri cada atrav a c
s da
divis o euclidiana sempre que quisermos mostrar a equival ncia de duas fra es e .
b d
Assim podemos representar os n meros racionais como um conjunto representado pela
letra Q que signi ca quociente (resultado de uma divis o).
De ni o 2.11. De nimos o conjunto dos n meros racionais conforme a seguir:
a
Q= b| a ∈ Z e b ∈ Z∗ .
Para formalizarmos as opera es de adi o e multiplica o entre dois n meros ra-

cionais, devemos ter em mente
1 o1 conceito de fra es equivalentes. Por exemplo, se
quisermos examinar a soma + , podemos comparar as duas fra es como medidas
2 4
de uma mesma parte inteira como no desenho a seguir.
N meros 3
Figura 2.1: Adi o de fra es
Na Figura 2.1, temos dois segmentos de mesma medida, onde no segmento AC

1
temos marcado de vermelho a medida da fra o , enquanto no segmento DH temos
1 2
marcado de vermelho a1medida da fra o 4 . Observando os dois segmentos, notamos
facilmente que a fra o 2
poderia ser substitu da pela fra o . Logo
2 4
1 1 2 1 3
+ = + = .
2 4 4 4 4
O exemplo anterior nos d uma ideia de como devemos de nir a soma entre duas
fra es, que consiste na compara o entre duas ou mais fra es. J a multiplica o
consequ ncia da adi o, por representar soma de uma quantidade de parcelas de um
mesmo valor num rico. Essa an lise nos inspira a de nir as opera es de adi o e
multiplica o entre fra es como a seguir.
a c
De ni o 2.12. Sejam e
n meros racionais. De nimos as opera es de adi o
b d
e de multiplica o respectivamente por:
a c ad + bc a c ac
+ = e · = .
b d bd b d bd
De ni o 2.13. Sejam a c a c
e n meros racionais com b, d > 0. ≤
quando ad ≤ bc. Escrevemos b d
b d
A justi cativa pela de ni o anterior pode ser veri cada quando multiplicarmos os
membros da desigualdade por bd.
a
De ni o 2.14. A fra o
b ser dita irredut vel quando mdc(a, b) = 1, ou seja, a e b
2 5 1
s o primos entre si. Exemplos: ; ; .
3 7 8
3 Conjuntos Num
Como foi visto na se o dos n meros inteiros, o nosso sistema de numera o deci-
mal (base 10), onde podemos trabalhar com os n meros racionais como uma express o
decimal ao inv s de uma fra o. Isso muito e ciente para se efetuar c lculos num ri-
cos. Essa ideia nos estimula a trabalhar com a seguinte de ni o segundo a refer ncia
[4].
De ni o 2.15. Uma express o decimal um s mbolo da forma
α = a0, a1a2 · · · an · · ·
onde a0 um inteiro, enquanto a1, · · · , an, · · · s o d gitos tais que 0 ≤ an ≤ 9 com

n ∈ N e ainda a1 a a
α=a + + 2 + ···+ n +···.
0
10 102 10n
3 5
Exemplo 2.4. =1+ = 1, 5.
2
10
A De ni o 2.15 mostra que um n mero racional est associado a uma express o
decimal. Nesse contexto vale observarmos que se uma express o decimal possui uma
quantidade nita de d gitos do lado direito da v rgula, ela ser considerada uma ex-
press o decimal nita. Agora se houver in nitos d gitos do lado direito da v rgula, ela
ser considerada uma express o decimal in nita. f cil veri carmos que uma expres-
s o decimal nita representa um n mero racional, mas no caso da express o decimal
in nita, s ser considerada como um n mero racional, somente se houver uma expan-
s o in nita e peri dica, como o n mero 0, 999 · · · . Esse tipo de n mero chamado de
"d zima peri dica". No cap tulo 3, iremos retomar esse assunto, com a nalidade de
provarmos que uma d zima peri dica representa um n mero racional.
2.4 N meros Reais

Como comentado na se o anterior, nem sempre dois segmentos s o comensur -
veis. Essa situ o foi observada em Crotona, sul da It lia, onde um dos disc pulos de
Pit goras provou que a medida da diagonal de um quadrado de lado um era
incomen- sur vel com a medida de seu lado. Da houve a necessidade de se ampliar
ainda mais os conjuntos num ricos, levando a constru o do conjunto dos n meros
irracionais que
n o podem ser expressos como divis o de√dois n meros inteiros. A seguir temos
uma proposi o que mostra que o n mero 2 n o racional.
√
Proposi o 2.6. 2 irracional.
√
Demonstra o. Suponhamos, por absurdo, que 2 seja racional. Ent o existem a ∈ Z
e b ∈ Z∗ tais que
√
a
2= . (2.5)
b
N meros 3
a
Para facilitar, suponhamos que
b seja irredut vel. Elevando ao quadrado os membros
da equa o (2.5), temos
a2 2
2 = 2b .
2= 2
⇒ a
b
O segundo membro dessa equa o par, nos levando a conclus o de que a2 par, onde
a tamb m par. Logo existe um inteiro c tal que
a2 = 2b2 ⇒ (2c)2 = 2b2 ⇒ 4c2 = 2b2 ⇒ 2c2 = b2.
Analogamente, conclu mos que b par. Mas√ isso uma contradi o, pois no in cio da
prova, a e b eram primos entre si. Logo 2 irracional.
Designaremos pelo s mbolo IR o conjunto dos n meros irracionais e de niremos a

seguir o conhecido conjunto dos n meros reais representado pela letra R.
De ni o 2.16. O conjunto num rico R de nido por
R = Q ∪ I R.
A partir daqui ser o trabalhadas as principais propriedades envolvendo os n

meros reais, onde utilizaremos a refer ncia [1].
2.4.1 R um Corpo
Queremos manter as mesmas propriedades apresentadas pelos n meros naturais,
inteiros e racionais, onde de nimos as opera es de adi o e multiplica o, sendo fe-
chadas nesses conjuntos. R ser um corpo signi ca que dados x, y ∈ R arbitr rios, ent o
a adi o x + y pertence a R, a multiplica o x · y pertence a R e al m disso devem
satisfazer os seguintes axiomas:
1. Associatividade: para quaisquer x, y, z ∈ R tem-se (x + y) + z = x + (y + z) e

(x · y) · z = x · (y · z).
2. Comutatividade: para quaisquer x, y ∈ R tem-se x + y = y + x e x · y = y · x.
3. Elementos neutros: existem em R dois elementos 0 e 1 tais que x + 0 = x e

x · 1 = x, para qualquer x ∈ R.
4. Inversos: todo x ∈ R possui um inverso aditivo −x ∈ R tal que x + (−x) = 0 e,

se x /= 0, existe um inverso multiplicativo x−1 ∈ R tal que x · x−1 = 1.
5. Distributividade: para quaisquer x, y, z ∈ R tem-se x · (y + z) = x · y + x · z.

De ni o 2.17. A soma x + (−y) ser indicada por x − y (diferen a entre x e y). Se
x
y 0, o produto x y−1 ser indicado por (quociente de x por y).
· y
3 Conjuntos Num
2.4.2 R um Corpo Ordenado

De ni o 2.18. Existe um subconjunto R+ ⊂ R, chamado o conjunto dos n meros
reais positivos, que cumpre as seguintes condi es:
P1. A soma e o produto de n meros reais positivos s o positivos.
x, y ∈ R+ ⇒ x + y ∈ R+ e x · y ∈ R+.
P2. Dado x ∈ R ent o:
x = 0, ou x ∈ R+ ou −x ∈ R+.
Indicaremos por R− o conjunto dos n meros −x onde x ∈ R+.
Por P1, da de ni o anterior, segue que se x ∈ R+ ent o x · x (indicado por x2)

um elemento de R+. Esse crit rio muito til para provar que um certo n mero real
positivo.
De ni o 2.19. Sejam x, y ∈ R, ent o x < y quando y − x ∈ R+.
Proposi o 2.7. Sendo x, y, z ∈ R, valem as seguintes a rma es:

01. Transitividade: se x < y e y < z ent o x < z.
02. Tricotomia: dados x, y ∈ R ent o x = y ou x < y ou y < x.
03. Monotonicidade da adi o: se x < y ent o, para todo z ∈ R tem-se x + z < y + z.
04. Monotonicidade da multiplica o: se x < y ent o, para todo z > 0 tem-se xz < yz.
Se z < 0 ent o x < y implica yz < xz.
Demonstra o.
01. As desigualdades x < y e y < z signi cam que y − x ∈ R+ e z − y ∈ R+. Por P1
da De ni o 2.18 temos (y − x) + (z − y) ∈ R+ ⇒ z − x ∈ R+, ou seja, x < z.
02. Dados x, y ∈ R, temos, por P2 da De ni o 2.18, que y − x = 0, ou y − x ∈ R+,
ou y − x ∈ R−. No primeiro caso temos x = y, no segundo x < y, enquanto no terceiro
temos y < x.
03. Se x < y ent o y − x ∈ R+, onde (y + z) − (x + z) = y − x ∈ R+, ou seja,
x + z < y + z.
04. Se x < y e z > 0 ent o y − x ∈ R+ e z ∈ R+. Por P1 da De ni o 2.18 temos
(y − x) · z ∈ R+ ⇒ yz − xz ∈ R+, ou seja, xz < yz. Se x < y e z < 0 ent o y − x ∈
R+ e −z ∈ R+, donde xz − yz = (y − x)(−z) ∈ R+, ou seja, yz < xz.
Exemplo 2.5. Dados x, y ∈ R, se 0 < x < y, vamos provar que y−1 < x−1.
Notemos que x > 0 ⇒ x−1 = x · (x−1)2 > 0. Da mesma forma temos y−1 > 0.
Agora multiplicando a desigualdade 0 < x < y por x−1y−1 > 0, obtemos
0 · x−1y−1 < x · x−1 · y−1 < y · y−1x−1 ⇒ 0 < 1 · y−1 < 1 · x−1 ⇒ 0 < y−1 < x−1.
N meros 3
De ni o 2.20. O valor absoluto (ou m dulo) de um n mero real x de nido por:


x, se x ≥ 0
| x| =
−x, se x <
0.
Tamb m vale |x| = max{x, −x} o maior dos n meros reais x e −x.
Teorema 2.5. Se x, y ∈ R ent o |x + y| ≤ |x| + |y|.
Demonstra o. Pela De ni o 2.20 |x| ≥ x e |y| ≥ y. Somando membro a membro

essas desigualdades, teremos |x| + |y| ≥ x + y. Analogamente, de |x| ≥ −x e |y| ≥ −y
(resultados obtidos pela De ni o 2.20) resulta em |x| + |y| ≥ −(x + y).
Portanto
|x| + |y| ≥ |x + y| = max{x + y, −(x + y)}.
Corol rio 2.3. Para quaisquer x, y, z ∈ R temos |x − z| ≤ |x − y| + |y − z|.
Demonstra o. Veri camos que x − z = (x − y) +(y − z). Agora pelo teorema anterior,
teremos |x − z| ≤ |x − y| + |y − z|.
A seguir, usaremos nota es para representar alguns subconjuntos de R, chamados

intervalos:
[a, b] = {x ∈ R; a ≤ x ≤ b}, (−∞, b] = {x ∈ R; x ≤ b},
(a, b) = {x ∈ R; a < x < b}, (−∞, b) = {x ∈ R; x < b},
[a, b) = {x ∈ R; a ≤ x < b}, [a, +∞) = {x ∈ R; x ≥ a},
(a, b] = {x ∈ R; a < x ≤ b}, (a, +∞) = {x ∈ R; x > a}.
Teorema 2.6. Sejam a, x, δ ∈ R, com δ > 0. Tem-se |x − a| < δ se, e somente se,
a − δ < x < a + δ.
Demonstra o. Temos |x − a| = max{x − a, −(x − a)} < δ que implica em x− a < δ

e x− a > −δ. Somando a aos membros das desigualdades, obtemos x < a +δ e x > a
− δ, ou seja, a − δ < x < a + δ. A rec proca provada de modo an logo.
O Teorema 2.6 nos diz que x pertence ao intervalo (a − δ, a + δ) se, e somente se,
|x − a| < δ.
2.4.3 R um Corpo Ordenado Completo

Um conjunto X ⊂ R diz-se limitado superiormente quando existir um n mero b ∈
R tal que x ≤ b para todo x ∈ X. Analogamente, o conjunto X limitado inferiormente
quando existir a ∈ R tal que a ≤ x para todo x ∈ X. No primeiro caso b uma cota
superior de X, enquanto a uma cota inferior de X. J um conjunto X dito limitado
se existir k > 0 tal que para todo x ∈ X, |x| ≤ k, ou seja, x pertence ao intervalo
[−k, k].
3 Conjuntos Num
De ni o 2.21. Seja X ⊂ R limitado superiormente e n o vazio. Um n mero b ∈ R

chama-se o supremo do conjunto X quando for a menor das cotas superiores de X,
denotado por b = sup X. Se b o supremo de X ent o ele deve satisfazer as duas
condi es:
1. b ≥ x, para todo x ∈ X;
2. Para todo ϵ > 0, existe xє ∈ X tal que b − ϵ < xє.
De ni o 2.22. Seja X ⊂ R limitado inferiormente e n o vazio. Um n mero a ∈

R chama-se o n mo do conjunto X quando for a maior das cotas inferiores de X,
denotado por inf X. Se a o n mo de X ent o ele deve satisfazer as duas condi es:
1. a ≤ x, para todo x ∈ X;
2. Para todo ϵ > 0, existe xє ∈ X tal que xє < a + ϵ.
Exemplo 2.6. 1. O conjunto A = {x ∈ R|x ≥ 3} limitado inferiormente e possui

inf A = 3.
1 1 1 1
2. O conjunto B = 1, , , · · · , , · · · = ;n ∈ N limitado superiormente
23 n n
e inferiormente. Portanto ele limitado e possui sup B = 1 e inf B = 0. Nesse
caso, sup B ∈ B e inf B ∈/ B.
√ √
3. Seja X = Q ∩ [1, 2]. O n mero √ 2 a menor das cotas superiores de
X, portanto supremo de X , mas 2 ∈/ Q, ou seja, sup X ∈/ X , neste caso.
Axioma 2.1. (Axioma da Completeza). Se X ⊂ R um conjunto n o vazio e

limitado superiormente, ent o existe b = sup X ∈ R.
Proposi o 2.8. Se X ⊂ R um conjunto n o vazio e limitado inferiormente, ent o

existe a = inf X ∈ R.
Demonstra o. Como X limitado inferiormente, existe L ∈ R tal que L ≤ x para

todo x ∈ X. Agora consideremos o conjunto Y = {(−x); x ∈ X}. Ent o −L ≥ −x
para todo x ∈ X, mostrando que Y limitado superiormente. Logo pelo Axioma da
Completeza, Y possui um supremo designado por sup Y = −a. Usando a de ni o de
supremo, s o v lidas para todo −x ∈ Y as desigualdades
1. −x ≤ −a, ∀ (−x) ∈ Y.
2. Para todo ϵ > 0, existe −xє ∈ Y tal que −xє > −a − ϵ.
Logo, temos
1'. x ≥ a, ∀ x ∈ X.
2'. Para todo ϵ > 0, existe xє ∈ X tal que xє < a + ϵ.
Por (1J) e (2J), X possui um n mo, que no caso seria inf X = a.
N meros 3
A completeza de R gera algumas consequ ncias, as quais, selecionamos algumas

importantes, segundo [5], para prosseguimento desse estudo.
Proposi o 2.9. O conjunto N n o limitado superiormente.
Demonstra o. Suponhamos, por absurdo, que N seja limitado superiormente. Ent o

existe c = sup N, com c − 1 n o podendo ser cota superior de N, ou seja, existe n ∈ N
com c − 1 < n ⇒ c < n + 1. Logo c n o cota superior de N em contradi o com a
hip tese de que ele seja limitado superiormente.
1
Corol rio 2.4. Dado qualquer ϵ > 0, com ϵ ∈ R, existe um natural nє > .
ϵ
Demonstra o. Suponhamos, por absurdo, que a a rma o do corol rio n o seja ver-
1
dadeira, isto , existe ϵ0 tal que para todo n ∈ N, vale n ≤ . Mas isto seria uma
ϵ0
contradi o com a proposi o anterior, pois neste caso, N seria limitado superiormente
1
por .
ϵ0
Corol rio 2.5. Dados a, b ∈ R+, existe n ∈ N tal que n · a > b.
b
Demonstra o. Pela Proposi o 2.9, existe n ∈ N tal que n > . Ent o na > b.
a
Proposi o 2.10. Sendo x ∈ R, ϵ ∈ R, com ϵ > 0, existe um racional r tal que
|r − x| < ϵ.
1 1
Demonstra o. Pelo Corol rio 2.4, existe um natural n tal que n ⇒ < ϵ. Agora
> ϵ n
1
para terminarmos a demonstra o, basta obtermos um r tal que |r − x| < . Isso ser
realizado em dois casos: n
1. x ≥ 0.
Consideremos o conjunto M = {m ∈ N; m > nx}. Temos M /= ∅, pois se m ≤
nx para todo m ∈ N, chegar amos a contradi o de que N seria limitado superior-
mente. Pelo Princ pio da Boa Ordena o, M cont m um menor elemento m0.
Assim m0 ≥ 1 ⇒ 0 ≤ m0 − 1 e m0 − 1 ∈/ M . Usando esses resultados e os
fatos
m0
de que x ≥ 0 e m0 > nx > x, vale
⇒ n
1 m0
m − 1 ≤ nx ⇒ m0 x⇒0<
1 −x m0 — x ≤ 1 .
.
0 ≤ ⇒
− ≤ n n . n . n
n n
2. x < 0.
Temos (−x) > 0, e pelo primeiro caso existe rJ tal que
|rJ − (−x)| < ϵ ⇒ |x − (−rJ)| < ϵ.
Chamando r = (−rJ), o caso est provado.

3 Conjuntos Num
Corol rio 2.6. Em todo intervalo (a, b) onde a, b ∈ R, a < b existe um n mero racional
c tal que a < c < b.
1 1
Demonstra o. Chamamos x = (a + b) e ϵ = (b − a). Basta usarmos esses valores
2 2
na proposi o anterior, onde obtemos
c − 1 (a + b) < 1 (b − a) ⇒ 1 (a + b) − 1 (b − a) < c < 1 (a +b)+ 1 (b − a) ⇒ a < c < b.

.. 2 . 2 2 2 2 2
2.5 Sequ ncias de N meros Reais

Na se o anterior n o foram tratadas as opera es elementares de adi o e multi-
plica o entre os n meros irracionais, simplesmente a rmamos que essas opera es s o
fechadas nos n meros reais. Portanto nessa se o iremos introduzir de uma maneira
elegante como essas opera es s o entendidas em R. O foco principal dessa se o ser
o estudo das sequ ncias de Cauchy que nos trar o uma ferramenta e caz para se tra-
tar de n meros irracionais. Nesse contexto continuaremos utilizando a refer ncia [1]
para introdu o de sequ ncias e de limites. J para o estudo de sequ ncias de Cauchy,
iremos utilizar a refer ncia [6].
De ni o 2.23. Uma sequ ncia de n meros reais uma fun o x : N → R, que

associa a cada n mero natural n um n mero real xn, chamado o n- simo termo da
sequ ncia. Escreve-se (x1, x2, x3, · · · , xn, · · · ) ou (xn)n∈N, ou ainda (xn) para indicar a
sequ ncia cujo n- simo termo xn.
Exemplo 2.7.
1 1
(xn ) = 1,
,··· 1 .
, 3 1 n∈N
, ,· · · =
2
n n
Uma sequ ncia (xn) se diz limitada superiormente (respectivamente
inferiormente) quando existir c ∈ R tal que xn ≤ c (respectivamente xn ≥ c) para todo
n ∈ N. Dizemos que uma sequ ncia (xn) limitada quando for limitada superiormente e
inferiormente. Em outras palavras, existe um k > 0 tal que |xn| ≤ k para todo n ∈ N.
No Exemplo 2.7, a sequ ncia (xn) limitada superiormente por 1 e limitada
inferiormente por 0, portanto limitada.
De ni o 2.24. Dada uma sequ ncia x = (xn)n∈N, uma subsequ ncia de x a res-
tri o da fun o x a um subconjunto in nito NJ = {n1 < n2 < · · · < nk < · · ·} de N.
Podemos escrever (xn)n∈N′ ou (xnk )k∈N para indicar uma subsequ ncia de (xn).
Sequ ncias de N meros 3
Exemplo 2.8. Sejam a sequ ncia (an) = {1, 2, 3, · · · , n, · · · } e o conjunto NJ =

{1, 3, 5, · · · , 2n − 1, · · · } onde n ∈ N. Ent o podemos formar uma subsequ ncia de
(an) de nida por (a2n+1)n∈N representando os n meros mpares.
De ni o 2.25. (Limite de uma Sequ ncia). Dizemos que um n mero real a
limite de uma sequ ncia (xn) quando, para todo n mero real ϵ > 0, dado arbitraria-
mente, existe n0 ∈ N tal que para todos os termos xn com ndice n > n0 implica em
|xn − a| < ϵ. Quando uma sequ ncia possuir limite, diremos que ela convergente,
caso contr rio, ela ser divergente. Representando o limite de xn por lim xn, podemos
escrever a de ni o acima da seguinte maneira:
a = lim xn ⇔ ∀ ϵ > 0, ∃ n0 ∈ N; n > n0 ⇒ |xn − a| < ϵ.

Tamb m podemos utilizar a representa o lim xn, que signi ca o limite de xn quando
n→∞
n tende ao in nito.
Usando o Teorema 2.6, a De ni o 2.25 signi ca que a − ϵ < xn < a + ϵ, isto , xn

pertence ao intervalo (a − ϵ, a + ϵ), para n > n0.
Teorema 2.7. (Unicidade do Limite). Se lim xn = a e lim xn = b, ent o a = b.
Demonstra o. Seja ϵ > 0 arbitr rio. Como lim xn = a, existe n1 ∈ N tal que n > n1
implica em
ϵ
|xn − a| <
.
2
Da mesma maneira existe n2 ∈ N tal que n > n2 implica em
ϵ
|xn − b| < .
2
Tomando
n = max {n , n } , teremos | — a| < ϵ e |x — b| < ϵ , sempre que n > n .
x
0 1 2 n n 0
Logo 2 2
ϵ ϵ
|a − b| = |a − xn + xn − b| ≤ |xn − a| + |xn − b| < + = ϵ.
2 2
Como ϵ arbitr rio, segue que a = b.
Proposi o 2.11. Seja (xn) uma sequ ncia de n meros reais. Ent o lim xn = 0 se, e
somente se, lim |xn| = 0.
Demonstra o. Se lim xn = 0, ent o para cada ϵ > 0, existe n0 ∈ N, tal que
|xn − 0| < ϵ ⇒ |xn| < ϵ, para n > n0.

Logo
||xn| − 0| = ||xn|| = |xn| < ϵ,
para todo n > n0, provando lim |xn| = 0. Reciprocamente, se lim |xn| = 0, ent o dado
ϵ > 0, existe n0 ∈ N tal que ||xn|| < ϵ, para todo n > n0. Ent o
|xn| = ||xn|| < ϵ, para n > n0.
Portanto lim xn = 0.
4 Conjuntos Num
Note que se lim xn = L /= 0, ent o lim |xn | = |L|, mas a rec proca n o verdadeira.
Por exemplo, se xn = (−1)n, ent o |xn| → 1, mas (xn) divergente.
Proposi o 2.12. Toda sequ ncia convergente limitada.
Demonstra o. Seja (xn) uma sequ ncia convergente, ent o ela possui lim xn = a.
Sendo ϵ = 1, pela de ni o de limite, existe n0 ∈ N tal que n > n0 ⇒ xn ∈ (a − 1, a + 1).
Sejam b e c respectivamente o menor elemento e o maior elemento do conjunto nito
{x1, x2, · · · , xn0 , a − 1, a + 1}. Portanto todos os termos da sequ ncia (xn) est o con-
tidos no intervalo [b, c], e (xn) limitada.
A rec proca da Proposi o 2.12 n o verdadeira, pois se considerarmos como

exemplo a sequ ncia ((−1)n)n∈N limitada e n o convergente.
De ni o 2.26. Uma sequ ncia (xn) dita mon tona quando xn ≤ xn+1 para todo
todo n ∈ N ou xn+1 ≤ xn para todo n ∈ N. No primeiro caso, dizemos que (xn)
mon tona n o-decrescente e, no segundo, (xn) mon tona n o-crescente. Agora se
xn < xn+1 (respectivamente xn > xn+1) para todo n ∈ N, diremos que a sequ ncia
crescente (respectivamente decrescente).
Teorema 2.8. Toda sequ ncia mon tona limitada convergente.
Demonstra o. Seja (xn) uma sequ ncia mon tona n o-decrescente e limitada.
Escre- vendo os termos da sequ ncia dada como um conjunto X = {x1, x2, · · · , xn, · · ·},
ent o ele possui um supremo denotado por a = sup X. Dado ϵ > 0, o n mero a − ϵ n o
cota superior de X, pois a a menor das cotas. Logo existe n0 ∈ N tal que a − ϵ < xn0 ≤
a. Portanto, n > n0 ⇒ a − ϵ < xn0 ≤ xn < a + ϵ, onde lim xn = a. De modo an logo
prova que se (xn) for n o-crescente ent o lim xn o n mo do conjunto dos valores xn.
Corol rio 2.7. (Teorema de Bolzano-Weierstrass). Toda sequ ncia limitada de

n meros reais possui uma subsequ ncia convergente.
Demonstra o. Come amos escrevendo que um termo xn de uma sequ ncia limitada
destacado sempre que xn ≥ xp para todo p > n. Seja D ⊂ N o conjunto dos ndices
n tais que xn destacado. Se D for in nito com D = {n1 < n2 < · · · < nk < · · ·},
ent o a subsequ ncia (xn)n∈D ser mon tona n o-crescente. Agora se D for nito,
seja n1 ∈ N maior que todos os n ∈ D. Ent o xn1 n o destacado, logo existe n2 >
n1 com xn1 < xn2 . Novamente temos que xn2 n o destacado, logo existe n3 > n2 com
xn1 < xn2 < xn3 . Continuando esse racioc nio, teremos uma subsequ ncia crescente
xn1 < xn2 < xn3 < · · · < xnk < · · · . Pelo teorema anterior temos que (xn) possuir
uma subsequ ncia convergente.
De ni o 2.27. Uma sequ ncia (xn) chamada sequ ncia de Cauchy se dado ϵ > 0
existir n0 ∈ N tal que |xn − xm| < ϵ sempre que n, m > n0.
Teorema 2.9. (Crit rio de Converg ncia de Cauchy). Uma sequ ncia (xn) em
R convergente se, e somente se, (xn) for uma sequ ncia de Cauchy.
Demonstra o. Suponhamos que a sequ ncia (xn) converge para um limite L. Dado
ϵ > 0, existe N ∈ N tal que
ϵ ϵ
n > N e m > N ⇒ |xn − L| < e |xm − L| < , com n, m ∈ N.
2 2
Logo, se m, n > N tem-se
ϵ ϵ
|xn − xm | = |(xn − L) + (L − xm )| ≤ |xn − L| + |xm − L| <
+ = ϵ.
2 2
Reciprocamente, suponhamos que dado ϵ > 0 existe N tal que n, m > N ⇒ |xn − xm| < ϵ.
Considere m = N + 1. Ent o
para n > N ⇒ xN+1 − ϵ < xn < xN+1 + ϵ.
Tomemos
α = min {x1, x2, · · · , xN , xN+1 − ϵ, xN+1 + ϵ}
e
Ent o β = max {x1, x2, · · · , xN , xN+1 − ϵ, xN+1 + ϵ}.
α ≤ xn ≤ β, ∀ n ∈ N.
Logo (xn) limitada e pelo Teorema de Bolzano-Weierstrass, possui uma subsequ
ncia (xnk ) convergente para um n mero L. Com o mesmo ϵ xado e tomando k su
cientemente grande para termos simultaneamente, |xnk − L| < ϵ e nk > N , ent o
n > N ⇒ |xn − L| = |(xn − xnk ) + (xnk − L)| ≤ |xn − xnk | + |xnk − L| < ϵ + ϵ = 2ϵ.
Assim chegamos conclus o de que a sequ ncia (xn) convergente.

√
Exemplo 2.9. Como obter o valor de 2?
Os livros did ticos do ensino m dio nos mostram que esse c lculo pode ser obtido
atrav s de aproxima es, que n o nada mais e nada menos do que uma sequ ncia
de Cauchy. Para isso deveremos utilizar a de ni o de radicia o que ainda iremos
formalizar
√ no pr ximo cap tulo. Ent o come amos obtendo aproxima es por falta de
2 conforme sequ ncia abaixo:
(xn)n∈N = (1; 1, 4; 1, 41; 1, 414; 1, 4142; 1, 41421; · · · )
Agora podemos construir uma tabela com esses dados, veja Tabela 2.1.
4 Conjuntos Num
xn+1 − xn Resultado
1,4 - 1 0,4
1,41 - 1,4 0,01
1,414 - 1,41 0,004
1,4142-1,414 0,0002
··· ···
√
Tabela 2.1: Aproxima es de 2
Notamos que a diferen a |xn−1 − xn | cada vez menor. Utilizando o Crit rio de
Cauchy, chegamos conclus o de que a sequ ncia (xn) converge para um n mero real
√
c que chamaremos de 2.
Esse exemplo ilustra que um n mero irracional pode ser identi cado como o limite
de uma sequ ncia de Cauchy. Agora devemos formalizar as opera es entre n meros
irracionais, onde iremos trabalhar com limites de uma sequ ncia. Antes, apresentare-
mos alguns resultados envolvendo limites e desigualdades que podem ser encontrados
na refer ncia [1].
Proposi o 2.13. Sejam (xn) uma sequ ncia e a, b ∈ R. Se a = lim xn e b < a ent o
para n su cientemente grande, tem-se b < xn. De modo an logo, se a < b, ent o para
n su cientemente grande, tem-se xn < b.
Demonstra o. Sendo b < a, consideremos ϵ = a − b, logo ϵ > 0 e b = a − ϵ. Pela

de ni o de limite, existe n0 ∈ N tal que n > n0 ⇒ a − ϵ < xn < a + ϵ ⇒ b < xn. O
caso a < b provado de modo an logo.
Corol rio 2.8. Sejam (xn) e (yn) duas sequ ncias convergentes, isto , existem a, b ∈
R tais que a = lim xn e b = lim yn. Se xn ≤ yn, para n su cientemente grande, ent o
a ≤ b.
Demonstra o. Suponhamos, por absurdo, que b < a, ent o pelo Corol rio 2.6, existe
um c ∈ R tal que b < c < a. Pela proposi o anterior, vale yn < c < xn para n
su cientemente grande, contradizendo a hip tese de que xn ≤ yn.
Proposi o 2.14. Se lim xn = 0 e (yn) uma sequ ncia limitada ent o lim(xnyn) = 0.
Demonstra o. Como (yn) limitada, existe k > 0 tal que |yn| ≤ k para todo n ∈ N.
Seja ϵ > 0 um valor arbitr rio. Como lim xn = 0, ent o existe n0 N tal que n >
ϵ ∈
n0 ⇒ |xn| < . Logo,
k
ϵ
n > n0 ⇒ |xnyn| = |xn| · |yn| < · k = ϵ ⇒ |xnyn − 0| < ϵ ⇒ lim (xnyn) = 0.
k
Proposi o 2.15. (Opera es com Limites.) Se lim xn = a e lim yn = b ent o:
1. lim (xn ± yn) = a ± b.
2. lim (xnyn) = ab.

xn
3. lim a
yn = se b /= 0.
b
Demonstra o. 1. Sendo ϵ > 0 um valor arbitr rio, existem n1, n2 ∈ N tais que
ϵ ϵ
n > n1 ⇒ |xn − a| < e n > n2 ⇒ |yn − b| < .
2 2
Seja n0 = max{n1, n2}. Ent o
ϵ ϵ
n > n0 ⇒ |(xn + yn) − (a + b)| ≤ |xn − a| + |yn − b| < + = ϵ.
2 2
Logo lim (xn + yn) = a + b. O caso lim (xn − yn) an logo.
2. Analisando a diferen a xnyn − ab, temos
xnyn − ab = xnyn − xnb + xnb − ab = xn(yn − b) + b(xn − a).
A sequ ncia (xn) e a sequ ncia constante (b) s o convergentes. Pela Proposi o
2.12, essas duas sequ ncias s o limitadas. Usando a parte 1, obtemos
lim (yn − b) = lim yn−lim b = b−b = 0 e lim (xn − a) = lim xn−lim a = a−a = 0.
Segue-se da Proposi o 2.14 e novamente da parte 1 que
lim (xnyn − ab) = lim [xn(yn − b)] + lim [(xn − a)b] = 0.
Logo
lim (xnyn − ab) = lim (xnyn)−lim (ab) = 0 ⇒ lim (xnyn) − ab = 0 ⇒ lim (xnyn) = ab.
xn a
3. Analisando o valor de lim y − b , temos
xn a xnb − yna 1
lim yn − b = lim yn b = lim (x bn− y a)
n
· lim yn b .
n n 1
Vale lim (x b − y a) = ab − ba = 0. Agora se a sequ ncia yn b for limitada,
teremos pela Proposi o 2.14 que
xn a xn a
lim − = 0 ⇒ lim = .
yn b yn b
b2 , temos 0 < c < b2. Como lim (y b) = b2, segue da Proposi o

Chamando c n
= 2
4 Conjuntos Num
2.13 que, para n su cientemente grande, c < ynb. Logo,

1 1
0 < c < ynb ⇒ 0 < < .
y b
n c
1
Assim a sequ ncia limitada, provando a parte 3.
ynb
As de ni es que se seguem podem ser encontradas na refer ncia [7].

De ni o 2.28. Uma vizinhan a de a ∈ R qualquer intervalo aberto contendo a.
De ni o 2.29. Diz-se que a ∈ R um ponto de acumula o de B ⊂ R se toda

vizinhan a de a cont m um ponto de B distinto de a.
De ni o 2.30. Dados f : B → R uma fun o e a um ponto de acumula o de B,

dizemos que L ∈ R o limite de f em a, quando satisfaz a seguinte condi o: para
todo ϵ > 0, existe δ > 0 tal que
x ∈ B, 0 < |x − a| < δ ⇒ |f (x) − L| < ϵ.
Denotamos lim f (x) = L.

x→a
A de ni o anterior diz que poss vel tornar f (x) t o pr ximo de L quanto dese-
jamos, desde que tomemos x ∈ B su cientemente pr ximo, mas diferente de a.
Os resultados e de ni es que se seguem podem ser encontrados na refer ncia [8].
De ni o 2.31. Seja f uma fun o de nida num intervalo aberto (a, +∞). Escre-
vemos, lim f (x) = L, quando L satisfaz a seguinte condi o: para qualquer ϵ > 0,
x→+∞
existe A > 0 tal que |f (x) − L| < ϵ sempre que x > A.
De ni o 2.32. Seja f uma fun o de nida num intervalo aberto (−∞, b). Escre-
vemos, lim f (x) = L, quando L satisfaz a seguinte condi o: para qualquer ϵ > 0,
x→−∞
existe A > 0 tal que |f (x) − L| < ϵ sempre que x < −A.
Proposi o 2.16. Sejam f, g : X → R fun es e x0 um ponto de acumula o de X,

tais que lim f (x) = L1 e lim g(x) = L2. Ent o
x→x0 x→x0
lim [f (x) g(x)] = L1 L2.

x→x0 ±
Demonstra o. Provaremos o caso lim [f (x) + g(x)] = L1 + L2, enquanto o caso
x→x0
lim [f (x) g(x)] = L1 L2 provado de modo an logo. Tomando ϵ > 0 arbitr -
x→x0 —
rio, ent o existem δ1 > 0 tal que |f (x) − L1 | < ϵ/2 sempre que 0 < |x − x0 | < δ1 e
|g(x) − L2 | < ϵ/2 sempre que 0 < |x − x0 | < δ2 . Seja δ o menor dos n meros δ1 e δ2 .
Ent o se 0 < |x − x0 | < δ , temos |f (x) − L1 | < ϵ/2 e |g(x) − L2 | < ϵ/2. Logo,
|f (x) + g(x) − (L1 + L2 )| = |(f (x) − L1 ) + (g(x) − L2 )| ≤

≤ |f (x) − L1 | + |g(x) − L2 | < ϵ/2 + ϵ/2 = ϵ,

sempre que 0 < x x0 < δ. Portanto lim [f (x) + g(x)] = L1 + L2.
| − x→x0
Segue da refer ncia [7] os seguintes resultados.
De ni o 2.33. Uma fun o f : B → R cont nua em um ponto a ∈ B se, dado

ϵ > 0, existe δ > 0 tal que
x ∈ B, |x − a| < δ ⇒ |f (x) − f (a)| < ϵ.
Proposi o 2.17. Se um ponto a pertence a B e um ponto de acumula o de B,

ent o uma fun o f : B → R cont nua em a se, e somente se,
lim f (x) = f (a).

x→a
Demonstra o. Isto consequ ncia imediata da De ni o 2.30.
Segue da refer ncia [1] a seguinte de ni o.
De ni o 2.34. Diz-se que f : X → R uma fun o cont nua quando f cont nua
em todos os pontos a ∈ X.
No pr ximo cap tulo, utilizaremos os resultados deste cap tulo para justi car a
de ni o da pot ncia ar, com r ∈ Q e a ∈ R+, a /= 0, a /= ±1.
3 Potencia o
Neste cap tulo apresentaremos as de ni es e resultados sobre potencia o e radi-

cia o, de uma forma similar ao que introduzido no Ensino M dio. Por m faremos
as demonstra es dos resultados que s o teis na compreens o dos mesmos para co-
nhecimento dos professores. Neste cap tulo utilizaremos a refer ncia [4].
3.1 Pot ncia de Expoente Real

De ni o 3.1. (Pot ncia de Expoente Natural). Sejam a um n mero real e n
um n mero natural. De nimos a pot ncia an como o produto de n fatores iguais a a,
onde convencionamos que a a base e n o expoente dessa respectiva pot ncia. Para
n = 1, colocamos a1 = a, pois h um s fator.
Proposi o 3.1. Para n ∈ N tem-se an+1 = a · an.
Demonstra o. Vamos provar por indu o em n. Para n = 1 temos a1+1 = a2 = a · a =

a · a1. Suponhamos que an+1 = a · an. Ent o
a(n+1)+1 = a · a · a · a · ... · a ·a = a · an · a = an+1 · a = a · an+1 .

` n vezes
˛¸ x
Proposi o 3.2. Sendo a, b ∈ R e m, n ∈ N, s o v lidas as seguintes propriedades:
1. am · an = am+n.
2. (a · b)n = an · bn.
3. (am)n = am·n.
Demonstra o. 1. Vamos provar por indu o em n. Para n = 1, segue da proposi o

anterior que am · a1 = a · am = am+1. Suponhamos agora que am · an = am+n.
Ent o am · an+1 = am · a · an = am · an · a. Pela hip tese de indu o, temos
am · an · a = am+n · a = a · am+n = a(m+n)+1 = am+(n+1).
47
4 Potencia
2. Temos (a · b)n`= (ab) ·˛(a¸b) · · · (xab) = `a · a˛¸· · · ax · `b · b˛·¸· ·

n n n vezes
xb = a · b .
n v e zes n vezes
3. (am)n representa o produto de n fatores iguais a am. Pelo item 1, temos

`m + m + ... + m
x
(am)n = am · am · ... · am = a n
˛¸ = am·n.
v e z
es
` ˛¸ x
n v e zes
Enunciamos a seguir um resultado que pode ser encontrado em [1].
Lema 3.1. (Desigualdade de Bernoulli). Para todo n mero real x ≥ −1 e todo

n ∈ N tem-se (1 + x)n ≥ 1 + nx.
Demonstra o. Vamos provar por indu o em n. O resultado bvio para n = 1. Su-

ponhamos que a desigualdade seja v lida para n. Ent o multiplicamos os dois membros
da desigualdade (1 + x)n ≥ 1 + nx por 1 + x ≥ 0 e encontramos
(1 + x)n+1 = (1 + x)n(1 + x) ≥ (1 + nx)(1 + x) = 1 + nx + x + nx2 =

1 + (n + 1)x + nx2 ≥ 1 + (n + 1)x.
Teorema 3.1. Se a > 1 ent o a sequ ncia (a, a2, a3, · · · , an, · · · ) crescente e ilimitada
superiormente. Se 0 < a < 1 ent o a sequ ncia (a, a2, a3, · · · , an, · · · ) decrescente e
limitada inferiormente por zero.
Demonstra o. Se a > 1 ent o multiplicamos os membros dessa desigualdade por

an, com n ∈ N, e obtemos an+1 > an concluindo que a sequ ncia (an) crescente.
Para provarmos que a sequ ncia (an) ilimitada superiormente, devemos mostrar que
dado qualquer c ∈ R existe n ∈ N tal que an > c. De fato, escrevendo a = 1 + d com d >
0, pela Desigualdade de Bernoulli, temos an ≥ 1 + nd. Agora dado um c ∈ R,
podemos escolher n ∈ N tal que
n > (c − 1)/d ⇒ 1 + nd > c.
Portanto, an > c, provando que (an) ilimitada superiormente. Agora se 0 < a < 1
multiplicamos essa desigualdade por an onde obtemos an > an+1 e a sequ ncia (an)
decrescente. f cil ver que a sequ ncia (an) limitada inferiormente, pois como
0 < a < 1 ent o an > 0, para todo n ∈ N. Logo 0 uma cota inferior do conjunto
{an, n ∈ N}.
Corol rio 3.1. Sendo 0 < |a| < 1, a sequ ncia (a, a2, · · · , an, · · · ) convergente e seu
limite 0.
Pot ncia de Expoente 4
Demonstra o. Pelo teorema anterior segue que a sequ ncia (|a|n) limitada inferior-
mente por 0 e superiormente por a, e ainda decrescente. Como (|an|) mon tona e
limitada, segue do Teorema 2.8 que a sequ ncia (|an|) convergente. Agora provaremos
n
1
que lim a = 0. Come aremos observando que . .> 1. Do teorema anterior segue
1 .a
que .
.an crescente e ilimitada superiormente. Dado ϵ > 0 poss vel encontrar n0 ∈ N
.
tal
. que . 1 .n 1
.a > ⇒ |an0 | < ϵ.
Tomando n > n0 . ϵ
obtemos
|an − 0| = |an| < |an0 | < ϵ.
Como |an| < |an0 | < ϵ, para todo n > n0, segue que lim |an| = 0, e consequentemente
pela Proposi o 2.11, vale lim an = 0.
De ni o 3.2. (Radicia o). Sejam a, b ∈ R e n ∈ N, ent o
√
√ n b = a ⇔ an = b, para n
n b = a ⇔ an = b, para n par com a, b ∈ R+ .
O n mero n chamado ndice, o n mero b chamado radicando,

√ enquanto o n -
mero a chamado raiz n- sima de b. Quando escrevermos b, o ndice ser 2.
√
Exemplo 3.1. 3
8 = 2, pois 23 = 8.
√ √
Exemplo 3.2. Analisemos a soma 3+ 2.
Primeiro escrevemos a sequ ncia (yn) das aproxima es, por falta, dos n meros
racionais cujo quadrado menor do que 3 como abaixo:
(1, 7; 1, 73; 1, 732; 1, 7320; 1, 73205; 1, 73205a6; · · · ).
O d gito a6 representa o sexto d gito ap s a v rgula do termo y6. Assim a escrita

an ∈ {0, 1, 2, · · · , 9} equivale ao n- simo d gito ap s a v rgula do termo yn. Por exemplo
para y5, temos a1 = 7, a2 = 3, a3 = 2, a4 = 0 e a5 = 5. Sejam m, n, p ∈ N, onde
n = m + p, ent o:
|yn − ym| = |1, 73 · · · an − 1, 73 · · · am| =
= |1, 73 · · · am+p − 1, 73 · · · am| = 0, 00 · · · am+1am+2 · · · am+p =

am+1 am+2 am+p
= + +···+ .
10 m 10 m 10m
am+1 am+2
Temos 0 < + +···+ < 1. Logo fazendo m → ∞ obtemos
am+p 10m 10m 10m
5 Potencia
am+1 am+2 am+p
lim + +···+ = 0.
10m 10m 10m
Ent o para todo ϵ > 0 existe n0 ∈ N com n > n0 tal que
. 10
. am+1 + amm+2
m+1 +2 am +p
10 + · · · +10m+p −.
am+1 0.= y+ am+2 + · · · + am+p = | — y | < ϵ.

= . . n
. 10m+1 10m+2 10m+p .
m
√ √ ). Pela
nos mostra que podemos considerar 2 como o limite
Pelo Crit rio de Cauchy, n ) convergente, e escrevemos de uman
sequ
= 3. ncia (x n
O Exemplo
Proposi o 2.15, item 1, temos
√ √
3 + 2 = lim y n+ lim x .n
A m de ilustrarmos o caso das d zimas peri dicas que representam n meros racio-
nais, iremos mostrar qual o signi cado da express o decimal 0, 999 · · · . A partir dela
ca mais f cil de provarmos que uma d zima peri dica um n mero racional.
De ni o 3.3. Uma Progress o Geom trica (P.G.) uma sequ ncia (an) onde o quo-
ciente entre um termo (com excess o do primeiro) e o termo anterior constante. Esse
valor constante chamado de raz o da P.G..
Exemplo 3.3. As sequ ncias (2, 4, 8, 16, ...) e 1 1 1

1, , ,
2 4 8
, ... s o progress es geom -
tricas de raz o q1 = 2 e q2 = 1 , respectivamente.
2
Proposi o 3.3. O termo geral de uma P.G. (a1, a2, · · · , an) com raz o q dado por
an = a1 · qn−1.
Demonstra o. Vamos provar por indu o em n.

Se n = 2, pela de ni o de P.G. temos
a2
q=
a1 ⇒ = · q = a1 q2−1.
·
a2 a1
Suponhamos que a proposi o seja v lida para n ∈ N, onde an = a1 · qn−1, ent o

n−1 n−1+1 (n+1)−1
an+1 = an · q = a1 · q · q = a1 · q = a1 · q .
Provando assim que a proposi o v lida para todo n ∈ N.
Proposi o 3.4. A soma Sn dos n primeiros termos de uma P.G. (a1, a2, · · · , an) de
raz o q /= 1
1 qn
S =a − .
· n 1
1−q
5 Potencia
Demonstra o. Temos
Sn = a1 + a2 + a3 + · · · + an−1 + an.
Usando a proposi o anterior,
Sn = a1 + a1q + a1q2 + · · · + a1qn−1. (3.1)
Agora multiplicando ambos os membros da igualdade (3.1) por q 1, obtemos:
qSn = a1q + a1q2 + a1q3 · · · + a1qn. (3.2)
Subtraindo as igualdades (3.1) e (3.2) membro a membro, temos:
Sn − qSn = a1 − a1q 1 qn
n⇒ Sn = a1 · − .
1−q
Corol rio 3.2. O lim Sn da soma dos termos de uma P.G.(a1, a2, · · · , an, · · · ) de
n→
raz o q com −1 < q < 1
lim Sn = a1
n→∞ 1−q.
Demonstra o. Segundo a proposi o anterior, a soma dos n primeiros termos de uma
P.G. dada pela f rmula
Sn = a1 · 1 − qn
. (3.3)
1−q
Fazendo n tender ao in nito na igualdade (3.3) e usando o Corol rio 3.1, obtemos
lim qn = 0. Portanto
n→∞
a1
lim Sn = a 1−0 = .
n→∞ 1
· 1−q 1−q
9 9 9
Exemplo 3.4. Qual o valor da soma + +· · · + + · · ·? Note que
10 100 10n
9 9 9 1 1 1
1 + 1 +···+ 1 +···=9 1 + 1 +···+ 1 +··· . (3.4)
1 11 1 11
Consideremos a sequ ncia , ,· · · , , · · · . Essa sequ ncia uma P.G. de
raz o q = 1 , onde se examinarmos a soma in nita dos termos dessa P.G., segue do
1
Corol rio 3.2 que
1 1
10 = 1
lim Sn = = .
n→∞ 1 91 9
1−
10 10
5 Potencia
Usando esse resultado e a igualdade (3.4) temos
n→ 91 91 91
lim + +···+ +··· =
1 1 1
= 9 lim + +···+ +··· =
n
n→∞ 10 100 10
19
=9· =
1.
O Exemplo 3.4 mostra que a d zima 0, 999 · · · igual a 1, tratando-se de um n mero

racional.
At o presente momento trabalhamos com pot ncia de expoente natural. Uma per-
gunta que surge como de nir a−n, onde a ∈ R − {0}, n ∈ N. Primeiro vamos de nir
a pot ncia a0. Para fazermos isso, devemos preservar as propriedades j enunciadas
como a do item (1) da Proposi o 3.2. Ent o a1 · a0 = a1+0 = a1 = a ⇔ a0 = 1. Agora
podemos dar um signi cado para uma pot ncia de expoente inteiro que poderia partir
da seguinte multiplica o: an · a−n = an−n = a0 = 1. Logo a−n s pode ser o n mero
1 , para a 0 en .
∈R− { } ∈
an
De ni o 3.4. (Pot ncia de Expoente Inteiro Negativo). Sejam a ∈ R − {0} e
1
n . Ent o a−n = .
∈
an
Proposi o 3.5. Sejam a ∈ R − {0} e α, β ∈ Z. Ent o
aα · aβ = aα+β.
Demonstra o. Vamos provar a proposi o considerando os seguintes casos:
1. Suponhamos que α, β ∈ N. Pelo item 1 da Proposi o 3.2, vale aα · aβ = aα+β.
2. Suponhamos que α, β ∈ Z − (N ∪ {0}). Escrevemos α = −m e β = −n com

m, n ∈ N. Ent o
1 1 1
aα · aβ = a−m · a−n = · = =
a a am
= a−(m+n) = a−m+(−n) = aα+β.
3. Suponhamos α = −m e β = n com m, n ∈ N e m < n. Ent o

1
aα · aβ = a−m · an = · an .
a
Como m < n, existe k ∈ N tal que n = m + k. Logo
m+k vezes
α β 1 n
¸
x` ˛
m+k
a a· a · · · a
a ·a = ·a = =
= am am a·a···a
Pot ncia de Expoente` ˛¸ x 5
m vezes
= ak = am+k−m = an−m = a−m+n =

5 Potencia
Proposi o 3.6. Sejam m, p ∈ Z com m > p. Se a > 1 ent o am > ap, enquanto se
0 < a < 1, ent o am < ap.
Demonstra o. Vamos provar a proposi o considerando tr s casos:
1. Suponhamos que m ∈ N e p ∈ Z − (N ∪ {0}). Come amos escrevendo p =

n
1 1
−n, n ∈ N. Se a > 1, ent o am =
a a
= −n
a = ap. Agora se 0 < a <
ent o 1 1 n
> 1, onde ap = a−n = 1 > 1 > am ⇒ am < ap.
a =
a n
a
2. Suponhamos que m, p ∈ Z − (N ∪ {0}). Denotemos m = −q e p = −n co q

m n, q ∈ N. Temos m > p ⇒ −q > −n ⇒ n > q. Se a > 1, vale am = a−q = 1
a
n
e ap = a−n 11 , pelo Teorema 3.1, tem-se am = a−q > a−n = ap. Agora
0 < a < 1 tem-se a >p 1, e novamente pelo Teorema 3.1 obtem-se am <
a .a
3. Suponhamos que m, p ∈ N. Pelo Teorema 3.1, vale am < ap. Agora se 0 < a < 1,
ent o am < ap.
√
+ n
Proposi o 3.7. Sejam b ∈ R e n ∈ N, ent o bn = b.
√
n
Demonstra o. Observando a De ni o 3.2, existe um c ∈ R tal que b n = c ⇔ cn = b n .
Logo c = b.
√ √ √
Proposi o 3.8. Sejam b, d ∈ R+ e n ∈ N, ent n n n
b· d= bd.
o
Demonstra o. Pela De ni o 3.2, existem a, c ∈ R tais que an = b e cn = d. Logo
√ √ √ √ √
n n n n
n n n n
bd = a ·c = (ac) = a · c = b· d.
Sejam a ∈ R+, m ∈ Z e n ∈ N. Procuremos dar um signi cado para a pot ncia a mn .

Se tivermos a pot ncia (a nm)n e quisermos preservar a propriedade (3) da Proposi o
3.2 , ent o devemos ter (a nm)n m √n
= am ⇔ a n . Essa an lise explica a de ni o a
seguir. am
=
De ni o 3.5. (Pot ncia de Expoente Racional). Sejam a ∈ R+, m ∈ Z e n ∈ N.
De nimos
m √n
a n = am .
A justi cativa para usarmos a positivo, se deve de ni o 3.2, pois se a for negativo,
ent o n deve ser mpar. Logo para que a De ni o 3.5 atinja todos os n ∈ N, devemos
trabalhar somente com a ∈ R+.
Proposi o 3.9. Sejam a ∈ R+, m ∈ Z e n, p ∈ N. Ent o

√ √
n n p
m
a = amp .
√ m
m
Demonstra o. Pela de ni o anterior, temos am = a . Multiplicando a fra o
n
n n
p mp m
por obteremos que equivalente a . Dessa forma
p n n
√ mp m √
n p
amp = a n =a =
n
am .
n
Corol rio 3.3. Se a ∈ R+, m, p ∈ Z e n, q ∈ N, ent o:

p m p
m
+
a ·a =a
n q n q
.
Demonstra o. Usando a proposi o anterior, temos √

pn √ √ √ m
+
p
a m p mq a mq
n q
=+pn a ·mq n q
a =
pn n q
a ·a =
mq pn n q
a mq+pn = a .
=a nq n q
n · a q = a nq · nq
A seguir enunciaremos um lema que pode ser encontrado na refer ncia [3].
Lema 3.2. Sejam a, b ∈ R e n ∈ N. Ent o
an − bn = (a − b)(an−1 + an−2b + · · · + abn−2 + bn−1).
Demonstra o. Se b = 1, consideremos a s rie
s = 1 + a + a2 + · · · + an−1.
Multiplicando por a ambos os membros da igualdade, obtemos
as = (a + a2 + · · · + an−1) + an = s − 1 + an.
Logo, (a − 1)s = an − 1. Assim
an − 1 = (a − 1)(an−1 + an−2 + · · · + a + 1). (3.5)
Agora se b ∈ R∗, ent o an − bn = bn n

a . Usando essa express o e (3.5), temos
b
−
n n n
a −b =b
a a
n−1
n−2
−1 a +··· a
b b +
b b +1 =
= bn−1(a − b) n−1 b
a a
n−2
b
+
5 Potencia
a + ···+ +1 =
+
b
= (a − b)(an−1 + an−2b + an−3b2 + · · · + abn−2 + bn−1),
o que prova a igualdade.
√ √
+ n
Proposi o 3.10. Sejam a, b ∈ R com a > b, ent o a> b. n
√ √
n
Demonstra o. Denotemos n a = c e b = d. Pela De ni o 3.2, valem cn = a e
dn = b, e assim
a > b ⇒ cn > dn ⇒ cn − dn > 0.
Usando o lema anterior, veri camos que
cn − dn = (c − d)(cn−1 + cn−2d + · · · + cdn−2 + dn−1) > 0.

√ √
n
Portanto c − d > 0 ⇒ c > d, ou seja, n
a> b.
Corol rio 3.4. Sejam x, y ∈ Q com x > y. Sendo a > 1, ent o ax > ay. E se
0 < a < 1, ent o ax < ay.
Demonstra o. Suponhamos que x m

e y = p , com m, p ∈ Z e n, q ∈ N. Ent o
= n
m p q
n > ⇒ mq > pn. Temos
q
m
√ √ p
√ √
n n q q n q
a = n m
a = a mq
e a =
q p
a = apn .
Se a > 1, obtemos amq > apn. Pela

√ proposi√ o anterior, pvale
n q n q m
amq > apn ⇒ a
n > aq .
p
Agora se 0 < a < 1, temos a mq< a , onde a < a q m
.
n
Os resultados a seguir, podem ser encontrados na refer ncia [4].

Lema 3.3. Seja a ∈ R+, com a /= 1. Ent o em todo intervalo de R+ existe uma
pot ncia ar, com r ∈ Q.
Demonstra o. Dado o intervalo [α, β] com 0 < α < β, devemos provar que
existe r ∈ Q tal que ar perten a ao intervalo [α, β]. Suponhamos que a e α sejam
maiores que 1. Pelo Teorema 3.1, as pot ncias de expoente natural de n meros
maiores que 1 crescem acima de qualquer cota xada. Logo podemos obter M, n ∈ N
tais que
n
β α
α<β<a M
e 1<a< 1+ − ,
aM
β−α
pois 1 + > 1. Segue que
aM
1 < a n < 1 + β − α e 0 < aM (a n− 1) < β − α.

1 1
aM
Tomando m ∈ Z, vale
m m 1
≤ M ⇒ 0 < a (a − 1) < β − α.
n n
n
6 Potencia
Portanto
m+1 m m
0<a n − a n < β − α, com ≤ M.
n
A senten a anterior nos mostra que as pot ncias
1 2
0 M
a,a ,a ,··· ,a
n n (3.6)
s o extremos de intervalos consecutivos com comprimento menor que β − α. Assim
m
[α, β] ⊂ [1, aM ], onde pelo menos um dos extremos em (3.6), denotado por a n est
contido no intervalo [α, β]. Os demais casos s o tratados de modo an logo.
Tudo o que foi visto at agora neste cap tulo, pode ser resumido atrav s do estudo
de uma fun o, onde para a ∈ R+, com a 1, existe uma fun o g : Q → R de nida
por g(x) = ax. Observando todos os resultados apresentados neste cap tulo, veri
camos que para quaisquer x, y ∈ Q, g apresentar as seguintes propriedades :
1. ax · ay = ax+y;
2. a1 = a;
3. x < y ⇒ ax < ay quando a > 1 e ax > ay quando 0 < a < 1.
Para de nir a pot ncia ax quando x for irracional, podemos tomar como ponto de
partida, manter a propriedade 3 da fun o g. Em outras palavras, queremos de nir
uma fun o f : R → R por f (x) = ax, onde para quaisquer x, y ∈ R v lido o
resultado:
x < y ⇒ ax < ay, quando a > 1 e ax > ay, quando 0 < a < 1.
Admitindo o resultado anterior, tomamos r, s ∈ Q, sendo dois n meros racionais que
se aproximam respectivamente por falta e excesso de x, e suponhamos ainda a > 1.
Logo
r < x < s ⇒ ar < ax < as.
Se tivermos 0 < a < 1, ent
o
r < x < s ⇒ as < ax < ar.
Se a > 1, para de nirmos ax, com x irracional, basta tomar ax como sendo o n mero
real ( nico) cujas aproxima es por falta s o ar, com r < x, r ∈ Q e cujas aproxima es
por excesso s o as, com s ∈ Q, x < s. Se 0 < a < 1, ax seria o nico n mero real cujas
aproxima es por falta s o as, com s ∈ Q, x < s e cujas aproxima es por excesso s o
ar com r < x, r ∈ Q.
O n mero ax est bem de nido, pois n o existem dois n meros reais que contem-
plam a propriedade anterior. Para provarmos isso, suponhamos a > 1 (se 0 < a < 1, a
prova an loga) e que existam dois n meros reais diferentes A, B, em que
r < x < s ⇒ ar < A < B < as.
Mas essa ltima desigualdade implica que o intervalo [A, B] n o cont m nenhuma
pot ncia de a com expoente racional, em contradi o com o Lema 3.3.
De ni o 3.6. Sejam a ∈ R+ e x irracional. Ent o ax o n mero que goza da

propriedade anterior.
Assim, de nimos ax para todo x ∈ R e podemos agora provar que as propriedades

1, 2 e 3 da Proposi o 3.2 continuam v lidas para todo x ∈ R. O resultado a seguir
assegura a propriedade 1.
Proposi o 3.11. Sejam a ∈ R+ e x, y ∈ R. Ent o ax · ay = ax+y.
Demonstra o. Consideremos a sequ ncia (sn) de n meros racionais que se aproximam

por excesso de x e (tn) a sequ ncia de n meros racionais que se aproximam por
excesso de y. Assim temos que ax e ay s o os limites das sequ ncias (asn ) e (atn )
respectivamente. Logo a sequ ncia (sn + tn) representa os n meros racionais que se
aproximam por excesso de x + y. Ent o
+tn
ax · ay = lim asn · lim atn = lim (asn · atn ) = lim asn = ax+y.
Vale observar que dado qualquer n mero real x, pode-se construir uma sequ ncia
(rn) de n meros racionais que converge para x, como vimos no cap tulo anterior. Esse
resultado est diretamente ligado ao fato do conjunto Q ser denso em R.
No pr ximo cap tulo, iremos nos concentrar no estudo da fun o exponencial, que
abrange todos os resultados apresentados neste cap tulo.
4 Fun o Exponencial
Neste cap tulo descreveremos a fun o exponencial e iremos mostrar os detalhes

que norteiam a constru o do gr co dessa fun o. Na ltima se o, iremos tamb m
dar uma sugest o de aula para alunos do Ensino M dio sobre este tema. O intuito
dessa aula ser a tentativa de motivar o interesse dos alunos e auxiliar o trabalho do
professor. Iniciaremos este cap tulo usando a refer ncia [4].
4.1 A Fun o Exponencial

De ni o 4.1. Seja a ∈ R+, com a /= 1. Ent o a fun o f : R → R de nida por
f (x) = ax ser chamada fun o exponencial de base a.
A fun o exponencial um tipo de fun o onde a vari vel independente funciona

como o expoente de uma base positiva. Como visto no cap tulo anterior, para quaisquer
x, y ∈ R valem:
1. f (x + y) = f (x) · f (y);
2. f (1) = a;
3. Se a > 1 ent o x < y implica f (x) < f (y) e se 0 < a < 1 ent o x < y implica
f (x) > f (y).
Proposi o 4.1. Seja f : R → R uma fun o exponencial. Ent o f assume o valor

0, somente se for identicamente nula, ou seja, f (x) = 0 para todo x ∈ R.
Demonstra o. Se existir um x0 ∈ R tal que f (x0) = 0, ent o para qualquer x ∈ R,

tem-se:
f (x) = f (x0 + (x − x0)) = f (x0).f (x − x0) = 0 · f (x − x0) = 0.
Logo f deve ser identicamente nula.
Proposi o 4.2. Seja f : R → R uma fun o exponencial e que n o seja identicamente

nula. Ent o f (x) > 0 para todo x ∈ R.
59
6 Fun o
Demonstra o. Para x ∈ R arbitr rio, temos
2
x x x = f x > 0
f (x) + = · x
2 2 2 2
2
O resultado da proposi o anterior, registra o fato de que o contra-dom nio de f

pode ser especi cado por R+.
Proposi o 4.3. Dado a ∈ R+, a /= 1, a fun o f : R → R+ de nida por f (x) = ax,

ilimitada superiormente.
Demonstra o. Pelo Lema 3.3, todo intervalo de R+ cont m valores ar, r ∈ Q, pro-
vando que f cresce sem limites quando x > 0 com a > 1 e quando x < 0 com
0 < a < 1.
A proposi o anterior reitera o fato de que
lim ax = +∞, se a > 1 e

x→+
∞
lim x
= +∞, se 0 < a < 1.
x→−∞ a
Proposi o 4.4. Seja a ∈ R+, com a

1. Ent o lim ax = a0 = 1.
x→0
Demonstra o. Devemos provar que para todo ϵ > 0, existe δ > 0 tal que
0 < |x − 0| < δ ⇒ |ax − 1| < ϵ. (4.1)
Suponhamos, por absurdo, que existe um ϵ0 > 0 tal que para todo δ > 0, existe x ∈ R
tal que
0 < |x − 0| < δ ⇒ |ax − a0| ≥ ϵ0.
Tomando δn 1
= , com n ∈ N, ent o existe xn ∈ R tal que
n
0 < |xn 1 x 0
— 0| < ⇒ |a n− a | = |a − 1| ≥ ϵ0. (4.2)
n
claro que xn → 0, quando n → ∞. Podemos escolher uma subsequ ncia (xnk )
de (xn) de forma que (xnk ) seja mon tona (decrescente ou crescente). Suponhamos,
que (xnk ) seja decrescente (caso crescente an logo). Notemos que 0 ≤ xnk e que
1 = a0 ≤ · · · ≤ axnk ≤ · · · ≤ axn1 . Ent o (axnk )mon tona decrescente e limitada.
Logo ela convergente, onde segundo o Teorema 2.8, axnk →y = inf axnk = 1.
k
Mas como (axnk ) uma subsequ ncia de (axn ), segue que vale (4.2) e isso contraria
o fato de que axnk → 1 = inf{axnk , k ∈ N}.
Corol rio 4.1. A fun o exponencial de base a cont nua.

A Fun o 6
Demonstra o. Note que se a fun o exponencial cont nua, ent o para um x0 ∈

R, arbitr rio, poss vel tornar |ax − ax0 | t o pequeno quanto desejamos, desde que
tomamos um x su cientemente pr ximo de x0, ou seja, lim ax = ax0 . Para provar isto,
x→x0
tome x = x0 + h para algum h ∈ R, ent o
+h
|ax − ax0 | = |ax0 − ax0 | = ax0 |ah − 1|.
Fazendo x → x0, ent o h → 0. Logo

lim |ax − ax0 | = lim ax0 |ah − 1| = lim ax0 · lim |ah − 1|.
x→x0 h→0 h→0 h→0
Usando a proposi o anterior, obtemos

lim |ax − ax0 | = ax0 · |1 − 1| = lim ax0 · 0 = 0.
x→x0 h→0
Usando a Proposi o 2.11, temos

lim |ax − ax0 | = 0 ⇒ lim ax = ax0 .
x→x0 x→x0
Portanto a fun o exponencial cont nua.

Proposi o 4.5. Sejam a ∈ R+, a /= 0 e f : R → R+ de nida por f (x) = ax. Ent o
f bijetora.
Demonstra o. A injetividade de f decorre de sua monotonicidade. Se a > 1, ent o
x1 > x2 ⇒ ax1 > ax2 e x1 < x2 ⇒ ax1 < ax2 .
Portanto x1 x2 ⇒ ax1 =/ ax2 . De modo an logo chegamos essa conclus o

se
0 < a < 1. Agora vamos provar que f sobrejetora, ou seja, que para todo n mero
real y > 0 existe um x ∈ R tal que ax = y. O Lema 3.3 garante que para cad a n ∈
,
Nexiste 1 1
uma1pot ncia arn
, com n ∈ Q, que pertence ao y− ,y .
n
|arn − y| < , e assim vale, lim arn = y . Suponhamos a > 1, e escolhemos n ncias
pot
n n→∞
a que se aproximam por falta de y com a propriedade ar1 < ar2 < · · · < arn < · · · < y.
rn
Como a fun o exponencial ilimitada superiormente, podemos assegurar que existe

um s ∈ Q tal que y < as. Usando a monotonicidade de f , veri camos que
r1 < r2 < · · · < rn < · · · < s.
Portanto, (rn) uma sequ ncia mon tona e limitada superiormente por s. Usando o
Axioma da Completeza, os valores rn se aproximam por falta de um n mero real x,
ou seja, lim rn = x. Como f cont nua, obtemos
n→∞
ax = lim arn = y.
n→∞
Assim f sobrejetora. O caso 0 < a < 1 provado de modo an logo.

6 Fun o
Proposi o 4.6. Sejam a ∈ R+ e f : R → R+ de nida por f (x) = ax. Ent o

(i) lim ax = 0 se 0 < a < 1,
x→+ x
∞
(ii) lim a = 0 se a > 1.
x→−∞
Demonstra o. (i) Temos
lim ax = 0 ⇔ ∀ ϵ > 0 ∃ A > 0; ∀ x > A ⇒ |ax − 0| < ϵ.

x→
Assim, dado ϵ > 0 arbitr rio, como f sobrejetora, existe A ∈ R tal que aA =
ϵ. Portanto, para todo x > A tem-se
ax < aA = ϵ,
ou seja,
|a x− 0| < ϵ, ∀ x > A.
(ii) O racioc nio an logo ao item (i).
A seguir iremos enunciar uma de ni o segundo a refer ncia [3].
De ni o 4.2. Uma fun o f : [α, β] → R cont nua convexa, se para quaisquer
c, d ∈ [α, β] e para todo t ∈ [0, 1], satisfaz a desigualdade
f (tc + (1 − t)d) ≤ tf (c) + (1 − t)f (d).
Figura 4.1: Gr co de uma fun o convexa.
A Figura 4.1 mostra o exemplo de uma fun o convexa, onde notamos que a cada
par de pontos c e d escolhidos num intervalo [α, β], o gr co da fun o encontra-se
abaixo do segmento de reta secante que passa pelos pontos (c, f (c)) e (d, f (d)).
A Fun o 6
Para provarmos que a fun o exponencial convexa, podemos utilizar alguns re-
sultados da An lise, em que usamos o conceito de fun es deriv veis. A derivada da
fun o exponencial, que no caso envolver o uso do logaritmo natural (denotado por
ln) pode ser encontrada nas refer ncias [1] e [7]. Deixamos para o leitor veri car mais
sobre esse assunto. Tamb m nessas mesmas refer ncias, encontra-se o seguinte
resultado.
Proposi o 4.7. Se f : I → R uma fun o deriv vel no intervalo I, ent o s

o equivalentes:
1. f convexa.
2. f J uma fun o crescente.
3. Se c, x ∈ I, ent o f (x) ≥ f (c) + f J(c)(x − c).
Proposi o 4.8. A fun o exponencial convexa.
Demonstra o. Basta observar que se f (x) = ax, ent o
f J(x) = ax ln a, ou seja,
f JJ(x) = ax(ln a)2 > 0.

Logo f J crescente e portanto f convexa.
Juntemos todas as propriedades vistas sobre a fun o exponencial, entre elas: do-
m nio, monotonicidade, continuidade, convexidade, comportamento no in nito e no
menos in nito. Ent o podemos construir o gr co de tal fun o, conforme exemplos a
seguir:
Figura 4.2: y = 2x.

6 Fun o
Figura 4.3: y = (1/2)x.
Quando nos deparamos com uma situa o-problema, podemos muitas vezes esco-
lher um modelo matem tico, como uma fun o, para solucion -la. Para efetuarmos
esta escolha, " preciso saber quais as propriedades caracter sticas de cada tipo de
fun o", segundo a refer ncia [4]. Com a fun o exponencial n o diferente, onde
poss vel utilizar algumas propriedades para ver car se um problema ou n o
modelado atrav s de uma fun o exponencial. A seguir enunciaremos o teorema que
nos dar essa caracteriza o.
Teorema 4.1. (Caracteriza o da Fun o Exponencial.) Seja f : R → R+ uma
fun o mon tona injetora. As seguintes a rma es s o equivalentes:
1. f (nx) = f (x)n para todo n ∈ Z e todo x ∈ R;
2. f (x) = ax para todo x ∈ R, onde a = f (1);
3. f (x + y) = f (x) · f (y) para quaisquer x, y ∈ R.
Demonstra o. (1) ⇒ (2).

Iniciemos provando que a hip tese (1) v lida para todo n mero racional r = m/n
(com m ∈ Z e n ∈ N), onde f (rx) = f (x)r. Escrevendo nr = m, temos
f (rx)n = f (nrx) = f (mx) = f (x)m.
Logo
f (rx) = f (x)m/n = f (x)r.
Se xarmos f (1) = a, teremos
f (r) = f (r · 1) = f (1)r = ar, para todo r ∈ Q.
Agora suponhamos que f seja crescente. Ent o 1 = f (0) < f (1) = a. Suponhamos,
por absurdo, que exista um x ∈ R tal que f (x) ax. Se f (x) < ax (o caso f (x) > ax
provado de modo an logo), ent o pelo Lema 3.3, existe um n mero racional r tal que
f (x) < ar < ax ⇒ f (x) < f (r) < ax.

A Fun o 6
Como f crescente, ent o f (x) < f (r) ⇒ x < r. Mas ar < ax ⇒ r < x. Assim temos
uma contradi o, provando que (1) ⇒ (2) quando f for crescente. A prova an loga
se f for decrescente.
(2) ⇒ (3).
Seja f (x) = ax, x ∈ R e a = f (1). Sendo y ∈ R, obtemos
f (x + y) = ax+y = ax · ay = f (x) · f (y).
(3) ⇒ (1).
Seja f (x + y) = f (x) · f (y), x, y ∈ R. Para n ∈ N, vale
f (nx) = f (x + x + x + · · · + x) = f (x) · f (x) · f (x) · · · f (x) = f (x)n.
` ˛¸ x ` ˛¸ x
n v e zes n v e zes
Agora falta provarmos o caso f (−nx) = f (x)−n. Para isto, analisemos o caso f (−x).
Ent o
1
f (−x) · f (x) = f (−x + x) = f (0) = 1 ⇒ f (−x) = .
f (x)
Logo
f (−nx) = f (−x − x · · · − x) = f (−x) · f (−x ) · · · f (−x) =
` n ˛
n vezes
x
˛¸ ¸
1 v e ze · · · x `
= = = f (x)−n.
f f f
(x) s
1 1
(x) (x)n
·
1
f (x)
` ˛¸ x
n v e zes
A fun o exponencial est presente em muitas situa es problemas, por m na mai-

oria das vezes ela aparece na forma que chamamos de "tipo exponencial". Entre
essas situa es podemos destacar o montante de uma aplica o a juros compostos em
fun o do tempo, como tamb m a desintegra o radioativa. A seguir iremos de nir esse
tipo de fun o, como tamb m analisar a sua caracteriza o, igual ao que zemos na fun o
exponencial.
De ni o 4.3. Uma fun o g : R → R+ de tipo exponencial quando se tem g(x) =

bax, para todo x ∈ R, onde a e b s o constantes positivas.
A fun o de tipo exponencial goza das mesmas propriedades da fun o

exponencial, entre elas, a monotonicidade, a injetividade e o fato de ser crescente
quando a > 1 e decrescente quando 0 < a < 1.
Teorema 4.2. (Caracteriza o das Fun es de Tipo Exponencial). Uma fun-

o g : R → R+ de tipo exponencial se, e somente se, for mon tona e injetora,
tal que, para x, h ∈ R quaisquer, g(x + h)/g(x) depende apenas de h, mas n o de x.
6 Fun o
Demonstra o. Seja g(x) = bax, a, b ∈ R+. Ent o

g(x + h) x h
= bax+h ba (a ) h
g(x) x
= = a .
ba bax
Logo g(x + h)/g(x) depende apenas de h e n o de x.
Reciprocamente, seja g(x + h)/g(x) = ϕ(h) e de namos f (x) = g(x)/b, com b =
g(0). Ent o f mon tona e injetora. Temos
f (x + g(x + h)/b g(x +

h) = = = ϕ(h).
g(x)/b h)
f (x) g(x)
Observamos que f (0) = 1, onde podemos colocar x = 0 na igualdade
f (x +
ϕ(h) = h)
,
f (x)
obtendo f (0 + h)
f (h)
ϕ(h) = ⇒ ϕ(h) ⇒ ϕ(h) = f (h), h ∈ R.
f= (0) 1
Assim, f cumpre a propriedade f (x+h) = f (x)· f (h), ou seja, para quaisquer x, y ∈

R, vale f (x + y) = f (x) · f (y). Segue do Teorema 4.1, que f (x) = ax. Portanto,
g(x) = bf (x) = bax.
4.2 Sugest o de Aula

Ap s estudarmos o comportamento de uma fun o exponencial, vamos dar uma
proposta de trabalho para o docente de matem tica do ensino m dio que ir introduzir
o conceito de fun o exponencial a seus alunos. Para fazermos isso, iremos trabalhar
com dois exemplos, sendo o primeiro um caso de uma fun o exponencial crescente,
e depois um caso de uma fun o exponencial decrescente.
Exemplo 4.1. Segundo [9], a popula o do M xico nos anos 80 crescia conforme a
Tabela 4.1:
Sugest o de 6
Ano Popula o (milh es)

1980 67,38
1981 69,13
1982 70.93
1983 72,77
1984 74,66
1985 76,60
1986 78,59
Tabela 4.1: Popula o do M xico (estimada), 1980 - 1986.
A Tabela 4.1 pode ser utilizada pelo professor em sala de aula como pontap inicial
ao se introduzir a fun o exponencial. O professor poderia come ar solicitando aos seus
alunos para obterem a raz o entre a popula o de um ano (com excess o de 1980)
com a popula o do ano anterior. Logo os alunos iriam encontrar os seguintes
resultados:
Popula o em 1981 69, 13 milh es
= = 1, 026.
= = 1, 026.
De modo an logo podemos veri car que as outras raz es tamb m resultar o em 1, 026.
Temos portanto uma progress o geom trica de raz o q = 1, 026, ou seja, a popula o
est crescendo a uma taxa de 2, 6% ao ano. A partir deste problema, o docente pode
pedir para os alunos modelarem esse crescimento usando a matem tica. Os alunos
podem construir uma lei de forma o que estabele a a rela o entre o n mero de
pessoas do M xico em fun o do tempo em anos. Uma op o para iniciar essa
modelagem, seria convencionar que o tempo ser 0 a partir do ano de 1980. Ent o
Quando t = 0, popula o = 67, 38 = 67, 38(1, 026)0.
Quando t = 1, popula o = 69, 13 = 67, 38(1, 026)1.

Quando t = 2, popula o = 70, 93 = 67, 38, (1, 026)2.
Quando t = 3, popula o = 72, 77 = 67, 38(1, 026)3.
Observando os resultados, o aluno dever chegar a f rmula:
P = 67, 38(1, 026)t, (4.3)
onde P a popula o do M xico, e t o tempo em anos. Tendo todos esses dados

em m os, o professor pode utilizar o software do GeoGebra (que pode ser facilmente
encontrado na internet), para construir o gr co da fun o descrita em (4.3).
6 Fun o
Para a constru o desse gr co, o professor dever inicialmente, pedir aos seus
alunos para inserirem a fun o (4.3), no campo "Entrada"e assim obter o gr co dessa
fun o.
Figura 4.4: P = 67, 38(1, 026)t.
A partir da obten o do gr co, o professor pode fazer alguns questionamentos para

explorar o gr co como:
1. Em 2020, qual seria uma estimativa para a popula o do M xico?
2. Em quanto tempo a popula o triplicar ?
Na primeira pergunta, o professor ir trabalhar com a leitura do gr co, identi cando
as vari veis dependente e independente da fun o. J na segunda pergunta, o aluno
pode ter uma estimativa do resultado lendo o gr co, mas o docente pode come ar a
falar da aplica o de equa es exponenciais simples, e no caso do problema proposto,
falar da import ncia do estudo de logaritmos. Em seguida, o professor pode
introduzir o conceito de fun o exponencial. Tamb m ele pode come ar a abordar
algumas propriedades como o crescimento in nito e o fato desse exemplo
representar uma fun o crescente. A ideia aqui exposta, mostra uma contextualiza o,
onde ela pode ser co- locada antes de falarmos em potencia o, radicia o, etc. A
proposta dessa aula est diretamente ligada ao processo de "Modelagem Matem tica",
onde devemos trazer um problema que pode ser traduzido para a Matem tica, e
assim, podemos provocar a curiosidade do aluno, despertando o seu interesse para a
parte mais t cnica.
Logo, podemos come ar a explorar situa es como o que acontece quando um expo-
ente de uma pot ncia um n mero natural ou algum outro subconjunto dos n meros
reais. Por exemplo, podemos investigar no problema referente ao crescimento popu-
lacional do M xico, admitindo que o crescimento tenha sido o mesmo a uns dez anos
antes de 1980 e a uns 30 anos depois de 1980, qual seria o valor de P para os
seguintes casos:
Sugest o de 6
(a) t = 27 (ano de 2007).

(b) t = −1 (ano de 1979).
Se t = 27 ter amos.
P = 67, 38(1, 026)27 ∼= 134, 76 milh es.
Agora se t = −1 ent o ter amos de dividir a popula o do ano de 1980 pela raz o
q = 1, 026, conforme a seguir:
P = 67, 38(1, 026)−1 ∼= 65, 67 milh es.
Como visto, o professor j poderia a partir daqui justi car o conceito de expoente
negativo, e depois come ar a investigar o caso de um expoente racional, at o caso de
um expoente irracional. As justi cativas para os casos de expoente racional e irracional
podem ser encontradas no Cap tulo 3 desta disserta o.
Outra situa o interessante para explorar uma fun o exponencial crescente seria
o c lculo de um montante em fun o do tempo, com regimento de juros compostos.
J para o caso de uma fun o exponencial decrescente, iremos explorar a idade de
um f ssil, sendo um assunto extremamente interessante para os alunos. Por isso
convidamos voc leitor, a observar o pr ximo exemplo conforme a refer ncia [10].
Exemplo 4.2. A idade de um f ssil (Vide1 Figura 4.5) pode ser determinada atrav s
de um m todo chamado de data o radioativa. A radioatividade faz com que os
tomos tenham varia o em sua massa ou em seu n mero at mico. Podemos citar o
carbono- 14 que emite radia o, no qual a metade de sua massa transformada em
carbono-12 a cada 5730 anos em f sseis de seres vivos. Por isso esse tempo
chamado de meia- vida, ou seja, a meia-vida do carbono-14 de 5730 anos. A meia-
vida do carbono-14 utilizada em f sseis com dura o de at 70000 anos. Para
obtermos uma idade superior a 70000 anos, podemos usar o pot ssio-40, cuja meia-
vida de 1,25 bilh o de anos, como o ur nio-238, que possui meia vida de 4,47 bilh
es de anos.
2.jpg
Figura 4.5: F ssil de um dinossauro.
1
Dispon vel em [11]. Acesso em 21 nov. 2014.
7 Fun o
A partir do Exemplo 4.2, o professor pode explorar algumas perguntas como:

• Sendo m a massa de carbono-14 de um f ssil, qual ser sua massa de carbono-14
ap s 5730 anos? E ap s 17190 anos?
Resposta: Pelo Exemplo 4.2, teremos que a massa do f ssil ap s 5730 anos, ser
m m
, enquanto ap s 17190 anos, a sua ser .
2 8
• Qual a data o de um f ssil que tem 25 % do carbono-14 original?
Resposta: 11460 anos.
• Suponhamos que m seja a massa original de carbono-14 de um f ssil. Escreva a
fun o de tipo exponencial que expressa a massa f de carbono-14 em fun o do
tempo t, em anos.
Resposta: f (t) = m · 25730
−
.
A partir dessa nova fun o, o professor pode pedir para que seus alunos observem o
gr co dessa fun o no GeoGebra, utilizando o comando "Controle Deslizante"na letra
m expressa na fun o, conforme gura a seguir:
Figura 4.6: Data o de um f ssil usando carbono-14.

5 Conclus o
Como visto a fun o exponencial tem um papel fundamental em v rias situa es,
desde a obten o da idade do f ssil de um dinossauro at an lise de uma aplica o
nanceira regida a juros compostos. A contextualiza o de problemas como os apre-
sentados neste texto, podem ser de grande utilidade no trabalho de um docente de
matem tica. Os dias de hoje s o marcados pelo intenso uso de novas tecnologias e
pe- las novas exig ncias do mercado de trabalho. E n o muito distante a isso, a educa
o deve conseguir acompanhar esse ritmo, onde o professor o mediador do quebra-cabe a
envolvendo o que se ensina e a aprendizagem dos alunos.
Esta disserta o procurou justamente superar esses paradigmas, onde buscamos res-
ponder diversas perguntas que surgem no cotidiano do professor sobre o assunto
desta pesquisa. Interroga es desde o sexto ano do ensino fundamental quando se
come a a ver potencia o e radicia o, at o estudo da fun o exponencial, vistas na
maioria das vezes no primeiro ano do ensino m dio. Mas o trabalho n o se restringiu
somente ao seu assunto principal, como tamb m, foram analisados outros temas como
os conjuntos num ricos, sequ ncias e limites. Um destaque deste trabalho, com
certeza, foram as caracteriza es de uma fun o exponencial e de uma fun o do tipo
exponencial, que podem ser utilizadas na modelagem de um problema. E quando
essa modelagem for uma dessas fun es, podemos trabalhar com as propriedades
apresentadas no Cap tulo 3.
Mas n o queremos parar por aqui, pois a matem tica uma ci ncia in nita cheia
de paradoxos que devem ser solucionados. Por isso o estudo de uma fun o expo-
nencial deve ainda ser aprofundado, como por exemplo o estudo de Logaritmos, que
possibilitar uma continuidade no estudo do tema que foi explorado nesta pesquisa.
71
Refer ncias
[1] LIMA, E. L. An lise Real Fun es de Uma Vari vel - Volume 1. 8. ed. Rio de
Janeiro: IMPA, 2006.
[2] FERREIRA, J. A Constru o dos N meros. 2. ed. Rio de Janeiro: SBM, 2011.
[3] OLIVEIRA, K. L. M.; FERN NDEZ, A. J. C. Inicia o Matem tica: um curso
com problemas e solu es. 2. ed. Rio de Janeiro: SBM, 2012.
[4] LIMA, E. L. et al. A Matem tica no Ensino M dio - Volume 1. 8. ed. Rio de Janeiro:
SBM, 2005.
[5] BARRETO, A. C. T picos de An lise. 1. ed. Rio de Janeiro: IMPA, 1971.
[6] VILA, G. An lise Matem tica para Licenciatura. 3. ed. S o Paulo: Edgard Blu-
cher, 2006.
[7] T BOAS, P. Z. C lculo em uma Vari vel Real. 1. ed. S o Paulo: Edusp, 2008.
[8] FLEMMING, D. M.; GON ALVES, M. B. C lculo A: fun es, limite, deriva o
e integra o. 6. ed. S o Paulo: Pearson Prentice Hall, 2007.
[9] HALLET, D. H. Calculus. 1. ed. Toronto: John Wiley Sons, Inc., 1994.
[10] SOUZA, J. R. Novo Olhar Matem tica - Volume 1. 2. ed. S o Paulo: FTD, 2013.
[11] PICCIN, R. F ssil de um dinossauro. [s.n.]. Dispon vel em:
<http://www.guiadasemana.com.br/turismo/noticia/mes-dos-dinossauros-em-
sp>.
73

Dissertação 2 - Função Exponencial

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Dissertação 2 - Função Exponencial

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Estadual Paulista J lio de Mesquita Filho

Instituto de Geoci ncias e Ci ncias Exatas

Um Estudo sobre a Fun o Exponencial

Rafael Henrique de Oliveira

Disserta o apresentada ao Programa de P s-

Disserta o (mestrado) - Universidade Estadual Paulista, Insti-

1. C lculo. 2. An lise. 3. Fun o de uma Vari vel. 4. Fun o

Ficha Catalogr ca elaborada pela STATI - Biblioteca da UNESP

Rafael Henrique de Oliveira

Disserta o aprovada como requisito parcial para a obten o do grau

Profa. Dra. Marta Cilene Gadotti

Profa. Dra. Selma Helena de Jesus

Profa. Dra. Suzete Maria Silva

Rio Claro, 30 de Janeiro de 2015

Quero agradecer em primeiro lugar minha professora orientadora, Dra. Marta

Realizamos um estudo sobre a fun o exponencial, analisando as principais proprie-

Palavras-chave: C lculo, An lise, Fun o de uma Vari vel, Fun o Exponencial.

We conducted a study of the exponential function, analysing the main properties

Keywords: Calculus, Analysis, Function of a Variable, Exponential Function.

2.1 Adi o de fra es.........................................................................................31

4.1 Gr co de uma fun o convexa...................................................................62

4.1 Popula o do M xico (estimada), 1980 - 1986.............................................67

2 Conjuntos Num ricos 21

Para compreendermos tudo isso e entender melhor a fun o exponencial, foi

Na segunda se o do Cap tulo 4, trabalharemos com algumas aplica es importan-

2.1 N meros Naturais

1. Todo n mero natural n possui um sucessor que um n mero natural e n meros

2. Existe um n mero natural 1 (um) que n o sucessor de nenhum outro n mero

3. Se um conjunto X cont m o n mero 1 e os sucessores de seus elementos, ent o

O Axioma 3 refere-se a um m todo de demonstra o na matem tica utilizado para

letra N para representar esse conjunto, enquanto os seus elementos ser o

Na forma m+n, m a primeira parcela, n a segunda parcela, enquanto o resultado

Proposi o 2.1. Sejam a, b, c, d ∈ N, a > b e c > d ent o

Demonstra o. Como a > b e c > d, existem m, n ∈ N tais que a = b + m e c = d + n.

De ni o 2.2. (Paridade). Um n mero natural par se ele pode ser escrito na

A seguir enunciaremos dois resultados segundo a refer ncia [2].

Proposi o 2.2. Sejam a, b ∈ N. Ent o a < b se, e somente se, a + 1 ≤ b.

Demonstra o. Se a < b, ent o existe k ∈ N tal que b = a + k. Se k = 1,

a < s1(a) = a + 1 ≤ b ⇒ a < b.

Demonstra o. Seja S um subconjunto n o vazio de N e consideremos o conjunto

2.2 N meros Inteiros

Proposi o 2.3. Sendo a, b, c, d ∈ N, a > b e c > d ent o

Demonstra o. Suponhamos que a − b = m e c − d = n, com m, n ∈ N. Ent o pelo

Mas se m ≤ n, o que deveremos fazer? Nas s ries iniciais da educa o b sica, os

De ni o 2.4. Seja a rela o ∼ em N × N de nida por (a, b) ∼ (c, d) quando a + d =

A rela o anterior satisfaz as tr s condi es de uma rela o de equival ncia

a +d +n = b +c +n e c +n+b = d +m+b ⇒ d +(a +n) = d +(m+b) ⇒ a +n = b +m.

Agora seja (a, b) = {(x, y) ∈ N × N | (x, y) ∼ (a, b)}.

Exemplo 2.1. (4, 2) = {(3, 1), (5, 3), (6, 4), · · · }.

A ideia intuitiva de de nirmos a rela o anterior de que o conjunto (a, b) representa

De ni o 2.5. De nimos as opera es de adi o e multiplica o no conjunto de todos

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

(a, b) · (c, d) = (ac + bd, ad + bc).

(2, 1) = 1; (1, 2) = −1; (3, 1) = 2; (1, 3) = −2; · · · ; (n + 1, 1) = n; (1, n + 1) = −n,

com n ∈ N. Para terminarmos a nossa constru o, se tivermos um n mero escrito da

Z = {· · · , −3, −2, −1, 0, 1, 2, 3, · · · }.

Nesse novo contexto, teremos os n meros positivos escritos direita do zero, e os

De ni o 2.7. Sejam a e b inteiros. Dizemos que a divide b (ou ainda a um divisor

Proposi o 2.4. Sejam a, b ∈ N. Se a | b ent o 0 < a ≤ b.

Demonstra o. Se a | b ent o existe q ≥ 1 (pois a e b s o positivos) tal que b = aq.

Sendo a ∈ Z, usaremos a nota o |a|, para representar o max {−a, a}.

Teorema 2.2. (Divis o Euclidiana). Sejam a, b ∈ Z, com a /= 0, ent o existem

Demonstra o. Consideremos o conjunto