Apontamentos AM-I 2008-2009 - Univ. Algarve

Apontamentos de Anlise Matemtica I
Hermenegildo Borges de Oliveira
Outubro de 2008
Contedo
1 Introduo
1.1 Corpo dos nmeros reais . .
1.1.1 Mdulo . . . . . . .
1.2 Generalidades sobre funes
1.3 Estudo das funes . . . . .
1.4 Funes elementares . . . .
1.4.1 Funes polinomiais
1.4.2 Funes racionais . .
1.4.3 Funes inversas . .
1.5 Exerccios . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
3
4
7
10
10
11
12
13
2 Sucesses numricas
2.1 Introduo . . . . . . . . . . . . . . . . .
2.1.1 Modos de designar uma sucesso
2.2 Representao grfica de uma sucesso .
2.3 Princpio de induo matemtica . . . .
2.4 Exemplos . . . . . . . . . . . . . . . . .
2.5 Sucesso limitada . . . . . . . . . . . . .
2.6 Monotonia . . . . . . . . . . . . . . . . .
2.7 Subsucesso . . . . . . . . . . . . . . . .
2.8 Sucesso convergente . . . . . . . . . . .
2.9 Propriedades . . . . . . . . . . . . . . .
2.10 Sucesso de Cauchy . . . . . . . . . . . .
2.11 Critrios de convergncia . . . . . . . . .
2.12 A recta acabada . . . . . . . . . . . . . .
2.13 Indeterminaes . . . . . . . . . . . . . .
2.14 Clculo de limites . . . . . . . . . . . . .
2.15 Limites importantes . . . . . . . . . . . .
2.16 Exerccios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
16
17
17
18
19
20
21
22
24
25
26
28
29
30
31
33
3 Sries Numricas
3.1 Somatrios . . . . . . . . . . .
3.2 Sries numricas . . . . . . . .
3.3 Propriedades gerais . . . . . .
3.4 Sries de termos no negativos
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
36
37
40
42
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ii
.
.
.
.
3.5 Sries de termos positivos e negativos . . . . . . . . . . . . . . . . . . . . . . . . 46

3.6 Convergncia absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.7 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4 Complementos de Funes Reais de Varivel Real
4.1 Funes transcendentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1 Funes exponencial e logartmica . . . . . . . . . . . . . . . . . . . . .
4.1.2 Trigonometria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.3 Funes seno e arco-seno . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.4 Funes cosseno e arco-cosseno . . . . . . . . . . . . . . . . . . . . . .
4.1.5 Funes tangente e arco-tangente . . . . . . . . . . . . . . . . . . . . .
4.1.6 Funes cotangente e arco-cotangente . . . . . . . . . . . . . . . . . . .
4.1.7 Funes secante e arco-secante . . . . . . . . . . . . . . . . . . . . . . .
4.1.8 Funes cosecante e arco-cosecante . . . . . . . . . . . . . . . . . . . .
4.1.9 Funes seno hiperblico e argumento do seno hiperblico . . . . . . .
4.1.10 Funes cosseno hiperblico e argumento do cosseno hiperblico . . . .
4.1.11 Funes tangente hiperblica e argumento da tangente hiperblica . . .
4.1.12 Funes cotangente hiperblica e argumento da cotangente hiperblica
4.1.13 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Limites de funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.1 Noes de limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.3 Limites importantes . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.4 Clculo de limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.5 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 Funes contnuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.1 Primeiras noes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.2 Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3.3 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Clculo Diferencial
5.1 Derivadas . . . . . . . . . .
5.2 Regras de derivao . . . . .
5.3 Frmulas de derivao . . .
5.4 Teoremas principais . . . . .
5.5 Derivadas de ordem superior
5.6 Frmula de Taylor . . . . .
5.7 Aplicaes geomtricas . . .
5.8 Exerccios . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
53
56
61
63
65
67
68
70
72
74
75
76
78
80
80
83
84
85
87
87
88
89
90
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
92
92
93
96
96
101
102
103
106
6 Primitivas
6.1 Introduo . . . . . . . . . . .
6.2 Primitivas imediatas . . . . .
6.3 Primitivao por partes . . . .
6.4 Primitivao por substituio
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
111
111
112
112
114
iv
6.5 Primitivas de funes racionais . . . . . .
6.6 Primitivas de funes irracionais . . . . . .
6.6.1 Primitivas de binmios diferenciais
6.7 Exerccios . . . . . . . . . . . . . . . . . .
7 Sries de funes
7.1 Introduo . . . . .
7.2 Sries de potncias
7.3 Sries de Taylor . .
7.4 Exerccios . . . . .
Bibliografia
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
116
118
121
122
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
125
126
129
132
134
c Hermenegildo Borges de Oliveira, 2008/2009

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, revelouse insuficiente para a operao de subtraco entre nmeros naturais, motivadas essencialmente
pelas necessidades de comrcio do Homem. 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, . . . } .
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. Por fim, 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
x3 = 2 .
1. INTRODUO
A
soluo desta equao a dzima infinita no peridica 1.414213562 . . . que se denota por
3
2. Estes nmeros no podem ser escritos como fraces. Apenas conseguimos escrever,
como fraces, dzimas infinitas peridicas como 0.3333333333 . . . que, na forma de fraco,
13 . 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
prosseguimento do racicnio anterior, leva-nos a questionar sobre a impossibilidade de resolver
a equaes do tipo
x2 + 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 definido por i2 = 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, ficando
os nmeros negativos equerda e os positivos direita. Para fazermos a correspondncia de
cada ponto do eixo numrico a um nmero racional, temos de fixar 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 infinita, 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 este nmeros e, por isso,
se designa de intervalo fechado. A notao (a, b) indica que o intervalo aberto, isto que os
limites inferior e superior do intervalo no fazem parte do conjunto considerado, isto ,
(a, b) = {x R : a < x < b} .
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. INTRODUO
1.1.1
Mdulo
No conjunto dos nmeros reais, definimos o mdulo, ou valor absoluto, de um nmero como
sendo a distncia desse nmero origem. Na definio seguinte definimos este conceito analiticamente.
Definio 1.1.1 Seja x R. Definimos o mdulo, ou valor absoluto, de x do modo seguinte:

x se x < 0
|x| =
x se x 0 .
Na proposio seguinte, estabelecemos as primeiras proprieades do mdulo as quais se demonstram a partir da definio anterior.
Proposio 1.1.1 Seja a 0. 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 desigualdades estritas, ou seja,
|x| < a x > a x < a a < x < a
e
|x| > a x < a x > a .
Proposio 1.1.2 Seja x , y R. Temos:
1. |xy| = |x| |y|;

x |x|
;
2. Se y 6= 0, =
y
|y|
3. |x + y| |x| + |y|.

A ltima propriedade da proposio anterior, designa-se por desigualdade triangular, porque,
quando generalizada a dimenses superiores, afirma que o comprimento de um lado qualquer
de um tringulo menor ou igual do que a soma dos comprimentos dos outros dois.

1.2
1. INTRODUO
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.
Definio 1.2.1 Uma funo uma correspondncia entre dois conjuntos, que a cada elemento 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 definida designa-se por domnio da
funo e denota-se por Df . O subconjunto de B onde a funo f toma valores designa-se
por contra-domnio da funo e denota-se por Df . 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
finitos.
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:
7 ,
7 ,
7 ,
7 .
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 contradomnio. Esta forma para representar as funes muito til, no s como simplificao 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 infinita. 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 7 4,
1 7 1,
0 7 0,
1 7 1,
2 7 4,
Indique uma expresso designatria possvel para a funo f .

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 representao, 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 7 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) = x2 .
Definio 1.2.2 Sejam f1 , f2 duas funes reais de varivel real com domnios Df1 e Df2 ,
respectivamente. Chama-se funo soma de f1 com f2 funo denotada por f1 + f2 e que
est definida em Df1 Df2 por:
(f1 + f2 )(x) = f1 (x) + f2 (x)
Deforma anloga, se define, em Df1 Df2 , a funo diferena f1 f2 , a funo produto
f1 f2 e a funo quociente f1 /f2 , esta ltima apenas nos pontos x Df2 tais que f2 (x) 6= 0,
respectivamente, por:

f1 (x)
f1
(x) =
.
(f1 f2 )(x) = f1 (x) f2 (x),
(f1 f2 )(x) = f1 (x) f2 (x),
f2
f2 (x)
As funes vo ser representadas num referencial cartesiano1 , 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.
Definio 1.2.3 O grfico 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 Df . Denotamos o grfico de uma funo f por Gra(f ) e represent-mo-lo por:

Gra(f ) = (x, y) R2 : y = f (x), x Df .
1
O nome deve-se ao filsofo, e tambm matemtico, francs Ren Descartes (1596-1650).

1. INTRODUO
Observemos que para os propsitos deste curso o que interessa uma aproximao do grfico
da funo, aquilo que denominaremos por esboo, e no o grfico mais ou menos exacto obtido
por uma calculadora grfica ou algum programa computacional.
A anlise geomtrica do esboo do grfico de uma funo vai permitir-nos tirar muitas concluses sobre a prpria funo. Por exemplo, podemos dizer que uma correspondncia uma
funo, se qualquer recta paralela ao eixo dos yy intersectar o grfico da correspondncia num
s ponto.
Exemplo 1.2.4 Faa a representao grfica das funes f (x) = 2x + 1 e g(x) = x2 .
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 Df e o contra-domnio Df .
Definio 1.2.4 Diz-se que um ponto x Df 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 grfico 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) = x2 + 3x 4.
Definio 1.2.5 Diz-se que f uma funo injectiva, se quaisquer dois objectos distintos,
digamos x1 e x2 , de Df tiverem imagens distintas, isto , se
x1 6= x2 f (x1 ) 6= f (x2 ).
De forma equivalente, podemos dizer que f injectiva se imagens iguais corresponderem ao
mesmo objecto
f (x1 ) = f (x2 ) x1 = x2 .
Em termos grficos, verificamos que uma funo f injectiva, se qualquer recta paralela ao
eixo dos xx intersecta o grfico de f em apenas um ponto.
Exemplo 1.2.6 Verifique se as funes f (x) = 2x + 1 e g(x) = x2 so injectivas.

Definio 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 Df : y = f (x).
Exemplo 1.2.7 Verifique se as funes f (x) = 2x + 1 e g(x) = x2 so sobrejectivas.
Esta definio diz-nos que uma funo sobrejectiva, se o contra-domnio coincidir com o
conjunto de chegada, isto , se Df = 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 Df : y = f (x).

1. INTRODUO
Exemplo 1.2.8 Pelo que foi resolvido nos Exerccios Exemplo 1.2.6 e 1.2.7, diga se as funes
f (x) = 2x + 1 e g(x) = x2 so bijectivas.
Definio 1.2.7 Diz-se que f uma funo par, se para cada x Df , f (x) = f (x). A
funo f mpar, se para cada x Df , f (x) = f (x).
No caso de existir algum x Df tal que f (x) 6= f (x) e f (x) 6= 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 grfico da funo diametralmente opostos, mas
equidistantes, origem do referencial.
Exemplo 1.2.9 Estude as funes f (x) = 2x + 1, g(x) = x2 e h(x) = x3 quanto paridade.
Definio 1.2.8 Sejam f e g duas funes reais de variveis reais tais que Df Dg . Define-se
a composio das funes, f com g, funo que a cada elemento x Dg 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 define-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 6= g f .
Exemplo 1.2.10 Considere a funo f (x) = 3x e g(x) = x2 . Determine expresses analticas
para as funes compostas f g e g f .
1.3
Estudo das funes
Definio 1.3.1 Diz-se que uma funo real de varivel real f montona crescente num
subconjunto D de Df , se tiver f (x1 ) f (x2 ) para quaisquer x1 , x2 D tais que x1 x2 , isto
:
x1 x2 f (x1 ) f (x2 )
x1 , x2 D.
Dizemos que f montona decrescente em D Df , se tiver f (x1 ) f (x2 ) para quaisquer

x1 , x2 D tais que x1 x2 , isto :
x1 x2 f (x1 ) f (x2 )
x1 , x2 D.
x1 < x2 f (x1 ) < f (x2 )
x1 , x2 D,
x1 < x2 f (x1 ) > f (x2 )
x1 , x2 D,
No caso de termos
dizemos que f montona crescente em sentido estrito. De forma anloga, se
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
definio anterior, o que muitas vezes e para a distinguir da monotonia estrita nos referimos

1. INTRODUO
como sendo monotonia em sentido lato. Sempre que no se faa meno ao subconjunto Df
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 Df e contra-domnio Df .
Definio 1.3.2 Diz-se que f uma funo minorada, se f (Df ) um conjunto minorado,
i.e., se
m R : f (x) m x Df .
A funo f majorada, se f (Df ) um conjunto majorado, i.e.,

M R : f (x) M
No caso da funo f ser minorada e majorada, i.e.,
x Df .
m, M R : m f (x) M
x Df ,
dizemos que a funo limitada.

Aos valores m e M designamos, respectivamente, por minorante e majorante de f . Como
se observa desta definio, uma funo pode ter vrios, ou mesmo infinitos, minorantes e ou
majorantes. Chama-se nfimo 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, nfimo e supremo de f dizem respeito ao conjunto
f (Df ). Se a funo f no minorada, dizemos que o seu nfimo . No caso de no ser
majorada, diz-se que o seu supremo +. Quando o nfimo ou o supremo forem valores que
a funo f assume no domnio Df , dizemos, respectivamente, que f tem um mximo ou um
mnimo no seu domnio Df . 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 Df , 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 Df .

Definio 1.3.3 Seja f uma funo real de varivel real injectiva com domnio Df . 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 verificar, no existe funo inversa. Se f no fosse injectiva, ento existiriam dois
objectos x1 6= x2 em Df tais que f (x1 ) = f (x2 ). Neste caso, admitindo que era possvel inverter
a funo, ento obteramos uma correspondncia que ao mesmo objecto y = f (x1 ) = f (x2 )
fazia relacionar duas imagens distintas x1 e x2 . No entanto esta correspondncia no uma
funo como se depreende da Definio 1.2.1

1. INTRODUO
Definio 1.3.4 Seja D um subconjunto do domnio Df 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 : x D : y = f (x)}.
Representando a funo f da definio anterior por
f: R
R
x 7 y = f (x),
ento a funo inversa da funo f representa-se por
f 1 : R
R
y 7 x = f 1 (y),
tal que (f 1 f )(x) = x e (f f 1 )(y) = y.
Se o domnio da funo f Df e o contra-domnio da funo f Df , ento

Df 1 = f (Df )
Df 1 = Df ,
onde f (Df ) o conjunto transformado por meio de f do conjunto Df .

Exemplo 1.3.1 Considere as funes f (x) = 2x + 1 e g(x) = x2 .
a) Justifique 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 grfico da funo inversa f 1 , pode-se obter a partir do grfico 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 injectiva, 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 injectiva, ento a funo inversa f 1 tambm mpar.
Exemplo 1.3.2 Considere as funes do Exerccio Exemplo 1.3.1. A partir dos grficos destas
funes, esboce os grficos das funes inversas a encontradas.

10
1.4
1. INTRODUO
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 finita
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.
Definio 1.4.1 Um polinmio uma funo que definida por uma equao da forma:
P (x) = an xn + an1 xn1 + + a1 x + a0 ;
onde a0 , a1 , . . . , an R e n N0 .
As letras a0 , a1 , . . . , an so constantes reais e designam-se por coeficientes 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) = an xn + an1 xn1 + + a1 x + a0 .
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) = a0 , que comummente se denota por
f (x) = c
e para a qual se tem Df = R e Df = {c}.
Exemplo 1.4.2 Se n = 1, obtemos a denominada funo afim, ou tambm designada funo
linear, f (x) = a1 x + a0 , que habitualmente se denota por
f (x) = ax + b.
O grfico da funo afim 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 6= 0, tem-se Df = R e Df = R. Neste caso, a funo montona estritamente crescente

ou decrescente, consoante a > 0 ou a < 0, respectivamente.
No caso de a 6= 0, o zero da funo dado por x = ab .

11
1. INTRODUO
Exemplo 1.4.3 No caso n = 2, obtemos a designada funo quadrtica f (x) = a2 x2 +a1 x+

a0 , que usualmente se denota por
f (x) = ax2 + bx + c.
Se a = 0, recuperamos a funo afim f (x) = ax + b. Se a 6= 0, o grfico da funo quadrtica
uma parbola de eixo vertical e estritamente montona em qualquer um dos intervalos

b
b
,
e
, + .
2a
2a

b2
b
, c 4a
o ponto onde a funo quadrtica atinge o mximo ou
O ponto de coordenadas 2a
o mnimo e designa-se por vrtice da parbola.
h

b2
b
Se a > 0, Rf = c 4a , + e a funo atinge o seu mnimo (absoluto) no ponto x = 2a

de
valor y = c
cima.
b2
4a
- neste caso, dizemos que o grfico da funo tem a concavidade voltada para

Se a < 0, Rf = , c
valor y = c
baixo.
b2
4a
b2
4a
b
e a funo atinge o seu mximo (absoluto) no ponto x = 2a
de
- neste caso, dizemos que o grfico da funo tem a concavidade voltada para
Em qualquer um dos casos, a < 0 ou a > 0, tem-se Df = R.

Para averiguar da existncia e eventual clculo dos zeros de uma funo quadrtica, tem muito
interesse a relao seguinte entre os coeficientes da funo, designada por discriminante:
= b2 4ac.
No caso de < 0, a funo no tem zeros.
b
Se = 0 a funo tem apenas um zero que dado por x = 2a
.
Se > 0 a funo tem dois zeros que so dados por
b +
b + b2 4ac
b
b b2 4ac
x1 =
e x2 =
.
2a
2a
2a
2a
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.

12
1. INTRODUO
Definio 1.4.2 Consideremos dois polinmios no divisveis entre si:

P (x) = a0 + a1 x + a2 x2 + + an xn
Q(x) = b0 + b1 x + b2 x2 + + bm xm ;
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) =
designamos por funo racional.
a0 + a1 x + a2 x2 + + an xn
,
b0 + b1 x + b2 x2 + + bm xm
Como, em R, no sabemos dividir por 0, a funo f (x) = P (x)/Q(x) para estar bem definida,
isto , para ser uma funo, tem de se garantir que Q(x) 6= 0. Deste modo, o domnio de f
pode no ser todo R. Mais exactamente,

Df = {x R : Q(x) 6= 0} x R : b0 + b1 x + b2 x2 + + bm xm 6= 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
,
xn
n N0 .
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) Verifique se f tem zeros. Justifique.
d) Esboce os grficos 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.
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. Definimos
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

13
1. INTRODUO
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 Df = R se e
s se a 6= 0. Neste caso, a expressai designatria da funo inversa dada por
f 1 (x) =
xb
.
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 eventualmente j no serem funes racionais. Em muitos casos, as expresses designatrias das
funes inversas vo fazer envolver, no s operaes racionais, mas tambm operaes irracionais. Nestes casos, as funes encontradas pertencem grande classe de funes irracionais. Deste modo, as funes irracionais surgem por uma necessidade de encontrar as
inversas de funes racionais.
A funo quadrtica f (x) = x2 , 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) = xn , com n N0 fixo.
a) Determine a inversa da funo f e indique o seu domnio de validade em funo de n.
b) A partir do grfico de f , esboce o grfico de f 1 .
Uma funo irracional ser, ento, uma funo representada por
p
f (x) = n R(x),
onde R(x) uma funo racional. Mais geralmente, designamos por funo irracional qualquer funo cuja expresso designatria resulta de aplicarmos operaes irracionais a uma ou
mais das funes por ltimo referidas.
1.5
Exerccios
1. Determine os conjuntos de solues das (in)equaes seguintes:

a) |x 3| = 2|x| ;
b) |2x + 1| < 1 ;
c) |x 1| < |x + 1| ;
d) |x2 1| = 3 ;
e) |2x 5| > x + 1 ; f) |x2 4| = x + 2 .


14
1. INTRODUO

2. Determine f (0), f 34 , f (y) e f x1 no caso de f (x) = 1 + x2 .

3. Determine f (x + 1) e f x1 se f (x 1) = x2 .
4. Determine a funo linear f sabendo que f (1) = 2 e f (2) = 3.
5. Determine a funo quadrtica f sabendo que f (0) = 1, f (1) = 0 e f (3) = 5.

6. Considere as funes seguintes:
f (x) = 1 x + x2 ;
g(x) =
x +
1
;
2+x
h(x) =
1
x + |x|
;
j(x) = x2 + ;
2
x
a) Determine o domnio de cada.
b) Determine o contradomnio de f , h e i.
c) Determine, caso existam, os zeros de cada.
k(x) =
i(x) =
7. Estude as funes seguintes quanto paridade:

