Professional Documents
Culture Documents
Armando Machado
UNIVERSIDADE DE LISBOA
Faculdade de Cincias
Departamento de Matemtica
2014
ii
NDICE
Introduo
1
25
32
49
73
108
127
144
161
173
191
217
255
293
315
326
345
381
ndice de Smbolos
419
ndice Remissivo
423
Bibliografia
427
INTRODUO
Este texto tem como principal objetivo apoiar o estudo da disciplina Anlise
Matemtica I, do curriculum do primeiro semestre do primeiro ano das
licenciaturas de Matemtica e Matemtica Aplicada, disciplina que lecionmos
nos ltimos anos letivos. Ele no pretende, de modo nenhum, concorrer com os
muito bons livros que existem nesta rea, como por exemplo os que escolhemos
para a bibliografia, livros cuja consulta ser naturalmente muito recomendvel,
especialmente para o estudante mais ambicioso. Este objetivo fez tambm com
que procurssemos em muitos pontos ser mais detalhados do que usual
aparecer num livro de Anlise Matemtica, em particular sempre que so
introduzidos assuntos que a nossa experincia nos levava a considerar como
mais delicados para um estudante que encontra pela primeira vez uma
abordagem mais estruturada e justificada de assuntos examinados informalmente
no ensino secundrio.
Muitos dos assuntos abordados nesta disciplina, como os limites de funes e
de sucesses, a continuidade, e a derivabilidade, j foram estudados no ensino
secundrio, embora de forma assumidadamente desorganizada, incompleta e
pouco rigorosa. O conhecimento informal destes assuntos no compatvel com
a sua utilizao em contextos mais avanados, facto que especialmente
relevante quando consideramos estudantes das licenciaturas da rea da
matemtica, que so supostos conhec-los de forma mais profunda e adquirirem
uma autonomia que lhes permita no s aplic-los de forma fivel como serem
capazes de adapt-los a situaes diferentes e eventualmente novas (ver, a
propsito, o texto [3], proposto aos estudantes de Matemtica que ingressam na
Universidade de Oxford). Por esse motivo fundamental que esses assuntos
sejam reexaminados no incio dos estudos universitrios, apresentando
definies dos conceitos sem ambiguidades, habituando o estudante necessidade de justificar as propriedades que se enunciam e sublinhando as relaes
de interdependncia entre as diferentes matrias.
claro que o objetivo de apresentar definies claras de todos os conceitos
envolvidos e de justificar todas as afirmaes que se fazem tem sempre
limitaes, sendo foroso partir de um contexto bsico constitudo por conceitos
que no se definem e por relaes entre esses conceitos que se admitem sem
justificao. H vrias escolhas possveis para esse contexto bsico que
dependem principalmente das motivaes e da maturidade matemtica dos
destinatrios. Num curso com esprito de Fundamentos, destinado a um pblico
mais avanado que suposto j dominar informalmente os assuntos, poder-se-
partir de um contexto em que apenas se supem conhecidas as propriedades dos
nmeros naturais (ou at apenas a teoria dos conjuntos) e, a partir da,
construir sucessivamente os inteiros relativos, os nmeros racionais e os
vi
Introduo
Introduo
vii
pequena variante dos pontos de acumulao e dos pontos isolados, que o que
necessrio para apoiar a noo de limite. No referimos assim as noes usuais
de pontos interiores, exteriores e fronteiros, que so sem dvida necessrias
quando se passa para 8 mas que no contexto de apenas intervm
relativamente a conjuntos que so intervalos, caso em que correspondem apenas
a afirmar se os pontos so ou no uma das extremidades. Optmos tambm por
apresentar estas noes topolgicas desde o incio no contexto da reta estendida
, que inclui os objetos _ e _, por ser esse o contexto em se unificam mais
facilmente os diferentes tipos de limite que usual considerar, embora em
qualquer caso nos limitemos a considerar que os conjuntos considerados so
subconjuntos de .
A noo de limite apresentada de incio no contexto das funes e usando a
noo de vizinhana-$ de um ponto (finito ou infinito). A definio apresentada de forma a unificar os casos em que o ponto (aderente ao domnio) em que
se calcular o limite e o prprio limite podem ser finitos ou infinitos. Ao contrrio
da opo tomada por vrios autores, optmos por no excluir o valor da funo
no ponto em que se toma o limite, quando pertencente ao domnio, da definio
de limite. Uma vez que examinamos tambm a noo trivial de limite relativo a
um subconjunto do domnio (ao qual o ponto ainda seja aderente), generalizando
o que se faz habitualmente com os limites laterais, quem preferir a noo alternativa poder sempre considerar o limite relativo ao domnio com o ponto retirado.
Os limites das sucesses aparecem simplesmente como casos particulares dos
limites de funes, agora com domnio , no sendo assim necessrio reenunciar
todas as propriedades que foram estudadas para os limites de funes.
Os sublimites de uma funo num ponto so definidos como os limites nesse
ponto de uma restrio desta a algum subconjunto ao qual o ponto seja aderente
e apresentada uma caracterizao equivalente destes em termos de vizinhanas.
Os sublimites de uma sucesso so definidos como os sublimites desta enquanto
funo o que dispensa o uso das subsucesses para o seu estudo, sendo substitudas pelas restries desta a subconjuntos infinitos de . O teorema de
Bolzano-Weierstrass sobre a existncia de sublimites tambm demonstrado
primeiro para as funes, tal como a condio de Cauchy para a existncia de
limite aparece para as funes antes de ser enunciada para as sucesses.
As exponenciais de base maior que ! e expoente real so definidas primeiro
para os expoentes racionais e, seguidamente estendidas a pela condio de ser
mantida a monotonia, provando-se ento a continuidade da funo obtida.
O estudo das derivadas feito seguindo o caminho habitual e depois deste
so definidas as primitivas e so introduzidas atravs de exemplos algumas das
tcnicas clssicas de primitivao. O estudo dessas tcnicas no pretende ser
exaustivo e limita-se a examinar os exemplos mais simples e clarificadores. Uma
vez que o estudo do integral de Riemann no abordado neste semestre,
pensmos ser interessante exemplificar algumas utilizaes das primitivas, por
exemplo na determinao de reas e de volumes de slidos de revoluo. Estes
exemplos so encarados como aplicaes da Anlise Matemtica vida real,
pensando nas rea e nos volumes como realidades exteriores que se conhecem
viii
Introduo
CAPTULO I
Nmeros reais e limites
1. Generalidades sobre os nmeros reais.
I.1.1 (Os nmeros reais como corpo contendo os nmeros racionais) Os
nmeros reais so os personagens centrais de toda a Anlise Matemtica pelo
que importante ter bem presentes as suas propriedades fundamentais.
Os nmeros reais incluem os nmeros racionais, em particular tambm os
nmeros inteiros. No contexto dos nmeros reais, esto definidas duas
operaes fundamentais, a adio e a multiplicao que generalizam
as operaes anlogas no quadro dos nmeros racionais1. Estas operaes
gozam de propriedades algbricas que os estudantes esto habituados a reconhecer e aplicar e que, apesar de nos abstermos de detalhar completamente,
podem ser caracterizadas pelo facto de serem todas consequncias de certas
propriedades bsicas das operaes, nomeadamente:
a) Valem as propriedades comutativa e associativa da adio e da multiplicao e a segunda tem a propriedade distributiva relativamente primeira.
b) O nmero real ! elemento neutro da adio e elemento absorvente da
multiplicao. O nmero real " elemento neutro da multiplicao.
c) Cada nmero real B, admite um nico simtrico, notado B, isto , um
nico nmero real que somado com ele d !. Cada nmero real B ! admite
um nico inverso, notado B" , isto , um nico nmero real que multiplicado
por ele d ".
O facto de estas propriedades serem vlidas costuma ser traduzido pela afirmao de que os nmeros reais constituem um corpo (contendo os nmeros
racionais).2 3
Como sucede em qualquer corpo, a partir da soma e da multiplicao ficam
definidas duas operaes inversas, a subtrao e a diviso: Dados nmeros
reais B e C , existe um nico nmero real que somado com C d B, nomea1Quando
I.1.2 Para alm das quatro operaes, est definida no contexto dos nmeros
reais (como no de qualquer corpo) uma outra noo, a de potncia de
expoente inteiro maior ou igual a !. Assim, se B um nmero real e 8 um
nmero inteiro maior ou igual a !, a notao B8 (potncia de base B e
expoente 8) designa naturalmente o produto de 8 termos todos iguais a B, no
caso em que 8 #, e nos outros casos est definida por B" B e B! ". Em
particular, tem-se B8 ! sempre que B !. Como consequncias simples
das propriedades associativa e comutativa da multiplicao4, valem as
propriedades algbricas das potncias:
B C8 B8 C8 ,
B78 B7 B8 ,
B78 B7 8 ,
e, consequentemente, se C ! e 7 8,
B 8 B8
8,
C
C
C78
C7
.
C8
Tem-se, claro,
" 8 ",
!8 !, se 8 "
(note-se que, por definio, !! ").
I.1.3 (Os nmeros reais como corpo ordenado) Nos nmeros reais est
definida uma ordenao, que generaliza a ordenao existente nos nmeros
racionais. Quer isto dizer que, se B e C so nmeros reais, sabemos o que
significa B C (B maior que C) e que so vlidas as propriedades transitiva e
tricotmica (esta ltima afirma que B C s possvel quando B C e que,
dados nmeros reais distintos, h sempre um que maior que o outro).
Naturalmente, a relao oposta B C definida como significando o mesmo
que C B e a relao lata B C significa B C ou B C , tendo C B
como sinnima.
4A
propriedade associativa j foi necessria para no haver dvidas sobre a ordem pela
qual se multiplicam os 8 termos iguais a B. Para quem achar interessante procurar
justificar estas propriedades, sugere-se a resoluo do exerccio I.2.2, depois do estudo do
mtodo de demonstrao por induo matemtica.
!, ento B D
!, ento B D
!, ento B D
!, ento B D
!;
!;
!;
!.
adiante o
mtodo de demonstrao por induo matemtica.
8Reparar que B B" " !.
9Os nmeros racionais constituem naturalmente tambm um corpo ordenado. J os
nmeros complexos, estudados no ensino secundrio, no constituem um corpo ordenado,
uma vez que no foi definida no respetivo contexto nenhuma ordenao. Alis a definio, no contexto dos nmeros complexos, de uma ordenao para a qual ficssemos com
I.1.4 (Mdias e a relao estar entre) Diz-se que um nmero real D est
entre dois nmeros reais B e C se se verifica uma das duas duplas
desigualdades
B D C,
C D B.
Uma propriedade importante dos nmeros reais, que j era possuda pelos
nmeros racionais, diz-nos que, se B C, existe sempre D que est entre B e
C 10. Uma maneira de exibir um exemplo de um D nas condies referidas
tomar para D a mdia aritmtica (ou simplesmente mdia) de B e C :
D
BC
"
"
B C.
#
#
#
"
"
"
C C C C,
#
#
#
"
"
"
C B B B,
#
#
#
um corpo ordenado impossvel, uma vez que se tem 3 3 " !, contrariando uma
das propriedades vlidas em qualquer corpo ordenado.
10Repare-se que esta propriedade no vlida no contexto dos nmeros inteiros: Por
exemplo, entre # e $ no existe nenhum nmero inteiro.
$
ou B (,
#
14,
"
.
8#
"
,
8
15O
que acabamos de fazer o que se chama um raciocnio por absurdo: Para mostrar
que uma afirmao verdadeira, admite-se que ela falsa e tenta-se deduzir uma contradio.
16Lembrar o que se referiu em I.1.4.
entanto, o mximo de Ew no tem que ser mximo de E e essa a razo por que no
podemos garantir que qualquer conjunto contido em tenha necessariamente mximo:
Por exemplo o conjunto dos nmeros pares no tem mximo, como alis tambm
acontece com o prprio .
17No
10
que se passa que qualquer afirmao que se faa sobre todos os elementos do
conjunto vazio automaticamente verdadeira. Por exemplo, a afirmao todos os elefantes com seis pares de patas tm duas trombas deve ser considerada como verdadeira por
qualquer pessoa que acredite que no existe nenhum elefante com tantas patas
Repare-se que, se a afirmao fosse falsa, a sua negao seria verdadeira e essa negao
correspondia a afirmar que existia um elefante com seis pares de patas que no tinha duas
trombas.
11
19A
relao entre mximo e supremo lembra talvez o ditado Quem no tem co, caa
com gato, com o mximo a jogar o papel de co e o supremo o de gato.
12
abreviatura Dem: ser utilizada neste texto para anunciar uma demonstrao do
resultado que se est a referir. Ver o exerccio I.1.9, no fim desta seco, para uma
justificao alternativa que vamos utilizar.
21O smbolo , usualmente no fim da linha, indica o fim de uma demonstrao.
22A expresso to grande quanto se queira totalmente intil do ponto de vista da
afirmao que estamos a fazer: A afirmao vlida para qualquer nmero real B, seja ele
intuitivamente grande ou no. Ao utilizarmos a expresso estamos a fazer o mesmo que se
dissssemos: Repare que o que estamos a afirmar sobre B tanto mais forte quanto
maior for B, isto , se for verdadeiro para um certo valor de B trivialmente tambm
verdadeiro para os valores menores de B.
23O estudante menos habituado a interpretar este tipo de afirmaes matemticas dever
examinar cuidadosamente o significado do que afirmmos: O nmero natural 8 depende
do nmero real B que nos derem; no afirmamos, de modo nenhum, que exista um
nmero natural que seja maior que todos os nmeros reais (o que claramente falso).
13
8 $.
I.1.13 (A parte inteira de um nmero real) Seja B um nmero real. Existe
ento um nico nmero inteiro : tal que B : : ", inteiro esse a que se
d o nome de parte inteira de B e que se nota intB.
Dem: Comecemos por reparar que, dados dois nmeros inteiros distintos,
podemos chamar : ao menor deles e ; ao maior e, uma vez que : ; , e
portanto : " ; (por se tratarem de nmeros inteiros), constatamos que
: : " e ; ; " no podem ter elementos comuns. Conclumos assim
que um nmero real B no pode pertencer a mais que um intervalo do tipo
: : ". Provemos agora a existncia de um intervalo do tipo : : " que
contenha o ponto B, comeando por examinar o caso particular em que
B !: Pela propriedade arquimediana, podemos considerar um nmero
natural maior que B e chamar 8 ao menor nmero natural nessas condies
(lembrar a propriedade de boa ordenao dos naturais referida em I.1.6).
Tem-se ento que B menor que 8 mas no menor que 8 ", por outras
palavras, B pertence ao intervalo 8 " 8, que do tipo referido (com
: 8 "). Examinemos, por fim, o caso em que B !. Nesse caso, tem-se
B ! e portanto, como vimos atrs, existe um inteiro 7 tal que B
pertena ao intervalo 7 7 ". Vemos ento que, ou B 7, e portanto
B 7 7 7 ", ou B 7 7 ", e portanto
B 7 " 7 7 " 7,
24Um
14
:"
8
:"
C.
8
15
C- #
$- .
28Reparar
16
"
" #
,
#
-
I.1.16 (Existncia de nmeros irracionais) Chamam-se irracionais aos nmeros reais que no so racionais. O nmero # um exemplo de irracional.
Dem: Suponhamos, por absurdo, que # era racional e portanto que se
podia escrever # :; , com : e ; nmeros naturais. Se necessrio simplificando a frao, podemos j supor que : e ; so primos entre si, em
#
particular que no so ambos pares. Podemos agora notar que # :;# donde
:# #; # , o que implica que :# par, e portanto : par (o quadrado dum
nmero mpar mpar). Tem-se assim : #8, para um certo natural 8, pelo
que #8# #; # , donde ; # #8# , o que, como antes, implica que ; # par, e
portanto ; tambm par. Chegmos assim a uma contradio, visto que
estvamos a supor que : e ; no eram ambos pares.
17
Repare-se que um nmero real menor que outro se, e s se, o ponto correspondente ao primeiro estiver esquerda do ponto correpondente ao segundo.
Esta interpretao intuitiva dos nmeros reais como identificando os pontos
de uma reta faz com que frequentemente se use a palavra ponto no lugar de
nmero real e se d o nome de reta real ao conjunto dos nmeros reais.
Refira-se a propsito que, a partir da correspondncia entre nmeros reais e
pontos de um eixo orientado, possvel obter, pelo mtodo que o estudante
j conhece, uma correspondncia biunvoca entre pares ordenados B C de
nmeros reais e pontos de um plano, no qual se fixou um referencial (que,
implicitamente, ser sempre suposto ortonormado), dizendo-se ento que B e
C so respetivamente a abcissa e a ordenada do ponto correspondente.
18
B
lBl
(se C !),
l l
C
lCl
lBl lBl.
19
lBl
lCl .
20
I.1.22 (A distncia entre dois valores absolutos) Dados dois nmeros reais B e
C, tem-se
.lBl lCl .B C.
Dem: Podemos escrever
lBl lB C Cl lB Cl lCl,
donde
lBl lCl lB Cl .B C.
30Apesar
disso, temos que justificar essas propriedades, uma vez que no o nome que
atribumos a uma noo que definimos que faz com que essa noo tenha que obedecer s
propriedades que associamos ao nome.
31A justificao deste nome tem a ver com o que acontece quando consideramos a noo
usual de distncia entre pontos dum plano: Quando B, C e D designam pontos do plano a
desigualdade .B D .B C .C D, vlida quando eles no forem colineares, corresponde a propriedade usual que relaciona as medidas dos trs lados dum tringulo,
sendo fcil reparar que, quando eles forem colineares, tanto pode ser verdadeira esta
desigualdade como a igualdade entre os dois membros.
21
A noo de distncia especialmente importante para entender intuitivamente a noo de proximidade, esta ltima sendo de grande importncia
em Anlise Matemtica, por exemplo na definio de limite e, em particular, na de continuidade.
22
Exerccios
Ex I.1.1 Apesar de no nos propormos demonstrar (nem sequer enunciar)
todas as propriedades algbricas que decorrem de os nmeros reais
constituirem um corpo (isto , verificarem as propriedades bsicas referidas
nas alneas a) a c) de I.1.1) pode ser til, do ponto de vista do treino da
capacidade de desenvolver raciocnios simples, justificar uma ou outra.
a) Utilizar as propriedades bsicas dos corpos para mostrar que, dados
nmeros reais B e C, tem-se B C ! se, e s se, B ! ou C ! (lei de
anulamento do produto).
b) Deduzir de a) a lei do corte: Se B ! e B C B D , ento C D .
c) J aconteceu um estudante mais distrado generalizar a lei do
anulamento do produto afirmando que dados nmeros reais B e C, tem-se
B C " se, e s se, B " ou C ". Como explicaria a esse seu colega
que afirmao feita no correta?
Ex I.1.2 Verificmos em I.1.4 que, se B C e D a mdia aritmtica de B e C
associada aos pesos = e >, ento B D C . Justificar a seguinte propriedade
recproca: Se B, C e D so nmeros reais com B D C , ento existem pesos
= ! e > !, com = > " tais que D = B > C (por outras palavras,
todos os nmeros entre B e C so mdias pesadas de B e C com pesos
convenientes).
Ex I.1.3 Lembrando o que foi referido em I.1.4 sobre as mdias aritmticas,
justificar que, dados dois nmeros racionais + ,, o intervalo + , inclui
uma infinidade de nmeros racionais. Sugesto: Raciocinar por absurdo: Se
houvesse apenas um nmero finito de racionais, e uma vez que existe pelo
menos um, poderamos chamar - ao maior deles. O que aconteceria ento
mdia de - e , ?
Ex I.1.4 Parece intuitivo que, se + um minorante de um conjunto E e , um
majorante desse conjunto, ento + ,. Provar que isso efetivamente
verdade no caso em que E no vazio. No caso em que E g, encontrar um
contraexemplo que mostra que a afirmao no correta (lembrar o que foi
dito na alnea e) de I.1.7.
Ex I.1.5 Mostrar que, se + , so dois nmeros reais, ento o intervalo
aberto + , tem supremo , e nfimo +.
Ex I.1.6 Determinar, caso existam, o supremo e o nfimo de cada um dos
seguintes conjuntos referindo, em cada caso, se os valores determinados so
ou no mximos e mnimos, respetivamente.
a) O conjunto dos nmeros naturais.
b) O conjunto 8" 8 dos inversos dos nmeros naturais.
23
24
25
+# , #
,
#
" # ! #
B C
!
%
26
27
a mesma que foi utilizada em I.1.6, embora o argumento fique mais conciso.
Dem: Como anteriormente vamos examinar apenas a existncia de mximo,
uma vez que o caso do mnimo pode ser tratado com uma adaptao
evidente. No caso em que 8 ", o resultado evidente, uma vez que o nico
elemento do conjunto E automaticamente o mximo deste conjunto.
Suponhamos (hiptese de induo) que : um nmero natural tal que todos
os conjuntos com : elementos tenham mximo. Provemos ento que, se E
um conjunto com : " elementos, ento E tem mximo, o que terminar a
demonstrao por induo. Ora, podemos escolher um elemento + E e
considerar ento o conjunto E +, que se obtm retirando de E o elemento
escolhido, conjunto esse que tem : elementos. Pela hiptese de induo, o
conjunto E + tem um mximo ,. Se , +, ento , um elemento de E
maior que todos os outros, portanto o mximo de E. Se , +, ento + um
elemento de E maior que todos os outros, portanto o mximo de E. Em
qualquer caso, o conjunto E tem mximo.
28
+" <8
.
"<
+" <:
.
"<
"<
"<
"<
+" <:"
,
"<
o que mostra que a igualdade tambm verdadeira para 8 : ".
29
30
$8
*
$ 8$
.
8x
#
%
$x
"#$
#
#
%
pelo que a desigualdade vlida, como igualdade. Suponhamos agora que a
desigualdade enunciada vlida quando se substitui 8 por um certo : $.
Podemos ento escrever
$:"
$:
$
*
$ :$ $
*
$ :"$
,
: "x
:x
:"
#
%
%
#
%
o que mostra que a desigualdade tambm vlida quando se substitui 8 por
: ". Ficou assim demonstrado por induo que a desigualdade verdadeira
para todo o 8 $.
31
Exerccios
Ex I.2.1 (Soma de 8 termos de uma progresso aritmtica) Lembremos que
uma progresso aritmtica de razo < com 8 termos uma sequncia de 8
nmeros tal que cada um, a partir do segundo, se obtenha a partir do anterior
somando-lhe a razo <. Sendo + o primeiro termo da progresso aritmtica,
os termos desta progresso so assim
+ + < + #< + 8 "<.
Mostrar por induo a seguinte frmula para a soma dos termos de uma tal
progresso:
+ + < + #< + 8 "< 8+
88 " 36
<.
#
#8$ $8# 8
.
'
36Reparar
88 " #
B .
#
32
G:
8x
.
:x8 :x
O estudante j encontrou no ensino secundrio, embora de forma superficial, a noo de limite de uma funo num ponto e ter possivelmente
reparado que, de facto, essa noo engloba uma enumerao de nove
casos diferentes, conforme o limite seja um nmero real, _ ou _ e
conforme o ponto relativamente ao qual se considera o limite seja um
nmero real, _ ou _. Para evitarmos perder tempo a examinar separadamente todos esses casos e para descobrirmos o que h de comum a
todos eles, convir considerar um conjunto que contenha, alm dos
nmeros reais, mais dois elementos designados por _ e _ e
examinar quais as noes que estamos habituados a considerar no
contexto dos nmeros reais que podem ser tratadas de modo anlogo neste
contexto mais estendido.
33
34
37
primeira vista pode parecer um pouco chocante que o nfimo do conjunto vazio seja
maior que o respetivo supremo, quando a nossa intuio nos aponta para o supremo dum
conjunto E ser necessariamente maior ou igual ao seu nfimo. No entanto, se pensarmos
um pouco, realizamos que o nico modo que temos para justificar este ltimo facto passa
por fixar um elemento + em E e reparar que esse elemento tem que ser maior ou igual ao
nfimo e menor ou igual ao supremo. Este raciocnio no evidentemente possvel no
caso do conjunto vazio.
35
infE infF.
36
37
"
"!!!!
38
"
Z$ _ _ ,
$
39
40
41
I.3.17 (Corolrio) Se E um conjunto finito, ento os nicos pontos aderentes a E so os elementos pertencentes a E.
Dem: Comeamos por reparar que o resultado verdadeiro no caso em que
E tem um nico elemento, portanto E ,.42 Ora, se + ,, isto ,
+ ,, j verificmos nas alneas c) de I.3.10 e de I.3.12 a existncia de
$ ! tal que , no pertena a Z$ +, e portanto Z$ + no tenha elementos
de ,, o que mostra que + no aderente a ,.43 No caso em que E tem
um nmero 8 # de elementos, podemos escrever
E +" +# +8 +" +# +8
pelo que, se + aderente a E, ento + aderente a um destes 8 conjuntos
I.3.15.
42
44
claro que o supremo e o nfimo do conjunto vazio no podem ser aderentes a este
conjunto, uma vez que o conjunto vazio no tem pontos aderentes. Lembrar que o
supremo e o nfimo do conjunto vazio existem e so respetivamente _ e _.
43
45No
44
45
47No
exclumos assim que _ ou _ possa ser aderente a E, apesar de, por hiptese,
no pertencerem a E. Por outras palavras, no exigimos que E seja um conjunto limitado.
48Relativamente interseo vale mesmo uma propriedade mais forte, que envolve intersees de muitos conjuntos. Ver o exerccio I.3.6 no fim de seco.
46
_ ,,
+ _,
_ _ ,
+ ,,
+ ,,
_ ,,
+ _,
_ ,,
+ _,
47
Exerccios
Ex I.3.1 Justificar o facto de, para um conjunto no vazio E , ser sempre
infE supE. Quais os conjuntos no vazios E para os quais se tem
infE supE?
Ex I.3.2 Verificar que a concluso do exerccio I.1.8 continua a valer no contexto de , sem que seja necessrio explicitar nenhuma hiptese sobre a existncia de supremo e de nfimo (no contexto de eles existem sempre).
Ex I.3.3 Verificar que qualquer intervalo aberto + ,, com + , em , uma
vizinhana Z$ -, determinando quais os valores de - e de $ !.
Ex I.3.4 Dados E e + , mostrar que + ponto de acumulao de E se, e
s se, em qualquer vizinhana Z$ + existir uma infinidade de elementos de
E. Sugesto: Comear por supor que + finito. Se nalguma vizinhana
Z$ + houvesse s um nmero finito de elementos de E, considerar o mnimo
$ w das distncias de + aos elementos de E dessa vizinhana que so diferentes
de + (se existirem) e reparar no que sucedia com a vizinhana Z$ w +.
Adapatar ento esta ideia aos casos em que + _ ou + _.
48
4N
. E4 ,
4N
c) , 8 8 "
8
"
b) . 8
8
8
d) . 8 8 "
8
"
"
"
"
e) , " $ f) . " $
8
8
8
8
8
8
Ex I.3.6 Seja N um conjunto no vazio de ndices e, para cada 4 N , consideremos um conjunto fechado E4 .
a) Verificar que a interseo + E4 tambm um conjunto fechado.
4N
4N
4N 4!
E4 .
49
E F E F,
50
B,
" B,
se B !
se B !
51
Com efeito, estamos a considerar uma regra que nos permite determinar sem
ambiguidade qual o transformado que consideramos para cada valor real de
B.
b) Podemos considerar funes 0 e 1 ! " definidas por
0 B " B,
1B " B.
52
1B maxB B,
2B
B,
B,
se B !
,
se B !
53
0 \ ] .
claro que o prprio sempre um codomnio de qualquer funo e que,
em geral, se ] um codomnio da funo 0 e ] ] w , ento ] w
tambm um codomnio da funo 0 . De entre todos os codomnios de uma
dada funo 0 \ existe sempre um que est contido em todos os
outros: Trata-se do conjunto dos nmeros reais que se podem escrever na
forma 0 B, para algum B \ , conjunto a que se d o nome de
contradomnio da funo 0 e que se nota 0 \.
Mais geralmente, se 0 \ uma funo e se E \ um subconjunto
do domnio, nota-se 0 E o conjunto dos nmeros reais que se podem
escrever na forma 0 B, para algum B E, conjunto a que se d o nome de
imagem direta do conjunto E pela funo 0 .
Uma imagem que pode porventura ajudar a compreender intuitivamente a
ideia de funo encar-la como uma espcie de mquina que possui uma
entrada por onde se introduzem nmeros e uma sada por onde sai um
nmero cada vez que algum foi introduzido na entrada. A entrada da
mquina pode no aceitar qualquer nmero e o domnio da funo o
conjunto dos nmeros que a mquina aceita. O que nos interessa da
mquina no a forma como ela est construda por dentro mas apenas o
que resulta de seu funcionamento, isto quais os nmeros que ela faz sar
em resposta a cada entrada possvel. Os codomnios da funo que, ao
contrrio do respetivo domnio, no fazem parte desta, so os tabuleiros
que podemos colocar sada e que no deixam cair nenhum dos nmeros
que podem sair.
49Em
54
0 1B B# ",
vezes define-se mais geralmente a composta de duas funes sem exigir que o
domnio da segunda seja um codomnio da primeira mas paga-se um preo por isso, uma
vez que o domnio da composta passa a ser em geral mais pequeno que o domnio da
primeira. Preferimos no trabalhar nessa situao mais geral (que o estudante poder ter
encontrado no ensino secundrio) por questes de simplicidade e porque, em caso de
necessidade, pode sempre substituir-se a primeira funo por uma restrio conveniente
para ficarmos nas hipteses com que estamos a trabalhar.
55
0 M\ 0 \ ] .
b) Se 0 \ ] uma funo, ento
M] 0 0 \ ] .
c) Se 0 \ ] uma funo e E \ , ento, considerando a funo
identidade ME E \ , tem-se
0 ME 0E E ] .
I.4.8 (Associatvidade da composio) Consideremos trs funes
0 \ ] ,
1 ] ^ ,
2 ^ ,
56
57
" " %C
,
#
e tentemos determinar o contradomnio, averiguar a injetividade e, eventualmente, determinar a funo inversa. Como anteriormente, dado C
tentamos resolver a equao C 0 B, isto ,
(1)
C B B# " ,
que sucessivamente equivalente s condies (reparar no cuidado necessrio, quando elevamos ambos os membros ao quadrado, para evitar introduzir falsas solues)
(2)
52Se
C B B# " ,
58
(3)
C B ! C B# B# " ,
(4)
C B ! C# #BC " ,
(5)
CB! C ! B
(6)
C! C
(7)
C!
(8)
C# "
,
#C
C# "
C# "
! B
,
#C
#C
C# "
C# "
! B
,
#C
#C
C! B
C# "
.
#C
Desta ltima condio deduzimos que existe soluo se, e s se, C ! e que,
nesse caso, a soluo nica e dada a partir da ltima igualdade. Em
concluso, a funo injetiva, o contradomnio o intervalo ! _ e a
funo inversa
0 " ! _ ,
0 " C
C# "
.
#C
Note-se que este exemplo permite ilustrar um erro que aparece frequentemente em solues obtidas de forma apressada: Partindo da afirmao
(verdadeira) de que o contradomnio da funo 0 o domnio da funo
inversa 0 " parte-se da expresso obtida para 0 " para afirmar erroneamente
que o contradomnio de 0 seria !, o domnio mximo de definio da
expresso que caracteriza 0 " , esquecendo que o domnio de uma funo no
necessariamente o domnio mximo de definio da expresso que a
caracteriza.
I.4.14 Repare-se que, uma vez que, fixado um referencial, os pontos B C e
C B so simtricos relativamente bissetriz dos quadrantes mpares,
podemos concluir que os grficos de uma funo injetiva e da sua inversa
obtm-se um do outro por uma simetria relativamente a essa bissetriz. Na
figura a seguir esboamos os grficos da funo 0 examinada no exemplo
I.4.13 e da sua inversa (este ltimo em cinzento), representando tambm a
59
bissetriz referida.
0 0 " M] ] ] .
60
61
62
"
"
"
"
,
B
B
+
+
",
!,
se B
se B
63
"
estritamente decrescente a funo de \ para ! _ que a B associa 0 B
"
(frequentemente descrita como B 0 B
), uma vez se trata da composta da
funo estritamente decrescente de ! _ para ! _, C "C , com 0 .
-0 B -0 B.
Tem-se ento:
a) Se 0 e 1 so crescentes, ento 0 1 tambm crescente, sendo mesmo
estritamente crescente no caso em que pelo menos uma das funes 0 e 1
seja mesmo estritamente crescente.
b) Se 0 e 1 so decrescentes, ento 0 1 tambm decrescente, sendo
mesmo estritamente decrescente no caso em que pelo menos uma das funes
0 e 1 seja mesmo estritamente decrescente.
64
I.4.26 (Corolrio) Para cada natural 5 ", tem lugar uma funo estritamente
crescente 05 ! _ ! _ definida por 05 B B5 (a funo
potncia de expoente 5 ).
65
BE
respetivamente.
I.4.28 (Observao sobre as funes trigonomtricas) As funes trigonomtricas, que o estudante j conhece do ensino secundrio, tm um carter
diferente das outras que temos encontrado neste curso, uma vez que a sua
definio no se baseia apenas na Anlise Matemtica mas entronca profundamente nas relaes dos nmeros reais com a Geometria, nomeadamente na
possibilidade de associar, fixado um referencial ortogonal e monomtrico, a
cada nmero real uma posio de uma semirreta partindo da origem, que
determinada pela rotao do semieixo positivo das abcissas, no sentido
direto e medida em radianos, associada a esse nmero real. Conhecida essa
semirreta, os valores das funes trigonomtricas esto determinados pelas
coordenadas do ponto desta que pertence ao crculo trigonomtrico, cosB
a abcissa, senB a ordenada e tanB senB
cosB . Tendo em conta as consideraes anteriores, as funes trigonomtricas, enquanto estiverem dependentes da sua definio geomtrica53, sero apenas utilizadas, por um lado
como apoio a exemplos, por outro como instrumento para a resoluo de
problemas no contexto da aplicao da Anlise Matemtica Geometria ou a
53Existem
66
67
54Alternativamente
68
56Naturalmente
69
Exerccios
Ex I.4.1 Determinar os domnios mximos onde se podem definir funes pelas
expresses seguintes:
"
;
B$ B
B"
b) 0 B #
;
B B
a) 0 B
c) 0 B
B$
.
" $B #B#
B# #B #
,
B# B "
B
!
!
se B !
1B #
se B !
B
se B !
se B !
Determinar as compostas 1 0 e 0 1 .
b) Mostrar que a funo 0 " " definida por 0 B " B#
admite " " como codomnio e determinar a funo composta
0 0 " " " ".
70
B
.
" B#
71
B\
B\
sup 0 B inf 0 B.
B\
B\
B\
B\
B\
B8" " B8 .
72
B8"
#
B8 ".
$
?# ",
?8#
?8 ?8"
#
57
para esta alnea que precisamos que \ tenha pelo menos trs elementos. Repare-se
que, se \ tivesse dois elementos, uma funo constante no estritamente montona e
verifica a condio referida.
73
74
1B - ,
B+
com , - . Existe ento & ! tal que, para cada B \ na vizinhana Z& +,
0 B 1B
Em particular, dados uma funo 0 \ e um real estendido + aderente a
\ , no pode haver mais que um real estendido , que seja limite de 0 B
quando B tende para +.
Por esse motivo, quando existe limite, podemos referir-nos a ele como sendo
o limite de 0 no ponto + (ou o limite de 0 B quando B tende para +) e usar,
para o designar, a notao
lim 0 B
B+
B+
no jogo do ponto aderente a primeira jogada tanto melhor quanto menor for o
$ e a segunda jogada tambm tanto melhor quanto menor for o &.
61Tal como j aconteceu noutras situaes a letra B pode ser substituda por outra ( uma
varivel muda): indiferente escrever 0 B , ou 0 C , assim como escrever
B+
lim 0 B ou lim 0 C.
B+
C+
C+
75
B+
bmos de mostrar, tomando para 1 a prpria funo 0 , para deduzir a existncia de & ! tal que, para cada B \ na vizinhana Z& + (e existe B nestas
condies por + ser aderente a \ ), 0 B 0 B, o que era absurdo.
1B - .
B+
Tem-se ento , - . 62
Dem: Supondo, por absurdo, que no era , - , portanto que , - ,
podamos concluir de I.5.2 a existncia de & ! tal que, para cada B \ na
vizinhana Z& + (pontos cuja existncia resulta de + ser aderente a \ ) vinha
0 B 1B, o que contradizia a hiptese.
B+
B+
B+
B+
Dem: a) Dado $ !, podemos tomar para & o prprio $ , uma vez que, se
B \ pertencer a Z$ +, M\ B B Z$ +.
b) Dado $ !, podemos escolher & ! arbitrariamente63. Com efeito,
qualquer que seja B \ na vizinhana-& de + (ou no), constata-se que
0 B , Z$ ,.
I.5.5 (Sublimites) Sejam \ , + um real estendido aderente a \ e 0 \
uma funo. Diz-se que um real estendido , um sublimite de 0 no ponto +
(ou um sublimite de 0 B quando B tende para +) quando , for limite no
ponto + de alguma restrio de 0 isto , se existir algum subconjunto E \
tal que + ainda seja aderente a E e que , lim 0E B. Diz-se ento, mais
B+
62Um
erro que cometido com alguma frequncia consiste em aplicar o anlogo deste
resultado com as desigualdades substitudas pelas correspondentes desigualdades
estritas . Para constatar a falsidade do enunciado assim obtido ver o exerccio I.5.2 no
fim da seco.
63Na linguagem do jogo, o segundo jogador nem precisa de tomar conhecimento de qual
foi a jogada do primeiro para ter a certeza de ganhar.
76
B+
B+
BE
0 B ,,
B+
BE
B+
B+
0 B ,,
B+
B+
64Para
alguns autores, a noo de limite de uma funo 0 \ num ponto + apresentada de uma forma, no equivalente que utilizmos em I.5.1, que ignora o valor que
a funo 0 possa ter no ponto + e que s faz sentido no caso em que + ponto de
acumulao de \ (foi essa a noo que o estudante encontrou no ensino secundrio).
claro que as duas formulaes so equivalentes no caso em que + \ . A escolha que
fizmos parece-nos apresentar algumas vantagens e, de qualquer modo, se quisermos
significar a noo alternativa, podemos sempre escrever
lim 0 B,
B+
B+
77
#,
B,
se B ",
se B ".
Tendo em conta I.5.6, podemos concluir que 0 no tem limite no ponto ", j
que ela admite os sublimites distintos # e " nesse ponto, determinados
respetivamente pelos subconjuntos _ " e " _ (a primeira restrio
uma funo constante e a segunda a funo identidade).
Vamos agora examinar uma situao em que a existncia de sublimites
convenientes garante a existncia de limite. Trata-se do caso em que o
domnio \ da funo unio de dois subconjuntos E e F . O ponto +
onde se considera o limite tem que ser aderente a \ e portanto, como
referimos na alnea d) de I.3.15, tem que ser aderente a pelo menos um
dos conjuntos E e F . Duas situaes so assim possveis, ou + aderente
a ambos os conjuntos, e ento faz sentido considerar os sublimites correspondentes, ou + aderente a apenas um dos dois conjuntos, e apenas esse
determina um sublimite.
B+
BE
lim 0 B ,
B+
BF
78
B+
",
B,
se B ",
se B ".
Tendo em conta I.5.8, podemos concluir que lim 0 B ", j que se tem
B"
79
B#
se B "
se " B #
se # B
Tem-se lim 1B ", como se pode concluir aplicando duas vezes I.5.8, a
B"
primeira para concluir que a restrio de 1 a _ # tem limite " no ponto ",
por isso acontecer s suas restries a _ " e a " #, dois conjuntos com
" como ponto aderente, e a segunda para obter o limite referido, por se ter
_ # # _, onde " aderente ao primeiro conjunto mas no ao
segundo.
I.5.10 (Os limites tm um carter local) Sejam \ , 0 \ uma funo,
+ um ponto aderente a \ e , . Dado < !, o ponto + tambm aderente
a \ Z< + e tem-se
lim 0 B , lim
B+
0 B ,.
B+
B\Z< +
Dem: Trata-se de consequncias diretas de I.3.15, I.5.6 e I.5.8, uma vez que
se pode escrever
\ \ Z< + \ Z< +,
em que o ponto + no aderente a \ Z< +, por a vizinhana Z< + no
intersetar este conjunto.
I.5.11 (Propriedades especiais dos limites num ponto pertencente ao domnio) Sejam \ , 0 \ uma funo e + \ .
a) A funo 0 pode ter ou no limite no ponto + mas, se tiver, esse limite s
pode ser 0 +.66
66Por
este motivo, a procura do valor de um limite num ponto + s faz sentido no caso em
que esse ponto no pertence ao domnio da funo 0 , embora sendo evidentemente ade-
80
B+
B+
B+
\+ B \ B +.
B+
B\+
81
lim 0 B,
B+
B\+
mir o facto de aquele limite ter o valor ,. Repare-se que, como consequncia
de I.5.6 e I.5.8, valem as seguintes relaes entre limites e limites laterais:
a) Se + ponto de acumulao esquerda e direita de +, ento
lim 0 B , lim 0 B , e lim 0 B ,.
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
82
8_
& ! tal que, para cada 8 na vizinhana Z& _, isto , para cada
8 "& em , B8 Z$ ,. Seramos assim, tentados a escolher para 8! o
nmero "& , mas isso apresenta duas dificuldades: por um lado "& no tem que
ser um nmero natural, por outro, mesmo que o fosse ficaramos a saber o
que sucede para 8 8! mas no para 8 8! . Para tornear estas dificuldades
basta, no entanto, notar que, pela propriedade arquimediana referida em
I.1.11, podemos considerar um nmero natural 8! "& e ento, para cada
nmero natural 8 8! tem-se 8 "& , e portanto ?8 Z$ ,.
I.5.16 (Sucesses parciais) Para alm das sucesses, til em certas situaes
considerar tambm sucesses parcialmente definidas, ou sucesses parciais.
Daremos esse nome a funes cujo domnio um subconjunto N de que
seja infinito, tendo ainda assim _ como ponto aderente. Tal como
acontece com as sucesses, usual utilizar uma notao do tipo ?8 8N , ou
outra com um significado equivalente, para designar uma sucesso parcial.
"
Por exemplo, a expresso 8'
no define uma sucesso mas j faz sentido
"
pensar na sucesso parcial 8' 8( .
Tal como acontece com as sucesses, quando se fala de limite de uma
sucesso parcial est subentendido que se trata do limite quando 8 _ e
para este limites vale uma caracterizao anloga referida em I.5.15 para as
sucesses.
83
I.5.17 (Limites da soma, do mdulo e do produto) Sejam \ , + aderente a \ e 0 1 \ duas funes tais que
lim 0 B ,,
B+
lim 1B - ,
B+
lim 0 B 1B , -
B+
lim l0 Bl l,l
B+
lim 0 B 1B , - .
B+
67A
razo por que escolhemos aplicar a definio com o nmero $ /2 dado partida, e no
outro, no ser naturalmente clara para quem esteja a acompanhar a demonstrao pela
ordem pela qual ela apresentada. Qualquer nmero maior que ! podia ter sido considerado e o que se passa que se verificou, eventualmente depois de alguma tentativa no
totalmente conseguida, que, com esta escolha, no fim as contas davam o que necessitvamos. Uma questo anloga levanta-se, com ainda maior evidncia, na demonstrao
da alnea c) que apresentaremos adiante.
84
$
#l-l"
! na definio do limite de 0 B e o
$
#l,l"
nmero
! na do limite de 1B, podemos considerar &ww ! e
www
& ! tais que, para cada B \ Z&ww +,
l0 B ,l
$
#l-l "
$
.
#l,l "
Seja & ! o menor dos trs nmeros &w , &ww e &www Para cada B \ Z& +
tem-se ento
l0 B1B ,-l l0 B1B - 0 B ,-l
l0 Bl l1B -l l0 B ,l l-l
$
$
l,l "
l-l " $,
#l,l " #l-l "
isto , 0 B1B Z$ ,-. Ficou assim provado que 0 B1B ,- quando
B +.
I.5.18 (Corolrio) De I.5.17 podemos concluir, sem precisar de novas demonstraes, que, sendo \ , + aderente a \ e 0 1 \ duas funes
tais que
85
lim 0 B ,,
B+
lim 1B - ,
B+
B+
lim 0 B 1B , - .
B+
B+
lim 0# B ,# ,
B+
lim 05 B ,5 .
B+
Tem-se ento
lim 0" B 0# B 05 B ," ,# ,5 ,
B+
B+
B+
B"
lim
B+
"
"
.
0 B
,
"
confundir o inverso da funo 0 , que a funo que a B associa o inverso 0 B
de
0 B, com a funo inversa da funo 0 , que definimos em I.4.11, no caso em que 0
injetiva.
68No
86
l,l $l,l
,
# #
$ l,l#
!
#
isto
"
0 B
"
"
l, 0 Bl
#$ w
# $,
0 B ,
l0 Bl l,l
l,l
Z$ ", .
B+
Tem-se ento
B+
lim
0 B
,
.
1B
-
0 B
1B
0 B
"
1B .
lim 0 B ,.
B+
Dem: O facto de se ter , ! uma consequncia de I.5.3 (ou, alternativamente, de I.5.14 e do facto de ! _ ser um conjunto fechado). Vamos
87
l0 B ,l
0 B ,0 B ,
0 B ,
l0 B ,l
$ ,
$
,
,
B+
Faltam-nos neste momento resultados que permitam estabelecer a existncia de limites quando se consideram tambm limites infinitos. Esses resultados costumam ser enunciados na forma de mnemnicas que o estudante
decerto j encontrou.
_ _,
l_l _ )
B+
B+
b) Se 0 B _, ento 0 B _ e l0 Bl _.
B+
B+
B+
88
B+
_ , _,
_ , _ )
B+
B+
B+
B+
B+
B+
B+
B+
" "
"
,
$
$
$
89
Z&w +, 0 B "$ , ". Sendo & ! o menor dos dois nmeros &w e &ww ,
vemos que, para cada B \ Z& +, tem-se
0 B 1B
"
"
, " , " ,
$
$
lim 1B _ e portanto
B+
0 B 1B 0 B 1B _,
B+
B+
portanto
0 B 1B 0 B 1B _,
B+
_ :9= _ )
B+
B+
b) Se 0 B _ e 1B , ! _ ento 0 B 1B _.
B+
B+
B+
"
"
" ,
$
$
90
0 B 1B
#
,
"
,
,$
#
$
B+
0 B 1B 0 B 1B _,
B+
B+
B+
0 B 1B 0 B 1B _,
B+
B+
_ :9= _,
_ 8/1 _,
_ :9= _,
_ 8/1 _.
Note-se tambm que no contexto de I.5.26 e I.5.27 h candidatos a mnemnicas que no conduzem a resultado e que constituem o que se costuma
designar por indeterminaes, nomeadamente
(_) _,
_ !.
B+
91
B_
B_
B_
B+
B+
B+
se 5 mpar.
Dem: Estas concluses resultam facilmente por induo em 5 a partir da
propriedade na alnea a) de I.5.27 e das respetivas variantes referidas na nota
"
_,
!
"
_ )
!
B+
B+
"
_.
0
B+ B
lim " _.
B+ 0 B
c) Se lim 0 B ! e 0 \ _ !, ento
B+
B+
"
B+ 0 B
"
"
!
0 B
0 B
! !.
92
"
vimos em b) garante que 0 B
"
0 B
B+
_, donde
"
0 B
B+
_.
0 B
B+ 1B
ento lim
se tem ento
B+
0 B
"
1B ,
onde
"
1B
B+
!. Destacamos em seguida
_,
_,
_,
_,
_
:9=
_
8/1
_
:9=
_
8/1
_,
_,
_,
_,
:9=
!
8/1
!
:9=
!
8/1
!
_,
_,
_,
_.
!
,
!
como indeterminaes.
I.5.33 (Exemplo) Vamos apresentar mais um exemplo de levantamento de
indeterminao. Apesar de se tratar de um tipo de indeterminao com que
certamente o estudante j trabalhava no ensino secundrio, apresentamo-lo
com o convite para que seja examinado o modo como algumas das proprie-
93
$B% "
$B% "
lim
#
%
B & B_ #B B# &
B_ #B%
B!
lim
B_
B!
"
B%
"
B#
&
B%
$
.
#
B+
B+
B+
8 " 88 " 8
8 " 8
8 " 8
"
!.
8 " 8
_
94
C,
B+
C,
I.5.37 (Exemplo) Uma noo que ser estudada adiante mas que o estudante j
encontrou no ensino secundrio a de derivada de uma funo 0
num ponto + . 70 Trata-se do limite, se existir
0 w + lim
B+
B+
0 B 0 +
B+
0 w + lim
2!
95
B+
96
I.5.39 (Corolrio) Sejam \ , 0 \ uma funo crescente (respetivamente decrescente). Tem-se ento:
a) Se + um ponto de acumulao esquerda de \ , ento, para cada
C \ com C +, lim 0 B 0 C (respetivamente lim 0 B 0 C),
B+
B+
B+
B+
C+
C+
B+
para cada B \ ,
1B 0 B 2B ou 2B 0 B 1B,
ento tambm lim 0 B , .
B+
B+
B+
97
B+
B+
B+
B_
lim intB _.
B_
B+
lim .0 B , lim l0 B ,l !.
B+
B+
B+
lim l0 Bl !, tem-se
B+
l0 Bl 0 B l0 Bl,
conclumos que lim 0 B !.
B+
98
B+
B+
B+
lim 0 B , ! e portanto
B+
lim 0 B lim 0 B , , ! , ,.
B+
B+
ento lim 0 B 1B !.
B+
B+
lim
8_
B8
+.
8
$
.
#
Uma vez que a sucesso 8 88! tambm tem limite !, podemos, do mesmo
modo, considerar 8" tal que, para cada 8 8" ,
$
B8!
.
8
#
Sendo 8# o maior dos dois nmeros naturais 8! e 8" , vemos agora que, para
99
B8
B B8! " B8! B8! # B8! " B8 B8"
8!
8
8
B8
lB8! " B8! l lB8! # B8! " l lB8 B8" l
!
8
8
8 8! $#
$
$
$
$,
#
8
# #
ou seja
B8
8
8_
B8
!.
8
2) Suponhamos agora, mais geralmente, que B8" B8 + . Consideremos uma nova sucesso C8 8 definida por C8 B8 +8 e reparemos
que se tem
C8" C8 B8" +8 " B8 +8
B8" B8 + + + !.
Aplicando a concluso de a) a esta nova sucesso, conclumos que lim C88 !
e portanto tem-se
B8
C8 +8
C8
+ ! + +.
8
8
8
3) Suponhamos que B8" B8 _. Seja $ ! arbitrrio. Comecemos
por considerar 8! tal que, para cada 8 8! , B8" B8 Z$ # _, ou
seja
B8" B8
#
.
$
Uma vez que a sucesso 8 88! tem limite !, podemos considerar 8"
B
tal que, para cada 8 8" , 88! Z"$ ! $" $" , em particular,
B8!
"
.
$
8
Sendo 8# o maior dos dois nmeros naturais 8! e 8" , vemos agora que, para
cada 8 8# , vem, em particular, 8 8! e 8 8" donde
B8
B8 B8! " B8! B8! # B8! " B8 B8"
!
8
8
" B8! " B8! B8! # B8! " B8 B8"
$
8
" 8 8! $#
" #
"
$
$
$
$
8
100
ou seja
8_
B8
_.
8
_.
8
8
I.5.45 (Sucesso exponencial de base maior que ") Seja , " um real fixado e
consideremos a sucesso de nmeros reais que a 8 associa ,8 , a que se
d o nome de sucesso exponencial de base , . 71 Tem-se ento:
a) A sucesso , 8 estritamente crescente e tem limite _. Em particular
, 8 ".
b) De facto pode-se afirmar mais: Para cada nmero inteiro 5 !, tem-se
,8
_. 72
85 8
Dem: a) Temos uma sucesso de nmeros maiores que ! e o facto de ela ser
estritamente crescente resulta de se ter
, 8" ,8 , ,8 " ,8 .
O facto de se ter , 8 " resulta de termos uma sucesso estritamente
crescente com , " , ". Para provarmos que ela tem limite _ vamos
utilizar a desigualdade de Bernouilli (cf. I.2.5), pondo , " B, onde
B , " !. Ento, pela desigualdade referida, , 8 " 8B e portanto,
uma vez que " 8B _, segue-se, por enquadramento, que , 8 _.
b) Vamos provar a afirmao de b) por induo em 5 , comeando por reparar
que o caso em que 5 ! simplesmente a concluso de a). Suponhamos a
concluso de b) verdadeira para um certo valor : ! de 5 (e para toda a
base maior que ") e tentemos prov-lo quando 5 : ". Como , ",
podemos, como antes, escrever , " C, com C ! e vem, pela
desigualdade de Bernouilli,
71No
101
,8
" C8
" 8C
C
8
8
8
e portanto, por ser
,8
,8
,8
,8
_
8:"
8
8:
8:
,8
_.
8:"
I.5.46 (Sucesso exponencial de base menor que ") Seja ! , " um real
fixado e consideremos a sucesso exponencial de base , , , 8 ,8 .
a) A sucesso , 8 estritamente decrescente e tem limite !. Em particular
, 8 ".
b) De facto pode-se afirmar mais: Para cada nmero inteiro 5 !, tem-se
, 8 85 !. 73
8
"
-8
85
"
!.
_
73Note-se
102
I.5.47 Se , !, tem-se
lim
8
8x
_,
,8
e portanto tambm
lim
8
,8
!.
8x
5
,
8
,5
,
O facto de a funo 5 , 8
por enquadramento.
8x
,8
"
"
+ ,
8
8
103
B8 \ , ento 0 B8 , .74 Provemos agora, pelo mtodo do contrarrecproco, que, se para toda a sucesso B8 de elementos de \ , com B8 +,
0 B8 ,, ento lim 0 B ,. Para isso, vamos supor que , no limite
B+
74Reparar
104
Exerccios
Ex I.5.1 Provar diretamente, isto , sem recorrer a nenhum dos teoremas sobre
limites que examinmos, que, se \ , + aderente a \ e 0 \
uma funo para a qual exista lim 0 B , , ento, para cada constante
B+
- , tem-se lim -0 B -, .
B+
B_
B_
(os dois limites so iguais). Notar que este exemplo mostra que o corolrio
I.5.3 deixa de ser vlido se substituirmos as desigualdades latas pelas
correspondentes desigualdades estritas .
Ex I.5.3 Utilizar diretamente a definio de limite para mostrar que a sucesso
cujo termo de ordem 8 B8 #8"
8" tem limite #.
Ex I.5.4 Sendo 0 a funo definida por 0 B senB, mostrar que os
sublimites de 0 B quando B tende para _ so exatamente os nmeros
reais do intervalo " " e deduzir, em particular, que a funo no tem
limite quando B tende para _.
Ex I.5.5 Para cada uma das sucesses com os termos de ordem 8 a seguir
indicados, averiguar a existncia de limite e, em caso afirmativo, determin-lo.
" #
8 ";
8
8"
b) C8 "8
;
8#
" #
c) D8 "8 .
8
a) B8
105
a) lim B # B B " ;
" B " B
B_
b) lim
;
B
c) lim B# B# B B .
B!
B_
B_
B_
e que:
0 B
";
1B
0 B
!;
b) lim
B_ 1B
0 B
_;
c) lim
B_ 1B
0 B
(;
d) lim
B_ 1B
0 B
e) lim
no existe;
B_ 1B
a) lim
B_
"
,
8
escreve-se ento 0 B _.
B+
0 B _, tem-se tambm 0 B _.
B+
B+
_ no ponto +.
106
B!
0 B _.
B!
limitada em +.
c) Verificar que, se 0 B _ (cf. o exerccio I.5.10), ento 0 no
B+
localmente limitada em +.
d) Mostrar que, se uma sucesso B8 8 tem limite , , ento ela
limitada (e no s localmente limitada em _). Sugesto: Lembrar que uma
sucesso uma funo de domnio e reparar que, para cada < !,
Z< _ necessariamente um conjunto finito.
Ex I.5.12 Sejam \ , 0 1 \ duas funes e + aderente a \ ,
a) Mostrar, por enquadramento, que, se 0 B _ e 1 uma funo
B+
majorada, ento 0 B 1B _.
B+
minorada, ento 0 B 1B _.
B+
;
8
8 "#
#8#
8 cos8
c)
;
8 cos8
8x
d) 8 ;
8
"( 8
e)
.
8
a)
107
B$ ,
B,
se B
se B .
B8" " B8
e que esta sucesso estritamente crescente e majorada. Mostrar que a sucesso tem limite finito B e determinar o valor desse limite. Sugesto: Utilizar
os teoremas sobre limites para mostrar que B " B.
Ex I.5.18 Verificmos no exerccio I.4.16 que se pode definir recursivamente
uma sucesso B8 8 por
B" &,
B8"
#
B8 "
$
"
08" > 08 > > 08 ># .
#
108
6. Sublimites e aplicaes.
I.6.1 Recordemos a definio dos sublimites de uma funo num ponto, apresentada em I.5.5: Se \ , + aderente a \ e 0 \ uma funo, os
sublimites de 0 no ponto + so os reais estendidos , que so limite de
alguma restrio 0E E , com E \ e + aderente a E.
Recordemos tambm que, como referido em I.5.6, se , limite de 0 \
no ponto +, ento , tambm sublimite de 0 no ponto +, sendo, de facto o
nico sublimite de 0 nesse ponto.
Recordemos ainda que, como referido na alnea d) de I.5.13, no caso em que
+ \ , 0 + um dos sublimites de 0 \ no ponto +, que pode ser
obtido a partir do subconjunto E +.
I.6.2 (Caracterizao alternativa dos sublimites) Sejam \ , + aderente a
\ e 0 \ uma funo. Tem-se ento que um real estendido , um
6. Sublimites e aplicaes
109
I.6.3 (Reformulao da caracterizao dos sublimites) Sejam \ , + aderente a \ e 0 \ uma funo. Tem-se ento que um real estendido
, um sublimite de 0 no ponto + se, e s se, qualquer que seja & !, ,
aderente ao conjunto 0 \ Z& +. Em particular, se , sublimite de
0 \ ] no ponto +, ento , aderente ao contradomnio 0 \, e
portanto tambm aderente a ] .
Dem: Basta reparar que afirmar que , aderente a 0 \ Z& + equiva75Na
linguagem da proximidade, esta condio afirma que, quaisquer que sejam as exigncias de proximidade que se considerem, para + e para , , existe B \ prximo de +
tal que 0 B esteja prximo de , .
110
6. Sublimites e aplicaes
111
#,
B,
se B ",
se B ".
Conclumos ento que 0 no tem limite no ponto ", j que esta funo admite
os sublimites distintos # e " nesse ponto, determinados respetivamente pelos
subconjuntos _ " e " _. Utilizando I.6.6, podemos agora concluir
que # e " so os nicos sublimites de 0 no ponto ", uma vez que as restries
aos subconjuntos referidos tendo # e " como limites no ponto ", tm estes
como nicos sublimites nesse ponto.
b) Consideremos a sucesso B8 8 definida por
B8 # sen
#81
,
$
cujo grfico sugerimos a seguir (lembrar que uma sucesso uma funo de
domnio ).
112
B+
B+
76Este
6. Sublimites e aplicaes
113
114
6. Sublimites e aplicaes
115
I.6.12 (Mximos e mnimos dos compactos) Seja ] um conjunto compacto e no vazio. Tem-se ento que ] tem um elemento mximo e um
elemento mnimo.80
Dem: O facto de ] ser limitado e no vazio implica que supE e infE so
finitos. Uma vez que o supremo e o nfimo de E so aderentes a E, o facto de
E ser fechado implica que o supremo e o nfimo pertencem a E e portanto
so respetivamente o mximo e o mnimo de E
B+
e, nesse caso
80Lembrar
116
B+
B+
B+
Dem: Se 0 tem limite no ponto +, ento esse limite o nico sublimite nesse
ponto, e portanto coincide tanto com o sublimite mximo como com o
sublimite mnimo, que, em particular, tm que ser iguais. Reciprocamente, se
os sublimites mximo e mnimo coincidem, qualquer sublimite, que sabemos
estar entre eles, tem que coincidir com ambos e portanto, havendo um nico
sublimite, esse sublimite limite de 0 no ponto +.
$
$
$,
# #
6. Sublimites e aplicaes
117
$
$
$,
# #
118
B+
B+
B+
BE
B+
BE
B+
(1)
B+
B+
B+
B+
e portanto
lim inf 0 B lim sup 0 B,
B+
(2)
B+
B+
B+
B+
6. Sublimites e aplicaes
119
desigualdade anloga.
B+
B+
B+
B+
A demonstrao da segunda desigualdade, envolvendo os sublimites mximos, pode ser feita de modo anlogo ou, alternativamente,, tendo em conta a
primeira desigualdade para as funes 0 e 1, que verificam
1B 0 B, para cada B \ : Tem-se
lim sup 1B lim inf 1B lim inf 0 B lim sup 0 B,
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
120
B+
B+
B+
B+
B+
B+
B+
B+
Em particular lim 1G B _ e
B+
B+
B+
B+
lim 0G B 1G B
B+
lim 0G B lim 1G B
B+
B+
B+
B+
B+
B+
B+
B+
Em particular lim 1F B _ e
B+
B+
B+
B+
lim 0F B lim 1F B
B+
B+
B+
B+
6. Sublimites e aplicaes
121
B+
B+
B+
_):
!
a) Se , ! _ um sublimite de 0 no ponto +, ento ", um sublimite no
"
ponto + da funo 0" \ ! _, B 0 B
.
b) Em consequncia,
lim sup
B+
"
"
,
lim inf 0 B
0 B
B+
"
"
lim inf
.
B+ 0 B
lim sup 0 B
B+
B+
BE
B+
BE
"
,
"
-
B+
so sublimites no ponto + de
"
0
o que implica
"
"
"
,
lim sup
,
lim inf 0 B
B+ 0 B
(1)
B+
lim inf
B+
"
"
"
.
0 B
lim sup 0 B
B+
"
0
no lugar de 0 , obtemos
"
lim sup 0 B,
"
lim inf 0 B
B+
B+
lim inf 0 B
B+
"
,
"
lim sup 0 B
B+
e portanto
83Ou,
122
lim inf
B+
"
"
,
lim sup 0 B
0 B
B+
(2)
"
"
lim sup
.
lim inf 0 B
B+ 0 B
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
B+
Em particular lim 1G B ! e
B+
B+
B+
B+
6. Sublimites e aplicaes
123
B+
lim 0G B 1G B
B+
lim 0G B lim 1G B
B+
B+
B+
B+
B+
B+
B+
B+
Em particular lim 1F B _ e
B+
B+
B+
B+
lim 0F B lim 1F B
B+
B+
B+
B+
c) e d) As demonstraes destas desigualdades podem ser obtidas por adaptao natural das apresentadas para a) e b).
e) e f) Temos consequncias diretas de a) e b), no primeiro caso, e de c) e d),
no segundo, uma vez que, 1 \ tendo limite no ponto +, tem-se
lim 1B lim inf 1B lim sup 1B.
B+
B+
B+
Exerccios
Ex I.6.1 (Caracterizao dos sublimites segundo Heine) Sejam \ ,
+ aderente a \ e 0 \ uma funo. Mostrar que um real estendido
, sublimite de 0 no ponto + se, e s se, existir uma sucesso B8 8
de elementos de \ tal que B8 + e 0 B8 , . Sugesto: Para uma das
implicaes utilizar as caracterizaes dos pontos aderentes e dos limites
124
6. Sublimites e aplicaes
125
#
"
#
?8 .
$
#
$
126
Ex
BE
Mostrar que existe ento & ! tal que, para cada B \ na vizinhana
Z& +, 0 B 1B (comparar com I.5.2) Sugesto: Aplicar a concluso do
exerccio I.6.12, depois de escolher - . com
lim sup 0 B - . lim inf 1B
B+
BE
CAPTULO II
Funes contnuas e aplicaes
1. Definies e propriedades bsicas.
II.1.1 Sejam \ e 0 \ uma funo. Diz-se que 0 contnua num
ponto + \ se lim 0 B 0 + ou, o que o mesmo, se 0 tem limite no
B+
ponto + (cf. I.5.11). Diz-se que 0 uma funo contnua se 0 for contnua
em todos os pontos do domnio \ .
Para alm de resultados importantes sobre funes contnuas que estudaremos mais adiante, muitas propriedades destas so meras reformulaes
de propriedades dos limites j estudadas na seco I.5. Poder ser til,
mesmo assim, explicitar essas reformulaes mas substituiremos a sua
demonstrao por uma referncia, sem mais comentrios, s propriedades
que esto na sua origem.
B+
B+
128
129
0
1
0 "1 \ .
B+
(cf. I.5.36).
Passamos agora a examinar alguns resultados, de utilizao frequente, que
tm como hiptese a continuidade em todos os pontos do domnio.
130
8N
ento que
lim C8 lim 0 B8 0 + 0 \,
8N
8N
II.1.13 (Nota) Acabamos de verificar que a imagem por uma funo contnua de
um conjunto simultaneamente fechado e limitado um conjunto simultaneamente fechado e limitado. Poderamos conjeturar se a imagem de um
conjunto fechado ter que ser um conjunto fechado e se a imagem de um
conjunto limitado ter que ser um conjunto limitado. Tal no o caso:
Pensando, por exemplo, na funo contnua 0 ! _ definida por
0 B B" , constatamos que a imagem do conjunto fechado " _ (que no
limitado) o conjunto ! ", que no fechado, e que a imagem do
conjunto limitado ! " (que no fechado) o conjunto " _, que no
limitado.
II.1.14 (Imagem reciproca dum fechado) Sejam \ e ] dois
conjuntos fechados e 0 \ uma funo contnua. ento fechado o
conjunto
E B \ 0 B ] ,
a que se costuma dar o nome de imagem recproca de ] por meio de 0 .
Dem: Seja + aderente a E. Em particular, por ser E \ , + tambm
aderente a \ donde, por \ ser fechado, + \ . Tendo em conta I.5.49,
podemos considerar uma sucesso B8 8 de elementos de E, em particular
de \ , com B8 +. Pela continuidade de 0 no ponto +, vem 0 B8 0 +,
85Ou
131
segunda funo, para garantir a existncia de & ! tal que, para cada
B + , na vizinhana Z& - - & - &, 0 B . , em particular
B E. Mas isto conduz-nos a um absurdo, visto que, escolhendo B entre - e
o menor dos dois nmeros , e - &, maiores que - , obtnhamos um elemento
de E maior que - , contrariando o facto de - ser um majorante de E.
O caso em que 0 , . 0 + admite uma justificao anloga, mas
tambm se pode reduzir ao que j demonstrmos, considerando a funo
contnua 0 + , , para a qual se tem 0 + . 0 ,, e
deduzindo a existncia de - + , tal que 0 - . , portanto tal que
0 - ..
132
B ",
B,
se B #
,
se B #
Como primeira aplicao do teorema de Cauchy-Bolzano ou, mais precisamente, do seu corolrio, temos a possibilidade de definir as razes de
ndice 5 dos reais maiores ou iguais a !, generalizando o que foi feito em
I.1.15 para as razes quadradas. De facto, se examinarmos a demonstrao
ento feita, constatamos que ela seguia um caminho anlogo ao utilizado
na demonstrao do teorema de Cauchy-Bolzano, a demonstrao deste
ltimo acabando por ser mais simples por j dispormos de instrumentos
que ento no estavam ao nosso alcance.
II.1.18 (A funo raiz de ndice 5 ) Seja 5 " um nmero natural. Para cada
nmero real C ! existe ento um, e um s, nmero real B ! tal que
5 C e a que se d o nome de raiz de
B5 C, nmero real esse que notado
ndice 5 de C.
# C no mais do que a raiz quadrada C de C , definida em
Repare-se que
" C C.
I.1.15 e que
Dem: Tendo em conta I.4.26 e II.1.8, sabemos que tem lugar uma funo
contnua e estritamente crescente 05 ! _ ! _, definida por
05 B B5 , a qual vai, em particular, ser injetiva. Para justificar a afirmao
no enunciado resta mostrar que a funo 05 ! _ ! _ sobrejetiva. Pelo corolrio II.1.16 do teorema de Cauchy-Bolzano, 05 ! _
um intervalo e o facto de 05 ser crescente implica que ! 05 ! o mnimo
desse intervalo e, tendo em conta I.5.30 e a alnea a) de I.5.38, que o
133
lim B5 _. Conclumos assim que o
B_
contradomnio efetivamente ! _.
II.1.19 Para cada natural 5 ", ficou definida uma funo estritamente
5 C , que no mais do que a
crescente ! _ ! _, que a C associa
funo inversa da funo bijetiva 05 ! _ ! _ definida por
05 B B5 (lembrar que, como referido em I.4.22, a funo inversa de uma
funo estritamente crescente estritamente crescente).
O prximo resultado, que muitas vezes cmodo para provar a continuidade de uma funo, diz-nos que uma funo montona cujo contradomnio seja um intervalo necessariamente contnua.
B+
B+
B+
lim 0 B e 0 +,
B+
B+
134
" B,
B,
se B "
se B "
C_
135
so contnuas.
Dem: Tendo em conta o resultado II.1.10, sobre a composio de funes
contnuas, e a relao senB cos 1# B, vlida para todo o B ,
suficiente mostrar que a funo cos contnua num ponto arbitrrio
+ . Aplicando I.1.13 ao real #+1 , vemos que existe : tal que #+1 pertena ao intervalo : : ", ou seja + #:1 #:1+21. Vamos provar a
continuidade no ponto + distinguindo quatro situaes:
1) Suponhamos que + #:1 #:1 1. Neste caso, reparamos que a restrio do cosseno a este intervalo decrescente e tem como contradomnio o
intervalo " " 89 e portanto, por aplicao de II.1.20, contnua. Deduzimos ento da alnea a) de II.1.6 que cos contnua no ponto +, j
que + no aderente ao conjunto fechado
#:1 #:1 1 _ #:1 #:1 1 _.
136
3) Suponhamos que + #:1. Neste caso, por aplicao de II.1.20, conclumos que so contnuas as restries do cosseno aos intervalos #:1 1 #:1
e #:1 #:1 1 (a primeira crescente, a segunda decrescente e ambas com o
intervalo " " como contradomnio) e portanto, pela alnea b) de II.1.6, a
restrio do cosseno a #:1 1 #:1 1 contnua em +. Daqui deduzimos, pela alnea a) de II.1.6, que cos contnua no ponto +, j que
+ no aderente ao conjunto fechado
#:1 1 #:1 1 _ #:1 1 #:1 1 _.
137
1
1
1 :1
:
#
#
senB
,
cosB
1
1
:1 : "1
#
#
B+
lim tanB _.
B+
II.1.25 (As funes trigonomtricas inversas) Apesar de as funes trigonomtricas sen " ", cos " " e tan 1# 1 no
serem injetivas, e portanto no terem funes inversas, possvel restringir
cada uma delas a um intervalo conveniente de forma a obter uma funo
injetiva e com o mesmo contradomnio. So as inversas dessas restries que
so conhecidas como funes trigonomtricas inversas e que so implementadas (atravs de valores aproximados) em muitas calculadoras com as teclas
138
sin"
cos"
tan" .
c) A restrio da funo tangente ao intervalo 1# 1# estritamente crescente, em particular injetiva, e tem como contradomnio. Notamos
1 1
arctan
# #
(ou tan" a funo inversa desta restrio, que assim bijetiva e estritamente crescente e portanto contnua. Note-se que, por aplicao das alneas
a) e b) de I.5.38, tem-se
90Nas
B_
139
lim arctanB
B_
1
.
#
140
"
8 " 8 8 " 8 8 " 8
,
8 " 8
8 "+8
cujo limite sabemos ser !. Qualquer que fosse o candidato & ! para
varificar a condio de continuidade uniforme, podamos ento escolher um
natural 8 tal que 8 " 8 & e ento, tomando + 8 e
B 8 ", constatvamos que B Z& + e, no entanto, por ser 0 + 8 e
0 B 8 ", 0 B Z" 0 + ou seja, o candidato no servia.
II.1.28 (Teorema de Heine-Cantor) Sejam \ , E \ um conjunto
compacto (isto , fechado e limitado) e 0 \ uma funo contnua em
todos os pontos de E. A funo 0 ento uniformemente contnua nos
pontos de E.
Dem: Suponhamos, por absurdo, que 0 no era uniformemente contnua nos
pontos de E, isto , que se podia considerar $ ! para o qual no havia
nenhuma escolha possvel de & ! nas condies da definio. Em
particular, se escolhssemos & 8" , no teramos xito, ou seja, existiam dois
pontos +8 E e B8 \ tais que B8 Z"8 +8 , ou seja .+8 B8 8" , e,
no entanto, 0 B8 Z$ 0 +8 , ou seja . 0 +8 0 B8 $ . Reparemos
que, uma vez que 8" !, as desigualdades ! .+8 B8 8" implicam que
.+8 B8 !. Pensando agora na sucesso +8 8 de elementos de E, o
facto de E ser compacto (cf. II.1.11) implica que existe um sublimite + E
para esta sucesso, portanto que existe uma parte infinita N (isto , com
_ como ponto aderente) tal que +8 +, ou seja .+ +8 ! (cf. a
8N
8N
8N
8N
8N
. 0 + 0 B8 !.
8N
Das desigualdades
! . 0 +8 0 B8 . 0 +8 0 + . 0 + 0 B8 ,
com o membro da direita a tender para !, para 8 N , resulta por enquadramento que . 0 +8 0 B8 !. Mas isto absurdo, uma vez que, por
8N
141
Exerccios
Ex II.1.1 Lembrar que, para cada B , define-se a sua parte inteira intB
como sendo o nico inteiro : tal que B : : " (cf. I.1.13). Determinar
quais os pontos + onde a funo int contnua.
Ex II.1.2 Sejam \ um intervalo e 0 \ uma funo contnua,
que s toma valores racionais. Mostrar que 0 necessariamente uma funo
constante.
Ex II.1.3 Sejam 0 1 ! " duas funes contnuas tais que 0 " 1!.
Mostrar que contnua a funo 2 ! " definida por
2B
0 #B
se ! B "#
.
1#B " se "# B "
142
0 B
B,
B ",
se B ! "
.
se B # $
143
0 " ! # ! " # $
no contnua.
Ex II.1.11 (Outro caso de continuidade da funo inversa) Seja \ um
conjunto compacto, ou seja, fechado e limitado (no necessariamente um
intervalo), e seja 0 \ uma funo contnua e injetiva. Mostrar que a
funo inversa 0 " 0 \ \ tambm contnua.91 Sugesto: Tendo em
conta a caracterizao dos limites segundo Heine em I.5.50, basta mostrar
que, para cada , 0 \ e cada sucesso de elementos C8 0 \ com
C8 ,, tem-se 0 " C8 0 " ,. Para isso utilizar I.6.13, mostrando que a
sucesso 0 " C8 8 , que tem necessariamente sublimite, no admite
nenhum sublimite distinto de 0 " ,.
Ex II.1.12 a) Reexaminando a demonstrao da alnea a) de I.5.17, mostrar
que, se E \ e se 0 1 \ so duas funes uniformemente
contnuas nos pontos de E, ento a soma 0 1 \ tambm
uniformemente contnua nos pontos de E.
b) Arranjar o contrexemplo que mostre que o anlogo da alnea a), com a
soma substituda pela multiplicao, j no verdadeiro. Sugesto: Pensar
no exemplo na alnea 2) de II.1.27.
c) Reexaminando a demonstrao da alnea c) de I.5.17, encontrar hipteses
suplementares sobre duas funes 0 1 \ uniformemente contnuas nos
pontos de um certo E \ , que permitam garantir que 0 1 \
tambm uniformemente contnua.
Ex II.1.13 Verificar que a funo 0 ! " , definida por 0 B B" ,
apesar de contnua, no uniformemente contnua. reparar que este exemplo,
juntamente com o examinado na alnea 2) de II.1.27, mostra que para a
validade do teorema de Heine-Cantor (cf. II.1.28), essencial tanto o facto
de o conjunto E ser fechado como o de ser limitado.
Ex II.1.14 a) Sejam \ , 0 \ uma funo e E \ e F \ dois
subconjuntos tais que 0 seja uniformemente contnua nos pontos de E e
uniformemente contnua nos pontos de F . Mostrar que 0 uniformemente
contnua nos pontos de E F .
b) Utilizar a concluso de a), com a decomposio
! _ ! " " _
para mostrar que uniformemente contnua a funo 0 ! _ definida por 0 B B. Sugesto: Para a continuidade uniforme nos pontos de
! " utilizar o teorema de Heine-Cantor e para a continuidade uniforme nos
91Naturalmente,
144
lB +l
lB +l.
B +
B78 B7 B8 ,
B78 B7 8 ,
e, consequentemente, se C ! e 7 8,
B 8
B8
8,
C
C
C78
C7
.
C8
,7
,
,8
92Sem
, :
145
" 93
.
,:
,7
,7
8w ,
8
,
,
w
,7
.
,8
,!
"
:,
:
,
,
"
, :
,:; ,: ,; ,
,:; ,: ; ,
e, consequentemente
93Por
vezes utiliza-se esta igualdade como definio, aparentemente mais simples, das
potncias de expoente inteiro negativo, mas a definio, aparentemente menos direta, que
estamos a utilizar vai-nos permitir simplificar as demonstraes das propriedades das
potncias de expoente inteiro.
146
- :;
-:
,
-;
- ;
"
.
-;
,: - : ,
, -8
,8 - 8
,8
-8
w
w
w
, 77
,7 ,7
,7
,7
88w 8
8 8w ,: ,; ,
,
, ,8w
,
,
, -:
, :;
, :;
, 77 88
, 77 ,88
,,78 8
,77
,87w
,78w
,88w
,7 7
,8 7w
,7 8w
,8 8w
,7 ;
,: ; . 94
,8
-!
"
;.
;
-
147
, < ,: , .
7
, :
, . Ora, tendo em conta a definio da raiz de ndice 7 e o facto
de o segundo membro ser maior que !, isso resulta de se ter
:
:7
7
7
7
7
, , , ,: .
7
7
8
, : , ; .
, : ,: ,: 8 ,:8 ,;7
8
8
78
8
8
, ; 7 ,; ,; .
7
,<= ,< ,= ,
,<= ,< = ,
e, consequentemente
, <
,<
<,
e, para 8 ,
, <=
,<
,
,=
,<
"
,
,<
, 8 , .
"
148
:8;7
78 ,
,<= 78 ,:8;7
e portanto
78
, <
7;
:;
78 ,
78
e portanto
7
7
,:; ,: ; ,:
;
8
,< ;
,< ; ,< =
8 7
78
,!
"
<
,<
,
8
8
e a ltima igualdade vem de que, por definio, , 8
,"
,.
"
7
8,
149
8
B<
B7 ,
8
em parrticular "<
" ", pelo que as concluses do enunciado resultam
de a funo ! _ ! _, B B7 , ser contnua e estritamente
7 C , ser
crescente (cf. II.1.8 e I.4.26) e de a funo ! _ ! _, C
contnua e estritamente crescente (cf. II.1.22 e II.1.19).
II.2.6 (Lema sobre a exponencial de base , ") Seja , " um real fixado.
Tem-se ento que a funo ! _, que a < associa ,< contnua e
estritamente crescente.95
Dem: Vamos dividir a prova em vrias partes:
1) Mostremos que a funo estritamente crescente, isto , que se < = em
, tem-se , < ,= .
Subdem: Tem-se = < !, donde, por II.2.5, , =< "=< " o que
implica que
, < ,< ,=< ,= .
2) Vamos mostrar que lim , < ".
<!
Subdem: Tendo em conta I.5.38, sabemos que existe este limite lateral e
igual ao nfimo - dos , < , com < e < !. Uma vez que, para cada <
com < !, , < ,! ", tem-se - ". Suponhamos, por absurdo, que se
"
"
tinha - ". Para cada natural 8 tinha-se - , 8 , donde - 8 , 8 8 , e
isto absurdo, uma vez que a sucesso - 8 tem limite _ (cf. I.5.45), que
no aderente ao conjunto majorado _ ,.
3) Vamos mostrar que se tem tambm lim , < ".
<!
<!
"
lim ,< lim ,= ",
<!
=!
,<
donde
lim , < lim
<!
<!
"
"
,<
"
".
"
95Repare-se
<+
150
<+
=!
e portanto
lim , < lim ,<+ ,+ " ,+ ,+ .
<+
<+
96
<B
<
.
", B
"
<B
<B
<B
96A
restrio < feita naturalmente s para sublinhar o que se est a considerar, uma
vez que, antes desta definio, ,< s esta definido para < .
151
, =8 <8 ,! ".
Vemos agora que
lim , <
<B
lim , <
<B
lim , =8
, =8
lim
<B
<B
<B
<B
"
<B "<
,
lim
<B
"
"
" B
", <
,
B
assim como o facto de, no caso em que B , vir ", ,"B (no sentido da
definio em II.2.3) e portanto o limite referido ser igual a , B (no sentido
dessa definio).
152
B_
lim ,B !.
B_
lim , B !,
lim ,B _.
B_
B_
B_
para cada + , dos limites laterais lim , B e lim ,B e o que nos resta
B+
B+
B_
8_
8
em segundo lugar
"
"
!
8
8_ ,
_
B_
8_
8
B+
<+
<
<+
<
B+
<+
<
<+
<
2) O caso em que , " trivial visto que ento a funo exp, a funo
constante de valor ".
153
"
,
"
"
,
", B
exp", B
B_
"
!,
_
lim , B
B_
"
_.
!
"
exp", B
,BC ,B ,C ,
,BC ,B C ,
e, consequentemente
, B
,B
B,
-
,BC
,B
,
,C
,B
"
.
,B
154
,!
"
B.
B
,
,
"
"
B= ,B= .
,B =
,
C!
98O
lim log, C _.
C_
problema que nos falta uma propriedade que garanta que, se ,8 , e <8 B,
ento tenha que ser ,8<8 ,B . Esta propriedade, apesar de verdadeira, s ser justificada
adiante em II.2.15.
155
C!
lim log, C _.
C_
log, , ",
e, para B C ! _ e D ,
log, B C log, B log, C,
log, BD D log, B,
e, consequentemente,
B
log, log, B log, C,
C
"
log, log, C.
C
156
"
log, -
e, para cada B ! _,
log- B log- , log, B.
Dem: Uma vez que se pode escrever
B , log, B - log- ,
log, B
- log- ,log, B ,
157
B!
lim B. _.
B_
B!
lim B. !.
B_
B+
lim 1B . ,
B+
B+
B+
e portanto
B+
B+
B+
99Lembrar
B+
0 B1B
,.log, - ,log, - - . .
.
158
II.2.16 (Nota) Repare-se que, para a validade do resultado precedente, foi essencial supor que - !. Se se tivesse lim 0 B !, no podamos aplicar o
B+
B+
B+
B+
B+
B+
B+
B+
que encontrmos at aqui correspondiam a operaes, como !! que no faziam sentido. No o caso desta: Tem-se, algebricamente,
!! " no contexto das potncias de base real e expoente inteiro maior ou igual a !.
159
C_
B+
B+
0 B1B
!.
B+
B+
B_
B!_
,B
_.
B5
Uma vez que, como foi referido no exemplo na alnea b) de I.5.41, a funo
int tem limite _ em _, tem-se, como limite da funo
composta,
lim
B_
B!_
, intB"
_
intB "5
160
B5
intB "5
,
intB "5
B_
B!_
,B
_.
B5
8
II.2.19 (O limite de
B8 ) Sejam B8 8 uma sucesso de nmeros reais em
! _ e + ! _ um real estendido tal que BB8"
+. Tem-se ento
8
8
lim
B8 +. 103
8_
8_
Dem: Consideremos uma base auxiliar , ". Tem-se ento que a sucesso
B8"
8 log, B8" log, B8 log,
B8
tem limite log, + se + ! _, _ se + ! e _ se + _. Tendo
em conta I.5.44 assim como a continuidade e os limites nas extremidades do
domnio da funo log, , conclumos que a sucesso
8
log, B8
8
log,
B8
8
Exerccios
Ex II.2.1 Completar e justificar os segundos membros das seguintes mnemnicas, envolvendo limites de potncias (a quarta j apareceu como exemplo
103Reparar
deste.
na analogia com I.5.44, resultado que vai, alis, ser utilizado na justificao
161
em II.2.17):
!_ ,
__ ,
"_ ,
!8/1 ,
_8/1 ,
"_ ,
!_ ,
_:9= ,
"_ ,
!:9=
__ ,
"_ .
8 8"
Ex II.2.3 Determinar o limite da sucesso B8 8 definida por B8
8 .
B_
8
b) Utilizar a concluso de a) para mostrar que lim
8 ".
162
" 8
"
"
, C8 " 8" B8 " .
8
8
8
Tem-se ento que a primeira estritamente crescente, a segunda estritamente decrescente e ambas tm um mesmo limite real, a que se d o nome de
constante de Neper, que notada com o smbolo / e que verifica as desigualdades
# / $. 104
Dem: Vamos comear por mostrar que a primeira sucesso crescente e que
a segunda decrescente, para o que bastar verificar que, para cada 8 ,
B8 B8" e C8 C8" ou, o que equivalente,
B8"
C8
",
".
B8
C8"
Para o fazermos vamos utilizar duas vezes a desigualdade de Bernouilli
"
estrita em I.2.7, no primeiro caso com B 8"
# e no segundo caso com
"
B 88# . Com efeito,
" 8"
" 8"
8#
8"
B8"
88 # 8" 8 "
8"
8
8
"
8"
" 8
8
B8
8 "#
8
8"
"
8"
"
8"
"
"
",
#
8 "
8
8"
8
" 8" 8"
8"
8"
8 "# 8#
8
C8
8
8#
8#
"
8#
88 #
8"
C8"
" 8"
8"
8#
"
8
"
8
"
"
",
88 #
8"
8
8"
104 claro que possvel encontrar intervalos mais reduzidos onde se encontra /, mas
citamos este neste momento apenas a ttulo de exemplo que pode ser til. O estudante j
encontrou este nmero anteriormente, embora sem preocupaes de rigor e viu referida
uma aproximao decimal do tipo / # (")#)")#)%&*, a qual no mais do que uma
afirmao no justificada (embora justificvel) de que / pertence a um certo intervalo
muito mais pequeno.
163
" #
*
/ B # " #
#
%
e o facto de se ter / $ resulta de se ter
"
%''&'
/ C& " '
$. 105
&
"&'#&
II.3.2 A constante de Neper / joga um papel fundamental em toda a Anlise
Matemtica, em particular, e por razes que sero mais claras em breve (cf.
II.3.4), constituem uma base privilegiada para a exponencial e o logaritmo.
Por esse motivo, usual em Matemtica notar simplesmente
exp ! _,
log ! _ ,
lnB log/ B
" C
C " .
C
Tem-se ento:
105A
frao poder ser feia mas este clculo tem a vantagem de, pelo menos em princpio,
no estarmos dependentes de uma calculadora para obter o resultado.
106Antes da generalizao do uso das calculadoras, os logaritmos de base "! eram utilizados como auxiliares para efetuar aproximadamente multiplicaes de nmeros. Por esse
motivo, a notao log era utilizada no lugar de log"! e usava-se, como faremos, ln no
lugar de log/ . Hoje, no entanto, a importncia dos logaritmos de base "! muito limitada.
164
C_
" C
lim " /.
C
C_
Dem: Vamos comear por justificar o primeiro dos dois limites referidos,
comeando por notar que, uma vez que _ no aderente ao complementar
_ " ! " de " _ no domnio, ser suficiente provar que
lim
(1)
C_
C"_
"
" C / .
C
"
"
intC /,
intC
lim
"
"
intC" /,
intC "
C_
C"_
C_
C"_
"
"
intC
lim
"
"
intC" /,
intC
lim
"
"
intC /.
intC "
lim
C_
C"_
(2)
C_
C"_
C_
C"_
" e
lim "
C_
C"_
"
"
intC"
",
C C ",
165
vemos que
" C
"
D D"
D" lim
lim
lim " "
D_
D_
D
D
D
" D
lim " /.
D_
D
B"
B"
lnB
",
B"
/B "
". 107
B!
B
lim
B!
" C
ln/ ",
C
" C
ln/ "
C
"
B" ,
"
"
lnB
ln" " lim C ln"
lim
C_
B" B "
B" B "
B"
"
"
lnB
lim
ln" " lim C ln"
lim
C_
B" B "
B" B "
B"
lim
lnB
B" B"
B"
"
",
C
"
",
C
".
107Reparar
166
" lim
C!
C!
donde finalmente
/C "
lim
C!
C!
C
"
lim
C!
C!
C
/C "
"
C
C
C! / "
C!
lim
".
/B /B
/B /B
, coshB
.
#
#
(1)
B_
lim coshB _,
B_
lim senhB _,
B_
lim coshB _.
B_
e coshB ! e portanto
(3)
Tem-se ainda que a funo senh mpar e a funo cosh par109, isto , para
cada B ,
108comparar
109Mais
(4)
167
(5)
%
%
/#B /#B # /#B /#B #
".
%
%
que
/B /B
/B /B
senhB,
#
#
/B /B
/B /B
coshB
coshB
#
#
senhB
e que
senhB coshB
/B /B
/B /B
/B .
#
#
168
/B /B
.
#
169
arccosh " _ ! _
donde
donde
/B /B
#
e coshB
/B /B
,
#
obtemos, por um
/B # /B #
" /#B /#B
"
senh#B
%
#
#
#
170
%
%
#B
#B
#/ #/
cosh#B.
%
senh# B cosh# B
Exerccios
Ex II.3.1 Utilizar II.3.3 para determinar os limites das sucesses B8 8
definidas por:
" 8
,
a) B8 "
#8
8 8
.
b) B8
8"
lim "
B 8
/B .
8
,
B" B "
ln,
lim
B"
,B "
ln,.
B!
B
lim
B!
171
CAPTULO III
Derivadas e aplicaes
1. Definies e propriedades bsicas.
III.1.1 Sejam \ , 0 \ uma funo e + \ que seja ponto de
acumulao de \ . Retomando a definio que o estudante j enco=ntrou
decerto no ensino secundrio112, dizemos que 0 derivvel (ou diferencivel) em + se existir e for finito o limite
lim
B+
B+
0 B 0 +
,
B+
com restries desnecessrias sobre o domnio, por exemplo a exigncia de se tratar de um intervalo.
174
III.1.3 (Nota) Repare-se que nas consideraes precedentes, como noutras que
vo seguir, temos utilizado a letra + para o ponto em que se considera a
derivada e a letra B para a varivel que intervm no limite que define a
derivada. No entanto, uma vez que estas letras so variveis mudas, nada nos
impede, depois dos clculos efetuados, passar a utilizar a letra B para designar o ponto em que se considera a derivada. Por exemplo, veremos adiante
que, sendo 0 B B8 , tem-se 0 w + 8+8" . Poderemos ento tambm
dizer que se tem 0 w B 8B8" .
III.1.4 Dizemos que 0 \ derivvel quando, para cada B \ , B ponto
de acumulao de \ e 0 derivvel em B. Quando isso acontecer, fica
definida uma nova funo 0 w \ , que a cada B \ associa a derivada
0 w B no ponto B, funo a que se d o nome de funo derivada.
III.1.5 (Continuidade das funes derivveis) Se a funo 0 \
derivvel no ponto + \ , ponto de acumulao de \ , ento 0 contnua no
ponto +.
Dem: Tendo em conta II.5.17, vemos que, por 0 w + ser finito,
lim 0 B 0 + lim
B+
B+
B+
B+
0 B 0 +
B + 0 w + ! !,
B+
pelo que
lim 0 B lim 0 B 0 + 0 + ! 0 + 0 +,
B+
B+
B+
B+
175
"
B+
B+
e, no segundo caso,
0 B 0 +
,,
!.
B+
B+
-0 w + -0 w +.
B+
B+
0 B 0 + 1B 1+
0 w + 1w +,
B+
B+
B+
-0 B -0 +
-0 B -0 +
0 B 0 +
-0 w +.
B+
B+
B+
B+
Relativamente a b) usamos tambm a continuidade em + das funes
176
B+
B+
0 B1B 0 +1B 0 +1B 0 +1+
B+
0 B 0 +
1B 1+
1B 0 +
0 w +1+ 0 +1w +.
B+
B+
B+
III.1.8 (Corolrio derivada da diferena) Nas hipteses anteriores, a
diferena 0 1 \ , definida por 0 1B 0 B 1B derivvel
em + e com derivada 0 w + 1w + nesse ponto.
Dem: basta reparar que 0 1 a soma da funo 0 com o produto da funo
1 pela constante ".
0 B
1B ,
derivvel em + e com
177
0
0 w +1+ 0 +1w +
w +
.
1
1+#
c) Em particular, para cada 8 , a funo que a B associa 1B8
tem derivada no ponto + igual a
"
1B8
8 1w +
81w +1+8" .
1+8"
Dem: Utilizando as propriedades algbricas dos limites, vem, tendo em conta
a continuidade de 1 no ponto +,
"1 B "1 +
B+
"
1B
"
1+
1+ 1B
B+
1B1+B +
"
1B 1+
1w +
,
B+
1B1+ B +
1+#
#
1
1+
1+
1+#
81w +1+8"
#8
1+
1+8"
178
\+ B \ B + :
"# B# "# ,
0 B B$ "# ,
" #
#B ,
se B !
se ! B "
se " B
113Por
179
"
#+ ! +.
#
"
#+ +.
#
ln ! _ ,
"
.
C
180
B+
expB exp+
exp+ B + exp+
lim
B+
B+
B+
exp+expB + "
lim
B+
B+
expC "
exp+ lim
exp+.
C!
C
Seja agora , ! _ arbitrrio. Tendo em conta as propriedades algbricas do logaritmo, o resultado sobre o limite da funo composta e o limite
notvel em II.3.4, vem
lim
C,
ln C
lnC ln,
lnB
"
"
"
lim C , lim
.
B"
C,
C,
,
,
B"
,
, "
F B \ + 0 B 0 +.
Sabemos que 0 contnua em +, por ser derivvel nesse ponto e vemos que,
se + for aderente a E, vem
lim
B+
BE
10 B 10 +
10 B 10 + 0 B 0 +
lim
B+
B+
0 B 0 +
B+
BE
1C 10 +
0 B 0 +
lim
lim
1w 0 + 0 w +.
B+
C 0 +
B+
C0 +
BE
C0 +
B+
BF
10 B 10 +
lim 0 !.
B+
B+
BF
1 0 w + lim
B+
B+
181
10 B 10 +
1w 0 + 0 w +.
B+
0 w + lim
BF
B+
BF
Podemos assim concluir, mais uma vez por I.5.8 que + aderente a E e que,
como antes,
1 0 w + lim
B+
BE
10 B 10 +
1w 0 + 0 w +.
B+
"
114Comparar
.
.
B. . B." .
B
B
182
"
,
5
5 B5"
"
15 B 15 !
B5
B 5 " _,
B!
B!
B
por ser
"
5
"
.
0 w +
C,
0 " C 0 " ,
lim
C,
C,
"
0 w +
"
0 0 " C0 +
0 " C+
"
+
lim 0 B0
B+
B+
"
,
0 w +
".
II.1.20 para garantir a continuidade de 0 " .
183
"
,
# C
"
,
C
184
senB
"
B
e, consequentemente,
lim
B!
B!
senB
".
B
Tem-se tambm
lim
B!
B!
cosB "
!. 117
B
117Reparar
118A
185
"
B
"
senB tanB,
#
#
#
portanto
senB B
senB
,
cosB
B!
B!
B!
B!
senB
".
B
B!
B! BcosB "
B!
B
B
cosB "
lim
B!
B!
B!
sen!
"
!.
cos! "
cosw B senB.
B+
B+
sen+cosB + cos+senB + sen+
B+
senB +
cosB + "
sen+
cos+
B+
B+
pelo que, uma vez que, pelos limites notveis em III.1.21,
186
B+
obtemos
senw + lim
B+
senB sen+
sen+ ! cos+ " cos+.
B+
#
III.1.23 (Derivada da tangente) Lembremos que, sendo
\
1
1
1 :1
:
#
#
"
" tan# B.
cos# B
,
#
cos B
cos# B
cos# B
cos# B
e, por outro lado,
cos# B sen# B
sen# B
"
" tan# B.
#
cos B
cos# B
187
que se verificou nesse resultado serem funes contnuas. Tem-se ento que
as duas primeiras so derivveis em todos os pontos de " ", e com
derivadas
arcsenw C
"
,
" C #
arccosw C
"
,
" C #
"
.
" C#
"
"
.
" C #
cosB
"
"
"
.
#
senB
" cos B
" C#
"
"
.
#
" tan B
" C#
188
arccosh " _ ! _
"
C # "
"
.
C # "
/B /B
/B /B
, coshB
.
#
#
"
"
"
.
senh# B "
C # "
coshB
"
"
"
.
cosh# B "
C # "
senhB
Exerccios
Ex III.1.1 Mostrar que, se 0 uma funo derivvel num certo ponto
+ , ento existe limite para a sucesso que a 8 associa
8 0 +
"
0 +.
8
189
2!
0 + 2 0 +
2
2!
0 + 2 0 + 2
0 w +
#2
B: sen B" ,
!,
se B !
:
se B !
log, ! _ .
119O
190
e) 0 B " B# B ;
f) 0 B B senB;
senB
g) 0 B ln
.
" cosB
Ex III.1.11 Seja 0 ! a funo definida por 0 B lnlBl. Verificar
que se tem 0 w B B" , para cada B !.
Ex III.1.12 Diz-se que um conjunto \ simtrico se, para cada B \ ,
tem-se tambm B \ . Sejam \ um conjunto simtrico e 0 \ .
Diz-se que 0 uma funo par (respetivamente mpar) se, para cada B \ ,
0 B 0 B (respetivamente 0 B 0 B).
a) Verificar que, se 0 uma funo par (respetivamente mpar) e + \ um
ponto de acumulao de \ onde 0 seja derivvel, ento + tambm um
ponto de acumulao de \ onde 0 derivvel e 0 w + 0 w +
(respetivamente 0 w + 0 w +).
b) Deduzir de a) que, se 0 uma funo par (respetivamente mpar) e se
] \ o conjunto dos pontos de \ que so pontos de acumulao de \ e
onde 0 derivvel, ento ] um conjunto simtrico e a funo0 w ]
mpar (respetivamente par).
Ex III.1.13 Seja 0 " " a funo definida por 0 B senB# .
a) Verificar que 0 derivvel em cada B ! e determinar a sua derivada
nesses pontos.
b) Verificar que 0 no derivvel em !, embora seja derivvel esquerda e
direita nesse ponto.
tanhB
191
senhB
/B /B
B
.
coshB
/ /B
a) Verificar que a funo tanh " " mpar e que, para cada B ,
tanh# B "
"
,
cosh# B
em particular tanhB " ". Concluir que tanh " " estritamente crescente e, determinando os respetivos limites em _ e em _,
mostrar que ela bijetiva.
b) Verificar que a funo tanh " " derivvel em cada B e com
tanhw B
"
" tanh# B.
cosh# B
c) Seja arctanh " " a funo inversa da funo tanh " ".
Mostrar que, para cada C " ", tem-se
"
,
" C#
"
"C
arctanhC ln
.
#
"C
arctanhw C
192
B+
BE+
0 B 0 +
!
B+
B+
BE+
0 B 0 +
!.
B+
193
B+
BE+
0 B 0 +
!
B+
B+
BE+
0 B 0 +
!.
B+
0 w + ! e 0 w + !, donde 0 w + !.
III.2.2 (Notas) 1) Com frequncia, o domnio \ da funo que estamos a considerar um intervalo no trivial. Nesses casos, a extremidade esquerda
ponto de acumulao direita de \ , a extremidade direita ponto de acumulao esquerda de \ e os pontos de \ que no so extremidades (pontos
interiores do intervalo) so simultaneamente pontos de acumulao
esquerda e direita de \ .
2) frequente aplicar-se o resultado precedente no diretamente funo
que estamos a estudar mas sua restrio a um subconjunto conveniente do
domnio, lembrando que a existncia de derivada num certo ponto para a
funo original implica a existncia de derivada, com igual valor, da sua
restrio, desde que ainda tenhamos um ponto de acumulao do domnio da
restrio. Por exemplo, o estudante j ter tido ocasio de aplicar a concluso
do teorema de Fermat (derivada nula) a pontos em que a funo no tem
mximo nem mnimo, mas apenas mximo ou mnimo relativos.
194
O enunciado que referimos pode ainda ser aplicado nestes casos, reparando
que a restrio da funo a um subconjunto conveniente j atinge mximo ou
mnimo nos pontos em questo.
III.2.3 (Monotonia e derivadas) Sejam \ , 0 \ uma funo e
+ \. Tem-se ento:
a) Suponhamos que a funo 0 crescente. Se + for ponto de acumulao
direita de \ e 0 tiver derivada direita em +, ento 0 w + !. Se + for
ponto de acumulao esquerda de \ e 0 tiver derivada esquerda em +,
ento 0 w + !. Em particular, se + for ponto de acumulao de \ e 0 for
derivvel em +, ento 0 w + !.
b) Suponhamos que a funo 0 decrescente. Se + for ponto de acumulao
direita de \ e 0 tiver derivada direita em +, ento 0 w + !. Se + for
ponto de acumulao esquerda de \ e 0 tiver derivada esquerda em +,
ento 0 w + !. Em particular, se + for ponto de acumulao de \ e 0 for
derivvel em +, ento 0 w + !.
Dem: Notemos, como temos feito, \+ e \+ o subconjuntos de \ , com
unio \ constitudos pelos B \ que verificam B + e B +, respetivamente e lembremos que + ponto de acumulao de \ se, e s se, for ponto
de acumulao de pelo menos um dos conjuntos \+ e \+ e que ento a
existncia de derivada no ponto + arrasta a das correspondentes derivadas
laterais e com o mesmo valor. As concluses do enunciado so ento uma
consequncia direta de III.2.1 e da observao que se 0 crescente ento as
restries de 0 a \+ e \+ tm respetivamente um mnimo e um mximo
em + e que se 0 decrescente ento as restries de 0 a \+ e \+ tm
respetivamente um mximo e um mnimo em +.
195
B,
B,
se ! B "
se " B !,
120
claro que, uma vez que uma funo derivvel num ponto sempre contnua nesse
ponto, se tivssemos exigido que a funo fose tambm derivvel nos pontos + e , no
teria sido necessrio explicitar a condio de continuidade. Pode parecer primeira vista
que no exigir a derivabilidade nas extremidades do domnio seja um pormenor de menor
interesse mas, como veremos adiante aplicaes do teorema de Lagrange, que uma
consequncia do de Rolle, onde importante no exigir a derivabilidade nas extremidades.
196
B, se ! B "
0, se B "
0 , 0 + 121
.
,+
0 , 0 +
.
,+
1, 0 , 7, + 0 ,
121Relativamente
197
122Foi
referido na comunicao social que o teorema de Lagrange j chegou ao conhecimento das autoridades e que estas esto a considerar a hiptese de o utilizar da forma
descrita.
198
reparamos que
0 , 0 +
0 + 0 ,
.
,+
+,
B+
B+
0 B 0 +
lim 0 w -B j.
B+
B+
0 B 0 +
lim 0 w -B j.
B+
B+
199
recproca deste resultado j era conhecida, mesmo sem a hiptese de o domnio ser
um intervalo: Uma funo constante tem derivada ! em todos os pontos do domnio que
so pontos de acumulao deste.
124A igualdade 0 w B 0 B, uma relao que se requer entre uma funo e a sua
derivada, um exemplo daquilo a que se d o nome de uma equao diferencial. O
estudo geral das equaes diferenciais, um assunto de grande interesse na Matemtica e
nas suas aplicaes ser encontrado mais adiante no decorrer da licenciatura.
200
0 w B/B 0 B/B
!.
/B #
III.2.14 (Funes com um comportamento semelhante ao do seno e do cosseno) Sejam W e G duas funes125 derivveis em cada
B e com
(1)
W w B GB,
G w B WB. 126
(2)
125Reparar
que as letras que estamos a utilizar para designar estas funes destinam-se a
sublinhar a semelhana que estas tm com o seno e o cosseno que conhecemos.
126Estas igualdades constituem um exemplo do que se costuma chamar um sistema de
equaes diferenciais.
201
:w -
:, :+
Dem: Comecemos por reparar que o facto de se ter :+ :, uma
consequncia do teorema de Lagrange, que nos garante que existe . + ,
tal que
:, :+
:w . !.
,+
Tal como na demonstrao do teorema de Lagrange, defina-se 7 por
127Repare-se
202
0 , 0 +
: (, ) : ( + )
0 , 0 +
:, :+
:, :+
0 , 0 , 0 + 0 +,
e portanto 1+ 1,. Podemos assim aplicar o teorema de Rolle funo 1
para concluir a existncia de - + , tal que
! 1w - 0 w - 7:w -,
w
ou seja, :0 w-
- 7, o que, lembrando a definio de 7, precisamente a
concluso pretendida.
.
: (, ) : ( + )
: (+ ) : (, )
(H1)
lim 0 B !
B+
203
lim :B ! 128
B+
(H2)
B+
(H3)
Tem-se ento tambm
lim
B+
0 B
j. 130
:B
Dem: Vamos comear por supor que se verifica a hiptese (H1). Comecemos
por prolongar as funes 0 e : ao intervalo + , dando a ambos os
prolongamentos (que notamos tambm 0 e :) o valor ! no ponto + e reparando que se obtm assim funes com as mesmas derivadas nos pontos de
+ , e contnuas em + (embora no necessariamente derivveis)131. Para
cada B + , podemos ento aplicar o teorema de Cauchy s restries a
+ B das funes prolongadas 0 e : para garantir a existncia de um ponto
intermdio, que notaremos -B + B, tal que
0 B
0 B 0 +
0 w -B
.
w
:B
:B :+
: -B
De se ter + -B B resulta, por enquadramento, que lim -B + pelo
B+
128Estas
204
:B :C
:B :C :B :C
0 B
"
0 C
"
,
:
C
:B "
:B " :C
:B
:B
.
:B
:B :B :C :B
(1)
(2)
0 B 0 C
0 w -
$
.
w
:B :C
: -
$
"
B+ l:Bl
!, e portanto
tambm
lim
B+
:C
!,
:B
lim
B+
0 C
!,
:B
o que nos permite considerar &# ! e &$ ! tais que, para cada B + ,
C
C
C
", donde " ::B
em Z&# +, ::B
" e ! " ::B
#, e, para
C
$$ . Seja enfim & ! o menor dos
cada B + , em Z&3 +, :0 B
nmeros &# , &$ e C + e examinemos o que se passa para cada B + , em
Z& +. Ora, tem-se, em particular, B C pelo que, tendo em conta (1) e (2),
0 B
:C 0 B 0 C
0 C
$
$
"
# $.
:B
:B :B :C
:B
$ $
0 B
B+ :B
!.
B) Vamos agora examinar, mais geralmente, o caso em que j arbitrrio. Para isso, consideramos uma nova funo derivvel 1 + ,
definida por 1B 0 B j:B, para a qual se tem
1w B
0 w B j:w B
0 w B
lim
lim
j !
B+ :w B
B+
B+ :w B
:w B
lim
lim
B+
205
0 B
1B j:B
1B
lim
lim
j ! j j.
B+ :B
:B B+
:B
$
derar &" ! tal que, para cada D + , em Z&" +, l :0 wD
D l $ . Fixemos
agora C + , em Z&" + e reparemos que, para cada + B C , o teorema
de Cauchy garante que, para um certo - entre B e C , em particular em Z&" +,
0 B 0 C
0 w -
$
w
.
:B :C
: -
$
(3)
"
B+ l:Bl
!, e portanto
tambm
lim
:C
!,
:B
B+
lim
B+
0 C
!,
:B
o que nos permite considerar &# ! e &$ ! tais que, para cada B + ,
C
C
C
"$ , donde ::B
em Z&# +, ::B
"$ e " ::B
#$ , e, para cada B + ,
C
"
"$ donde :0 C
em Z&3 +, :0 B
B $ . Seja enfim & ! o menor dos
nmeros &# , &$ e C + e examinemos o que se passa para cada B + , em
Z& +. Ora, tem-se, em particular, B C pelo que, tendo em conta (1) e (3),
0 B
# $ "
"
,
:B
$ $
$
$
ou seja,
lim 0 B
B+ :B
0 B
:B
_.
_.
lim
B+ :w B
B+ :w B
lim
B+
0 B
1B
lim
_.
B+ :B
:B
III.2.18 (Nota) Note-se que, para aplicar a regra, supe-se que existe limite para
o quociente das derivadas e conclumos da a existncia e valor do limite para
o quociente das funes. Pode perfeitamente acontecer que o quociente das
206
B" B5
B"( "
.
#B "
B"
B"( "
"(B"'
lim
.
B5 #B " B" &B% #
Ora, por aplicao das regras usuais sobre os limites, vemos que o limite do
segundo membro existe e igual a "(
$ , pelo que este o limite procurado.
2) Calculemos o limite
lim
B!
cosB "
.
B#
B!
cosB "
senB
lim
.
#
B!
B
#B
Este ltimo limite existe e pode ser calculado a partir de um dos limites
notveis conhecidos (cf. III.1.21) ou, alternativamente, a partir de uma
segunda aplicao da regra de Cauchy:
lim
B!
cosB "
senB
cosB
"
lim
lim
.
B!
B!
B#
#B
#
#
B!
cosB
senB
!
lim
!.
B!
B
"
"
207
B!
cosB
"
_.
B
!
B!
B
"
lnB
"
lnB#
B
"
lnB#
que se v claramente ter ainda pior aspeto que o de partida, sendo tambm
claro que continuar a aplicar a regra de Cauchy no vai melhorar as coisas. A
soluo neste caso transformar a expresso original no numa
indeterminao do tipo !! mas numa do tipo _
_ . Obtemos assim, por
aplicao da regra de Cauchy com a hiptese (H2),
lim BlnB lim
B!
B!
lnB
"
B
lim
B!
"
B
B"#
lim B !.
B!
lim 0 B !
B,
lim :B !
B,
208
(H2)
B,
(H3)
B,
0 w B
j .
:w B
B,
0 B
j. 132
:B
j,
<w C C, <w C B, :w B
lim
C,
B,
0 B
0 C
1C
lim
lim
j.
:B C, :C C, <C
lim 0 B !
B_
(H2)
lim :B !
B_
lim l:Bl _
B_
0 w B
j .
B_ :w B
lim
132Note-se que, apesar de, para fixar ideias, termos suposto um domnio do tipo + ,,
este resultado pode ser aplicado ao caso de outros domnios que contenham um intervalo
deste tipo, atravs da considerao de restries para as funes.
lim
B_
209
0 B
j. 133
:B
" w "
0 ,
C#
C
<w C
" w "
: !
C#
C
e verificam uma das hipteses (H1) ou (H2), para C !. Uma vez que
0 w "C
1w C
0 w B
lim
lim
j,
C! < w C
C! < w " B_ :w B
C
lim
lim 0 B !
B_
(H2)
lim :B !
B_
lim l:Bl _
B_
0 w B
j .
B_ :w B
lim
B_
0 B
j. 134
:B
que, apesar de, para fixar ideias, termos suposto um domnio do tipo + _,
com + !, este resultado pode ser aplicado ao caso de outros domnios que contenham
um intervalo deste tipo, atravs da considerao de restries para as funes.
134Note-se que, apesar de, para fixar ideias, termos suposto um domnio do tipo _ ,,
com , !, este resultado pode ser aplicado ao caso de outros domnios que contenham
um intervalo deste tipo, atravs da considerao de restries para as funes.
210
Exerccios
Ex III.2.1 (Verso incrementada do teorema de Lagrange) Sejam + ,
em e 0 + , uma funo contnua e derivvel esquerda e direita
em todos os pontos B + ,. Mostrar que existe ento - + , tal que
0 ,0 +
seja igual a uma das derivadas laterais 0 w - e 0 w - ou esteja
,+
entre estas duas. Sugesto: Proceder como na demonstrao do teorema de
Lagrange, depois de enunciar e demonstrar uma verso incrementada do
teorema de Rolle.
Ex III.2.2 Sejam \ um intervalo, 0 \ uma funo contnua e Q !
tal que, para cada ponto interior B do intervalo \ , 0 seja derivvel em B e
com l0 w Bl Q .
a) Utilizar o teorema de Lagrange para mostrar que, quaisquer que sejam
+ , \,
l0 , 0 +l Q l, +l.
b) Sejam + \ fixado e $ !. A continuidade de 0 no ponto + garante a
existncia de & ! tal que, para cada B \ na vizinhana Z& +, 0 B
pertence vizinhana Z$ 0 +, mas no nos diz nada sobre a forma como
podemos explicitar um tal &. Mostrar que, com as hipteses que estamos a
fazer, pode-se tomar & Q$ (se Q !, seno qualquer & serve) e deduzir,
em particular, que a funo 0 uniformemente contnua.
Ex III.2.3 Mostrar que equao B$ $B " ! tem uma nica soluo e que
esta pertence ao intervalo ! ".
Ex III.2.4 Utilizar o teorema de Lagrange para mostrar que dados nmeros reais
+ ,, com ! + ,, tem-se
,+
,
,+
ln
.
,
+
+
211
212
/B
B/
"
" B
W w B GB,
G w B WB.
213
que WB! ! e GB! !. Sugesto: Aplicar o teorema de Cauchy-Bolzano ao intervalo ! 1 para deduzir a existncia de B" ! 1 tal que
WB" ! e escolher ento para B! um dos dois elementos B" e B" 1.
seG
s definidas por
b) Aplicando de novo III.2.14, mas agora funes W
s WB! >,
W>
s
G>
GB! >,
GB - cosB B! .
Ex III.2.16 (Um resultado do mesmo tipo que II.2.14) a) Verificar que, dados
nmeros reais + , , as funes G W definidas por
(1)
GB +/B ,/B ,
WB +/B ,/B ,
(2)
G w B WB.
0 , 0 +
,
,+
:w -
:, :+
,+
:w -
0 ,0 +
,+
:,:+
,+
0 , 0 +
.
:, :+
214
senB
B1 ,
+,
se B 1
se B 1
contnua em .
a) Determinar o valor de +.
b) Calcular 0 w 1.
c) Sendo 1 uma funo diferencivel tal que 1" ! e 1w " #,
determinar 0 1w ".
Ex III.2.19 Determinar os seguintes limites:
$B #B
;
B!
B
" B" ln" B
b) lim
;
B"
lnB
tanB B
c) lim
;
B! B senB
ln" "
d) lim "lnB B ;
B_ /
"
"
e) lim B B ;
a) lim
B!
B senB
;
B"
senB
g) lim senB
.
f) lim
B_
B!
$
lim
B $ B # B # B .
B_
0 B arcsenB B" B# .
215
para cada B " ", apesar de por utilizao das regras de derivao s
conseguirmos garantir este resultado para B " ".
Ex III.2.23 (Incurso pela possibilidade de definir a exponencial de um
nmero complexo) Sejam + , dois nmeros reais (que, para a alnea c),
sero a parte real e o coeficiente da parte imaginria de um nmero complexo
D + ,3.
a) Verificar que a sucesso <8 definida por
<8 "
8
+ #
,
#
8
8
B_
B
+ #
,
#
# . 136
B
B
,
8
"
+
8
8 arctan
8+
tem limite igual a , . 137 Sugesto: Utilizar a regra de Cauchy para determinar o limite da funo de varivel real, definida numa vizinhana conveniente de _,
lim B arctan
B_
,
.
B+
c) Para efeitos desta alnea, vamos dizer que uma sucesso (possivelmente
parcialmente definida) de nmeros complexos ?8 @8 3 tem como limite um
nmero complexo ? @3 se as correspondentes sucesses de nmeros reais
?8 e @8 tiverem como limites ? e @, respetivamente.138 Verificar que,
considerando o nmero complexo D + ,3, a sucesso de nmeros
complexos
D
D8 " 8
8
admite como limite o nmero complexo /+ cos, sen,3 facto que, por
comparao com a concluso do exerccio II.3.2, leva a que se defina a
136
claro que no faz sentido aplicar a regra de Cauchy para determinar diretamente o
limite de uma sucesso.
137Veremos na alnea c) que esta sucesso, tal como a considerada na alnea a), no cai
propriamente do cu.
138Esta definio equivalente que ser encontrada mais tarde nos estudos.
216
+ #
,
# ,
8
8
!8 arctan
,
8
"
+
8
(no caso em que + inteiro menor que !, apenas para 8 +), o complexo
" 8D pode ser escrito na forma trigonomtrica como
"
D
=8 cos!8 sen!8 3
8
parecer estranho, embora no seja a primeira vez que encontremos esse facto
que para calcular o limite de uma sucesso que se pode considerar puramente do mbito
da Anlise Matemtica tenhamos que passar pelas funes trigonomtricas que, como j
sublinhmos, so de natureza geomtrica e, pior que isso, o prprio resultado dependa
destas. Este facto no nos deve espantar muito, uma vez que quando se trabalhou com
nmeros complexos no ensino secundrio, a forma trigonomtrica de representao destes
foi essencial para o estudo de muitas propriedades, como as que envolvem o clculo de
potncias e de razes.
217
218
Domnio
B
B
Primitiva
-B
"
8"
8" B
Notas
-
8
B.
B ! _
B."
. , . "
:"
: , : "
B _ !
"
."
"
:"
"
B
B
B ! _
B
B
B
B 1# 1#
lnB
/B
cosB
senB
tanB
B " "
arcsenB
B
B
B
B
arctanB
coshB
senhB
arcsenhB
B " _
arccoshB
/
senB
cosB
"
cos# B
"
"B#
"
"B#
senhB
coshB
"
B# "
"
B# "
"
"B#
e de
"
"B#
tm uma caracterstica
219
III.3.7 (Exemplos) Repare-se que uma primitivao por partes de uma dada
funo no um mero processo algortmico: preciso decompor a funo
dada como um produto de duas funes 0 e 1, a primeira das quais saibamos
primitivar, de modo que o produto da primitiva da primeira pela derivada da
220
s .
OB J B1B OB /B senB LB
221
ltima observao pode ser generalizada a outras situaes: No temos que ser
muito cuidadosos com a validade dos raciocnios que fazemos quando procuramos
encontrar uma primitiva, desde que, depois de obtido um resultado, derivemos este para
confirmar que se obtm a funo que queramos primitivar.
222
223
"
.
" #B#
#
"
"
# " #B#
" #B#
"
arctan#B.
#
B#
.
B# B "
"
#B %
"
#B "
"
$
#
#
#
# B B"
# B B" # B B"
Notando 0" B e 0# B a primeira e a segunda parcelas direita, respetivamente, constatamos, tomando C B# B " (expresso que s toma
valores maiores que !), que 0" admite a primitiva J" definida por
J" B
"
lnB# B ".
#
"
$
$
#
" #
"
B# B " B #
B
$
$
#
%
%
224
0# B #
"
" #$ B
" #
$
#
$
" #$ B
" #
$
#
"
B
$
$
"
#
"
.
B
lnB# B " $ arctan
$
$
#
B$ B
,
B# $B #
onde o denominador
B# $B # B "B #
toma valores maiores que ! no domnio. Uma boa ideia fazer a diviso com
resto do polinmio no numerador pelo polinmio no denominador, de modo
a obter 0 como soma de uma funo polinomial com um quociente de
polinmios com o grau do numerador mais pequeno que o do denominador.
Isso pode ser feito pelo algoritmo que o estudante possivelmente conhece
(anlogo ao algoritmo da diviso inteira de nmeros) ou, alternativamente,
pelo mtodo de ir acertando as contas142:
B$ B BB# $B #) $B# B
BB# $B #) $B# $B #) )B '.
Podemos assim escrever
0 B B $
)B '
B# $B #
#B $
'
.
B# $B # B# $B #
primitivar.
sabemos
225
J" B
,
B "B #
B" B#
com + e , constantes reais a determinar. Reparando que esta identidade
equivalente a " +B # ,B ", ou ainda a
" + ,B #+ ,,
sendo assim verificada se + , ! e #+ , ", sistema de equaes que
admite a soluo , " e + ".144 Tem-se assim que
0# B
B#
'
'
'
$B #
B" B#
B#
$B # lnB " "! lnB #. 145
#
144Pode
B "B #
B" B#
para decompor a funo dada como soma de duas funes racionais com os denominadores B " e B # e s ento efetuar duas divises para obter um polinmio somado
226
"
.
B$ "
"
B# B " B "
"
+
,B
#
B " B "
B" B B"
"
"
"
B#
.
$ B " $ B# B "
com duas funes racionais com numeradores constantes. S com alguma experincia se
consegue decidir qual o caminho menos trabalhoso.
146Para uma explicao (sem justificao) da razo por que fazemos esta tentativa e no
outra, ver o que referimos atrs, na nota de p de pgina 144. De qualquer modo, do
ponto de vista lgico, essa explicao no necessria e a certeza de existir uma decomposio do tipo procurado resulta de que vamos determinar explicitamente uma.
227
0 B
$
"
"
"
#B "
"
" #
$
"
"
"
#
"
B
.
lnB " lnB# B "
arctan
$
$
$
$
'
" "
cos#B
# #
B "
sen#B,
#
%
B "
senBcosB.
#
#
228
"
$
"
cos$ B.
$
$
"
"
B sen#B sen%B.
)
%
$#
senB
senB
#
sen B
" cos# B
1C
# "C "C
o que nos permite identificar uma primitiva K " " de 1 definida por
"
KC ln" C ln" C.
#
229
" cosB#
" cos# B
senB
ln
.
" cosB#
" cosB
Um dos caminhos que ocorre utilizar procurar uma substituio que faa
desaparecer a raiz quadrada e, para isso, podemos considerar a funo
: definida por :C senhC (cf. II.3.5) que crescente, bijetiva e
com derivada coshC !.147 Somos assim conduzidos a procurar uma
primitiva para a funo
C :w C0 :C coshCsenh# C " cosh# C
" "
cosh#C
# #
"
"
C senh#C.
#
%
"
"
arcsenhB BB# ".
#
#
230
"
"
lnB B# " BB# ".
#
#
Como no caso da alnea a), procuramos uma substituio que faa desaparecer a raiz quadrada e, para isso, ser cmodo comear por substituir 0
pela sua restrio ao intervalo aberto < <. Consideremos ento a funo
: 1# 1# < < definida por :C <senC que crescente, bijetiva e
com derivada <cosC !.148 Somos assim conduzidos a procurar uma
primitiva da funo 1# 1# ,
C :w C0 :C <cosC<# <# sen# C <# cos# C
<#
<#
cos#C,
#
#
<#
<#
<#
<#
C sen#C C senCcosC
#
%
#
#
<#
"
:C
:C <# :C# .
arcsen
#
<
#
<#
B
"
arcsen B<# B# .
#
<
#
para termos esta ltima condio que retirmos os pontos < e < ao domnio de 0 .
231
232
conclumos que
Ew B! lim
BB!
233
EB EB!
lim 0 -B 0 B! ,
BB!
B B!
III.3.15 (O caso mais geral de regio entre dois grficos) Suponhamos, mais
geralmente, que + , e que temos duas funes contnuas 0 1 + ,
tais que 1B 0 B para cada B + , e que a rea que pretendemos
calcular a da regio do plano limitada pelos grficos de 0 e 1 e pela retas
verticais de abcissas + e , , isto , do conjunto dos pares B C tais que
B + , e 1B C 0 B. 149
234
III.3.16 (Clculo da rea da regio em estudo) No contexto de III.3.15 suponhamos que se encontrou uma primitiva L + , da funo + , ,
B 0 B 1B. A rea desta regio ento igual a L, L+.
Dem: Considerando a funo E + , definida em III.3.15, a rea que
estamos a procurar determinar , por definio, E,. Uma vez que E e L
so duas primitivas da mesma funo 0 1 sabemos que existe uma
constante 5 tal que EB LB 5 para todo o B + ,. Tem-se
ento
! E+ L+ 5,
de onde deduzimos que 5 L+ e obtemos enfim
E, L, 5 L, L+.
)
" "
*
% # .
$
# $
#
235
<#
B
"
arcsen B<# B# .
#
<
#
<#
<#
1 <#
1 <#
1 <#
arcsen" arcsen"
.
#
#
%
%
#
Note-se que no devemos ficar exuberantes com o resultado obtido: Limitmo-nos a confirmar um facto que j conhecamos e que foi utilizado
inmeras vez no caminho que conduziu aos clculos precedentes. Com efeito
o nmero 1 apareceu, por definio, como a rea do crculo de raio " e esse
facto foi utilizado para a definio do radiano como unidade de ngulo e,
atravs disso, para o clculo das derivadas das funes trigonomtricas e
portanto das suas inversas. O que era perturbador era se tivssemos chegado
a um resultado diferente para a rea do semicrculo
Vamos agora utilizar uma ideia anloga para aplicar as primitivas ao
estudo de outro problema geomtrico, o do clculo do volume dum slido
de revoluo.
236
237
0 conclumos que
238
Z w B! lim
BB!
Z B Z B!
lim 10 -B# 10 B! # ,
BB!
B B!
III.3.20 (O caso mais geral da regio entre dois grficos) Suponhamos, mais
geralmente, que + , e que temos duas funes 0 1 + , ! _,
contnuas e tais que 1B 0 B para cada B + ,, e que o volume que
pretendemos calcular o do slido de revoluo obtido por rotao da regio
do plano limitada pelos grficos de 0 e 1 e pela retas verticais de abcissas + e
, , isto , do conjunto dos pares B C tais que B + , e 1B C 0 B
(uma bia com forma original).150
239
! Z + L+ 5,
de onde deduzimos que 5 L+ e obtemos enfim
Z , L, 5 L, L+.
<# #
B
2#
#
<
$
admite a primitiva L ! 2 definida por LB 1 $2
# B , obtemos
como volume do cone o valor
L2 L! 1
<# $ "
2 1<# 2
$2#
$
240
B$
$ ,
obtemos
"
"
%
L" L" 1" 1" 1,
$
$
$
o que est de acordo com a frmula para o volume de uma esfera que o
estudante j encontrou anteriormente, possivelmente sem justificao.
III.3.23 (Algumas observaes sobre a noo fsica de baricentro de uma
regio plana) Consideremos uma regio limitada e de rea maior que ! do
plano e pensemos nela como uma simplificao de um corpo de espessura
desprezvel constante, constitudo por um material homogneo (por exemplo
um tampo de uma mesa). Suponhamos que pretendemos equilibrar esse
corpo em cima de uma haste. O ponto onde devemos colocar a haste o que
se chama o baricentro (ou centro de figura, ou centride) da regio plana.
Ilustramos a seguir dois exemplos de regies planas com os respetivos
baricentros assinalados com a letra F .
241
242
Ew w Eww ww
B
B ,
E
E
Ew w Eww ww
C
C
E
E
sC EC
sC sCw sCww .
151A
243
+,
0 -, +,
#
sC
"
0 .# , +.
#
Dem: Tendo em conta o teorema de Weierstrass (II.1.11), podemos considerar pontos +w ,w + , tais que 0 +w e 0 ,w sejam respetivamente o
mximo e o mnimo da funo 0 e ento a regio considerada est contida
num retngulo de base , + e altura 0 +w e contm um retngulo com a
mesma base e altura 0 ,w . Pelas propriedades de simetria do baricentro,
sabemos que estes dois retngulos tm baricentros respetivamente com as
w
0 +w
+, 0 ,
coordenadas +,
# # e # # e portanto com coordenadas reesca"
w
w #
ladas, no primeiro caso, +,
# 0 + , + e # 0 + , + e, no segundo
+,
"
w
w #
caso, # 0 , , + e # 0 , , +. Pela propriedade de monotonia
referida na alnea d) de III.3.23, tem-se assim
+,
0 ,w , + B
s
#
"
0 ,w # , + sC
#
+,
0 +w , +,
#
"
0 +w # , +.
#
244
s ]
s + , assim definida= so ento
Supondo + ,, as funes \
primitivas das funes
B B0 B,
"
0 B# ,
#
s
s + !.
respetivamente, e verificam as condies \+
!e]
s
s + ! resulta de que, quando B +,
Dem: O facto de se ter \+
!e]
a regio reduz-se a um segmento de reta, portanto com rea igual a !.
s ]
s + , tm
Resta-nos verificar que em cada B! + , as funes \
"
#
respetivamente derivadas iguais a B! 0 B! e # 0 B! . Ora, dado B B! em
s
s ! e ]
s B ]
s B! vo ser as coordenadas reescaladas
+ ,, \B
\B
associadas regio assinalada na primeira das figuras abaixo, no caso em que
B B! , e os simtricos das coordenadas reescaladas associadas regio
assinalada na segunda destas, no caso em que B B! .
245
BB!
246
"
.
$
Uma vez que a regio tem rea E 1% , podemos concluir que a abcissa do
baricentro EBs $%1 .
Uma vez que a regio simtrica relativamente bissectriz dos quadrantes
mpares, j podemos concluir que a ordenada do barticentro tambm igual a
%
$1 . Confimemos este resultado calculando essa ordenada pelos mtodos
estudados atrs: A funo ! " ! _
B
"
" B#
0 B#
#
#
#
LB
247
B B$
#
'
" "
"
# '
$
sC
E
%
$1 ,
de acordo com o
Dem: O que temos que mostrar que o baricentro pertence a cada uma das
trs retas referidas. Vamos comear por examinar o caso particular em que o
tringulo retngulo e em que a base correspondente ao vrtice um dos
catetos. Coloquemos o tringulo num sistema de eixos da forma descrita na
figura abaixo, em que a base considerada a contida no eixo das abcissas.
152No
seria a priori evidente que as trs retas passassem por um mesmo ponto, alis se,
em vez de #$ tivssemos usado outra proporo, a interseo de cada par de retas no
pertenceria terceira. O facto de as trs retas passarem por um mesmo ponto (que compartilhado por outras situaes da geometria do tringulo que o estudante decerto conhece) parte da concluso que estamos a enunciar.
248
LB
,# $
B ,
'+#
,# $
+,#
+
#
'+
'
"
# +, ,
a ordenada do
,
sC
,
E
$
o que quer precisamente dizer que o baricentro pertence reta horizontal de
ordenada $, que paralela base e a uma distncia do vrtice igual a #$ ,, com
, distncia do vrtice base.
Passemos agora ao caso em que no estamos na situao descrita
anteriormente. Podemos considerar ento a perpendicular base que passa
pelo vrtice considerado, a qual determina dois tringulos retngulos com o
mesmo vrtice e com os catetos opostos contidos na mesma reta que contm
a base (as figuras a seguir ilustram as duas situaes possveis, conforme os
ngulos adjacentes base sejam ambos agudos ou um deles seja obtuso). Em
qualquer caso a reta paralela base sobre a qual afirmamos que se situa o
baricentro a mesma para o tringulo dado e para os dois tringulos
retngulos pelo que, como para estes j sabemos que o baricentro se encontra
efetivamente nela, resulta da propriedade dos baricentros referida na alnea c)
de III.3.23 que o mesmo acontece com o tringulo dado.
249
Exerccios
Ex III.3.1 Determinar primitivas das funes definidas por cada uma das
expresses seguintes nos domnios indicados.
a) 0 B B& , B ! _;
"
, B " _;
b) 0 B
B " B "
$
250
definidas no intervalo ! 1.
1B senB# ,
Ex III.3.6 Mostrar que o volume do toro de revoluo (bia com a forma usual),
obtido por rotao de um crculo de raio < em torno de um eixo do seu plano
a uma distncia V < do centro, igual a #1# <# V .
251
s w B " 1B# 0 B# .
]
#
"
1B# 0 B#
#
1" B 1B + - ,
252
s " B ]
s " B + -EB,
]
onde Ew B 1B 0 B.
com > + ,, pontos cuja distncia origem 0 >. O que se pretende neste
253
a) Mostrar que existe - + , tal que a rea E da regio seja dada por
E
"
0 -# , +.
#
153O
254
Ex III.3.12 (Todas as funes contnuas tm primitiva?) Um teorema importante da Anlise Matemtica, cuja demonstrao ser estudada na disciplina
de Anlise do segundo semestre, afirma que qualquer funo contnua
0 + , , cujo domnio um intervalo fechado e limitado no trivial
+ ,, admite uma primitiva J + , . 155
Uma tentativa de explicao deste resultado seria fazer notar que, no caso em
que 0 admite ! _ como codomnio, a funo rea parcial
E + , referida em III.3.14 uma tal primitiva e que, no caso geral,
pode-se encontrar, pelo teorema de Weierstrass, uma constante - tal que
0 B - !, para cada B, e ento, partindo de uma primitiva desta funo e
subtraindo -B, obtm-se uma primitiva de 0 .
Por que razo este argumento no pode ser considerado como uma
demonstrao no contexto da Anlise Matemtica?
155De
facto, deduz-se daqui facilmente que a mesma concluso vlida no caso em que o
domnio um intervalo no trivial de qualquer tipo.
255
256
B+
B+
implica, pela propriedade dos limites referida em I.5.2, que existe & ! tal
w
B
que para cada B Z& + \ se tenha 0B+
!, portanto 0 w B ! se B +
w
e 0 B ! se B + Conclumos daqui, por III.2.11, que a funo 0 estritamente crescente no intervalo Z& + \+ e estritamente decrescente no
intervalo Z& + \+ em particular se B + em \ Z& +, quer no caso
em que B + como naquele em que B +, tem-se 0 B 0 +.
257
ter-se em ateno uma particularidade do caso : ! que implicou que comessemos a nossa definio recursiva com a passagem de " para #: De acordo com as
convenes que estamos a fazer, embora uma funo : " vezes derivvel num ponto
(onde : ") seja : vezes derivvel em todos os pontos, uma funo " vez derivvel em
todos os pontos no tem que ser ! vezes derivvel (isto , contnua) em todos os pontos,
embora o seja evidentemente no ponto em questo. claro que, quando a funo for "
vez derivvel em todos os pontos a particularidade deixa de existir: A funo tem tambm
derivada de ordem ! em todos os pontos e portanto de classe G ! .
258
8x
B8: , 158
8 :x
8x
B8" .
8 "x
259
8x
8x
8 :B8:"
B8:" .
8 :x
8 : "x
III.4.7 (A funo exponencial) Ainda com uma justificao mais simples que a
dada para o caso da funo potncia de expoente natural, verificamos
imediatamente que a funo exponencial de base /, exp , definida por
expB /B , de classe G _ , e com exp: B expB, para cada : !.
III.4.8 (As funes seno e cosseno) As funes cos e sen so
de classe G _ e as suas derivadas cos; e sen; , de ordem ; , esto definidas
pelas seguintes frmulas, onde : ! um inteiro:
cos%: B cosB,
cos%:" B senB,
cos%:2 B cosB,
cos%:$ B senB,
sen%: B senB
sen%:" B cosB
sen%:# B senB
sen%:$ B cosB.
"
B
de
": :x
.
B:"
260
0 :" B 0 : B
.
#:#
B
B:#
-0 : + -0 : +.
261
III.4.13 (Corolrio) Uma vez que uma soma finita de funes pode ser sempre
obtida por aplicao repetida da operao de somar duas funes, decorre do
resultado precedente que uma soma finita de funes : vezes derivveis num
ponto + ainda uma funo : vezes derivvel no ponto + e com derivada de
ordem : em + igual soma das derivadas de ordem : no ponto + das funes
de partida (se se quiser ser mais claro pode sempre fazer-se um raciocnio por
induo no nmero de parcelas). Consequentemente, a soma finita de
funes : vezes derivveis (respetivamente de classe G : ainda : vezes
derivvel (respetivamente de classe G : ).
Como exempo de aplicao do que acabamos de referir, e tendo em conta
III.4.6, conclumos que, se 0 uma funo polinomial de grau 8 "
da forma
0 B +! B8 +" B8" +# B8# +8" B +8 ,
com +! +" +8 em e +! !, ento 0 de classe G _ , 0 : B ! para
cada : 8, 0 8 B 8x+! e 0 : ! :x+8: para cada ! : 8. Esta
concluso permite-nos, em particular, escrever a igualdade
0 B 0 !
0 w !
0 # ! #
0 8" ! 8" 0 8 ! 8
B
B
B
B ,
"x
#x
8 "x
8x
159Repare-se
262
160Repare-se
263
III.4.18 (Caso particular, frequente nas aplicaes, em que se pode ser mais
detalhado) Nas hipteses de III.4.17, suponhamos que existem constantes
- . tais que, para cada B \ , 0 B -B . (em particular, 0
mesmo de classe G _ ). Se 1 ] : vezes derivvel num ponto +, onde
: !, ento
1 0 : + - : 1: 0 +.
Dem: O caso : ! trivialmente verdadeiro. Reparando que, para cada
B \ , 0 w B - , o caso : " do enunciado reduz-se ao teorema de
derivao da funo composta: Em cada B tal que 1 seja derivvel em 0 B,
1 0 w B 1w 0 B 0 w B -1w 0 B.
O caso geral resulta ento, mostrando, por induo em :, que em cada B tal
"
. 165
0 w 0 " C
163Repare-se
264
0 # ! # 0 $ ! $
0 : ! :
B
B
B
#x
$x
:x
0 # ! #
0 : ! :
B
B <: B.
#x
:x
0 # +
0 : +
B +#
B +:
#x
:x
167De
0 B 0 + 0 w +B +
265
0 # +
0 : +
B +#
B +: <: B.
#x
:x
0 :" +
B +:" <:" B.
: "x
"
.
"B
:x
.
" B:"
266
" B:"
"B
"
" B:"
B:"
.
"B
"B
"B
0 # +
B +#
#x
0 :" +
B +:" ,
: "x
B +:
: "x
0 w # +
0 w B 0 w + 0 w w +B +
B +#
#x
0 w : +
B +: s<: B.
:x
w
<:"
B 0 w B 0 w +
168Este
267
ln" B B
B#
B$
B:
s<: B,
#
$
:
B:
"B
-:
,
"-
B+
0 w + qp 0 w + 0 w + !.
B+
B+
B+
268
lim
B+
B+
w
Mas, como verificmos em III.4.25, tem-se <:"
B s<: B, onde s<: o
resto de Taylor de ordem : centrado em + da funo 0 w \ , que :
vezes derivvel, pelo que, tendo em conta a hiptese de induo, o limite no
segundo membro efetivamente igual a !.
B+
B+
<B
!.
B +:
," 0 w +,
,#
0 # +
,
#x
,:
0 : +
,
:x
e portanto <B
<: B.
com <B
! quando B +, B + e daqui resulta que
0 + lim 0 B ,! .
B+
B+
(1)
com
269
B+:"
B +,:"
!
B +:
B +:"
quando B + e
0 B ,! ," B + ,: B +: VB
o que nos permite concluir, pela hiptese de induo, que
,! 0 +,
," 0 w +,
,#
0 # +
,
#x
,:
0 : +
:x
0 # +
B +#
#x
0 : +
B +: ,:" B +:" <B
:x
B +:
B +:" <:" B,
:x
: "x
0 B 0 + 0 w +B +
<:" B
B+:"
! quando B +, B +,
0 :" +
B +:" <:" B
: "x
e portanto, para B +,
,:"
<:" B
<B
0 :" +
B +:"
B +:"
: "x
270
B +,
,:"
0 :" +
.
: "x
"
.
" C#
B:"
"B ,
1C
"
" C# C% ": C#: <: C# .
" C#
B!
<: B
B:
!, obtemos
<: C#
<: C#
": lim
!.
#:
C!
C! C # :
C
lim
C#:#
.
" C#
271
por
s<#:" C s<#: C ":"
C#:#
.
" C#
III.4.30 (O resto na forma de Lagrange) Sejam \ um intervalo no trivial, + \ e 0 \ uma funo : " vezes derivvel, onde : !.
Sendo <: \ o resto de Taylor de ordem : de 0 centrado em +, ento,
para cada B + em \ , existe - entre + e B tal que
<: B
0 :" -
B +:"
: "x
B +:
B +:" .
:x
: "x
0 B 0 + 0 w +B +
:#
:"
B +
: #C +
: # C +:"
272
.
B +:#
: # : "x
: #x
B#
B$
B:
+ <: B.
#
$x
:x
"
"
"
# $x
:x
W# ?" ?# ,
W$ ?" ?# ?$,
W8 ?" ?# ?8
273
5"
5"
?" ?# ?$ ?8
para designar a srie definida pelos termos ?8 , em vez da soma dessa srie
(que pode ou no existir). Em geral este abuso no apresenta perigo, uma vez
que ser claro a partir do contexto em que a notao utilizada qual dos dois
significados estamos a considerar. Por exemplo se afirmamos que
?" ?# ?$ ?8 convergente estamos a pensar na srie e se
escrevemos ?" ?# ?$ ?8 " estamos a pensar na soma da
srie (suposta, naturalmente, convergente).
III.4.33 (Condio necessria para a convergncia) Se uma srie
convergente, ento a sucesso ?8 8 dos seus termos tem limite !.
Dem: Sendo = a soma da srie, sabemos, por definio, que a sucesso
W8 8 das somas parciais tem limite =. Reparando que, para 8 #,
?8 W8 W8" e que, tendo em conta o limite da funo composta, a
funo # , 8 W8" tambm tem limite =, conclumos que a funo
# , 8 ?8 W8 W8" tem limite = = !. Uma vez que _
169Seria
274
III.4.34 (O exemplo da srie harmnica) usual dar o nome de srie harmnica srie
"
" "
"
# $
8
isto srie cuja sucesso ?8 8 dos termos est definida por ?8 8" .
Apesar de esta sucesso ter limite !, a srie divergente.
Dem: Mostremos, por induo em :, que se tem sempre W#: :# , o que
implicar, por enquadramento, que W#: _. Isso implicar a divergncia
da srie visto que, se esta fosse convergente aquela sucesso deveria ter a
soma da srie por limite. Ora, o caso em que : " claro, uma vez que
W#" W# "
"
"
#
#
"
#:"
W#:
"
: "
:"
,
#
# #
#
W8 " B B# B8"
" B8
.
"B
170O
"
.
"B
que , de certo modo excecional. Para muitas sries, no se consegue arranjar uma
frmula explcita para as somas parciais.
275
" lBl8
_,
"B
W8
" lBl8
_,
"B
5"
5"
5"
5"
b) Se ! ?5 e ! ?
s5 so convergentes, ento ! ?5 ?
s5 tambm conver_
5"
5"
5"
gente e
" ?5 ?
s5 " ?5 " ?
s5
_
5"
5"
5"
Dem: Temos uma consequncia de que, para as sucesses das somas parciais
associadas, vem
" +?5 + " ?5 ,
8
5"
8
5"
" ?5 ?
s5 " ?5 " ?
s5 ,
5"
171Apesar
5"
5"
de frequentemente se considerarem positivos apenas os nmeros que so maiores que !, vamos neste texto utilizar sempre o adjetivo positvo no sentido de maior ou
igual a !. Quando quisermos falar de nmeros maiores que ! poderemos cham-los de
estritamente positivos.
276
0 ww +
0 8 +
B +#
B +8
#x
8x
0 8" +
B +8" 172
8 "x
0 ww ! #
0 8 ! 8
B
B ,
#x
8x
0 ww +
0 8" +
B +#
B +8" ,
#x
8 "x
277
"
,
"B
!B
B#
B$
B:
#
$
:
(2)
B:
.
"B
-:
s<: B
s<: B s<: !
s<w: -
.
B
B!
"-
B- :
B:"
""B
:"
!B
B#
B$
B:
ln" B.
#
$
:
o limite da funo composta (uma vez com a bijeo # , 8 8 " e outra a sua
inversa), se e s se, a sucesso <8 8 tiver limite !.
278
B- :
lBl:"
"-
B#
B$
B:
ln" B.
#
$
:
B:
lBl:
_
:
:
pelo que a sucesso dos termos da srie em (1) no tem limite !, o que
implica que essa srie divergente. Para B ", a srie (1) tem soma parcial
de ordem 8 # igual soma parcial de ordem 8 " da srie harmnica e
portanto, como esta, divergente.175 Ficou apenas em aberto o que se passa
para B ". Para estudar o comportamento da sucesso dos restos de
Maclaurin s<: " mais cmodo utilizar a caracterizao na forma de
Lagrange desses restos que nos diz que se tem, para um certo - entre ! e ",
s<: "
Uma vez que, sendo 0 B
"
"B ,
1:" -
":"
: "x
1:" B 0 : B
:x
,
" B:"
conclumos que
l<
s: "l
"
"
.
: "" -:"
:"
!"
" "
"
": ln#.
# $
:
c) A srie de Maclaurin destacada em (4) na alnea b) costuma ser resumida omitindo o primeiro termo, por ser identicamente !. Escrevemos
assim, para " B ",
175Note-se
(6)
279
B#
B$
B:
ln" B,
#
$
:
igualdade que parece decorrer trivialmente de (4) mas que merece ser
examinada para entender a situao.176 O que se passa que, como se
constata facilmente, a soma parcial de ordem 8 da srie no primeiro membro
de (6) coincide com a soma parcial de ordem 8 " da srie no primeiro
membro de (4) e portanto, pelo resultado sobre o limite da funo composta,
a sucesso das somas parciais de (6) converge para o mesmo limite que a das
somas parciais de (4). De qualquer modo, do ponto de vista estrito, a srie no
primeiro membro de (6) no a srie de Maclaurin. No caso particular em
que B ", usual multiplicar ambos os membros de (5) por " e omitir o
primeiro termo igual a ! de modo a obter a igualdade
"
" "
"
":" ln#. 177
# $
:
Apresentamos a seguir mais um exemplo de srie de Maclaurin que suficientemente importante para no o enunciarmos como um mero exemplo.
B#
B$
B:
/B .
#x
$x
:x
<: B /-
B:"
,
: "x
176Na
seco IV.4 adiante estudaremos as sries de funes do tipo das anteriores (sries
de potncias) de uma forma ligeiramente menos geral mas muito mais manejvel, que
permite, em particular, encarar esta omisso de um termo de uma forma muito mais
simples.
177A srie no primeiro membro semelhante srie harmnica, a nica diferena estando
na alternncia de sinal dos termos, e, por esse motivo, costuma-se dar-lhe o nome de srie
harmnica alternada.
280
l<: Bl /!
lBl:"
lBl:"
: "x
: "x
:"
lBl
onde, como vimos em I.5.47, :"x
0, pelo que conclumos por enquadramento que <: B ! quando : _, facto que trivialmente verdadeiro
tambm para B !. No caso em que B ! resulta analogamente de (1) que
se tem
! <: B /B
B:"
: "x
:"
B
onde, pelo resultado j citado, :"x
0 e portanto, mais uma vez por
Vamos examinar uma ltima forma para o resto de Taylor de ordem : que
se revela til para algumas aplicaes.
=: B
<: B
B+:" ,
0 :" +
:"x ,
se B +
se B +
0 # +
B +#
#x
0 : +
B +: =: BB +:" .
:x
0 B0 +
,
B+
w
0 +,
se B +
se B +.
III.4.43 (Continuidade no resto na forma de Peano) Sejam \ um intervalo no trivial, + \ e 0 \ uma funo : " vezes derivvel em +,
281
0 :" +
B +:" <:" B,
: "x
:"
com lim B+
:" !. Podemos assim garantir que, quando B +, B +,
B+
=: B
<: B
<:" B
0 :" +
0 :" +
=: +,
B +:"
: "x
B +:"
: "x
<: B
.
B +:"
0 # +
B +#
#x
0 : +
B +: =: BB +:"
:x
III.4.44 (Derivabilidade no resto na forma de Peano) Sejam \ um intervalo no trivial, + \ e 0 \ uma funo : # vezes derivvel em +,
onde : !. Notemos =: \ e =:" \ as correspondentes funes
que figuram nos restos na forma de Peano e s=: \ a funo anloga
associada funo 0 w \ , que : " vezes derivvel em +. Tem-se
ento:
a) A funo =: derivvel em + e com
=w: + =:" +
178
0 :# +
.
: #x
para que isto suceda que se atribuiu funo =: no ponto + o valor referido em
III.4.42.
282
<: B
,
B +:"
=:" B
<:" B
.
B +:#
Comparando as igualdades
0 B 0 + 0 w +B +
(1)
0 # +
B +#
#x
0 : +
B +: =: BB +:" ,
:x
0 B 0 + 0 w +B +
(2)
0 : +
B +:
:x
0 :" +
B +:" =:" BB +:# ,
: "x
0 :" +
=:" BB +
: "x
w
=w: B =:"
BB + =:" B.
0 w B 0 w + 0 ww +B +
0 w : +
B +:
:x
=w:" BB +:# : #=:" BB +:"
0 w + 0 w w +B +
283
forma de Peano,
(4)
0 w :" +
0
+
: "x
: #x
: # :#
: " :#
0
+
0
+
: #x
: #x
"
0 :# + =:" +.
: #x
em particular a frmula (5) vlida tambm para B + e =w: contnua em +.
No caso em que 0 \ de classe G " , e portanto 0 e 0 w so contnuas
em todos os pontos, resulta de III.4.43 que as funes s=: e =:" so contnuas
em todos os pontos, e portanto, pela identidade em b), a funo =w: \
contnua em todos os pontos, ou seja =: \ de classe G " . Reciprocamente, se =: \ de classe G " , a igualdade
0 B 0 + 0 w +B +
0 # +
B +#
#x
0 : +
B +: =: BB +:"
:x
0 :;" +
.
: ; "x
284
0 # +
B +#
#x
0 : +
B +: =: BB +:" .
:x
Exerccios
Ex III.4.1 a) Verificar que a funo 0 definida por 0 B B# sen B" se
B ! e 0 ! ! derivvel em todos os pontos do domnio mas no de
classe G " .
b) Verificar que a funo 1 definida por 1B B% sen B" se B ! e
1! ! duas vezes derivvel mas no de classe G # .
Ex III.4.2 Sejam \ um intervalo, 0 \ uma funo e + \ um ponto
interior de \ (isto , que no seja nenhuma das suas extremidades).
a) Verificar que existe & ! tal que a vizinhana Z& + esteja contida em \
e mostrar que, se 0 for derivvel em +, ento
lim
2!
l2l&
0 + 2 0 + 2
0 w +,
#2
reparando que esta concluso j foi tirada no exerccio III.1.2, com a hiptese
mais forte de se ter \ , que no simplifica nada a demonstrao.
b) Supondo que 0 # vezes derivvel em +, mostrar que
lim
2!
l2l&
0 + 2 0 + 2 #0 +
0 ww +.
2#
Sugesto: Utilizar a regra de Cauchy para levantar a indeterminao no primeiro membro e aplicar em seguida a concluso de a) funo 0 w \ .
c) Supondo que 0 $ vezes derivvel em +, mostrar que
lim
2!
l2l&#
285
0 + #2 #0 + 2 #0 + 2 0 + #2
0 www +.
#2$
179Reparar
286
#1
5 .
"
"
B #
B
"
0 : B ":
180Comparar
0 ww +
0 8 +
B +#
B +8 .
#x
8x
287
(1)
" "
"
# $
8
" "
"
_.
# $
8
W8
"
ln8
" "
"
#
% *
8
provar-se, mas com mtodos de que no dispomos neste momento, que a soma
#
desta srie igual a 1' , um valor que no deixa de ser inesperado. Esse resultado ser
obtido no exerccio IV.3.12 adiante.
288
":
,
$x
&x
#: "x
B#
B%
B#:
":
. 182
cosB "
#x
%x
#:x
senB B
1#:" ! !,
B#:#
,
" B#
0 #:# ! !,
e que, para B !,
w
! ":" <#:"
B ":"s<#: B B#:# ,
"
B#:$
#: 3
182Reparar
"
B#:$ .
#: 3
289
arctanB B
B$
B&
B#:"
":
.
$
&
#: "
tan! tan"
,
" tan!tan"
tan#!
#tan!
,
" tan# !
&
,
"#
tan%!
"#!
,
""*
tan%!
1
" 183
.
%
#$*
290
aproximados de
1
%
e, a partir destes, de 1:
"
"
1
% arctan arctan
.
%
&
#$*
# $
B .
$
"
"
"
<8
# $x
8x
$
8"x .
menos termos no segundo caso por termos uma convergncia mais rpida.
291
8x 8x
8x
8x<8
#
$x
8x
B!
" "
/ B !.
B5
"
/ B ,
!,
se B !
.
se B !
"
/ B ,
se B !
.
se B !
292
1w C
293
"
0 w C.
# C
0 B
cosB,
?,
se B !
se B !
294
III.5.1 Sejam \ , 0 \ uma funo e + , - trs pontos do domnio. Os pontos do grfico de 0 com estes pontos como abcissas vo
determinar trs secantes ao grfico cujos declives nos interessa comparar.
0 , 0 +
,
,+
0 - 0 ,
,
-,
0 - 0 +
.
-+
Uma relao importante entre estes trs declives que o terceiro a mdia
pesada dos dois primeiros associada aos pesos (maiores que ! e de soma ")
=
,+
,
-+
>
-,
-+
295
,
-+
-+
,+
-+
-,
cuja verificao no oferece dificuldade. O facto de o declive total estar entre
os declives esquerdo e direito, quando estes forem diferentes, e ser igual a
ambos, quando estes forem iguais, uma consequncia das propriedades das
mdias pesadas referida em I.1.4.
III.5.2 (Comportamento de trs pontos do domnio no que respeita concavidade) Sejam \ , 0 \ uma funo e + , - trs pontos do
domnio. Tendo em conta o que referimos em III.5.1, verifica-se uma, e uma
s, das trs condies seguintes:
296
297
Repare-se que no h a priori nenhuma relao entre o sentido da concavidade e o sentido de variao da funo: No primeiro exemplo a
concavidade est voltada para cima e a funo crescente mas no segundo
exemplo a concavidade est voltada para baixo e a funo estritamente
crescente num intervalo e estritamente decrescente noutro188.
III.5.5 (Efeito sobre o sentido da concavidade da substituio de uma funo
pela sua simtrica) Sejam \ e 0 \ uma funo e consideremos
tambm a funo 0 \ , que a B associa 0 B. Tem-se ento:
1) Se a funo 0 retilnea nos pontos + , - de \ ento o mesmo
acontece funo 0 .
2) Se a funo 0 curva para cima nos pontos + , - de \ ento a funo
0 curva para baixo nesses pontos.
3) Se a funo 0 curva para baixo nos pontos + , - de \ ento a funo
0 curva para cima nesses pontos.
Em consequncia:
a) Se a funo 0 tem a concavidade voltada para cima (respetivamente, estritamente voltada parta cima) ento a funo 0 tem a concavidade voltada
para baixo (respetivamente, estritamente voltada para baixo).
b) Se a funo 0 tem a concavidade voltada para baixo (respetivamente,
estritamente voltada parta baixo) ento a funo 0 tem a concavidade
voltada para cima (respetivamente, estritamente voltada para cima).189
Dem: As concluses 1), 2) e 3) resultam de que, dados pontos + , - , os
declives esquerdo, direito e total da funo 0 so simtricos dos declives
188Talvez
298
0 B 0 +
0 C 0 +
,
B+
C+
299
III.5.7 (Exemplo) Sugerimos a seguir o grfico de uma funo com a concavidade voltada para cima (mesmo estritamente voltada para cima), definida no
intervalo ! $, que apresenta alguns dos maus comportamentos que no
so proibidos pela propriedade precedente: Ela contnua, mas tem
derivada direita _ na extremidade esquerda ! do intervalo, no
contnua na extremidade direita $ do intervalo e no ponto interior "# tem
derivadas laterais distintas.
300
0 B 0 +
0 , 0 B
0 B 0 ,
0 w , ,
B+
,B
B,
301
0 - 0 ,
0 w C.
-,
,
,+
-,
a desigualdade sendo estrita no caso em que 0 w int\ mesmo
estritamente crescente. Relativamente a 2), tudo o que temos que notar que
o facto de a restrio de 0 a int\ ter segunda derivada maior ou igual a !
(respetivamente, maior que !) em cada ponto impliva que a primeira derivada
desta restrio crescente (respetivamente, estritamente crescente).
302
0 B B# "#
#
se B
se B
"
#,
"
#
303
0 w , 0 w ,
,
,+
+,
-,
o que mostra que 0 curva para cima ou retilnia nos pontos + , - (o
declive esquerdo menor ou igual ao declive direito). No caso em que as
restries curvam estritamente para cima, as desiguladades anteriores no
chegam para afastar a possibilidade de 0 ser retilnea nos pontos considerada
mas j o conseguimos fazer considerando um ponto auxiliar B com
+ B , e reparando ento que
0 , 0 +
0 , 0 B
0 - 0 ,
,
,+
,B
-,
onde a primeira desigualdade a desigualdade entre o declive total e o
declive direito relativa aos pontos + B , de \A e a segunda a que j
provmos com os pontos B , - no lugar dos pontos + , - .
2) Examinemos o caso em que , A. Vem
0 , 0 +
0 A 0 +
0 - 0 +
,
,+
A+
-+
onde a primeira desigualdade resulta de 0 curvar para cima nos pontos
+ , A de \A (o declive esquerdo menor ou igual ao declive total) e a
segunda desigualdade resulta do caso estudado em 1), aplicado aos pontos
+ A - (o declive esquerdo menor ou igual ao declive total) e podemos
garantir que a primeira desigualdade mesmo estrita no caso em que a
restrio de 0 a \A tem mesmo a concavidade estritamente voltada para
194A
304
,
-+
-A
-,
onde a segunda desigualdade resulta de 0 curvar para cima nos pontos
A , - de \A (o declive total menor ou igual ao declive direito) e a
primeira desigualdade resulta do caso estudado em 1), aplicado aos pontos
+ A - (o declive total menor ou igual ao declive direito) e podemos
garantir que a segunda desigualdade mesmo estrita no caso em que a
restrio de 0 a \A tem mesmo a concavidade estritamente voltada para
cima. A relao estabelecida entre os declives total e direito relativos aos
pontos + , - mostra assim que 0 curva para cima (respetivamente,
estritamente para cima) nestes pontos.
B# "# ,
B ## "# ,
se B "
se B "
195A
305
306
B# ,
B# "# ,
se B
se B
"
#
"
#
307
197Repare-se
198Repare-se
308
se B A,
se B A,
se B A,
se B A,
0 B 0 A
BA
0 w A
309
0 C 0 A
0 B 0 A
,
CA
BA
desigualdades que, por ser B A !, implicam as desigualdades enunciadas. Suponhamos agora que B A. Tendo em conta a caracterizao de
0 w A 0 w A na alnea 3) de III.5.6, tem-se
0 B 0 A
0 w A
BA
e a alnea 1) do mesmo resultado mostra-nos que, no caso da concavidade
estritamente voltada para cima, tomando C em B A, tem-se mesmo
0 B 0 A
0 C 0 A
0 w A,
BA
CA
desigualdades que, por ser B A !, implicam mais uma vez as desigualdades enunciadas.
b) A concluso desta alnea admite uma justificao anloga dada para a
alnea a), aplicando agora III.5.8 em vez de III.5.6, ou alternativamente,
resulta de aplicar a concluso de a) funo 0 \ .
c) Tendo em conta a definio dos pontos de inflexo absolutos, a concluso
desta alnea resulta diretamente das concluses de a) e b).
310
vezes se obtm
0 D 0 A 0 w AD A,
0 A 0 D 0 w DA D
e portanto, reparando que A D !,
0 w A
0 D 0 A
0 A 0 D
0 w D,
DA
AD
III.5.22 (Nota) Pelo contrrio, uma funo derivvel 0 que verifique, para um
certo A interior ao domnio, a condio na alnea c) de III.5.20 no tem
necessariamente um ponto de inflexo, nem sequer local, nesse ponto. Um
contraexemplo pode ser dado pela funo 0 definida por
0 B
se B !
se B !
311
Exerccios
Ex III.5.1 Para cada uma das funes seguintes, determinar intervalos
maximais199 onde elas tenham a concavidade voltada para cima ou voltada
para baixo e identificar os pontos de inflexo.
a) B$ B, onde B ;
b) #B$ $B# , onde B ;
c) senB, B ! #1;
d) BB , B ! _;
e) ltanBl, B 1# 1# ;
f) lB$ $Bl, B .
Ex III.5.2 Verificar que a funo 0 definida por 0 B lBl tem a
concavidade voltada para cima.
Ex III.5.3 (Pergunta aparecida em prova de avaliao) Considerar a funo
0 definida por
#
0 B B /"B .
a) Verificar que
lim 0 B ! e lim 0 B !.
B_
B_
B_
199Um
312
313
314
CAPTULO IV
Somatrios finitos e infinitos
1. Somatrios finitos de nmeros reais.
4"
designa a soma
?" ?# ?$ ?% ,
onde, ao contrrio do que habitual, utilizmos parnteses para sublinhar
a ordem pela qual as operaes foram feitas. Se, em vez de o ndice 4
variar entre " e %, ele variar entre " e um nmero natural 8, que no
explicitamos, o somatrio ! ?4 tem um significado anlogo, mas no
8
4"
4"
8
4"
4"
4"
4"
4"
316
IV.1.1 Seja N um conjunto finito de ndices com 8 elementos (que at pode ser
vazio) e seja B4 um nmero real para cada 4 N (dizemos ento que B4 4N
uma famlia de nmeros reais indexada em N ). Vamos definir o somatrio
(ou soma201) ! B4 definindo simultaneamente para todos os subconjuntos
4M
4M4!
esto bem definidas pela hiptese de induo, as propriedades 1) e 2) continuem a ser verdadeiras. Ora, dado um tal M , podemos escolher 4! M , considerar o conjunto M 4! com : elementos e definir
"B4 " B4 B4!
4M
4M4!
317
4M
4M4"
4M4!
"
4M4! 4"
"
"
4M4! 4"
B4 B4" B4!
4M4! 4"
B4 B4" B4!
"
4M4! 4"
B4 B4! B4"
4M4"
5N
8x $ :.
8
:"
318
44"
como resulta, mais uma vez, de aplicar a propriedade 2), reparando que
N 4# 4" . Repare-se que, alternativamente, tambm podamos partir
do facto de se ter N 4" 4# e obter o valor do somatrio na forma
B4# B4" , o que naturalmente o mesmo resultado (mais uma vez fica bem
patente a importncia de a adio ser comutativa).
4) No caso em que N " # 8, a soma ! B4 coincide com a que
designmos nas observaes introdutrias por ! B4 , uma vez que a definio
4N
4"
4"
4N
319
5O
4N 4!
"
5O5!
5O
8"
"!!
"
"
"
#
8
"!" :#
:"
8N
:"
320
Dem: A demonstrao faz-se, mais uma vez, por induo no nmero de elementos de N e no a explicitamos por poder ser muito facilmente obtida pelo
estudante.
4N
4N
com B4 C4 .
Dem: A demonstrao faz-se, mais uma vez, por induo no nmero de elementos de N e no a explicitamos por poder ser muito facilmente encontrada
pelo estudante.
4N
Dem: A demonstrao faz-se, mais uma vez, por induo no nmero de elementos de N e no a explicitamos por poder ser muito facilmente encontrada
pelo estudante.
4N w
4N ww
202Isto
321
4N w
4N
4N ww
4N 4!
" B4 "
4N w
4N ww 4!
4N w
4N ww 4!
B4 B4!
4N ww
IV.1.11 (Exemplo) O conjunto dos nmeros naturais de " at "!! pode ser
decomposto como unio de dois subconjuntos disjuntos, o daqueles que so
pares e o daqueles que so mpares. Aplicando IV.1.10 e fazendo mudanas
nos conjuntos de ndices (cf. IV.1.5) podemos escrever, com notaes que se
explicam por si,
"
"!!
8"
"!!
"!!
&!
&!
"
"
"
"
"
.
" "
"
"
8
8
8
#:
#:
"
8"
8"
:"
:"
8 par
8 mpar
+E
4N+
203Por
322
4N w
4N+!
" " B4 .
+E
4N+
+E+!
4N+
5O
5O
4N
B45 .
45N O
45N O
B45 "
4w 5N O
B4w 5 "
4N
"
4w 54O
5O
45N O
jN
323
4N
4N
IV.1.15 Sejam + < nmeros reais, com < " e consideremos a progresso
geomtrica com 8 termos, primeiro termo + e razo <, constituda pelos
nmeros
+ +< +<# +<8" .
Tem-se ento a seguinte caracterizao da soma W destes termos:
W + +< +<# +<8"
+" <8
.
"<
8"
:!
:"
:!
5"
8"
5"
:"
+" <8
.
"<
324
Exerccios
Ex IV.1.1 Notemos c$ o conjunto de todos os subconjuntos do conjunto
" # $ e, para cada E c$ , seja =E a soma dos nmeros pertencentes ao
conjunto E. Determinar a soma
" =E
Ec$
" ",
# " #,
$ " # $,
"
3" 38 "#8
205Poder
ser interessante fazer esta contagem, por induo em 8, usando uma sugesto
anloga que apresentaremos adiante.
325
:!
8"
5!
:!
e deduzir daqui uma frmula para #W como soma de 8 parcelas todas iguais.
206Que
326
" B4 " B4 .
4M
4N
4M
4N M
327
uma vez que uma das somas finitas cujo supremo define o somatrio a
correspondente ao subconjunto 4! .
IV.2.3 (Mudana no conjunto de ndices) Sejam N e O dois conjuntos de
ndices e : O N uma funo bijetiva. Dada uma famlia B4 4N com
B4 !, tem-se ento
" B4 " B:5 .
4N
5O
5:" M
5O
!,
_,
se B !
.
se B !
328
" C4 " B4 ,
4N
4N
4N
4M
4N
4N
4N
4N
4N w
8"
329
W8 " B4 ,
4N8
tem-se ento:
a) Se existir 8! tal que W8! _, ento tambm ! B4 _.
4N
consideramos uma parte finita M N arbitrria. Reparando que existe necessariamente 8! tal que M N8! (afastado o caso trivial em que M g,
podemos escolher para cada 4 M um natural 84 tal que B4 N84 e tomamos
para 8! o mximo do conjunto finito dos 84 assim escolhidos) podemos
concluir, mais uma vez pelas propriedades de monotonia dos somatrios que
" B4 " B4 W8! lim W8
4M
8_
4N8!
208A
8_
330
8"
4N
4N"
" F 4N"
" F 4N"
" F 4N"
331
4MN"
" E
" E 4N"
" F 4N"
como queramos.
2) Vamos mostrar agora a desigualdade oposta ! B4 ! ! B4 . Para
4N
" F 4N"
" E 4N"
" E 4N"
" E 4N"
podemos, para cada " E, considerar M" N" finito tal que
" B4 " B4
4M"
4N"
$
5
e, sendo M o conjunto finito unio dos M" , com " E, obtemos, tendo em
conta mais uma vez a associatividade finita em IV.1.12 e as propriedades de
monotonia dos somatrios,
" " B4 " " B4
" E 4N"
$
$
" " B4 "
5
5
" E 4M
" E
" E
4M
"
4N
" E 4N"
45N O
5O
5O
45N O
B45 .
332
B45 _.
45N O
4N
5O
4N
B45 . 210
45N O
B4w 5 .
4w 54O
5O
5O
45N O
5O
B45 "
"
B4w 5 _
4w 5N O
4N 4w 54O
B4w 5
"
B4w 5
4w 5N O
"
B45
45N O
4N
4N
4N
4N
4N
4N
333
4N
4N
4N
4N
5O
bastando ento reparar que, no caso em que os dois somatrios dos segundo
membro da igualdade destacada no enunciado so finitos, a propriedade de
Fubini implica que ambos os membros dessa igualdade so iguais a
"
D45 .
45N O
4N
4N
4N
4N
4N
4N
4N
4N
Outra consequncia trivial da propriedade associativa permite-nos transformar somas parciais correspondentes a partes do conjunto de ndices em
somas totais de famlias convenientemente modificadas.
334
se 4 N w
.
se 4 N w
",
!,
" B4 " B4 N w 4.
4N w
4N
. Tem-se ento:
+ " B4 " + B4 .
4N
4N
4M
4N
4N
+ " B4 " + B4 ,
4N
4N
4N
335
"
"
+ B4 " + B4
+
+
4N
4N
como queramos.
5O
4N
5O
B4 C5 .
45N O
5O
"
4N
5O
4N
5O
B4 C5 .
45N O
?8 @8 @8" se 8 #,
336
8_
8"
cada 8 o que se pode verificar muito facilmente por induo ou, alternativamente, de forma mais intuitiva mas menos precisa (e que explica a razo
da palavra telescpica211) escrevendo
W8 @" @# @" @$ @# @8 @8" .
lim 04 8 _
8_
0 8 " 04 8 _.
4N
8_
4N
8_
4N
4N
8_
337
(1)
4N
4N
14 8.
48N
4N
4N
4N
0 8 0 8 " _
e portanto, mais uma vez por IV.2.9 e IV.2.15,
(2)
8_
4N
14 8.
48N
8_
4N
338
lim 04 8 _
8_
0 8 " 04 8 ! _.
4N
Qualquer que seja o real j ! B4 existe ento 8! tal que, para todo o
4N
8 8! , se tenha 0 8 j.
Dem: Seja, para cada 4 N , 14 ! _ a sucesso de reais positivos
definida por
14 8 inf 04 ::8 inf 04 8 04 8 " 04 8 #.
Para cada 4 N , a sucesso 14 crescente (14 8 " o nfimo de um
conjunto contido naquele cujo nfimo define 14 8) e tem-se 14 8 04 8 e,
como vamos ver, tem-se ainda
B4
lim 14 8. 213
8_
Ora, dado $ ! arbitrrio, podemos considerar 8" tal que, para cada
8 8" ,
$
$
04 8 Z $ B4 B4 B4
#
#
#
e ento, lembrando que o nfimo de um conjunto no vazio aderente a esse
conjunto (cf. I.3.18), conclumos que, para cada 8 8" ,
$
$
14 8 B4 B4 Z$ B4 .
#
#
0 8 " 04 8 "14 8! _ j.
4N
4N
que podemos aplicar o segundo teorema da convergncia montona s sucesses crescentes 14 ! _ para concluir que
213Quem
339
8_
4N
4N
4N
0 8 " 04 8 " 14 8 j.
4N
4N
e tem-se
lim 0 8 " B4 _,
8_
4N
8_
4N
4N
8_
tendo-se em particular B4 C4 e B
s4 C4 , donde
340
4N
"B
s4 "C4 _
4N
4N
"B
s4 "C4 "B4 .
4N
4N
4N
0 8 " 04 8 "C4 _
4N
4N
e portanto
4N
4N
4N
Seja $ ! arbitrrio. Aplicando o lema de Fatou s sucesses 04 e s sucesses s0 4 , permite considerar 8" 8# tais que para cada 8 8"
0 8 "B4 $
4N
e para cada 8 8#
"C4 0 8 s0 8 "B
s4 $ "C4 "B4 $
4N
e portanto
4N
4N
4N
0 8 "B4 $.
4N
4N
Exerccios
Ex IV.2.1 Lembremos a notao ! !, para o conjunto dos inteiros
positivos. Seja ! B ". Lembrando a frmula para a soma dos termos de
uma srie geomtrica (cf. III.4.35), calcular de duas maneiras distintas o
somatrio
341
B:;
:;! !
" 8 "B8
8!
" #
.
"B
"
.
#l8l
8"
"
#!
,
8!
#! #
8"
"
,
8!
8"
"
8!
verifica
W5 " "
5
:"
5
"
"
"
"
"
" ! W5 ! W5 .
!
!
#:
#: "
#
#
:"
214De
facto trata-se de uma restrio da funo zeta de Riemann, esta ltima podendo ser
definida num domnio maior por um processo diferente.
342
"
"
"
"
"
" "
"
"
"
"
"
"
"
" " " .
# 8 8 # 8 8 8 8
"
"
"
.
8 8"
88 "
Deduzir que
""
_
8"
_
"
"
"
88 "
8 "#
8"
8"
"
8#
que coin-
",
!,
se 8 :
se 8 :
8_
" 0: 8 "
:
8_
8_
343
Por que razo no se pode aplicar neste caso o segundo teorema da convergncia montona nem o teorema da convergncia dominada?
Ex IV.2.8 (Para quem conhea a noo de conjunto numervel e as propriedades bsicas desta) Seja B4 4N uma famlia de nmeros reais B4 ! tal
que ! B4 _. Sendo N w N o conjunto dos ndices 4 para os quais
4N
:"
/ 8
.
#:
8_
"
"
"
E: 8 "
8
8
#
8E
lim " E: 8
:_ 8
"
8
_.
"
" " "
" _,
8
# $ %
"
" " "
_,
8
#
% '
8 par
"
8 mpar
"
" "
" _.
8
$ &
344
7"
7"
8"
7" 78
78
8"
"
,
8!
!_
8"
" 8:
/ _.
8
8"
:_
8"
" 8:
/ _.
8
345
! B
4 lB4 l,
(1)
! B4 lB4 l,
B4 B4 B4 ,
definidas por
(2)
B
4
B4 ,
!,
se B4 !
,
se B4 !
Tem-se ento
"B
"lB4 l _,
4
4N
4N
B4
!,
B4 ,
se B4 !
.
se B4 !
"B4 "lB4 l _,
4N
4N
" B4 "B
"B4 .
4
4N
4N
4N
215Comparar
4N
346
4M
4N M
4N M
4M
4N M
4N
" B4 "B
"B4 "B4 "lB4 l
4
4N
4N
4N
4N
4N
" B4 "B
4 "B4 "B4 "lB4 l
4N
4N
4N
4N
4N
4N
4N
4N
5O
347
4N
4N
4N
4N
w
ww
B
4 B4 B4 B4 B4
ww
w
deduzimos que B
4 B4 B4 B4 e portanto, tendo em conta IV.2.10,
ww
"B4ww " B
"B
4 B4
4
4N
4N
4N
donde
4N
4N
" B4 "B
"B4 "B4w "B4ww .
4
4N
4N
4N
4N
4N
4N
4N
4N
4N
4N
l+B4 l l+llB4 l,
donde
216Estas
348
4N
4N
4N
4N
4N
dades B4 B
4 B4 e C4 C4 C4 implicam que
B4 C4 B
4 C4 B4 C4 ,
com B
4 C4 !, B4 C4 ! e
"B
"B
"C4 _,
4 C4
4
4N
"B
4
4N
4N
C4
"B
4
4N
4N
"C4 _,
4N
" B4 C4 "B
"B4 C4
4 C4
4N
4N
4N
4N
4N
"B4 "C4 .
4N
4N
4N
+B
4 !, +B4 ! e
"+B
"B4 _,
4 +
4N
4N
"+B4 +"B4 _
4N
4N
donde
"+B4 "+B
"+B4 + "B4 "B4 +"B4
4
4N
4N
4N
4N
4N
4N
217A
"+B
4 +"B4 _,
4N
donde
349
"+B4 +"B4 _
4N
4N
4N
"+B4 "+B
4 "+B4
4N
4N
+ "B
4
4N
4N
"B4 +"B4 .
4N
4N
4N
4N
4N
4N
lim " B4 .
8_
4N8
218Trata-se
350
4N
4N
e portanto
" B4
4N
lim " B4 ,
8_
4N8
4N
" B4
4N
lim " B4
8_
" B4
lim " B
4
8_
4N8
4N8
4N8
lim " B4 .
8_
4N8
"B8 " B8 .
_
8"
8"
:_
8"
8":
:"
351
"
" "
"
" ":" ln#;
:
# $
:
No entanto a famlia dos termos desta srie no somvel uma vez que a
soma dos valores absolutos dos seus termos
"
_
:"
"
" "
"
" _.
:
# $
:
IV.3.11 (Sries alternadas decrescentes) Seja +8 8" uma sucesso decrescente (no sentido lato) de reais maiores ou iguais a !. Ento:
a) Para a famlia de nmeros positivos +8 +8" , com 8 mpar, vem
! +" +# " +8 +8"
8 mpar
:"
:"
e portanto
8 mpar
352
:"
W: " +8 +8" .
8 mpar
8#:"
8 mpar
s 8 8 par e W
s 8 8 mpar tm ambas aquela soma como
de variveis, as funes W
s 8 8 tem ainda essa soma
limite o que, por I.5.8, implica que a sucesso W
como limite.
" F 4N"
353
4N"
4N"
4N"
4N"
" F 4N"
" F
4N"
4N
" B4 _,
" "B
4
" F
4N"
4N
" F
4N"
4N
" "B
4 " B4 _,
" F 4N"
" F 4N"
"B
4
4N
" F 4N"
"B4 " B4 .
4N
4N
e, no entanto, podemos considerar como a unio disjunta dos subconjuntos N: #: " #: com : tendo-se ! "8 " " ! e
8N:
portanto
354
8N:
com os N" disjuntos dois a dois e F conjunto finito, dada uma famlia de
nmeros reais B4 4N tal que para cada " F a famlia B4 4N" seja
somvel, podemos concluir que B4 4N somvel e portanto, por IV.4.12,
" B4 " " B4 .
4N
" F 4N"
" F
4N"
5O
45N O
4N
5O
B4w 5 .
4w 54O
"
4N 4w 54O
5O
355
B4w 5
"
B4w 5
4w 5N O
"
B45 ,
45N O
5O
B4 C5 ,
45N O
45N O
|B4 C5 | "
45N O
5O
5O
"
4N
5O
4N
5O
B4 C5 .
45N O
4N
4N
4N
356
4N
4N N w
4N w
4N w
4N N w
tem-se
lim 0 8 " B4 ,
8_
4N
8_
4N
4N
8_
4N
357
4N
4N
4N
4N
4N
4N
pelo que, uma vez que para cada 4 N se tem lim l04 8 B4 l ! e
8_
4N
8_
donde tambm
4N
8_
4N
lim 0 8 " B4 .
8_
4N
B+
358
lim 0 B " B4 ,
B+
4N
B+
4N
4N
B+
4N
4N
B+
4N
resulta agora da caracterizao de Heine dos limites (cf. I.5.50) visto que,
qualquer que seja a sucesso ?8 de elementos de \ com limite +, o que
359
isso mais uma vez uma consequncia do mesmo teorema uma vez que, pela
continuidade das funes 04 , cada 04 + o limite de 04 B quando B +.
IV.3.20 (Derivabilidade dum somatrio de funes) Sejam \ um
intervalo, N um conjunto de ndices e, para cada 4 N , 04 \ uma
funo derivvel. Suponhamos que para cada B \ a famlia 04 B4N
somvel e que existe uma famlia C4 4N de reais positivos com ! C4 _
4N
derivvel e com
0 w B " 04w B
4N
para cada B \ .
Dem: Seja + \ arbitrrio. Para cada 4 N , tem-se
04 B 04 +
B+
B+
04w + lim
04 B 04 +
l04w -l C4 .
B+
B+
220
0 B 0 +
" 04w +.
B+
4N
para poder aplicar esse resultado que estamos a exigir que o domnio \ seja um
intervalo.
360
B#:"
B$
B&
B(
B
,
#: "x
$x
&x
(x
B#:
B#
B%
B'
"
.
#:x
#
%x
'x
:!
:!
CosB CosB.
As funes
Sen ,
Cos
Cosw B SenB.
:!
B#:"
lBl8
lBl8
"
/lBl _
"
#: "x
8x
8x
8
8
!
8 mpar
e, analogamente,
" ":
:!
B#:
lBl8
lBl8
"
/lBl _.
"
#:x
8x
8x
8
8
!
8 par
361
B8
,
8x
onde, para B V V
w
": 0#:"
B 0#: B
V #:
#:x
e
"
:!
V #:
V8
V8
"
"
/V _,
#:x 8 8x
8x
8
!
8 par
:!
V #:"
#: "x
e
221Trata-se
de uma propriedade geral da noo de limite j que + no aderente ao complementar V V (cf. a alnea b) de I.5.8).
Mostra a experincia que frequente no se conseguir aplicar diretamente os resultados
IV.3.19 e IV.3.20 para provar a continuidade ou derivabilidade de funes definidas
como somatrios de outras por no se conseguirem estabelecer globalmente as
necessrias desigualdades de dominao mas que se consegue tornear essa dificuldade
custa de considerar restries a subconjuntos convenientes do domnio.
362
V #:"
V8
V8
"
"
/V _,
#: "x 8 8x
8x
8
!
8 mpar
" "
:
;"
0#;" B SenB.
;!
Ficou assim provado que as funes Sen e Cos so derivveis em cada ponto
e com a derivadas indicadas no enunciado, em particular com derivadas
contnuas e resulta agora por induo em 5 que estas funes so de classe
363
W w B GB,
G w B WB.
(2)
222Comparar com a verso anloga para as verses geomtricas das funes trigonomtricas estabelecida em III.2.14, verso essa cuja demonstrao vai ser praticamente decalcada adiante.
364
GC CosB C.
Derivando, obtemos
W w C CosB C GC,
G w C SenB C WC
IV.3.25 (Lema) Para cada ! B " tem-se CosB "# e SenB &' B.
Dem: Tendo em conta a propriedade associativa dos somatrios (cf. IV.3.12)
vem
CosB "
B#
B%
B'
#
%x
'x
B#:
B#:#
"
#:x #: #x
:
!
: par
e, uma vez que, sendo ! B ", tem-se B# ", e portanto B#:# B#: , e
#: #x #:x donde
365
B#:
B#:#
!,
#:x #: #x
conclumos que
CosB "
B#
"
"
" .
#
#
#
B$
B&
B(
$x
&x
(x
B#:"
B#:$
"
#: "x #: $x
:
!
: mpar
!,
#: "x #: $x
conclumos que
SenB B
B$
"
&
B" B.
'
'
'
IV.3.26 (O gmeo do Pi) Fica bem definido um real C pela condio de C# ser
o menor elemento do conjunto dos B ! tais que CosB !. Tem-se ento
# C % e:
a) Sen C# " e Cos C# !.
b) A restrio da funo Sen a ! C# estritamente crescente e com ! "
como contradomnio. A restrio da funo Cos a ! C# estritamente
decrescente e com ! " como contradomnio.
Dem: Vamos dividir a demonstrao em vrias alneas:
1) Vamos comear por provar que o conjunto dos B ! tais que CosB !
admite um mnimo B! e que " B! #. Isso provar em particular que C
fica bem definido pela condio do enunciado, tendo-se C #B! , e portanto
# C %.
Subdem: Tendo em conta a propriedade referida em II.1.14, o conjunto E
dos B ! tais que CosB !, que pode ser descrito como
E B ! _ CosB !,
um conjunto fechado, e naturalmente minorado, e portanto, se verificarmos
que ele no vazio ele vai admitir um mnimo B! , nomeadamente o seu
nfimo (cf. I.3.18). Ora, tendo em conta o lema IV.3.25 e a propriedade de
366
& #
(
Cos# " #Sen# " " #
!,
'
")
367
C
B CosB,
#
Cos
C
B SenB,
#
e, em consequncia, tambm
Sen
C
B CosB,
#
Cos
C
B SenB.
#
CosC B CosB,
Cos#C B CosB,
C
C
B,
#
#
CosC B Cos
C
C
B.
#
#
Cos#C B CosC C B.
368
"
.
" C #
"
.
" C #
369
Note-se, alm disso, que se tem , ! se, e s se, + ", portanto se, e s
se, B ! ou B C e daqui deduzimos, em particular, que o nico B ! C
tal que CosB + tambm o nico B C C tal que + CosB e
, SenB, j que, se B C !, tem-se B ! C e portanto
SenB SenB !.
2) Suponhamos agora que , !. O que verificmos em 1) aplicado aos reais
+ e , garante a existncia de um nico C ! C tal que CosC + e
SenC , e ento tem-se, para o elemento B C C !,
CosB CosC +,
SenB SenC ,
e este B o nico elemento de C ! (e portanto de C C) nestas condies visto que, se Bw C ! verificasse as mesma propriedades, vinha
Bw ! C e
CosBw CosBw +,
SenBw SenBw ,,
portanto Bw C, donde Bw C B.
223Interpretando
370
SenB
.
CosB
"
" Tan# B
Cos# B
B C#
lim TanB _.
B C#
Cos# B
Cos# B Sen# B
"
#
Cos B
Cos# B
Tanw B
ou, alternativamente,
Tanw B
Cos# B Sen# B
Sen# B
"
" Tan# B.
Cos# B
Cos# B
Qualquer das frmulas obtidas mostra que se tem Tanw B ! para cada B, e
portanto temos uma funo estritamente crescente. O facto de o contradomnio ser equivalente ao facto de a funo ter os limites referidos quando
B C# e quando B C# , facto que consequncia de se ter CosB !,
C
lim SenB Sen ",
C
#
B #
C
lim SenB Sen ",
#
B C#
C
lim CosB Cos !,
C
#
B #
C
lim CosB Cos !.
#
B C#
371
lim arcTanC
C_
C
.
#
"
. 224
" C#
Exerccios
Ex IV.3.1 Lembrar que, se ! < ", a frmula para a soma dos termos de uma
srie geomtrica garante-nos que
" <:
:!
224Valer
"
_.
"<
372
B8
"
B8 ,
" B B "
8
88
"
8#
ondo os somatrios envolvidos correspondem a famlias somveis de nmeros reais. Nota: Apesar de, como se verificou na alnea b) de III.4.40, o
somatrio envolvido no primeiro membro ter como soma ln" B, isso
irrelevante para a resoluo do exerccio, que involve apenas a utilizao das
propriedades das famlias somveis estudadas nesta seco.
Ex IV.3.2 Lembremos que a frmula para a soma dos termos de uma srie
geomtrica diz-nos que, se B com lBl ", ento
" B: " B B# B$
8!
"
.
"B
B:;
:;! !
" 8 "B8
8!
"
.
" B#
Ex IV.3.3 (Complementos sobre as desigualdades envolvendo a sries alternadas decrescentes) Seja +8 8" uma sucesso decrescente (no sentido
lato) de reais maiores ou iguais a !. Generalizando o que foi estabelecido em
IV.3.11, mostrar que:
a) Para cada : ",
" +8 +8" " +8 +8" " +8 +8" +#:" .
8 mpar
8#:"
8 mpar
8 mpar
8#:$
:"
373
:"
"
" "
"
"
,
8#
% * "'
%
8
% "' $'
8
8 par
$
"
"
"
' # " # "
,
%
8
*
#&
8
8 mpar
"
"
" "
"
' # " "8" # "
.
#
8
% * "'
8
Ex IV.3.5 a) (Um lema combinatrio) Lembrando a frmula do binmio de
Newton
+ ,8 " 8G: +: ,8: ,
8
:!
8x
onde 8G: :x8:x
so os coeficientes combinatrios, deduzir para cada
8 " as identidades
" 8G: #8 ,
8
:!
:!
: mpar
:!
: par
1#
' .
374
B#:"
,
#: "x
B#:
.
#:x
:!
:!
":;
:;! !
B#:" B#;
#: "x#;x
"
sen#B.
#
B5
B#
B$
B
,
5
#
$
"
.
"B
B#
B$
,
#
$
tendo em conta o facto de termos funes com uma mesma derivada e que
coincidem para B !.
c) Utilizando a propriedade associativa, concluir que se tem, para cada B
em ! ",
ln" B " 05 B,
5
onde
05 B
375
B#5"
B#5
!
#5 "
#5
"
"
e que cada 05 ! " ! _ crescente e tem limite #5"
#5
quando
B ". Considerando uma sucesso crescente de reais em ! " com limite ",
utilizar o teorema da convergncia montona (cf. IV.2.16) para deduzir que
ln# "
5
"
"
,
#5 " #5
5"
"
" " "
"
5
# $ %
B#5"
B$
B&
B
,
#5 "
$
&
"
.
" B#
B$
B&
,
$
&
tendo em conta o facto de termos funes com uma mesma derivada e que
coincidem para B !.
c) Utilizando a propriedade associativa, concluir que se tem, para cada B
em ! ",
226Comparar
376
onde
05 B
B%5$
B%5"
!
%5 $ %5 "
"
"
e que cada 05 ! " ! _ crescente e tem limite %5$
%5"
quando
B ". Considerando uma sucesso crescente de reais em ! " com limite ",
utilizar o teorema da convergncia montona (cf. IV.2.16) para deduzir que
1
"
"
arctan" "
,
%
%5
$
%5
"
5
"
$ & (
5"
377
+ , - . - . + ,,
+ , - . - . + ,,
+ , - . B C + , - . B C,
+ , - . B C + , - . B C,
+ , - . B C + , B C - . B C.
Verificar ainda que ! ! ! elemento neutro da soma, que " " !
elemento neutro da multiplicao e que o complexo 3 ! " verifica
3 3 " ! ".
b) Verificar que a identificao de um nmero real + com o nmero
complexo + ! compatvel com as operaes, isto , que se tem
+ ! - ! + - !,
+ ! - ! +- !.
Verificar ainda, utilizando estas identificaes, as frmulas
+ - . +- +.,
+ ,3 + ,.
c) Para cada complexo D + , + ,3, define-se o seu conjugado
D + , + ,3. Verificar que, dados D + , e A - ., tem-se
D A D A,
DADA
e que
D D #+,
D D +# , #
D A
A
AA
(a frao no segundo membro refere o inverso de A A enquanto nmero
real).
e) Define-se o mdulo ou valor absoluto do complexo D + , + ,3
por
378
lD Al lDl lAl.
379
! 1
#1
tomar :
!1
#1
: int
!1
.
#1
D " A8
.
"A
8!
" <cos#1B
8"
<cos#1B <#
.
" <# #<cos#1B
8!
380
8!
_
"
"
' # " "8 # # cos#81B
#
1
#1
8
8"
0 B
1#
' .
_
"
"
"
#
"8 # # cos#81B,
'
#
#1
1 8
8"
0< B
_
"
"
"
#
8"
_
381
"
sen#81B,
18
%<cos#1B %<#
,
# #<#
# #<#
,
" <# #<" cos#1B
#<7
$
,
$
l0< !l l0< ! 0 !l
$
$
0 B " +: B: +! +" B +# B# +: B: ,
:!
382
ou
+! +" B +# B# +: B:
podendo naturalmente omitir-se o coeficente +: no caso em que este seja ".
Esta expresso tambm designa o valor da funo 0 associada num ponto B
do domnio \ , sendo normalmente claro do contexto em qual dos dois
sentidos a utilizamos (comparar mais uma vez com o que foi dito em III.4.32,
_
no contexto das sries, a propsito da notao ! ?5 ).
5"
" :
B
:
ou
" B: .
: mpar
383
radas). claro que, para uma tal srie de potncias o domnio de somabilidade e a funo que ela define uma funo polinomial.
IV.4.3 (O raio de convergncia) Seja +: :! uma famlia de nmeros reais e
consideremos a correspondente srie de potncias
" +: B: .
:!
Seja e a classe dos reais < ! tais que o conjunto dos l+: l<: , com : !,
majorado. Tem-se ento que e um intervalo com elemento mnimo ! e,
sendo ! V _ o supremo de e, o intervalo de somabilidade \ da
srie de potncias um dos intervalos V V ou V V. Dizemos que V
o raio de convergncia (ou raio de somabilidade) da srie de potncias.
Dem: imediato que ! e, sendo portanto o mnimo de e. O facto de e
ser um intervalo resulta de que, se < e e ! <w <, ento vem tambm
<w e, por ser l+: l<w : l+: l<: , para cada :. Vamos dividir em trs partes a
justificao de que o intervalo de somabilidade \ efetivamente um dos
intervalos indicados.
1) Suponhamos que B pertence ao intervalo de somabilidade \ da srie de
potncias. O que vimos em IV.3.2 garante a existncia de uma parte finita M
de ! tal que l+: B: l " para cada : M e ento o mximo entre " e o
maior dos reais l+: B: l com : M um majorante do conjunto dos
l+: llBl: l+: B: l. Conclumos assim lBl um dos elementos de e, portanto
lBl V.
2) Suponhamos agora que lBl V . Podemos ento considerar < e tal que
lBl <, portanto lBl
< ". Considerando Q ! tal que, para cada : !,
l+: l<: Q , vemos agora, reparando que ! a unio da sucesso
crescente de subconjuntos ! " 8 com 8 ! e lembrando a frmula
para a soma dos termos de uma progresso geomtrica, que
" l+: B: l "l+: llBl: " l+: l <:
:!
:!
:!
lim " Q
8
8_
:!
Q
"
lBl
<
lBl :
lBl :
"Q
<
<
:!
lBl
lim
8_
<
:
Q " lBl
<
8"
"
lBl
<
_,
384
IV.4.5 (Critrio da raiz) Seja +: :! uma famlia de nmeros reais e consideremos a correspondente srie de potncias
" +: B: .
:!
:
lim l+: l + ! _.
:_
:"
Tem-se ento:
a) Se + ! _, ento o raio de convergncia da srie de potncias
V +" .
b) Se + !, ento o raio de convergncia da srie de potncias V _,
por outras palavras, o intervalo de somabilidade .
c) Se + _, ento o raio de convergncia da srie de potncias V !,
por outras palavras, o intervalo de somabilidade !.
Dem: Vamos dividir a demonstrao em vrias partes:
1) Vamos comear por provar que, se + _ e < ! tal que <+ ",
ento o conjunto dos l+: l<: , com : !, majorado, isto , nas notaes de
IV.4.3, < e.
Subdem: Uma vez que
385
:_
:"
podemos considerar uma vizinhana de <+ constituda por reais menores que
:
" e deduzir a existncia de :! " tal que, para cada : :! , <
l+: l ", e
portanto tambm
l+: l <: <l+: l ".
:
O mximo entre " e o maior dos l+: l <: com : :! assim um majorante do
conjunto de todos os l+: l <: .
2) Vamos agora mostrar que, se + _ e < ! ou se + _ e <+ ",
ento < e.
Subdem: Em ambos os casos tem-se
lim <l+: l "
:
:_
:"
(no primeiro caso o limite _ e no segundo caso <+) pelo que podemos
fixar , tal que
lim <l+: l , "
:
:_
:"
386
lim
:_
:_
:"
l+:" l
+ ! _,
l+: l
com + V" , se V ! _, + _, se V !, e + !, se V _,
pelo que, tendo em conta II.2.19, tem-se tambm
:
lim l+: l +.
:_
:"
"
B: .
:"
"
:"
"
:#
lim
:#
",
:"
o que nos permite concluir que o raio de convergncia ". Uma vez que,
para B ", obtemos a soma
"
:!
"
"
" _,
: " 8 8
387
" :
B .
:#
Mais uma vez o critrio da razo o mais fcil de utilizar, embora tenhamos
que ter algum cuidado uma vez que este pressupe que os coeficientes +: so
todos diferentes de ! e neste caso +! +" +# !. O que podemos fazer
para ultrapassar esta dificuldade reparar que, tendo em conta as
propriedades de associatividade (cf. IV.3.13) os valores de B para os quais
esta famlia somvel coincidem com aqueles para os quais somvel
qualquer famlia ! +: B: com +: :"# para : $ podendo, por exemplo,
:!
+:
+:
: "#
:#
lim
lim
"
lim
"
:_ +:" :_ +:" :_
:_
:#
:"#
lim
:$
:$
:$
"
:#
:$
" :
B .
:x
Tem-se
+:
lim
:_ +:"
lim
"
:x
"
:"x
lim : " _
pelo que, mais uma vez pelo critrio da razo, o intervalo de somabilidade
. Este resultado no de espantar, tendo em conta o estudo da srie de
Maclaurin da funo exponencial feito em III.4.41. Note-se que, se
quisermos ser cuidadosos, e uma vez que as sries foram ento estudadas
tendo como conjunto de ndices, devemos utilizar uma mudana de
ndices:
"
:!
" :
"
B "
B8" /B .
:x
8
"x
8
" :x B: .
:!
Tem-se
388
lim
:_
+:
:x
"
lim
lim
!
+:"
: "x
:"
onde
"
:,
+: # "
#:# ,
se : par
,
se : mpar
se : par
,
se : mpar
+:
+:"
"
#
l+: l " :#
# : ,
se : par
se : mpar
pelo que a sucesso destas razes tem limite "# , por isso suceder s suas
restries ao conjunto dos pares maiores ou iguais a # e ao conjunto dos
mpares. Podemos assim concluir que esta srie tem raio de convergncia
igual a #. De facto, fcil concluir que o intervalo de somabilidade o
intervalo aberto # # visto que quando se substitui B por # obtm-se uma
famlia que a cada : associa ", se : par, e "% , se : mpar, famlia que no
somvel por ter todos os termos maiores a iguais a "% (alternativamente, por
ter infinitos termos maiores ou iguais a ").
IV.4.8 (Critrio da raiz revisitado) Seja +: :! uma famlia de nmeros reais
e consideremos a correspondente srie de potncias
" +: B: .
:!
389
:_
:"
Tem-se ento:
a) Se + ! _, ento o raio de convergncia da srie de potncias
V +" .
b) Se + !, ento o raio de convergncia da srie de potncias V _,
por outras palavras, o intervalo de somabilidade .
c) Se + _, ento o raio de convergncia da srie de potncias V !,
por outras palavras, o intervalo de somabilidade !.232
Dem: Vamos dividir a demonstrao em vrias partes:
1) Vamos comear por provar que, se + _ e < ! tal que <+ ",
ento o conjunto dos l+: l<: , com : !, majorado, isto , nas notaes de
IV.4.3, < e.
Subdem: Tendo em conta a caracterizao do sublimite mximo de uma
sucesso na alnea a) de I.6.10, podemos definir, para cada : "
5
,: sup
l+5 l5:
l+: l ,: ,:!
:
donde <
l+: l ", e portanto tambm
"
,
<
O mximo entre " e o maior dos l+: l <: com : :! assim um majorante do
conjunto de todos os l+: l <: .
2) Vamos agora mostrar que, se + _ e < ! ou se + _ e <+ ",
ento < e.
Subdem: Vamos utilizar o facto de o sublimite mximo, como qualquer
sublimite, ser o limite da restrio da sucesso a um subconjunto M de ao
qual _ aderente, isto , um subconjunto infinito de . Em ambos os
casos tem-se
231Este,
390
:_
:M
(no primeiro caso o limite _ e no segundo caso <+) pelo que podemos
fixar , tal que
lim <l+: l , "
:
:_
:M
:_
:M
:_
:M
233Esta
391
"
"
"
B#8" B B$ B& ,
#8 "
$
&
"
:"
"
:
:
",
:"
: "
conclumos, por II.2.19, que
: ". Vemos assim que a restrio da
:
sucesso dos l+: l, com : ", tem uma restrio ao conjunto dos mpares
com limite " e uma restrio ao conjunto dos pares identicamente !, e
portanto com limite !, o que nos permite concluir que esta sucesso no tem
limite mas tem ! e " como nicos sublimites (cf I.6.6), tendo-se assim
:"
que infinita uma vez que, se fosse finita tambm o seria a soma, com os
termos majorados pelos daquela,
" " " "
# % ' )
o que arrastava, pela propriedade associativa, que era finita a soma da srie
harmnica
"
392
"
"
"
B#8# " B# B%
#8 "
$
&
"
"
C8" "
C:
#8 "
#:
"
:!
substituindo C por B# . Uma vez que esta ltima pode ser estudada muito
facilmente por utilizao do critrio da razo, concluindo-se que o seu
intervalo de somabilidade " " (ter-se-ia que fazer um estudo anlogo ao
feito no mtodo referido em 1) para deduzir que o intervalo aberto),
podemos concluir que o intervalo de somabilidade da srie de que partimos
constitudo pelos B tais que B# " ", sendo assim tambm o intervalo
" ".
IV.4.10 (Continuidade nas sries de potncias) Seja +: :! uma famlia de
nmeros reais, indexada no conjunto ! dos inteiros positivos e a
correspondente funo 0 \ definida por
(1)
0 B " +: B: +! +" B +# B# +: B: ,
:!
:!
393
:!
donde tambm
:!
:!
e portanto
8"
88!
88!
88!
8!
394
e portanto
" l,: B: l
:!
"
"
" : "l+:" lB:" " 8l+8 lB8
B :!
B 8"
" !
"
" 8l+8 lB8 " 8l+8 lB8 _
B 8"
B 88!
8 "
:!
C: : "l+:" lV : ,
donde tambm, pondo D! ! e, para cada : ", D: C:" :l+: lV :" ,
" D: D! " D8 ! " C: _.
:!
8"
:!
395
:"
" B: " B B# B$
:!
cujo raio de convergncia se verifica pelo critrio da razo ser igual a " e
cujo intervalo de somabilidade se verifica ser o intervalo " ", uma vez
que para B " temos uma famlia com todos os termos iguais a ", que no
portanto somvel. Relembremos tambm que, pelo exame do limite da
sucesso das somas parciais, que so somas de termos de progresses
geomtricas, j determinmos antes que, para cada B " ",
" B:
:!
"
"B
B#
B$
" ,: B: ,
#
$
:!
"
"B ,
B#
B$
B:
"
#
$
:
:"
396
B:
B#
B$
B
ln" B
:
#
$
"
(o segundo membro tambm uma primitiva de "B
que toma o valor ! em
!), resultado a que j chegramos, com um pouco mais de trabalho, em
III.4.40, no contexto das sries de Maclaurin.
b) Partimos, mais uma vez, da srie de potncias
" B: " B B# B$
:!
"
"B
para cada B " ". Utilizando mais uma vez os resultados precedentes,
mas considerando agora a srie de potncias derivada desta, podemos
concluir que, para cada B " ",
" #B $B# %B$ " : "B:
:!
"
,
" B#
"
.
"B
"
" C#
e deduzimos daqui que, considerando uma srie de potncias que tem esta
como srie derivada, pode-se definir uma funo 1 " " por
1C C
C$
C&
C(
C#:"
,
" ":
$
&
(
#: "
:!
"
para a qual se tem 1! ! e 1w C "C
# o que, pelo argumento j utilizado
em a) permite deduzir que, para cada C " ",
" ":
:!
C#:"
C$
C&
C(
C
arctanC
#: "
$
&
(
397
Mais uma vez, reencontrmos por um processo mais organizado uma concluso j obtida no exerccio IV.3.7 assim como, de forma mais artificiosa e no
contexto das sries de Maclaurin, no exerccio III.4.14.
IV.4.14 (As sries de potncias definem funes de classe G _ ) Seja +: :!
uma famlia de nmeros reais e consideremos a correspondente srie de
potncias
" +: B: +! +" B +# B# ,
:!
398
:!
:!
verifica a desigualdade
l0 Bl 0 lBl
para cada B \ .
Dem: O facto de os intervalos de somabilidade coincidirem uma consequncia da definio da famlia somvel em IV.3.1, uma vez que se tem
399
:!
:!
:!
0 1B 0 B 1B " -: B: -! -" B -# B# ,
:!
onde
-: " +4 ,5 .
45!
45:
+! ,! ,
+! ," +" ,! ,
+! ,# +" ," +# ,! ,
+! ,$ +" ,# +# ," +$ ,! .
400
para cada B \
:!
45:
:!
45:
como queramos.
Tem-se ento
l-:8 l - :8 .
8
para podermos aplicar este resultado que fazemos a hiptese de termos um raio de
convergncia maior que !.
401
cada como igualdade. O caso em que 8 ! tambm trivial uma vez que
!
!
!
!
0 B! " 0 B! pelo que basta tomar -! - ! " e -: - : !
para cada : ", srie de potncias essa cujo intervalo de somabilidade .
Suponhamos que as concluses so vlidas para um certo 8 ". Para cada
B \ vem
0 B8" 0 B8 0 B,
pelo que, por IV.4.17,
0 B8" 0 B8 0 B,
com
-:8" " -4 +5 ,
8
45:
e tambm
com
- 8"
" - 4 l+5 l,
:
8
45:
8
8
8
l-:8" l " -4 +5 " l-4 l l+5 l " - 4 l+5 l - :8" ,
45:
45:
45:
402
235Repare-se
403
0 B8 " - :8 B: .
:!
8:
8:
8!
:!
8!
(1)
8!
B .
8:
:!
404
G:
8x
88 "8 : "
:x8 :x
:x
G:
!! "! : "
:x
" !B
!! " # !! "! # $
B
B . 236
#
$x
405
l !G: l
l!! "! : "l
: "x
l G:" l
:x
l!! "! : "! :l
!
"
" :
:"
!
l! :l
l : "l
",
:_
" 8
C
8x
Apesar de no estudo das funes que podem ser definidas por sries de
potncias o ponto ! do domnio ter um papel privilegiado, este estudo
permite-nos facilmente definir as funes analticas, nas quais esse papel
privilegiado j no aparece.
406
" :
"
0B! ! 0 : B!
:x
:x
407
Dem: O que consequncia imediata da definio que a funo 0 analtica em !. Para verificarmos que 0 analtica num ponto B! arbitrrio, isto
que 0B! \ B! analtica em !, atendemos a que 0B! B 0 B! B
e aplicamos IV.4.19 para garantir a existncia de - : :! e de & ! tal que
para cada B & & se tenha B! B V V e
0B! B 0 B! B " -: B: . 237
:!
/B " B
"
.
"B
uma funo analtica. Trata-se, com efeito, da funo definida pela srie
geomtrica
" B B# B$ " B:
:!
237A
srie de potncias que em IV.4.19 era notada 0 aqui a srie degenerada, com
domnio de somabilidade , correspondente funo B B! B, isto , aquela com B!
como coeficiente de ndice !, " como coeficiente de ndice " e todos os restantes coeficientes iguais a !
408
!! " # !! "! # $
B
B .
#
$x
para cada B B! & B! &. A nica questo que nos impede de concluir
imediatamente que a restrio de 0 tambm analtica em B! o facto de no
se ter necessariamente B! & B! & \ w . Para ultrapassarmos isso,
lembramos que o complementar \ w um conjunto fechado, pelo que
existe &w ! tal que B! &w B! &w no tem pontos de \ w , por outras
palavras, B! &w B! &w \ w , Sendo agora &ww ! o menor dos dois
nmeros & e &w , claro que ainda se tem B! &ww B! &ww \ w e, para cada
B B! &ww B! &ww tem-se
0 B " +: B B! : +! +" B B! +# B B! # .
:!
409
1B " ,: B: ,! ," B ,# B# .
:!
Sendo &ww ! o menor dos dois nmeros & e &w , tem-se &ww &ww \ e
deduzimos de IV.4.15 e IV.4.17 a existncia de sries de potncias -: :! e
.: :! cujos intervalos de somabilidade contenham &ww &ww e tais que, para
cada B &ww &ww ,
0 B 1B " -: B: -! -" B -# B# ,
0 B 1B " .: B: .! ." B .# B# .
:!
:!
410
se tenha ! +: B: $ $ e
:!
10 B 1" +: B: " -: B: ,
:!
:!
1 0 \ analtica em B! .
Com a ajuda do resultado precedente podemos, em particular, utilizar o
exemplo estudado na alnea d) de IV.4.25 para provar a analiticidade de
certas funes importantes.
"
C
analtica.
Dem: Lembremos que, como referido na alnea d) de IV.4.25, analtica a
funo 0 " " definida por 0 B " B! . Seja agora C!
arbitrrio em ! _ e provemos que analtica em C! a restrio de 0! ao
intervalo aberto ! #C! , que contm C! e est contido em ! _ o que,
como referido em IV.4.26, ser suficiente para garantir que 0! ! _
analtica em C! . Ora, para cada C ! #C! , tem-se CC! ! #, portanto
C
C! " " ", e vem
411
C !
C
C!! 0 "
C!
C!
"
.
0 B
senB
"
senB
,
cosB
cosB
"
" B#
analtica. Temos, com efeito, o inverso de uma funo analtica que nunca
toma o valor ! (uma funo polinomial). Observe-se que, apesar de o
domnio desta funo analtica ser , ela no pode ser globalmente definida a
partir da construo referida em IV.4.24, visto que a nica srie de potncias
412
413
0 B " +: B:
:!
:!
414
arcsenw B
" B#
"
"
" B# #
para cada B B! & B! &. Uma vez que estamos a supor que 0 B no
sempre ! neste intervalo, tem que existir algum +: ! e podemos notar :! o
menor dos ndices : nessas condies. Tem-se ento para cada B neste
intervalo
0 B " +B B! : B B! :! " +: B B! ::!
::!
::!
B B! : 1B,
com
;!
para cada B B! & B! & (esta srie de potncias tem o mesmo raio de
convergncia que a que define 0 B uma vez que os valores B B! para os
quais ela converge so os mesmos239). Tendo em conta IV.4.10, a funo
238Esta
propriedade classificada como um lema uma vez que a que enunciamos a seguir
utiliza-a na sua demonstrao mas afirma mais com as mesmas hipteses.
239Cada uma obtm-se da outra multiplicando cada parcela por B B : ou por
!
"B B! : .
415
416
Exerccios
Ex IV.4.1 Determinar os raios de convergncia das seguintes sries de potncias
e, quando os resultados estudados no curso o permitirem, identificar os seus
intervalos de somabilidade.
a) " :# B: ,
:!
b) "
:#
"
B: ,
:"
8"
"8 8
B ,
88"
8!
"
B8 ,
# cos818
c) "
d) "
e) "
8!
8x 8
B .
88
" $8
B ,
8
b) " 8 B8 ,
8"
8!
c) "
8!
"
B "#8 .
8x
B:
ln" B.
:
a) Mostrar que se pode definir uma funo contnua J " " por
J B "
:"
"
B:"
:: "
417
"
B:" J B " B ln" B B.
:: "
":"
# ln# "
:: "
"
:"
"
",
:: "
" :
0 B! B B! :
:x
0 B! 0 w B! B B!
" ww
0 B! B B! #
#x
ndice de Smbolos
B8
E F , E F , E F , B E, B E
E F, E F
g
, , , , !
+ ,, + ,, + ,, + ,
maxE, minE
supE
infE
intB
C
lBl
.B C
Z$ + + $ + $
8x
8
8x
G: :x8:x
, _ , _
Z$ _ "$ _, Z$ _ _ $"
E , adE
Ew
0 \ , 0 B
0 \ ] , 0 \, 0 E
0E E
1 0 B 10 B
M\ \ , M\ B B
0 " 0 \ \
0 1 \ , 0 1B 0 B 1B
sup0 , sup 0 B, sup0 B
B\
2
5
5
5
6
7, 35
7
10, 34
11, 34
13
14
18, 377
20
21
30
32
32
37
45
49
49
52
53
54
54
56
63
65
BE
65
-0 \ , -0 B -0 B
0 1 \ , 0 1B 0 B 1B
0 B ,
56
64
73
lim 0 B
74
B\
BE
B+
B+
lim 0 B , 0 B ,
B+
BE
B+
BE
75
420
ndice de Smbolos
lim 0 B , 0 B ,
75
\+ B \ B +
\+ B \ B +
lim 0 B
80
80
80
lim 0 B
81
B+
B+
B+
B+
B+
B+
lim ?8 lim ?8
8_
0 B _
105
B+
B+
5 C
B+
82
112
112
B+
W8 ! ?5
132
138
138
138
144
146
150
151
154
162
163
163
166
166
168
168
173
174
178
178
178
190
190
216
255 256
264
! ?5
_
273
5"
273
5"
=: \
280
ndice de Smbolos
! B4
421
316, 326
4N
N w N ! "
' !
SenB, CosB
C
arcSenC, arcCosC
TanB
arcTanC
D
lDl
! +: B:
334
341
360
365
368
370
371
376
377
377
382
!:"
G: !!"
:x
\+ \ +
404
406
:!
!
ndice Remissivo
abcissa
17
abcissa reescalada
0
aderncia
45
aderente
39
aproximao de Maclaurin
264
arquimediana (propriedade)
12
baricentro
240
base
2
Bernouilli (desigualdade de)
28
bijetiva (funo)
59
binmio de Newton
32, 286, 324
boa ordenao (propriedade)
9
Bolzano-Weierstrass (teorema)
44, 112
Cauchy (condio de)
116
Cauchy (regra)
202, 207, 208, 209
Cauchy (sucesso de)
117
Cauchy (teorema)
201
Cauchy-Bolzano (teorema)
131
centro de figura
240
centride
240
classe G : (funo)
255 256
classe G _ (funo)
256
codomnio
52
compacto (conjunto)
114
complexo
376
complexo conjugado
377
composta (funo)
54
concavidade (sentido da)
296
condio de Cauchy
116
conjugado
377
conjunto compacto
114
conjunto denso
45
conjunto derivado
49
conjunto fechado
45
conjunto limitado
10
conjunto majorado
9
conjunto minorado
10
conjunto simtrico
190
conjunto unitrio
6
constante de Neper
162
contnua (funo)
127
contradomnio
52
convergente (sucesso)
82
convexidade (propriedade de)
35
corpo
1
corpo ordenado
3
corpo ordenado completo
11
cosseno hiperblico
166
crescente (funo)
60
critrio de proximidade
37, 38
curvar para baixo (em trs pontos)
295
curvar para cima (em trs pontos)
295
Darboux (teorema)
216
declive direito
294
declive esquerdo
294
declive total
294
decrescente (funo)
60
denso (conjunto)
45
derivada (de funo)
173
derivada direita
178
derivada esquerda
178
derivada lateral
178
derivada de ordem :
255 256
derivado (conjunto)
49
derivvel (funo)
173
desigualdade de Bernouilli
28
diferena de conjuntos
5
diferencivel (funo)
173
Dirichlet (funo)
62
Dirichlet (srie)
288
distncia
20
domnio de convergncia
384
domnio de funo
49
domnio mximo de definio
50
domnio de somabilidade
382
eixo orientado
17
espao de chegada
52
est entre
4
estritamente crescente (funo)
60
estritamente decrescente (funo)
60
estritamente montona (funo)
60
Euler (frmula)
216
expoente
2
exponencial (funo)
151, 216
extremidade de intervalo
7, 35
famlia indexada em conjunto
316
fatorial
30
Fatou (lema)
337
famlia de conjuntos
48
famlia dominadora
339
famlia somvel
345
fechado (conjunto)
45
Fermat (teorema)
192
Fibonnaci (sucesso)
68
424
forma trigonomtrica de complexo
378
frmula de Euler
216
frmula de Leibnitz
285
frmula de Maclaurin
264
frmula de Moivre
378
frmula de Taylor
264
Fubini (propriedade)
322, 331
funo
49
funo analtica
406
funo bijetiva
59
funo de classe G :
255 256
funo de classe G _
256
funo composta
54
funo cncava
296
funo constante
52
funo contnua
127
funo convexa
296
funo crescente
60
funo decrescente
60
funo derivada
174
funo derivvel num ponto
173
funo derivvel direita num ponto 178
funo derivvel esquerda num ponto 178
funo diferencivel num ponto
173
funo de Dirichlet
62
funo estritamente cncava
296
funo estritamente convexa
296
funo estritamente crescente
60
funo estritamente decrescente
60
funo estritamente montona
60
funo exponencial
151
funo hiperblica
166
funo hiperblica inversa
168
funo identidade
54
funo mpar
166, 190
funo indefinidamente derivvel
256
funo indicatriz
334
funo injetiva
55
funo inversa
56
funo localmente limitada
106
funo logaritmo
154
funo montona
60
funo par
166, 190
funo peridica
367
funo potncia
64, 156
funo produto
64
funo racional
223
funo restrio
53
funo sobrejetiva
59
funo soma
63
funo uniformemente contnua
139
funo : vezes derivvel
255 256
funes hiperblicas
166, 190
funes hiperblicas inversas
168, 190
ndice Remissivo
Heine (limites, segundo)
103
Heine (pontos aderentes, segundo) 103
Heine (sublimites, segundo)
123
Heine-Cantor (toerema)
140
hiptese de induo
26
identidade
54
imagem recproca
130
indeterminao
90
indicatriz
334
nfimo
10, 33, 65
infinito (mais e menos)
32
injetiva (funo)
55
interseo de conjuntos
5, 48
intervalo
7, 35
intervalo de convergncia
384
intervalo de somabilidade
382
intervalo no trivial
7, 35
inversa (funo)
56
irracional
16
Lagrange (resto)
271
Lagrange (teorema)
196
Leibnitz (frmula)
285
limitado (conjunto, funo)
10, 65
limite (de funo num ponto)
73
limite (de sucesso)
82
limite direita
81
limite esquerda
80
limites laterais
80
localmente limitada (funo)
106
logaritmo (funo)
154
logaritmo neperiano
163
Machin (frmula)
290
Maclaurin (polinmio, resto, frmula) 264
Maclaurin (srie)
276
majorado (conjunto, funo)
9, 65
majorante
9
majorante local
126
mximo
7, 65
mdia
4
mdia aritmtica
4
mdia aritmtica pesada
4, 313
mdia geomtrica
25
mdia geomtrica pesada
314
mdia pesada
4, 313
mtodo de induo matemtica
26
mnimo
7, 65
minorado (conjunto, funo)
10, 65
minorante
10
minorante local
126
mdulo
18, 377
montona (funo)
60
Neper (constante)
162
Newton (binmio)
32, 286, 324
nmero complexo
376
ndice Remissivo
ordenada
17
ordenada reescalada
0
parte inteira
13
passo recursivo
67
Peano (resto)
280
peridica (funo)
367
perodo
367
polinmio de Maclaurin
264
ponto de acumulao
43
ponto de acumulao direita
80
ponto de acumulao esquerda
80
ponto aderente
39
ponto fixo
141
ponto de inflexo
305
ponto de inflexo absoluto
305
ponto de inflexo relativo
305
ponto interior de intervalo
7
ponto isolado
43
potncia de expoente natural
2
primitiva
217
progresso aritmtica
31
progresso geomtrica
27
prolongamento de funo
53
propriedade arquimediana
12
propriedade de boa ordenao
9
propriedades algbricas das
potncias
2, 145, 147
prximo
37, 38
$-prximo
37, 38
quadrado perfeito
24
raio de convergncia
383
raio de somabilidade
383
raiz de ndice 5
132
raiz quadrada
14
reais estendidos
32
regra de Cauchy
202, 207, 208, 209
resto de Lagrange
271
resto de Maclaurin
264
resto de Peano
280
resto de Taylor
264
restrio de funo
53
reta estendida
32
reta real
17
retilnea (em trs pontos)
295
Riemann (funo zeta)
341
Rolle (teorema)
195
seno hiperblico
166
sequncia de pesos
313
srie
273
srie absolutamente convergente
351
srie alternada decrescente
351
srie binomial
404
srie convergente
273
srie de Dirichlet
341
425
srie divergente
273
srie exponencial
279
srie geomtrica
274
srie harmnica
274
srie harmnica alternada
279, 350
srie de Maclaurin
276
srie de potncias
382
srie de potncias composta
402
srie de potncias derivada
393
srie de potncias potncia 8
400
srie de potncias produto
399
srie de potncias soma
398
srie de potncias dos mdulos
398
srie de Taylor
276
srie de termos positivos
275
simtrico (conjunto)
190
sobrejetiva (funo)
59
somas parciais
273, 326
somatrio
316
somatrio telescpico
336
soma de srie
273
subconjunto
5
sublimite
75
sublimite mximo
112
sublimite mnimo
112
sucesso
66
sucesso de Cauchy
117
sucesso convergente
82
sucesso crescente de subconjuntos
329
sucesso exponencial
100
sucesso de Fibonnaci
68
sucesso parcial
82
sucesso parcialmente definida
82
sucesso das somas parciais
68
supremo
10, 33, 65
tangente hiperblica
190
Taylor (aproximao, frmula, resto) 264
Taylor (srie)
276
tender para _
105
teorema de Bolzano-Weierstrass 44, 112
teorema de Cauchy
201
teorema de Cauchy-Bolzano
131
teorema de Darboux
216
teorema de Fermat
192
teorema de Heine-Cantor
140
teorema de Lagrange
196
teorema de Rolle
195
teorema de Weierstrass
129
termo de srie
273
termo de sucesso
66
termo seguinte
66
tricotmica (propriedade)
3
unio de conjuntos
5, 48
uniformemente contnua (funo)
139
426
valor absoluto
varivel muda
vizinhana-$
ndice Remissivo
18, 377
52
21, 37
Weierstrass (teorema)
zeta (funo)
129
341
Bibliografia
[1]
ANDR, Carlos e FERREIRA, Fernando, Matemtica Finita, Universidade Aberta, 203, Lisboa, 2000.
[2]
[3]
BATTY, Charles e WOODHOUSE, Nick, HOW DO UNDERGRADUATES DO MATHEMATICS? A guide to studying mathematics at Oxford
University, http://www.maths.ox.ac.uk/files/study-guide/guide.pdf .
[4]
CAMPOS FERREIRA, Jaime, Introduo Anlise Matemtica, Fundao Calouste Gulbenkian, 1985.
[5]
[6]
[7]
[8]
[9]
[10] LIMA, Elon Lages, Curso de Anlise, Vol I, Projeto Euclides, IMPA, Rio
de Janeiro, 2009.
[11] SARRICO, C. Anlise Matemtica, Leituras e exerccios, Gradiva 1997.