Apontamentos AM I 2009 2010

Apontamentos de Anlise Matemtica I
Hermenegildo Borges de Oliveira

Janeiro de 2010
Contedo
1 Introduo 1
1.1 Corpo dos nmeros reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Mdulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Generalidades sobre funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Estudo das funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Funes elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.1 Funes polinomiais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.2 Funes racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.3 Funes inversas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 Sucesses numricas 16
2.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1.1 Modos de designar uma sucesso . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Representao grca de uma sucesso . . . . . . . . . . . . . . . . . . . . . . . 18
2.3 Princpio de induo matemtica . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.5 Sucesso limitada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.6 Monotonia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.7 Subsucesso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.8 Sucesso convergente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.9 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.10 Sucesso de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.11 Critrios de convergncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.12 A recta acabada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.13 Indeterminaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.14 Clculo de limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.15 Limites importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.16 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3 Sries Numricas 38
3.1 Somatrios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.2 Sries numricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3 Propriedades gerais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.4 Sries de termos no negativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
ii
3.5 Sries de termos positivos e negativos . . . . . . . . . . . . . . . . . . . . . . . . 48
3.6 Convergncia absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4 Complementos de Funes Reais de Varivel Real 55
4.1 Funes transcendentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.1.1 Funes exponencial e logartmica . . . . . . . . . . . . . . . . . . . . . . 55
4.1.2 Trigonometria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.1.3 Funes seno e arco-seno . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.1.4 Funes cosseno e arco-cosseno . . . . . . . . . . . . . . . . . . . . . . . 65
4.1.5 Funes tangente e arco-tangente . . . . . . . . . . . . . . . . . . . . . . 67
4.1.6 Funes cotangente e arco-cotangente . . . . . . . . . . . . . . . . . . . . 68
4.1.7 Funes secante e arco-secante . . . . . . . . . . . . . . . . . . . . . . . . 70
4.1.8 Funes cosecante e arco-cosecante . . . . . . . . . . . . . . . . . . . . . 72
4.1.9 Funes seno hiperblico e argumento do seno hiperblico . . . . . . . . 74
4.1.10 Funes cosseno hiperblico e argumento do cosseno hiperblico . . . . . 75
4.1.11 Funes tangente hiperblica e argumento da tangente hiperblica . . . . 77
4.1.12 Funes cotangente hiperblica e argumento da cotangente hiperblica . 78
4.1.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.2 Limites de funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4.2.1 Noes de limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
4.2.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.2.3 Limites importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.2.4 Clculo de limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.2.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.3 Funes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.3.1 Primeiras noes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.3.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
4.3.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5 Clculo Diferencial 96
5.1 Derivadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.2 Regras de derivao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
5.3 Frmulas de derivao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
5.4 Teoremas principais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
5.5 Derivadas de ordem superior . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
5.6 Frmula de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
5.7 Aplicaes geomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.8 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
6 Primitivas 115
6.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
6.2 Primitivas imediatas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6.3 Primitivao por partes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
6.4 Primitivao por substituio . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
iv
6.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
7 Sries de funes 121
7.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
7.2 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
7.3 Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
7.4 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
Bibliograa 130
2009/2010 c Hermenegildo Borges de Oliveira
Captulo 1
Introduo
Neste primeiro captulo, iremos introduzir os conceitos fundamentais usados no estudo de
funes reais de varivel real. Iremos tambm rever algumas funes elementares estudadas
anteriormente. Para o estudo que iremos fazer, pressupomos que o leitor conhece o corpo dos
nmeros reais, bem como as operaes algbricas entre os seus elementos.
1.1 Corpo dos nmeros reais
Recordemos que N denota o conjunto dos nmeros naturais, i.e.
N = 1, 2, 3, . . . .
Este conjunto apareceu das necessidades naturais de contagem do Homem. No entanto, revelou-
se insuciente para a operao de subtraco entre nmeros naturais, motivadas essencialmente
pelas necessidades de comrcio. Por exemplo, a equao
x + 2 = 1
impossvel de resolver no conjunto N. Assim, nasceu o conjunto dos nmeros inteiros, que,
para alm dos naturais, contm o 0 e os inteiros negativos. Denotamos este conjunto por Z e
temos
Z = . . . , 2, 1, 0, 1, 2, . . . ,
ou, usando uma escrita abreviada,
Z = inteiros .
Os conjuntos de nmeros seguintes apareceram tambm pela impossibilidade de resolver equaes
no conjunto prvio. Assim, o conjunto dos nmeros racionais Q surge pela impossibilidade de
resolver equaes como
2x + 1 = 4
no conjunto dos nmeros inteiros Z. O conjunto Q contm, pois, todos os nmeros inteiros,
bem como todas as fraces, positivas ou negativas. Usando uma escrita abreviada, podemos
escrever
Q = inteiros fracces .
1
2 1. INTRODUO
Por m, o conjunto dos nmeros reais R, aparece pela impossibilidade de resolver algumas
equaes que envolvem potncias no conjunto dos nmeros racionais Q. Por exemplo, em Q,
impossvel de resolver a equao
x
3
= 2 .
A soluo desta equao a dzima innita no peridica 1.25991050 . . . que se denota por
3
2. Estes nmeros no podem ser escritos como fraces. Apenas conseguimos escrever, como
fraces, dzimas innitas peridicas como 0.3333333333 . . . que, na forma de fraco,
1
3
.
Usando a mesma escrita abreviada, temos
R = racionais irracionais .
Convm frisar que a sistematizao deste conhecimento s foi feito algumas centenas de anos,
seno mesmo milnios, depois do conhecimento ter sido adquirido e difundido. O prossegui-
mento do raciocnio anterior, leva-nos a questionar sobre a impossibilidade de resolver a equaes
do tipo
x
2
+ 1 = 0
em R. De facto, para resolvermos esta equao, temos de a considerar num novo conjunto de
nmeros, o conjunto dos nmeros complexos C. Este conjunto, alm dos nmeros reais, contm
tambm os nmeros designados imaginrios. Um nmero imaginrio denotado por a i, onde
a um nmero real e i denido por i
2
= 1. A forma geral de um nmero complexo
z = x+yi, onde x a parte real do nmero complexo e y (nmero real) a sua parte imaginria.
Os nmeros complexos deram origem a uma das reas mais bonitas da Anlise Matemtica, a
Anlise Complexa que, por falta de tempo, no poder ser abordada no decorrer deste curso.
Os nmeros racionais representam-se numa recta horizontal, orientada da esquerda para a
direita e que se denomina por eixo numrico. O zero esboado a meio deste eixo, cando
os nmeros negativos esquerda e os positivos direita. Para fazer a correspondncia de
cada ponto do eixo numrico a um nmero racional, temos de xar uma unidade de medida.
A representao dos irracionais pode ser feita custa da representao de nmeros racionais
de referncia a observaes exteriores, por exemplo de cariz geomtrico. De um modo mais
simples, fazemos uma aproximao do irracional em questo por um racional.
Os subconjuntos de R podem ser discretos ou contnuos. Por exemplo, o subconjunto dos
naturais discreto, embora com cardinalidade innita, e representa-se, como vimos, por
1, 2, 3, . . . .
Os subconjuntos contnuos representam-se habitualmente por intervalos ou por reunies destes.
Por exemplo, [a, b] representa o subconjunto de todos os nmeros reais compreendidos entre a
e b, isto
[a, b] = x R : a x b .
Os nmeros a e b so designados por limite inferior e superior, respectivamente, do intervalo.
A notao fechada sobre os limites a e b indica que o intervalo contm estes nmeros e, por
isso, se designa de intervalo fechado. A notao (a, b) indica que o intervalo aberto, ou seja,
que os limites inferior e superior do intervalo no fazem parte do conjunto considerado, isto ,
(a, b) = x R : a < x < b .
3 1. INTRODUO
Por vezes, os intervalos podem ser fechados num limite e abertos noutro. Por exemplo,
[a, b) = x R : a x < b ,
(a, b] = x R : a < x b .
1.1.1 Mdulo
No conjunto dos nmeros reais, denimos o mdulo, ou valor absoluto, de um nmero como
sendo a distncia desse nmero origem. Na denio seguinte denimos este conceito analiti-
camente.
Denio 1.1.1 Seja x R. Denimos o mdulo, ou valor absoluto, de x do modo seguinte:
[x[ =
_
x se x < 0
x se x 0 .
Uma forma equivalente de denir o mdulo de um nmero :
[x[ = maxx, x .
Na proposio seguinte, estabelecemos as primeiras propriedades do mdulo as quais se demon-
stram a partir da denio anterior.
Proposio 1.1.1 Seja a 0 um nmero real. Temos:
1. [x[ = a x = a x = a x = a. Em particular, [x[ = 0 x = 0;
2. [x[ a x a x a a x a;
3. [x[ a x a x a.
DEMONSTRAO: AULA TERICA.
As duas ltimas propriedades da proposio anterior, so, ainda, vlidas no caso de desigual-
dades estritas, ou seja,
[x[ < a x > a x < a a < x < a
e
[x[ > a x < a x > a .
Proposio 1.1.2 Sejam x, y R. Temos:
1. [xy[ = [x[ [y[;
2. Se y ,= 0,
x
y
=
[x[
[y[
;
3. [x + y[ [x[ +[y[.
A ltima propriedade da proposio anterior, designa-se por desigualdade triangular, porque,
quando generalizada a dimenses superiores, arma que o comprimento de um lado qualquer
de um tringulo menor ou igual do que a soma dos comprimentos dos outros dois.
4 1. INTRODUO
1.2 Generalidades sobre funes
Sejam A e B dois subconjuntos de R. Chamamos correspondncia de A para B a qualquer
processo que a um elemento de A faz relacionar outro de B. Nesta condies, o conjunto A
designa-se por conjunto de partida e B o conjunto de chegada.
Denio 1.2.1 Uma funo uma correspondncia entre dois conjuntos, que a cada el-
emento de um desses conjuntos, digamos A, faz corresponder um nico elemento do outro,
digamos B.
As funes so, habitualmente, denotadas por letras minsculas, por exemplo f, g, h, etc.
O subconjunto de A onde uma funo, digamos f, est denida designa-se por domnio da
funo e denota-se por D
f
. O subconjunto de B onde a funo f toma valores designa-se
por contra-domnio da funo e denota-se por D
f
. Aos elementos do domnio de uma
funo chamamos objectos e os elementos do contra-domnio designam-se por imagens. Se
denotarmos uma funo por f, os objectos so habitualmente denotados pelas letras x, y, z,
etc. e as respectivas imagens por f(x), f(y), f(z), etc. Dizemos que uma funo real, se
todos os valores que assume so nmeros reais e diz-se de varivel real, se o seu domnio
um subconjunto de R.
Existem diferentes formas de representar uma funo. O diagrama sagital ou a tabela de
entradas so os mais indicados para funes cujos domnios e contra-domnios sejam conjuntos
nitos.
Exemplo 1.2.1 Considere a funo f tal que a cada elemento do conjunto de partida A =
, , , faz corresponder um elemento do conjunto de chegada B = _, , da forma
seguinte:
, , , _.
a) Indique o domnio e o contra-domnio de f.
b) Faa a representao de f por meio de um diagrama sagital.
c) Faa a representao de f por meio de uma tabela de entradas.
Existem situaes em que conseguimos encontrar uma nica expresso atravs da qual podemos
relacionar qualquer objecto no domnio da funo com a correspondente imagem no contra-
domnio. Esta forma para representar as funes muito til, no s como simplicao da
escrita, mas tambm por impossibilidade de escrever relaes entre todos os objectos e imagens
correspondentes quando o domnio ou o contra-domnio so conjuntos com cardinalidade in-
nita. expresso que nos permite representar assim uma funo, designamos por expresso
designatria da funo. Por exemplo, a expresso designatria f(x) = 2x representa a funo
que a cada objecto x faz corresponder o seu dobro.
Exemplo 1.2.2 Considere a funo f tal que a cada elemento do conjunto de partida A =
2, 1, 0, 1, 2 faz corresponder um elemento do conjunto de chegada B = 0, 1, 4 da forma
seguinte:
2 4, 1 1, 0 0, 1 1, 2 4,
Indique uma expresso designatria possvel para a funo f.
5 1. INTRODUO
A expresso designatria vai ser a forma mais comum de representarmos uma funo e, sempre
que no se disser nada em contrrio, ser esta a forma que iremos considerar. Nesta represen-
tao, vamos considerar todas as funes com conjuntos de partida e de chegada iguais a R.
Assim escrevemos para uma funo qualquer f:
f : R R
x y = f(x);
onde f(x) indica a expresso designatria da funo. Sempre que no haja ambiguidade na
escrita, escrevemos simplesmente a expresso designatria de f(x). Convm referir que, nesta
representao, se faz um pequeno abuso de escrita. O domnio da funo no necessariamente
igual ao seu conjunto de partida, assim como o contra-domnio pode ser diferente do conjunto
de chegada. Assim, aquando do estudo de uma funo representada desta forma, o primeiro
procedimento a fazer indicar qual o domnio de validade da funo.
Exemplo 1.2.3 Determine o domnio e o contra-domnio das funes representadas por f(x) =
2x + 1 e g(x) = x
2
.
Denio 1.2.2 Sejam f
1
, f
2
duas funes reais de varivel real com domnios D
f
1
e D
f
2
,
respectivamente. Chama-se funo soma de f
1
com f
2
funo denotada por f
1
+ f
2
e que
est denida em D
f
1
D
f
2
por:
(f
1
+ f
2
)(x) = f
1
(x) + f
2
(x)
Deforma anloga, se dene, em D
f
1
D
f
2
, a funo diferena f
1
f
2
, a funo produto
f
1
f
2
e a funo quociente f
1
/f
2
, esta ltima apenas nos pontos x D
f
2
tais que f
2
(x) ,= 0,
respectivamente, por:
(f
1
f
2
)(x) = f
1
(x) f
2
(x), (f
1
f
2
)(x) = f
1
(x) f
2
(x),
_
f
1
f
2
_
(x) =
f
1
(x)
f
2
(x)
.
As funes vo ser representadas num referencial cartesiano
1
, i.e num sistema de dois eixos
ortogonais com a mesma unidade de medida, um horizontal orientado da esquerda para a
direita e outro vertical orientado de baixo para cima. O eixo horizontal designa-se por eixo
das abcissas ou eixo dos xx e o vertical por eixo das ordenadas ou eixo dos yy. Neste sistema
de eixos qualquer funo ser representada por pontos (x, y), onde para cada objecto x, y ser
a respectiva imagem por meio de f, i.e. f(x). Deste modo, o referencial cartesiano tambm
denominado por sistema de eixos coordenados. O ponto (x, y) ser designado um ponto
de coordenadas de abcissa x e ordenada y. Ao ponto onde os dois eixos se intersectam fazemos
corresponder os zeros de ambos os eixos e, no plano, este ponto de interseco designa-se por
origem do referencial cartesiano.
Denio 1.2.3 O grco de uma funo, digamos f, esboado num referencial cartesiano
consiste no conjunto de todos os pontos do plano correspondentes a pares (x, y), com y = f(x)
e para x D
f
. Denotamos o grco de uma funo f por Gra(f) e represent-mo-lo por:
Gra(f) =
_
(x, y) R
2
: y = f(x), x D
f
_
.
1
O nome deve-se ao lsofo, e tambm matemtico, francs Ren Descartes (1596-1650).
6 1. INTRODUO
Observemos que para os propsitos deste curso o que interessa uma aproximao do grco
da funo, aquilo que denominaremos por esboo, e no o grco mais ou menos exacto obtido
por uma calculadora grca ou algum programa computacional.
A anlise geomtrica do esboo do grco de uma funo vai permitir-nos tirar muitas con-
cluses sobre a prpria funo. Por exemplo, podemos dizer que uma correspondncia uma
funo, se qualquer recta paralela ao eixo dos yy intersectar o grco da correspondncia num
s ponto.
Exemplo 1.2.4 Faa a representao grca das funes f(x) = 2x + 1 e g(x) = x
2
.
No que se segue, estamos a supor que f uma funo real de varivel real. O conjunto de
partida A, o conjunto de chegada B, o domnio D
f
e o contra-domnio D
f
.
Denio 1.2.4 Diz-se que um ponto x D
f
um zero ou uma raiz da funo f, se f(x) = 0.
Se uma funo f tem um zero num ponto x = a, f(a) = 0 e ento o seu grco intersecta o
eixo dos xx no ponto (a, 0).
Exemplo 1.2.5 Determine os zeros das funes f(x) = 2x + 1 e g(x) = x
2
+ 3x 4.
Denio 1.2.5 Diz-se que f uma funo injectiva, se quaisquer dois objectos distintos,
digamos x
1
e x
2
, de D
f
tiverem imagens distintas, isto , se
x
1
,= x
2
f(x
1
) ,= f(x
2
).
De forma equivalente, podemos dizer que f injectiva se imagens iguais corresponderem ao
mesmo objecto
f(x
1
) = f(x
2
) x
1
= x
2
.
Em termos grcos, vericamos que uma funo f injectiva, se qualquer recta paralela ao
eixo dos xx intersecta o grco de f em apenas um ponto.
Exemplo 1.2.6 Verique se as funes f(x) = 2x + 1 e g(x) = x
2
so injectivas.
Denio 1.2.6 Diz-se que f uma funo sobrejectiva, se cada elemento do conjunto de
chegada de f for a imagem de, pelo menos, um elemento do domnio de f, isto ,
y B x D
f
: y = f(x).
Exemplo 1.2.7 Verique se as funes f(x) = 2x + 1 e g(x) = x
2
so sobrejectivas.
Esta denio diz-nos que uma funo sobrejectiva, se o contra-domnio coincidir com o
conjunto de chegada, isto , se D
f
= B. Uma funo que seja injectiva e sobrejectiva, diz-se
bijectiva. Em termos da notao matemtica, uma funo f diz-se bijectiva, se
y B
1
x D
f
: y = f(x).
7 1. INTRODUO
Exemplo 1.2.8 Pelo que foi resolvido nos Exemplo 1.2.6 e 1.2.7, diga se as funes f(x) =
2x + 1 e g(x) = x
2
so bijectivas.
Denio 1.2.7 Diz-se que f uma funo par, se para cada x D
f
, f(x) = f(x). A
funo f mpar, se para cada x D
f
, f(x) = f(x).
No caso de existir algum x D
f
tal que f(x) ,= f(x) e f(x) ,= f(x), dizemos que a funo
no par nem mpar. Num referencial cartesiano, uma funo par simtrica relativamente
ao eixo dos yy e uma funo mpar simtrica relativamente origem do referencial. Esta
ltima noo quer dizer que existem pontos do grco da funo diametralmente opostos, mas
equidistantes, origem do referencial.
Exemplo 1.2.9 Estude as funes f(x) = 2x + 1, g(x) = x
2
e h(x) = x
3
quanto paridade.
Denio 1.2.8 Sejam f e g duas funes reais de variveis reais tais que D
f
D
g
. Dene-se
a composio das funes, f com g, funo que a cada elemento x D
g
faz corresponder um
nico elemento no conjunto de chegada de f. Denotamos a composio de f com g por f g,
l-se f aps g e dene-se por
(f g)(x) = f [g(x)] .
A composio de funes associativa, isto , (f g) h = f (g h) para quaisquer funes
f, g e h. No entanto, no comutativa, isto , existem funes f e g tais que f g ,= g f.
Exemplo 1.2.10 Considere a funo f(x) = 3x e g(x) = x
2
. Determine expresses analticas
para as funes compostas f g e g f.
1.3 Estudo das funes
Denio 1.3.1 Diz-se que uma funo real de varivel real f montona crescente num
subconjunto D de D
f
, se f(x
1
) f(x
2
) para quaisquer x
1
, x
2
D tais que x
1
x
2
, isto :
x
1
x
2
f(x
1
) f(x
2
) x
1
, x
2
D.
Dizemos que f montona decrescente em D D
f
, se f(x
1
) f(x
2
) para quaisquer x
1
,
x
2
D tais que x
1
x
2
, isto :
x
1
x
2
f(x
1
) f(x
2
) x
1
, x
2
D.
No caso de termos
x
1
< x
2
f(x
1
) < f(x
2
) x
1
, x
2
D,
dizemos que f montona crescente em sentido estrito. De forma anloga, se
x
1
< x
2
f(x
1
) > f(x
2
) x
1
, x
2
D,
dizemos que f montona decrescente em sentido estrito. Sempre que no se diga
mais nada sobre a monotonia, subentende-se que estamos a falar de monotonia no sentido da
denio anterior, o que muitas vezes e para a distinguir da monotonia estrita nos referimos
como sendo monotonia em sentido lato. Sempre que no se faa meno ao subconjunto D
f
onde f montona, deve entender-se que f satisfaz essa propriedade em todo o seu domnio.
No que se segue, estamos a supor que f uma funo real de varivel real. O conjunto de
partida A, o conjunto de chegada B, o domnio D
f
e contra-domnio D
f
.
8 1. INTRODUO
Denio 1.3.2 Diz-se que f uma funo minorada, se f(D
f
) um conjunto minorado,
i.e., se
m R : f(x) m x D
f
.
A funo f majorada, se f(D
f
) um conjunto majorado, i.e.,
M R : f(x) M x D
f
.
No caso da funo f ser minorada e majorada, i.e.,
m, M R : m f(x) M x D
f
,
dizemos que a funo limitada.
Aos valores m e M designamos, respectivamente, por minorante e majorante de f. Como
se observa desta denio, uma funo pode ter vrios, ou mesmo innitos, minorantes e ou
majorantes. Chama-se nmo da funo f, e denota-se por inf f(x), ao maior dos minorantes
de f. Chama-se supremo da funo f, e denota-se por sup f(x), ao menor dos majorantes de
f. Observe-se que os minorantes, majorantes, nmo e supremo de f dizem respeito ao conjunto
f(D
f
). Se a funo f no minorada, dizemos que o seu nmo . No caso de no ser
majorada, diz-se que o seu supremo +. Quando o nmo ou o supremo forem valores que
a funo f assume no domnio D
f
, dizemos, respectivamente, que f tem um mximo ou um
mnimo no seu domnio D
f
. Neste caso, denotamos o mnimo ou o mximo, respectivamente,
por min f(x) ou max f(x). Todas esta noes podem ser adaptadas para qualquer subconjunto
D de D
f
, fazendo apenas referncia nas notaes que estas quantidades so obtidas em D. Neste
sentido uma funo pode ter vrios mnimos ou mximos consoante os diferentes subdomnios
que estamos a considerar. Assim, este mximos e mnimos dizem-se relativos ao subdomnio
que se considera. Ao maior dos vrios mximos relativos, chamamos mximo absoluto. Ao
menor dos mnimos relativos, chama-se mnimo absoluto.
Proposio 1.3.1 Seja f uma funo real de varivel real. A funo f limitada se e s se
C R
+
: [f(x)[ C x D
f
.
Denio 1.3.3 Seja f uma funo real de varivel real injectiva com domnio D
f
. Designa-
se por funo inversa da funo f funo que a cada imagem y = f(x) faz corresponder o
respectivo objecto x que lhe deu origem.
A noo de funo inversa est intimamente ligada propriedade de funo injectiva. Se
esta no se vericar, no existe funo inversa. Se f no fosse injectiva, ento existiriam dois
objectos x
1
,= x
2
em D
f
tais que f(x
1
) = f(x
2
). Neste caso, admitindo que era possvel inverter
a funo, ento obteramos uma correspondncia que ao mesmo objecto y = f(x
1
) = f(x
2
) fazia
relacionar duas imagens distintas x
1
e x
2
. No entanto esta correspondncia no uma funo
como se depreende da Denio 1.2.1
9 1. INTRODUO
Denio 1.3.4 Seja D um subconjunto do domnio D
f
de uma funo f. Designa-se por
imagem ou transformado do conjunto D por meio de f, e denota-se por f(D), ao conjunto
de todos os valores que f assume em pontos x D, i.e.
f(D) = y R : y = f(x), x D.
Representando a funo f da denio anterior por
f : R R
x y = f(x),
ento a funo inversa da funo f representa-se por
f
1
: R R
y x = f
1
(y),
tal que (f
1
f)(x) = x e (f f
1
)(y) = y.
Se o domnio da funo f D
f
e o contra-domnio da funo f D
f
, ento
D
f
1 = f(D
f
) e D
f
1 = D
f
,
onde f(D
f
) o conjunto transformado por meio de f do conjunto D
f
.
Exemplo 1.3.1 Considere as funes f(x) = 2x + 1 e g(x) = x
2
.
a) Justique se possvel ou no inverter estas funes em todo o seu domnio. Em caso
negativo, indique o maior subdomnio possvel onde possvel inverter cada uma.
b) Obtenha expresses analticas para essas funes inversas.
O grco da funo inversa f
1
, pode-se obter a partir do grco da funo f fazendo uma
simetria em relao bissectriz dos quadrantes mpares (recta y = x).
Proposio 1.3.2 Seja f uma funo real de varivel real. Se f uma funo montona e in-
jectiva, ento a funo inversa f
1
tambm estritamente montona, crescente ou decrescente,
consoante f.
Observemos que o facto da funo f ser injectiva implica que a sua monotonia estrita.
Proposio 1.3.3 Seja f uma funo real de varivel real. Se f uma funo mpar e injec-
tiva, ento a funo inversa f
1
tambm mpar.
Exemplo 1.3.2 Considere as funes do Exemplo 1.3.1. A partir dos grcos destas funes,
esboce os grcos das funes inversas a encontradas.
10 1. INTRODUO
1.4 Funes elementares
Nesta seco vamos introduzir algumas das funes que mais comummente se utilizam, tanto em
Matemtica como nas outras cincias fundamentais e tambm nas aplicaes. Estas funes so
designadas por funes elementares no sentido que se podem representar por uma soma nita
de expresses designatrias. Observemos que as funes que aqui iremos estudar so funes
reais de varivel real. Deixaremos para outro captulo o estudo das funes exponenciais e
trigonomtricas, bem como as suas inversas.
1.4.1 Funes polinomiais
Os exemplos mais simples de funes que comeamos por estudar, englobam a grande classe de
funes que se designa por polinmios.
Denio 1.4.1 Um polinmio uma funo que denida por uma equao da forma:
P(x) = a
n
x
n
+ a
n1
x
n1
+ + a
1
x + a
0
;
onde a
0
, a
1
, . . . , a
n
R e n N
0
.
As letras a
0
, a
1
, . . . , a
n
so constantes reais e designam-se por coecientes do polinmio.
O nmero inteiro no negativo n denomina-se grau do polinmio. No mbito deste curso,
vamos designar os polinmios por funes polinomiais e iremos usar a notao habitual das
funes:
f(x) = a
n
x
n
+ a
n1
x
n1
+ + a
1
x + a
0
.
Como a equao acima faz corresponder um valor f(x) (ou P(x)) para cada valor de x, o
domnio de f todo R. Contudo, o contra-domnio pode ser R ou qualquer seu subconjunto.
Exemplo 1.4.1 Se n = 0, obtemos a denominada funo constante f(x) = a
0
, que comum-
mente se denota por
f(x) = c
e para a qual se tem D
f
= R e D
f
= c.
Exemplo 1.4.2 Se n = 1, obtemos a denominada funo am, ou tambm designada funo
linear, f(x) = a
1
x + a
0
, que habitualmente se denota por
f(x) = ax + b.
O grco da funo am uma recta de equao y = ax + b, onde a nos indica o declive da
recta e a ordenada na origem b.
Se a = 0, recuperamos a funo constante f(x) = b.
Se a ,= 0, tem-se D
f
= R e D
f
= R. Neste caso, a funo montona estritamente crescente
ou decrescente, consoante a > 0 ou a < 0, respectivamente.
No caso de a ,= 0, o zero da funo dado por x =
b
a
.
11 1. INTRODUO
Exemplo 1.4.3 No caso n = 2, obtemos a designada funo quadrtica f(x) = a
2
x
2
+a
1
x+
a
0
, que usualmente se denota por
f(x) = ax
2
+ bx + c.
Tal como para qualquer polinmio, temos D
f
= R. Se a = 0, recuperamos a funo am
f(x) = ax + b. Se a ,= 0, o problema maior que se nos coloca como calcular os eventuais
zeros da funo quadrtica. Para este clculo, tem muito interesse a relao seguinte entre os
coecientes da funo quadrtica, designada por discriminante:
= b
2
4ac.
Proposio 1.4.1 Seja f(x) = ax
2
+ bx + c, com a ,= 0.
1. No caso de < 0, a funo no tem zeros.
2. Se = 0 a funo tem apenas um zero que dado por x =
b
2a
.
3. Se > 0 a funo tem dois zeros que so dados por
x
1
=
b +
2a

b +
b
2
4ac
2a
e x
2
=
b
2a

b
b
2
4ac
2a
.
Resultam desta proposio as consequncias seguintes:
o grco da funo quadrtica (com a ,= 0) uma parbola de eixo vertical e estritamente
montona em qualquer um dos intervalos
_
,
b
2a
_
e
_
b
2a
, +
_
;
o ponto de coordenadas
_
b
2a
, c
b
2
4a
_
o ponto onde a funo quadrtica atinge o mximo
ou o mnimo e designa-se por vrtice da parbola;
se a > 0, D
f
=
_
c
b
2
4a
, +
_
e a funo atinge o seu mnimo (absoluto) no ponto x =
b
2a
de valor y = c
b
2
4a
. Neste caso, dizemos que o grco da funo tem a concavidade voltada
para cima;
se a < 0, R
f
=
_
, c
b
2
4a
_
e a funo atinge o seu mximo (absoluto) no ponto
x =
b
2a
de valor y = c
b
2
4a
- neste caso, dizemos que o grco da funo tem a
concavidade voltada para baixo.
12 1. INTRODUO
1.4.2 Funes racionais
No sentido mais abrangente possvel, funo racional qualquer funo em cuja expresso
designatria apenas esto envolvidas operaes racionais. Assim, as funes polinomiais, que
estudamos na seco anterior, so os casos mais simples das funes racionais. A extenso
natural das operaes algbricas entre nmeros reais aos polinmios resulta, com excepo das
divises que no so exactas, na origem de novos polinmios. diviso de polinmios que no
der outro polinmio, vamos designar por funo racional propriamente dita.
Denio 1.4.2 Consideremos dois polinmios no divisveis entre si:
P(x) = a
0
+ a
1
x + a
2
x
2
+ + a
n
x
n
e Q(x) = b
0
+ b
1
x + b
2
x
2
+ + b
m
x
m
;
onde n e m so dois inteiros no negativos, no necessariamente iguais. funo R(x) =
P(x)/Q(x), que luz da notao das funes, denotamos por
f(x) =
a
0
+ a
1
x + a
2
x
2
+ + a
n
x
n
b
0
+ b
1
x + b
2
x
2
+ + b
m
x
m
,
designamos por funo racional.
Como, em R, no sabemos dividir por 0, a funo f(x) = P(x)/Q(x) para estar bem denida,
isto , para ser uma funo, tem de se garantir que Q(x) ,= 0. Deste modo, o domnio de f
pode no ser todo R. Mais exactamente,
D
f
= x R : Q(x) ,= 0
_
x R : b
0
+ b
1
x + b
2
x
2
+ + b
m
x
m
,= 0
_
.
Os zeros da funo racional so dados pelos zeros da funo polinomial P(x) (numerador da
fraco).
A funo tem sinal positivo nos pontos x R tais que P(x) > 0 e Q(x) > 0, ou P(x) < 0
e Q(x) < 0. Tem sinal negativo no caso contrrio, isto , quando P(x) e Q(x) tm sinais
contrrios.
Exemplo 1.4.4 Considere a funo
f(x) =
1
x
n
, n N
0
.
a) Determine o domnio de f em funo do valor de n.
b) Determine o contra-domnio de f em funo do valor de n.
c) Verique se f tem zeros. Justique.
d) Esboce os grcos de f quando n = 1, n um nmero mpar qualquer e n um nmero par
qualquer.
e) O que pode dizer sobre a injectividade e sobrejectividade da funo f.
f ) Estude a funo dada relativamente paridade.
13 1. INTRODUO
1.4.3 Funes inversas
Antes de introduzirmos as inversas das funes at agora estudadas, convm recordar que
intimamente ligada com a noo de funo inversa est a noo de funo injectiva. Denimos
a funo inversa apenas de funes injectivas. No entanto, uma funo poder no ser injectiva
em todo o seu domnio, mas apenas em algum subconjunto estritamente contido no seu domnio.
Neste caso, podemos restringir a funo a esse subdomnio e a considerar a sua inversa.
Para obtermos a inversa de uma dada funo (injectiva) f, resolvemos a equao
f(x) = y
em ordem a x. Como a funo original injectiva, a resoluo desta equao, em ordem a x,
dar origem a uma nica expresso designatria em funo de y, expresso essa que ser nada
mais que a expresso designatria da funo inversa procurada. Como convencionamos o eixo
dos xx como sendo o das abcissas e o dos yy como o das ordenadas, convm fazer uma mudana
da varivel y para a varivel x e obtermos, assim, uma expresso designatria para f
1
(x).
A funo constante f(x) = c no tem inversa, excepto se restringirmos o seu domnio a um
nico ponto.
A funo linear f(x) = ax + b, com a, b R, invertvel em todo o seu domnio D
f
= R se e
s se a ,= 0. Neste caso, a expresso designatria da funo inversa dada por
f
1
(x) =
x b
a
.
No caso de polinmios de grau superior ou igual a 2, quando fazemos o mesmo procedimento
para obter as suas inversas, deparamo-nos com o problema de as funes encontradas even-
tualmente j no serem funes racionais. Em muitos casos, as expresses designatrias das
funes inversas vo fazer envolver, no s operaes racionais, mas tambm operaes ir-
racionais. Nestes casos, as funes encontradas pertencem grande classe de funes ir-
racionais. Deste modo, as funes irracionais surgem por uma necessidade de encontrar as
inversas de funes racionais.
A funo quadrtica f(x) = x
2
, invertvel em [0, +) e a expresso designatria da sua
inversa dada por
f
1
(x) =
x.
Exemplo 1.4.5 Considere a funo f(x) = x
n
, com n N
0
xo.
a) Determine a inversa da funo f e indique o seu domnio de validade em funo de n.
b) A partir do grco de f, esboce o grco de f
1
.
Uma funo irracional ser, ento, uma funo representada por
f(x) =
n
_
R(x),
onde R(x) uma funo racional. Mais geralmente, designamos por funo irracional qual-
quer funo cuja expresso designatria resulta de aplicarmos operaes irracionais a uma ou
mais das funes por ltimo referidas.
14 1. INTRODUO
1.5 Exerccios
1. Mostre que:
(a) x
2
+ 2px + q = 0 = x = p
_
p
2
q;
(b) Se x
1
e x
2
so as razes da equao: ax
2
+ bx + c = 0, a ,= 0, ento
i. x
1
+ x
2
=
b
a
e x
1
x
2
=
c
a
(Frmulas de Vite)
ii. ax
2
+ bx + c = a (x x
1
) (x x
2
)
(c)
a
2
4ab + 4b
2
a
2
+ 4ab + 4b
2
8ab
a
2
4b
2
+
2b
a 2b
=
a
2b a
, onde 0 < a < 2b;
(d)
x
2
+ 4x 5 + (x 5)
x
2
1
x
2
4x 5 + (x + 5)
x
2
1
=
_
x 1
x + 1
, onde x > 1;
(e)
x + 1
x
x + x +
x
:
1
x
2
x
= x 1, onde x > 1;
2. Determine os conjuntos de solues das (in)equaes seguintes:
a) [x 3[ = 2[x[ ; b) [2x + 1[ < 1 ; c) [x 1[ < [x + 1[ ;
d) [x
2
1[ = 3 ; e) [2x 5[ > x + 1 ; f) [x
2
4[ = x + 2 .
3. Mostre que:
(a) [x
n
[ = [x[
n
para todo n N;
(b) [x y[ [[x[ [y[[ .
4. Determine f(0), f
_
3
4
_
, f(y) e f
_
1
x
_
no caso de f(x) =
1 + x
2
.
5. Determine f(x + 1) e f
_
1
x
_
se f(x 1) = x
2
.
6. Determine a funo linear f sabendo que f(1) = 2 e f(2) = 3.
7. Determine a funo quadrtica f sabendo que f(0) = 1, f(1) = 0 e f(3) = 5.
8. Considere as funes seguintes:
f(x) = 1 x + x
2
; g(x) =
x +
1
2 + x
; h(x) =
1 + x
1 x
;
i(x) =
x +[x[
2
; j(x) = x
2
+
1
x
; k(x) =
_
x [x[ .
a) Determine o domnio de cada.
b) Determine o contradomnio de f, h e i.
c) Determine, caso existam, os zeros de cada.
15 1. INTRODUO
9. Estude as funes seguintes quanto paridade:
g(x) = 1 x
2
; h(x) =
1 + x
1 x
; i(x) =
3
_
(x + 1)
2
+
3
_
(x 1)
2
;
j(x) = (1 + x)(1 x) ; k(x) =
1
1 x
+
1
1 + x
; l(x) = x
3
+ x
2
.
f(x) = 2x + 3 ; g(x) =
2
x
; h(x) = x
3
;
i(x) =
3
1 x
3
; j(x) =
4 x
2
; k(x) =
1 + x
1 x
.
a) Estude estas funes quanto injectividade e sobrejectividade.
b) Determine a funo inversa e indique o maior domnio de validade de cada.
11. Recorrendo apenas ao grco de funes j conhecidas, esboce o grco das funes
seguintes, assim como o das suas inversas no caso de existirem.
a) f(x) = 2x 5 ; b) f(x) = x
3
3x + 2 ; c) f(x) =
1
1 x
;
d) f(x) =
x 2
x + 2
; e) f(x) = x +
1
x
2
; f) f(x) = x
2
+
1
x
;
h) f(x) =
3
x
2
; i) f(x) =
1
2
(x +[x[) ; j) f(x) = x
4
2x + 5 .
12. Para as funes do exerccio anterior e recorrendo simplesmente anlise dos seus grcos,
indique, caso existam, o conjunto de majorantes, de minorantes, o supremo, o nmo, o
mximo e o mnimo.
Captulo 2
Sucesses numricas
Neste captulo, vamos considerar um caso particular de funes reais de variveis reais que,
pela sua importncia em todas as reas da Matemtica, merece ser estudado num captulo
parte.
2.1 Introduo
Denio 2.1.1 (Sucesso numrica) Uma sucesso numrica innita de termos reais
uma funo de varivel natural e com valores reais. Usando a escrita habitual para as funes,
uma sucesso, digamos f, escreve-se da forma seguinte:
f : N R
n f(n).
Por simplicidade de escrita, iremos designar apenas por sucesso uma sucesso innita de termos
reais. O conjunto de partida da sucesso poder ser qualquer subconjunto do conjunto dos
naturais N = 1, 2, 3, . . . ou, ainda, o conjunto dos inteiros no negativos N
0
= 0, 1, 2, 3, . . . .
Os valores
f(1), f(2), . . . , f(n), . . .
denominam-se termos da sucesso: primeiro termo, segundo termo, . . . , n-simo termo,
. . . . O contra-domnio da funo f denomina-se por conjunto dos termos da sucesso.
Habitualmente os termos da sucesso so denotados por letras indexadas nos nmeros naturais.
Por exemplo, podemos denotar os termos da sucesso acima por
u
1
, u
2
, . . . , u
n
, . . . .
Chama-se termo geral da sucesso expresso designatria f(n) e, usando a mesma notao
indexada, habitual denot-lo por u
n
. Cada termo da uma sucesso, digamos u
n
, tem um
termo sucessor, u
n+1
, e, assim, podemos dizer que no existe um ltimo termo da sucesso.
As operaes algbricas habituais dos nmeros reais estendem-se naturalmente s sucesses. A
soma e diferena de duas sucesses u
n
e v
n
denem-se, respectivamente, por:
(u + v)
n
= u
n
+ v
n
e (u v)
n
= u
n
v
n
.
16
17 2. SUCESSES NUMRICAS
O produto e quociente de duas sucesses u
n
e v
n
dene-se, respectivamente, por:
(uv)
n
= u
n
v
n
e
_
u
v
_
n
=
u
n
v
n
(v
n
,= 0 n N) .
2.1.1 Modos de designar uma sucesso
Ordenao. Para designar uma sucesso, habitual escrever ordenadamente uma quan-
tidade suciente de termos da sucesso, de modo a termos uma ideia do comportamento
da sucesso. Por exemplo, a sucesso cujos trs primeiros termos so 1, 3, 5, escrita do
modo seguinte:
1, 3, 5, . . . .
Frmula. A forma mais comum para designar uma sucesso, consiste em indicar uma
frmula por meio da qual se pode obter, para cada natural n, o correspondente n-simo
termo. Por exemplo, a frmula
u
n
=
1
n
, n N,
permite-nos obter a sucesso seguinte de termos ordenados:
1,
1
2
,
1
3
, . . . .
A frmula
v
n
= 1, n N,
designa a sucesso constante com todos os termos iguais a 1, e que, ordenada, se escreve
1, 1, 1, . . . , 1, . . . .
Por vezes, duas ou mais frmulas podem ser indicadas para designar a sucesso. Por
exemplo, as frmulas
u
2n1
=
1
n
2
, u
2n
= n
2
, n N,
denem a sucesso cujos oito primeiros termos ordenados so
1, 1,
1
4
, 4,
1
9
, 9,
1
16
, 16, . . . .
Isto , a sucesso cujos quatro primeiros termos de ordem mpar (2n 1) so
1,
1
4
,
1
9
,
1
16
, . . .
e os quatro primeiros termos de ordem par (2n) so
1, 4, 9, 16, . . . .
Recorrncia. Outro modo de designar uma sucesso, consiste em indicar as instrues
de como obter os termos sucessores conhecido um ou mais dos primeiros termos. Por
exemplo, as frmulas
u
1
= u
2
= 1, u
n+1
= u
n
+ u
n1
, n N,
denem a sucesso (de Fibonacci
1
) cujos oito primeiros termos ordenados so
1, 1, 2, 3, 5, 8, 13, 21, . . . .
Uma sucesso determinada por este processo, diz-se uma sucesso denida por recorrncia.
Por simplicidade de escrita, denota-se qualquer sucesso por u
n
, qualquer que seja a forma por
que denida.
2.2 Representao grca de uma sucesso
A representao grca de uma sucesso, num sistema de eixos cartesianos, faz-se do mesmo
modo como para qualquer funo. No eixo das abcissas indicamos os nmeros naturais e no das
ordenadas as correspondentes imagens por meio da sucesso (termos da sucesso). O grco
de uma sucesso u
n
o conjunto de pontos discretos
(n, u
n
) : n N.
Exemplo 2.2.1 (AULA TERICA) Fazer a representao grca dos seis primeiros termos da
sucesso
u
n
=
(1)
n
n
, n N.
2.3 Princpio de induo matemtica
O Princpio de Induo Matemtica um mtodo de demonstrao elaborado com base no
Princpio de Induo Finita, frequentemente utilizado para provar que certas propriedades so
verdadeiras para todos os nmeros naturais. Para uma determinada armao matemtica que
dependa de um natural n, digamos P(n), podemos enunciar este princpio do modo seguinte.
Se
1. P(n) vericada para n = 1;
2. P(n) sendo vericada para n = k implicar ser tambm vericada para o seu
sucessor n = k + 1, com k > 1;
ento a armao P(n) vlida para todo o natural n.
1
Leonardo Fibonacci (1170-1250), matemtico italiano natural de Pisa.
O passo 1, em que se estabelece a propriedade para o primeiro dos nmeros naturais, designa-se
por base de induo. O passo 2 designa-se por passo de induo, em que se estabelece
que, caso a propriedade se verique, para um nmero natural k (hiptese de induo) ento
ela tambm vericada para o nmero natural seguinte, k +1. A validade de P(n) para todos
os nmeros naturais, depende essencialmente da possibilidade em provar que a observao da
propriedade num natural n implica a vericao da mesma propriedade para o natural seguinte,
n+1 (passo de induo). Se isso suceder, ento podemos concluir a veracidade de P(n) para
todos os nmeros naturais desde que o primeiro deles (o nmero 1) a verique. Na realidade, a
validade da propriedade para o primeiro natural (base de induo) implica a sua validade para o
segundo (o nmero 2) e deste para o terceiro (o nmero 3), e assim sucessivamente, cobrindo-se
deste modo a totalidade dos naturais, como peas de um domin em linha, em que as quedas
das sucessivas peas so provocadas umas a partir das outras aps a queda da primeira pea.
Por vezes, certas armaes P(n) s so vericadas a partir de um nmero natural n
1
> 1.
Neste caso, temos de substituir, no passo 1, "P(n) vericada para n
1
". De um modo sucinto,
podemos enunciar o Princpio de Induo Matemtica na forma seguinte.
Denio 2.3.1 (Princpio de induo matemtica) Se:
1. P(n
1
) vericada;
2. P(n) P(n + 1), n > n
1
;
ento P(n) verdadeira para todo natural n n
1
.
Exemplo 2.3.1 (AULA TERICA) Usando o Princpio de Induo Matemtica, mostre que para
todo o natural n a igualdade seguinte vericada:
1 + 3 + 5 + + 2n 1 = n
2
.
2.4 Exemplos
Exemplo 2.4.1 (Progresso aritmtica) Uma progresso aritmtica uma sucesso cuja
frmula para o seu termo geral
u
n
= u
1
+ (n 1)r, n N,
onde r ,= 0 uma constante conhecida que se denomina razo.
Este tipo de sucesses caracteriza-se por a diferena de quaisquer dois dos seus termos sucessivos
ser constante:
u
n+1
u
n
= r n N (r = constante ,= 0).
Deste modo, podemos denir tal sucesso por recorrncia:
_
u
1
= a
u
n+1
= u
n
+ r;
sendo a e r ,= 0 reais conhecidos.
Proposio 2.4.1 A soma S
n
dos n primeiros termos de uma progresso aritmtica u
n
dada
por
S
n
=
u
1
+ u
n
2
n.
Exemplo 2.4.2 (AULA TERICA) Calcule a soma, S
100
, dos 100 primeiros termos da pro-
gresso aritmtica u
n
= n, com n N.
Exemplo 2.4.3 (Progresso geomtrica) Uma progresso geomtrica uma sucesso cuja
frmula para o seu termos geral
u
n
= u
1
r
n1
, n N,
onde r ,= 1 uma constante conhecida que se denomina razo.
Esta sucesso caracteriza-se por o quociente entre quaisquer dois dos seus termos sucessivos ser
constante:
u
n+1
u
n
= r n N (r = constante ,= 1).
Podemos, assim, denir tal sucesso tambm por recorrncia:
_
u
1
= a
u
n+1
= u
n
r;
sendo a e r ,= 1 reais conhecidos.
Proposio 2.4.2 A soma S
n
dos n primeiros termos de uma progresso geomtrica u
n
de
razo r ,= 1 dada por
S
n
= u
1
1 r
n
1 r
.
Exemplo 2.4.4 (AULA TERICA) Calcule a soma dos 100 primeiros termos da progresso ge-
omtrica
u
n
=
_
1
2
_
n
, n N.
2.5 Sucesso limitada
Uma sucesso diz-se majorada, se o conjunto dos seus termos for majorado, isto , se existir
um real maior ou igual do que todos os termos da sucesso. Ou seja, u
n
uma sucesso
majorada, se
L R : u
n
L n N.
Uma sucesso diz-se minorada, se o conjunto dos seus termos for minorado, isto , se existir
um real menor ou igual do que todos os termos da sucesso. Ou seja, u
n
uma sucesso
minorada, se
l R : u
n
l n N.
Uma sucesso diz-se limitada, se for majorada e minorada.
Denio 2.5.1 (Sucesso limitada) Uma sucesso u
n
limitada, se
L, l R : l u
n
L n N.
Exemplo 2.5.1 (AULA TERICA) Verique se as seguintes sucesses so limitadas:
u
n
= n, n N, e v
n
=
1
n
, n N.
Proposio 2.5.1 Uma sucesso u
n
limitada se e s se
C R
+
: [u
n
[ C n N.
2.6 Monotonia
Uma sucesso diz-se montona crescente, se qualquer dos seus termos for menor ou igual do
que o seu sucessor. Diz-se que uma sucesso montona decrescente, se qualquer dos seus
termos for maior ou igual do que o seu sucessor. Uma sucesso diz-se, apenas, montona, se
for montona crescente ou decrescente.
Denio 2.6.1 Uma sucesso u
n
diz-se montona crescente, se
u
n
u
n+1
n N.
A sucesso u
n
diz-se montona decrescente, se
u
n
u
n+1
n N.
No caso de termos
u
n
< u
n+1
n N,
dizemos que u
n
uma sucesso montona estritamente crescente. Se
u
n
> u
n+1
n N,
diz-se que u
n
uma sucesso montona estritamente decrescente. Quando houver ne-
cessidade de fazer distino, referiremo-nos monotonia da denio anterior com sendo em
sentido lato. As sucesses que no so montonas, podem ser constantes ou oscilantes. Con-
vm referir que, por vezes, a monotonia ou no de uma sucesso s se descortina aps um
nmero nito de termos. Neste caso, diremos que a sucesso montona a partir do termo
da ordem (nmero natural, digamos p) em que se verica a condio da denio. Em termos
prticos, para se estudar a monotonia de uma dada sucesso, determinamos a diferena
u
n+1
u
n
e comparamo-la com 0. Se for maior do que 0, montona crescente, caso contrrio montona
decrescente. Existem casos em que se torna mais fcil determinar o quociente
u
n+1
u
n
e compar-lo com 1. Obviamente, aqui, este quociente s possvel se u
n
,= 0 para todo n N.
Nesses casos, a sucesso crescente se for maior do que 1 e decrescente se for menor.
Exemplo 2.6.1 (AULA TERICA) Estude as seguintes sucesses quanto monotonia:
u
n
= 2n 1, n N, e v
n
=
1
n
2
, n N.
2.7 Subsucesso
Uma subsucesso uma sucesso cujo conjunto dos seus termos um subconjunto do conjunto
dos termos de dada sucesso. Para a denio de subsucesso, necessitamos de introduzir o
conceito de composio de sucesses, que um caso particular da composio de funes. Sejam
u
n
e v
n
duas sucesses, a ltima das quais de termos naturais. Dene-se a composio das
sucesses u
n
e v
n
como sendo a sucesso (u v)
n
que tem por termo de ordem k o termo de
ordem k = v
k
da sucesso u
n
. Ou seja,
(u v)
k
= u
v
k
.
Denio 2.7.1 (Subsucesso) Sejam u
n
uma sucesso de termos reais e k
n
uma sucesso de
termos naturais estritamente crescente. A sucesso composta (uk)
n
designa-se por subsucesso
da sucesso u
n
e o seu termo geral denotado por u
k
n
.
Dada uma sucesso qualquer u
n
de termos reais, podemos considerar sempre as seguintes sub-
sucesses.
Fazendo k
n
= n para todo n N, obtemos a sucesso v
n
de termo geral
v
n
= u
n
.
Isto , toda a sucesso subsucesso de si prpria.
Fazendo k
n
= 2n para todo n N, obtemos a sucesso v
n
de termo geral
v
n
= u
2n
Portanto, podemos sempre considerar a subsucesso dos termos de ordem par.
Fazendo k
n
= 2n 1 para todo n N, obtemos a subsucesso v
n
de termo geral
v
n
= u
2n1
.
Ou seja, podemos tambm sempre considerar a subsucesso dos termos de ordem mpar.
Exemplo 2.7.1 (AULA TERICA) Determine duas subsucesses da seguinte sucesso
1,
1
2
,
1
3
,
1
4
,
1
5
, . . . .
2.8 Sucesso convergente
Dizemos que uma sucesso u
n
de termos reais tende para determinada quantidade A, nita
ou no, se, a partir de determinada ordem (nmero natural), os termos da sucesso vo estar
to prximos de A quanto se queira. Convm ressalvar aqui o caso em que A innito e a
proximidade de innito ser sempre um abuso de linguagem. Abreviadamente, podemos escrever
u
n
A.
No caso de A ser nito, isto , um nmero real, dizemos que a sucesso u
n
converge.
Denio 2.8.1 (sucesso convergente) Uma sucesso u
n
converge para a R, se
> 0 p = p() N : ( n N e n > p ) [u
n
a[ < .
O real a da denio anterior chama-se limite da sucesso e, habitualmente, escrevemos
lim
n+
u
n
= a.
A denio de sucesso convergente anterior, pode ser traduzida do modo seguinte: a partir
de certa ordem (n > p) os termos da sucesso vo estar to prximos do limite ([u
n
a[ < )
quanto se queira ( ). Para percebermos melhor este conceito, consideremos, por exemplo, a
sucesso de nmeros racionais seguinte que aproxima o irracional

2:
u
0
= 1
u
1
= 1.4
u
2
= 1.41
u
3
= 1.414
u
4
= 1.4142
u
5
= 1.41421
u
6
= 1.414213
u
7
= 1.4142135
u
8
= 1.41421356
u
9
= 1.414213562

Escolhamos, agora, = 10
4
e vejamos, para este , a partir de que ordem p a denio anterior
se verica. Resolvendo,
[u
n
2[ < 10
4
u
n
> 1.414113562 n 4 .
Deste modo, para o valor de = 10
4
, a denio anterior verica-se a partir da ordem p = 4
(n 4). Apesar de ser um indicativo, isto no prova nada. O importante que para cada
> 0 que se escolha, consigamos sempre encontrar uma ordem p a partir da qual a denio
anterior seja vericada.
Exemplo 2.8.1 (AULA TERICA) Usando a denio, mostre que
lim
n+
1
n
= 0.
As sucesses que no so convergentes dizem-se divergentes. Caso particularmente impor-
tante das sucesses divergentes so aquelas que tendem para + ou . Uma sucesso tende
para +, se, a partir de certa ordem, os seus termos so to grandes quanto se queira. De
modo anlogo, uma sucesso tende para , se, a partir de certa ordem, os seus termos so
to pequenos quanto se queira.
Denio 2.8.2 Uma sucesso u
n
tende para +, se
> 0 p = p() N : ( n N e n > p ) u
n
>
1
.
Uma sucesso u
n
tende para , se
> 0 p = p() N : ( n N e n > p ) u
n
<
1
.
Por extenso da noo de limite a + e , podemos escrever tambm
lim
n+
u
n
= + e lim
n+
u
n
= ,
no caso da sucesso u
n
tender para + ou , respectivamente.
Exemplo 2.8.2 (AULA TERICA) Usando a denio, mostre que
lim
n+
2(n + 1) = + e lim
n+
1 n
2
= .
Uma sucesso u
n
designa-se por um innitamente grande positivo, se tender para +:
u
n
+.
Diz-se que um innitamente grande negativo, se tender para :
u
n
.
Chama-se innitsimo, ou innitamente pequeno, a uma sucesso u
n
que tenda para 0:
u
n
0.
O limite de uma subsucesso de uma sucesso designado por sublimite dessa sucesso.
Denio 2.8.3 O maior dos sublimites de uma sucesso u
n
denomina-se limite superior e
denimo-lo por:
limsup
n+
u
n
= supa : a sublimite de u
n
.
O menor dos sublimites de uma sucesso u
n
denomina-se limite inferior e denimo-lo por:
liminf
n+
u
n
= infa : a sublimite de u
n
.
Resulta da denio anterior que, para qualquer sucesso u
n
, no caso de existirem sublimites,
liminf
n+
u
n
limsup
n+
u
n
.
Tal como para o limite de uma sucesso, podemos, tambm, estender as noes de limite
superior e inferior a + e . Isto acontece no caso em que o conjunto dos sublimites da
sucesso no majorado ou no minorado, respectivamente.
Exemplo 2.8.3 (AULA TERICA) Determine os limites superior e inferior da sucesso
u
n
=
n + (1)
n
n
n
.
2.9 Propriedades
A armao da proposio seguinte diz-nos que o limite de uma sucesso, a existir, nico.
Proposio 2.9.1 Sejam u
n
uma sucesso e a, b R. Se
lim
n+
u
n
= a e lim
n+
u
n
= b,
ento a = b.
Proposio 2.9.2 Se u
n
uma sucesso convergente, ento u
n
limitada.
A armao recproca da proposio anterior falsa como mostra o contra-exemplo da sucesso
u
n
= (1)
n
que limitada, mas divergente. No entanto, se alm de limitada, a sucesso for
montona, a recproca j vlida.
Proposio 2.9.3 Se u
n
uma sucesso montona e limitada, ento u
n
convergente. Mais:
se u
n
crescente, ento
lim
n+
u
n
= supu
n
: n N;
se u
n
decrescente, ento
lim
n+
u
n
= infu
n
: n N.
Exemplo 2.9.1 (AULA TERICA) Usando a proposio anterior, mostre que a sucesso seguinte
convergente e calcule o seu limite:
_
u
1
= 1
u
n+1
=
2 + u
n
.
A armao recproca da proposio anterior falsa, pois existem sucesses convergentes que
no so montonas.
Exemplo 2.9.2 (AULA TERICA) Mostre que a sucesso seguinte convergente, mas no
montona:
u
n
=
(1)
n
n
.
Proposio 2.9.4 Uma sucesso u
n
convergente se e s se qualquer sua subsucesso u
n
k
converge para o mesmo limite.
Observe-se que, pela proposio anterior, se uma sucesso tem, pelo menos, duas subsucesses
com limites diferentes, ento divergente. Depois do resultado anterior, levanta-se a questo
de saber em que condies uma sucesso tem subsucesses convergentes.
Proposio 2.9.5 Seja u
n
uma sucesso (de termos reais). Ento existe, pelo menos, uma
subsucesso u
n
k
montona.
SEM DEMONSTRAO: ver, por exemplo, J. Campos Ferreira p. 90.
Proposio 2.9.6 Seja u
n
uma sucesso limitada. Ento u
n
tem, pelo menos, uma sub-
sucesso u
n
k
convergente.
O resultado da proposio anterior , por vezes, denominado Teorema de Bolzano
2
-Weierstrass
3
.
Daqui, resulta que condio necessria e suciente para uma sucesso limitada u
n
convergir
que
liminf
n+
u
n
= limsup
n+
u
n
.
Exemplo 2.9.3 (AULA TERICA) A sucesso u
n
= (1)
n
divergente.
2.10 Sucesso de Cauchy
Por vezes, torna-se muito difcil provar, pela Denio 2.8.1, que uma sucesso convergente,
apesar de vericarmos que converge, usando tcnicas de clculo de limites de que iremos escrever
mais adiante. Torna-se, portanto, til encontrar formas equivalentes de provar que uma sucesso
convergente. Nesse intuito, introduzimos de seguida o conceito de sucesso de Cauchy
4
Denio 2.10.1 (Sucesso de Cauchy) Diz-se que uma sucesso u
n
de Cauchy, se
> 0 p = p() N : ( m, n N e m, n p ) [u
m
u
n
[ < .
2
Bernhard Bolzano (1781-1848), matemtico checo natural de Praga.
3
Karl Weierstrass (1815-1897), matemtico alemo natural de Ostenfelde.
4
Augustin-Louis Cauchy (1789-1857), matemtico francs natural de Paris.
O signicado desta denio o de que a partir de certa ordem, digamos p (m, n p), os
termos correspondentes da sucesso (u
m
e u
n
) estaro to prximos ([u
m
u
n
[ < ) quanto se
queira ( > 0). Observe-se que nada se diz sobre a relao de ordem entre m e n.
Exemplo 2.10.1 (AULA TERICA) Mostre que a sucesso u
n
=
1
n
de Cauchy.
A grande utilidade da noo de sucesso de Cauchy, provar, de um modo mais simples, que
uma dada sucesso convergente. O resultado estabelecido na proposio seguinte , pois,
esperado.
Proposio 2.10.1 Uma sucesso convergente se e s se for sucesso de Cauchy.
Dada a equivalncia entre as noes de sucesso convergente e de sucesso de Cauchy, por
vezes a denio de sucesso de Cauchy designada por Princpio Geral de Convergncia de
Cauchy. Existem mesmo muitos autores que falam de denio de sucesso convergente no
sentido de Cauchy. Neste sentido, e para a distinguir, a primeira (Denio 2.8.1) designada
por noo de sucesso convergente no sentido de Heine
5
. O exemplo seguinte mostra-nos a
grande utilidade da noo de sucesso de Cauchy.
Exemplo 2.10.2 (AULA TERICA) Usando a noo de sucesso de Cauchy, mostre que as
sucesses seguintes so, respectivamente, convergente e divergente:
a)
_
_
_
u
1
= 1
u
n+1
= 1 +
1
u
n
;
b) s
n
= 1 +
1
2
+ +
1
n
.
2.11 Critrios de convergncia
As proposies seguintes estabelecem relaes de ordem entre os limites de sucesses a partir
dos seus termos gerais.
n
e v
n
duas sucesses convergentes para a e b, respectivamente.
Se, a partir de certa ordem, u
n
v
n
, ento a b.
Esta proposio tem uma grande aplicao prtica no clculo de limites. Essa aplicao mais
visvel na utilizao da seguinte proposio tambm conhecida por Princpio do Encaixe.
Proposio 2.11.2 (Critrio da Sucesso Enquadrada) Sejam u
n
, v
n
, x
n
sucesses tais
que, a partir de certa ordem, u
n
v
n
x
n
, u
n
e x
n
so convergentes e
lim
n+
u
n
= a = lim
n+
x
n
, a R.
Ento v
n
convergente e
lim
n+
v
n
= a.
5
Heinrich Eduard Heine (1821-1881), matemtico alemo natural de Berlim.
Exemplo 2.11.1 (AULA TERICA) Usando o critrio anterior, mostre que a sucesso seguinte
convergente e calcule o seu limite:
u
n
=
1
n
2
+ 1
+ +
1
n
2
+ n
.
O resultado da Proposio 2.11.1 pode-se estender, em determinadas condies, ao caso em que
os limites so innitos
Proposio 2.11.3 (Critrio de Comparao) Sejam u
n
e v
n
sucesses tais que, a partir
de certa ordem, u
n
v
n
.
1. Se v
n
tende para , ento u
n
tende para .
2. Se u
n
tende para +, ento v
n
tende para +.
Exemplo 2.11.2 (AULA TERICA) Usando o critrio anterior, mostre que a sucesso u
n
=
2(n + 1)
2
tende para +.
O resultado seguinte diz-nos que a armao recproca da Proposio 2.11.1 tambm vlida.
n
e v
n
duas sucesses convergentes e suponhamos que
lim
n+
u
n
lim
n+
v
n
.
Ento, a partir de certa ordem, u
n
v
n
.
A proposio seguinte diz-nos que o produto de um innitsimo por uma sucesso limitada ,
ainda, um innitsimo.
n
uma sucesso limitada e v
n
uma sucesso convergente tal que
lim
n+
v
n
= 0.
Ento (uv)
n
= u
n
v
n
uma sucesso convergente e
lim
n+
u
n
v
n
= 0.
Exemplo 2.11.3 (AULA TERICA) Usando a proposio anterior, mostre que a sucesso seguinte
um innitsimo:
u
n
=
cos n
n
.
2.12 A recta acabada
A recta acabada surge da necessidade de estender as operaes algbricas habituais do conjunto
dos nmeros reais de modo a poder-se operar com os elementos + e . Estes elementos
satisfazem a relao de ordem seguinte:
< x < + x R.
Denio 2.12.1 (Recta acabada) Dene-se a recta acabada e denota-se por R como sendo
o conjunto seguinte:
R = R , +.
Com a introduo da recta acabada R, torna-se necessrio denir as operaes algbricas entre
os elementos desse conjunto. Se os elementos de R forem ainda reais, isto elementos de R, as
operaes so como habitualmente.
Denio 2.12.2 (operaes com + e ) Para a adio tem-se:
a + (+) = +, a + () = a R;
(+) + (+) = +, () + () = .
Para a multiplicao tem-se:
a (+) = +, a () = a > 0;
a (+) = , a () = + a < 0;
(+) (+) = +, (+) () = , () () = +.
As operaes de subtraco e diviso so operaes inversas da adio e multiplicao, respec-
tivamente. Assim, tem-se para a subtraco:
a (+) = a + () = , a () = a + (+) = + a R;
(+) () = (+) + (+) = +.
E para a diviso tem-se:
+
a
= +,

a
= a 0;
+
a
= ,

a
= + a 0;
Pela sua importncia, tambm consideramos a operao de potenciao:
a
b
, a 0.
Nos casos em que o expoente b um natural, a potenciao no mais do que uma multiplicao
repetida. As potncias entre nmeros reais denem-se como habitualmente. No caso em que
intervm os elementos + e , temos:
a
+
=
_
0 se 0 a < 1
+ se a > 1
; a
=
1
a
+
=
_
+ se 0 a < 1
0 se a > 1
;
(+)
b
=
_
0 se b < 0
+ se b > 0.
2.13 Indeterminaes
Pelo exposto acima, verica-se a existncia de omisses na denio das operaes algbricas
entre alguns elementos de R. Em R j conhecemos as seguintes situaes em que as operaes
no esto denidas:
0
0
e 0
0
.
Em R, quando no for possvel determinar uma operao, diremos que estamos perante uma
indeterminao.
Denio 2.13.1 (Indeterminaes) As indeterminaes em R so dos tipos:

++ () = +, +(+) = +;
0
0 (+), 0 ();
1
1
+
, 1
=
1
1
+
;

0
(+)
0
.
Existem outras indeterminaes, mas que podero ser analisadas como casos particulares dos
dados na denio anterior. Esses casos, so as indeterminaes dos tipos:
=
1
= 0 ;
0
0
- j existente em R
0
0
= 0
1
0
= 0 ;
0
0
- j existente em R
0
0
=
_
1
+
_
0
=
1
(+)
0
.
Convm referir que, como sai da parte nal da seco anterior, no so indeterminaes os
casos particulares seguintes:
0
+
= 0, 0
=
1
0
+
=
1
0
= +;
(+)
+
= +; (+)
=
1
(+)
+
=
1
+
= 0.
2.14 Clculo de limites
Nesta altura podemos, ento, denir as operaes algbricas entre os limites de sucesses,
limites esses que podero ser innitos.
n
e v
n
sucesses e a, b R tais que
lim
n+
u
n
= a e lim
n+
v
n
= b.
Ento, salvo os casos em que se obtm indeterminaes, temos:
1.
lim
n+
(u
n
v
n
) = a b;
2.
lim
n
(u
n
v
n
) = a b;
3. se b ,= 0 e v
n
,= 0 para todo n N,
lim
n
_
u
n
v
n
_
=
a
b
;
4. se u
n
uma sucesso de termos positivos,
lim
n
(u
n
v
n
) = a
b
.
SEM DEMONSTRAO: Ver Campos Ferreira, Captulo II.1.
No clculo de limites podemos usar a Proposio 4.2.2 sempre que no obtenhamos indetermi-
naes. Mas, em muitas situaes de clculo de limites, surgem indeterminaes. Ao processo
de resolver determinada indeterminao, vamos designar por levantamento da indetermi-
nao.
Regra 1 (levantamento de indeterminaes do tipo ) As indeterminaes dos tipos
,
podem, normalmente, ser levantadas pondo em evidncia o termo de maior grau, ou, no caso
em que envolvem razes, multiplicando pelo conjugado.
Exemplo 2.14.1 (AULA TERICA) Calcule os limites seguintes:
lim
n+
(n
2
2n) e lim
n+
_
n + 1
n
_
.
Regra 2 (levantamento de indeterminaes do tipo 0 ) As indeterminaes dos tipos
0 ,

,
0
0
,
podem, normalmente, ser levantadas pondo em evidncia os termos de maior grau.
lim
n+
3
n
3
+ 2
n 1
e lim
n+
3
2n
5
n+1
4
n+1
+ 2
2n
.
2.15 Limites importantes
Para o levantamento de indeterminaes do tipo 1
, temos de introduzir um resultado impor-

tante.
Denio 2.15.1 (Nmero de Neper) Dene-se o nmero de Neper e como sendo o limite
nito seguinte:
lim
n+
_
1 +
1
n
_
n
= e.
A existncia do limite anterior resulta da proposio seguinte.
Proposio 2.15.1 A sucesso
u
n
=
_
1 +
1
n
_
n
estritamente crescente e 2 u
n
< 3 para todo n N.
O valor do nmero de Neper que habitualmente se utiliza obtido custa do resultado expresso
na proposio seguinte.
Proposio 2.15.2 Para a sucesso da Denio 2.15.1, tem-se:
lim
n+
_
1 +
1
n
_
n
= lim
n+
_
1 + 1 +
1
2
+
1
6
+ +
1
n!
_
lim
n+
n
k=1
1
k!
.
Somando os cinco primeiros termos da sucesso do segundo membro da proposio anterior,
obtemos uma aproximao s casas das centsimas do nmero de Neper:
e 2, 71 ;
valor este que o que habitualmente se usa em clculos numricos. O nmero e, apesar de j
aparecer implcito nos trabalhos do matemtico escocs Jonh Napier [ou Neper] (1550-1617)
sobre logaritmos, s se tornou conhecido nos trabalhos do matemtico suo Leonhard Euler
(1707-1783) sobre a funo exponencial. por isso que denotamos este nmero com a letra
inicial de Euler, apesar de o designarmos por nmero de Neper (ou de Napier).
Proposio 2.15.3 Sejam a R e u
n
uma sucesso tal que
lim
n+
[u
n
[ = +.
Ento
lim
n+
_
1 +
a
u
n
_
u
n
= e
a
.
Regra 3 (Levantamento de indeterminaes do tipo 1
) As indeterminaes do tipo
1
podem, normalmente, ser levantadas usando a Denio 2.15.1 ou a Proposio 2.15.3.

Exemplo 2.15.1 Calcule o limite seguinte:
lim
n+
_
1
2
n
3
_
4n
3
.
Para o levantamento de grande parte das indeterminaes do tipo
0
, introduzimos o resultado
seguinte.
Proposio 2.15.4 Sejam a R
+
0
+ e u
n
uma sucesso de termos positivos tal que
lim
n+
u
n+1
u
n
= a.
Ento
lim
n+
n
u
n
= a.
Regra 4 (Levantamento de indeterminaes do tipo (+)
0
(+)
0
podem, normalmente, ser levantadas usando a Proposio 2.15.4.
Exemplo 2.15.2 (AULA TERICA) Calcule o limite seguinte:
lim
n+
n
n
2
+ 1.
Existem muitas outras possibilidades de levantar indeterminaes. Por exemplo, para levantar
indeterminaes do tipo 0, / ou 0/0, por vezes, temos de conjugar os resultados do
Critrio da Sucesso Enquadrada (Proposio 2.11.2) e da Proposio 2.15.4.
Proposio 2.15.5 Sejam a > 1 um real e p N arbitrrios. Temos:
lim
n+
n
p
a
n
= 0, lim
n+
a
n
n!
= 0, lim
n+
n!
n
n
= 0.
Observe-se que, da proposio anterior, podemos tirar o limite seguinte:
lim
n+
n
p
n!
= 0 p N.
Outro exemplo para levantar indeterminaes do tipo 0, / ou 0/0, consiste em usar
o conhecimento de limites notveis de funes. Alguns exemplos so os seguintes:
lim
n+
n
_
n
e 1
_
= 1;
lim
n+
nln
_
1 +
1
n
_
= 1;
lim
n+
n sen
_
1
n
_
= 1;
lim
n+
(ln n)
a
n
b
= 0 para todos a > 0, b > 0.
2.16 Exerccios
1. Calcule o primeiro termo, assim como os termos de ordem n1, 2n e 2n1 das sucesses
seguintes:
u
n
=
n + (1)
n
n
; v
n
= 1 +
1
2
+ +
1
2
n
; x
n
= (1)
n+1
n
2
+ 2
2n + 3
;
y
n
=
1
n!
; w
n
=
1
n
2
+
2
n
2
+
3
n
2
+ +
1
n
; z
n
=
_
z
1
= 1
z
n+1
=
2 + z
n
.
2. Faa a representao grca dos cinco primeiros termos das sucesses u
n
, x
n
e y
n
indicadas
no exerccio anterior.
3. Escreva o termo geral das sucesses cujos termos das primeiras ordens so os seguintes:
a) 2, 5, 8, 11, . . . ; b) 1,
1
2
,
1
4
,
1
8
, . . . ; c) 1,
1
4
,
1
9
,
1
16
,
1
25
, . . . ;
d)
3
7
,
8
11
,
13
15
,
18
19
, . . . ; e) 1, 2, 3, 5, 8, 13 . . . ; f) 0,
3
2
,
2
3
,
5
4
,
4
5
, . . . .
4. Usando o Princpio de Induo Matemtica, prove as armaes seguintes:
a) 1 + 2 + 3 + + n =
n(n + 1)
2
;
b)
1
1.3
+
1
3.5
+
1
5.7
+ +
1
(2n 1)(2n + 1)
=
n
2n + 1
;
c) 1
2
+ 2
2
+ 3
2
+ + (n 1)
2
<
n
3
3
n N;
d) 1
3
+ 2
3
+ 3
3
+ + n
3
= (1 + 2 + 3 + + n)
2
[Usar a)] ;
e) 2
n
> n
2
n 5 ;
f) Binmio de Newton: Para quaisquer a , b R
(a + b)
n
=a
n
+ na
n1
b +
n(n 1)
2
a
n2
b
2
+ +
n!
k!(n k)!
a
nk
b
k
+ +
n(n 1)
2
a
2
b
n2
+ nab
n1
+ b
n
k=1
n!
k!(n k)!
a
nk
b
k
.
5. Calcule a soma dos 10 primeiros termos das seguintes progresses
u
n
= 2n 1 ; v
n
=
2
3
n1
; x
n
= (1)
n
; y
n
=
2
3
(n + 1) .
6. Indique quais das sucesses dos exerccios 1 e 3 so majoradas, minoradas e limitadas.
7. Estude as sucesses seguintes quanto monotonia:
s
n
=
n + 1
2n + 4
; t
n
=
n + 1
n; u
n
=
n
2
n
;
v
n
=
n!
n
n
; y
n
= 1 + 1 +
1
2
+
1
3!
+ +
1
n!
.
8. Indique duas subsucesses para cada sucesso dos exerccios 1, 3, 4 e 7.
9. Usando a denio, mostre que as seguintes sucesses so convergentes para os limites
indicados:
a) lim
n+
1
2
n
= 0 ; b) lim
n+
n
n + 1
= 1 ; c) lim
n+
2n 1
n + 1
= 2 ;
d) lim
n+
(1)
n+1
n
= 0 ; e) lim
n+
n
2
+ 1
2n
2
1
=
1
2
; f) lim
n+
n + 1
n = 0 .
10. Usando a denio, mostre que as seguintes sucesses so divergentes e, na recta acabada,
tm os limites indicados:
a) lim
n+
n
3
1 = +; b) lim
n+
(1 n
2
) = .
11. Calcule os limites seguintes:
a) lim
n+
2n + 3
3n 1
; b) lim
n+
n
2
1
n
4
+ 3
; c) lim
n+
n
2
+ 7n 1
n + 2
;
d) lim
n+
_
_
n(n + 1)
_
n(n 1)
_
; e) lim
n+
2
n
+ 1
2
n
1
; f) lim
n+
3
2n
+ 4
n+1
5
n
2
2n
.
a) lim
n+
n
2
n
+ 3
n
; b) lim
n+
n
_
n
2
+ n 1
n 3
; c) lim
n+
n
_
(n + 1)! n! .
a) lim
n+
_
1 +
1
n
2
_
n
3
; b) lim
n+
_
2n + 1
2n + 3
_
4n
; c) lim
n+
_
2n
2
5n + 2
2n
2
+ 3n + 1
_
2n
.
14. Usando o Princpio das Sucesses Enquadradas, calcule os limites seguintes:
a) lim
n+
_
1
n
2
+
1
(n + 1)
2
+ +
1
(2n)
2
_
;
b) lim
n+
_
1
n
2
+ 1
+
1
n
2
+ 2
+ +
1
n
2
+ n
_
;
c) lim
n+
1 +
2 + +
n
n
2
+ 1
;
d) lim
n+
n!
n
n
; e) lim
n+
n + sen n
n
; f) lim
n+
n
3
n
+ 5
n
.
15. Calcule os limites superior e inferior das sucesses seguintes:
u
n
=
(1)
n
n
2
+ 1
n
2
+ 2
; v
n
= 1 + cos ((n + 1)) ; x
n
=
n + sen
_
n
2
_
n
.
16. Estude a natureza das sucesses seguintes indicando o limite das que so convergentes:
a
n
=
1 + n
3
n
2
+ 2n 1
; b
n
=
2
n
e
n+1
e
n
2
n+1
c
n
=
_
(n + 1)!
n! ;
d
n
=
sen n
n
; e
n
=
2
2n
3
n
2
n
3
2n
; f
n
= nln
_
1 +
1
n
_
;
g
n
= n sen
_
1
n
_
; h
n
= n
n
2
(1 + n
2
)
n
2
2
; i
n
=
1
n
n
_
n!
n + 1
;
j
n
=
n
2
2
n
; k
n
=
n!
3
n
; l
n
=
_
n
2
+ cos(n)
n
2
_
n+1
;
m
n
=
n
2
n
4
+ n
2
+
n
2
_
n
4
+ (n + 1)
2
+ +
n
2
_
n
4
+ (2n)
2
;
n
n
=
1
n
+
1
n + 1
+ +
1
2n
;
_
o
1
= 1
o
n+1
=
2 + o
n
;
_
p
1
= 1
p
n+1
= 1 +
1
p
n
;
_
_
_
q
0
= 1
q
1
= 1
q
n+2
=
q
n
+q
n+1
2
.
Captulo 3
Sries Numricas
Neste captulo vamos considerar somas de termos de sucesses, as quais se designam por sries.
No entanto, habitual designar as sries nitas por somatrios, deixando-se a designao de
sries para as somas innitas.
3.1 Somatrios
Os somatrios surgem como uma necessidade de simplicao da escrita de somas de termos
de uma sucesso.
Denio 3.1.1 (Somatrio) Sejam u
k
uma sucesso de termos reais e n N. O smbolo
de somatrio
n
k=1
u
k
dene-se por recorrncia da forma seguinte:
n
k=1
u
k
= u
1
se n = 1 e
n
k=1
u
k
=
n1
k=1
u
k
+ u
n
se n > 1.
Assim, para quaisquer p, q N, com p q, usamos o somatrio
q
k=p
u
k
para denotar a soma
u
p
+ u
p+1
+ + u
q
.
Neste caso, p diz-se o limite inferior do somatrio, q o limite superior e u
k
o termo
geral.
Exemplo 3.1.1 A soma S
n
dos n primeiros termos de uma progresso aritmtica ou ge-
omtrica u
k
pode ser escrita do modo seguinte:
S
n
=
n
k=1
u
k
.
38
39 3. SRIES NUMRICAS
k
e v
k
sucesses de termos reais e c R. Ento so vlidas as
propriedades seguintes:
1. Aditiva
n
k=1
(u
k
+ v
k
) =
n
k=1
u
k
+
n
k=1
v
k
;
2. Homognea
n
k=1
(c u
k
) = c
n
k=1
u
k
;
3. Telescpica
n
k=1
(u
k
u
k1
) = u
n
u
0
.
DEMONSTRAO - EXERCCIO: Usar o Mtodo de Induo Matemtica em n.
3.2 Sries numricas
A noo de srie numrica innita introduzida para permitir a generalizao do conceito de
somatrio com uma innidade de parcelas numricas.
Denio 3.2.1 (Srie numrica) Seja u
n
uma sucesso numrica. Designa-se por srie
numrica innita o par formado pela sucesso u
n
:
u
1
, u
2
, . . . , u
n
, . . .
e pela sucesso S
n
seguinte:
S
1
= u
1
, S
2
=
2
k=1
u
k
= u
1
+ u
2
, . . . , S
n
=
n
k=1
u
k
= u
1
+ u
2
+ + u
n
, . . . .
Os nmeros u
1
, u
2
,. . . , u
n
, . . . denominam-se termos da srie, sendo u
n
o termo geral
da srie, e a sucesso de termos S
1
, S
2
, . . . , S
n
, . . . designa-se por sucesso das somas
parciais. Habitualmente, a srie de termo geral u
n
pode ser representada por um dos quatro
modos seguintes:
u
1
+ u
2
+ + u
n
+ . . . ,
+
n=1
u
n
,
n1
u
n
,
u
n
.
O limite inferior da srie poder ser qualquer outro nmero natural e, em muitas situaes,
poder ser 0. Por norma, o limite inferior o menor inteiro no negativo, a partir do qual,
o termo geral da sucesso est denido em R. Para simplicarmos a escrita, iremos designar
toda a srie numrica innita apenas por srie.
Denio 3.2.2 (Convergncia) Seja

u
n
uma srie e S
n
a sucesso das suas somas par-
ciais.
1. Diz-se que a srie

u
n
convergente, se a sucesso S
n
for convergente.
2. Se a sucesso S
n
divergente, a srie

u
n
diz-se divergente.
A convergncia de uma srie reduz-se, portanto, convergncia da sucesso das somas parciais.
No caso em que a srie

u
n
convergente, existe, ento, um real S tal que
lim
n+
S
n
= S.
O limite S denomina-se por soma da srie e podemos escrever
+
n=1
u
n
= S.
Exemplo 3.2.1 (Srie nita) Uma srie nita uma srie (innita), digamos

u
n
, com
os termos quase todos nulos, isto , para a qual:
p N : n > p u
n
= 0.
Proposio 3.2.1 Toda a srie nita convergente e, no caso do Exemplo 3.2.1, a soma da
srie dada por:
S =
p
k=1
u
k
= u
1
+ u
2
+ + u
p
.
Exemplo 3.2.2 (Srie geomtrica) Designa-se por srie geomtrica toda a srie da forma:
+
n=0
x
n
= 1 + x + x
2
+ + x
n
+ ;
onde x um real que se denomina razo da srie.
Por vezes, as sries geomtricas podero aparecer na forma seguinte:
+
n=1
x
n
= x + x
2
+ x
3
+ + x
n
+ .
Com esta notao evita-se de, no caso particular x = 0, termos a indeterminao 0
0
.
Proposio 3.2.2 A srie geomtrica
+
n=0
x
n
= 1 + x + x
2
+ + x
n
+ ,
convergente para [x[ < 1 e divergente para [x[ 1. Mais, no caso em que convergente, a
sua soma dada por:
S =
1
1 x
.
Se a srie geomtrica aparecer na forma
+
n=1
x
n
= x + x
2
+ x
3
+ + x
n
+
e for convergente, ento a sua soma dada por
S =
x
1 x
.
Exemplo 3.2.3 (AULA TERICA) Verique que a srie seguinte convergente e calcule a sua
soma:
+
n=0
1
3
n
.
Exemplo 3.2.4 (Srie de Mengoli) Designa-se por srie de Mengoli, ou srie redutvel ou,
ainda, srie telescpica, a toda a srie da forma:
+
n=1
(u
n
u
n+1
) .
Dado p N, podemos generalizar o conceito de srie de Mengoli srie
+
n=1
(u
n
u
n+p
) .
Proposio 3.2.3 A srie de Mengoli

(u
n
u
n+1
) convergente, se a sucesso u
n
for con-
vergente. divergente, se o limite de u
n
no existe (ou no nito). No caso em que
convergente, a soma dada por:
S = u
1
lim
n+
u
n+1
.
Por um raciocnio indutivo, podemos estender o resultado da proposio anterior a toda a srie
de Mengoli da forma

(u
n
u
n+p
), com p N arbitrrio. Assim, a srie

(u
n
u
n+p
)
convergente, se a sucesso u
n
for convergente e divergente se o limite de u
n
no existe. Mais,
no caso de convergir, a soma dada por:
S =
p
k=1
_
u
k
lim
n+
u
n+k
_
= u
1
+ u
2
+ + u
p
lim
n+
(u
n+1
+ u
n+2
+ + u
n+p
)
= u
1
+ u
2
+ + u
p
p lim
n+
u
n
.
Exemplo 3.2.5 (AULA TERICA) Verique que a srie seguinte convergente e calcule a sua
soma:
+
n=2
1
n(n 1)
.
3.3 Propriedades gerais
Na maior parte dos casos em estudo, no possvel calcular a soma das sries convergentes.
Por isso, o nosso estudo sobre as sries ir centrar-se essencialmente na natureza das sries, isto
, em saber se determinada srie convergente ou divergente.
Proposio 3.3.1 (Critrio Geral de Cauchy) Uma srie

u
n
convergente se e s se
> 0 p = p() N : ( n, k N e n > p) [S
n+k
S
n
[ < .
Observe-se que
[S
n+k
S
n
[ =
i=1
u
n+i
= [u
n+1
+ u
n+2
+ + u
n+k
[.
DEMONSTRAO: AULA TERICA. A demonstrao usa o conceito de sucesso de Cauchy que,
como vimos no captulo anterior, equivalente ao conceito de sucesso convergente.
Exemplo 3.3.1 (Srie harmnica) Designa-se por srie harmnica, a srie seguinte:
+
n=1
1
n
= 1 +
1
2
+
1
3
+ +
1
n
+ .
Proposio 3.3.2 A srie harmnica divergente.
Uma consequncia imediata do Critrio Geral de Cauchy, o resultado seguinte que, por vezes,
muito til para mostrar a divergncia de determinada srie.
Proposio 3.3.3 Se

u
n
uma srie convergente, ento u
n
0.
Na prtica, o mais importante do resultado exposto na proposio anterior, a informao que
nos dada pela sua contra-recproca:
se u
n
0, ento

u
n
divergente.
Observe-se que se u
n
0, nada podemos inferir sobre a natureza da srie. Vejam-se os
exemplos da srie geomtrica do Exemplo 3.2.3 e da srie harmnica (Exemplo 3.3.1), cujos
termos gerais ambos tendem para 0 e somente a srie geomtrica convergente.
Exemplo 3.3.2 (AULA TERICA) Estude a natureza da srie seguinte:
+
n=0
n!
2
n
.
Proposio 3.3.4 Sejam

u
n
e

v
n
sries convergentes de somas S
u
e S
v
, respectivamente,
e seja c R. Ento:
1. A srie

(u
n
+ v
n
) convergente e a sua soma S
u
+ S
v
;
2. A srie

(c u
n
) convergente e a sua soma c S
u
.
Exemplo 3.3.3 (AULA TERICA) Calcule a soma da srie seguinte:
+
n=1
2
n+1
+ 3
n1
6
n
.
Como consequncia da proposio anterior, temos o resultado enunciado a seguir que poder
ser utilizado para estabelecer a divergncia de determinada srie.

u
n
uma srie convergente e

v
n
uma srie divergente. Ento a
srie

(u
n
+ v
n
) divergente.
Exemplo 3.3.4 (AULA TERICA) Justique que a srie seguinte divergente:
+
n=1
n + 2
n
n2
n
.
A proposio seguinte mostra-nos que sries praticamente iguais tm a mesma natureza.

u
n
e

v
n
duas sries tais que
k Z : v
n
= u
n+k
.
Ento as duas sries tm a mesma natureza.
Exemplo 3.3.5 (AULA TERICA) Verique que as sries seguintes tm a mesma natureza:
+
n=0
1
2
n
e
+
n=0
1
2
n1
;
+
n=1
1
n
e
+
n=0
1
n + 2
.
3.4 Sries de termos no negativos
As sries de termos no negativos convm ser estudadas em separado, uma vez que, neste caso,
mais fcil estabelecer critrios de convergncia. Comeamos por observar que, para estas sries,
podemos obter um critrio de convergncia mais fraco do que o enunciado na Proposio 3.3.1.
Proposio 3.4.1 Seja

u
n
uma srie de termos no negativos e S
n
a respectiva sucesso
das somas parciais. Ento

u
n
convergente se e s se S
n
for limitada.
Como estamos a considerar sries de termos no negativos, podemos dizer que qualquer destas
sries divergente tende automaticamente para +.
Exemplo 3.4.1 (AULA TERICA) Usando a proposio anterior, mostre que a srie seguinte
convergente:
+
n=1
1
n!
.
Proposio 3.4.2 (Critrio Geral de Comparao) Sejam

u
n
e

v
n
sries de termos
no negativos. Suponhamos que, a partir de certa ordem, u
n
v
n
. Tem-se:
1. Se

v
n
convergente, ento

u
n
tambm convergente.
2. Se

u
n
divergente, ento

v
n
tambm divergente.
Exemplo 3.4.2 (AULA TERICA) Usando a proposio anterior, mostre que as sries
+
n=1
1
n
n
e
+
n=1
1
n
so, respectivamente, convergente e divergente.
O Critrio Geral de Comparao permite-nos obter um resultado de mais simples aplicao,
que enunciamos na proposio seguinte.
Proposio 3.4.3 (Critrio de Comparao) Sejam

u
n
uma srie de termos no nega-
tivos e

v
n
uma srie de termos positivos tais que
lim
n+
u
n
v
n
= L.
Se 0 < L < +, ento as sries

u
n
e

v
n
tm a mesma natureza, isto , so ambas
convergentes ou ambas divergentes.
No caso de, na proposio anterior, se vericar L = 0, ento
p N : n > p u
n
v
n
.
Deste modo, pelo Critrio Geral de Comparao, podemos deduzir da convergncia de

v
n
a
de

u
n
e da divergncia de

u
n
a de

v
n
. Anlogamente, no caso de L = +, ento
p N : n > p u
n
v
n
,
podendo deduzir da convergncia de

u
n
a de

v
n
e da divergncia de

v
n
a de

u
n
. Nos
outros casos, porm, nada podemos concluir.
Exemplo 3.4.3 (AULA TERICA) Utilize o resultado anterior para mostrar que as sries seguintes
so, respectivamente, divergente e convergente
n=1
1
2n 1
;
n=1
1
n
2
.
Exemplo 3.4.4 (Srie de Dirichlet) Designa-se por srie de Dirichlet toda a srie da forma:
+
n=1
1
n
= 1 +
1
2
+
1
3
+ +
1
n
+ ;
onde um real.
Observemos que a srie harmnica, referida no Exemplo 3.3.1, um caso particular da srie de
Dirichlet com = 1.
Proposio 3.4.4 A srie de Dirichlet convergente para > 1 e divergente para 1.
Pela sua simplicidade no clculo de limites, utilizam-se muitas vezes as sries de Dirichlet no
Critrio de Comparao (Proposio 3.4.3).
Proposio 3.4.5 (Comparao com as sries de Dirichlet) Seja

u
n
uma srie de ter-
mos no negativos. Tem-se:
1. Se existe um real > 1 tal que
lim
n+
u
n
1
n
= lim
n+
(n
u
n
) < +,
ento a srie

u
n
convergente.
2. Se existe um real 1 tal que
lim
n+
u
n
1
n
= lim
n+
(n
u
n
) > 0,
ento a srie

u
n
divergente.
DEMONSTRAO: Consequncia imediata da Proposio 3.4.3.
+
n=1
n
n
2
+ 1
e
+
n=1
n + 1
n
Em muitas situaes de aplicao prtica torna-se muito complicado utilizar o Critrio de
Comparao. Nesses casos, podemos recorrer a um dos dois critrios que enunciamos a seguir
e cuja aplicao mais fcil.
Proposio 3.4.6 (Critrio da Razo - DAlembert) Seja

u
n
uma srie de termos pos-
itivos. Tem-se:
1. Se
limsup
n+
u
n+1
u
n
< 1 ,
ento a srie

u
n
convergente.
2. Se
p N : n > p
u
n+1
u
n
1 ,
ento a srie

u
n
divergente.
Em particular, se existe o limite
lim
n+
u
n+1
u
n
= L,
ento a srie

u
n
convergente se L < 1 e divergente se L > 1.
+
n=1
n
2
2
n
e
+
n=1
n!
3
n
Proposio 3.4.7 (Critrio da Raz - Cauchy) Seja

u
n
uma srie de termos no neg-
ativos. Tem-se:
1. Se
limsup
n+
n
u
n
< 1 ,
ento a srie

u
n
convergente.
2. Se
limsup
n+
n
u
n
> 1 ,
ento a srie

u
n
divergente.
lim
n+
n
u
n
= L,
ento a srie

u
n
convergente se L < 1 e divergente se L > 1.
+
n=1
1
(n + 1)
n
e
+
n=1
_
n + 1
n
_
n
2
Como se observa das respectivas demonstraes, os dois critrios anteriores so consequncias
do Critrio Geral de Comparao, tal como o Critrio de Comparao. O Critrio da Razo
e o Critrio da Raz tornam o estudo da natureza das sries de termos no negativos mais
simples. No entanto, o preo a pagar por esta simplicao no estudo, que, em ambos os
critrios, nada se pode concluir se L = 1.
Exemplo 3.4.8 (AULA TERICA) Verique que, para a srie seguinte, a aplicao do Critrio
da Razo ou do Critrio da Raz no permite tirar nenhuma concluso quanto sua natureza:
+
n=1
e
n
n!
n
n
.
No entanto e apesar de ser um exerccio mais envolvente, pode-se mostrar que esta srie di-
verge
1
.
1
Aplicar o Critrio de Raabe. Ver, por exemplo, Creighton Buck p. 233.
3.5 Sries de termos positivos e negativos
At agora, temos estado a estudar essencialmente sries de termos no negativos. Agora quere-
mos analisar sries cujos termos possam ser positivos e negativos. De entre estas, tm particular
interesse as sries de termos alternados.
Denio 3.5.1 (Srie alternada) Uma srie diz-se alternada, se for possvel escrev-la da
forma seguinte:
+
n=1
(1)
n
u
n
= u
1
+ u
2
u
3
+ + (1)
n
u
n
+ . . . ;
onde u
n
uma sucesso de termos no negativos.
Observemos que as sries alternadas, como o prprio nome indica, tambm podero vir escritas
da forma seguinte:
+
n=1
(1)
n1
u
n
= u
1
u
2
+ u
3
+ (1)
n1
u
n
+ . . . .
Para estas sries existe o critrio seguinte de convergncia, devido a Leibniz
2
.
Proposio 3.5.1 (Critrio de Leibniz) Suponhamos que u
n
uma sucesso montona de-
crescente para 0, isto :
u
1
u
2
u
3
u
n
. . . e lim
n+
u
n
= 0.
Ento a srie

(1)
n
u
n
convergente.
Consoante denamos
+
n=1
(1)
n
u
n
ou
+
n=1
(1)
n1
u
n
,
podemos provar, respectivamente,
S
1
S
3
S
2n1
S
2n
S
4
S
2
ou
S
2
S
4
S
2n
S
2n1
S
3
S
1
.
Exemplo 3.5.1 (AULA TERICA) Estude a natureza da srie seguinte:
+
n=1
(1)
n
n
.
2
Gottfried Wilhelm von Leibniz (1646-1716), advogado, lsofo e tambm matemtico, natural de Leipzig,
Alemanha.
Para outras sries cujos termos possam ser positivos e negativos, que no as alternadas, torna-se
mais complicado encontrar critrios de convergncia. Contudo, para algumas sries, podemos
ainda usar o resultado seguinte.
Proposio 3.5.2 (Critrio de Dirichlet) Sejam

u
n
uma srie cuja sucesso das somas
parciais, digamos S
n
, limitada e v
n
uma sucesso montona decrescente para 0, isto :
C > 0 : [S
n
[ C n N, v
1
v
2
v
3
v
n
. . . e lim
n+
v
n
= 0.
Ento a srie

u
n
v
n
convergente.
SEM DEMONSTRAO: Ver, por exemplo, C. Ferreira p. 198.
Observemos que o Critrio de Leiniz pode, facilmente, ser demonstrado a partir do Critrio de
Dirichlet.
Exemplo 3.5.2 (AULA TERICA) Use o Critrio de Dirichlet para justicar que a srie seguinte
convergente:
+
n=1
cos n
n
.
3.6 Convergncia absoluta
A convergncia absoluta das sries est relacionada com a convergncia da srie dos mdulos.
Ento, muitos dos resultados para o estudo das sries de termos no negativos podero ser
aplicados para estudar a convergncia absoluta.
Denio 3.6.1 Uma srie

u
n
diz-se absolutamente convergente, se a srie

[u
n
[
convergente. Diz-se que

u
n
simplesmente convergente ou condicionalmente conver-
gente, se

u
n
convergente, mas

[u
n
[ divergente.
Exemplo 3.6.1 (AULA TERICA) Justique que a srie seguinte simplesmente convergente:
+
n=1
(1)
n
n
.
O conceito de convergncia absoluta mais forte do que o de convergncia simples, pelo que
a primeira implica a segunda. Mas, como mostra o exemplo anterior, existem sries que so
simplesmente convergentes e, por conseguinte, no so absolutamente convergentes.
Proposio 3.6.1 Se

[u
n
[ uma srie convergente, ento

u
n
convergente e tem-se:
n=1
u
n
n=1
[u
n
[.
Exemplo 3.6.2 (AULA TERICA) Estude a convergncia da srie seguinte:
+
n=1
sen n
n
2
.
Pela Proposio 3.6.1, o estudo da convergncia de grande parte das sries numricas ir reduzir-
se ao estudo da convergncia de sries de termos no negativos. Deste modo, convm adaptar
os Critrios de Comparao, da Razo e da Raz para o estudo da convergncia absoluta.
Proposio 3.6.2 (Critrio de Comparao) Sejam

u
n
uma srie qualquer e

v
n
uma
srie de termos positivos tais que
lim
n+
[u
n
[
v
n
= L.
Se 0 L < + e

v
n
convergente, ento

u
n
absolutamente convergente.
Repare-se que no faz nenhum sentido fazer uma comparao da divergncia da srie

v
n
com
a de

u
n
.
Exemplo 3.6.3 (AULA TERICA) Estude a convergncia simples e absoluta da srie seguinte:
+
n=1
cos n
n
3
.
Proposio 3.6.3 (Critrio da Razo - DAlembert) Seja

u
n
uma srie de termos no
nulos. Tem-se:
1. Se
limsup
n+
u
n+1
u
n
< 1 ,
ento a srie

u
n
2. Se
p N : n > p
u
n+1
u
n
1 ,
ento a srie

u
n
divergente.
lim
n+
u
n+1
u
n
= L,
ento a srie

u
n
absolutamente convergente se L < 1 e divergente se L > 1.
Exemplo 3.6.4 (AULA TERICA) Usando o critrio anterior, estude a srie seguinte quanto
convergncia absoluta:
+
n=1
(1)
n
n
2
1 + n
2
.
Proposio 3.6.4 (Critrio da Raz - Cauchy) Seja

u
n
uma srie qualquer. Tem-se:
1. Se
limsup
n+
n
_
[u
n
[ < 1 ,
ento a srie

u
n
2. Se
limsup
n+
n
_
[u
n
[ > 1 ,
ento a srie

u
n
divergente.
lim
n+
n
_
[u
n
[ = L,
ento a srie

u
n
absolutamente convergente se L < 1 e divergente se L > 1.
+
n=1
(1)
n
_
2n + 100
3n + 1
_
n
.
Observemos que, tal como no caso da convergncia simples, nada se pode concluir se L = 1 nas
Proposies 3.6.3 e 3.6.4.
3.7 Exerccios
1. Indique uma expresso para o termo geral das sries seguintes:
a) 2 +
4
2
+
8
6
+
16
24
+ ; b)
10
7
+
100
9
+
1000
11
+
10000
13
+ ;
c)
1
11
+
2
101

3
1001
+
4
10001
; d) 0, 6 + 0, 51 + 0, 501 + 0, 5001 + ;
e) 1
1
3
+
1
5

1
7
+ ; f)
1
2
+
1
3
+
1
4
+
1
9
+
1
8
+
1
27
+ .
2. Indique as sucesses das somas parciais das sries geomtricas seguintes e calcule a soma
das que so convergentes:
a)
+
n=0
2
n
; b)
+
n=0
(1)
n+1
; c)
+
n=0
3
10
n
;
d)
+
n=0
3
(5n+1)
; e)
+
n=1
4
n1
3
n
; f)
n=0
_
2
_
n
.
3. Usando o conhecimento da soma das sries geomtricas, escreva as dzimas innitas per-
idicas seguintes na forma de nmeros racionais:
a) 0, 4444 . . . ; b) 1, 9999 . . . ; c) 0, 515151 . . . ; d) 0, 123123123 . . . .
4. Indique as sucesses das somas parciais das sries de Mengoli seguintes e calcule a soma
das que so convergentes:
a)
+
n=1
1
n(n + 2)
; b)
+
n=2
1
(n 1)n(n + 1)
; c)
+
n=1
1
n + 1 +
n
;
d)
+
n=1
n + 1
n
2
+ n
; e)
+
n=2
ln
_
1 +
1
n
_
; f)
n=1
(1)
n1
(2n + 1)
n(n + 1)
.
5. Justique que as sries seguintes so divergentes:
a)
+
n=1
1
n
n
2
+ 1
; b)
+
n=0
3
n
+ 2
n1
2
n
3
n+1
; c)
+
n=1
n
n
n!
.
6. Usando o Critrio Geral de Comparao, estude a natureza das sries seguintes:
a)
+
n=1
1
n
; b)
+
n=0
1
n
2
+ 1
; c)
+
n=0
n
n
2
+ n 1
;
d)
+
n=1
n!
(n + 2)!
; e)
+
n=1
1
_
n(n + 1)
; f)
+
n=0
1
2
n
+ 1
.
7. Usando o Critrio de Comparao com as sries de Dirichlet, estude a natureza das sries
seguintes:
a)
+
n=2
1 +
n
n
2
n
; b)
+
n=0
(
n
2
+ 1 n) ; c)
+
n=1
sen
2
(n)
n
2
;
d)
+
n=1
n
n
n
2
+ 5n
e)
+
n=0
1
(4n 3)(4n 1)
; f)
+
n=0
1 +
2 + +
n
n
2
+ 1
.
8. Usando o Critrio da Razo (de DAlembert), estude a natureza das sries seguintes:
a)
+
n=0
1
n!
; b)
+
n=1
n
2
2
n
; c)
+
n=1
n!
n
n
d)
+
n=1
(n!)
2
15
n
2
(2n)!
; e)
+
n=1
n
e
n
2
; f)
+
n=0
1.3 . . . (2n + 1)
4.8 . . . (4n + 4)
.
9. Usando o Critrio da Raz (de Cauchy), estude a natureza das sries seguintes:
a)
+
n=1
1
n
n
2
; b)
+
n=1
n2
(2n+1)
; c)
+
n=1
_
2n 1
2n + 1
_
n(n1)
d)
+
n=1
3
n+1
_
n + 2
n + 3
_
n
2
e)
+
n=1
2
n
n!
n
n
; f)
+
n=1
1
[3 + (1)
n
]
2n
.
10. Estude a natureza das sries alternadas seguintes:
a)
+
n=1
(1)
n
n
2
; b)
+
n=1
(1)
n
n
; c)
+
n=1
(1)
n
n
n + 2
;
d)
+
n=0
_
1
2
_
n
; e)
+
n=1
(1)
n
_
2n + 100
3n + 1
_
n
; f)
+
n=0
(n)
n
(2n)!
.
11. Usando o Critrio de Dirichlet, mostre que as sries seguintes so convergentes:
a)
+
n=1
sen(n)
n
; b)
+
n=1
cos(nx)
n
, x R.
12. Estude as sries seguintes quanto convergncia calculando, sempre que possvel, a soma
das convergentes:
a)
+
n=1
n
e
n
4
n
; b)
+
n=1
3
n
n!
n
n
; c)
+
n=1
_
n
n 1
_
n
;
d)
+
n=1
2
n
+ n
2
+ n
2
n+1
n(n + 1)
; e)
+
n=1
n
n+
1
n
_
n +
1
n
_
n
; f)
+
n=0
(1)
n
n + 1 +
n
;
g)
+
n=1
n
3
_
2 + (1)
n
n
3
n
; h)
+
n=1
(1)
n(n1)
2
2
n
; i)
+
n=1
2.5 . . . (3n + 2)
2
n
(n + 1)!
.
13. Estude as sries seguintes quanto convergncia absoluta e simples (condicionada):
a)
+
n=0
(1)
n
(2n + 1)(2n + 2)
; b)
+
n=1
(1)
n
ln(e
n
+ e
n
)
;
c)
+
n=0
(1)
n
n + 1 +
n
; d)
+
n=1
sen(n)
n
2
;
e)
+
n=1
(1)
n1
3.5.7 . . . (2n + 1)
2.5.8 . . . (3n 1)
; f)
+
n=0
(1)
n
n + 1
_
1 +
(1)
n
n + 1
_
;
g)
+
n=1
(1)
n
3.7.11 . . . (4n 1)
4.7.10 . . . (3n + 1)
; h)
+
n=0
(2)
n+1
_
n + 1
n + 2
_
n
2
.
Captulo 4
Complementos de Funes Reais de
Varivel Real
4.1 Funes transcendentes
As funes elementares que abordamos no Captulo 1 resultam de operaes elementares de
clculo. As funes transcendentes tambm pertencem ao grande grupo de funes elementares
no sentido em que se podem escrever como somas nitas de expresses designatrias. A grande
fonte para as funes transcendentes reside na Geometria, a primeira rea da Matemtica
a ser estudada. Nesta seco iremos falar de praticamente todas as funes transcendentes
conhecidas: exponencial, trigonomtricas, hiperblicas, bem como as suas inversas.
4.1.1 Funes exponencial e logartmica
As funes racionais e irracionais so denidas directamente pelas operaes elementares de
clculo. No entanto, existem funes cujas denies transcendem estas operaes elementares
de clculo. Por isso, frequente designar esta funes por funes transcendentes. Esto
neste caso as funes que agora iremos estudar - a funo exponencial e a sua inversa, a funo
logartmica. Em matemtica elementar comum passar por cima de algumas diculdades
inerentes denio destas funes at se conseguir explic-las melhor com mtodos de anlise
matemtica que so adquiridos a posteriori.
Denio 4.1.1 Seja a um nmero real positivo. Dene-se a funo exponencial de base
a por
f(x) = a
x
.
Domnio: D
f
= R.
Contra-domnio: D
f
= (0, +).
Zeros: no tem.
Variao de sinal: sempre positiva.
55
56 4. COMPLEMENTOS DE FUNES
Monotonia: estritamente crescente se a > 1; estritamente decrescente se 0 < a < 1;
constantemente igual a 1 se a = 1.
Injectividade: injectiva em todo o seu domnio se a ,= 1.
Grcos: Ver Figura 4.1.
(a) base a > 1 (b) base a < 1
Figura 4.1: Funes exponenciais.
Observemos que a funo exponencial est denida apenas para valores de a positivos. No
pode estar denida para valores de a negativos, porque quando x assume valores como 1/2, a
potncia a
1/2
=