1+x
;
g(x) = 1 x2 ;
h(x) =
1x
j(x) = (1 + x)(1 x) ; k(x) =
i(x) =
p
3
1+x
;
1x
p
x |x| .
(x + 1)2 +
1
1
+
; l(x) = x3 + x2 .
1x 1+x
f (x) = 2x + 3 ;
g(x) =
j(x) =
2
;
x
h(x) = x3 ;
k(x) =
p
3
(x 1)2 ;
1+x
.
1x
a) Estude estas funes quanto injectividade e sobrejectividade.
b) Determine a funo inversa e indique o maior domnio de validade de cada.
i(x) =
1 x3 ;
4 x2 ;
9. Recorrendo apenas ao grfico de funes j conhecidas, esboce o grfico das funes

seguintes, assim como o das suas inversas no caso de existirem.
1
a) f (x) = 2x 5 ;
b) f (x) = x3 3x + 2 ; c) f (x) =
;
1x
d) f (x) =
h) f (x) =
x2
;
x+2
x2 ;
e) f (x) = x +
1
;
x2
1
i) f (x) = (x + |x|) ;
2
f) f (x) = x2 +
1
;
x
j) f (x) = x4 2x + 5 .
10. Para as funes do exerccio anterior e recorrendo simplesmente anlise dos seus grficos,
indique, caso existam, o conjunto de majorantes, de minorantes, o supremo, o nfimo, 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
Definio 2.1.1 (Sucesso numrica) Uma sucesso numrica infinita 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 7 f (n).
Por simplicidade de escrita, iremos designar apenas por sucesso uma sucesso infinita 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 N0 = {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
u1 , u2 , . . . , un , . . . .
Chama-se termo geral da sucesso expresso designatria f (n) e, usando a mesma notao
indexada, habitual denot-lo por un . Cada termo da uma sucesso, digamos un , tem um
termo sucessor, un+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 un e vn definem-se, respectivamente, por:
(u + v)n = un + vn
e (u v)n = un vn .
15
16
2. SUCESSES NUMRICAS
O produto e quociente de duas sucesses un e vn define-se, respectivamente, por:

u
un
(u v)n = un vn e
=
(vn 6= 0 n N) .
v n
vn
2.1.1
Modos de designar uma sucesso
Ordenao. Para designar uma sucesso, habitual escrever ordenadamente uma quantidade suficiente 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
1
un = , n N,
n
permite-nos obter a sucesso seguinte de termos ordenados:
1,
1 1
, , ... .
2 3
A frmula
vn = 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
1
, u2n = n2 , n N,
n2
definem a sucesso cujos oito primeiros termos ordenados so
u2n1 =
1, 1,
1
1
1
, 4, , 9,
, 16, . . . .
4
9
16
Isto , a sucesso cujos quatro primeiros termos de ordem mpar (2n 1) so

1,
1 1 1
, ,
, ...
4 9 16
e os quatro primeiros termos de ordem par (2n) so

1, 4, 9, 16, . . . .

17
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
u1 = u2 = 1,
un+1 = un + un1,
n N,
definem a sucesso (de Fibonacci1 ) cujos oito primeiros termos ordenados so

1, 1, 2, 3, 5, 8, 13, 21, . . . .
Uma sucesso determinada por este processo, diz-se uma sucesso definida por recorrncia.
Por simplicidade de escrita, denota-se qualquer sucesso por un , qualquer que seja a forma por
que definida.
2.2
Representao grfica de uma sucesso
A representao grfica 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 grfico
de uma sucesso un o conjunto de pontos discretos
{(n, un ) : n N}.
Exemplo 2.2.1 (AULA TERICA) Fazer a representao grfica dos seis primeiros termos da
sucesso
(1)n
, n N.
un =
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 afirmao matemtica que
dependa de um natural n, digamos P (n), podemos enunciar este princpio do modo seguinte.
Se
1. P (n) verificada para n = 1;
2. P (n) sendo verificada para n = k implicar ser tambm verificada para o seu
sucessor n = k + 1, com k > 1;
ento a afirmao P (n) vlida para todo o natural n.
1
Leonardo Fibonacci (1170-1250), matemtico italiano natural de Pisa.

18
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 verifique, para um nmero natural k (hiptese de induo) ento
ela tambm verificada 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 verificao 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 verifique. 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 afirmaes P (n) s so verificadas a partir de um nmero natural n1 > 1.
Neste caso, temos de substituir, no passo 1, "P (n) verificada para n1 ". De um modo sucinto,
podemos enunciar o Princpio de Induo Matemtica na forma seguinte.
Definio 2.3.1 (Princpio de induo matemtica) Se:
1. P (n1 ) verificada;
2. P (n) P (n + 1), n > n1 ;
ento P (n) verdadeira para todo natural n n1 .
Exemplo 2.3.1 (AULA TERICA) Usando o Princpio de Induo Matemtica, mostre que para
todo o natural n a igualdade seguinte verificada:
1 + 3 + 5 + + 2n 1 = n2 .
2.4
Exemplos
Exemplo 2.4.1 (Progresso aritmtica) Uma progresso aritmtica uma sucesso cuja
frmula para o seu termo geral
un = u1 + (n 1)r,
n N,
onde r 6= 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:
un+1 un = r n N (r = constante 6= 0).
Deste modo, podemos definir tal sucesso por recorrncia:

u1 = a
un+1 = un + r;
sendo a e r 6= 0 reais conhecidos.

19
Proposio 2.4.1 A soma Sn dos n primeiros termos de uma progresso aritmtica un dada
por
u1 + un
Sn =
n.
2
Exemplo 2.4.2 (AULA TERICA) Calcule a soma, S100 , dos 100 primeiros termos da progresso aritmtica un = n, com n N.
Exemplo 2.4.3 (Progresso geomtrica) Uma progresso geomtrica uma sucesso cuja
frmula para o seu termos geral
un = u1 r n1 ,
n N,
onde r 6= 1 uma constante conhecida que se denomina razo.

Esta sucesso caracteriza-se por o quociente entre quaisquer dois dos seus termos sucessivos ser
constante:
un+1
= r n N (r = constante 6= 1).
un
Podemos, assim, definir tal sucesso tambm por recorrncia:

u1 = a
un+1 = un r;
sendo a e r 6= 1 reais conhecidos.
Proposio 2.4.2 A soma Sn dos n primeiros termos de uma progresso geomtrica un de

razo r 6= 1 dada por
1 rn
Sn = u 1
.
1r
Exemplo 2.4.4 (AULA TERICA) Calcule a soma dos 100 primeiros termos da progresso geomtrica
n
1
, n N.
un =
2
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, un uma sucesso
majorada, se
L R : un 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, un uma sucesso
minorada, se
l R : un l n N.
Uma sucesso diz-se limitada, se for majorada e minorada.

20
Definio 2.5.1 (Sucesso limitada) Uma sucesso un limitada, se

L, l R : l un L
n N.
Exemplo 2.5.1 (AULA TERICA) Verifique se as seguintes sucesses so limitadas:

1
, n N.
n
Proposio 2.5.1 Uma sucesso un limitada se e s se
un = n,
n N,
e vn =
C R+ : |un | C
n N.
2.6
Monotonia
Uma sucesso diz-se montona crescente, se qualquer dos seus termos for no maior que o seu
sucessor. Diz-se que uma sucesso montona decrescente, se qualquer dos seus termos for no
menor que o seu sucessor. Uma sucesso diz-se, apenas, montona, se for montona crescente
ou decrescente.
Definio 2.6.1 Uma sucesso un diz-se montona crescente, se
un un+1
n N.
un un+1
n N.
un < un+1
n N,
A sucesso un diz-se montona decrescente, se

No caso de termos
dizemos que un uma sucesso montona estritamente crescente. Se

un > un+1
n N,
diz-se que un uma sucesso montona estritamente decrescente. Quando houver necessidade de fazer distino, referir-nos-emos monotonia da definio anterior com sendo
em sentido lato. As sucesses que no so montonas, podem ser constantes ou oscilantes.
Convm referir que, por vezes, a monotonia ou no de uma sucesso s se descortina aps um
nmero finito de termos. Neste caso, diremos que a sucesso montona a partir do termo
da ordem (nmero natural, digamos p) em que se verifica a condio da definio. Em termos
prticos, para se estudar a monotonia de uma dada sucesso, determinamos a diferena
un+1 un
e comparmo-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
un+n
un
e compar-lo com 1. Obviamente, aqui, este quociente s possvel se un 6= 0 para todo n N.
Nesses casos, a sucesso crescente se for maior do que 1 e decrescente se for menor.

21
Exemplo 2.6.1 (AULA TERICA) Estude as seguintes sucesses quanto monotonia:

un = 2n 1,
2.7
n N,
e vn =
1
,
n2
n N.
Subsucesso
Uma subsucesso uma sucesso cujo conjunto dos seus termos um subconjunto do conjunto
dos termos de dada sucesso. Para a definio de subsucesso, necessitamos de introduzir o
conceito de composio de sucesses, que um caso particular da composio de funes. Sejam
un e vn duas sucesses, a ltima das quais de termos naturais. Define-se a composio das
sucesses un e vn como sendo a sucesso (u v)n que tem por termo de ordem k o termo de
ordem k = vk da sucesso un . Ou seja,
(u v)k = uvk .
Definio 2.7.1 (Subsucesso) Sejam un uma sucesso de termos reais e kn uma sucesso de
termos naturais estritamente crescente. A sucesso composta (uk)n designa-se por subsucesso
da sucesso un e o seu termo geral denotado por ukn .
Dada uma sucesso qualquer un de termos reais, podemos considerar sempre as seguintes subsucesses.
Fazendo kn = n para todo n N, obtemos a sucesso vn de termo geral
vn = un .
Isto , toda a sucesso subsucesso de si prpria.
Fazendo kn = 2n para todo n N, obtemos a sucesso vn de termo geral
vn = u2n
Portanto, podemos sempre considerar a subsucesso dos termos de ordem par.
Fazendo kn = 2n 1 para todo n N, obtemos a subsucesso vn de termo geral
vn = u2n1 .
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 1 1
1, , , , , . . . .
2 3 4 5

22
2.8
Sucesso convergente
Dizemos que uma sucesso un de termos reais tende para determinada quantidade A, finita
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 infinito e a
proximidade de inifinito ser sempre um abuso de linguagem. Abreviadamente, podemos escrever
un A.
No caso de A ser finito, isto , um nmero real, dizemos que a sucesso un converge.
Definio 2.8.1 (sucesso convergente) Uma sucesso un converge para a R, se
> 0 p = p() N : ( n N e n > p ) |un a| < .
O real a da definio anterior chama-se limite da sucesso e, habitualmente, escrevemos
lim un = a.
n+
A definio 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 (|un a| < )
quanto se queira ( ). Para percebermos melhor este conceito, consideremos,
por exemplo, a
sucesso de nmeros racionais seguinte que aproxima o irracional 2:

u0 = 1
u1 = 1.4
u2 = 1.41
u3 = 1.414
u4 = 1.4142
u5 = 1.41421
u6 = 1.414213
u7 = 1.4142135
u8 = 1.41421356
u9 = 1.414213562
Escolhamos, gora, = 104 e vejamos, para este , a partir de que ordem n a definio anterior
se verifica. Resolvendo,
|un 2| < 104 un > 1.414113562 n 4 .

Deste modo, para o valor de = 104, a definio anterior verifica-se a partir da ordem
n p = 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 definio
anterior seja verificada.
Exemplo 2.8.1 (AULA TERICA) Usando a definio, mostre que
lim
n+
1
= 0.
n

23
As sucesses que no so convergentes dizem-se divergentes. Caso particularmente importante 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 suceso tende para , se, a partir de certa ordem, os seus termos so
to pequenos quanto se queira.
Definio 2.8.2 Uma sucesso un tende para +, se
1
> 0 p = p() N : ( n N e n > p ) un > .
Uma sucesso un tende para , se

1
> 0 p = p() N : ( n N e n > p ) un < .
Por extenso da noo de limite a + e , podemos escrever tambm

lim un = + e
n+
lim un = ,
n+
no caso da sucesso un tender para + ou , respectivamente.

Exemplo 2.8.2 (AULA TERICA) Usando a definio, mostre que
lim 2(n + 1) = + e
n+
1n
= .
n+
2
lim
Uma sucesso un designa-se por um infinitamente grande positivo, se tender para +:

un +.
Diz-se que um infinitamente grande negativo, se tender para :
un .
Chama-se infinitsimo, ou infinitamente pequeno, a uma sucesso un que tenda para 0:
un 0.
O limite de uma subsucesso de uma sucesso designado por sublimite dessa sucesso.
Definio 2.8.3 O maior dos sublimites de uma sucesso un denomina-se limite superior e
definimo-lo por:
lim sup un = sup{a : a sublimite de un }.
n+
O menor dos sublimites de uma sucesso un denomina-se limite inferior e definimo-lo por:
lim inf un = inf{a : a sublimite de un }.
n+

24
Resulta da definio anterior que, para qualquer sucesso un , no caso de existirem sublimites,
lim inf un lim sup un .
n+
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
un =
2.9
n + (1)n n
.
n1
Propriedades
A afirmao da proposio seguinte diz-nos que o limite de uma sucesso, a existir, nico.
Proposio 2.9.1 Sejam un uma sucesso e a, b R. Se
lim un = a e
n+
lim un = b,
n+
ento a = b.
Proposio 2.9.2 Se un uma sucesso convergente, ento un limitada.
A afirmao recproca da proposio anterior falsa como mostra o contra-exemplo da sucesso
un = (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 un uma sucesso montona e limitada, ento un convergente. Mais:
se un crescente, ento
lim un = sup{un : n N};
n+
se un decrescente, ento
lim un = inf{un : n N}.
n+

Exemplo 2.9.1 (AULA TERICA) Usando a proposio anterior, mostre que a sucesso seguinte
convergente e calcule o seu limite:

u1 = 1
.
un+1 = 2 + un

25
A afirmao 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:
(1)n
.
un =
n
Proposio 2.9.4 Uma sucesso un convergente se e s se qualquer sua subsucesso unk
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 un uma sucesso (de termos reais). Ento existe, pelo menos, uma
subsucesso unk montona.
SEM DEMONSTRAO: ver, por exemplo, J. Campos Ferreira p. 90.
Proposio 2.9.6 Seja un uma sucesso limitada. Ento un tem, pelo menos, uma subsucesso unk convergente.
O resultado da proposio anterior , por vezes, denominado Teorema de Bolzano2 -Weierstrass3 .
Daqui, resulta que condio necessria e suficiente para uma sucesso limitada un convergir
que
lim inf un = lim sup un .
n+
n+
Exemplo 2.9.3 (AULA TERICA) A sucesso un = (1)n divergente.
2.10
Sucesso de Cauchy
Por vezes, torna-se muito difcil provar, pela Definio 2.8.1, que uma sucesso convergente,
apesar de verificarmos que congerve, 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 Cauchy4
Definio 2.10.1 (Sucesso de Cauchy) Diz-se que uma sucesso un de Cauchy, se
> 0 p = p() N : ( m, n N e m, n p ) |um un | < .
2
Bernhard Bolzano (1781-1848), matemtico checo natural de Praga.

Karl Weierstrass (1815-1897), matemtico alemo natural de Ostenfelde.
4
Augustin-Louis Cauchy (1789-1857), matemtico francs natural de Paris.
3

26
O significado desta definio o de que a partir de certa ordem, digamos p (m, n p), os termos
correspondentes da sucesso (um e un ) estaro to prximos quanto se queira. 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 un =
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 definio de sucesso de Cauchy designada por Princpio Geral de Convergncia de
Cauchy. Existem mesmo muitos autores que falam de definio de sucesso convergente no
sentido de Cauchy. Neste sentido, e para a distinguir, a primeira (Definio 2.8.1) designada
por noo de sucesso convergente no sentido de Heine5 . 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:

1
1
u1 = 1
a)
b) sn = 1 + + + .
1
un+1 = 1 + un ;
2
n
2.11
Critrios de convergncia
As proposies seguintes estabelecem relaes de ordem entre os limites de sucesses a partir

dos seus termos gerais.
Proposio 2.11.1 Sejam un e vn duas sucesses convergentes para a e b, respectivamente.
Se, a partir de certa ordem, un vn , 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 un , vn , xn sucesses tais
que, a partir de certa ordem, un vn xn , un e xn so convergentes e
lim un = a =
n+
lim xn ,
n+
a R.
Ento vn convergente e
lim vn = a.
n+
5
Heinrich Eduard Heine (1821-1881), matemtico alemo natural de Berlim.


27

Exemplo 2.11.1 (AULA TERICA) Usando o critrio anterior, mostre que a sucesso seguinte
convergente e calcule o seu limite:
un =
1
1
+
+
.
n2 + 1
n2 + n
O resultado da Proposio 2.11.1 pode-se estender, em determinadas condies, ao caso em que

os limites so infinitos
Proposio 2.11.3 (Critrio de Comparao) Sejam un e vn sucesses tais que, a partir
de certa ordem, un vn .
1. Se vn tende para , ento un tende para .
2. Se un tende para +, ento vn tende para +.
Exemplo 2.11.2 (AULA TERICA) Usando o critrio anterior, mostre que a sucesso un =
2(n + 1)2 tende para +.
O resultado seguinte diz-nos que a a afirmao recproca da Proposio 2.11.1 tambm vlida.
Proposio 2.11.4 Sejam un e vn duas sucesses convergentes e suponhamos que
lim un lim vn .
n+
n+
Ento, a partir de certa ordem, un vn .

A proposio seguinte diz-nos que o produto de um infinitsimo por uma sucesso limitada ,
ainda, um infinitsimo.
Proposio 2.11.5 Sejam un uma sucesso limitada e vn uma sucesso convergente tal que
lim vn = 0.
n+
Ento (u v)n = un vn uma sucesso convergente e

lim un vn = 0.
n+

Exemplo 2.11.3 (AULA TERICA) Usando a proposio anterior, mostre que a sucesso seguinte
um infinitsimo:
cos n
un =
.
n

28
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.
Definio 2.12.1 (Recta acabada) Define-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 definir 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.
Definio 2.12.2 (operaes com + e ) Para a adio tem-se:
a + (+) = +,
a + () =
(+) + (+) = +,
Para a multiplicao tem-se:
a R;
() + () = .
a (+) = +,
a () =
a (+) = ,
a () = + a < 0;
(+) (+) = +,
(+) () = ,
a > 0;
() () = +.
As operaes de subtraco e diviso so operaes inversas da adio e multiplicao, respectivamente. Assim, tem-se para a subtraco:
a (+) = a + () = ,
E para a diviso tem-se:
a () = a + (+) = + a R;
(+) () = (+) + (+) = +.
+
= +,
= a 0;
a
a
+
= ,
= + a 0;
a
a
Pela sua importncia, tambm consideramos a operao de potenciao:
ab ,
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 definem-se como habitualmente. No caso em que
intervm os elementos + e , temos:

1
0 se 0 a < 1
+ se 0 a < 1
+
a
=
; a
= + =
;
+ se a > 1
0 se a > 1
a

0 se b < 0
b
(+) =
+ se b > 0.

29
2.13
Indeterminaes
Pelo exposto acima, verifica-se a existncia de omisses na definio das operaes algbricas
entre alguns elementos de R. Em R j conhecemos as seguintes situaes em que as operaes
no esto definidas:
0
e
00 .
0
Em R, quando no for possvel determinar uma operao, diremos que estamos perante uma
indeterminao.
Definio 2.13.1 (Indeterminaes) As indetermines em R so dos tipos:

+ + () = + ,
+ (+) = + ;
0 (+),
1+ ,
0 ();
1 =
1
1+
(+)0 .
Existem outras indeterminaes, mas que podero ser analisados como casos particulares dos
dados na definio anterior. Esses casos, so as indeterminaes dos tipos:
0
0
1
=
= 0 ;
- j existente em R
0
1
= 0 = 0 ;
0
0
00 - j existente em R
0
0 =
1
+
0
1
.
(+)0
Convm referir que, como sai da parte final da seco anterior, no so indeterminaes os
casos particulares seguintes:
0+ = 0,
(+)+ = +;
0 =
1
0+
(+) =
1
= +;
0
1
1
=
= 0.
+
(+)
+

30
2.14
Clculo de limites
Nesta altura podemos, ento, definir as operaes algbricas entre os limites de sucesses,
limites esses que podero ser infinitos.
Proposio 2.14.1 Sejam un e vn sucesses e a, b R tais que
lim un = a
n+
lim vn = b.
n+
Ento, salvo os casos em que se obtm indeterminaes, temos:

1.
lim (un vn ) = a b;
n+
2.
lim (un vn ) = a b;
3. se b 6= 0 e vn 6= 0 para todo n N,
lim
un
vn
a
= ;
b
4. se un uma sucesso de termos positivos,

lim (un vn ) = ab .
SEM DEMONSTRAO: Ver Campos Ferreira, Captulo II.1.

No clculo de limites podemos usar a Proposio 4.2.2 sempre que no obtenhamos indeterminaes. Mas, em muitas situaes de clculo de limites, surgem indeterminaes. Ao processo
de resolver determinada indeterminao, vamos designar por levantamento da indeterminao.
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 (n2 2n)
e
lim
n+1 n .
n+
n+
Regra 2 (levantamento de indeterminaes do tipo 0 ) As indeterminaes dos tipos
0
,
,
0
podem, normalmente, ser levantadas pondo em evidncia os termos de maior grau.
0 ,
3
n3 + 2
32n 5n+1
lim
e
lim
.
n+ n 1
n+ 4n+1 + 22n

31
2.15
Limites importantes
Para o levantamento de indeterminaes do tipo 1 , temos de introduzir um resultado importante.

Definio 2.15.1 (Nmero de Neper) Define-se o nmero de Neper e como sendo o limite
finito seguinte:

n
1
lim
1+
= e.
n+
n
Prova-se que a sucesso
un =
estritamente crescente e
1
1+
n
n
2 un < 3 n N.
Logo un convergente e, na seco seguinte sobre Sries Numricas, iremos mostrar que

n

n
X
1
1 1
1
1
lim
1+
= lim
1+1+ + ++
lim
.
n+
n+
n+
n
2 6
n!
k!
k=1
Donde, podermos considerar a aproximao s casas das centsimas
e 2, 71 .
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
suio Leonhard Euler (1707-1783) sobre a funo exponencial. por isso que denotamos este
nmero com a letra inicial de Euler.
Proposio 2.15.1 Sejam a R e un uma sucesso tal que
lim |un | = +.
n+
Ento

un
a
lim
1+
= ea .
n+
un

Regra 3 (Levantamento de indeterminaes do tipo 1 ) As indeterminaes do tipo
1
podem, normalmente, ser levantadas usando a Definio 2.15.1 ou a Proposio 2.15.1.

32
Exemplo 2.15.1 Calcule o limite seguinte:

lim
n+
!4n3
2
.
1 3
n
Para o levantamento de grande parte das indeterminaes do tipo 0 , introduzimos o resultado

seguinte.
Proposio 2.15.2 Sejam a R+
0 {+} e un uma sucesso de termos positivos tal que
un+1
lim
= a.
n+ un
Ento
lim n un = a.
n+

Regra 4 (Levantamento de indeterminaes do tipo (+)0) As indeterminaes do tipo
(+)0
podem, normalmente, ser levantadas usando a Proposio 2.15.2.
Exemplo 2.15.2 (AULA TERICA) Calcule o limite seguinte:
n
n2 + 1.
lim
n+
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.2.
Proposio 2.15.3 Sejam a > 1 um real e p N arbitrrios. Temos:
np
an
n!
lim
=
0,
lim
= 0,
lim
= 0.
n
n+ a
n+ n!
n+ nn
Observe-se que, da proposio anterior, podemos tirar o limite seguinte:
np
lim
= 0 p N.
n+ 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 e 1 = 1;
n+

1
lim n ln 1 +
= 1;
n+
n

1
lim n sen
= 1;
n+
n
(ln n)a
lim
= 0 para todos a > 0, b > 0.
n+
nb

33
2.16
Exerccios
1. Calcule o primeiro termo, assim como os termos de ordem n 1, 2n e 2n 1 das sucesses

seguintes:
un =
n + (1)n
;
n
vn = 1 +
1
1
++ n ;
2
2
xn = (1)n+1
1
2
3
1
wn = 2 + 2 + 2 + + ; zn =
n
n
n
n
1
yn = ;
n!
n2 + 2
;
2n + 3
z1 = 1
.
zn+1 = 2 + zn
2. Faa a representao grfica dos cinco primeiros termos das sucesses un , xn e yn indicadas
no exerccio anterior.
3. Escreva o termo geral das sucesses cujos termos das primeiras ordens so os seguintes:
a) 2, 5, 8, 11, . . . ;
d)
1 1 1
b) 1, , , , . . . ;
2 4 8
1 1
1 1
c) 1, , , ,
, ... ;
4 9
16 25
3 8 13 18
3 2 5 4
, , , , . . . ; e) 1, 2, 3, 5, 8, 13 . . . ; f) 0, , , , , . . . .
7 11 15 19
2 3 4 5
4. Usando o Princpio de Induo Matemtica, prove as afirmaes seguintes:

a) 1 + 2 + 3 + + n =
b)
n(n + 1)
;
2
1
1
1
1
n
+
+
++
=
;
1.3 3.5 5.7
(2n 1)(2n + 1)
2n + 1
c) 12 + 22 + 32 + + (n 1)2 <
n3
3
n N;
d) 13 + 23 + 33 + + n3 = (1 + 2 + 3 + + n)2
e) 2n > n2
[Usar a)] ;
n 5;
f) Binmio de Newton: Para quaisquer a , b R

n!
n(n 1) n2 2
(a + b)n =an + nan1 b +
a b ++
ank bk
2
k!(n k)!
n
X
n(n 1) 2 n2
n!
n1
n
++
ab
+ nab
+b
ank bk .
2
k!(n k)!
k=1
5. Calcule a soma dos 10 primeiros termos das seguintes progresses
un = 2n 1 ;
vn =
2
3n1
xn = (1)n ;
2
yn = (n + 1) .
3

34
6. Indique quais das sucesses dos exerccios 1 e 3 so majoradas, minoradas e limitadas.

7. Estude as sucesses seguintes quanto monotonia:
sn =
n+1
;
2n + 4
tn =
vn =
n!
;
nn
yn = 1 + 1 +
n+1
n;
n
;
2n
un =
1
1
1
+ ++ .
2 3!
n!
8. Indique duas subsucesses para cada sucesso dos exerccios 1, 3, 4 e 7.

9. Usando a definio, mostre que as seguintes sucesses so convergentes para os limites
indicados:
a)
1
= 0;
n+ 2n
b)
n
= 1;
n+ n + 1
c)
d)
(1)n+1
= 0;
n+
n
e)
n2 + 1
1
= ;
n+ 2n2 1
2
f)
lim
lim
lim
lim
2n 1
= 2;
n+ n + 1
lim
lim
n+
n+1
n = 0.
10. Usando a definio, mostre que as seguintes sucesses so divergentes e, na recta acabada,
tm os limites indicados:
a) lim
n3 1 = + ;
b) lim (1 n2 ) = .
n+
n+
11. Calcule os limites seguintes:

2n + 3
a) lim
;
n+ 3n 1
d)
lim
n+
p
n(n + 1)
n2 1
b) lim 4
;
n+ n + 3
c)
2n + 1
;
n+ 2n 1
f)

n(n 1) ; e)
lim
lim
n+
n2 + 7n 1
;
n+2
32n + 4n+1
.
n+ 5n 22n
lim

a)
lim
n+
2 n + 3n ;
b)
lim
n+
n2 + n 1
;
n3
2n + 1
2n + 3
c)
lim
n+
p
n
(n + 1)! n! .

n3
1
a) lim 1 + 2
;
n+
n
b)
lim
n+
4n
c)
lim
n+
2n2 5n + 2
2n2 + 3n + 1
2n

35
14. Usando o Princpio das Sucesses Enquadradas, calcule os limites seguintes:

1
1
1
a) lim
+
++
;
n+ n2
(n + 1)2
(2n)2

b) lim
+
++
2
2
2
n+
n +1
n +2
n +n
1+ 2++ n
c) lim
;
n+
n2 + 1
n!
;
n+ nn
d)
lim
e)
n + sen n
;
n+
n
lim
f)
lim
n+
3 n + 5n .
15. Calcule os limites superior e inferior das sucesses seguintes:

(1)n n2 + 1
;
un =
n2 + 2

n + sen n 2
xn =
.
n
vn = 1 + cos ((n + 1)) ;
16. Estude a natureza das sucesses seguintes indicando o limite das que so convergentes:
1 + n3
an = 2
;
n + 2n 1
2n en+1
bn = n
e 2n+1
sen n
dn =
;
n
22n 3n
en = n
;
2 32n
cn =
hn = n (1 + n )
n2
jn = n ;
2
n!
kn = n ;
3
mn =
(n + 1)!

1
fn = n ln 1 +
n

1
gn = n sen
;
n
n2
1
in =
n
2 n2
ln =
r
n
n! ;
n!
;
n+1
n2 + cos(n)
n2
n+1
n2
n2
n2
+p
++ p
;
n4 + n2
n4 + (n + 1)2
n4 + (2n)2
1
1
1
++ ;
nn = +
n
n+1
2n

p1 = 1
o1 = 1
;
;
pn+1 = 1 + p1n
on+1 = 2 + on
q0 = 1
q1 = 1
qn+2 =
qn +qn+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 finitas por somatrios, deixando-se a designao de
sries para as somas infinitas.
3.1
Somatrios
Os somatrios surgem como uma necessidade de simplificao da escrita de somas de termos

de uma sucesso.
Definio 3.1.1 (Somatrio) Sejam uk uma sucesso de termos reais e n N. O smbolo
de somatrio
n
X
uk
k=1
define-se por recorrncia da forma seguinte:

n
X
uk = u1
se
n=1
n
X
k=1
uk =
k=1
n1
X
uk + un
se n > 1.
k=1
Assim, para quaisquer p, q N, com p q, usamos o somatrio

q
X
uk
k=p
para denotar a soma
up + up+1 + + uq .
Neste caso, p diz-se o limite inferior do somatrio, q o limite superior e uk o termo

geral.
Exemplo 3.1.1 A soma Sn dos n primeiros termos de uma progresso aritmtica ou geomtrica uk pode ser escrita do modo seguinte:
Sn =
n
X
k=1
36
uk .
37
3. SRIES NUMRICAS
Proposio 3.1.1 Sejam uk e vk sucesses de termos reais e c R. Ento so vlidas as

propriedades seguintes:
1. Aditiva
n
X
(uk + vk ) =
k=1
2. Homognea
n
X
n
X
(c uk ) = c
k=1
3. Telescpica
uk +
k=1
n
X
k=1
n
X
vk ;
k=1
n
X
uk ;
k=1
(uk uk1) = un u0 .
DEMONSTRAO - EXERCCIO: Usar o Mtodo de Induo Matemtica em n.
3.2
Sries numricas
A noo de srie numrica infinita introduzida para permitir a generalizao do conceito de

somatrio com uma infinidade de parcelas numricas.
Definio 3.2.1 (Srie numrica) Seja un uma sucesso numrica. Designa-se por srie
numrica infinita o par formado pela sucesso un :
u1 , u2 , . . . , un , . . .
e pela sucesso Sn seguinte:
S1 = u 1 ,
S2 =
2
X
uk = u1 + u2 ,
...,
Sn =
k=1
n
X
k=1
uk = u1 + u2 + + un ,
... .
Os nmeros u1 , u2 ,. . . , un , . . . denominam-se termos da srie, sendo un o termo geral

da srie, e a sucesso de termos S1 , S2 , . . . , Sn , . . . designa-se por sucesso das somas
parciais. Habitualmente, a srie de termo geral un pode ser representada por um dos quatro
modos seguintes:
u1 + u2 + + un + . . . ,
+
X
n=1
un ,
X
n1
un ,
un .
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 definido em R. Para simplificarmos a escrita, iremos designar
toda a srie numrica infinita apenas por srie.

38
3. SRIES NUMRICAS
P
Definio 3.2.2 (Convergncia) Seja
un uma srie e Sn a sucesso das suas somas parciais.
P
1. Diz-se que a srie
un convergente, se a sucesso Sn for convergente.
P
2. Se a sucesso Sn divergente, a srie
un diz-se divergente.
A convergncia de uma srie

P reduz-se, portanto, convergncia da sucesso das somas parciais.
No caso em que a srie
un convergente, existe, ento, um real S tal que
lim Sn = S.
n+
O limite S denomina-se por soma da srie e podemos escrever

+
X
un = S.
n=1
Exemplo 3.2.1 (Srie finita) Uma srie finita uma srie (infinita), digamos
os termos quase todos nulos, isto , para a qual:
un , com
p N : n > p un = 0.
Proposio 3.2.1 Toda a srie finita convergente e, no caso do Exemplo 3.2.1, a soma da
srie dada por:
p
X
uk = u1 + u2 + + up .
S=
k=1

Exemplo 3.2.2 (Srie geomtrica) Designa-se por srie geomtrica toda a srie da forma:
+
X
n=0
xn = 1 + x + x2 + + xn + ;
onde x um real que se denomina razo da srie.

Por vezes, as sries geomtricas podero aparecer na forma seguinte:
+
X
n=1
xn = x + x2 + x3 + + xn + .
Com esta notao evita-se de, no caso particular x = 0, termos a indeterminao 00 .

Proposio 3.2.2 A srie geomtrica
+
X
n=0
xn = 1 + x + x2 + + xn + ,
convergente para |x| < 1 e divergente para |x| 1. Mais, no caso em que convergente, a
sua soma dada por:
1
S=
.
1x

39
3. SRIES NUMRICAS

Se a srie geomtrica aparecer na forma
+
X
n=1
xn = x + x2 + x3 + + xn +
e for convergente, ento a sua soma dada por

S=
x
.
1x
Exemplo 3.2.3 (AULA TERICA) Verifique que a srie seguinte convergente e calcule a sua
soma:
+
X
1
.
n1
3
n=1
Exemplo 3.2.4 (Srie de Mengoli) Designa-se por srie de Mengoli, ou srie redutvel ou,
ainda, srie telescpica, toda a srie da forma:
+
X
(un un+1) .
+
X
(un un+p) .
n=1
Dado p N, podemos generalizar o conceito de srie de Mengoli srie

n=1
P
Proposio 3.2.3 A srie de Mengoli
(un un+1 ) convergente, se a sucesso un for convergente. divergente, se o limite de un no existe (ou no finito). No caso em que
convergente, a soma dada por:
S = u1 lim un+1 .
n+

Por um raciocnio indutivo,
P podemos estender o resultado da proposio anterior
P a toda a srie
de Mengoli da forma
(un un+p ), com p N arbitrrio. Assim, a srie
(un un+p )
convergente, se a sucesso un for convergente e divergente se o limite de un no existe. Mais,
no caso de convergir, a soma dada por:

p
X
S=
uk lim un+k
= u1 + u2 + + up lim (un+1 + un+2 + + un+p )
k=1
n+
n+
= u1 + u2 + + up p
lim un .
n+
Exemplo 3.2.5 (AULA TERICA) Verifique que a srie seguinte convergente e calcule a sua
soma:
+
X
1
.
n(n
1)
n=2

40
3.3
3. SRIES NUMRICAS
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
un convergente se e s se
> 0 p = p() N : ( n, k N e n > p) |Sn+k Sn | < .

Observe-se que

k
X

|Sn+k Sn | =
un+i = |un+1 + un+2 + + un+k |.

i=1
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:
+
X
1
1 1
1
= 1+ + ++ + .
n
2 3
n
n=1
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
un uma srie convergente, ento un 0.

Na prtica, o mais importante do resultado exposto na proposio anterior, a informao que
nos dada pela sua contra-recproca:
P
se un 9 0, ento
un divergente.
Observe-se que se un 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:
+
X
n!
.
2n
n=0

41
3. SRIES NUMRICAS
P
P
Proposio 3.3.4 Sejam un e
vn sries convergentes de somas Su e Sv , respectivamente,
e seja c R. Ento:
P
1. A srie (un + vn ) convergente e a sua soma Su + Sv ;
P
2. A srie (c un ) convergente e a sua soma c Su .
Exemplo 3.3.3 (AULA TERICA) Calcule a soma da srie seguinte:

+ n+1
X
2
+ 3n1
n=1
6n
Como consequncia da proposio anterior, temos o resultado enunciado a seguir que poder
ser utilizado para estabelecer a divergncia de determinada srie.
P
P
Proposio
3.3.5
Sejam
u
uma
srie
convergente
e
vn uma srie divergente. Ento a
n
P
srie (un + vn ) divergente.
Exemplo 3.3.4 (AULA TERICA) Justifique que a srie seguinte divergente:

+
X
n + 2n
n=1
n 2n
A proposio seguinte mostra-nos que sries praticamente iguais tm a mesma natureza.

Proposio 3.3.6 Sejam
un e
vn duas sries tais que
k Z : vn = un+k .
Ento as duas sries tm a mesma natureza.

Exemplo 3.3.5 (AULA TERICA) Verifique que as sries seguintes tm a mesma natureza:
+
X
1
2n
n=0
+
X
1
;
n1
2
n=0
+
X
1
n
n=1
+
X
n=0
1
.
n+2

42
3.4
3. SRIES NUMRICAS
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.
P
Proposio 3.4.1 Seja P
un uma srie de termos no negativos e Sn a respectiva sucesso
das somas parciais. Ento
un convergente se e s se Sn 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:
+
X
1
.
n!
n=1
P
P
Proposio 3.4.2 (Critrio Geral de Comparao) Sejam
un e
vn sries de termos
no negativos. Suponhamos que, a partir de certa ordem, un vn . Tem-se:
P
P
1. Se
vn convergente, ento
un tambm convergente.
P
P
2. Se
un divergente, ento
vn tambm divergente.
Exemplo 3.4.2 (AULA TERICA) Usando a proposio anterior, mostre que as sries
+
X
1
nn
n=1
+
X
1
n
n=1
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
P
tivos e
vn uma srie de termos positivos tais que
un uma srie de termos no nega-
un
= L.
n+ vn
P
P
Se 0 < L < +, ento as sries
un e
vn tm a mesma natureza, isto , so ambas
convergentes ou ambas divergentes.
lim

43
3. SRIES NUMRICAS

No caso de, na proposio anterior, se verificar L = 0, ento
p N : n > p un vn .
P
Deste
podemos deduzir da convergncia de
vn a
P modo, pelo Critrio Geral
P de Comparao,
P
de
un e da divergncia de
un a de
vn . Anlogamente, no caso de L = +, ento
p N : n > p un vn ,
P
P
P
P
podendo deduzir da convergncia de
un a de
vn e da divergncia de
vn a de
un . 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
X
n=1
1
;
2n 1
X
1
.
2
n
n=1
Exemplo 3.4.4 (Srie de Dirichlet) Designa-se por srie de Dirichlet toda a srie da forma:
+
X
1
1
1
1
= 1+ + ++ + ;
n
2
3
n
n=1
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
mos no negativos. Tem-se:
un uma srie de ter-
1. Se existe um real > 1 tal que

lim
un
n+ 1
n
ento a srie
lim (n un ) < +,
n+
un convergente.

44
3. SRIES NUMRICAS
2. Se existe um real 1 tal que
un
lim
n+ 1
n
ento a srie
lim (n un ) > 0,
n+
un divergente.
DEMONSTRAO: Consequncia imediata da Proposio 3.4.3.

+
X
n
2
n +1
n=1
+
X
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
itivos. Tem-se:
1. Se
lim sup
n+
ento a srie
2. Se
P
P
un convergente.
lim
n+
un+1
1,
un
un divergente.
Em particular, se existe o limite

ento a srie
un uma srie de termos pos-
un+1
< 1,
un
pN:n>p
ento a srie
un+1
= L,
un
un convergente se L < 1 e divergente se L > 1.

+ 2
X
n
n=1
2n
+
X
n!
3n
n=1

45
3. SRIES NUMRICAS
Proposio 3.4.7 (Critrio da Raz - Cauchy) Seja

ativos. Tem-se:
1. Se
lim sup
un < 1 ,
un > 1 ,
n+
ento a srie
2. Se
n+
un divergente.
lim
n+
ento a srie
un uma srie de termos no neg-
un convergente.
lim sup
ento a srie
un = L ,
un convergente se L < 1 e divergente se L > 1.

+
X
n=1
1
(n + 1)n
n2
+
X
n+1
n=1

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 simplificao no estudo, que, em ambos os
critrios, nada se pode concluir se L = 1.
Exemplo 3.4.8 (AULA TERICA) Verifique 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
X
e n!
n=1
nn
No entanto e apesar de ser um exerccio mais envolvente, pode-se mostrar que esta srie diverge1 .
1
Aplicar o Critrio de Raabe. Ver, por exemplo, Creighton Buck p. 233.

46
3. SRIES NUMRICAS
3.5
Sries de termos positivos e negativos
At agora, temos essencialmente estado a estudar sries de termos no negativos. Agora queremos analisar sries cujos termos possam ser positivos e negativos. De entre estas, tm particular
interesse as sries de termos alternados.
Definio 3.5.1 (Srie alternada) Uma srie diz-se alternada, se for possvel escrev-la da
forma seguinte:
+
X
(1)n un = u1 + u2 u3 + + (1)n un + . . . ;
n=1
onde un uma sucesso de termos no negativos.
Observemos que as sries alternadas, como o prprio nome indica, tambm podero vir escritas
da forma seguinte:
+
X
n=1
(1)n1 un = u1 u2 + u3 + (1)n1 un + . . . .
Para estas sries existe o critrio seguinte de convergncia, devido a Leibniz2 .

Proposio 3.5.1 (Critrio de Leibniz) Suponhamos que un uma sucesso montona decrescente para 0, isto :
e
u1 u2 u3 un . . .
Ento a srie
lim un = 0.
n+
P
(1)n un convergente.