a no est denida para valores de a negativos. Por outro lado, se a = 0,
quando x = 0 no sabemos o que 0
0
.
A base da funo exponencial com mais interesse a = e, onde e = 2, 71 . . . o nmero
irracional, denominado nmero de Neper:
f(x) = e
x
.
Por vezes designamos a funo exponencial de base e como a funo exponencial de base
natural.
Como vimos nos Captulos 2 e 3, aquando do estudo das Sucesses e Sries Numricas, o nmero
e pode ser rigorosamente denido de uma das duas formas equivalentes seguintes:
e = lim
n+
_
1 +
1
n
_
n
;
ou
e =
+
n=0
1
n!
.
Proposio 4.1.1 Seja a um nmero real positivo. Ento:
1. a
0
= 1;
2. a
x+y
= a
x
a
y
.
SEM DEMONSTRAO: Ver, por exemplo, Campos Ferreira pp. 241-249.
Pela anlise anterior da funo exponencial, vericamos que, independentemente da base que
se considere excepo de a = 1, esta funo injectiva em todo o seu domnio. Sendo assim,
podemos determinar a sua funo inversa.
Denio 4.1.2 Seja a um nmero real positivo diferente de 1. Dene-se a funo logart-
mica de base a por
f(x) = log
a
x.
Domnio: D
f
= (0, +).
Contra-domnio: D
f
= R.
Zeros: tem um zero em x = 1.
Variao de sinal: Se 0 < a < 1, negativa para x (1, +) e positiva para x (0, 1).
Se a > 1 negativa para x (0, 1) e positiva para x (1, +);
Monotonia: estritamente crescente se a > 1; estritamente decrescente se 0 < a < 1.
Injectividade: injectiva em todo o seu domnio.
Grcos: Ver Figura 4.2.
(a) base a > 1 (b) base a < 1
Figura 4.2: Funes logartmicas.
Sendo a funo logartmica a inversa da funo exponencial, temos a equivalncia seguinte:
y = a
x
x = log
a
y.
Tal como para a funo exponencial, a base da funo logartmica com mais interesse a = e,
onde e o nmero de Neper:
f(x) = log
e
x.
Neste caso, designamos a funo logartmica como a funo logartmica de base natural e
usamos a notao ln x em vez de log
e
x.
Proposio 4.1.2 Sejam a e b nmeros reais positivos diferentes de 1 e n um inteiro. Ento:
1. log
a
a = 1;
2. log
a
1 = 0;
3. log
a
(xy) = log
a
x + log
a
y;
4. log
a
(x
n
) = nlog
a
x;
5. log
a
_
x
y
_
= log
a
x log
a
y;
6. log
a
x = log
b
x log
a
b.
SEM DEMONSTRAO: Ver, por exemplo, Campos Ferreira pp. 241-249.
Muitos autores denem primeiro a funo logartmica e s depois a funo exponencial como
funo inversa da primeira. Isto deve-se ao facto da demonstrao de algumas propriedades
da funo exponencial serem mais fceis de mostrar recorrendo funo logartmica. Mas,
novamente aqui, temos o problema de ter de usar mtodos da anlise matemtica que apenas
so ensinados a posteriori - ver, por exemplo, Serge Lang.
4.1.2 Trigonometria
Antes de introduzirmos as funes trigonomtricas, recordemos as relaes trigonomtricas
mais importantes. Consideremos um tringulo rectngulo de vrtices A, B e C, onde, apenas
para xar notao supomos que o ngulo recto o ngulo formado pelas semi-rectas