Consoante definamos
+
X
(1) un
+
X
ou
n=1
(1)n1 un ,
n=1
podemos provar, respectivamente,
S1 S3 S2n1 S2n S4 S2
ou
S2 S4 S2n S2n1 S3 S1 .
Exemplo 3.5.1 (AULA TERICA) Estude a natureza da srie seguinte:
+
X
(1)n
n=1
Gottfried Wilhelm von Leibniz (1646-1716), advogado, filsofo e tambm matemtico, natural de Leipzig,
Alemanha.

47
3. SRIES NUMRICAS
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.
P
Proposio 3.5.2 (Critrio de Dirichlet) Sejam
un uma srie cuja sucesso das somas
parciais, digamos Sn , limitada e vn uma sucesso montona decrescente para 0, isto :
C > 0 : |Sn | C
Ento a srie
n N,
v1 v2 v3 vn . . .
lim vn = 0.
n+
un vn 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 justificar que a srie seguinte
convergente:
+
X
cos n
.
n
n=1
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.
P
P
Definio 3.6.1 Uma srie
un diz-se absolutamente convergente, se a srie
|un |
P
convergente.
un simplesmente
convergente ou condicionalmente converP Diz-se que
P
gente, se
un convergente, mas
|un | divergente.
Exemplo 3.6.1 (AULA TERICA) Justifique que a srie seguinte simplesmente convergente:
+
X
(1)n
n=1
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.
P
P
Proposio 3.6.1 Se
|un | uma srie convergente, ento
un convergente e tem-se:

+
+
X
X

un
|un |.

n=1
n=1

48
3. SRIES NUMRICAS
Exemplo 3.6.2 (AULA TERICA) Estude a convergncia da srie seguinte:

+
X
sen n
.
2
n
n=1
Pela Proposio 3.6.1, o estudo da convergncia de grande parte das sries numricas ir reduzirse 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.
P
P
Proposio 3.6.2 (Critrio de Comparao) Sejam un uma srie qualquer e
vn uma
srie de termos positivos tais que
|un |
= L.
lim
n+ vn
P
P
Se 0 L < + e
vn convergente, ento
un absolutamente convergente.
Repare-se
P que no faz nenhum sentido fazer uma comparao da divergncia da srie
a de
un .
vn com
Exemplo 3.6.3 (AULA TERICA) Estude a convergncia simples e absoluta da srie seguinte:
+
X
cos n
.
n3
n=1
Proposio 3.6.3 (Critrio da Razo - DAlembert) Seja

nulos. Tem-se:
1. Se
ento a srie
2. Se
ento a srie
un uma srie de termos no

un+1
< 1,
lim sup
un
n+
un divergente.
ento a srie

un+1
1,
p N : n > p
un

un+1
= L,
lim
n+ un
un absolutamente convergente se L < 1 e divergente se L > 1.

49
3. SRIES NUMRICAS
Exemplo 3.6.4 (AULA TERICA) Usando o critrio anterior, estude a srie seguinte quanto
convergncia absoluta:
+
X
n2
(1)n
.
1 + n2
n=1
Proposio 3.6.4 (Critrio da Raz - Cauchy) Seja
1. Se
lim sup
n+
ento a srie
2. Se
n+
p
n
|un | < 1 ,
p
n
|un | > 1 ,
un uma srie qualquer. Tem-se:
lim sup
ento a srie
un divergente.

lim
n+
ento a srie
p
n
|un | = L ,
un absolutamente convergente se L < 1 e divergente se L > 1.

n

+
X
2n + 100
n
.
(1)
3n
+
1
n=1
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 +
c)
4 8 16
+ +
+ ;
2 6 24
1
2
3
4
+
+
;
11 101 1001 10001
e) 1
1 1 1
+ + ;
3 5 7
b)
10 100 1000 10000

+
+
+
+ ;
7
9
11
13
d) 0, 6 + 0, 51 + 0, 501 + 0, 5001 + ;
f)
1 1 1 1 1
1
+ + + + +
+ .
2 3 4 9 8 27

50
3. SRIES NUMRICAS
2. Indique as sucesses das somas parciais das sries geomtricas seguintes e calcule a soma
das que so convergentes:
a)
+
X
2n ;
b)
n=0
d)
+
X
+
X
(1)n+1 ;
+
X
3
;
n
10
n=0
c)
n=0
(5n+1)
; e)
n=0
+ n1
X
4
n=1
3n
n
X
2
f)
n=0
3. Usando o conhecimento da soma das sries geomtricas, escreva as dzimas infinitas peridicas 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)
+
X
1
;
n(n + 2)
n=1
d)
+
X
n=1
+
X
b)
n=2
1
;
(n 1)n(n + 1)
c)
+
X
n=1

+
X
n+1 n
1
; e)
ln 1 +
;
n
n2 + n
n=2
f)
1
;
n+1+ n
X
(1)n1 (2n + 1)
n(n + 1)
n=1
5. Mostre que
1 1
1
+ + + ln(n + 1) n N ,
2 3
n
para provar que a srie harmnica
+
X
1
1+
n=1
divergente.
6. Justifique que as sries seguintes so divergentes:

a)
+
X
n=1
1
n2 + 1
b)
+ n
X
3 + 2n1
n=0
2n 3n+1
c)
+ n
X
n
n=1
n!
7. Usando o Critrio Geral de Comparao, estude a natureza das sries seguintes:

+
X
1
;
a)
n
n=1
d)
+
X
n=1
n!
;
(n + 2)!
b)
+
X
1
;
2
n +1
+
X
1
p
;
n(n + 1)
n=0
e)
n=1
c)
+
X
n2
+
X
2n
n=0
f)
n=0
n
;
+n1
1
.
+1

51
3. SRIES NUMRICAS
8. Usando o Critrio de Comparao com as sries de Dirichlet, estude a natureza das sries
seguintes:
a)
+
X
1+ n
n=2
d)
n2 n
b)
n=1
c)
n=0
+
X
n n
n2
+
X
( n2 + 1 n) ;
e)
+ 5n
+
X
n=0
1
;
(4n 3)(4n 1)
f)
+
X
sen2 (n)
;
2
n
n=1
+
X
1+
n=0
2++
n2 + 1
9. Usando o Critrio de Comparao, estude a natureza da srie seguinte em funo do

parmetro p:
+
X
1
.
n (ln n)p
n=2
10. Usando o Critrio da Razo (de DAlembert), estude a natureza das sries seguintes:
+
X
1
;
n!
n=0
a)
d)
b)
n=1
n
+
X
(n!)2 15 2
(2n)!
n=1
+ 2
X
n
2n
+
X
n!
nn
n=1
c)
+
X
n
e)
;
en2
n=1
+
X
1.3 . . . (2n + 1)
f)
n=0
4.8 . . . (4n + 4)
11. Usando o Critrio da Raz (de Cauchy), estude a natureza das sries seguintes:
+
X
1
a)
n ;
n2
n=1
d)
+
X
n=1
n+1
b)
+
X
n2
(2n+1)
c)
n=1
n+2
n+3
n2
e)
2n + 1
n=1
+ n
X
2 n!
n=1
n(n1)
+
X
2n 1
nn
f)
+
X
n=1
1
.
[3 + (1)n ]2n
12. Estude a natureza das sries alternadas seguintes:

a)
+
X
(1)n
n=1
n2
+
X
(1)n
;
b)
n
n=1
n
+
X
1
d)
;
2
n=0
e)
+
X
n=1
(1)
c)
+
X
(1)n
n=1
2n + 100
3n + 1
n
; f)
n
;
n+2
+
X
(n)n
n=0
(2n)!
13. Usando o Critrio de Dirichlet, mostre que as sries seguintes so convergentes:

a)
+
X
sen(n)
;
n
n=1
b)
+
X
cos(nx)
n=1
x R.

52
3. SRIES NUMRICAS
14. Estude as sries seguintes quanto convergncia calculando, sempre que possvel, a soma
das convergentes:
a)
+ n
X
en
4n
n=1
b)
n=1
+
X
2n + n2 + n
d)
;
n+1 n(n + 1)
2
n=1
g)
+ 3
X
n
n=1
+ n
X
3 n!
2 + (1)n
3n
e)
+
X
n=1
n
; h)
nn
c)
n=1
nn+ n
n ;
n + n1
n(n1)
+
X
(1) 2
n=1
+
X
2n
f)
+
X
n=0
; i)
n1
n
(1)n
;
n+1+ n
+
X
2.5 . . . (3n + 2)
2n (n + 1)!
n=1
15. Estude as sries seguintes quanto convergncia absoluta e simples (condicionada):

a)
+
X
(1)n
;
(2n + 1)(2n + 2)
+
X
(1)n
;
n+1+ n
n=0
c)
n=0
e)
+
X
n1 3.5.7 . . . (2n
(1)
n=1
+
X
+ 1)
;
2.5.8 . . . (3n 1)
n 3.7.11 . . . (4n
1)
g)
(1)
;
4.7.10
.
.
.
(3n
+
1)
n=1
b)
+
X
n=1
(1)n
;
ln(en + en )
+
X
sen(n)
;
d)
2
n
n=1

+
X
(1)n
(1)n
f)
1+
;
n+1
n+1
n=0
h)
+
X
n=0
n+1
(2)
n+1
n+2
n2

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 finitas 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 definidas directamente pelas operaes elementares de

clculo. No entanto, existem funes cujas definies 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 dificuldades
inerentes definio destas funes at se conseguir explic-las melhor com mtodos de anlise
matemtica que so adquiridos posteriori.
Definio 4.1.1 Seja a um nmero real positivo. Define-se a funo exponencial de base
a por
f (x) = ax .
Domnio: Df = R.
Contra-domnio: Df = (0, +).
Zeros: no tem.
Variao de sinal: sempre positiva.
53
54
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 6= 1.
Grficos: Ver Figura 4.1.
Figura 4.1: Funes exponenciais.

Observemos que a funo exponencial est definida apenas para valores de a positivos. No
pode estar definida
para valores de a negativos, porque quando x assume valores como 1/2, a
1/2
potncia a = a no est definida para valores de a negativos. Por outro lado, se a = 0,
quando x = 0 no sabemos o que 00 .
A base da funo exponencial com mais interesse a = e, onde e = 2, 71 . . . o nmero
irracional, denominado nmero de Neper:
f (x) = ex .
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 definido de uma das duas formas equivalentes seguintes:

n
1
e = lim 1 +
;
n+
n
ou
+
X
1
e=
.
n!
n=0
Proposio 4.1.1 Seja a um nmero real positivo. Ento:

1. a0 = 1;
2. ax+y = ax ay .

55
SEM DEMONSTRAO: Ver, por exemplo, Campos Ferreira pp. 241-249.

Pela anlise anterior da funo exponencial, verificamos 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.
Definio 4.1.2 Seja a um nmero real positivo diferente de 1. Define-se a funo logartmica de base a por
f (x) = loga x.
Domnio: Df = (0, +).
Contra-domnio: Df = 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.
Grficos: Ver Figura 4.2.
Figura 4.2: Funes logartmicas de bases a > 1 (esquerda) e a < 1 (direita).

Sendo a funo logartmica a inversa da funo exponencial, temos a equivalncia seguinte:
y = ax x = loga 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) = loge x.
Neste caso, designamos a funo logartmica como a funo logartmica de base natural e
usamos a notao ln x em vez de loge x.

56
Proposio 4.1.2 Sejam a e b nmeros reais positivos diferentes de 1 e n um inteiro. Ento:

1. loga a = 1;
2. loga 1 = 0;
3. loga (xy) = loga x + loga y;
n
4. loga (x
)= n loga x;
x
= loga x loga y;
5. loga
y
6. loga x = logb x loga b.
SEM DEMONSTRAO: Ver, por exemplo, Campos Ferreira pp. 241-249.
Muitos autores definem 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 fixar 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 . Definimos o seno e o cosseno do ngulo
, respectivamente, por
sen() =
AC
cateto oposto
=
hipotenusa
BC
cos() =
AB
cateto adjacente
=
.
hipotenusa
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 anteriormente 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,
fixando que um crculo, ou ngulo giro, mede 360o . Um semi-crculo, ou ngulo raso, mede 180o ,
um quarto de crculo, ou ngulo rectngulo mede 90o . 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 = 360o e, por
consequncia, = 180o e /2 = 90o .
Designemos agora as coordenadas do vrtice C por (x, y). Por uma simples anlise, verificase que x a medida do cateto adjacente, lado BA, e y a medida do cateto oposto, lado

57
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
e
sen() = y
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
SENO
1
2
COSSENO
graus
3
2
1
2
2
2
3
2
2
2
0o 30o 45o 60o 90o
Esta anlise que fizemos para o tringulo rectngulo inscrito no primeiro quadrante pode ser
extendida para o mesmo tringulo inscrito em qualquer um dos outros trs quadrantes, inscrevendo 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 =
no segundo quadrante:
ou
;
= ;
no terceiro quadrante: = + ou =
no quarto quadrante:
3
2
ou
3
2
= 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:

58
cos
cos
sen
sen
sen ( ) = sen() ;
cos ( ) = cos() ;
sen ( + ) = sen() ;
cos ( + ) = cos() ;
sen
3
2
sen
3
2
sen (2 ) = sen() = sen() ;

= cos(),

+ = cos(),

= cos() ;

+ = cos() ;

= sen() ;

+ = sen() ;
cos
3
2
cos
3
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;
3
ou =
.
2
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 consideraes sobre o crculo unitrio e o tringulo rectngulo nele inscrito feitas acima. Definimos
a tangente e a cotangente do ngulo , respectivamente, por:
cos () = 0
tg() =
cotg() =
sen()
cateto oposto
CA
y
=
=
= ,
cos()
cateto adjacente
x
BA
1
cos()
cateto adjacente
BA
x
=
=
=
= .
tg()
sen()
cateto oposto
y
CA
Destas expresses, podemos afirmar que a tangente no est definida quando cos () = 0, isto
, quando = /2 e = 3/2. A contangente no vai estar definida quando sen () = 0, isto
, quando = 0, = e = 2. Por outro lado,
tg () = 0
sen () = 0
= 0,
ou = 2;
3
ou =
.
2
2
Da tabela dos valores principais do seno e do cosseno, podemos tambm obter os valores
principais da tangente e da cotangente.
cotg () = 0
cos () = 0

59
radianos
TANGENTE
COTANGENTE n.d.
graus
0o
3
3
3 n.d.
3
3
30o 45o 60o
90o
Existem, ainda, outras expresses trigonomtricas que, apesar de no serem to utilizadas

como as anteriores, tm, tambm, alguma importncia. Novamente, tenhamos presentes as
consideraes sobre o crculo unitrio e o tringulo rectngulo nele inscrito feitas no incio
desta seco. Definimos a secante e a cosecante do ngulo , respectivamente, por:
sec() =
1
1
1
1
=
=
= ,
cos()
cateto adjacente
x
BA
cosec() =
1
1
1
1
=
=
= .
sen()
cateto oposto
y
CA
Resulta desta definio que a secante no est definida quando cos() = 0, ou seja, quando
= /2 e = 3/2. A cosecante no est definida 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
SECANTE
2 3
3
COSSECANTE n.d.
graus
0o
n.d.
2 3
3
30o 45o 60o
90o
Na proposio seguinte apresentamos, sem demonstrao, as principais identidades trigonomtricas que j devero ser conhecidas do leitor.

60
Proposio 4.1.3
1. Seja um ngulo qualquer. Ento:

sen2 () + cos2 () = 1;
e sempre que as expresses trigonomtricas em causa estejam definidas:

tg 2 () + 1 = sec2 ();
1 + cotg 2 () = cosec 2 ().
2. Sejam o ngulo oposto ao lado AC de um tringulo de vrtices A, B e C. Ento:

2
AC = AB + BC 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 figura, substitumos sa 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 Fundamental da Trigonometria. A segunda a Lei dos Cossenos e a terceira d-nos as frmulas
de soma e diferena de ngulos. Observe-se que na Lei dos Cossenos, o tringulo no necessariamente rectngulo.
As relaes trigonomtricas estudadas aqui vo dar origem 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.

61
Definio 4.1.3 Diz-se que f uma funo peridica, se para cada x Df , 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 Df .
4.1.3
Funes seno e arco-seno
Definio 4.1.4 Define-se a funo seno por

f (x) = sen(x).
Domnio: Df = R.
Contra-domnio: Df = [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
+
2k,
+
2k
e estritamente de2
2

crescente para x 2 + 2k, 3
+
2k
,
com
k
Z.
2
Extremos: tem o valor mximo y = 1 nos pontos x =
y = 1 nos pontos x = 2 + 2k, k Z.
+ 2k, k Z; tem o valor mnimo
Injectividade: No injectiva.
Grfico: Ver Figura 4.4
Figura 4.4: Funo seno.

62
Como resulta das propriedades da funo seno, verifica-se que esta no injectiva se considerarmos todo o seu domnio. No entanto, observa-se que a funo seno injectiva se a restringirmos
a um dos intervalos da forma

i
h
3
+ 2k, + 2k
ou
+ 2k,
+ 2k
.
2
2
2
2
kZ
kZ
Podemos, ento, considerar a restrio da funoseno 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.
Definio 4.1.5 Define-se
arco-seno como sendo a inversa da funo seno, quando
a funo

restringida ao intervalo 2 , 2 , e denota-se por:
f (x) = arcsen(x).
Domnio: Df = [1, 1].

Contra-domnio: Df = [ 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 =
em x = 1; tem o valor mnimo y = 2 em x = 1.
Figura 4.5: Funo arco-seno.

63
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.
1
2
arcsen(x) 0
4.1.4
3
2
2
2
Funes cosseno e arco-cosseno
Definio 4.1.6 Define-se a funo cosseno por

f (x) = cos(x).
Domnio: Df = R.
Contra-domnio: Df = [1, 1].
Paridade: uma funo par.
Zeros: x = k 2 , k Z.

Variao de sinal: positiva para x 2 + 2k, 2 + 2k e negativa para x
3
+ 2k , com k Z.
2
+ 2k ,
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.
Grfico: Ver Figura 4.6.
Tal como a funo seno, tambm a funo cosseno no injectiva se considerarmos todo o seu
domnio. Contudo, verifica-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 possvel determinar a sua funo inversa. Ao intervalo [0, ] vamos designar por ramo principal
da funo cosseno.

64
Figura 4.6: Funo Cosseno.

Definio 4.1.7 Define-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: Df = [1, 1].
Contra-domnio: Df = [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.

65
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 arcocosseno.
arccos(x) 0
4.1.5
2
2
1
2
3
2
Funes tangente e arco-tangente
Definio 4.1.8 Define-se a funo tangente por

f (x) = tg(x)
Domnio: Df = R \

2
sen(x)
.
cos(x)

+ k : k Z .

Zeros: x = k, k Z.
Periodicidade: uma funo peridica de perodo .

Variao de sinal: positiva para x k, 2 + k e negativa para x 2 + k, k ,
com k Z.
Monotonia: estritamente crescente em todo o domnio.
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

+ k, + k
,
2
2
kZ

a funo tangente injectiva. Ao intervalo 2 , 2 vamos designar por ramo principal da
funo tangente.

66
Figura 4.8: Funo tangente.

Definio 4.1.9 Define-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: Df = R.

Contra-domnio: Df = 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 arcotangente.
arctg(x) 0
3
3

67
4.1.6
Funes cotangente e arco-cotangente
Definio 4.1.10 Define-se a funo cotangente por

f (x) = cotg(x)
cos(x)
.
sen(x)
Domnio: Df = R \ {k : k Z}.
Zeros: x =
+ k, com k Z.
Periodicidade: uma funo peridica de perodo .

Variao de sinal: positiva para x k, 2 + k e negativa para x
com k Z.

+ k, k ,

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.
Definio 4.1.11 Define-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: Df = R.

68
Contra-domnio: Df = (0, ).
Zeros: no tem.
Figura 4.11: Funo Arco-cotangente.

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 arcocotangente.
arccotg(x)
4.1.7
3 1
3
3
Funes secante e arco-secante
Definio 4.1.12 Define-se a funo secante por

f (x) = sec(x)
Domnio: Df = R \

2
1
.
cos(x)

+ k : k Z .
Contra-domnio: Df = (, 1] [1, +).

Zeros: no tem.

69

Variao de sinal: positiva para x 2 + 2k, 2 + 2k e negativa para x 2 + 2k,
3
+ 2k , com k Z.
2

Monotonia: estritamente crescente para x 2k, 2 + 2k 2 + 2k,
+
2k
e

+
2k
.
estritamente decrescente para x 2 + 2k, 2k + 2k, 3
2
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, + 2k
+ 2k, + 2k
,
2
2
kZ

j uma funo injectiva. O conjunto (0, ) \ 2 vai ser designado por ramo principal da
funo secante.
Definio 4.1.13 Define-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: Df = (, 1] [1, +).

Contra-domnio: [0, ] \ 2 .

Zeros: x = 1.

70
Variao de sinal: sempre no-negativa.

Figura 4.13: Funo arco-secante.

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 arcosecante.
arcsec(x) 0
4.1.8
2 3
3
2 2
Funes cosecante e arco-cosecante
Definio 4.1.14 Define-se a funo cosecante por

f (x) = cosec(x)
1
.
sen(x)
Domnio: Df = R \ {k : k Z}.
Contra-domnio: Df = (, 1] [1, +).
Zeros: no tem.
Variao de sinal: positiva para x (2k, (2k + 1)) e negativa para x ((2k 1), 2k),
com k Z.

71

Monotonia: estritamente crescente para x (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

+ 2k, + 2k \ {2k},
2
2

com k Z, j uma funo injectiva. O conjunto 2 , 2 \ {0} vai ser designado por ramo
principal da funo cosecante.
Definio 4.1.15 Define-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: Df = (, 1] [1, +).

Contra-domnio: [ 2 , 2 ] \ {0}.
Zeros: x = 1.
Variao de sinal: sempre no-negativa.

72
Figura 4.15: Funo arco-cosecante.

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.
4.1.9
2 3
3
arccosec(x)
2 2
Funes seno hiperblico e argumento do seno hiperblico
Definio 4.1.16 Define-se a funo seno hiperblico por

f (x) = senh(x)
ex ex
.
2
Domnio: Df = R.
Zeros: x = 0.
Injectividade: injectiva.
A funo seno hiperblico, sendo injectiva em todo o seu domnio, vai admitir funo inversa
sem restries.

73
Figura 4.16: Funo seno hiperblico.

Definio 4.1.17 Define-se a funo argumento do seno hiperblico como sendo a inversa
da funo seno hiperblico e denota-se por:
f (x) = argsh(x).
Domnio: Df = R.
Zeros: x = 0.
Figura 4.17: Funo argumento do seno hiperblico.

A expresso argsh(x) l-se argumento cujo seno hiperblico x.

74
4.1.10
Funes cosseno hiperblico e argumento do cosseno hiperblico
Definio 4.1.18 Define-se a funo cosseno hiperblico por

f (x) = cosh(x) =
ex + ex
.
2
Domnio: Df = R.
Contra-domnio: Df = [1, +).
Zeros: no tem.
Monotonia: estritamente crescente para x (0, +) e estritamente decrescente para
x (, 0).
Figura 4.18: Funo cosseno hiperblico.

Verifica-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.
Definio 4.1.19 Define-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: Df = [1, +).
Contra-domnio: Df = [0, +).
Zeros: x = 1.

75
Figura 4.19: Funo argumento do cosseno hiperblico.

Variao de sinal: sempre no negativa.
A expresso argch(x) l-se argumento cujo cosseno hiperblico x.
4.1.11
Funes tangente hiperblica e argumento da tangente hiperblica
Definio 4.1.20 Define-se a funo tangente hiperblica por

f (x) = tgh(x)
senh(x)
ex ex
x
.
cosh(x)
e + ex
Domnio: Df = R.
Contra-domnio: Df = (1, 1).
Zeros: x = 0.
Variao de sinal: positiva para x (0, ) e negativa para x (, 0).
Como a funo tangente hiperblica injectiva em todo o seu domnio, vai admitir funo
inversa sem qualquer tipo de restrio.
Definio 4.1.21 Define-se a funo argumento da tangente hiperblica como sendo a
funo inversa da funo tangente hiperblica e denota-se por:
f (x) = argtgh(x).

76
Figura 4.20: Funo tangente hiperblica.

Domnio: Df = (1, 1).
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
Definio 4.1.22 Define-se a funo cotangente hiperblica por

f (x) = cotgh(x)
cosh(x)
ex + ex
x
.
senh(x)
e ex

77
Domnio: Df = 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.
Definio 4.1.23 Define-se a funo argumento da cotangente hiperblica como sendo a
inversa da funo cotangente hiperblica e denota-se por:
f (x) = argcotgh(x).
Domnio: Df = (, 1) (1, +).
Contra-domnio: Df = R \ {0}.
Zeros: no tem.
A expresso argcotgh(x), l-se argumento cuja cotangente hiperblica x.

78
Figura 4.23: Funo argumento da cotangente hiperblica.
4.1.13
Exerccios

p
2x
;
g(x) = 1 sen(x) ;
f (x) = ln
1+x
1+x
h(x) = arccos
1x
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.
2. Considere a funo seguinte:
f (x) = ln

1+x
.
1x
a) Determine o domnio Df de f .
b) Mostre que, para quaisquer x, y Df , se tem

x+y
f (x) + f (y) = f
.
1 + xy
3. Considere a funo definida a seguir:

arcsen(x) 1 x 0
f (x) =
.
arctg(x)
0<x1
a) Calcule f (1), f (0) e f (1).
b) Esboce o grfico de f .
4. Usando a Frmula Fundamental da Trigonometria, mostre que:
a) 1 + tg 2 (x) = sec2 (x)
b) 1 + cotg 2 (x) = cosec2 (x).


79

f (x) = arcsen(x);
arccos(x).
2
g(x) =
a) Determine o domnio e o contradomnio de f e g.

b) Esboce os respectivos grficos.
c) O que pode concluir sobre as funes f e g.
6. Considere, agora, as funes seguintes:
f (x) = arctg(x);
g(x) =
arccotg(x).
2

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

8. Determine as expresses designatrias das inversas das funes a seguir indicadas:

x1
x
x2
;
f (x) = 2
;
g(x) = ln
x+4
h(x) = cos((2x + 3)) ;
i(x) = 4 arcsen(x6) .
9. Usando as definies 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) = cosh2 (x).
10. Recorrendo apenas ao conhecimento do grfico das funes elementares j estudadas,
esboce os grficos das funes seguintes:
d(x) = e3x + 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) = x cosec(x) 1 ;

1
k(x) = x sen
;
x
l(x) = 1 | senh(x + 2)| ;
m(x) = max( sen(x), cos(x)) ;
n(x) = 3 cosh(2x 1) .

80
4.2
Limites de funes
No Captulo 2, aquando do estudo do Limite de Sucesses, j introduzimos a recta acabada

R = [, +]. As definies das operaes algbricas que a fizemos entre os elementos +
e com os nmeros reais, bem como entre si, mantm-se. Assim como se mantm as novas
indeterminaes l definidas.
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 Df R.
Definio 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 f (x) = b,
xa
se
>0
> 0 : x (x Df |x a| < |f (x) b| < ) .
A definio anterior tem o significado geomtrico seguinte:

para qualquer x Df 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 infinitesimal.
Se no existir o nmero real b da Definio 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 definio anterior para escrever o seguinte:

1
lim f (x) = + > 0 > 0 : x x Df |x a| < f (x) >
;
xa

1
lim f (x) = > 0 > 0 : x x Df |x a| < f (x) <
.
xa
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 Df . Isto corresponde
a dizer que a um ponto de acumulao1 do domnio Df . Por isso, convm referir que o ponto
x = a no pertence necessariamente ao domnio Df . Se, porventura, a pertencer a Df , ento o
clculo do limite resume-se a substituir na expresso designatria da funo f a varivel x por
a:
lim f (x) = f (a)
a Df .
xa
Diz-se que a um ponto de acumulao do conjunto A R, se todo o intervalo aberto (a , a + )

contm, pelo menos, um ponto de A distinto de a.

81
Exemplo 4.2.1 Calcule os limites seguintes:

a) lim1 arccos(x);
b) lim tgh(x).
x 2
x0
No caso do ponto x = a no pertencer ao domnio Df , 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 Definio 4.2.1 para termos uma definio de
limite apropriada.
Definio 4.2.2 Diz-se que um nmero real b o limite de uma funo f quando x tende para
+, e escreve-se
lim f (x) = b,
x+
se

1
> 0 > 0 : x x Df x > |f (x) b| < .
Diz-se que um nmero real b o limite de uma funo f quando x tende para , e escreve-se
lim f (x) = b,
se
>0
>0 : x

1
x Df x < |f (x) b| < .
Os dois casos da definio anterior tm, respectivamente, os significados geomtricos seguintes:

para qualquer x Df infinitamente grande positivo, no caso de haver limite, vai existir
sempre uma vizinhana de y = b que contm a imagem f (x);
para qualquer x Df infinitamente grande negativo, no caso de haver limite, vai existir
sempre uma vizinhana de y = b que contm a imagem f (x).
Refira-se que, aqui, no faz sentido dizer que + ou so pontos de acumulao de Df , a
no ser no sentido de se poder ir para + ou por pontos interiores a Df .
Se no existir o nmero real b da Definio 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 definio
anterior, podemos escrever o seguinte:

1
1
lim f (x) = + > 0 > 0 : x x Df x > f (x) >
;
x+

1
1
lim f (x) = + > 0 > 0 : x x Df x < f (x) >
;
x
lim f (x) = > 0 > 0 : x
1
1
x Df x < f (x) <
lim f (x) = > 0 > 0 : x
1
1
x Df x > f (x) <
x+

82

a)
lim arccotg(x);
x+
b)
lim sech(x);
c)
x+
lim (x + 1)2 .
No caso do ponto x = a onde se pretende calcular o limite no pertencer a Df mas pertencer a

R, pode acontecer uma situao completamente diferente. Por exemplo, no caso de existirem
pontos x Df tais que x > a e x < a. Quando se passa ao limite, convm saber por que
valores de x Df nos vamos aproximar do ponto x = a: se por valores x > a ou x < a. que,
dependendo da funo, o resultado final pode ser diferente se nos aproximarmos por valores
x > a ou x < a.
Definio 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 f (x) = b,
xa+
se
> 0 > 0 : x (x Df 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 f (x) = b,
xa
se
> 0 > 0 : x (x Df 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 f (x) = + > 0 > 0 : x
xa+
1
x Df x < a + f (x) >

1
lim f (x) = > 0 > 0 : x x Df x < a + f (x) <
;
xa+

1
;
lim f (x) = + > 0 > 0 : x x Df x > a f (x) >
xa
lim f (x) = > 0 > 0 : x
xa
1
x Df x > a f (x) <
Os limites da Definio 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+ f (x) ;
xa
f (a ) = lim f (x) .
xa
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+ ) 6= f (a ).

83

x3 8
a) lim
;
x2 x 2
4.2.2
b) lim f (x),
x0
f (x) =
0 x<0
.
1 x0
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 Df Dg , ou eventualmente + ou . Suponhamos que existem os limites de
f e g quando x tende para a e se tem
lim f (x) = b,
xa
lim g(x) = c,
xa
com b, c R.
Ento, existem os limites de f + g, f g, f g quando x tende para a e tem-se:

lim [f (x) + g(x)] = b + c;
xa
lim [f (x) g(x)] = b c;
xa
lim f (x)g(x) = b c.
xa
Se c 6= 0, ento tambm existe o limite de f /g quando x tende para a e tem-se:

lim
xa
f (x)
b
= .
g(x)
c
Mais, se f (x) > 0 para todo x Df , ento tambm existe o limite de f g quando x tende para
a e tem-se:

lim f (x)g(x) = bc .
xa
Os resultados expressos na proposio anterior podero ainda ser generalizados para o caso de
f e ou g terem limites infinitos, com excepo dos casos em que se obtm indeterminaes.
Observe-se que estes resultados ainda permanecem vlidos no caso de f ou g serem funes
constantes.
Proposio 4.2.3 Sejam f e g duas funes reais de uma varivel real tais que Dg Df , x = a
um ponto de acumulao de Dg , eventualmente + ou , e b um ponto de acumulao de
Df , 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 g(x) = b
xa
lim f (x) = c.
xb
Ento, existe o limite de f g quando x tende para a e tem-se:

lim (f g) (x) = c.
xa

84

Proposio 4.2.4 Sejam a R, e f , g, h funes reais de uma varivel cujos domnios
contenham 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 f (x) = lim h(x) = b.
xa
xa
Ento, tambm existe o limite de g quando x tende para a e tem-se:

lim g(x) = b.
xa

O resultado anterior ainda permite a generalizao seguinte para limites infinitos.
Proposio 4.2.5 Sejam a R, e f , g funes reais de uma varivel cujos domnios contenham uma vizinhana de x = a e tais que nessa vizinhana se tenha
f (x) g(x).
Ento
lim f (x) = + lim g(x) = +
xa
xa
lim g(x) = lim f (x) = .
xa
xa
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:
senx
lim
= 1;
x0
x

x
1
lim 1 +
= e.
x
x

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 Df , eventualmente + ou , tal que limxa f (x) = c. Se c R+ , ento
h
i
lim [ln(f (x))] = ln lim f (x) ln(c).
xa
xa

85
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:
1
1 cos x
= ;
2
x0
x
2
lim
ln(x + 1)
= 1.
x0
x
lim
DEMONSTRAO - EXERCCIO:
Exemplo 4.2.4 Usando os limites notveis anteriores, mostre que:
lim
x0
4.2.4
ex 1
= 1.
x0
x
tgx
= 1;
x
lim
Clculo de limites
No clculo de limites podemos usar a Proposio 4.2.2 sempre que no obtenhamos indeterminaes. Mas, em muitas situaes de clculo de limites, surgem indeterminaes. Ao processo
de resolver determinada indeterminao, vamos designar por levantamento da indeterminao.
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 simplificar a expresso. No caso dos limites em que intervm
razes, basta multiplicar pelo conjugado.
Exemplo 4.2.5 (AULA TERICA)

1
lim+
x0
x2
Calcule os limites seguintes:

2
e
lim
x+1 x .
x+
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 simplificar a expresso dada.
1 x2
lim
x1
1 x4
32x 5x+1
.
x+ 4x+1 + 22x
lim

86
Regra 7 (Levantamento de indeterminaes do tipo 1 ) As indeterminaes do tipo

1
podem, normalmente, ser levantadas usando o limite notvel de Neper.
Exemplo 4.2.7 Calcule o limite seguinte:
!4x3
2
.
1 3
x
lim
x+
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 infinitsimos da mesma ordem que definimos a seguir.
Definio 4.2.4 Seja f uma funo real de varivel real e x = a um ponto de acumulao do
seu domnio Df , eventualmente + ou . Diz-se que f um infinitsimo quando x tende
para a, se
lim f (x) = 0.
xa
Sejam, agora, f e g dois infinitsimos quando x tende para a. Dizemos que f e g so infinitsimos da mesma ordem, quando x tende para a, se
lim
xa
f (x)
= c,
g(x)
com c = constante 6= 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)
x2
;
2
ln(1 + x)
x;
ex 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 assimptoticamente igual, quando x tende
para o ponto onde se est a calcular o limite e, desse modo, simplificar o clculo do limite.
Exemplo 4.2.8 Recorrendo a relaes entre infinitsimos da mesma ordem, calcule os limites
seguintes:
sen(3x) sen(5x)
1 e1cos(x)
a) lim
;
b)
lim
.
x0
x0 ln(1 x) + ln(1 + x)
(x x3 )2

87
4.2.5
Exerccios
2x2 3x + 1
1 1 x2
a) lim
;
b)
lim
;
x1
x0
x2
x1
e) lim
arctg(2x)
g) lim
;
x0 sen(3x)
1 x2
h) lim
;
x1 sen(x)
x0
1 cos x
;
x0
x2
tg x
;
sen x
d) lim tgh x ;
x
(t + h)2 t2
;
h0
h
c) lim
f) lim
i) lim
x+
x2 + 2
2x2 + 1
1
k) lim x[ln(x + 1) ln x] ; l) lim ln
x+
x0 x
1
x
j) lim (1 + sen x) ;
x0
x2
1+x
1x
2. Estude os limites seguintes em funo de a:

|x|
;
xa x
a) lim
para a = 1; a = 0; a = ; a = + ;
x4 1
;
xa x3 1
b) lim
para a [, +] .
3. Recorrendo a relaes entre infinitsimos da mesma ordem, calcule os limites seguintes:

ln x
;
x1 1 x
cos(x) cos(2x)
;
x0
1 cos(2x)
a) lim
b) lim
ln(3 + x) + ln(3 x) 2 ln 3
;
x0
x2
c) lim
arcsen
d) lim
x0
1e
;
x0 ln(1 x) + ln(1 + x)
e) lim
g) lim
ln(1 x)
;
1
x0 e arcsen(x)
4.3
f) lim
x0
h) lim
x0
x
1x2
ln(1 x)
arctg
1cos(x)
x2
1x2
;
1 e1cos(x)
2
x
arcsen 1x
2
x (1 e sen(x) )
Funes contnuas
Os grficos 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.

88
4.3.1
Primeiras noes
Intuitivamente, a noo de continuidade de uma funo, digamos f , significa que uma pequena variao da varivel independente x implica somente uma pequena variao na varivel
dependente y = f (x).
Definio 4.3.1 Sejam f uma funo real de varivel real, com domnio Df , e a um ponto de
acumulao2 de Df . Diz-se que a funo f contnua no ponto x = a, se
>0
> 0 : x (x Df |x a| < |f (x) f (a)| < ) .
A continuidade da funo f no ponto x = a tem o significado geomtrico seguinte:

f (x) difere arbitrariamente muito pouco de f (a) desde que x esteja suficientemente prximo de a.
Se, na definio anterior, fizermos a mudana de varivel h = xa, obtemos a forma equivalente
de noo de continuidade:
> 0 > 0 : h (a + h Df |h| < |f (a + h) f (a)| < ) .
Para definir 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
limxa f (x) e se tiver
lim f (x) = f (a).
xa
Vamos dizer que uma funo contnua, sem especificar onde, se for contnua em todos os pontos
do seu domnio. Neste caso, o grfico de uma tal funo consiste de uma nica curva. Do estudo
que fizemos das funes elementares, podemos dizer que toda a funo elementar contnua
no seu domnio de definio. Intuitivamente, percebe-se que esta afirmao verdadeira. No
entanto, para sermos rigorosos, deveramos demonstr-la em cada caso de funo elementar,
recorrendo definio anterior.
Os pontos onde a funo no for contnua, so designados por pontos de descontinuidade. Os
pontos de descontinuidade de uma funo podem ser classificados em trs classes distintas:
x = a um ponto de descontinuidade de primeira espcie da funo f , se existem
os limites laterais:
f (a+ ) = lim+ f (x)
xa
f (a ) = lim f (x);
xa
mas f (a+ ) 6= 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).
2
Ver nota de roda-p da pgina 80.


89
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:
1 se x < 0
1
0 se x = 0
a) f (x) = sinal(x)
b) f (x) = 2 ;
x
1 se x > 0

1
c) f (x) = sen
;
x
4.3.2
d) f (x) =
sen(x)
.
x
Propriedades
A definio de continuidade que introduzimos na subseco anterior, deve-se a Cauchy. Na

proposio seguinte, apresentamos uma definio equivalente de continuidade, a qual se deve a
Heine. Veja-se o Captulo 2 para se perceber a analogia entre estas definies e as definies
de sucesso convergente segundo Cauchy e segundo Heine.
Proposio 4.3.1 Sejam f uma funo real de varivel real, com domnio Df , e a um ponto
de acumulao de Df . A funo f contnua no ponto x = a se e s se qualquer que seja a
sucesso un , de termos em Df , convergente para x = a, a sucesso f (un ) converge para f (a).
Proposio 4.3.2 Sejam f e g funes reais de variveis reais, com domnios Df e Dg , respectivamente. Suponhamos que f e g so funes contnuas num ponto de acumulao a Df Dg .
Ento, tambm, so contnuas, em x = a, as funes f + g, f g, f g. Mais, se g(a) 6= 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 Df e Dg , respectivamente. Suponhamos que g contnua num ponto de acumulao a Dg e que f contnua
em b = f (a), sendo b um ponto de acumulao de Df . 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 Df e a e b nmeros reais pertencentes a um intervalo I Df tais que f (a) 6= f (b).
Ento, para todo entre f (a) e f (b), existe um c entre a e b tal que = f (c).

90

Podemos escrever a afirmao 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 (Proposio4.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.
DEMONSTRAO: Consequncia imediata da Proposio-4.3.4.
A proposio seguinte afirma-nos algo que j experimentmos no estudo das funes elementares.
Proposio 4.3.5 Seja f uma funo real de varivel real, com domnio Df , e injectiva num
intervalo I Df . 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 Df , e I Df 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. Estude as funes seguintes quanto continuidade:

a) f (x) =
x+1
;
x3 + x
b) f (x) =
d) f (x) =
|x2 1|
;
x2 1
e) f (x) =
p
3
tg(x) cotg(2x) ;
1
;
1 + esec x
c) f (x) =
f) f (x) =
x
.
sen(5 cos x)
x2
1
;
+x
2. Determine os valores de a de modo que as funes seguintes sejam contnuas em x = 0:
3x a
sen(ax)
1x
x 6= 0
x
a) f (x) =
;
b) f (x) =
.
x>0
1
x=0
x+1

91
3. Determine os valores de a de modo que as funes seguintes sejam contnuas no ponto

indicado:

1
x2 4
x 6= 0
x sen
x 6= 2
x
x
2
a) f (x) =
;
b) f (x) =
;
a
x=2
a
x=0
2
x
arcsen
1 e1cos(x)
1x
, x 6= 0
, x 6= 0
ln(1
x)
+
ln(1
+
x)
sen(x) )
x
(1
e
c) f (x) =
; d) f (x) =
.
a,
x=0
a,
x=0
4. Determine as descontinuidades das funes seguintes e classifique-as quanto ao tipo:

1
senx
a) f (x) =
;
b) f (x) = cos
;
c) f (x) = e x2 ;
|x|
x
(1 + x)5 1
d) f (x) =
; e) f (x) = arctg
x

1
1
; f) f (x) = e 1+x .
x
5. Mostre que a equao

sen3 x + cos3 x = 0
tem, pelo menos, uma raiz no intervalo aberto (0, ).
6. Mostre que a funo f (x) = 2x3 x2 8x + 4 tem, pelo menos, um zero no intervalo
[0, 1].
7. Prove que a equao x + senh(x) = 0 tem, pelo menos, uma raz real.
8. Prove que todo o polinmio de grau mpar tem, pelo menos, uma raiz real ().
9. Mostre que a equao x3 + 3x 1 = 0 tem uma raz no intervalo (0, 1).
10. Seja f uma funo contnua num intervalo [a, b] tal que f ([a, b]) [a, b]. Prove que f
tem, pelo menos, um ponto fixo no intervalo [a, b] ().

Captulo 5
Clculo Diferencial
5.1
Derivadas
Consideremos uma funo real de varivel real f , com domnio Df , e seja x = a um ponto
interior ao conjunto Df . Designamos por razo incremental da funo f no ponto x = a
expresso seguinte:
f (x) f (a)
.
xa
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 definido pela recta secante ao grfico da funo f nos pontos x e a e pelo eixo das
abcissas.
Definio 5.1.1 Sejam f uma funo real de varivel real, com domnio Df , e x = a um
ponto interior ao conjunto Df . Chama-se derivada da funo f no ponto x = a, e denota-se
por f (a), ao limite seguinte, quando existe:
f (x) f (a)
.
xa
xa
f (a) = lim
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 grfico da funo f no ponto x = a. Deste modo, f (a)
representa a tangente trigonomtrica do ngulo definido pela recta tangente ao grfico 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.
Definio 5.1.2 Sejam f uma funo real de varivel real, com domnio Df , e x = a um ponto
interior a Df . 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)
xa
e
92
f (a ) = lim
xa
f (x) f (a)
.
xa
93
5. CLCULO DIFERENCIAL
No caso da definio anterior, vamos dizer que a funo tem derivada no ponto x = a, se
f (a+ ) = f (a ). Neste caso, ou se, no da definio precedente, existir f (a), dizemos que a
funo f derivvel no ponto x = a.
se, na definio de derivada, fizermos a mudana de varivel x = a + h, obtemos a frmula
seguinte para f (a), que, por vezes, mais prtica:
f (a + h) f (a)
.
h0
h
f (a) = lim
Vamos dizer que uma funo derivvel, sem especificar onde, se for derivvel em todos os
pontos do seu domnio. Neste caso, podemos definir a funo derivada da funo f por f (x).
Em muitas situaes podemos usar a notao seguinte para a funo derivada da funo f :
df
;
dx
onde d f corresponde ao diferencial de f : f = 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, definir a noo de
derivada de uma funo f num ponto x = a, recorrendo seguinte expresso:
f (a + x) f (a)
.
x0
x
f (a) = lim
Uma consequncia da definio de derivada, que toda a funo derivvel contnua.

Proposio 5.1.1 Seja f uma funo real de varivel real, com domnio Df . se f derivvel
num ponto x = a interior a Df , 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) = xn , onde n N0 , ento f (x) = n xn1 .

94
3. Se f (x) = ax , onde a R+ , ento f (x) = ln a ax .

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) 6= 0, (f /g)(x) derivvel e

f (x) g(x) f (x) g (x)
f
(x) =
.
g
[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) = xn , onde n N0 , ento f (x) = n x(n+1) ;
2. Se f (x) = tg(x), ento f (x) = sec2 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.

95
Proposio 5.2.4 (Teorema de derivao da funo inversa) Sejam f uma funo real
de varivel real, injectiva num intervalo I Df 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) 6= 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

1
f 1 (y) =
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 y = f 1 (x), o que equivale a fazer x = f (y) e aplicamos o
resultado anterior na forma seguinte:
1
y = ,
x
voltando no final 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 k , onde k Z \ {0}, ento f (x) =
2. Se f (x) = loga (x), onde a R+ , ento f (x) =

3. Se f (x) = arcsen(x), ento f (x) =
1 1
;
ln a x
1
;
1 x2
4. Se f (x) = arccos(x), ento f (x) =

5. Se f (x) = arctg(x), ento f (x) =
1 1k
x k ;
k
1
;
1 x2
1
;
1 + x2
6. Se f (x) = arccotg(x), ento f (x) =
1
.
1 + x2

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 f dada pela relao y = f (x) e admite funo

96
inversa, mas no possvel obter uma expresso explcita sua, ento pode-se escrever a derivada
da sua funo inversa do modo seguinte abreviado, mas bastante sugestivo:
1
dx
= dy .
dy
dx
Exemplo 5.2.1 Determine a derivada
ex3 .
5.3
dx
da funo inversa x = x(y) da funo y = sen(x)
dy
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 Df Dg . 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 derivada
da funo que est por fora (da composio) vezes a derivada da que est por dentro.
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 estejam bem definidas. Refira-se que as frmulas compreendidas entre os nmeros 28 e 37 so muito pouco utilizadas, razo pela qual so
omitidas pela maioria dos autores.
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 Df . 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 suficiente, como iremos ver mais adiante.

97
1. c = 0,
c = constante
2. x = 1
3. (u v) = u v
4. (c u) = c u ,
5. (u v) = u v + u v
6.
7. (ur ) = r ur1 u ,
rR
9. (eu ) = u eu
11. (ln(u)) =
c = constante
u v u v
v2
8. ( n u) =
n
n un1
u
v
10. (au ) = au u ln a,
u
u
12. (loga (u)) =
a R+
1 u
ln a u
13. (uv ) = uv v ln(u) + v uv1 u

14. ( sen(u)) = u cos(u)
16. ( tg(u)) =
u
= u sec2 (u)
cos2 (u)
18. (sec(u)) = u sec(u) tg(u)

20. ( arcsen(u)) =
22. ( arctg(u)) =
u
1 u2
u
1 + u2
15. (cos(u)) = u sen(u)

17. ( cotg(u)) =
u
= u cosec 2 (u)
sen 2 (u)
19. ( cosec(u)) = u cosec(u) cotg(u)

u
21. (arccos(u)) =
1 u2
23. ( arccotg(u)) =
u
1 + u2
u
24. ( arcsec(u)) =
u 1 + u2
u
25. ( arccosec(u)) =
u 1 u2
26. ( senh(u)) = u cosh(u)
27. (cosh(u)) = u senh(u)
28. ( tgh(u)) =
u
= u sech 2 (u)
cosh2 (u)
29. ( cotgh(u)) =
u
= u cosech 2 (u)
senh2 (u)
30. ( sech(u)) = u tgh(u) sech(u)
31. ( cosech(u)) = u cotgh(u) cosech(u)
u
32. ( argsh(u)) =
u2 + 1
33. ( argch(u)) =
34. ( argtgh(u)) =
u
1 u2
u
36. ( argsech(u)) =
u 1 u2
u
u2 1
35. ( argcotgh(u)) =
u
1 u2
u
37. ( argcosech(u)) =
u 1 + u2
Tabela 5.1: Tabela das frmulas de derivao.


98
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 Rolle1 tem muita importncia, no s porque nos possibilita demonstrar outros 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 verificadas. 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 x3 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 Darboux2 .
A derivada de uma funo, calculada num ponto, reflecte propriedades da funo apenas nesse
ponto. Por outro lado, a razo incremental de uma funo num ponto vai reflectir propriedades
da funo no intervalo onde a razo incremental considerada.
Proposio 5.4.3 (Teorema de Lagrange) Seja f uma funo real de varivel real, contnua 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)
= f (c).
ba
O Teorema de Lagrange3 , 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 finitos.
1
Michel Rolle (1652-1719), matemtico francs natural de Ambert.

Jean Gaston Darboux (1842-1917), matemtico francs natural de Nimes.
3
Joseph-Louis Lagrange (1736-1813), matemtico francs nascido em Itlia com o nome de Giuseppe Lodovico
Lagrangia.
2

99
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 (c)
f (b) f (a)
= .
g(b) g(a)
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 infinitos, e x0 um dos extremos
do intervalo (a, b). Suponhamos que:
1. g (x) 6= 0 para todos x (a, b);
2. lim f (x) = lim g(x) = 0 ou lim f (x) = lim g(x) = .
xx0
Ento,
xx0
xx0
xx0
f (x)
f (x)
= lim
,
xx0 g(x)
xx0 g (x)
lim
desde que o limite do segundo membro exista em R.

SEM DEMONSTRAO: Ver Santos Guerreiro p. 330.
Observe-se que, sendo x0 um dos extremos do intervalo (a, b), os limites da Regra de Cauchy
so, na verdade, limites laterais. A Regra de Cauchy permanece ainda vlida no caso de
lim f (x) = lim g(x) = .
xx0
xx0
Outra regra muito importante, mas que aplicvel somente s indeterminaes do tipo 0/0
a Regra de LHpital4 .
4
Guillaume Franois Antoine (1661-1704), Marqus de LHpital, matemtico francs nascido em Paris.

100
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 x0
um dos extremos do intervalo [a, b]. Suponhamos que f (x0 ) = g(x0 ) = 0 e g (x0 ) 6= 0. Ento,
f (x0 )
f (x)
=
.
xx0 g(x)
g (x0 )
lim
SEM DEMONSTRAO: Ver Santos Guerreiro p. 333.

A Regra de LHpital admite, ainda, a extenso f (x0 ) = g(x0 ), g (x0 ) = 0 e f (x0 ) 6= 0. Neste
caso, o limite infinito. 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:
x tg(x)
.
x0 x sen(x)
lim
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

1
1
f (x)
g(x)
f (x) + g(x) = f (x)g(x)
+
,
f (x)g(x) =
=
.
g(x) f (x)
1/g(x)
1/f (x)
Deste modo, podemos usar a Regra de Cauchy-LHpital para a grande maioria das indeterminaes.
Exemplo 5.4.4 Usando a Regra de Cauchy-LHpital, calcule o limite seguinte:
1
lim x x .
x+
Apesar da Regra de Cauchy-LHpital ser muito eficaz 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 CauchyLHpital. Calcule-o usando outros mtodos.
x sen(x)
.
x+ x + cos(x)
lim

101
5.5
Derivadas de ordem superior
Seja f uma funo real de varivel real derivvel e com funo derivada f (x). Se a funo f
derivvel num ponto x = a interior a Df Df , 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 define-se por:
f (x) f (a)
.
xa
xa
f (a) = lim
Por um processo indutivo, podemos definir a derivada de qualquer ordem superior a 2.

Definio 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)
f (n1) (x) f (n1) (a)

.
(a) = lim
xa
xa
Por conveno, dizemos que a derivada de ordem zero de uma funo a prpria funo:
f (0) (a) = f (a). Se, para qualquer n N0 , f n-vezes derivvel num intervalo I interior ao seu
domnio, ento f diz-se uma funo indefinidamente 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)

n
X
n
(a) =
f (k) (a) f (nk)(a).
k
(Regra de Leibniz)
k=0
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:
ex
f (x) = .
x

102
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 grfico 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 grfico 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) + r1 (x);
onde r1 (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
(x a)2
+ r2 (x);
f (x) = f (a) + f (a)(x a) + f (a)
2
onde onde r2 (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 definida 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) +
onde
f (n) (a)
f (a)
(x a)2 + +
(x a)n + rn (x) ,
2
n!
rn (x)
= 0.
xa (x a)n
lim
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 Taylor5 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 Maclaurin6 A funo rn (x) designa-se por
resto de ordem n e, de entre as vrias expresses possveis, podemos escrever
rn (x) =
5
6
f (n+1) ()
(x a)n+1 ,
(n + 1)!
com entre a e x,
Brook Taylor (1685-1731), matemtico ingls natural de Londres.

Colin Maclaurin (1698-1746), matemtico escocs natural de Kilmodan.

103
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 rn (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 + x2 + + xn + rn (x);
1x
xn
x2
2.
ex = 1 + x +
++
+ rn (x);
2
n!
x2
xn
3.
ln(1 + x) = x
+ + (1)n1 + rn (x);
2
n
4.
(1 + x) = 1 + x +
x2 + +
xn + rn (x), R;
2
n
n xn
x3 x5
+
+ + sen
+ rn (x);
5.
sen x = x
3!
5!
2 n!
n xn
x2 x4
+
+ + cos
+ rn (x).
6.
cos x = 1
2!
4!
2 n!
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 grfico de funes. Vamos ver que
os resultados da seco anterior nos vo permitir obter informao, por exemplo, relativamente
monotonia ou aos extremos de funes.
Definio 5.7.1 Seja f uma funo real de varivel real, com domnio Df , derivvel num
ponto x = a interior a Df e seja b = f (a). A equao da recta tangente ao grfico da
funo f no ponto de coordenadas (a, b) :
y = f (a) + f (a)(x a).
Chama-se normal ao grfico da funo f no ponto de coordenadas (a, b), recta que passa
nesse ponto e perpendicular recta tangente ao grfico de f em (a, b). A equao da recta
normal dada por:
1
y = f (a) (x a),
f (a) 6= 0.
f (a)
se f (a) = 0, a recta normal y = a.


104
Exemplo
5.7.1 Determine asequaes das rectas tangente e normal ao grfico da funo
f (x) = 1 x2 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 Lagrange so verificadas.
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) = x 2 sen(x) definida
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) definida em [0, 2].
Contudo, verifica-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 suficiente para a existncia de extremos, como mostra o contra-exemplo
do exerccio seguinte.
Exemplo 5.7.4 Verifique que, para f (x) = x3 , f (0) = 0, mas f no tem nenhum extremo em
x = 0.

105
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 grfico da funo passa
de cncava a convexa, ou vice-versa. Estes pontos, so designados por pontos de inflexo da
funo.
Definio 5.7.2 Sejam f uma funo real de varivel real, com domnio Df , derivvel num
ponto x = a interior a Df . Diz-se que f uma funo convexa no ponto x = a, se, numa
vizinhana do x = a, o grfico de f est por cima da recta tangente ao grfico da funo de f
em x = a. Se, numa vizinhana de x = a, o grfico de f est por baixo da recta tangente ao
grfico 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 significar que ela convexa nesse ponto. De igual, diz-se que uma funo tem a
concavidade voltada para baixo num ponto, com o significado de que ela cncava nesse
ponto.
Proposio 5.7.1 seja f uma funo real de varivel real, com domnio Df , e 2-vezes derivvel
num intervalo I estritamente contido em Df .
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] Df 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 inflexo da funo f . Em particular, podemos dizer que, se x = c um ponto de
inflexo 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 suficiente de mximo ou mnimo de uma funo, assim como de
ponto de inflexo.
Proposio 5.7.2 Seja f uma funo real de varivel real, com domnio Df , n-vezes derivvel
no ponto x = a interior a Df . 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,
f (n) (a) 6= 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 inflexo em x = a.

106
SEM DEMONSTRAO: Consequncia imediata da Frmula de Taylor.

A primeira afirmao 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
afirmao d-nos uma condio suficiente da convexidade ou concavidade de uma funo num
ponto, independentemente da funo ter extremo ou ponto de inflexo nesse ponto.
2
Exemplo 5.7.5 Determine a natureza dos pontos de estacionariedade da funo f (x) = ex .

Indique os intervalos de convexidade e concavidade.
Definio 5.7.3 Seja f uma funo real de varivel real definida num intervalo no limitado
da forma (a, +) ou (, a). Diz-se que a recta y = mx+p uma assmptota no vertical
ao grfico da funo f quando x tende para +, se
f (x) = mx + p + r(x),
lim r(x) = 0.
x+
uma assmptota no vertical ao grfico da funo f quando x tende para , se

f (x) = mx + p + r(x),
lim r(x) = 0.
A assmptota y = mx + p, a existir, nica e tem-se:

f (x)
,
x x
m = lim
p = lim [f (x) mx] ;

x
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 se verificar, pelo menos, um dos casos seguintes:
lim f (x) = ;
xa
lim f (x) = .
xa+
Exemplo 5.7.6 Determine as assmptotas da funo f (x) = ex .
5.8
Exerccios
1. Determine as derivadas das funes seguintes usando a definio:

a) f (x) = 2x 1 ;
b) g(x) = 2x3 ;
c) h(x) = ln(3x + 1) ;
c) i(x) = sen(x2 ) .
Usando o mesmo raciocnio das demonstraes da proposio anterior, podemos provar

as regras de derivao expressas no exerccio seguinte.
2. Usando as regras de derivao, mostre que:
(a) se f (x) = tgh(x), ento f (x) = sech 2 (x);

107
(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).

3. Usando o Teorema de Derivao da Funo Inversa, determine as derivadas das funes
seguintes:
a) f (x) = 3 2x 3 ;
b) g(x) = log10 (x 1) ;
c) h(x) = arctg(3x + 1) ;
d) i(x) = argsh(5x 2) ; e) j(x) = arcsen
x1
x+1
; f) k(x) =
p
2
ln(x2 + 1) .
4. Usando o Teorema de Derivao da Funo Inversa, mostre que:

(a) se f (x) = argsh(x), ento f (x) =
;
+1
1
(b) se f (x) = argch(x), ento f (x) =
;
2
x 1
1
(c) se f (x) = arcsec(x), ento f (x) =
;
x 1 + x2
1
(d) se f (x) = arccosec(x), ento f (x) = x1+x
2;
x2
1
;
1 x2
1
(f) se f (x) = argcotgh(x), ento f (x) = 2
.
x 1
(e) se f (x) = argtgh(x), ento f (x) =
5. Usando o Teorema de Derivao da Funo Composta, determine as derivadas das funes

seguintes:
a) f (x) = sen(ln x) ;
b) g(x) = xx
2 1
c) h(x) = ln(cosh x) ;
d) i(x) = cot(sec(5x 2)) ; e) h(x) = arcsen(cos x) ; f) k(x) =
p
2
ln(x2 + 1) .
6. Calcule o valor da derivada de g(x) no ponto x = 0, se g(x) = f ( sen2 x) + f (cos2 x).

7. 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
(
x
d) i(x) =
1
x
1+e x
b) g(x) = e|x| ;
;
x 6= 0
x=0
; e) j(x) =
ln(x+1)
x
c) h(x) =
ln(x + 1)
;
x
x 6= 0
; f) g) k(x) =
x=0
sen x
x
x 6= 0
x = 0.

108
8. Usando a tabela das derivadas, determine as derivadas das funes seguintes:

r
x + cos x
4 4 x1
;
b) g(x) = tg(x) x ;
c) h(x) =
;
a) f (x) =
3 x+2
1 sen x
d) i(x) = sen x cos x tg x ; e) j(x) = e arctg x ;
g) l(x) = (ln x)x ;
f) k(x) = cosh(cos x) senh( senx) ;
h) m(x) = cos( arcsenx) ; i) n(x) = xx
x1
9. Determine as derivadas dx/dy das funes inversas x = x(y):

a) y = ex + x ;
d) y =
b) y = senx ln x ;
c) y =
4x x2 3 + (x 2) arcsen(x 2) ; e) y =
1
arctgx ;
1 + x2
6x 8 x2 (x 3) arccos(x 3) .
3
10. Verifique que o Teorema de Rolle no vlido para a funo f (x) = x2 no intervalo
[1, 1]. Como explica este facto?
11. Prove que a funo x3 + 3x 1 tem uma nica raz real e que esta pertence ao intervalo
(0, 1).
12. Mostre que existem exactamente dois valores de x para os quais x2 = x sen(x) + cos(x) .
13. 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.
14. Prove, usando o Teorema de Lagrange, que:
a) ln(1 + x) ln x <
1
, x > 0;
x
c) ln x < x , x 1 ;
e) | cos x 1| <
h
b) tg x x , x 0,
;
2
d) cos x 1 + |x| , x R ;
x2
, x R;
2
f) x
x3
< senx < x , x > 0 .
6
15. Calcule os limites seguintes, usando a Regra de Cauchy-LHospital:

2x 3x
1 1
x(1 ln x)
a) lim
;
b) lim+
e x ;
c) lim+
;
x0
x0
x0
x
x
ln(1 x)
d)
lim x x ;
x+
g) lim
x0
1 cos(x2 )
;
x0
x3 sen x
e) lim
sen x + cos x ex
; h) lim (cot x) senx ;
2
x0
ln(1 + x )
f) lim
x+
h
3
i
x6 + 3x5 x(1 + x) ;
i) lim+ xx .
x0

109
16. Mostre que os limites:

x2 sen x1
a) lim
x0
senx
b) lim
x+
x senx
x + senx
no podem ser calculados pela Regra de Cauchy-LHospital. Calcule-os por outros mtodos.
17. Deduza frmulas explcitas de clculo para as seguintes derivadas de ordem n:

1
n
2x1
n
a) D e
;
b) D
;
c) D n [cos(5x 2)] ;
3x + 1
n
d) D [ln(2x + 1)] ; e) D
sen
x+1
3

; f) D n [ senh(x) cosh(x)] .
18. Determine as frmulas de Maclaurin de ordem n das funes seguintes:
a) f (x) = e2x1 ;
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) .
19. Determine as frmulas de Taylor de ordem n das funes seguintes em torno dos pontos
indicados:
a) f (x) = x ln x ,
c) h(x) =
x0 = 1 ;
(x 1)2
,
x2
b) g(x) =
x0 = 1 ;
1
e) j(x) = cosh(2x 1) , x0 = ;
2
arctgx
,
x
x0 = 0 ;
d) i(x) = sen(x) cos(x) ,

r
f) k(x) = ln
1+x
1x
x0 = 0 ;
x0 = 0 .
20. Calcule os limites seguintes, usando a Frmula de Taylor:

a) lim
senx x
;
x2
b) lim
d) lim
senh(x) x
;
x2
e) lim
x0
x0
x0
ln(1 + x) x
;
x2
1 cosh x
;
x0
x2
c) lim
x0
1 cos x
;
x2
1 cos(2x) 2x2
.
x0
x4
f) lim
21. Duas funes f e g tm primeira e segundas derivadas no ponto x = 0 e satisfazem as

relaes:
f (0) =
2
, f (0) = 2g (0) = 4g(0) , g (0) = 5f (0) = 6f (0) = 3 .
g(0)

110
(x)
, calcule h (0).
a) se h(x) = fg(x)
b) se k(x) = f (x) g(x), calcule k (0).
c) Calcule o limite
g (x)
.
x0 f (x)
lim
22. Estude as funes seguintes quanto monotonia e extremos:

a) f (x) =
x2
x
;
+1
b) g(x) =
d) i(x) = |x2 5x + 6| ;
1
;
1 + sen2 x
e) j(x) = |x|
1
e|x1|
c) h(x) = ex ;
f) k(x) = senx + cos x .
23. Considere a curva:

y = x3 6x2 + 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?
24. Determine as equaes das rectas tangentes e das rectas normais s curvas seguintes nos
pontos indicados:
a) y = arcsenx ,
x0 =
c) y = x + senx cos x ,
e) y = arctgx ,
1
;
2
b) y = x2 cos x ,
x0 =
;
2
d) y = 4x3 + senx ,
f) y =
x0 = 0 ;
2
g) y = arccos( sen x cos x ) ,
x0 =
x0 =
;
2
x0 =
;
4
1 + cos x
ex + x 1 ,
e
x0 = ;
2
; h) y = x
tgx + senx cos x ,
2
2
x0 =
25. 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 grfica:
a) y =
x
;
ex
b) y =
d) y = arctg(x +
g) y = x +
1
;
x
j) y = x sec(x) ;
x2 1) ;
sen(2x)
;
1 cos(2x)
e) y = | senx| + x ;
h) y =
1
;
senx + cos x
1
x
k) y = x ;
c) y =
x2 7x + 7
;
x2 3x + 3
f) y = e
1
1x2
i) y = tgh(x) ;

1
l) y = argcosh x +
x

.
2
Captulo 6
Primitivas
6.1
Introduo
Definio 6.1.1 Seja f uma funo definida num intervalo I de R. Chama-se funo primitiva
de f em I ou, somente, primitiva de f , a qualquer funo g definida em I que verifique 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:
Z
f (x) dx
ou
P [f (x)]
(com x I).
R
Quando se utiliza a notao f (x) dx para a primitiva de uma funo f (x), muitos autores
designam as primitivas por integrais indefinidos. Resulta desta definio que a primitiva de
uma funo f , definida num intervalo I de R, derivvel em todos os pontos interiores a I e,
em cada ponto extremo deste intervalo, tem derivada lateral finita.
Proposio 6.1.1 Seja F uma primitiva de uma funo f num intervalo 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 x0 I e y0 R, existe uma
nica primitiva F da funo f verificando a condio F (x0 ) = y0 .
Proposio 6.1.2 (Propriedade linear) sejam f e g duas funes primitivveis num intervalo I de R e uma constante real. Ento:
111
112
1.
6. PRIMITIVAS
[f (x) + g(x)] dx = f (x) dx +

Z
Z
2.
[f (x)] dx = f (x) dx.
g(x) dx;
6.2
Primitivas imediatas
Pelo exposto anteriormente, verifica-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:
sen2 (x) + cos2 (x) = 1,
1 + tg 2 (x) = sec2 (x),
1 + cotg 2 (x) = cosec 2 (x).
Para as funes hiperblicas, podemos usar as frmulas seguintes:

1 + senh 2 (x) = cosh2 (x),
1 tgh2 (x) = sech 2 (x),
cotgh2 (x) 1 = cosech 2 (x).
Exemplo 6.2.1 Determine as primitivas seguintes:

Z
Z
2
a)
cos (x) dx ;
b)
senh 3 (x) dx.
Para determinar as primitivas de funes que faam envolver secantes e cossecantes, trigonomtricas ou hiperblicas, precisamos de saber as primitivas dessas funes.
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:

Z
Z
Z Z
(f (x) g(x)) dx = f (x) dx g(x)

f (x) dx g (x) dx.

113
6. PRIMITIVAS
1.
0 dx = C
3.
1 r+1
u u dx =
u
+ C,
r+1
5.
7.
9.
r R, r 6= 1
u e dx = e + C
u sen(u) dx = cos(u) + C
u sec (u) dx = tg(u) + C
2.
1 dx = x + C
4.
u
dx = ln |u| + C
u
6.
au u dx =
8.
u cos(u) dx = sen(u) + C
10.
u cosec2 (u) dx = cotg(u) + C
12.
u cosec(u) cotg(u) dx = cosec(u) + C
14.
u cosh(u) dx = senh(u) + C
16.
u cosech 2 (u) dx = cotgh(u) + C
11.
13.
15.
u sech (u) dx = tgh(u) + C
17.
18.
u
dx = arctg(u) + C = arccotg(u) + C
1 + u2
19.
dx = arcsec(u) + C = arccosec(u) + C
u u2 1
20.
21.
22.
u sec(u) tg(u) dx = sec(u) + C
u senh(u) dx = cosh(u) + C
a R+
1 u
a + C,
ln a
u
dx = arcsen(u) + C = arccos(u) + C
1 u2
u

dx = argsh(u) + C ln u + u2 + 1 + C
u2 + 1
u

2
dx = argch(u) + C ln u + u 1 + C
2
u 1

u
1 1 + u
dx = argtgh(u) + C = argcotgh(u) + C ln
+C
1 u2
2
1 u
Tabela 6.1: Tabela das frmulas de primitivas imediatas.

114
6. PRIMITIVAS

A frmula do mtodo de primitivao por partes, pode, ainda, aparecer numa das formas
equivalentes seguintes:
Z
Z
Z
Z
u v dx = u v u v dx
ou
v du = u v u dv;
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 que a expresso, que surge no segundo termo
da frmula de primitivao por partes, mais se simplifique.
Z
Z
x
a)
x e 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:
Z
ex sen(x) dx.
Por fim, o mtodo de primitivao por partes pode ser utilizado para determinar as primitivas
de expresses 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 primitivas das inversas das funes trigonomtricas e das funes hiperblicas, assim como
para a funo logaritmo.
Z
Z
a)
ln(x) dx;
b)
arcsen(x) dx;
6.4
c)
argch(x) dx.
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:
Z
Z
f (x) dx = f ((t)) (t) dt.

115
6. PRIMITIVAS

Observemos que, depois de determinada a primitiva por este mtodo, voltamos varivel inicial,
fazendo a substituio inversa:
t = 1 (x).
Exemplo 6.4.1 Fazendo as mudanas de variveis indicadas, determine as primitivas seguintes:
Z
Z
x
dx
dx,
x + 1 = t.
a)
,
x
=
ln(t);
b)
ex + 1
x+1
Algumas das substituies mais importantes so indicadas a seguir. se a funo a integrar
contm o radical:
a2 x2 , a = constante, faz-se a substituio

x = a sen(t) ou x = a cos(t),
de modo a usar a Frmula Fundamental da Trigonometria:
sen2 (x) + cos2 (x) = 1;
x2 + a2 , a = constante, faz-se a substituio

x = a tg(t),
x = a cotg(t),
ou x = a senh(t),
de modo a usar, respectivamente, as frmulas

1 + tg 2 (x) = sec2 (x),
1 + cotg 2 (x) = cosec 2 (x) ou 1 + senh 2 (x) = cosh2 (x);
x2 a2 , a = constante, faz-se a substituio

x = a sec(t),
x = a cosec(t),
ou x = a cosh(t),
de modo a usar, respectivamente, as frmulas

1 + tg 2 (x) = sec2 (x),
1 + cotg 2 (x) = cosec 2 (x) ou 1 + senh 2 (x) = cosh2 (x);
Exemplo 6.4.2 Fazendo as mudanas de variveis indicadas, determine as primitivas seguintes:

Z
Z
dx
2
p
, x = cos (t);
b)
9 + x2 , x = 3 senh(t).
a)
x(1 x)
Em muitas situaes, uma mesma primitiva pode ser determinada usando o Mtodo de Primitivao por Partes ou usando o Mtodo de Primitivao por Substituio.
Exemplo 6.4.3 Determine a primitiva do Exerccio 6.4.2, alnea b, usando o Mtodo de Primitivao por Partes.

116
6.5
6. PRIMITIVAS
Primitivas de funes racionais
Recordemos que uma funo racional uma funo da forma

f (x) =
Pn (x)
,
Qm (x)
onde
e
Pn (x) = an xn + an1 xn1 + + a1 x + a0

Qm (x) = bm xm + bm1 xm1 + + b1 x + b0
so polinmios de graus n e m - naturais, e de coeficientes an , an1 , . . . , a1 , a0 e bm , bm1 , . . . ,

b1 , b0 - reais.
Para determinar as primitivas de funes racionais seguimos os passos seguintes:
1o PASSO se grau [Pn (x)] grau [Qm (x)], possvel dividir os polinmios e isso que se
comea por fazer.
Exemplo 6.5.1 Determinar a primitiva seguinte:
Z 4
x 2
dx.
x2 + 1
2o PASSO se grau [Pn (x)] = grau [Qm (x)] 1, podemos usar sempre primeiro a frmula de
primitivao imediata
Z
u
dx = ln |u| + C.
u
Z
x1
dx.
x2 + 1
3o PASSO se grau [Pn (x)] < grau [Qm (x)] 1, temos de analisar outros factos da funo a
primitivar.
(i) se o polinmio Qm (x) tem m razes reais distintas: x1 , x2 , . . . , xm ; podemos escrever
a funo a integrar na forma seguinte:
f (x) =
Pn (x)
.
(x x1 )(x x2 ) (x xm )
Neste caso, usamos o denominado Mtodo dos Coeficientes Indeterminados para

decompor a funo f (x) em fraces mais simples:
f (x) =
A1
A2
Am
+
++
,
x x1 x x2
x xm
onde os coeficientes A1 , A2 , . . . , Am so determinados pela frmula seguinte:

Pn (x)
Qm (x)
Ai =
, Qm1 (x) =
, para todo i = 1, 2, . . . , m.
Qm1 (x) x=xi
x xi

117
6. PRIMITIVAS

Z
1
dx.
x2 + 2x 3
(ii) se o polinmio Qm (x) tem k m razes reais repetidas: x; podemos escrever a
funo a integrar na forma seguinte:
f (x) =
Pn (x)
,
(x x)k Qmk (x)
Qmk (x) =
Qm (x)
.
(x x)k
Aqui usamos o Mtodo dos Coeficientes Indeterminados para decompor a funo

f (x) nas fraces mais simples:
f (x) =
A2
Ak
R(x)
A1
+
++
+
,
k
k1
(x x)
(x x)
(x x) Qmk (x)
onde R(x) um polinmio com grau inferior ao do polinmio Qmk (x) e os coeficientes A1 , A2 , . . . , Ak so determinados pela frmula seguinte:

1
Pn (x)
(i1)
Ai =
D
, para todo i = 1, 2, . . . , k;
(i 1)!
Qmk (x) x=x

Pn (x)
Pn (x)
(i1)
denota a derivada de ordem (i 1) de
.
onde D
Qmk (x)
Qmk (x)

Z
x1
dx.
(x + 1)2 (2x + 3)
(iii) se o polinmio Qm (x) no tem razes reais1 , ento m = 2k, com k N, e a funo
a integrar pode-se escrever na forma seguinte:
f (x) =
(x2
Pn (x)
,
+ bx + c)k
com n < 2k,
e onde b e c so parmetros conhecidos. Usando o Mtodo dos Coeficientes Indeterminados, decompomos a funo f (x) do modo seguinte:
f (x) =
b1 x + c1
b2 x + c2
bk x + ck
+ 2
++ 2
.
k
k1
+ bx + c)
(x + bx + c)
x + bx + c
(x2
Nos casos mais simples: k = 1 e n = 0 ou n = 1; a primitiva determinada

imediatamente, ou bastando fazer uma mudana de varivel conveniente.
Z
1
dx .
2
x + 2x + 5
1
Todo o polinmio de grau mpar tem, pelo menos, uma raz real.

118
6. PRIMITIVAS
No caso de k > 1, a situao mais delicada, pois necessitamos de saber primitivar

as funes do tipo seguinte:
g(x) =
(x2
bi x + ci
,
+ bx + c)qi
qi = k i 2
pois i = 1, . . . , k 2.
Nestes casos, a primitiva determinda fazendo uma mudana de varivel que nos
leva a um novo tipo de funes a primitivar:
h(x) =
1
,
(1 + x2 )q
onde fizemos q = qi .
As primitivas deste tipo, sero determinadas usando o Mtodo de Primitivao por

Partes, como mostra a proposio seguinte.
Proposio 6.5.1 Para qualquer natural q 2, tem-se:
Z
Z
1
1
x
2q 3
1
dx =
+
dx .
2
q
2
q1
(1 + x )
2q 2 (1 + x )
2q 2
(1 + x2 )q1
Z
1
dx .
2
(x + 2x + 5)2
Em muitos exerccios de aplicao prtica, temos de percorrer vrios passos dos anteriormente
descritos
Exemplo 6.5.7 Determine a primitiva seguinte:
Z
x4
dx .
x4 1
6.6
Primitivas de funes irracionais
Uma funo irracional uma funo representada por

p
f (x) = n R(x),
onde R(x) uma funo racional. Mais geralmente, designamos por funo irracional qualquer funo cuja expresso designatria resulta de aplicarmos operaes irracionais a uma ou
mais das funes por ltimo referidas. Antes de indicarmos mtodos de resolver primitivas
de funes irracionais, observemos que a ideia principal reduzir as primitivas de funes irracionais a primitivas de funes racionais. Depois, para estas ltimas, podemos utilizar os
conhecimentos da seco anterior.
De seguida, vamos indicar mtodos para determinar as primitivas de alguns tipos de funes
irracionais.

119
6. PRIMITIVAS
1o TIPO se nos diferentes radicais que intervm na funo irracional surgir sempre a funo
racional
ax + b
R(x) =
,
cx + d
fazemos a mudana de varivel
ax + b
= tn ,
cx + d
onde n o mnimo mltiplo comum dos diferentes radicais.
Z
2x 1
p
dx .
2x 1 + 3 (2x 1)2
2o TIPO Consideremos agora o caso de funes irracionais da forma seguinte:

f (x) =
Pn (x)
,
ax2 + bx + c
onde Pn (x) um polinmio de grau n e a, b e c so coeficientes reais.

(i) se n = 0, estamos perante uma funo do tipo
f (x) =
1
.
ax2 + bx + c
Neste caso mais simples, faz-se uma das transformaes seguintes:

Z
u
2
2
ax + bx + c = 1 u
para usar
dx = arcsen(u) + C ;
1 u2
Z
u
2
2
ax + bx + c = u + 1
para usar
dx = argsh(u) + C ;
u2 + 1
Z
u
2
2
ax + bx + c = u 1
para usar
dx = argch(u) + C .
u2 1
A escolha da transformao sugerida pelos coeficientes a, b e c. No caso da primeira
transformao, convm ter em conta a igualdade seguinte:
arcsen(u) = arccos(u) + C
onde C =
Exemplo 6.6.2 Determinar as primitivas seguintes:

Z
Z
dx
dx
a)
dx ; b)
dx ;
3 2x x2
x2 + 2x + 2
c)
.
2
dx
dx .
x2 4x 5

120
6. PRIMITIVAS
(ii) No caso de n 1, a primitiva da funo

f (x) =
Pn (x)
ax2 + bx + c
determinada supondo que

Z
Z
Pn (x)
1
2
dx = Qn1 (x) ax + bx + c +
dx ,
ax2 + bx + c
ax2 + bx + c
(6.6.1)
onde Qn1 (x) um polinmio de grau n 1 com coeficientes indeterminados e

uma constante real, tambm a determinar. Os coeficientes do polinmio Qn1 (x) e
a constante so determinados derivando a identidade (6.6.1). Depois, e no caso de
6= 0, a primitiva do segundo membro de (6.6.1) determinada usando as tcnicas
de (i).
Z
x3
dx .
1 x2
Em muitas situaes, este tipo de primitivas pode ser determinado usando o Mtodo
de Primitivao por Partes e ou usando o Mtodo de Primitivao por Substituio.
sempre que seja possvel, prefervel usar um destes mtodos em vez da identidade
(6.6.1). Esta escolha no determinada pela maior ou menor rapidez destes mtodos,
mas sim porque so mtodos mais gerais e aos quais j estamos habituados.
Exemplo 6.6.4 Determine a primitiva do Exemplo 6.6.3, usando:
a) O Mtodo de Primitivao por Partes;
b) O Mtodo de Primitivao por Substituio.
3o TIPO se a funo a primitivar for do tipo seguinte:
f (x) =
(x d)n
1
;
ax2 + bx + c
onde a, b, c so coeficientes reais, d uma constante real e n um natural, fazemos a

mudana de varivel seguinte:
1
= t,
xd
Deste modo, obtemos uma primitiva do tipo 2 acima referida:
Z
Z
dx
tn1
,
= p
(x d)n ax2 + bx + c
x2 + x +
onde = (a + 1)d2 + bd, = 2ad + b, = a.

Z
dx
.
4
(x + 1) x2 + 2x

121
6. PRIMITIVAS
6.6.1
Primitivas de binmios diferenciais
As primitivas de binmios diferenciais so um vasto grupo de primitivas que incluem primitivas

de funes racionais e primitivas de funes irracionais. Vamos designar por primitiva de um
binmio diferencial a toda a primitiva da forma
Z
p
xm (a + bxn ) q dx ,
onde a e b so coeficientes reais, m e n so racionais e p e q so inteiros no nulos. As primitivas
destas funes so determinadas da forma seguinte:
p
, m e n so inteiros, ento estamos perante uma primitiva de uma funo racional e
q
podemos usar os mtodos descritos na Seco 6.5.
(i) se
(ii) se
p
no um inteiro, mas:
q
m+1
n
m+1 p
+
n
q
um inteiro
um inteiro
fazer mudana de varivel a+bxn = tq ;
fazer mudana de varivel a + bxn = xn tq .
Observe-se que, no ltimo caso, podemos fazer a substituio na forma equivalente

seguinte
axn + b = tq .
Nestes dois casos as primitivas so transformadas em primitivas de funes racionais e,
novamente, podemos usar os mtodos descritos na seco 6.5. Este resultado conhecido
na literatura como Teorema de Chebychev2 .
se pq , m+1
e m+1
+ pq so todos no inteiros, ento no possvel determinar a primitiva como
n
n
combinao linear finita de funes elementares. Nestas situaes especiais, que no iremos
tratar neste curso, as primitivas so determinadas usando o desenvolvimento em srie de Taylor
da funo a primitivar.
Z
Z
x
3
p
a)
b)
x2 (x2 1) 2 dx .
dx ;
1+ x
Convm ter em mente, que, por vezes, existem substituies mais simples que nos permitem
determinar a primitiva de forma mais clere.
Exemplo 6.6.7 Determine a primitiva da alnea a do Exemplo 6.6.6 usando uma substituio
trigonomtrica, ou hiperblica, conveniente.
2
Pafnuti Lvovitch Chebychev - ou Tchebychev, conforme a transliterao (1821-1894), matemtico russo

natural de Kaluga.

122
6.7
6. PRIMITIVAS
Exerccios
Primitivas imediatas
1. Determine as primitivas seguintes:
Z
Z
dx
5
a)
x dx ;
b)
;
x2
Z
Z
3
d)
x dx ;
e) (2x2 5x + 3) dx ;
g)
j)
x(x + a)(x + b) dx ;
x
m)
3 2
(a + bx ) dx , a, b R ;
Z

2 3
2
k)
a 3 x 3 dx , a R ;
e cotg(e ) dx ;
h)
cosh x ;
n)
(x3 x2 )2
dx ;
x
2
dx ;
x
c)
f)
(3x + 4)2 dx ;
i)
dx
, n N;
n
x
l)
sen2 x dx ;
o)
tg 2 x sec2 x dx .
2. Seja u uma funo real de varivel real derivvel. Mostre que:

Z
a)
u sec(u) dx = ln | tg(u) + sec(u)| + C ;
Z
b)
u cosec(u) dx = ln | cotg(u) + cosec(u)| + C .
Primitivao por partes

Determine as primitivas seguintes, usando o mtodo de primitivao por partes:
Z
Z
Z
a)
ln x dx ;
b)
arctgx dx ;
c)
arcsenx dx ;
d)
g)
j)
m)
x senx dx ;
x(x + a)(x + b) dx ;
x ln x dx ,
ln
1+
R;
x2
dx ;
e)
h)
k)
n)
cos xdx ;
x
e senx dx ;
x
xe
dx ;
x senx cos x dx ;
f)
x2x dx ;
i)
3x cos x dx ;
l)
sen(ln x) dx ;
o)
x x + 1 dx .

123
6. PRIMITIVAS
Primitivao por substituio

Determine as primitivas seguintes, usando a mudana de varivel indicada:
Z
Z
1
dx
dx
, x= ;
a)
b)
, x = ln t ;
t
ex + 1
x x2 1
Z
Z
x
2
7
2
c)
x(5x 3) dx, 5x 3 = t ;
d)
dx , t = x + 1 ;
x+1
Z
Z
cos x
dx
p
, x = sen2 t ;
e)
dx, t = senx ;
f)
2
1 + sen x
x(1 x)
g)
i)
x2
dx,
9 + x2 dx,
x=
sent ;
x = 3 senht ;
h)
j)
x2 + 4
dx ,
x
dx
,
x x2 1
x = 2 tgt ;
x = sec t .
Primitivao de funes racionais

1. Determine as primitivas seguintes:
Z
dx
;
a)
2
x + 2x + 5
Z
3x 2
c)
dx ;
x2 4x + 5
Z 4
x 6x3 + 12x2 + 6
e)
dx ;
x3 6x2 + 12x 8
g)
2x2 + 41x 91
dx ;
(x 1)(x + 3)(x 4)
i)
x3 + x + 1
dx ;
x3 + x
k)
dx
;
1 + x4
m)
o)
5x2 + 6x + 9
dx ;
(x 3)2 (x + 1)2
1
dx ;
(x2 + 1)(x2 + 2)
dx
;
+ 2x
b)
x2
d)
x
dx ;
x4 4x2 + 3
f)
dx
;
(x 1)(x + 2)(x + 3)
h)
x2 8x + 7
dx ;
(x2 3x 10)2
j)
x3
l)
(x2
n)
x2 + 2x
dx ;
(x 1)(x2 4x + 5)
p)
x2
dx .
(x + 1)(x2 + 1)2
dx
;
+1
dx
;
4x + 3)(x2 + 4x + 5)

124
6. PRIMITIVAS
Primitivao de funes irracionais

(a) Determine as primitivas seguintes de funes irracionais:
Z
Z
x3
dx
;
b)
dx ;
a)
1+ x
x1
x
dx ;
x4
Z
Z
Z r
4
x32+x
x
x1
d)
dx ;
e)
dx ;
f)
x
dx ;
3
3
x+1
x+ x
x+ 2+x
Z
Z
Z
dx
3x 6
dx
; h)
dx ; i)
;
g)
x + 1 + (x + 1) x + 1
x2 4x + 5
x x2
Z
Z
Z
dx
dx
3
2 23
j)
x (1 + 2x ) dx ;
k)
;
l)
5 ;
4
2
x 1+x
x2 (2 + x3 ) 3
m)
2x 8
dx ;
1 x x2
n)
Z r
x1
dx ;
x+1
c)
o)
x2
x+1
dx ;
+ 4x + 5
(b) Verifique se possvel ou no determinar as primitivas das funes irracionais

39
7 3
2p
f (x) = x 3 (1 x3 )5 e g(x) = x 10 (1 x 5 ) 2
como combinao linear finita de funes elementares.

Captulo 7
Sries de funes
7.1
Introduo
Uma srie infinita de funes reais de varivel real, ou apenas srie de funes, qualquer srie
da forma
+
X
un (x) = u0 (x) + u1 (x) + u2 (x) + + un (x) + . . . ,
n=0
onde un (x) uma sucesso de funes reais de varivel real definidas num domnio de R. Para
as sries de funes, usaremos a notao j utilizada nas sries numricas, substituindo apenas
o termo geral un por un (x). Outro facto importante, que, se nada for dito em contrrio e
sempre que a sucesso de funes de termo geral un (x) esteja definida em R, o limite inferior
P da
srie ser 0. Observemos que, quando concretizamos a varivel x, a srie de funes
un (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.
P
Definio 7.1.1 (Convergncia) Diz-se que a srie de funes
un (x) convergente num
ponto x R, se a sucesso de funes das somas parciais associada
S0 (x) = u0 (x),
S1 (x) = u0 (x) + u1 (x),
... ,
Sn (x) = u0 (x) + u1 (x) + + un (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 Sn (x) = S(x).
n+
Neste caso, podemos escrever

+
X
un (x) = S(x).
n=0
P
se a sucesso de funes das somas
parciais
S
(x)
for
divergente
no
ponto
x,
a
srie
u
n
n (x) dizP
P
se divergente em x. A srie un (x) absolutamente convergente no ponto x, se |un (x)|
125
126
7. SRIES DE FUNES
P
P
convergente em x. Se
un (x) convergente
P |un (x)| divergente num ponto x, mas
nesse ponto x, a srie
un (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.
P
P
Proposio 7.1.1 Seja
u
(x)
uma
srie
de
funes.
Se
|un (x)| convergente num ponto
n
P
x R, ento tambm
un (x) convergente em x e tem-se:
+
+
X
X

un (x)
|un (x)|.

n=0
n=0
7.2
Sries de potncias
Neste curso, iremos estudar apenas o caso particular de sries de funes cujos termos gerais
un (x) faam envolver na varivel x somente potncias de x.
Definio 7.2.1 (Srie de potncias) Designa-se por srie de potncias de x toda a srie
da forma
+
X
an xn = a0 + a1 x + a2 x2 + + an xn + . . . ,
n=0
onde an uma sucesso numrica e x um real.
Os termos da sucesso an so denominados coeficientes da srie de potncias. Se, na srie

de potncias anterior substituirmos x por (x a), onde a um real fixo, obtemos a srie de
potncias de (x a) seguinte:
+
X
n=0
an (x a)n = a0 + a1 (x a) + a2 (x a)2 + + an (x a)n + . . . .
Exemplo 7.2.1 (Srie finita) Uma srie finita de potncias uma srie de potncias
com os termos quase todos nulos, isto , tal que
an xn
p N : n > p an = 0.
Uma srie finita (absolutamente) convergente para qualquer x R. De facto, de acordo com
o exemplo,
+
X
an xn = a0 + a1 x + a2 x2 + + ap xp .
n=0
Este facto permite-nos dizer que as sries de potncias de x podem ser encaradas como uma
generalizao dos polinmios em x.

127
7. SRIES DE FUNES
Exemplo
7.2.2 (Srie geomtrica) Uma srie geomtrica de potncias uma srie de potnP
cias
an xn tal que an = 1 para todo n N:
+
X
n=0
xn = 1 + x + x2 + + xn + . . . .
P
Como vimos no Captulo 3, a srie de potncias xn absolutamente convergente para |x| < 1
e divergente para |x| 1. No caso de convergir, a funo soma
S(x) =
e podemos escrever
+
X
n=0
xn =
1
1x
1
.
1x
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.
P
Proposio 7.2.1 (Critrio da Razo - DAlembert) Sejam an xn uma srie de potncias e

an

.
R = lim
n+ an+1
P
1. A srie
an xn converge absolutamente se |x| < R, isto , se x (R, R).
P
2. A srie
an xn 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
X
x
.
n
n=0
Observe-se que para podermos aplicar o critrio anterior, tem de existir, em R, o limite
lim |an |/|an+1|.
P
Proposio 7.2.2 (Critrio da Raz - Cauchy) Sejam
an xn uma srie de potncias e
R=
lim supn+
p
.
n
|an |

128
7. SRIES DE FUNES
1. A srie
2. A srie
an xn converge absolutamente se |x| < R, isto , se x (R, R).

an xn 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.
+
X
2n xn .
n=1
Observe-se
que para podermos aplicar o critrio anterior,
p no necessrio que exista o limite
p
lim n |an |. Basta que exista o limite superior lim sup n |an |.
Em ambos os critrios enunciados acima nada se diz no caso de |x| = R, isto se x = R,

admitindo R 6= +. Neste caso, tem-se, respectivamente, no Critrio da Razo e no da Raz,

p
an+1

lim
x = 1 e lim sup n |an xn | = 1 .
n+
an
n+
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 :
+
X
xn
(1)n .
n
n=1
Tudo o que foi dito para as sries de potncias de x, permanece vlido para qualquer srie de
potncias (x a), com a R fixo. Em particular, a srie
+
X
n=0
an (x a)n = a0 + a1 (x a) + a2 (x a)2 + + an (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.

129
7. SRIES DE FUNES
Exemplo 7.2.6 (AULA TERICA) Estude a natureza da srie seguinte quanto convergncia
simples e absoluta em todos os pontos de R :
+
X
(1)n
n=1
7.3
(2x + 1)n
.
n
Sries de Taylor
P
Comecemos por observar que quando uma srie de potncias an (xa)n , com a R, converge,
ento a srie pode ser representada, no intervalo de convergncia (aR,
P a+R),npela sua funo
soma, digamos u(x). Assim, podemos dizer que a srie de potncias an (xa) define a funo
u(x) cujo valor, em cada ponto x do seu intervalo de convergncia, dado por
u(x) =
+
X
n=0
an (x a)n .
P
A srie
an (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
+
X
n=0
an (x a)n = a0 + a1 (x a) + a2 (x a)2 + + an (x a)n + . . . ,
com a R fixo. 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
an (x a)n e
+
X
a1
a2
an
an
(x a)n+1 = a0 (x a) + (x a)2 + (x a)3 + +
(x a)n+1 + . . .
n
+
1
2
3
n
+
1
n=0
P
a srie que se obtm integrando termo a termo a srie an (xa)n entre a e x (aR, a+R).
P
P
1. As sries
an xn e
an /(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
Z
x
a
+
X
an
u(t) dt =
(x a)n+1
n
+
1
n=1
x (a R, a + R).

130
7. SRIES DE FUNES

O resultado anterior ainda vlido no intervalo [a R, a + R], desde que a funo soma u(x)
esteja definida 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
+
X
n=1
an (x a)n e
n an (x a)n1 = a1 + 2a2 (x a) + 3a2 (x a)2 + + nan (x a)n1 + . . .
P
a srie que se obtm derivando termo a termo a srie
an (x a)n .
P
P
1. As sries
an xn e
n an xn1 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) =
+
X
n=1
n an (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 definio seguinte, vamos extender esta noo para
qualquer ordem e, assim, escrever uma frmula com infinitas parcelas.
Definio 7.3.1 (Srie de Taylor) Sejam u(x) uma funo indefinidamente 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)
X
u (a)
n=0
n!
(x a)n = u(a) + u (a)(x a) +
u (a)
u(n) (a)
(x a)2 + +
(x a)n + . . . .
2
n!
No caso de a = 0, a srie anterior recebe o nome de srie de Maclaurin.

P (n)
A questo que se coloca agora, a de saber se a srie de Taylor
u (a)/n!(x a)n converge
no ponto x = a e se, em algum intervalo I contendo a, tem soma igual a u(x).
Definio 7.3.2 (Funo analtica) Seja u(x) uma funo definida num intervalo aberto
I R e aP
I. Diz-se que u(x) uma funo analtica no ponto x = a, se existe uma srie de
potncias
un (x a)n tal que, para qualquer x num subintervalo de I contendo a, se tem
u(x) =
+
X
n=0
an (x a)n .

131
7. SRIES DE FUNES
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 definida num intervalo aberto I R e indefinidamente derivvel em I, e seja a I. Tem-se
u(x) =
+ (n)
X
u (a)
n=0
se e s se
n!
(x a)n
x (a , a + ) I,
> 0.
rn (x a)
= 0.
n+ (x a)n
lim
SEM DEMONSTRAO: Ver, por exemplo, S. Guerreiro p. 349.

Convm notar que o limite de rn (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
P
n
an (x a) num intervalo (a , a + ), ento esta srie a srie de Taylor de u(x) em
torno do ponto x = a, isto ,
u(n) (a)
u (a)
, . . . , an =
,
a0 = u(a) , a1 = u (a) , a2 =
2
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 desenvolvimentos em srie de Mac-Laurin indicados nos intervalos respectivos:
+
(i)
X
1
=
xn = 1 + x + x2 + + xn + . . . ,
1 x n=0
(ii) ex =
+ n
X
x
n=0
= 1+x+
n!
+
X
x2
xn
++
+ ... ,
2
n!
|x| < 1;
|x| < +;
xn
x2
xn
=x
+ + (1)n1 + . . . , |x| < 1;
n
2
n
n=1

+
X
n
2
(iv) (1 + x) =
x = 1 + x +
x ++
xn + . . . , |x| < 1;
n
2
n
(iii) ln(1 + x) =
(1)n1
n=0
(v)
sen x =
+
X
(1)n
x2n+1
x3 x5
x2n+1
=x
+
+ + (1)n
+ . . . , |x| < +;
(2n + 1)!
3!
5!
(2n + 1)!
(1)n
x2n
x2 x4
x2n
=1
+
+ + (1)n
+ ... ,
(2n)!
2!
4!
(2n)!
n=0
(vi) cos x =
+
X
n=0
|x| < +.

132
7. SRIES DE FUNES
Observemos que, no caso da alnea (iv), R e se um natural, ento a srie referida tem
apenas um nmero finito de parcelas.
7.4
Exerccios
1. Estude a nautreza das sries seguintes e indique, no caso de serem no vazios, os subconjuntos de R onde so absolutamente convergentes, simplesmente convergentes e divergentes:
a)
+ n
X
x
n=1
d)
b)
xn
;
n(n + 1)
c)
+
X
(2)n
n=1
n+2 n
x ;
n+1
+
X
(2x + 1)n
e)
;
n
n=1
2n1
+
X
[2 + (1)n ]n+1
2n
(x 2) ; g)
n+1
n=1
+
X
n=1
+
X
(x 1)n
n=1
f)
X
n [(3n)!]2
n=1
(6n)!
4
x
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
;
2x
b)
f) 2x ;
e) senhx ;
i) ln
1
;
(1 + x)2
1+x
1x
c)
1 2x ;
d)
g) sen 2 x ;
x
;
1 + x 2x2
h) arctgx ;
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
b)
ex 1
,
x
c)
ln(x + 1)
,
x
senx
= 1;
x
lim
x0
ex 1
= 1;
x0
x
lim
ln(x + 1)
=1
x0
x
lim
lim
x+
1+
a x
= ea
x
a R.
4. Represente por uma srie de potncias indicadas a seguir (srie de Taylor) as funes

133
7. SRIES DE FUNES
seguintes e indique o maior domnio onde o desenvolvimento vlido:

a)
1
,
x
c) ex ,
e)
x,
x 1;
x+2;
b) ln x ,
x 1;
d) cos2 x ,
;
2
f) x3 2x2 5x 2 ,
x 4;
x +4.
5. Determine a funo soma das sries seguintes e o indique o maior domnio onde o desenvolvimento vlido:
a)
X
(1)n xn
n=0
d)
(2n + 1)!
X
(n + 1)x + (1)n n!
n=0
(n + 1)!
b)
X
(1)n x2n
n=0
x ; e)
22n n!
X
(1)n x3n
n=0
23n (2n)!
c)
X
(1)n x2n
n=0
32n (2n)!
X

f)
1 + (1)n 2n+1 xn .
n=0

Bibliografia
[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. 6a edio.
Editora Mir, Moscovo, 1987.
[9] M. Figueira. Fundamentos de Anlise Infinitesimal. Textos de Matemtica do Departamento 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. Departamento 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. Hoffman. Elementary Classical Analysis. Second Edition. W.E. Freeman 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.
134
135
BIBLIOGRAFIA
[17] V. Zorich. Mathematical Analysis I, II. Springer-Verlag, Berlin Heidelberg, 2004.

Apontamentos AM-I 2008-2009 - Univ. Algarve

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apontamentos AM-I 2008-2009 - Univ. Algarve

Enviado por

Direitos autorais:

Formatos disponíveis

Apontamentos de Anlise Matemtica I

Hermenegildo Borges de Oliveira

3.5 Sries de termos positivos e negativos . . . . . . . . . . . . . . . . . . . . . . . . 46

c Hermenegildo Borges de Oliveira, 2008/2009

Corpo dos nmeros reais

Recordemos, que N denota o conjunto dos nmeros naturais, i.e.

Os conjuntos de nmeros seguintes apareceram tambm pela impossibilidade de resolver equaes

Os nmeros a e b so designados por limite inferior e superior, respectivamente, do intervalo.

c Hermenegildo Borges de Oliveira, 2008/2009

DEMONSTRAO: AULA TERICA.

c Hermenegildo Borges de Oliveira, 2008/2009

Generalidades sobre funes

Sejam A e B dois subconjuntos de R. Chamamos correspondncia de A para B a qualquer

c Hermenegildo Borges de Oliveira, 2008/2009

O nome deve-se ao filsofo, e tambm matemtico, francs Ren Descartes (1596-1650).

c Hermenegildo Borges de Oliveira, 2008/2009

Exemplo 1.2.6 Verifique se as funes f (x) = 2x + 1 e g(x) = x2 so injectivas.

Estudo das funes

Dizemos que f montona decrescente em D Df , se tiver f (x1 ) f (x2 ) para quaisquer

x1 < x2 f (x1 ) < f (x2 )

x1 < x2 f (x1 ) > f (x2 )

dizemos que f montona decrescente em sentido estrito. Sempre que no se diga

A funo f majorada, se f (Df ) um conjunto majorado, i.e.,

No caso da funo f ser minorada e majorada, i.e.,

dizemos que a funo limitada.

DEMONSTRAO: AULA TERICA.

Definio 1.3.4 Seja D um subconjunto do domnio Df de uma funo f . Designa-se por

tal que (f 1 f )(x) = x e (f f 1 )(y) = y.

Se o domnio da funo f Df e o contra-domnio da funo f Df , ento

onde f (Df ) o conjunto transformado por meio de f do conjunto Df .

c Hermenegildo Borges de Oliveira, 2008/2009

Se a 6= 0, tem-se Df = R e Df = R. Neste caso, a funo montona estritamente crescente

Exemplo 1.4.3 No caso n = 2, obtemos a designada funo quadrtica f (x) = a2 x2 +a1 x+

Se a > 0, Rf = c 4a , + e a funo atinge o seu mnimo (absoluto) no ponto x = 2a

Em qualquer um dos casos, a < 0 ou a > 0, tem-se Df = R.

Se > 0 a funo tem dois zeros que so dados por

Definio 1.4.2 Consideremos dois polinmios no divisveis entre si:

onde n e m so dois inteiros no negativos, no necessariamente iguais. funo R(x) =

a) Determine o domnio de f em funo do valor de n.

em ordem a x. Como a funo original injectiva, a resoluo desta equao, em ordem a x,

No caso de polinmios de grau superior ou igual a 2, quando fazemos o mesmo procedimento

1. Determine os conjuntos de solues das (in)equaes seguintes:

e) |2x 5| > x + 1 ; f) |x2 4| = x + 2 .

5. Determine a funo quadrtica f sabendo que f (0) = 1, f (1) = 0 e f (3) = 5.

7. Estude as funes seguintes quanto paridade:

9. Recorrendo apenas ao grfico de funes j conhecidas, esboce o grfico das funes

O produto e quociente de duas sucesses un e vn define-se, respectivamente, por:

Modos de designar uma sucesso

Isto , a sucesso cujos quatro primeiros termos de ordem mpar (2n 1) so

e os quatro primeiros termos de ordem par (2n) so

c Hermenegildo Borges de Oliveira, 2008/2009

Recorrncia. Outro modo de designar uma sucesso, consiste em indicar as instrues

definem a sucesso (de Fibonacci1 ) cujos oito primeiros termos ordenados so

Representao grfica de uma sucesso

Princpio de induo matemtica

O Princpio de Induo Matemtica um mtodo de demonstrao elaborado com base no

Leonardo Fibonacci (1170-1250), matemtico italiano natural de Pisa.

c Hermenegildo Borges de Oliveira, 2008/2009

onde r 6= 0 uma constante conhecida que se denomina razo.

onde r 6= 1 uma constante conhecida que se denomina razo.

sendo a e r 6= 1 reais conhecidos.

Proposio 2.4.2 A soma Sn dos n primeiros termos de uma progresso geomtrica un de

c Hermenegildo Borges de Oliveira, 2008/2009

Definio 2.5.1 (Sucesso limitada) Uma sucesso un limitada, se