AB e
AC. Seja o ngulo formado pelas semi-rectas

BA e

BC. Neste tringulo rectngulo, o lado
BC designa-se por hipotenusa e os lados AB e AC designam-se, respectivamente, por cateto
adjacente e cateto oposto relativamente ao ngulo . Denimos o seno e o cosseno do ngulo
, respectivamente, por
sen() =
cateto oposto
hipotenusa
=
AC
BC
e cos() =
cateto adjacente
hipotenusa
=
AB
BC
.
Consideremos um crculo de centro na origem do referencial cartesiano e com raio 1, o qual
habitualmente se designa por crculo unitrio. Inscrevamos o tringulo rectngulo anterior-
mente considerado no primeiro quadrante deste crculo. Fazemos coincidir o vrtice B com a
origem do referencial e o vrtice C sobre a circunferncia que limita o crculo. Isto implica que
a hipotenusa BC = 1. Para este tringulo rectngulo assim inscrito no crculo considerada,
tem-se:
sen() = CA e cos() = BA.
Observe-se que, como sabemos da geometria, a amplitude do um ngulo medida em graus,
xando que um crculo, ou ngulo giro, mede 360
o
. Um semi-crculo, ou ngulo raso, mede 180
o
,
um quarto de crculo, ou ngulo rectngulo mede 90
o
. No entanto para a anlise matemtica,
torna-se mais til introduzir outra medida para medir a amplitude dos ngulos. Esta medida
designa-se por radiano e est relacionada com o grau de tal modo que 2 = 360
o
e, por
consequncia, = 180
o
e /2 = 90
o
.
Designemos agora as coordenadas do vrtice C por (x, y). Por uma simples anlise, verica-
se que x a medida do cateto adjacente, lado BA, e y a medida do cateto oposto, lado
CA. Como inscrevemos o tringulo rectngulo num crculo de raio 1 centrado na origem do
referencial, x e y vo variar entre 0 e 1. Com esta notao, temos
sen() = y e cos() = x.
Neste sentido, podemos dizer que o seno se l no eixo dos yy e o cosseno no dos xx. Usando um
pouco de geometria e clculo numrico, conseguimos obter a tabela seguinte dos denominados
valores principais do seno e do cosseno.
radianos 0

6
2
SENO 0
1
2
2
2
3
2
1
COSSENO 1
3
2
2
2
1
2
0
graus 0
o
30
o
45
o
60
o
90
o
Tabela 4.1: Valores principais do seno e do cosseno.
Esta anlise que zemos para o tringulo rectngulo inscrito no primeiro quadrante pode ser
extendida para o mesmo tringulo inscrito em qualquer um dos outros trs quadrantes, in-
screvendo o lado BA sobre os semi-eixos positivo dos yy, negativo dos xx, negativo dos yy,
ou positivo dos xx. Neste casos, considera-se um ngulo compreendido entre o semi-eixo
positivo dos xx e a semi-recta

BC. Consoante o ngulo atinja o primeiro, segundo, terceiro,
ou o quarto quadrante, podemos relacionar com um ngulo inscrito no primeiro quadrante.
Isto , se 0 /2, temos as possibilidades seguintes para :
no primeiro quadrante: = ou =

2
;
no segundo quadrante: =

2
+ ou = ;
no terceiro quadrante: = + ou =
3
2
;
no quarto quadrante: =
3
2
+ ou = 2 .
Como vimos acima, no crculo unitrio, sen() = y e cos() = x. Ento, podemos dizer, que o
seno positivo nos primeiro e segundo quadrantes e negativo nos terceiro e quarto quadrantes,
tal como y. O cosseno vai ser positivo no primeiro e quarto quadrantes e negativo no segundo
e terceiro quadrantes, tal como x. Desta forma, considerando 0 /2, facilmente obtemos
as relaes seguintes:
sen
_
2

_
= cos(), cos
_
2

_
= sen() ;
sen
_
2
+
_
= cos(), cos
_
2
+
_
= sen() ;
sen ( ) = sen() ; cos ( ) = cos() ;
sen ( + ) = sen() ; cos ( + ) = cos() ;
sen
_
3
2

_
= cos() ; cos
_
3
2

_
= sen() ;
sen
_
3
2
+
_
= cos() ; cos
_
3
2
+
_
= sen() ;
sen (2 ) = sen() = sen() ; cos (2 ) = cos() = cos() .
Usando o facto de sen() = y e cos() = x e usando, ainda, as relaes anteriores, podemos
concluir, tambm, que:
sen () = 0 = 0, = ou = 2;
cos () = 0 =

2
ou =
3
2
.
O seno e o cosseno so as expresses trigonomtricas mais importantes. No entanto, existem
outras expresses trigonomtricas, que, por vezes, so muito teis. Tenhamos presentes as con-
sideraes sobre o crculo unitrio e o tringulo rectngulo nele inscrito feitas acima. Denimos
a tangente e a cotangente do ngulo , respectivamente, por:
tg() =
sen()
cos()
=
cateto oposto
cateto adjacente
=
CA
BA
=
y
x
,
cotg() =
1
tg()
=
cos()
sen()
=
cateto adjacente
cateto oposto
=
BA
CA
=
x
y
.
Destas expresses, podemos armar que a tangente no est denida quando cos () = 0, isto
, quando = /2 e = 3/2. A cotangente no vai estar denida quando sen () = 0, isto ,
quando = 0, = e = 2. Por outro lado,
tg () = 0 sen () = 0 = 0, = ou = 2;
cotg () = 0 cos () = 0 =

2
ou =
3
2
.
Da tabela dos valores principais do seno e do cosseno, podemos tambm obter os valores
principais da tangente e da cotangente.
Existem, ainda, outras expresses trigonomtricas que, apesar de no serem to utilizadas
como as anteriores, tm, tambm, alguma importncia. Novamente, tenhamos presentes as
radianos 0

6
2
TANGENTE 0
3
3
1

3 n.d.
COTANGENTE n.d.

3 1
3
3
0
graus 0
o
30
o
45
o
60
o
90
o
Tabela 4.2: Valores principais da tangente e da cotangente.
consideraes sobre o crculo unitrio e o tringulo rectngulo nele inscrito feitas no incio
desta seco. Denimos a secante e a cosecante do ngulo , respectivamente, por:
sec() =
1
cos()
=
1
cateto adjacente
=
1
BA
=
1
x
,
cosec() =
1
sen()
=
1
cateto oposto
=
1
CA
=
1
y
.
Resulta desta denio que a secante no est denida quando cos() = 0, ou seja, quando
= /2 e = 3/2. A cosecante no est denida para sen() = 0, isto , quando = 0,
= e = 2. Tambm aqui, da tabela dos valores principais do seno e do cosseno, podemos
obter os valores principais da secante e da cosecante.
radianos 0

6
2
SECANTE 1
2
3
3
2 2 n.d.
COSSECANTE n.d. 2

2
2
3
3
1
graus 0
o
30
o
45
o
60
o
90
o
Tabela 4.3: Valores principais da secante e da
cossecante.
Na proposio seguinte apresentamos, sem demonstrao, as principais identidades trigonomtri-
cas que j devero ser conhecidas do leitor.
Proposio 4.1.3 1. Seja um ngulo qualquer. Ento:
sen
2
() + cos
2
() = 1;
e sempre que as expresses trigonomtricas em causa estejam denidas:
tg
2
() + 1 = sec
2
(); 1 + cotg
2
() = cosec
2
().
2. Seja o ngulo oposto ao lado AC de um tringulo de vrtices A, B e C. Ento:
AC
2
= AB
2
+ BC
2
2AB BC cos().
3. Seja e dois ngulos quaisquer. Ento:
sen( ) = sen() cos() sen() cos(), cos( ) = cos() cos() sen() sen().
SEM DEMONSTRAO: Ver, por exemplo, Boyce & DiPrima, pp. 46-49.
A Figura 4.3 permite-nos compreender melhor todas estas expresses trigonomtricas que aqui
referimos. Nesta gura, substitumos as notaes dos vrtices A, B e C, anteriormente feitas,
pelas notaes C, O e P, respectivamente, que so mais habituais no estudo de ngulos inscritos
ao centro de uma circunferncia.
Figura 4.3: Expresses trigonomtricas no crculo unitrio.
A primeira propriedade enunciada na proposio anterior, designa-se por Frmula Funda-
mental da Trigonometria. A segunda a Lei dos Cossenos e a terceira d-nos as frmulas
do seno e do cosseno da soma e da diferena de ngulos. Observe-se que na Lei dos Cossenos,
o tringulo no necessariamente rectngulo.
As relaes trigonomtricas estudadas aqui vo dar origem a uma vasta classe de funes
trigonomtricas cuja principal caracterstica o facto de serem peridicas. Alm das motivaes
geomtricas, estas novas funes podero ter expresso importante na explicao de fenmenos
que se repetem.
Denio 4.1.3 Diz-se que f uma funo peridica, se para cada x D
f
, o valor de
f(x) o mesmo de f(x +p), sendo p o menor nmero real no nulo, denominado perodo da
funo, tal que f(x + p) = f(x) para todo x D
f
.
4.1.3 Funes seno e arco-seno
Denio 4.1.4 Dene-se a funo seno por
f(x) = sen(x).
Domnio: D
f
= R.
Contra-domnio: D
f
= [1, 1].
Paridade: uma funo mpar.
Zeros: x = k, k Z.
Periodicidade: uma funo peridica de perodo 2.
Variao de sinal: positiva para x (2k, (2k + 1)) e negativa para x ((2k 1), 2k),
com k Z.
Monotonia: estritamente crescente para x
_
2
+ 2k,

2
+ 2k
_
e estritamente de-
crescente para x
_
2
+ 2k,
3
2
+ 2k
_
, com k Z.
Extremos: tem o valor mximo y = 1 nos pontos x =

2
+2k, k Z; tem o valor mnimo
y = 1 nos pontos x =
2
+ 2k, k Z.
Injectividade: No injectiva.
Grco: Ver Figura 4.4
Figura 4.4: Funo seno.
Como resulta das propriedades da funo seno, verica-se que esta no injectiva se considerar-
mos todo o seu domnio. No entanto, observa-se que a funo seno injectiva se a restringirmos
a um dos intervalos da forma
_
2
+ 2k,

2
+ 2k
_
kZ
ou
_
2
+ 2k,
3
2
+ 2k
_
kZ
.
Podemos, ento, considerar a restrio da funo seno a um destes intervalos e a vai ser possvel
determinar a sua funo inversa. Ao intervalo
_
2
,

2
vamos designar por ramo principal

da funo seno.
Denio 4.1.5 Dene-se a funo arco-seno como sendo a inversa da funo seno, quando
restringida ao intervalo
_
2
,

2
, e denota-se por:
f(x) = arcsen(x).
Domnio: D
f
= [1, 1].
Contra-domnio: D
f
= [
2
,

2
].
Zeros: x = 0.
Variao de sinal: positiva para x (0, 1) e negativa para x (1, 0).
Monotonia: estritamente crescente em todo o seu domnio.
Extremos: tem o valor mximo y =

2
em x = 1; tem o valor mnimo y =
2
em x = 1.
Figura 4.5: Funo arco-seno.
A expresso arcsen(x), l-se arco cujo seno x e, fazendo a inverso da tabela dos valores
principais do seno, obtemos a tabela seguinte com os valores principais da funo arco-seno.
x 0
1
2
2
2
3
2
1
arcsen(x) 0

6
2
Tabela 4.4: Valores principais do arco-seno.
4.1.4 Funes cosseno e arco-cosseno
Denio 4.1.6 Dene-se a funo cosseno por
f(x) = cos(x).
Domnio: D
f
= R.
Contra-domnio: D
f
= [1, 1].
Paridade: uma funo par.
Zeros: x =

2
+ k, k Z.
Variao de sinal: positiva para x
_
2
+ 2k,

2
+ 2k
_
e negativa para x
_
2
+ 2k ,
3
2
+ 2k
_
, com k Z.
Monotonia: estritamente crescente para x ((2k 1), 2k) e estritamente decrescente
para x (2k, (2k + 1)), com k Z.
Extremos: tem o valor mximo y = 1 nos pontos x = 2k, k Z; tem o valor mnimo
y = 1 nos pontos x = (2k + 1), k Z.
Grco: Ver Figura 4.6.
Figura 4.6: Funo Cosseno.
Tal como a funo seno, tambm a funo cosseno no injectiva se considerarmos todo o seu
domnio. Contudo, verica-se que a funo cosseno injectiva, se a restringirmos a um dos
intervalos da forma
[ + 2k, 2k]
kZ
ou [2k, + 2k]
kZ
.
Podemos, ento, considerar a restrio da funo cosseno a um destes intervalos e a vai ser pos-
svel determinar a sua funo inversa. Ao intervalo [0, ] vamos designar por ramo principal
da funo cosseno.
Denio 4.1.7 Dene-se a funo arco-cosseno como sendo a inversa da funo cosseno,
quando restringida ao intervalo [0, ], e denota-se por:
f(x) = arccos(x).
Domnio: D
f
= [1, 1].
Contra-domnio: D
f
= [0, ].
Paridade: uma funo que no par nem mpar.
Zeros: x = 1.
Variao de sinal: no-negativa no seu domnio.
Monotonia: estritamente decrescente em todo o seu domnio.
Extremos: tem o valor mximo y = em x = 1; tem o valor mnimo y = 0 em x = 1.
Figura 4.7: Funo arco-cosseno.
A expresso arccos(x) l-se arco cujo cosseno x e, fazendo a inverso da tabela dos valores
principais do cosseno, obtemos a tabela seguinte com os valores principais da funo arco-
cosseno.
x 1
3
2
2
2
1
2
0
arccos(x) 0

6
2
Tabela 4.5: Valores principais do arco-cosseno.
4.1.5 Funes tangente e arco-tangente
Denio 4.1.8 Dene-se a funo tangente por
f(x) = tg(x)
sen(x)
cos(x)
.
Domnio: D
f
= R
_
2
+ k : k Z
_
.
Contra-domnio: D
f
= R.
Zeros: x = k, k Z.
Periodicidade: uma funo peridica de perodo .
_
k,

2
+ k
_
e negativa para x
_
2
+ k, k
_
,
com k Z.
Monotonia: estritamente crescente em todo o domnio.
Figura 4.8: Funo tangente.
Tal como para as funes seno e cosseno, tambm a funo tangente no injectiva em todo o
seu domnio. Mas, restringido-a um dos intervalos da forma
_
2
+ k,

2
+ k
_
kZ
,
a funo tangente injectiva. Ao intervalo
_
2
,

2
_
vamos designar por ramo principal da
funo tangente.
Denio 4.1.9 Dene-se a funo arco-tangente como sendo a inversa da funo tan-
gente, quando restringida ao intervalo
_
2
,

2
_
, e denota-se por:
f(x) = arctg(x).
Domnio: D
f
= R.
Contra-domnio: D
f
=
_
2
,

2
_
.
Zeros: x = 0.
Variao de sinal: positiva para x (0, +) e negativa para x (, 0).
Figura 4.9: Funo arco-tangente.
A expresso arctg(x) l-se arco cuja tangente x e, fazendo a inverso da tabela dos valores
principais da tangente, obtemos a tabela seguinte com os valores principais da funo arco-
tangente.
x 0
3
3
1

3
arctg(x) 0

6
3
Tabela 4.6: Valores principais do arco-tangente.
4.1.6 Funes cotangente e arco-cotangente
Denio 4.1.10 Dene-se a funo cotangente por
f(x) = cotg(x)
cos(x)
sen(x)
.
Domnio: D
f
= R k : k Z.
Contra-domnio: D
f
= R.
Zeros: x =

2
+ k, com k Z.
Periodicidade: uma funo peridica de perodo .
_
k,

2
+ k
_
e negativa para x
_
2
+ k, (k + 1)
_
,
com k Z.
Figura 4.10: Funo cotangente.
Do mesmo modo que a funo tangente, tambm a funo cotangente no injectiva em todo
o seu domnio. Mas, a sua restrio a um dos intervalos da forma
(k, (k + 1))
kZ
,
j uma funo injectiva. O intervalo (0, ) vai ser designado por ramo principal da funo
cotangente.
Denio 4.1.11 Dene-se a funo arco-cotangente como sendo a inversa da funo
cotangente, quando restringida ao intervalo (0, ), e denota-se por:
f(x) = arccotg(x).
Domnio: D
f
= R.
Contra-domnio: D
f
= (0, ).
Zeros: no tem.
A expresso arccotg(x) l-se arco cuja cotagente x e, fazendo a inverso da tabela dos valores
principais da cotangente, obtemos a tabela seguinte com os valores principais da funo arco-
cotangente.
Figura 4.11: Funo Arco-cotangente.
x
3 1
3
3
0
arccotg(x)

6
2
Tabela 4.7: Valores principais do arco-cotangente.
4.1.7 Funes secante e arco-secante
Denio 4.1.12 Dene-se a funo secante por
f(x) = sec(x)
1
cos(x)
.
Domnio: D
f
= R
_
2
+ k : k Z
_
.
Contra-domnio: D
f
= (, 1] [1, +).
Zeros: no tem.
_
2
+ 2k,

2
+ 2k
_
e negativa para x
_
2
+ 2k,
3
2
+ 2k
_
, com k Z.
_
2k,

2
+ 2k
_

_
2
+ 2k, + 2k
_
e
estritamente decrescente para x
_
2
+ 2k, 2k
_
_
+ 2k,
3
2
+ 2k
_
.
Extremos: tem mnimos locais com valor y = 1 em x = 2k, com k Z; tem mximos
locais com valor y = 1 em x = (2k + 1), com k Z.
Figura 4.12: Funo secante.
Tal como nos casos anteriores, tambm a funo secante no injectiva em todo o seu domnio.
Mas, a sua restrio a um dos conjuntos da forma
_
2k,

2
+ 2k
_
2
+ 2k, + 2k
_
kZ
,
j uma funo injectiva. O conjunto (0, )
_
2
_
vai ser designado por ramo principal da
funo secante.
Denio 4.1.13 Dene-se a funo arco-secante como sendo a inversa da funo secante,
restringida ao conjunto (0, )
_
2
_
, e denota-se por:
f(x) = arcsec(x).
Domnio: D
f
= (, 1] [1, +).
Contra-domnio: [0, ]
_
2
_
.
Zeros: x = 1.
Variao de sinal: sempre no-negativa.
A expresso arcsec(x) l-se arco cuja secante x e, fazendo a inverso da tabela dos valores
principais da secante, obtemos a tabela seguinte com os valores principais da funo arco-
secante.
Figura 4.13: Funo arco-secante.
x 1
2
3
3
2 2
arcsec(x) 0

6
3
Tabela 4.8: Valores principais do arco-secante.
4.1.8 Funes cosecante e arco-cosecante
Denio 4.1.14 Dene-se a funo cosecante por
f(x) = cosec(x)
1
sen(x)
.
Domnio: D
f
= R k : k Z.
Contra-domnio: D
f
= (, 1] [1, +).
Zeros: no tem.
Variao de sinal: positiva para x (2k, (2k + 1)) e negativa para x ((2k 1), 2k),
com k Z.
_
(2k 1),
2
+ 2k
_
2
+ 2k, (2k + 1)
_
e estritamente decrescente para x
_
2
+ 2k, 2k
_
_
2k,

2
+ 2k
_
.
Extremos: tem mnimos locais com valor y = 1 em x =

2
+2k, com k Z; tem mximos
locais com valor y = 1 em x =
2
+ 2k, com k Z.
Figura 4.14: Funo cosecante.
Tambm a funo cosecante no injectiva em todo o seu domnio. Mas, a sua restrio a um
dos conjuntos da forma
_
2
+ 2k,

2
+ 2k
_
2k,
com k Z, j uma funo injectiva. O conjunto
_
2
,

2
_
0 vai ser designado por ramo
principal da funo cosecante.
Denio 4.1.15 Dene-se a funo arco-cosecante como sendo a inversa da funo cose-
cante, quando restringida ao conjunto
_
2
,

2
_
0, e denota-se por:
f(x) = arccosec(x).
Domnio: D
f
= (, 1] [1, +).
Contra-domnio: [
2
,

2
] 0.
Zeros: x = 1.
Variao de sinal: sempre no-negativa.
A expresso arccosec(x) l-se arco cuja cosecante x e, fazendo a inverso da tabela dos
valores principais da cosecante, obtemos a tabela seguinte com os valores principais da funo
arco-cosecante.
Figura 4.15: Funo arco-cosecante.
x 1
2
3
3
2 2
arccosec(x)

2
6
Tabela 4.9: Valores principais do arco-cossecante.
4.1.9 Funes seno hiperblico e argumento do seno hiperblico
Denio 4.1.16 Dene-se a funo seno hiperblico por
f(x) = senh(x)
e
x
e
x
2
.
Domnio: D
f
= R.
Contra-domnio: D
f
= R.
Zeros: x = 0.
Injectividade: injectiva.
A funo seno hiperblico, sendo injectiva em todo o seu domnio, vai admitir funo inversa
sem restries.
Denio 4.1.17 Dene-se a funo argumento do seno hiperblico como sendo a inversa
da funo seno hiperblico e denota-se por:
f(x) = argsh(x).
Domnio: D
f
= R.
Contra-domnio: D
f
= R.
Figura 4.16: Funo seno hiperblico.
Zeros: x = 0.
Figura 4.17: Funo argumento do seno hiperblico.
A expresso argsh(x) l-se argumento cujo seno hiperblico x.
4.1.10 Funes cosseno hiperblico e argumento do cosseno hiper-
blico
Denio 4.1.18 Dene-se a funo cosseno hiperblico por
f(x) = cosh(x)
e
x
+ e
x
2
.
Domnio: D
f
= R.
Contra-domnio: D
f
= [1, +).
Zeros: no tem.
Monotonia: estritamente crescente para x (0, +) e estritamente decrescente para
x (, 0).
Figura 4.18: Funo cosseno hiperblico.
Verica-se que a funo cosseno hiperblico injectiva, se a restringirmos aos intervalos (, 0]
ou [0, +). Fixando o intervalo [0, +) podemos a considerar a inversa da funo cosseno
hiperblico.
Denio 4.1.19 Dene-se a funo argumento do cosseno hiperblico como sendo a
inversa da funo cosseno hiperblico, restringida ao intervalo [0, +), e denota-se por
f(x) = argch(x).
Domnio: D
f
= [1, +).
Contra-domnio: D
f
= [0, +).
Zeros: x = 1.
Variao de sinal: sempre no negativa.
A expresso argch(x) l-se argumento cujo cosseno hiperblico x.
Figura 4.19: Funo argumento do cosseno hiperblico.
4.1.11 Funes tangente hiperblica e argumento da tangente hiper-
blica
Denio 4.1.20 Dene-se a funo tangente hiperblica por
f(x) = tgh(x)
senh(x)
cosh(x)

e
x
e
x
e
x
+ e
x
.
Domnio: D
f
= R.
Contra-domnio: D
f
= (1, 1).
Zeros: x = 0.
Variao de sinal: positiva para x (0, ) e negativa para x (, 0).
Figura 4.20: Funo tangente hiperblica.
Como a funo tangente hiperblica injectiva em todo o seu domnio, vai admitir funo
inversa sem qualquer tipo de restrio.
Denio 4.1.21 Dene-se a funo argumento da tangente hiperblica como sendo a
funo inversa da funo tangente hiperblica e denota-se por:
f(x) = argtgh(x).
Domnio: D
f
= (1, 1).
Contra-domnio: D
f
= R.
Zeros: x = 0.
Figura 4.21: Funo argumento da tangente hiperblica.
A expresso argtgh(x) l-se argumento cuja tangente hiperblica x.
4.1.12 Funes cotangente hiperblica e argumento da cotangente
hiperblica
Denio 4.1.22 Dene-se a funo cotangente hiperblica por
f(x) = cotgh(x)
cosh(x)
senh(x)

e
x
+ e
x
e
x
e
x
.
Domnio: D
f
= R 0.
Contra-domnio: (, 1) (1, +).
Zeros: no tem.
Figura 4.22: Funo cotangente hiperblica.
Como a funo cotangente hiperblica injectiva no seu domnio, vai ter inversa sem restrio
alguma.
Denio 4.1.23 Dene-se a funo argumento da cotangente hiperblica como sendo a
inversa da funo cotangente hiperblica e denota-se por:
f(x) = argcotgh(x).
Domnio: D
f
= (, 1) (1, +).
Contra-domnio: D
f
= R 0.
Zeros: no tem.
A expresso argcotgh(x), l-se argumento cuja cotangente hiperblica x.
Observao 4.1.1 Muitos autores designam as inversas das funes hiperblicas como sendo
arcos e denotam-nas por arcsh(x), arcch(x), arctgh(x) e arcctgh(x), ou algo similar em que
aparece o prexo arc. Apesar de se perceber a analogia destas designaes e notaes com as
das inversas das funes trigonomtricas, convm frisar que as funes hiperblicas no tm
as mesmas motivaes geomtricas que as funes trigonomtricas. Por isso, a utilizao das
notaes com o prexo arc ser, neste caso, um abuso de escrita.
Figura 4.23: Funo argumento da cotangente hiperblica.
4.1.13 Exerccios
1. Tendo por base de demonstrao as frmulas de duplicao do seno e do cosseno, mostre
que:
(a) sen(x) = sen(x) e cos(x) = cos(x);
(b) sen(2x) = 2sen(x) cos(x) e cos(2x) = cos
2
(x) sen
2
(x);
(c) cos
2
(x) =
1
2
[1 + cos(2x)] e sen
2
(x) =
1
2
[1 cos(2x)];
(d) sen(k) = 0; cos(k) = (1)
k
, k Z;
(e) as funes seno e cosseno so peridicas com perodo 2, isto ,
sen (x + 2) = sen(x) x R, cos (x + 2) = cos(x) x R.
(f) sen
_
2
x
_
= cos(x) e cos
_
2
x
_
= sen(x);
(g) sen ( x) = sen(x) e cos ( x) = cos(x);
(h) cos(x) cos(t) =
1
2
[cos (x t) + cos (x + t)];
(i) sen(x) sen(t) =
1
2
[cos (x t) cos (x + t)];
(j) sen(x) cos(t) =
1
2
[ sen (x t) + sen (x + t)];
(k) cos(x) + cos(t) = 2 cos
_
x t
2
_
cos
_
x + t
2
_
;
(l) cos(x) cos(t) = 2sen
_
x t
2
_
sen
_
x + t
2
_
;
(m) sen(x) sen(t) = 2sen
_
x t
2
_
cos
_
x + t
2
_
;
(n) sen(x) + sen(t) = 2 cos
_
x t
2
_
sen
_
x + t
2
_
.
f(x) = ln
_
2x
1 + x
_
; g(x) =
_
1 sen(x) ; h(x) = arccos
_
1 + x
1 x
_
;
i(x) = tg(x) cotg(x) ; j(x) = sec(x) 1 ; k(x) = senh(x 1) 2 ;
l(x) = 2 + arctg(x 3) ; m(x) = tgh(2x 3) + 1 ; n(x) = argch(x 2) + 1 .
a) Determine o domnio e o contra-domnio de cada.
b) Determine os zeros de cada.
c) Estude-as quanto paridade.
d) Indique o perodo das que so peridicas.
3. Considere a funo seguinte:
f(x) = ln
_
1 + x
1 x
_
.
a) Determine o domnio D
f
de f.
b) Mostre que, para quaisquer x, y D
f
, se tem
f(x) + f(y) = f
_
x + y
1 + xy
_
.
4. Considere a funo denida a seguir:
f(x) =
_
arcsen(x) 1 x 0
arctg(x) 0 < x 1
.
a) Calcule f(1), f(0) e f(1).
b) Esboce o grco de f.
5. Usando a Frmula Fundamental da Trigonometria, mostre que:
a) 1 + tg
2
(x) = sec
2
(x) e b) 1 + cotg
2
(x) = cosec
2
(x).
f(x) = arcsen(x); g(x) =

2
arccos(x).
a) Determine o domnio e o contradomnio de f e g.
b) Esboce os respectivos grcos.
c) O que pode concluir sobre as funes f e g.
7. Considere, agora, as funes seguintes:
f(x) = arctg(x); g(x) =

2
arccotg(x).
8. Considere, ainda, as funes seguintes:
f(x) = arcsec(x); g(x) =

2
arccosec(x).
9. Determine as expresses designatrias das inversas das funes a seguir indicadas:
f(x) =
x
2
x2
; g(x) = ln
_
x 1
x + 4
_
;
h(x) = cos((2x + 3)) ; i(x) = 4
arcsen(x6)
.
10. Usando as denies das funes seno e cosseno hiperblicos, mostre que:
a) senh(x + y) = senh(x) cosh(y) + senh(y) cosh(x);
b) cosh(x + y) = cosh(x) cosh(y) + senh(x) senh(y);
c) 1 + senh
2
(x) = cosh
2
(x).
11. Recorrendo apenas ao conhecimento do grco das funes elementares j estudadas,
esboce os grcos das funes seguintes:
d(x) = e
3x
+ 2 ; e(x) = 1 +[ ln(x 1)[ ; f(x) = 1 + sen(2x ) ;
g(x) = x sen(x) ; h(x) = 3 5 cos
_
x +

2
_
; i(x) = tg
2
(x) 1 ;
l(x) = 2 + arctg(x 3) ; j(x) = xcosec(x) 1 ; k(x) = x sen
_
1
x
_
;
l(x) = 1 [ senh(x + 2)[ ; m(x) = max( sen(x), cos(x)) ; n(x) = 3 cosh(2x 1) .
4.2 Limites de funes
No Captulo 2, aquando do estudo do Limite de Sucesses, j introduzimos a recta acabada
R = [, +]. As denies das operaes algbricas que a zemos entre os elementos +
e com os nmeros reais, bem como entre si, mantm-se. Assim como se mantm as novas
indeterminaes l denidas.
4.2.1 Noes de limites
No que se segue, iremos considerar sempre funes reais de variveis reais com domnios contidos
em R. Por exemplo, f ser uma funo real de varivel real com domnio D
f
R.
Denio 4.2.1 Diz-se que um nmero real b o limite de uma funo f no ponto x = a, ou
quando x tende para a, e escreve-se
lim
xa
f(x) = b,
se
> 0 > 0 : x (x D
f
[x a[ < [f(x) b[ < ) .
A denio anterior tem o signicado geomtrico seguinte:
para qualquer x D
f
numa qualquer vizinhana (proximidade) de x = a, no caso de
haver limite, vai existir sempre uma vizinhana de y = b que contm a imagem f(x).
Desta forma o conceito de limite vai ter relevncia do ponto de vista microscpico, o qual em
Anlise Matemtica se diz ponto de vista innitesimal.
Se no existir o nmero real b da Denio 4.2.1, vamos dizer que a funo no tem limite no
ponto x = a. No caso de b = + ou b = , o limite no existe, mas, por vezes, comete-se
um abuso de linguagem e de escrita dizendo que o limite + ou . Tendo presente que se
trata de uma abuso de escrita, podemos adaptar a denio anterior para escrever o seguinte:
lim
xa
f(x) = + > 0 > 0 : x
_
x D
f
[x a[ < f(x) >
1
_
;
lim
xa
f(x) = > 0 > 0 : x
_
x D
f
[x a[ < f(x) <
1
_
.
Observe-se que sobre o ponto x = a onde se calcula o limite no impusemos nenhuma condio.
A ideia que se possa sempre chegar at a por pontos interiores ao domnio D
f
. Isto corresponde
a dizer que a um ponto de acumulao
1
do domnio D
f
. Por isso, convm referir que o ponto
x = a no pertence necessariamente ao domnio D
f
. Se, porventura, a pertencer a D
f
, ento o
clculo do limite resume-se a substituir na expresso designatria da funo f a varivel x por
a:
lim
xa
f(x) = f(a) a D
f
.
Exemplo 4.2.1 Calcule os limites seguintes:
a) lim
x
1
2
arccos(x); b) lim
x0
tgh(x).
No caso do ponto x = a no pertencer ao domnio D
f
, o clculo do limite j vai ser mais
complicado. Aqui convm distinguir as situaes em que a R e aquelas quando a = + ou
a = . Nestas ltimas, temos de adaptar a Denio 4.2.1 para termos denies de limites
apropriadas.
1
Diz-se que a um ponto de acumulao do conjunto A R, se todo o intervalo aberto (a , a + ),
com > 0, contm, pelo menos, um ponto de A distinto de a.
Denio 4.2.2 Diz-se que um nmero real b o limite de uma funo f quando x tende para
+, e escreve-se
lim
x+
f(x) = b,
se
> 0 > 0 : x
_
x D
f
x >
1
[f(x) b[ <
_
.
Diz-se que um nmero real b o limite de uma funo f quando x tende para , e escreve-se
lim
x
f(x) = b,
se
> 0 > 0 : x
_
x D
f
x <
1
[f(x) b[ <
_
.
Os dois casos da denio anterior tm, respectivamente, os signicados geomtricos seguintes:
para qualquer x D
f
innitamente grande positivo, no caso de haver limite, vai existir
sempre uma vizinhana de y = b que contm a imagem f(x);
para qualquer x D
f
innitamente grande negativo, no caso de haver limite, vai existir
sempre uma vizinhana de y = b que contm a imagem f(x).
Rera-se que, aqui, no faz sentido dizer que + ou so pontos de acumulao de D
f
, a
no ser no sentido de se poder ir para + ou por pontos interiores a D
f
.
Se no existir o nmero real b da Denio 4.2.2, vamos dizer que a funo no tem limite no
ponto x = a. No caso de b = + ou b = , o limite no existe, e novamente costuma-se
abusar da linguagem e da escrita dizendo que o limite + ou . Adaptando a denio
anterior, podemos escrever o seguinte:
lim
x+
f(x) = + > 0 > 0 : x
_
x D
f
x >
1
f(x) >
1
_
;
lim
x
f(x) = + > 0 > 0 : x
_
x D
f
x <
1
f(x) >
1
_
;
lim
x
f(x) = > 0 > 0 : x
_
x D
f
x <
1
f(x) <
1
_
;
lim
x+
f(x) = > 0 > 0 : x
_
x D
f
x >
1
f(x) <
1
_
.
a) lim
x+
arccotg(x); b) lim
x+
sech(x); c) lim
x
(x + 1)
2
.
No caso do ponto x = a onde se pretende calcular o limite no pertencer a D
f
mas pertencer a
R, pode acontecer uma situao completamente diferente. Por exemplo, no caso de existirem
pontos x D
f
tais que x > a e x < a. Quando se passa ao limite, convm saber por que
valores de x D
f
nos vamos aproximar do ponto x = a: se por valores x > a ou x < a. que,
dependendo da funo, o resultado nal pode ser diferente se nos aproximarmos por valores
x > a ou x < a.
Denio 4.2.3 Diz-se que um nmero real b o limite de uma funo f no ponto x = a, ou
quando x tende para a, por valores direita de a e escreve-se
lim
xa
+
f(x) = b,
se
> 0 > 0 : x (x D
f
x > a + [f(x) b[ < ) .
Diz-se que um nmero real b o limite de uma funo f no ponto x = a, ou quando x tende
para a, por valores esquerda de a e escreve-se
lim
xa
f(x) = b,
se
> 0 > 0 : x (x D
f
x < a [f(x) b[ < ) .
No caso de b = + ou b = , o limite respectivo no existe, e novamente costuma-se abusar
da linguagem e da escrita dizendo que o limite + ou . Tendo presente que se trata de
um abuso de escrita, podemos escrever o seguinte:
lim
xa
+
f(x) = + > 0 > 0 : x
_
x D
f
x < a + f(x) >
1
_
;
lim
xa
+
f(x) = > 0 > 0 : x
_
x D
f
x < a + f(x) <
1
_
;
lim
xa
f(x) = + > 0 > 0 : x

_
x D
f
x > a f(x) >
1
_
;
lim
xa
f(x) = > 0 > 0 : x

_
x D
f
x > a f(x) <
1
_
.
Os limites da Denio 4.2.3 so designados por limites laterais, direita e esquerda, e
habitualmente denotam-se por f(a
+
) e f(a
), respectivamente:
f(a
+
) = lim
xa
+
f(x) ; f(a
) = lim
xa
f(x) .
Neste caso, vamos dizer que a funo tem limite no ponto x = a e com valor y = b (a, b R),
se f(a
+
) = f(a
) = b. Observe-se que podero existir os limites laterais f(a

+
) e f(a
), mas
no existir o limite de f em x = a, por se ter f(a
+
) ,= f(a
).
a) lim
x2
x
3
8
x 2
; b) lim
x0
f(x), f(x) =
_
0 x < 0
1 x 0
.
4.2.2 Propriedades
Proposio 4.2.1 O limite de uma funo, quando existe, nico.
Proposio 4.2.2 Sejam f e g duas funes reais de uma varivel real e x = a um ponto de
acumulao de D
f
D
g
, ou eventualmente + ou . Suponhamos que existem os limites
de f e g quando x tende para a e se tem
lim
xa
f(x) = b, e lim
xa
g(x) = c, com b, c R.
Ento, existem os limites de f + g, f g, fg quando x tende para a e tem-se:
lim
xa
[f(x) + g(x)] = b + c; lim
xa
[f(x) g(x)] = b c; lim
xa
f(x)g(x) = b c.
Se c ,= 0, ento tambm existe o limite de f/g quando x tende para a e tem-se:
lim
xa
f(x)
g(x)
=
b
c
.
Mais, se f(x) > 0 para todo x D
f
, ento tambm existe o limite de f
g
quando x tende para
a e tem-se:
lim
xa
_
f(x)
g(x)
= b
c
.
Os resultados expressos na proposio anterior podero ainda ser generalizados para o caso de
f e ou g terem limites innitos, com excepo dos casos em que se obtm indeterminaes.
Obviamente estes resultados so vlidos no caso particular de f ou g serem funes constantes.
Proposio 4.2.3 Sejam f e g duas funes reais de varivel real tais que D
g
D
f
, x = a
um ponto de acumulao de D
g
, eventualmente + ou , e b um ponto de acumulao de
D
f
, eventualmente + ou . Suponhamos que existem os limites de g quando x tende para
a e de f quando x tende para b e que se tem:
lim
xa
g(x) = b e lim
xb
f(x) = c.
Ento, existe o limite de f g quando x tende para a e tem-se:
lim
xa
(f g) (x) = c.
Proposio 4.2.4 Sejam a R, e f, g, h funes reais de varivel real cujos domnios con-
tenham uma vizinhana de x = a e tais que nessa vizinhana se tenha
f(x) g(x) h(x).
Suponhamos que existem os limites de f e h quando x tende para a e se tem:
lim
xa
f(x) = lim
xa
h(x) = b.
Ento, tambm existe o limite de g quando x tende para a e tem-se:
lim
xa
g(x) = b.
O resultado anterior ainda permite a generalizao seguinte para limites innitos.
Proposio 4.2.5 Sejam a R, e f, g funes reais de varivel real cujos domnios contenham
uma vizinhana de x = a e tais que nessa vizinhana se tenha
f(x) g(x).
Ento
lim
xa
f(x) = + lim
xa
g(x) = + e lim
xa
g(x) = lim
xa
f(x) = .
4.2.3 Limites importantes
No clculo de limites, usam-se muitas vezes resultados sobre limites j conhecidos. Pela sua
importncia no clculo de limites, vamos designar estes limites por limites notveis.
Proposio 4.2.6 Tem-se:
lim
x0
senx
x
= 1; lim
x
_
1 +
1
x
_
x
= e.
A proposio seguinte muito importante para o clculo de limites de expresses onde intervm
o logaritmo.
Proposio 4.2.7 Sejam f uma funo real de varivel real, x = a um ponto de acumulao
de D
f
, eventualmente + ou , tal que lim
xa
f(x) = c. Se c R
+
, ento
lim
xa
[ln(f(x))] = ln
_
lim
xa
f(x)
_
ln(c).
DEMONSTRAO - EXERCCIO: uma consequncia da Proposio 4.2.5.
Conjugando os resultados das duas proposies precedentes, podemos provar a validade dos
limites notveis expressos na proposio seguinte.
Proposio 4.2.8 Tem-se:
lim
x0
1 cos x
x
2
=
1
2
; lim
x0
ln(x + 1)
x
= 1.
DEMONSTRAO - EXERCCIO:
Exemplo 4.2.4 Usando os limites notveis anteriores, mostre que:
lim
x0
tgx
x
= 1; lim
x0
e
x
1
x
= 1.
4.2.4 Clculo de limites
No clculo de limites podemos usar a Proposio 4.2.2 sempre que no obtenhamos indetermi-
naes. Mas, em muitas situaes de clculo de limites, surgem indeterminaes. Ao processo
de resolver determinada indeterminao, vamos designar por levantamento da indetermi-
nao.
Regra 5 (levantamento de indeterminaes do tipo ) As indeterminaes dos tipos
,
podem, normalmente, ser levantadas pondo em evidncia o termo de maior grau, o que em
muitas situaes corresponde a simplicar a expresso. No caso dos limites em que intervm
razes, basta multiplicar pelo conjugado.
lim
x0
+
_
1
x
2

2
x
_
e lim
x+
_
x + 1
x
_
.
Regra 6 (levantamento de indeterminaes do tipo 0 ) As indeterminaes dos tipos
0 ,

,
0
0
,
podem, normalmente, ser levantadas pondo em evidncia os termos de maior grau. Em muitas
situaes, novamente, bastar simplicar a expresso dada.
lim
x1
1 x
2
1 x
4
e lim
x+
3
2x
5
x+1
4
x+1
+ 2
2x
.
Regra 7 (Levantamento de indeterminaes do tipo 1
1
podem, normalmente, ser levantadas usando o limite notvel de Neper.

Exemplo 4.2.7 Calcule o limite seguinte:
lim
x+
_
1
2
x
3
_
4x
3
.
Como evidente, sempre que seja possvel, podemos usar os limites notveis conhecidos para
levantar alguma indeterminao. Contudo, existem situaes em que se torna muito difcil ou
bastante demorado o clculo de um limite e o levantamento de uma indeterminao vai originar
nova indeterminao. Para estas situaes, temos ainda ao nosso dispor uma tcnica, ao mesmo
tempo, muito simples e muito poderosa para o clculo de limites. Esta tcnica vai envolver o
conceito de innitsimos da mesma ordem que denimos a seguir.
Denio 4.2.4 Seja f uma funo real de varivel real e x = a um ponto de acumulao do
seu domnio D
f
, eventualmente + ou . Diz-se que f um innitsimo quando x tende
para a, se
lim
xa
f(x) = 0.
Sejam, agora, f e g dois innitsimos quando x tende para a. Dizemos que f e g so innitsi-
mos da mesma ordem, quando x tende para a, se
lim
xa
f(x)
g(x)
= c, com c = constante ,= 0.
No caso de c = 1, as funes f e g dizem-se assimptoticamente iguais, quando x tende para a
e escrevemos
f(x) g(x) quando x tende para a.
Proposio 4.2.9 Quando x tende para 0, temos as funes assimptoticamente iguais seguintes:
sen(x) x; 1 cos(x)
x
2
2
; ln(1 + x) x; e
x
1 x.
DEMONSTRAO - EXERCCIO: Consequncia das Proposies 4.2.6, 4.2.8 e do Exerccio 4.2.4.
A utilidade da proposio anterior no clculo dos limites, reside na possibilidade de, num limite,
podermos substituir uma funo por outra mais simples e assimptoticamente igual, quando x
tende para o ponto onde se est a calcular o limite, e, desse modo, simplicar o clculo do
limite.
Exemplo 4.2.8 Recorrendo a relaes entre innitsimos da mesma ordem, calcule os limites
seguintes:
a) lim
x0
sen(3x) sen(5x)
(x x
3
)
2
; b) lim
x0
1 e
1cos(x)
ln(1 x) + ln(1 + x)
.
90 4.3 FUNES CONTNUAS
4.2.5 Exerccios
a) lim
x0
1
1 x
2
x
2
; b) lim
x1
2x
2
3x + 1
x 1
; c) lim
h0
(t + h)
2
t
2
h
;
d) lim
x+
_
x
2
+ 2
2x
2
+ 1
_
x
2
; e) lim
x+
x[ln(x + 1) ln x] ; f) lim
x0
1
x
ln
_
_
1 + x
1 x
_
.
a) lim
x0
tg x
sen x
; b) lim
x0
1 cos x
x
2
; c) lim
x1
1 x
2
sen(x)
;
d) lim
x0
arctg(2x)
sen(3x)
; e) lim
x0
cos(x) cos(2x)
1 cos(2x)
; f) lim
x
4
sen(x) cos(x)
4x
;
g) lim
x
4
sen(x) cos(x)
1 tg(x)
; h) lim
x0
(1 + sen x)
1
x
; i) lim
x
tgh x.
3. Estude os limites seguintes em funo de a:
a) lim
xa
[x[
x
; para a = 1; a = 0; a = ; a = +;
b) lim
xa
x
4
1
x
3
1
; para a [, +] .
4. Recorrendo a relaes entre innitsimos da mesma ordem, calcule os limites seguintes:
a) lim
x1
ln x
1 x
; b) lim
x0
cos(x) cos(2x)
1 cos(2x)
;
c) lim
x0
ln(3 + x) + ln(3 x) 2 ln 3
x
2
; d) lim
x0
arcsen
_
x
1x
2
_
ln(1 x)
;
e) lim
x0
1 e
1cos(x)
ln(1 x) + ln(1 + x)
; f) lim
x0
arctg
_
x
2
1x
2
_
1 e
1cos(x)
;
g) lim
x0
ln(1 x)
e
arcsen(x)
1
; h) lim
x0
arcsen
_
x
2
1x
2
_
x (1 e
sen(x)
)
.
4.3 Funes contnuas
Os grcos das funes elementares de que j falamos, no Captulo 1 e na Seco 1 deste captulo,
exibem uma propriedade de grande importncia em Anlise Matemtica, a continuidade. A
ideia de continuidade est subjacente na utilizao corrente que fazemos de grande parte da
matemtica elementar.
4.3.1 Primeiras noes
Intuitivamente, a noo de continuidade de uma funo, digamos f, signica que uma pe-
quena variao da varivel independente x implica somente uma pequena variao na varivel
dependente y = f(x).
Denio 4.3.1 Sejam f uma funo real de varivel real, com domnio D
f
, e a um ponto de
acumulao
2
de D
f
. Diz-se que a funo f contnua no ponto x = a, se
> 0 > 0 : x (x D
f
[x a[ < [f(x) f(a)[ < ) .
A continuidade da funo f no ponto x = a tem o signicado geomtrico seguinte:
f(x) difere arbitrariamente muito pouco de f(a) desde que x esteja sucientemente prx-
imo de a.
Se, na denio anterior, zermos a mudana de varivel h = xa, obtemos a forma equivalente
de noo de continuidade:
> 0 > 0 : h (a + h D
f
[h[ < [f(a + h) f(a)[ < ) .
Para denir a noo de continuidade, tambm podemos usar a noo de limite de uma funo
num ponto. Deste modo, dizemos que a funo f contnua no ponto x = a, se existir o limite
lim
xa
f(x) e se tiver
lim
xa
f(x) = f(a).
Vamos dizer que uma funo contnua, sem especicar onde, se for contnua em todos os pontos
do seu domnio. Neste caso, o grco de uma tal funo consiste de uma nica curva
3
. Do estudo
que zemos das funes elementares, podemos dizer que toda a funo elementar contnua
no seu domnio de denio. Intuitivamente, percebe-se que esta armao verdadeira. No
entanto, para sermos rigorosos, deveramos demonstr-la em cada caso de funo elementar,
recorrendo denio anterior.
Os pontos onde a funo no for contnua, so designados por pontos de descontinuidade. Os
pontos de descontinuidade de uma funo podem ser classicados em trs classes distintas:
2
Ver nota de roda-p da pgina 83.
3
Desde que o seu domnio seja um conjunto conexo, isto , um conjunto que no resulta da reunio disjunta
de dois outros conjuntos sem fronteiras comuns.
x = a um ponto de descontinuidade de primeira espcie da funo f, se existem
os limites laterais:
f(a
+
) = lim
xa
+
f(x) e f(a
) = lim
xa
f(x);
mas f(a
+
) ,= f(a
).
x = a um ponto de descontinuidade de segunda espcie da funo f, se, pelo
menos, um dos limites laterais, f(a
) ou f(a
+
), no existe.
x = a um ponto de descontinuidade removvel da funo f, se existem e so iguais
os limites laterais f(a
+
) e f(a
), mas so distintos de f(a).

Existe, ainda, uma quarta classe de pontos de descontinuidade que, apesar de no ser muito
comum, tem tambm a sua relevncia:
x = a um ponto de descontinuidade oscilatria da funo f, se em vizinhanas
muito prximas de a, f(x) oscila entre valores muito distintos.
Exemplo 4.3.1 Mostre que as funes seguintes tm, respectivamente, descontinuidades de
primeira espcie, de segunda espcie, oscilatria e removvel no ponto x = 0:
a) f(x) = sinal(x)
_
_
_
1 se x < 0
0 se x = 0
1 se x > 0
b) f(x) =
1
x
2
;
c) f(x) = sen
_
1
x
_
; d) f(x) =
sen(x)
x
.
4.3.2 Propriedades
A denio de continuidade que introduzimos na subseco anterior, deve-se a Cauchy. Na
proposio seguinte, apresentamos uma denio equivalente de continuidade, a qual se deve a
Heine. Veja-se o Captulo 2 para se perceber a analogia entre estas denies e as denies
de sucesso convergente segundo Cauchy e segundo Heine.
Proposio 4.3.1 Sejam f uma funo real de varivel real, com domnio D
f
, e a um ponto
de acumulao de D
f
. A funo f contnua no ponto x = a se e s se qualquer que seja a
sucesso u
n
, de termos em D
f
, convergente para x = a, a sucesso f(u
n
) converge para f(a).
Proposio 4.3.2 Sejam f e g funes reais de variveis reais, com domnios D
f
e D
g
, respec-
tivamente. Suponhamos que f e g so funes contnuas num ponto de acumulao a D
f
D
g
.
Ento, tambm, so contnuas, em x = a, as funes f + g, f g, fg. Mais, se g(a) ,= 0,
tambm contnua, em x = a, a funo f/g.
Proposio 4.3.3 Sejam f e g funes reais de variveis reais, com domnios D
f
e D
g
, respec-
tivamente. Suponhamos que g contnua num ponto de acumulao a D
g
e que f contnua
em b = f(a), sendo b um ponto de acumulao de D
f
. Ento, a funo f g contnua em
x = a.
Proposio 4.3.4 (Teorema do valor intermdio) Sejam f uma funo contnua no seu
domnio D
f
e a e b nmeros reais pertencentes a um intervalo I D
f
tais que f(a) ,= f(b).
Ento, para todo entre f(a) e f(b), existe um ponto c entre a e b tal que = f(c).
Podemos escrever a armao da proposio anterior na forma simblica seguinte:
(f(a) < < f(b) f(b) < < f(a)) c (a < c < b b < c < a) : = f(c).
O Corolrio seguinte um caso particular do resultado anterior e que muito conveniente para
localizarmos razes de equaes que no se resolvam facilmente.
Corolrio 4.3.1 Seja f uma funo nas condies do Teorema do Valor Intermdio (Proposio 4.3.4)
e tal que
f(a)f(b) < 0 .
Ento a funo f tem, pelo menos, um zero no intervalo de extremos a e b.
A proposio seguinte arma-nos algo que j experimentmos no estudo das funes ele-
mentares.
Proposio 4.3.5 Seja f uma funo real de varivel real, com domnio D
f
, e injectiva num
intervalo I D
f
. Se f contnua, ento a funo inversa f
1
tambm contnua (em f(I)).
Proposio 4.3.6 (Teorema de Weierstrasse) Sejam f uma funo real de varivel real,
com domnio D
f
, e I D
f
um conjunto limitado fechado e no vazio. Se f contnua em I,
ento a funo f tem mximo e mnimo em I.
4.3.3 Exerccios
1. Calcule f(a
+
) e f(a
), se:
a) f(x) = sinal(x
2
+ x), a = 1; b) f(x) = sinal
_
x
2
+ 3x + 2
x 1
_
, a = 1;
c) f(x) = x [x], a = 2; d) f(x) = sinal([x] + 1), a = 1;
onde
sinal(x) =
_
_
_
1 se x < 0
0 se x = 0
1 se x > 0
e [x] designa a parte inteira do nmero x.
2. Estude as funes seguintes quanto continuidade:
a) f(x) =
x + 1
x
3
+ x
; b) f(x) =
x
1
x
2
+ x
;
e) f(x) =
x
[x[
; d) f(x) =
[x
2
1[
x
2
1
.
3. Determine os valores de a de modo que as funes seguintes sejam contnuas em x = 0:
a) f(x) =
_
_
3x a
1 x
x 0
x 1
x + 1
x > 0
; b) f(x) =
_
_
sen(ax)
x
x ,= 0
1 x = 0
.
4. Determine os valores de a de modo que as funes seguintes sejam contnuas no ponto
indicado:
a) f(x) =
_
_
x
2
4
x 2
x ,= 2
a x = 2
; b) f(x) =
_
_
x sen
_
1
x
_
x ,= 0
a x = 0
;
c) f(x) =
_
_
arcsen
_
x
2
1x
2
_
x (1 e
sen(x)
)
, x ,= 0
a , x = 0
; d) f(x) =
_
_
1 e
1cos(x)
ln(1 x) + ln(1 + x)
, x ,= 0
a , x = 0
.
5. Determine as descontinuidades das funes seguintes e classique-as quanto ao tipo:
a) f(x) =
senx
[x[
; b) f(x) = cos
_
x
_
; c) f(x) = e
1
x
2
;
d) f(x) =
(1 + x)
5
1
x
; e) f(x) = arctg
_
1
x
_
; f) f(x) = e
1
1+x
.
6. Mostre que a equao
sen
3
x + cos
3
x = 0
tem, pelo menos, uma raiz no intervalo aberto (0, ).
7. Mostre que a funo f(x) = 2x
3
x
2
8x + 4 tem, pelo menos, um zero no intervalo
[0, 1].
8. Prove que a equao x + senh(x) = 0 tem, pelo menos, uma raz real.
9. Mostre que a equao
x
7
2x
6
+ 3x
5
4x
4
+ 5x
3
6x
2
+ 2 = 0
tem, pelo menos, uma raiz no intervalo [0, 1].
10. Prove que todo o polinmio de grau mpar tem, pelo menos, uma raiz real ().
11. Mostre que a equao x
3
+ 3x 1 = 0 tem uma raz no intervalo (0, 1).
12. Seja f uma funo contnua num intervalo [a, b] tal que f([a, b]) [a, b]. Prove que f
tem, pelo menos, um ponto xo no intervalo [a, b] ().
Captulo 5
Clculo Diferencial
5.1 Derivadas
Consideremos uma funo real de varivel real f, com domnio D
f
, e seja x = a um ponto
interior ao conjunto D
f
. Designamos por razo incremental da funo f no ponto x = a a
expresso seguinte:
f(x) f(a)
x a
.
A razo incremental d-nos a taxa de variao da funo f no intervalo de extremos x e a.
Geometricamente, a razo incremental interpretada como sendo a tangente trigonomtrica
do ngulo denido pela recta secante ao grco da funo f nos pontos x e a e pelo eixo das
abcissas.
f
, e x = a um
ponto interior ao conjunto D
f
. Chama-se derivada da funo f no ponto x = a, e denota-se
por f
(a), ao limite seguinte, quando existe:

f
(a) = lim
xa
f(x) f(a)
x a
.
Portanto, a derivada de uma funo num ponto interior ao seu domnio, o limite da razo
incremental da funo nesse ponto. Geometricamente, a derivada f
(a) interpretada como

sendo o declive da recta tangente ao grco da funo f no ponto x = a. Deste modo, f
(a)
representa a tangente trigonomtrica do ngulo denido pela recta tangente ao grco da
funo f no ponto x = a e pelo eixo das abcissas.
Como a noo de derivada faz intervir o conceito de limite, tambm aqui vamos ter as noes
de derivadas laterais.
f
, e x = a um ponto
interior a D
f
. Chamam-se, respectivamente, derivada lateral esquerda de f e derivada lateral
direita da funo f no ponto x = a aos limites seguintes, quando existem:
f
(a
+
) = lim
xa
+
f(x) f(a)
x a
e f
(a
) = lim
xa
f(x) f(a)
x a
.
96
97 5. CLCULO DIFERENCIAL
No caso da denio anterior, vamos dizer que a funo tem derivada no ponto x = a, se
f
(a
+
) = f
(a
). Neste caso, ou Se, no da denio precedente, existir f
(a), dizemos que a

funo f derivvel no ponto x = a.
Se, na denio de derivada, zermos a mudana de varivel x = a + h, obtemos a frmula
seguinte para f
(a), que, por vezes, mais prtica:

f
(a) = lim
h0
f(a + h) f(a)
h
.
Vamos dizer que uma funo derivvel, sem especicar onde, se for derivvel em todos os
pontos do seu domnio. Neste caso, podemos denir a funo derivada da funo f por f
(x).
Em muitas situaes podemos usar a notao seguinte para a funo derivada da funo f:
d f
d x
;
onde d f corresponde ao diferencial de f: f(x) = f(x) f(a); e d x ao diferencial de x:
x = x a. Por vezes, os diferenciais f e x so designados por acrscimos de f e
x, respectivamente, no intervalo de extremos x e a. Usando esta notao, pode-se, por vezes,
denir a noo de derivada de uma funo f num ponto x = a, recorrendo seguinte expresso:
f
(a) = lim
x0
f(a + x) f(a)
x
.
Uma consequncia da denio de derivada, que toda a funo derivvel contnua.
f
. Se f derivvel
num ponto x = a interior a D
f
, ento f contnua em x = a.
No entanto, a recproca da proposio anterior no verdadeira, como mostra o contra-exemplo
do exerccio seguinte.
Exemplo 5.1.1 Mostre que, no ponto x = 0, a funo f(x) = [x[ contnua, mas no
derivvel.
5.2 Regras de derivao
Nesta seco estabelecemos as regras que nos iro permitir calcular as derivadas das funes
elementares j estudadas.
Proposio 5.2.1
1. Se f(x) = c, onde c = constante, ento f
(x) = 0.
2. Se f(x) = x
n
, onde n N
0
, ento f
(x) = nx
n1
.
3. Se f(x) = a
x
, onde a R
+
, ento f
(x) = ln a a
x
.
4. Se f(x) = sen(x), ento f
(x) = cos(x).
5. Se f(x) = cos(x), ento f
(x) = sen(x).
Na proposio seguinte estabelecemos as regras que nos permitem determinar as funes derivadas
de somas, produtos e quocientes de funes, quando se conhece a derivada de cada funo factor.
Proposio 5.2.2 Sejam f(x) e g(x) duas funes reais de varivel real, derivveis e com
funes derivadas f
(x) e g
(x). Ento:
1. (f + g)(x) derivvel e (f + g)
(x) = f
(x) + g
(x);
2. (f g)(x) derivvel e (f g)
(x) = f
(x) g(x) + f(x) g
(x);
3. se g(x) ,= 0, (f/g)(x) derivvel e
_
f
g
_
(x) =
f
(x) g(x) f(x) g
(x)
[g(x)]
2
.
Em particular, usando 1. e 2. da proposio anterior, obtemos para a diferena que:
(f g)(x) derivvel e (f g)
(x) = f
(x) g
(x) .
Com o auxlio das duas proposies precedentes, vamos conseguir provar as regras de derivao
das funes elementares que resultam de operaes algbricas entre funes estudadas na
Proposio 5.2.3.
Proposio 5.2.3 1. Se f(x) = x
n
, onde n N
0
, ento f
(x) = nx
(n+1)
;
2. Se f(x) = tg(x), ento f
(x) = sec
2
x;
3. Se f(x) = cotg(x), ento f
(x) = cosec
2
(x);
4. Se f(x) = sec(x), ento f
(x) = tg(x) sec(x);

5. Se f(x) = cosec(x), ento f
(x) = cotg(x) cosec(x);

6. Se f(x) = senh(x), ento f
(x) = cosh(x);
7. Se f(x) = cosh(x), ento f
(x) = senh(x).
Na proposio seguinte vamos provar o resultado que nos ir permitir estabelecer as regras de
derivao para as funes inversas das funes elementares.
Proposio 5.2.4 (Teorema de derivao da funo inversa) Sejam f uma funo real
de varivel real, injectiva num intervalo I D
f
e f
1
a funo inversa de f quando restringida
ao intervalo I: f
1
: f(I) I. Se f derivvel num ponto x interior ao intervalo I e f
(x) ,= 0,
ento f
1
derivvel no ponto y = f(x) e tem-se:
_
f
1
_
(y) =
1
f
(f
1
(y))
.
SEM DEMONSTRAO: Ver, por exemplo, Campos Ferreira p. 366.
Para usarmos este resultado no clculo de derivadas de inversas de funes elementares, fazemos
primeiramente
_
f
1
_
(y) =
1
f
(x)
e, s depois, que passamos varivel original atravs da relao
1
f
(x)
=
1
f
(f
1
(y))
.
Na prtica, torna-se mais til fazer x = f
1
(y), o que equivale a fazer y = f(x), e aplicamos o
resultado anterior na forma seguinte:
x
=
1
y
;
voltando no nal varivel original. Assim, com o auxlio da proposio anterior e das regras
de derivao j demonstradas, podemos estabelecer as regras de derivao para as inversas das
funes elementares conhecidas.
Proposio 5.2.5 1. Se f(x) = x
1
k
, onde k Z 0, ento f
(x) =
1
k
x
1k
k
;
2. Se f(x) = log
a
(x), onde a R
+
, ento f
(x) =
1
ln a
1
x
;
3. Se f(x) = arcsen(x), ento f
(x) =
1
1 x
2
;
4. Se f(x) = arccos(x), ento f
(x) =
1
1 x
2
;
5. Se f(x) = arctg(x), ento f
(x) =
1
1 + x
2
;
6. Se f(x) = arccotg(x), ento f
(x) =
1
1 + x
2
.
Existem, no entanto, situaes em que no possvel obter uma expresso explcita para a
inversa de uma funo. Nestes casos, podemos ainda determinar formalmente a derivada da
funo inversa. De facto, se f uma funo dada pela relao y = f(x) e admite funo inversa,
mas no possvel obter uma expresso explcita sua, ento pode-se escrever a derivada da sua
inversa do modo abreviado seguinte, mas bastante sugestivo:
d x
d y
=
1
d y
d x
.
Exemplo 5.2.1 Determine a derivada
dx
dy
da funo inversa x = x(y) da funo y = sen(x)
e
x3
.
5.3 Frmulas de derivao
Nesta seco vamos apresentar a tabela com as frmulas de derivao de todas as funes
elementares que estudamos. Aqui, vamos admitir que o argumento das funes elementares
pode ser uma funo real de varivel real qualquer. Deste modo, subentendemos que as funes
que iremos analisar so funes compostas de, pelo menos, duas funes reais de varivel real.
Proposio 5.3.1 (Teorema de derivao da funo composta) Sejam f e g duas funes
reais de variveis reais tais que D
f
D
g
. Se g derivvel no ponto x e f derivvel no ponto
y = g(x), ento a funo composta f g derivvel em x e tem-se:
(f g)
(x) [f(g(x))]
= f
(g(x)) g
(x).
SEM DEMONSTRAO: Ver, por exemplo, Campos Ferreira p. 360.
Grosso modo, podemos dizer que a derivada da composio de duas funes igual ao produto
da derivada da funo que est por fora (da composio) pela derivada da que est por dentro.
Exemplo 5.3.1 Determine a derivada da funo seguinte no ponto x = 0:
f(x) = g( sen
2
(x)) g(cos
2
(x));
sabendo que g uma funo derivvel no ponto x = 0.
Como corolrio das frmulas de derivao demonstradas anteriormente e do teorema de derivao
da funo composta, podemos apresentar a Tabela 5.1 com todas as frmulas de derivao das
funes elementares. Nesta tabela, u e v so duas funes reais de varivel real, com domnios
tais que as funes elementares envolvidas esto bem denidas. Rera-se que as frmulas com-
preendidas entre os nmeros 28 e 37 so muito pouco utilizadas, razo pela qual so omitidas
pela maioria dos autores.
1. c
= 0, c = constante 2. x
= 1
3. (u v)
= u
4. (c u)
= c u
, c = constante
5. (uv)
= u
v + uv
6.
_
u
v
_
=
u
v uv
v
2
7. (u
r
)
= r u
r1
u
, r R 8. (
n
u)
=
u
n
n
u
n1
9. (e
u
)
= u
e
u
10. (a
u
)
= a
u
u
lna, a R
+
11. (ln(u))
=
u
u
12. (log
a
(u))
=
1
lna
u
u
13. (u
v
)
= u
v
v
ln(u) + v u
v1
u
14. ( sen(u))
= u
cos(u) 15. (cos(u))
= u
sen(u)
16. ( tg(u))
=
u
cos
2
(u)
= u
sec
2
(u) 17. ( cotg(u))
=
u
sen
2
(u)
= u
cosec
2
(u)
18. (sec(u))
= u
sec(u) tg(u) 19. ( cosec(u))
= u
cosec(u) cotg(u)
20. ( arcsen(u))
=
u
1 u
2
21. (arccos(u))
=
u
1 u
2
22. ( arctg(u))
=
u
1 + u
2
23. ( arccotg(u))
=
u
1 + u
2
24. ( arcsec(u))
=
u
1 + u
2
25. ( arccosec(u))
=
u
1 u
2
26. ( senh(u))
= u
cosh(u) 27. (cosh(u))
= u
senh(u)
28. ( tgh(u))
=
u
cosh
2
(u)
= u
sech
2
(u) 29. ( cotgh(u))
=
u
senh
2
(u)
= u
cosech
2
(u)
30. ( sech(u))
= u
tgh(u) sech(u) 31. ( cosech(u))
= u
cotgh(u) cosech(u)
32. ( argsh(u))
=
u
u
2
+ 1
33. ( argch(u))
=
u
u
2
1
34. ( argtgh(u))
=
u
1 u
2
35. ( argcotgh(u))
=
u
1 u
2
36. ( argsech(u))
=
u
1 u
2
37. ( argcosech(u))
=
u
1 + u
2
Tabela 5.1: Frmulas de derivao.
5.4 Teoremas principais
Nos teoremas principais que iremos considerar aqui nesta seco, vo ter papel de relevo as
funes que so contnuas num intervalo fechado [a, b], com a < b, e derivveis no intervalo
aberto (a, b). Comecemos por estabelecer um resultado cuja interpretao geomtrica trivial.
Proposio 5.4.1 Seja f uma funo real de varivel real, derivvel num ponto x = a interior
a D
f
. Se f tem um extremo local em x = a, ento f
(a) = 0.
A proposio anterior d-nos uma condio necessria da existncia de extremo, mas
que no suciente, como iremos ver mais adiante.
Proposio 5.4.2 (Teorema de Rolle) Seja f uma funo real de varivel real, contnua
no intervalo fechado [a, b] e derivvel no intervalo aberto (a, b), tal que f(a) = f(b). Ento
existe, pelo menos, um ponto c (a, b) tal que f
(c) = 0.
O teorema de Rolle
1
tem muita importncia, no s porque nos possibilita demonstrar out-
ros teoremas fundamentais do clculo diferencial, mas tambm porque nos permite mostrar a
existncia de zeros de uma funo, ou razes de uma equao, num dado intervalo.
Corolrio 5.4.1 (Teorema de Rolle) Suponhamos que as condies do Teorema de Rolle
so vericadas. Ento:
1. Entre dois zeros consecutivos de uma funo derivvel num intervalo aberto, existe, pelo
menos, um zero da funo derivada;
2. Entre dois zeros consecutivos da derivada de uma funo derivvel num intervalo aberto,
no pode haver mais do que um zero da funo.
DEMONSTRAO - EXERCCIO: Aplicar o Teorema de Rolle.
Exemplo 5.4.1 Mostre que, independentemente do valor de c, a equao x
3
+3x+c = 0 tem,
quanto muito, uma raiz no intervalo [1, 1].
Em determinadas situaes, podemos recorrer ao Teorema do Valor Intermdio para mostrar
que a derivada de uma funo tem, pelo menos, um zero num dado intervalo. Neste sentido, se
assumirmos que a derivada f
de uma funo f continua num intervalo [a, b] e se f
(a) f
(b) < 0,
ento existe, pelo menos, um zero da funo derivada f
(x) no intervalo [a, b]. Este resultado

, por vezes, designado na literatura como o Teorema de Darboux
2
.
A derivada de uma funo, calculada num ponto, reecte propriedades da funo apenas nesse
ponto. Por outro lado, a razo incremental de uma funo num ponto vai reectir propriedades
da funo no intervalo onde a razo incremental considerada.
1
Michel Rolle (1652-1719), matemtico francs natural de Ambert.
2
Jean Gaston Darboux (1842-1917), matemtico francs natural de Nimes.
Proposio 5.4.3 (Teorema de Lagrange) Seja f uma funo real de varivel real, con-
tnua no intervalo fechado [a, b] e derivvel no intervalo aberto (a, b). Ento existe, pelo menos,
um ponto c (a, b) tal que
f(b) f(a)
b a
= f
(c).
O Teorema de Lagrange
3
, o principal resultado do Clculo Diferencial e frequentemente
designado por teorema do valor mdio da derivada. Em alguma literatura, este resultado
designado por teorema dos acrscimos nitos.
Exemplo 5.4.2 Usando o Teorema de Lagrange, mostre que
[ sen(x)[ [x[ para todo x R.
O Teorema de Lagrange tem consequncias imediatas no estudo da monotonia das funes
que deixaremos para uma seco mais adiante. Por outro lado, tem tambm a extenso que
apresentamos a seguir e que, como iremos ver, tem muita utilidade em exerccios prticos de
clculo de limites.
Proposio 5.4.4 (Teorema de Cauchy) Sejam f e g duas funes reais de variveis reais
contnuas no intervalo fechado [a, b] e derivveis no intervalo aberto (a, b). Ento existe, pelo
menos, um ponto c (a, b) tal que
g
(c) (f(b) f(a)) = f
(c) (g(b) g(a)) .

Em particular, sempre que as divises sejam possveis, a frmula do valor mdio expressa no
Teorema de Cauchy, pode ser escrita na forma seguinte:
f(b) f(a)
g(b) g(a)
=
f
(c)
g
(c)
.
A consequncia mais importante do Teorema de Cauchy, uma regra que nos permite calcular
a grande maioria dos limites que dem indeterminaes dos tipos 0/0.
Proposio 5.4.5 (Regra de Cauchy) Sejam f e g duas funes, reais de variveis reais,
derivveis num intervalo aberto (a, b), com a < b e possivelmente innitos, e x
0
um dos extremos
do intervalo (a, b). Suponhamos que:
1. g
(x) ,= 0 para todos x (a, b);

2. lim
xx
0
f(x) = lim
xx
0
g(x) = 0 ou lim
xx
0
f(x) = lim
xx
0
g(x) = .
Ento,
lim
xx
0
f(x)
g(x)
= lim
xx
0
f
(x)
g
(x)
,
desde que o limite do segundo membro exista em R.
3
Joseph-Louis Lagrange (1736-1813), matemtico francs nascido em Itlia com o nome de Giuseppe Lodovico
Lagrangia.
SEM DEMONSTRAO: Ver Santos Guerreiro p. 330.
Observe-se que, sendo x
0
um dos extremos do intervalo (a, b), os limites da Regra de Cauchy
so, na verdade, limites laterais. Observe-se que, como x
0
pode eventualmente ser innito, a
Regra de Cauchy permanece ainda vlida no caso de
lim
x
f(x) = lim
x
g(x) = 0 ou lim
x
f(x) = lim
x
g(x) = .
Outra regra muito importante, mas que aplicvel somente s indeterminaes do tipo 0/0
a Regra de LHpital
4
.
Proposio 5.4.6 (Regra de LHpital) Sejam f e g duas funes, reais de variveis reais,
contnuas no intervalo fechado [a, b] e derivveis no intervalo aberto (a, b), com a < b, e seja x
0
um dos extremos do intervalo [a, b]. Suponhamos que f(x
0
) = g(x
0
) = 0 e g
(x
0
) ,= 0. Ento,
lim
xx
0
f(x)
g(x)
=
f
(x
0
)
g
(x
0
)
.
SEM DEMONSTRAO: Ver Santos Guerreiro p. 333.
A Regra de LHpital admite, ainda, a extenso f(x
0
) = g(x
0
), g
(x
0
) = 0 e f
(x
0
) ,= 0. Neste
caso, o limite innito. Observe-se que a Regra de LHpital no igual Regra de Cauchy -
as hipteses so diferentes. Esta duas regras do-nos uma das ferramentas mais poderosas da
Anlise Matemtica para o clculo de limites de quocientes entre funes elementares. Para o
clculo dos limites, iremos design-las no nico nome de Regra de Cauchy-LHpital.
Exemplo 5.4.3 Usando a Regra de Cauchy-LHpital, calcule o limite seguinte:
lim
x0
x tg(x)
x sen(x)
.
As indeterminaes 0 e , que podem surgir no clculo de limites de um produto
f(x)g(x) ou de uma soma f(x) + g(x), reduzem-se s indeterminaes 0/0 ou / pelas
transformaes
f(x) + g(x) = f(x)g(x)
_
1
g(x)
+
1
f(x)
_
, f(x)g(x) =
f(x)
1/g(x)
=
g(x)
1/f(x)
.
Deste modo, podemos usar a Regra de Cauchy-LHpital para a grande maioria das indetermi-
naes.
Exemplo 5.4.4 Usando a Regra de Cauchy-LHpital, calcule o limite seguinte:
lim
x+
x
1
x
.
Apesar da Regra de Cauchy-LHpital ser muito ecaz no clculo de limites, existem situaes
em que a sua aplicao no permite calcular o limite pretendido.
Exemplo 5.4.5 Mostre que o limite seguinte no pode ser calculado pela Regra de Cauchy-
LHpital. Calcule-o usando outros mtodos.
lim
x+
x sen(x)
x + cos(x)
.
4
Guillaume Franois Antoine (1661-1704), Marqus de LHpital, matemtico francs nascido em Paris.
5.5 Derivadas de ordem superior
Seja f uma funo real de varivel real, derivvel e com funo derivada f
. Se a funo f

derivvel num ponto x = a interior a D
f
D
f
, ento dizemos que a funo f duas vezes
derivvel no ponto x = a. Esta derivada designa-se por derivada de segunda ordem, ou segunda
derivada, da funo f em x = a e dene-se por:
f
(a) = lim
xa
f
(x) f
(a)
x a
.
Por um processo indutivo, podemos denir a derivada de qualquer ordem superior a 2.
Denio 5.5.1 Sejam f uma funo real de varivel real e n N. Diz-se que f uma
funo n-vezes derivvel no ponto x = a, se a funo f for (n-1)-vezes derivvel numa
vizinhana do ponto x = a e se existir o limite
f
(n)
(a) = lim
xa
f
(n1)
(x) f
(n1)
(a)
x a
.
Por conveno, dizemos que a derivada de ordem zero de uma funo a prpria funo:
f
(0)
(a) = f(a). Se, para qualquer n N
0
, f n-vezes derivvel num intervalo I interior ao seu
domnio, ento f diz-se uma funo indenidamente derivvel em I.
Proposio 5.5.1 Sejam f e g duas funes reais de varivel real, n-vezes derivveis num
ponto x = a interior aos seus domnios. Ento:
1. f + g n-vezes derivvel em x = a e
(f + g)
(n)
(a) = f
(n)
(a) + g
(n)
(a).
2. f g n-vezes derivvel em x = a e
(f g)
(n)
(a) =
n
k=0
_
n
k
_
f
(k)
(a) f
(nk)
(a). (Regra de Leibniz)
DEMONSTRAO - EXERCCIO: Usar induo matemtica.
Pela proposio anterior, saem facilmente expresses para as derivadas de ordem n da diferena
e do quociente.
Exemplo 5.5.1 Recorrendo de Regra de Leibniz, determine a derivada de ordem n da funo
seguinte:
f(x) =
e
x
x
.
5.6 Frmula de Taylor
Nesta seco vamos desenvolver um mtodo que nos permite calcular os valores das funes
elementares como o seno ou a exponencial. Este mtodo tem por base uma aproximao das
funes elementares por polinmios com um termo que nos d o erro e que facilmente estimado.
Comecemos por recordar que a derivada de uma funo f num ponto x = a d-nos o declive da
recta tangente ao grco da funo nesse ponto. Muito prximo do ponto x = a a funo f e
a sua recta tangente vo ter valores aproximados. Por uma simples anlise geomtrica, vemos
que a expresso designatria da recta tangente ao grco da funo no ponto x = a
y = f(a) + f
(a)(x a).
Deste modo, numa vizinhana do ponto x = a onde a funo f seja derivvel, podemos escrever
a igualdade seguinte:
f(x) = f(a) + f
(a)(x a) + r
1
(x);
onde r
1
(x) o erro que se comete na aproximao. Se f for duas vezes derivvel no ponto
x = a, usando a expresso anterior, podemos escrever:
f
(x) = f
(a) + f
(a)(x a) + r(x);
onde r(x) o erro que se comete nesta aproximao. Conjugando as duas expresses anteriores,
obtemos
f(x) = f(a) + f
(a)(x a) + f
(a)
(x a)
2
2
+ r
2
(x);
onde r
2
(x) expressa o erro neste caso. Observe-se que os termos de segunda ordem vm a dividir
por 2, porque se derivarmos esta ltima expresso temos de obter a anterior. Prosseguindo com
este raciocnio, podemos generalizar este resultado do modo seguinte.
Proposio 5.6.1 (Frmula de Taylor) Seja f uma funo denida num intervalo aberto
I R, e n vezes derivvel num ponto a I. Tem-se ento, para qualquer x I,
f(x) = f(a) + f
(a)(x a) +
f
(a)
2
(x a)
2
+ +
f
(n)
(a)
n!
(x a)
n
+ r
n
(x) ,
onde
lim
xa
r
n
(x)
(x a)
n
= 0 .
SEM DEMONSTRAO: Ver, por exemplo, S. Guerreiro, p. 355.
Observemos que, no caso de n = 0, basta que f seja contnua. A frmula anterior, chama-se
frmula de Taylor
5
de ordem n da funo f no ponto x = a. No caso particular de a = 0, a
frmula de Taylor recebe o nome de frmula de Maclaurin
6
A funo r
n
(x) designa-se por
resto de ordem n e, de entre as vrias expresses possveis, podemos escrever
r
n
(x) =
f
(n+1)
()
(n + 1)!
(x a)
n+1
, com entre a e x,
5
Brook Taylor (1685-1731), matemtico ingls natural de Londres.
6
Colin Maclaurin (1698-1746), matemtico escocs natural de Kilmodan.
admitindo que f (n + 1) vezes derivvel. Este resto da frmula de Taylor conhecido na
literatura como Resto de Lagrange e a correspondente frmula de Taylor, como Frmula de
Taylor-Lagrange.
No caso particular de f(x) ser um polinmio, ento o resto r
n
(x) = 0 se o grau do polinmio
for menor ou igual a n.
Proposio 5.6.2 As funes elementares seguintes admitem as frmulas de Maclaurin de
ordem n indicadas:
1.
1
1 x
= 1 + x + x
2
+ + x
n
+ r
n
(x);
2. e
x
= 1 + x +
x
2
2
+ +
x
n
n!
+ r
n
(x);
3. ln(1 + x) = x
x
2
2
+ + (1)
n1
x
n
n
+ r
n
(x);
4. (1 + x)
= 1 + x +
_

2
_
x
2
+ +
_

n
_
x
n
+ r
n
(x), R;
5. sen x = x
x
3
3!
+
x
5
5!
+ + sen
_
n
2
_
x
n
n!
+ r
n
(x);
6. cos x = 1
x
2
2!
+
x
4
4!
+ + cos
_
n
2
_
x
n
n!
+ r
n
(x).
As funes cujas frmulas de Taylor, em torno de determinado ponto, tm restos cada vez mais
pequenos medida que a ordem n aumenta, dizem-se analticas e sero estudadas mais frente
no captulo de sries de funes.
5.7 Aplicaes geomtricas
A principal aplicao geomtrica das derivadas o estudo grco de funes. Vamos ver que
os resultados da seco anterior nos vo permitir obter informao, por exemplo, relativamente
monotonia ou aos extremos de funes.
Denio 5.7.1 Seja f uma funo real de varivel real, com domnio D
f
, derivvel num
ponto x = a interior a D
f
e seja b = f(a). A equao da recta tangente ao grco da
funo f no ponto de coordenadas (a, b) :
y = f(a) + f
(a)(x a).
Chama-se normal ao grco da funo f no ponto de coordenadas (a, b), recta que passa
nesse ponto e perpendicular recta tangente ao grco de f em (a, b). A equao da recta
normal dada por:
y = f(a)
1
f
(a)
(x a), f
(a) ,= 0.
Se f
(a) = 0, a recta normal x = a.

Exemplo 5.7.1 Determine as equaes das rectas tangente e normal ao grco da funo
f(x) =
1 x
2
no ponto x =
2/2.
Como j abordamos anteriormente, o Teorema de Lagrange, que vimos numa seco anterior,
vai-nos permitir obter informao sobre a monotonia de uma funo.
Corolrio 5.7.1 (Teorema de Lagrange) Suponhamos que as condies do Teorema de La-
grange so vericadas.
1. Se f
(x) = 0 em todos os pontos de (a, b), ento f(x) = constante em (a, b).
2. Se f
(x) > 0 em todos os pontos de (a, b), ento f estritamente crescente em (a, b).
3. Se f
(x) < 0 em todos os pontos de (a, b), ento f estritamente decrescente em (a, b).
DEMONSTRAO - EXERCCIO: Consequncia imediata do Teorema de Lagrange.
Exemplo 5.7.2 Determine os intervalos de monotonia da funo f(x) = x2 sen(x) denida
em [0, 2].
No corolrio seguinte mostramos como o Teorema de Lagrange pode, ainda, ser aplicado para
averiguar da natureza dos pontos extremos de uma funo.
Corolrio 5.7.2 (Teorema de Lagrange) Seja f uma funo real de varivel real, contnua
num intervalo fechado [a, b] e derivvel em todos os pontos do intervalo aberto (a, b), com a
possvel excepo de um ponto x = c.
1. Suponhamos que f
(x) > 0 para todos x < c e f
(x) < 0 para todos x > c. Ento f tem

um mximo relativo em x = c.
2. Suponhamos que f
(x) > 0 para todos x > c e f
(x) < 0 para todos x < c. Ento f tem

um mnimo relativo em x = c.
Exemplo 5.7.3 A partir da resoluo do exerccio anterior, determine os extremos da funo
f(x) = x 2 sen(x) denida em [0, 2].
Contudo, verica-se que o estudo dos extremos de muitas funo, a partir do Teorema de
Lagrange, torna-se demasiado moroso ou, mesmo, no pode ser feito. Por outro lado, sabemos
que a Proposio 5.4.1 nos d uma condio necessria da existncia de extremo. No entanto,
este resultado no suciente para a existncia de extremos, como mostra o contra-exemplo
do exerccio seguinte.
Exemplo 5.7.4 Verique que, para f(x) = x
3
, f
(0) = 0, mas f no tem nenhum extremo em

x = 0.
Portanto, existem pontos onde a derivada de uma funo se anula, mas que no so pontos
extremos da funo. Os pontos onde a derivada de uma funo se anular, vo ser designados
por pontos de estacionariedade da funo. Os pontos de estacionariedade de uma funo
que no forem pontos extremos vo ser pontos onde a concavidade do grco da funo passa
de cncava a convexa, ou vice-versa. Estes pontos, so designados por pontos de inexo da
funo.
f
, derivvel num
ponto x = a interior a D
f
. Diz-se que f uma funo convexa no ponto x = a, se, numa
vizinhana do x = a, o grco de f est por cima da recta tangente ao grco da funo de f
em x = a. Se, numa vizinhana de x = a, o grco de f est por baixo da recta tangente ao
grco da funo de f em x = a, diz-se que f uma funo cncava em x = a.
Por vezes dizemos que uma funo tem a concavidade voltada para cima num ponto,
querendo signicar que ela convexa nesse ponto. De igual modo, diz-se que uma funo tem
a concavidade voltada para baixo num ponto, com o signicado de que ela cncava nesse
ponto.
f
, e 2-vezes de-
rivvel num intervalo I estritamente contido em D
f
.
1. Se f
(x) > 0 para x I, ento f convexa em I.

2. Se f
(x) < 0 para x I, ento f cncava em I.

Da proposio anterior, sai que, se x = c for um ponto interior a um intervalo [a, b] D
f
tal
que f
(x) > 0 para a < x < c e f
(x) < 0 para c < x < b, ou vice-versa, ento x = c um

ponto de inexo da funo f. Em particular, podemos dizer que, se x = c um ponto de
inexo da funo f, ento f
(c) = 0.
A proposio seguinte mostra como, conjugando a Proposio 5.4.1 e a Frmula de Taylor,
possvel obter uma condio suciente de mximo ou mnimo de uma funo, assim como de
ponto de inexo.
f
, n-vezes derivvel
no ponto x = a interior a D
f
. Suponhamos que f
(n)
(a) , das sucessivas derivadas de f, a
primeira que no se anula no ponto x = a, isto :
f
(a) = = f
(n1)
(a) = 0 e f
(n)
(a) ,= 0.
Nestas condies:
1. se n par, f tem um extremo em x = a, que ser mximo se f
(n)
(a) < 0, ou mnimo se
f
(n)
(a) > 0;
2. se n mpar, f tem um ponto de inexo em x = a.
SEM DEMONSTRAO: Consequncia imediata da Frmula de Taylor.
A primeira armao da proposio anterior, permite-nos, tambm, dizer que, se n 2, a funo
f convexa ou cncava em x = a, consoante f
(n)
(a) > 0 ou f
(n)
(a) < 0, respectivamente. Esta
armao d-nos uma condio suciente da convexidade ou concavidade de uma funo num
ponto, independentemente da funo ter extremo ou ponto de inexo nesse ponto.
Exemplo 5.7.5 Determine a natureza dos pontos de estacionariedade da funo f(x) = e
x
2
.
Indique os intervalos de convexidade e concavidade.
Denio 5.7.3 Seja f uma funo real de varivel real denida num intervalo no limitado
da forma (a, +) ou (, a). Diz-se que a recta y = mx+p uma assmptota no vertical
ao grco da funo f quando x tende para +, se
f(x) = mx + p + r(x), lim
x+
r(x) = 0.
uma assmptota no vertical ao grco da funo f quando x tende para , se
f(x) = mx + p + r(x), lim
x
r(x) = 0.
A assmptota y = mx + p, a existir, nica e tem-se:
m = lim
x
f(x)
x
, p = lim
x
[f(x) mx] ;
com x a tender para + ou no caso de ser assmptota quando x tende para + ou .
Por complementaridade, diz-se que a recta x = a uma assmptota vertical quando x tende
para a, se vericar, pelo menos, um dos casos seguintes:
lim
xa
f(x) = ; lim
xa
+
f(x) = .
Exemplo 5.7.6 Determine as assmptotas da funo f(x) = e
x
2
.
5.8 Exerccios
1. Determine as derivadas das funes seguintes usando a denio:
a) f(x) = 2x 1 ; b) g(x) = 2x
3
; c) h(x) = ln(3x + 1) ; c) i(x) = sen(x
2
) .
2. Determine as derivadas laterais das funes seguintes, nos pontos indicados, usando a
denio:
a) f(x) = [x[ , x = 0; b) g(x) = x [x[ , x = 0 ;
c) h(x) = x [x] , x = 2 ; d) i(x) = x [x] , x = 2 ;
3. Determine as derivadas laterais das funes seguintes usando a denio:
a) f(x) = [x[ ; b) g(x) = x [x[ ;
c) h(x) = x [x] ; d) i(x) = x [x] ;
4. Deduzir as frmula aproximadas seguintes (para os valores de [x[ pequenos em compara-
o com x) e com essas frmulas calcule os valores aproximados das expresses indicadas:
a)

x + x
x +
x
2
x
;
5,
15,
70;
b) ln(x + x) ln(x) +
x
x
; ln(2), ln(3), ln(10);
c) arctg(x + x) arctg(x) +
x
1 + x
2
; arctg
_
1
2
_
, arctg
_
3
2
_
.
5. Usando as regras de derivao, mostre que:
(a) se f(x) = tgh(x), ento f
(x) = sech
2
(x);
(b) se f(x) = cotgh(x), ento f
(x) = cosech
2
(x);
(c) se f(x) = sech(x), ento f
(x) = tgh(x) sech(x);

(d) se f(x) = cosech(x), ento f
(x) = cotgh(x) cosech(x).

6. Usando o Teorema de Derivao da Funo Inversa, determine as derivadas das funes
seguintes:
a) f(x) =
3
2x 3 ; b) g(x) = log
10
(x 1) ; c) h(x) = arctg(3x + 1) ;
d) i(x) = argsh(5x 2) ; e) j(x) = arcsen
_
x 1
x + 1
_
; f) k(x) =
_
ln(x + 1) .
7. Usando o Teorema de Derivao da Funo Inversa, mostre que:
(a) se f(x) = argsh(x), ento f
(x) =
1
x
2
+ 1
;
(b) se f(x) = argch(x), ento f
(x) =
1
x
2
1
;
(c) se f(x) = arcsec(x), ento f
(x) =
1
x
1 + x
2
;
(d) se f(x) = arccosec(x), ento f
(x) =
1
x
1+x
2
;
(e) se f(x) = argtgh(x), ento f
(x) =
1
1 x
2
;
(f) se f(x) = argcotgh(x), ento f
(x) =
1
x
2
1
.
8. Usando o Teorema de Derivao da Funo Composta, determine as derivadas das funes
seguintes:
a) f(x) = sen(ln x) ; b) g(x) = x
x
2
1
; c) h(x) = ln(cosh x) ;
d) i(x) = cot(sec(5x 2)) ; e) h(x) = arcsen(cos x) ; f) k(x) =
_
ln(x
2
+ 1) .
9. Calcule o valor da derivada de g(x) no ponto x = 0, se g(x) = f( sen
2
x) + f(cos
2
x).
10. Determine o maior domnio onde cada uma das funes seguintes derivvel e, nesse
domnio, indique uma expresso para a respectiva funo derivada:
a) f(x) =
x
1 + e
1
x
; b) g(x) = e
|x|
; c) h(x) =
ln(x + 1)
x
;
d) i(x) =
_
x
1+e
1
x
x ,= 0
0 x = 0
; e) j(x) =
_
ln(x+1)
x
x ,= 0
1 x = 0
; f) g) k(x) =
_
sen x
x
x ,= 0
1 x = 0 .
11. Usando a tabela das derivadas, determine as derivadas das funes seguintes:
a) f(x) =
4
3
4
_
x 1
x + 2
; b) g(x) = tg(x) x ; c) h(x) =
x + cos x
1 sen x
;
d) i(x) = sen x cos x tg x ; e) j(x) = e
arctg x
; f) k(x) = cosh(cos x) senh( senx) ;
g) l(x) = (ln x)
x
; h) m(x) = cos( arcsenx) ; i) n(x) = x
x
x1
.
12. Verique que o Teorema de Rolle no vlido para a funo f(x) =
3
x
2
no intervalo
[1, 1]. Como explica este facto?
13. Prove que a funo x
3
+ 3x 1 tem uma nica raz real e que esta pertence ao intervalo
(0, 1).
14. () Mostre que existem exactamente dois valores de x para os quais x
2
= x sen(x)+cos(x) .
15. () Prove que, se um polinmio P(x) de grau n tem n razes reais distintas, ento o
polinmio P
(x) tem n 1 razes reais distintas.

16. Prove, usando o Teorema de Lagrange, que:
a) ln(1 + x) ln x <
1
x
, x > 0 ; b) tg x x, x
_
0,

2
_
;
c) ln x < x , x 1 ; d) cos x 1 +[x[ , x R.
17. Calcule os limites seguintes, usando a Regra de Cauchy-LHospital:
a) lim
x0
2
x
3
x
x
; b) lim
x0
+
_
1
x
e
1
x
_
; c) lim
x0
+
x(1 ln x)
ln(1 x)
;
d) lim
x+
x
1
x
; e) lim
x0
1 cos(x
2
)
x
3
sen x
; f) () lim
x+
_
3
x
6
+ 3x
5
x(1 + x)
_
;
g) lim
x0
sen x + cos x e
x
ln(1 + x
2
)
; h) lim
x0
(cot x)
senx
; i) lim
x0
+
x
x
.
18. Mostre que os limites:
a) lim
x0
x
2
sen
_
1
x
_
senx
e b) lim
x+
x senx
x + senx
no podem ser calculados pela Regra de Cauchy-LHospital. Calcule-os por outros mto-
dos.
19. Deduza frmulas explcitas de clculo para as seguintes derivadas de ordem n:
a) D
n
_
e
2x1
_
; b) D
n
_
1
3x + 1
_
; c) D
n
[cos(5x 2)] ;
d) D
n
[ln(2x + 1)] ; e) D
n
_
sen
_
x + 1
3
__
; f) D
n
[ senh(x) cosh(x)] .
20. Determine as frmulas de Maclaurin de ordem n das funes seguintes:
a) f(x) = e
2x1
; b) g(x) =
1 + x ; c) h(x) = ln(2 + x) ;
d) () i(x) = tg(x) ; e) j(x) = senh(x) ; f) () k(x) = arcsen(x) .
21. Determine as frmulas de Taylor de ordem n das funes seguintes em torno dos pontos
indicados:
a) f(x) = x ln x, x
0
= 1 ; b) () g(x) =
arctgx
x
, x
0
= 0 ;
c) h(x) =
(x 1)
2
x
2
, x
0
= 1 ; d) i(x) = sen(x) cos(x) , x
0
= 0 ;
e) j(x) = cosh(2x 1) , x
0
=
1
2
; f) k(x) = ln
_
_
1 + x
1 x
_
, x
0
= 0 .
22. Calcule os limites seguintes, usando a Frmula de Taylor:
a) lim
x0
senx x
x
2
; b) lim
x0
ln(1 + x) x
x
2
; c) lim
x0
1 cos x
x
2
;
d) lim
x0
senh(x) x
x
2
; e) lim
x0
1 cosh x
x
2
; f) lim
x0
1 cos(2x) 2x
2
x
4
.
23. Duas funes f e g tm primeira e segundas derivadas no ponto x = 0 e satisfazem as
relaes:
f(0) =
2
g(0)
, f
(0) = 2g
(0) = 4g(0) , g
(0) = 5f
(0) = 6f
(0) = 3 .
a) se h(x) =
f(x)
g(x)
, calcule h
(0).
b) se k(x) = f(x) g(x), calcule k
(0).
c) Calcule o limite
lim
x0
g
(x)
f
(x)
.
24. Estude as funes seguintes quanto monotonia e extremos:
a) f(x) =
x
x
2
+ 1
; b) g(x) =
1
1 + sen
2
x
; c) h(x) = e
x
2
;
d) i(x) = [x
2
5x + 6[ ; e) j(x) = [x[
1
e
|x1|
; f) k(x) = senx + cos x.
25. Considere a curva:
y = x
3
6x
2
+ 8x.
a) Mostre que a recta y = x tangente a esta curva.
b) Determine o ponto de tangncia.
c) A recta y = x tangente curva em mais algum ponto?
26. Determine as equaes das rectas tangentes e das rectas normais s curvas seguintes nos
pontos indicados:
a) y = arcsenx, x
0
=
1
2
; b) y = x
2
cos x, x
0
=

2
;
c) y = x + senx cos x, x
0
=

2
; d) y = 4x
3
+ senx, x
0
=

4
;
e) y = arctgx, x
0
= 0 ; f) y =
1 + cos x
e
e
x
+ x 1 , x
0
= .
27. Faa o estudo completo das funes seguintes, tendo em conta, sempre que seja possvel,
o domnio, os zeros, a paridade, os pontos de descontinuidade, a monotonia, os extremos,
o sentido das concavidades, as assmptotas e conclua com a representao grca:
a) y =
x
e
x
; b) y =
sen(2x)
1 cos(2x)
; c) y =
x
2
7x + 7
x
2
3x + 3
;
d) y = arctg(x +
x
2
1) ; e) y = [ senx[ + x ; f) y = e
1
1x
2
;
g) y = x +
1
x
; h) y =
1
senx + cos x
; i) y = tgh(x) ;
j) y = x sec(x) ; k) y = x
1
x
; l) () y = argcosh
_
x +
1
x
_
.
Captulo 6
Primitivas
6.1 Introduo
Denio 6.1.1 Seja f uma funo denida num intervalo I de R. Chama-se funo primi-
tiva de f em I ou, somente, primitiva de f, a qualquer funo g denida em I que verique
a equao
g
(x) = f(x) x I.
Dizemos que uma funo f primitivvel em I, se existir, pelo menos, uma funo g : I R
tal que g
= f. Denotamos o conjunto de todas as primitivas de uma funo f (num intervalo

I) por um dos smbolos seguintes:
_
f(x) dx ou T [f(x)] (com x I).
Quando se utiliza a notao
_
f(x) dx para a primitiva de uma funo f(x), muitos autores
designam as primitivas por integrais indenidos. Resulta desta denio que a primitiva de
uma funo f, denida num intervalo I de R, derivvel em todos os pontos interiores a I e,
em cada ponto extremo deste intervalo, tem derivada lateral nita.
Proposio 6.1.1 Seja F uma primitiva de uma funo f intervalo num I de R. Ento, o
conjunto de todas as primitivas de f em I constitudo por todas as funes da forma
F(x) + c, c = constante.
Da proposio anterior, resulta que a diferena entre quaisquer duas primitivas de uma mesma
funo constante. Por outro lado, pode-se provar que, dados x
0
I e y
0
R, existe uma
nica primitiva F da funo f vericando a condio F(x
0
) = y
0
.
Proposio 6.1.2 (Propriedade linear) Sejam f e g duas funes primitivveis num inter-
valo I de R e uma constante real. Ento:
1.
_
[f(x) + g(x)] dx =
_
f(x) dx +
_
g(x) dx;
2.
_
[f(x)] dx =
_
f(x) dx.
115
116 6. PRIMITIVAS
6.2 Primitivas imediatas
Pelo exposto anteriormente, verica-se que a primitivao , pois, a operao funcional inversa
da derivao. Neste sentido, as primitivas so, por vezes, designadas por anti-derivadas e
as primeiras frmulas de primitivas so obtidas por inverso das frmulas de derivao. As
primitivas obtidas desta forma (ver Tabela 6.1) so designadas por primitivas imediatas.
Existem, contudo, funes que no sendo imediatamente primitivveis, podem ser reduzidas a
primitivas imediatas, usando primeiro propriedades dessas funes. Esto neste caso algumas
funes trigonomtricas e hiperblicas. Estas primitivas so habitualmente designadas por
primitivas quase imediatas. Para as funes trigonomtricas, convm utilizar as frmulas
j conhecidas:
sen
2
(x) + cos
2
(x) = 1, 1 + tg
2
(x) = sec
2
(x), 1 + cotg
2
(x) = cosec
2
(x).
Para as funes hiperblicas, podemos usar as frmulas seguintes:
1 + senh
2
(x) = cosh
2
(x), 1 tgh
2
(x) = sech
2
(x), cotgh
2
(x) 1 = cosech
2
(x).
Exemplo 6.2.1 Determine as primitivas seguintes:
a)
_
cos
2
(x) dx ; b)
_
senh
3
(x) dx.
Para determinar as primitivas de funes que faam envolver secantes e cossecantes, trigonomtri-
cas ou hiperblicas, precisamos de saber as primitivas dessas funes.
Exemplo 6.2.2 Seja u uma funo real de varivel real derivvel. Mostre que:
a)
_
u
sec(u) dx = ln [ tg(u) + sec(u)[ + C ;

b)
_
u
cosec(u) dx = ln [ cotg(u) + cosec(u)[ + C .

6.3 Primitivao por partes
O denominado mtodo de primitivao por partes d-nos uma forma de podermos determinar
a primitiva de uma expresso que envolve o produto de duas ou mais funes.
Proposio 6.3.1 (Mtodo de primitivao por partes) Sejam f uma funo primitivvel
num intervalo I de R e g outra funo, derivvel no mesmo intervalo. Ento a funo produto
f g primitivvel no intervalo I e a sua primitiva determinada da forma seguinte:
_
(f(x) g(x)) dx =
_
f(x) dxg(x)
_ __
f(x) dx g
(x)
_
dx.
117 6. PRIMITIVAS
1.
_
0 dx = C
2.
_
1 dx = x + C
3.
_
u
u
r
dx =
1
r+1
u
r+1
+ C, r R, r ,= 1
4.
_
u
u
dx = ln [u[ + C
5.
_
u
e
u
dx = e
u
+ C
6.
_
a
u
u
dx =
1
lna
a
u
+ C, a R
+
7.
_
u
sen(u) dx = cos(u) + C
8.
_
u
cos(u) dx = sen(u) + C
9.
_
u
sec
2
(u) dx = tg(u) + C
10.
_
u
cosec
2
(u) dx = cotg(u) + C
11.
_
u
sec(u) tg(u) dx = sec(u) + C

12.
_
u
cosec(u) cotg(u) dx = cosec(u) + C

13.
_
u
senh(u) dx = cosh(u) + C
14.
_
u
cosh(u) dx = senh(u) + C
15.
_
u
sech
2
(u) dx = tgh(u) + C
16.
_
u
cosech
2
(u) dx = cotgh(u) + C
17.
_
u
1u
2
dx = arcsen(u) + C = arccos(u) + C
18.
_
u
1+u
2
dx = arctg(u) + C = arccotg(u) + C
19.
_
u
u
2
1
dx = arcsec(u) + C = arccosec(u) + C
20.
_
u
u
2
+1
dx = argsh(u) + C ln
u +
u
2
+ 1
+ C
21.
_
u
u
2
1
dx = argch(u) + C ln
u +
u
2
1
+ C
22.
_
u
1u
2
dx = argtgh(u) + C = argcotgh(u) + C
1
2
ln
1+u
1u
+ C
Tabela 6.1: Frmulas de primitivas imediatas.
118 6. PRIMITIVAS
A frmula do mtodo de primitivao por partes, pode, ainda, aparecer numa das formas
equivalentes seguintes:
_
u
v dx = uv
_
uv
dx;
_
v du = uv
_
udv;
onde se supe que u e v so funes de x.
De um modo geral, o sucesso da aplicao deste mtodo, reside na escolha da funo que se
vai derivar. Esta funo deve ser escolhida de modo a que a expresso, que surge no segundo
termo da frmula de primitivao por partes, mais se simplique.
a)
_
xe
x
dx, b)
_
x cos(x) dx.
Existem outras situaes em que preciso usar o mtodo de primitivao por partes mais do
que vez e, mesmo assim, necessrio alguma subtileza para se determinar a primitiva.
Exemplo 6.3.2 Determine a primitiva:
_
e
x
sen(x) dx.
Por m, o mtodo de primitivao pode ser utilizado para determinar as primitivas de ex-
presses que envolvam uma s funo. Aqui no h dvidas quanto funo a primitivar ou
qual a derivar: escolhemos para derivar a nica funo da expresso e para primitivar a funo
identicamente igual a 1. Este raciocnio particularmente til para determinar todas as prim-
itivas das inversas das funes trigonomtricas e das funes hiperblicas, assim como para a
funo logaritmo.
a)
_
ln(x) dx; b)
_
arcsen(x) dx; c)
_
argch(x) dx.
6.4 Primitivao por substituio
O mtodo de primitivao por substituio, consiste numa mudana de varivel de modo
primitiva pretendida ser mais fcil de determinar. Este mtodo uma consequncia directa do
teorema de derivao da funo composta.
Proposio 6.4.1 (Primitivao por substituio) Sejam I e J dois intervalos de R, f :
I J uma funo primitivvel e : J I uma funo bijectiva e derivvel. Ento a primitiva
da funo f pode ser determinada pela frmula seguinte:
_
f(x) dx =
_
f((t))
(t) dt.
119 6. PRIMITIVAS
Observemos que, depois de determinada a primitiva por este mtodo, voltamos varivel inicial,
fazendo a substituio:
t =
1
(x).
Exemplo 6.4.1 Fazendo as mudanas de variveis indicadas, determine as primitivas seguintes:
a)
_
dx
e
x
+ 1
, x = ln(t); b)
_
x
x + 1
dx,
x + 1 = t.
Algumas das substituies mais importantes so indicadas a seguir. Se a funo a integrar
contm o radical:
a
2
x
2
, a = constante, faz-se a substituio
x = asen(t) ou x = a cos(t),
de modo a usar a Frmula Fundamental da Trigonometria:
sen
2
(x) + cos
2
(x) = 1;
x
2
+ a
2
x = atg(t), x = acotg(t), ou x = asenh(t),
de modo a usar, respectivamente, as frmulas
1 + tg
2
(x) = sec
2
(x), 1 + cotg
2
(x) = cosec
2
(x) ou 1 + senh
2
(x) = cosh
2
(x);
x
2
a
2
x = a sec(t), x = acosec(t), ou x = a cosh(t),
de modo a usar, tambm, as frmulas
1 + tg
2
(x) = sec
2
(x), 1 + cotg
2
(x) = cosec
2
(x) ou 1 + senh
2
(x) = cosh
2
(x);
Exemplo 6.4.2 Fazendo as mudanas de variveis indicadas, determine as primitivas seguintes:
a)
_
dx
_
x(1 x)
, x = cos
2
(t); b)
_
1
9 + x
2
, x = 3 senh(t).
Em muitas situaes, uma mesma primitiva pode ser determinada usando o Mtodo de Primi-
tivao por Partes ou usando o Mtodo de Primitivao por Substituio.
Exemplo 6.4.3 Determine a primitiva da Exerccio 6.4.2, alnea b, usando Mtodo de Prim-
itivao por Partes.
120 6. PRIMITIVAS
6.5 Exerccios
Primitivas imediatas
Determine as primitivas seguintes:
a)
_
x
5
dx ; b)
_
dx
x
2
; c)
_
2
x
dx ; d)
_
3
xdx ; e)
_
(2x
2
5x + 3) dx ;
f)
_
(3x + 4)
2
dx ; g)
_
x(x + a)(x + b) dx ; h)
_
(a + bx
3
)
2
dx, a, b R;
i)
_
dx
n
x
, n N; j)
_
(nx)
1n
n
dx , n N; k)
_
_
a
2
3
x
2
3
_
3
dx, a R; l)
_
sen
2
x dx ;
m)
_
cosh
2
x ; n)
_
(x
3
x
2
)
2
x
dx ; o)
_
tg
2
x sec
2
xdx ; p)
_
e
x
cotg(e
x
) dx.
Primitivao por partes
Determine as primitivas seguintes, usando o mtodo de primitivao por partes:
a)
_
ln xdx ; b)
_
arctgxdx ; c)
_
arcsenxdx ; d)
_
xsenxdx ;
e)
_
cos
2
xdx ; f)
_
x2
x
dx ; g)
_
x
n
e
x
dx, n N; h)
_
e
x
senxdx ;
i)
_
3
x
cos x dx ; j)
_
x
ln xdx , R; k)
_
xe
x
dx ;
l)
_
sen(ln x) dx ; m)
_
ln
_
1 + x
2
_
dx ; n)
_
xsenx cos x dx.
Primitivao por substituio
Determine as primitivas seguintes, usando a mudana de varivel indicada:
a)
_
dx
x
x
2
1
, x =
1
t
; b)
_
dx
e
x
+ 1
, x = ln t ;
c)
_
x(5x
2
3)
7
dx, 5x
2
3 = t ; d)
_
x
x + 1
dx, t =
x + 1 ;
e)
_
cos x
1 + sen
2
x
dx, t = senx ; f)
_
dx
_
x(1 x)
, x = sen
2
t ;
g)
_

x
2
dx, x =
sent ; h)
_

x
2
+ 4
x
dx, x = 2tgt ;
i)
_

9 + x
2
dx, x = 3senht ; j)
_
dx
x
x
2
1
, x = sec t ;
Captulo 7
Sries de funes
7.1 Introduo
Uma srie innita de funes reais de varivel real, ou apenas srie de funes, qualquer srie
da forma
+
n=0
u
n
(x) = u
0
(x) + u
1
(x) + u
2
(x) + + u
n
(x) + . . . ,
onde u
n
(x) uma sucesso de funes reais de varivel real denidas num domnio de R. Para
as sries de funes, usaremos a notao j utilizada nas sries numricas, substituindo apenas
o termo geral u
n
por u
n
(x). Outro facto importante, que, se nada for dito em contrrio e
sempre que a sucesso de funes de termo geral u
n
(x) esteja denida em R, o limite inferior
da srie ser 0. Observemos que, quando concretizamos a varivel x, a srie de funes

u
n
(x)
torna-se numa srie numrica. Deste modo, muito do que foi dito para as sries numricas, em
particular as noes de convergncia bem como alguns resultados de convergncia, ainda so
vlidos aqui, com as adaptaes necessrias.
Denio 7.1.1 (Convergncia) Diz-se que a srie de funes

u
n
(x) convergente num
ponto x R, se a sucesso de funes das somas parciais associada
S
0
(x) = u
0
(x), S
1
(x) = u
0
(x) + u
1
(x), . . . , S
n
(x) = u
0
(x) + u
1
(x) + + u
n
(x), . . .
for convergente nesse ponto x.
No caso da srie convergir num ponto x R, a sucesso de funes das somas parciais converge,
nesse ponto, para a denominada funo soma da srie, denotada por S(x), isto ,
lim
n+
S
n
(x) = S(x).
Neste caso, podemos escrever
+
n=0
u
n
(x) = S(x).
se a sucesso de funes das somas parciais S
n
(x) for divergente no ponto x, a srie
u
n
(x) diz-
se divergente em x. A srie
u
n
(x) absolutamente convergente no ponto x, se
[u
n
(x)[
121
122 7. SRIES DE FUNES
convergente em x. Se

[u
n
(x)[ divergente num ponto x, mas

u
n
(x) convergente
nesse ponto x, a srie

u
n
(x) diz-se simplesmente convergente, ou condicionalmente
convergente, no ponto x R. Tal como para as sries numricas, a noo de convergncia
absoluta mais forte do que a de convergncia simples.
Proposio 7.1.1 Seja

u
n
(x) uma srie de funes. Se

[u
n
(x)[ convergente num ponto
x R, ento tambm

u
n
(x) convergente em x e tem-se:
n=0
u
n
(x)
n=0
[u
n
(x)[.
7.2 Sries de potncias
Neste curso, iremos estudar apenas o caso particular de sries de funes cujos termos gerais
u
n
(x) faam envolver na varivel x somente potncias de x.
Denio 7.2.1 (Srie de potncias) Designa-se por srie de potncias de x toda a srie
da forma
+
n=0
a
n
x
n
= a
0
+ a
1
x + a
2
x
2
+ + a
n
x
n
+ . . . ,
onde a
n
uma sucesso numrica e x um real.
Os termos da sucesso a
n
so denominados coecientes da srie de potncias. Se, na srie
de potncias anterior substituirmos x por (x a), onde a um real xo, obtemos a srie de
potncias de (x a) seguinte:
+
n=0
a
n
(x a)
n
= a
0
+ a
1
(x a) + a
2
(x a)
2
+ + a
n
(x a)
n
+ . . . .
Exemplo 7.2.1 (Srie nita) Uma srie nita de potncias uma srie de potncias

a
n
x
n
com os termos quase todos nulos, isto , tal que
p N : n > p a
n
= 0.
Uma srie nita (absolutamente) convergente para qualquer x R. De facto, de acordo com
o exemplo,
+
n=0
a
n
x
n
= a
0
+ a
1
x + a
2
x
2
+ + a
p
x
p
.
Este facto permite-nos dizer que as sries de potncias de x podem ser encaradas como uma
generalizao dos polinmios em x.
Exemplo 7.2.2 (Srie geomtrica) Uma srie geomtrica de potncias uma srie de potn-
cias

a
n
x
n
tal que a
n
= 1 para todo n N:
+
n=0
x
n
= 1 + x + x
2
+ + x
n
+ . . . .
Como vimos no Captulo 3, a srie de potncias

x
n
absolutamente convergente para [x[ < 1
e divergente para [x[ 1. No caso de convergir, a funo soma
S(x) =
1
1 x
e podemos escrever
+
n=0
x
n
=
1
1 x
.
O problema que se coloca nas sries de potncias, o de saber em que condies a srie converge
e, alm disso, se convergir, para que valores de x converge. Vamos ver que os Critrios da Razo
e da Raz, podem-nos ajudar a estudar a natureza das sries de potncias.
Proposio 7.2.1 (Critrio da Razo - DAlembert) Sejam

a
n
x
n
uma srie de potn-
cias e
R = lim
n+
a
n
a
n+1
.
1. A srie

a
n
x
n
converge absolutamente se [x[ < R, isto , se x (R, R).
2. A srie

a
n
x
n
diverge se [x[ > R, isto , se x (, R) (R, +).
Em particular, se R = 0, a srie converge absolutamente apenas para x = 0 e se R = +, a
srie converge absolutamente para todo x R.
O nmero R, eventualmente +, designa-se por raio de convergncia da srie e o intervalo
(R, R) por intervalo de convergncia (absoluta) da srie.
+
n=0
x
n
n
.
Observe-se que para podermos aplicar o critrio anterior, tem de existir, em R, o limite
lim[a
n
[/[a
n+1
[.
Proposio 7.2.2 (Critrio da Raz - Cauchy) Sejam

a
n
x
n
uma srie de potncias e
R =
1
limsup
n+
n
_
[a
n
[
.
1. A srie

a
n
x
n
converge absolutamente se [x[ < R, isto , se x (R, R).
2. A srie

a
n
x
n
diverge se [x[ > R, isto , se x (, R) (R, +).
Em particular, se R = 0, a srie converge absolutamente apenas para x = 0 e se R = +, a
srie converge absolutamente para todo x R.
+
n=1
2
n
x
n
.
Observe-se que para podermos aplicar o critrio anterior, no necessrio que exista o limite
lim
n
_
[a
n
[. Basta que exista o limite superior limsup
n
_
[a
n
[.
Em ambos os critrios enunciados acima nada se diz no caso de [x[ = R, isto se x = R,
admitindo R ,= +. Neste caso, tem-se, respectivamente, no Critrio da Razo e no da Raz,
lim
n+
a
n+1
a
n
x
= 1 e limsup
n+
n
_
[a
n
x
n
[ = 1 .
Assim, no podemos concluir nada, porque a srie pode ser convergente ou divergente. Por
isso, torna-se necessrio fazer um estudo local da srie de potncias nos pontos x = R, o que
nos leva ao estudo de sries numricas.
Exemplo 7.2.5 (AULA TERICA) Estude a natureza da srie seguinte quanto convergncia
simples e absoluta em todos os pontos de R:
+
n=1
(1)
n
x
n
n
.
Tudo o que foi dito para as sries de potncias de x, permanece vlido para qualquer srie de
potncias (x a), com a R xo. Em particular, a srie
+
n=0
a
n
(x a)
n
= a
0
+ a
1
(x a) + a
2
(x a)
2
+ + a
n
(x a)
n
+ . . .
convergente para
[x a[ < R a R < x < a + R,
e divergente para
[x a[ > R x < a R ou x > a + R,
onde R o raio de convergncia. Do mesmo modo, para
[x a[ = R x = a R,
tem de se fazer um estudo local.
Exemplo 7.2.6 (AULA TERICA) Estude a natureza da srie seguinte quanto convergncia
simples e absoluta em todos os pontos de R:
+
n=1
(1)
n
(2x + 1)
n
n
.
7.3 Sries de Taylor
Comecemos por observar que quando uma srie de potncias
a
n
(xa)
n
, com a R, converge,
ento a srie pode ser representada, no intervalo de convergncia (aR, a+R), pela sua funo
soma, digamos u(x). Assim, podemos dizer que a srie de potncias
a
n
(xa)
n
dene a funo
u(x) cujo valor, em cada ponto x do seu intervalo de convergncia, dado por
u(x) =
+
n=0
a
n
(x a)
n
.
A srie

a
n
(x a)
n
, assim, designada por expanso em srie de potncias da funo
u em torno do ponto x = a. Existem dois problemas fundamentais que se levantam sobre a
expanso em srie de potncias. O primeiro tem a ver com as propriedades da funo soma
de uma dada srie de potncias. No segundo problema, mais interessante do ponto de vista
prtico, pretendemos saber em que condies possvel ou no representar uma dada funo
por uma srie de potncias. Para analisarmos o primeiro problema, consideremos uma srie de
potncias arbitrria
+
n=0
a
n
(x a)
n
= a
0
+ a
1
(x a) + a
2
(x a)
2
+ + a
n
(x a)
n
+ . . . ,
com a R xo. Na proposio seguinte, vamos ver que podemos garantir a continuidade da
funo soma no intervalo de convergncia da srie.
Proposio 7.3.1 Seja u(x) a funo soma de uma srie de potncias

a
n
(x a)
n
e
+
n=0
a
n
n + 1
(x a)
n+1
= a
0
(x a) +
a
1
2
(x a)
2
+
a
2
3
(x a)
3
+ +
a
n
n + 1
(x a)
n+1
+ . . .
a srie que se obtm integrando termo a termo a srie

a
n
(xa)
n
entre a e x (aR, a+R).
1. As sries

a
n
x
n
e

a
n
/(n + 1)(x a)
n+1
tm o mesmo raio de convergncia R.
2. se R > 0, a funo soma u(x) contnua em qualquer ponto x (a R, a + R) e
_
x
a
u(t) dt =
+
n=1
a
n
n + 1
(x a)
n+1
x (a R, a + R).
O resultado anterior ainda vlido no intervalo [a R, a + R], desde que a funo soma u(x)
esteja denida nos pontos a R. A prxima proposio prende-se com a derivada de uma srie
de potncias e da relao desta com a srie original, assim como a derivabilidade da funo
soma da srie de potncias.
Proposio 7.3.2 Seja u(x) a funo soma da srie de potncias

a
n
(x a)
n
e
+
n=1
na
n
(x a)
n1
= a
1
+ 2a
2
(x a) + 3a
2
(x a)
2
+ + na
n
(x a)
n1
+ . . .
a srie que se obtm derivando termo a termo a srie

a
n
(x a)
n
.
1. As sries

a
n
x
n
e

na
n
x
n1
tm o mesmo raio de convergncia R.
2. Se R > 0, a funo soma u(x) derivvel em qualquer ponto x (a R, a + R) e
u
(x) =
+
n=1
na
n
(x a)
n1
x (a R, a + R).
Para respondermos ao segundo problema, convm recordar a noo de Frmula de Taylor de
ordem n em torno de um ponto x = a. Na denio seguinte, vamos extender esta noo para
qualquer ordem e, assim, escrever uma frmula com innitas parcelas.
Denio 7.3.1 (Srie de Taylor) Sejam u(x) uma funo indenidamente derivvel num
intervalo aberto I R e a I. Designa-se por srie de Taylor de u(x) no ponto x = a serie
de potncias seguinte
+
n=0
u
(n)
(a)
n!
(x a)
n
= u(a) + u
(a)(x a) +
u
(a)
2
(x a)
2
+ +
u
(n)
(a)
n!
(x a)
n
+ . . . .
No caso de a = 0, a srie anterior recebe o nome de srie de Maclaurin.
A questo que se coloca agora, a de saber se a srie de Taylor

u
(n)
(a)/n!(x a)
n
converge
no ponto x = a e se, em algum intervalo I contendo a, tem soma igual a u(x).
Denio 7.3.2 (Funo analtica) Seja u(x) uma funo denida num intervalo aberto
I R e a I. Diz-se que u(x) uma funo analtica no ponto x = a, se existe uma srie de
potncias

u
n
(x a)
n
tal que, para qualquer x num subintervalo de I contendo a, se tem
u(x) =
+
n=0
a
n
(x a)
n
.
A proposio seguinte d-nos um critrio geral de desenvolvimento de uma funo em srie de
Taylor.
Proposio 7.3.3 Seja u(x) uma funo denida num intervalo aberto I R e indenida-
mente derivvel em I, e seja a I. Tem-se
u(x) =
+
n=0
u
(n)
(a)
n!
(x a)
n
x (a , a + ) I, > 0.
se e s se
lim
n+
r
n
(x a)
(x a)
n
= 0 .
SEM DEMONSTRAO: Ver, por exemplo, S. Guerreiro p. 349.
Convm notar que o limite de r
n
(x a) tomado quando n tende para + e no quando
x tende para a, o qual sempre 0 para todo n. Pelo exposto acima, pode acontecer que,
por um lado, determinada funo seja a soma de uma srie de potncias e, por outro, admita
um desenvolvimento em srie de Taylor. Neste caso, a proposio seguinte diz-nos que a srie
obtida, num caso ou no outro, a mesma.
Proposio 7.3.4 Sejam a R e > 0. Se u(x) a soma de uma srie de potncias
a
n
(x a)
n
num intervalo (a , a + ), ento esta srie a srie de Taylor de u(x) em
torno do ponto x = a, isto ,
a
0
= u(a) , a
1
= u
(a) , a
2
=
u
(a)
2
, . . . , a
n
=
u
(n)
(a)
n!
, . . . .
SEM DEMONSTRAO: Ver, por exemplo, S. Guerreiro p. 355.
Conclumos esta seco com alguns desenvolvimentos fundamentais em sries de Taylor.
Exemplo 7.3.1 (AULA TERICA) Mostre que as funes seguintes admitem os desenvolvimen-
tos em srie de Mac-Laurin indicados nos intervalos respectivos:
(i)
1
1 x
=
+
n=0
x
n
= 1 + x + x
2
+ + x
n
+ . . . , [x[ < 1;
(ii) e
x
=
+
n=0
x
n
n!
= 1 + x +
x
2
2
+ +
x
n
n!
+ . . . , [x[ < +;
(iii) ln(1 + x) =
+
n=1
(1)
n1
x
n
n
= x
x
2
2
+ + (1)
n1
x
n
n
+ . . . , [x[ < 1;
(iv) (1 + x)
=
+
n=0
_

n
_
x
n
= 1 + x +
_

2
_
x
2
+ +
_

n
_
x
n
+ . . . , [x[ < 1;
(v) sen x =
+
n=0
(1)
n
x
2n+1
(2n + 1)!
= x
x
3
3!
+
x
5
5!
+ + (1)
n
x
2n+1
(2n + 1)!
+ . . . , [x[ < +;
(vi) cos x =
+
n=0
(1)
n
x
2n
(2n)!
= 1
x
2
2!
+
x
4
4!
+ + (1)
n
x
2n
(2n)!
+ . . . , [x[ < +.
Observemos que, no caso da alnea (iv), R e se um natural, ento a srie referida tem
apenas um nmero nito de parcelas.
7.4 Exerccios
1. Estude a nautreza das sries seguintes e indique, no caso de serem no vazios, os sub-
conjuntos de R onde so absolutamente convergentes, simplesmente convergentes e diver-
gentes:
a)
+
n=1
x
n
n
; b)
+
n=1
x
n
n(n + 1)
; c)
+
n=1
(2)
n
n + 2
n + 1
x
n
;
d)
+
n=1
(x 1)
n
2
n1
; e)
+
n=1
(2x + 1)
n
n
;
f)
+
n=1
[2 + (1)
n
]
n+1
n + 1
(x 2)
2n
; g)
n=1
n
[(3n)!]
2
(6n)!
_
x
4
_
n
.
2. Represente por uma srie de potncias de x (srie de Mac-Laurin) as funes seguintes,
indicando o maior intervalo aberto onde cada desenvolvimento vlido:
a)
1
2 x
; b)
1
(1 + x)
2
; c)
1 2x ; d)
x
1 + x 2x
2
;
e) senhx ; f) 2
x
; g) sen
2
x ; h) arctgx ;
i) ln
_
1 + x
1 x
_
; j) x cos x + ln(x + 1) .
3. Represente por uma srie de potncias de x (srie de Mac-Laurin) as funes seguintes,
indique o maior intervalo aberto onde o desenvolvimento vlido e mostre que os limites
notveis indicados so vlidos:
a)
senx
x
, lim
x0
senx
x
= 1 ;
b)
e
x
1
x
, lim
x0
e
x
1
x
= 1 ;
c)
ln(x + 1)
x
, lim
x0
ln(x + 1)
x
= 1 e lim
x+
_
1 +
a
x
_
x
= e
a
a R.
4. Represente por uma srie de potncias indicadas a seguir (srie de Taylor) as funes
129 BIBLIOGRAFIA
seguintes e indique o maior domnio onde o desenvolvimento vlido:
a)
1
x
, x 1 ; b) ln x , x 1 ;
c) e
x
, x + 2 ; d) cos
2
x , x

2
;
e)
x , x 4 ; f) x
3
2x
2
5x 2 , x + 4 .
5. Determine a funo soma das sries seguintes e o indique o maior domnio onde o desen-
volvimento vlido:
a)
n=0
(1)
n
x
n
(2n + 1)!
; b)
n=0
(1)
n
x
2n
2
2n
n!
; c)
n=0
(1)
n
x
2n
3
2n
(2n)!
;
d)
n=0
(n + 1)x + (1)
n
n!
(n + 1)!
x
n
; e)
n=0
(1)
n
x
3n
2
3n
(2n)!
; f)
n=0
_
1 + (1)
n
2
n+1
x
n
.
Bibliograa
[1] M. Abreu. Apontamentos das Aulas Tericas de Anlise Matemtica I. Departamento de
Matemtica do Instituto Superior Tcnico, 2004.
[2] T.M. Apostol. Calculus volumes I e II. John Wiley & Sons, New York, 1967 e 1969.
[3] R. Beals. Analysis - An Introduction. Cambridge University Press, 2004.
[4] W.E. Boyce, R.C. Diprima. Calculus. John Willey & Sons, 1988.
[5] R.C. Buck. Advanced Calculus. Waveland Pr. Inc., 2003.
[6] J. Campos Ferreira. Introduo Anlise Matemtica. Fundao Calouste Gulbenkian,
Lisboa, 1987.
[7] R. Courant e F. John. Introduction to Calculus and Analysis. Volume I. Springer-Verlag,
New York, 1989.
[8] B. Demidovitch (sob a redaco). Problemas e Exerccios de Anlise Matemtica. 6
a
edio.
Editora Mir, Moscovo, 1987.
[9] M. Figueira. Fundamentos de Anlise Innitesimal. Textos de Matemtica do Departa-
mento de Matemtica da Faculdade de Cincias de Lisboa, 1996.
[10] M. Krasnov, A. Kiselev, G. Makarenko e E. Shikin. Mathematical Analysis for Engineers.
Volume 1. Mir Publishers, Moscow, 1989.
[11] V. Kravchenko. Apontamentos das aulas tericas de Anlise Matemtica I e II. Departa-
mento de Matemtica da Faculdade de Cincias e Tecnologia da Universidade do Algarve,
2008.
[12] E. Kreyszig. Advanced Engineering Mathematics. Wiley, New York, 2005.
[13] J.E. Marsden e M.J. Homan. Elementary Classical Analysis. Second Edition. W.E. Free-
man and Company, New York, 1995.
[14] W. Rudin. Principles of Mathematical Analysis. McGraw-Hill International Editions, 1976.
[15] J. Santos Guerreiro. Curso de Anlise Matemtica. Escolar Editora, Lisboa, 1989.
[16] S. Samko. Apontamentos das aulas tericas de Anlise Matemtica I e II. Departamento
de Matemtica da Faculdade de Cincias e Tecnologia da Universidade do Algarve, 2008.
[17] V. Zorich. Mathematical Analysis I, II. Springer-Verlag, Berlin Heidelberg, 2004.
130

Apontamentos AM I 2009 2010

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apontamentos AM I 2009 2010

Uploaded by

Copyright:

Available Formats

Apontamentos de Anlise Matemtica I

Hermenegildo Borges de Oliveira

, temos de introduzir um resultado impor-

podem, normalmente, ser levantadas usando a Denio 2.15.1 ou a Proposio 2.15.3.

AC. Seja o ngulo formado pelas semi-rectas

vamos designar por ramo principal

f(x) = + > 0 > 0 : x

f(x) = > 0 > 0 : x

) = b. Observe-se que podero existir os limites laterais f(a

podem, normalmente, ser levantadas usando o limite notvel de Neper.

), mas so distintos de f(a).

(a), ao limite seguinte, quando existe:

(a) interpretada como

). Neste caso, ou Se, no da denio precedente, existir f

(a), dizemos que a

(a), que, por vezes, mais prtica:

(x) g(x) + f(x) g

(x) g(x) f(x) g

(x) = tg(x) sec(x);

(x) = cotg(x) cosec(x);

cos(u) 15. (cos(u))

sec(u) tg(u) 19. ( cosec(u))

cosh(u) 27. (cosh(u))

tgh(u) sech(u) 31. ( cosech(u))

de uma funo f continua num intervalo [a, b] e se f

(x) no intervalo [a, b]. Este resultado

(c) (f(b) f(a)) = f

(c) (g(b) g(a)) .

(x) ,= 0 para todos x (a, b);

(a) = 0, a recta normal x = a.

(x) > 0 para todos x < c e f

(x) < 0 para todos x > c. Ento f tem

(x) > 0 para todos x > c e f

(x) < 0 para todos x < c. Ento f tem

(0) = 0, mas f no tem nenhum extremo em

(x) > 0 para x I, ento f convexa em I.

(x) < 0 para x I, ento f cncava em I.

(x) > 0 para a < x < c e f

(x) < 0 para c < x < b, ou vice-versa, ento x = c um

(x) = tgh(x) sech(x);

(x) = cotgh(x) cosech(x).

(x) tem n 1 razes reais distintas.

= f. Denotamos o conjunto de todas as primitivas de uma funo f (num intervalo

sec(u) dx = ln [ tg(u) + sec(u)[ + C ;

cosec(u) dx = ln [ cotg(u) + cosec(u)[ + C .

sec(u) tg(u) dx = sec(u) + C

cosec(u) cotg(u) dx = cosec(u) + C

You might also like