Você está na página 1de 180

Wikilivros, livre pensar e aprender

Clculo I

Parabolide

Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ndice
1.Crditos............................................................................. 3
2.Prefcio............................................................................. 4
3.Conceitos bsicos (funes)................................................. 5
4.Limites e Continuidade........................................................ 8
1. Limites........................................................................... 8
2. Continuidade................................................................... 17
5.eri!adas.......................................................................... 18
1. "ntrodu#o (coeficientes an$u%ares)................................... 18
2. efini#o........................................................................ 1&
3. iferenciabi%idade............................................................ '1
4. (e$ras bsicas................................................................ '1
5. eri!adas )%$bricas sim*%es............................................ '5
6. iferencia#o im*%+cita...................................................... '7
6.)*%icaes das deri!adas...................................................... '8
1. )*%icaes das deri!adas.................................................. '8
2. ,a-as............................................................................. '&
3. .-imo/ m+nimo e mdio.................................................. 31
4. )n%ises de dec%i!e e conca!idade...................................... 30
5. 1sboo de $rficos........................................................... 38
7."nte$rais............................................................................ 3&
1. "nte$rais......................................................................... 3&
2. )ntideri!adas e antidiferenciais......................................... 41
3. efinies....................................................................... 4'
4. 2*eraes bsicas........................................................... 4'
5. "ntrodu#o a e3uaes diferenciais.................................... 44
6. ) inte$ra% indefinida......................................................... 48
7. ) inte$ra% definida........................................................... 48
8.)n%ise de funes e%ementares ".......................................... 5&
1
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
1. Lo$ar+tmicas................................................................... 5&
2. 1-*onenciais................................................................... 0'
3. Lo$ar+tmicas com outras bases.......................................... 07
4. ,ri$onomtricas "(4eno e cosseno).................................... 0&
9.)n%ise de funes e%ementares ""......................................... 84
1. ,ri$onomtricas ""........................................................... 84
2. "n!ersas das tri$onomtricas............................................ &5
3. 5i*erb6%icas.................................................................... 17'
4. "n!ersas das 8i*erb6%icas.................................................. 111
10.,cnicas de inte$ra#o....................................................... 1'1
1. Consideraes iniciais....................................................... 1'1
2. Por *artes....................................................................... 1''
3. Por substitui#o tri$onomtica........................................... 1'&
4. 9unes racionais com denominadores %ineares................... 130
5. 9unes racionais com denominadores 3uadrticos.............. 147
6. Por substitui#o 8i*erb6%ica............................................... 144
7. 9unes racionais tri$onomtricas..................................... 140
11."ndetermina#o e inte$rais im*r6*rias................................. 15'
1. "ndetermina#o............................................................... 15'
2. 9ormas indeterminadas.................................................... 153
3. :a%or mdio de Cauc8;.................................................... 154
4. (e$ra de L<5=*ita%........................................................... 155
5. "nte$rais im*r6*rias......................................................... 157
6. 96rmu%a de ,a;%or ........................................................... 107
12.)*%icaes das inte$rais...................................................... 101
1. ) inte$ra#o na *rtica..................................................... 101
2. >reas............................................................................. 10'
3. :o%umes......................................................................... 100
4. Press#o dos %+3uidos......................................................... 170
5. Com*rimentos de cur!as.................................................. 178
2
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Crditos
1ste %i!ro resu%tado do con8ecimento/ do em*en8o e da dedica#o de
!rias *essoas/ 3ue acreditam 3ue o con8ecimento de!e ser de todos
os 3ue as*iram obt?@%o/ sendo a doa#o um ato 3ue recom*ensado
*e%a satisfa#o em difundir o saber.

entre os editores 3ue *artici*aram da cria#o deste %i!ro/ damos
crdito *e%as se$uintes com*et?nciasA

Ajustes de formatao:
Bo#o Ber6nimo

.arcos )nt=nio Cunes de .oura

Categorizao:
Bota

LeonardoD

.arcos )nt=nio Cunes de .oura

Contedo:
.arcos )nt=nio Cunes de .oura

Correes:
1dudoba;

9redmaran8ao

Lou cai

Proteo do contedo:
ante

4a%%esCeto E(
3
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Prefcio:
,odos a*rendemos/ at este *onto/ a matemtica e%ementar/ com e%a
*odemos %idar com inFmeras de nossas necessidades mais corri3ueiras
do dia a dia. ) *artir de a$ora/ teremos a o*ortunidade de dis*or de
recursos mais sofisticados.
2 c%cu%o/ em conGunto com outras disci*%inas/ faHem *arte do
a*rendiHado da matemtica de n+!e% su*erior/ e%e uma !a%orosa
ferramenta de an%ise/ muito uti%iHada em ci?ncias e-atasI esta
ferramenta recebeu o nome c%cu%o/ como forma abre!iada da
e-*ress#o Jc%cu%o infinitesima%J. 1ste %i!ro e-*%ora a *arte inicia% do
estudo de c%cu%o bsico/ *resente nos cursos de n+!e% su*erior mais
!o%tados Ks ci?ncias e-atas e suas ramificaes/ com e%e iremos
na!e$ar *e%as an%ises a%$bricas e numricas/ *ressu*ondo !a%ores
t#o *e3uenos 3ue *odem ser considerados re%ati!amente +nfimos/ ao
mesmo tem*o iniciaremos as an%ises de 3uantidades desses
e%ementos infinitesimais t#o $randes 3ue *oder+amos c8am@%os de
*o*u%aes $i$antescas.
1ste %i!ro uti%iHa as notaes e as si$%as mais encontradas nos %i!ros
didticos de Clculo no Erasi%/ a%$umas notaes comuns em %i!ros
Jon@%ineJ se$uem o *adr#o norte@americano e *or isso est#o fora dos
obGeti!os desta *ub%ica#o/ 3ue foi idea%iHada *ara ser instrumento de
a*rendiHado *ara nati!os da %in$ua *ortu$uesa/ a%$uns e-em*%os de
notaes s#o encontradas *rinci*a%mente nas funes tri$onomtricas/
como o seno 3ue simbo%iHamos sen() en3uanto 3ue em outros %i!ros
!erificamos sin()/ ou tangente 3ue notamos tg() en3uanto 3ue em
outros !emos tan().i!idimos o estudo de C%cu%o em tr?s %i!ros/ 3ue
n#o s#o necessariamente indicados es*ecificamente *ara as
subdi!ises do estudo feito nas uni!ersidades/ embora ten8amos
a%$uns cursos onde 8 uma di!is#o da disci*%ina em at 0 (seis)
m6du%os.
Para a*ro-imar a se3L?ncia dos t6*icos K dos cursos mais
conceituados/ fiH uma *es3uisa e ade3uei os +ndices ao crono$rama
destes cursos/ *ara isso *es3uisei uni!ersidades *Fb%icas e *ri!adas no
Erasi%/ ob!iamente/ seria im*oss+!e% ade3uar a se3L?ncia dos t6*icos
*ara todos os cursos 3ue se uti%iHam deste estudo/ acredito 3ue est
*r6-ima da mdia de ade3ua#o.1s*ero 3ue ten8amos um bom
*ro!eito do conteFdo deste e dos outros %i!ros sobre este tema.
4
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Conceitos bsicos
Definies iniciais:
Para uma me%8or com*reens#o do conteFdo subse3Lente/ su$erimos
obser!ar o t6*icoA 9unes/ no %i!roA .atemtica 1%ementar/ *ois o
estudo com*%eto de funes fo$e do esco*o deste %i!ro. Ceste ca*+tu%o
iremos destacar *rinc+*ios e notaes 3ue nos ser#o Fteis ao %on$o
deste %i!ro.
Funo, domnio e imagem
4eGa um conGunto de *ontos A/ cuGos membros s#o os nFmeros em
/ ent#o tomamos e denominamo@%a
varivel independente/ !isto 3ue/ arbitrariamente/ %8e *odemos
atribuir 3ua%3uer !a%or em e *ortanto diHemos 3ueA
A o domnio da !ari!e% .
a mesma forma/ admitamos um conGunto de *ontos B/ cuGos
membros s#o nFmeros 3ue s#o obtidos Fnica e e-c%usi!amente *or um
conGunto de re$ras matemticas / 3uando nFmeros arbitrrios em A
%8e s#o transferidosI !isto 3ue 8 um Fnico !a%or assumido *ara cada
!a%or arbitrrio transferido a / diHemos 3ueA
B funo de A.
4endo B obtido atra!s das re$ras de A
A domnio da fun#o .
a mesma forma/ como B restrito aos !a%ores definidos *or A e Ks
re$ras definidas *or / os seus e%ementos es*e%8am estas condies/
*ortanto/ *odemos diHer 3ueA
B imagem da fun#o .
5
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
!tenses de domnios
2bser!emos a e-*ress#oA Cote 3ue assim 3ue atribuirmos
!a%ores a x / a mesma assumir !a%ores in!%idos/ !a%ores de raiHes
3uadradas de nFmeros ne$ati!os/ *ara sanar este *rob%ema/
*oderemos atribuir uma fai-a de !a%ores !%idos *ara o dom+nio de x /
ent#o teremosA
)ssim/ teremos um dom+nio restrito a !a%ores i$uais ou menores 3ue
1'/ *ortanto/ inc%uindo@o/ este e-tremo ao 3ua% *ertence o !a%or 1'
c8amamos de e!tremo fec"ado. ,emos uma situa#o seme%8ante/
*orm com uma suti% diferena/ 3uando temos 3ue faHerA %o$x / neste
caso/ temos 3ue restrin$ir o !a%or 7 e todos os nFmeros abai-o de%e/
desta formaA
%o$x/x M 7
Poderemos atribuir a*enas !a%ores maiores 3ue 7/ uma !eH 3ue este
!a%or n#o *ertence ao conGunto de nFmeros 3ue *odem ser atribuidos K
!ari!e%/ c8amamos este de e!tremo aberto.
#otaes
2 conGunto de nFmeros B dos 3uais
de*endem do conGunto A de onde temos /
estabe%ecemos o *ar de nFmeros / ou sim*%esmenteA
1ste c8amado de par ordenado. 4endo tambm a re*resenta#o
dos !a%ores de / ent#o *odemos diHer 3ueA
4endo o !a%or de 3uando definido *e%as o*eraes em . 9ai-as
6
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
de !a%ores 3ue de%imitam os dom+nios *odem ser re*resentados com
desi$ua%dades/ como nos e-em*%os abai-oA
Porm/ os e-tremos *odem ser co%ocados em um *ar entre
de%imitadores de forma 3ue/ *ara os e-tremos fec8ados usamos os
de%imitadores N ou O/ *ara os e-tremos abertos usamos ( ou )/
8abi%itando@nos a identificar os e-tremos mais c%aramente/ desta forma
*odemos identificar os dom+nios do e-em*%o acima desta formaA
,ambm comum usar co%c8etes in!ertidos *ara e-tremos abertosA
$peraes com funes
Consideremos duas funes f e gI admitindo 3ue as duas s#o/
intuiti!amente/ e-*resses 3ue se traduHem em !a%ores/ *odemos
diHer 3ueA
4endo D(f) o dom+nio da fun#o f e D(g) o dom+nio da fun#o g/ o
dom+nio da fun#o resu%tante das o*eraes acima sem*reA
7
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Limites
Breve e!planao:
:eGamos o $rfico a se$uirA
9i$ura 1
2 $rfico re*resenta a fun#oA

1sta fun#o a*resenta um !a%or indefinido 3uando / o 3ue nos
%e!a a / *orm se fiHermos temos I se a$ora
fiHermos teremos I de*ois faHendo teremos
I *ortanto 3uando n6s a*ro-imamos - de 0 a*ro-imamos ;
de 1. "ntuiti!amente faremos o mesmo usando !a%ores maiores 3ue 0/
8
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ent#o se ti!ermos teremos I e *ara
teremos I fina%mente/ se teremos e
!emos 3ue o mesmo acontece/ o 3ue isto 3uer diHerP 2 3ue acontece
3ue 3uando a*ro-imamos - de 0/ ; se a*ro-ima de 1/ o 3ue indica
uma tend?ncia de se i$ua%ar a 1/ ou seGa 3uando - se a*ro-ima de 0 de
forma a a%canar o limite entre e%e e o nFmero mais *r6-imo a e%e/
ine!ita!e%mente tambm faH com 3ue ; a%cance o nFmero mais
*r6-imo de 1 *oss+!e%/ ent#o diHemos 3ueA se f(x) Q y ent#o/ o limite
de f(x)3uando x tende a 0 i$ua% a 1.
"sto comumente re*resentado/ *e%a se$uinte nota#oA

Definio
4eGa a fun#o f(x)/ onde / se um nFmero em seu dom+nio/
e-iste um nFmero R/ ta% 3ueA
e sendo f(a)/ definido ou n#o/ um nFmero 3ue tende a L/ se e-iste um
nFmero S/ ta% 3ueA
e 3uando diminuimos R at 3ue n#o seGa mais *oss+!e% distin$Lir de
/embora e%es seGam infinitesima%mente diferentes/ ten8amos um S
corres*ondente/ ent#o L o limite de f(x) 3uando tende a .
)dotamos a se$uinte nota#oA

1 de forma $era% definimos 3ueA
4e ent#o
3uando
9
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Propriedades
%eoremas:
%& ' ()nicidade*
4e e ent#oA
Demonstrao:
Pro*on8amos 3ueA
Lo$o teremos 3ue admitirA
8a!endo uma diferenaA
a desi$ua%dade trian$u%arA
4e ti!ermos um R 3ue seGa en$%obado nas condiesA
,eremos obser!ado 3ueA
Como *odemos arbitrar S/ ter+amosA
faHendo
Tue contradit6rio/ *ortantoA
10
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%+ ' (,oma e diferena*
Demonstrao:
,omandoA e / de!emos / *e%a defini#o/
*ro!ar 3ueA
Posto 3ueA
/
/
Podemos arbitrarA
e *e%a desi$ua%dade trian$u%arA
comoA / %o$oA
,emos como afirmar 3ue a diferena tambm *ode ser ca%cu%ada da
mesma maneira/ *ois as funes n#o est#o restritas a !a%ores *ositi!os
na demonstra#o acima.
%- ' (.roduto*
Demonstrao: Tueremos !erificar seA
)dmitamos 3ueA
11
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
do 3ue *odemos conc%uir 3ueA
tambm tomemosA
sendo
Pe%o e-*osto temos 3ueA
esta e-*ress#o se traduH emA
*ortantoA
o 3ue confirma a !a%idade do teorema.
%/ ' (0a1o*
Demonstrao:
%2 ' (.ot3ncia*
Demonstrao:
e fato/ temosA
12
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue/ *e%o teorema do *roduto/ nos %e!a aA
1 *ortanto/ estabe%ece o 3ue *retend+amos demonstrar.
%4 ' (0adiciao*
Demonstrao:
Conse56entes para funes alg7bricas:
1stas re$ras s#o conse3L?ncias diretas dos teoremas re%acionados
acimaA
sendo
sendo
8imites laterais
Consideremos a fun#oA / *odemos notar 3ue todos os
!a%ores de - menores 3ue ' induHem um !a%or indefinido na fun#o/
esta indefini#o tambm se ref%etir nos %imites dos !a%ores da fun#o
neste inter!a%o de indefini#o/ *ortanto n#o faH sentido fa%ar de %imites
abso%utos 3uando os !a%ores da fun#o est#o indefinidos *ara certa
fai-a do dom+nio. 2 3ue *oder+amos faHer *ara ana%isar os !a%ores
!%idos da fun#oP Podemos %imitar o seu dom+nio e
conse3uentemente/ de!er+amos %imitar os %imitesI 3uando temos um
13
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
meio de definir o inter!a%o de e-c%us#o dos nFmeros/ *odemos
tambm/ e-c%uir certa fai-a dos %imitesI se 3uisermos adotar a*enas
nFmeros *ositi!os na an%ise *odemos faH?@%o desta formaA / da
mesma forma *oderemos adotar a*enas nFmeros ne$ati!os/ com a
se$uinte restri#oA / no *rimeiro caso diHemos 3ue o %imite da
fun#o o !a%or da fun#o *ara 3ua% a mesma tende 3uando - se
a*ro-ima de a *e%a direita/ no se$undo caso diHemos 3ue o %imite da
fun#o o !a%or da fun#o *ara 3ua% a mesma tende 3uando - se
a*ro-ima de a *e%a es3uerda.
8imite lateral pela direita
iHemos 3ue / 3uandoA
8imite lateral pela es5uerda
iHemos 3ue / 3uandoA
9nfinitos
B %8e *er$untaram o 3ue o infinitoP Certamente a%$um %8e deu uma
res*osta *otica a res*eito e de fato no sentido *otico/ o infinito
a%$o fascinante... )$ora ima$ine um nFmero abso%utamente t#o a%to
3uanto *oss+!e% !oc? conceber... Conse$uiuP Pois bem este n#o
infinito/ *ois a3ui/ fa%aremos desse nFmero como sendo a%$o t#o
inatin$+!e% 3ue nen8uma mente 8umana *oderia ima$inar. "nfinito
uma tend?ncia/ uma forma de re*resentar a%$o 3ue t#o a%to 3ue
Gamais *oder+amos atin$ir/ como se fosse um camin8o sem fim/ como
o destino de um cor*o sem obstcu%os e atrito no es*ao sem fim.
esta forma um nFmero 3ue s6 *odemos re*resentar como um
%imite... 1nt#o faamos um estudo de como re*resent@%o. )ntes de
mais nada *ensemos 3ua% a me%8or maneira de aumentar
sucessi!amente o !a%or de uma fun#o/ isto *oss+!e% faHendo di!ises
*or nFmeros menores 3ue 1/ ou seGa se fiHermosA
14
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ent#o *oderemos diHer 3ue
"sto o 3ue c8amamos de infinito matemtico e a *artir desta/ a
o*era#o in!ersa imediatamente dedut+!e%A
1ste um conceito im*ortant+ssimo na an%ise do c%cu%o e em di!ersos
cam*os das ci?ncias e-atas/ iremos nos a*rofundar a *artir deste
conceito *ara formar ferramentas 3ue ser#o Fteis em di!ersos estudos.
%end3ncias infinitas
Considere a fun#o / o seu !a%or Gamais u%tra*assar f(x)
Q 1 3uando tomamos !a%ores de - maiores 3ue 1/ faHendo sucessi!as
a*ro-imaes !emos 3ueA
e fato temos uma tend?ncia do !a%or da fun#o se i$ua%ar a 1 3uando
%e!amos - *ara nFmeros muito a%tos/ embora nunca a%cance o !a%or 1/
c8amamos isso de %imite no infinito/ ou tend?ncia infinita.
Podemos simbo%iH@%o destas formasA

ou
15
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender

2 mesmo *ode acontecer 3uando a*ro-imamos o !a%or de uma
!ari!e% inde*endente ao infinito ne$ati!o/ *e%o %ado es3uerdo da
fun#o/ ent#o *odemos re*resent@%a destas formasA

ou

Definio
4eGa L o nFmero *ara 3ua% uma fun#o f(x) tende a se i$ua%ar 3uando a
!ari!e% inde*endente - u%tra*assa o nFmero C/ c8amamos o nFmero L
de %imite %atera% *ositi!o no infinito se o definimos comoA
ta% 3ua% c8amamos o nFmero L de %imite %atera% ne$ati!o no infinito se
o definimos comoA
2s nFmeros s#o esco%8idos de forma a fornecerem o maior !a%or
*oss+!e% dentro do dom+nio da fun#o.
8imites infinitos
4e nos de*ararmos com uma fun#o onde o denominador decresce
!erti$inosamente at Hero/ o 3ue *odemos faHerP
1sta a t+*ica forma de funes 3ue crescem at o infinito/ neste caso
adotamos o !a%or da defini#o de infinito/ !isto 3ue n#o *oss+!e%
co%ocar 3ua%3uer !a%or. )dotamos ou / *ois / como
G definimos anteriormente.
16
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Continuidade
2 bsico conceito de continuidade re*resenta a e-*ress#o da isen#o
de 3uebras na re$u%aridade da forma da fun#o/ 3uando a*resentamo@
%a sob a forma $rfica. 2 3ue temos 3ue ter em mente 3ue a fun#o
cont+nua em um inter!a%o do seu dom+nio sua!emente descrit+!e%/
cada !a%or *recedido de outro menor ou maior/ mas com uma
discreta !aria#o.
Definio
Para e-*rimir esse fato matematicamente/ definimos a fun#o cont+nua
f(x) no *onto Na/f(a)O/ ondeA
1stas tr?s condies est#o *resentes a*enas em funes 3ue n#o
*ossuem irre$u%aridades nas tend?ncias e !a%ores 3ue *roduHem. )s
funes cont+nuas s#o muito comuns dentro do uni!erso 3ue
ana%isamos/ a condi#o de continuidade e-i$ida sem*re 3ue temos
a!a%iar tend?ncias a !a%ores minFscu%os.
17
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Deriadas
9unes s#o criadas *ara ref%etir o com*ortamento de certos entes
f+sicos ou estados de !a%ores/ *orm e-iste outro meio *ara ana%isar o
com*ortamento dos nFmeros/ 3ue n#o con8ecemosI a deri!a#o um
*rocesso 3ue se destina a ana%isar as !ariaes no com*ortamento de
um conGunto de nFmeros/ e%a %ar$amente uti%iHada 8oGe em dia.
:amos criar os conceitos/ desde o in+cio/ *ara entender como est
fundamentada toda a base dos *rinci*ios de deri!a#o/ com estes
teremos meios de ana%isar !rios *rob%emas sob a 6tica infinitesima%.
9ntroduo (coeficientes angulares*
4eGa uma reta definida *e%os *ontos (x
1
/y
1
) e (x
'
/y
'
)I e-iste uma
re%a#o entre a distUncia dos dois *ontos 3ue e-*ressa a inc%ina#o da
retaI
efinimos como coeficiente an$u%ar de uma reta/ a se$uinte re%a#oA
2 resu%tado desta re%a#o um nFmero 3ue e-*ressa 3uanto a reta
est inc%inada com*arada com o ei-o - (!ari!e% inde*endente).
2 coeficiente m constante *ara 3ua%3uer se$mento de uma reta/ este
!isi!e%mente i$ua% K tan$ente do Un$u%o formado entre a reta e o
ei-o -. )$ora ima$ine o 3ue ter+amos se ao in!s de uma reta
ti!ssemos uma cur!a... 1m uma fun#o onde os *ontos n#o
acom*an8am um *adr#o %inear/ sem*re temos diferentes !a%ores de m
*ara cada *ar de *ontos 3ue tomamos *ara faHer o seu c%cu%o/ isso se
de!e ao fato de 3ue a inc%ina#o !aria de acordo com o contorno da
cur!a/ o 3ue nos su$ere 3ue cada *e3ueno se$mento da cur!a *ossui
um m diferente.
Considerando a fun#o f(x)/ ter+amos os *ontosA
18
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
*odemos faHerA
x
'
Q x
1
V Wx
e ter+amosA
1sta re%a#o nos d a inc%ina#o de cada se$mento de reta formado *or
um *ontoA (x/f(x)) e outro estabe%ecido *e%a distUncia Wx/ 3ue nos
forneceA (x V Wx/f(x V Wx)). Podemos/ a *artir desta e3ua#o/
encontrar os !a%ores de m e !erificar 3ua% a inc%ina#o a*ro-imada da
cur!a *ara cada *ontoI note 3ue 3uando diminuimos o Wx a e3ua#o se
torna mais *recisa/ *ois cada se$mento da cur!a 3ue ana%isado se
torna menor/ %o$o temos condies de ana%iHar mais se$mentos da
cur!a.
Definio
"ma$inemos 3ue *ara cada *ar de *ontos ten8amos uma reta/ com seu
res*ecti!o JmJ/ como !imos anteriormente e-iste uma maneira de
re%acionar a dec%i!idade a cada *onto da cur!a...
:eGamos o $rfico a se$uirA
19
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9i$ura '
) fun#o f(-)/ e-*ressa *e%o $rfico/ a*resenta uma sinuosidade no
inter!a%o entre J(x7/y7)J e J(x3/y3)J/ a fun#o n#o a*resenta nen8uma
ru*tura ou sa%to neste inter!a%o. ,raamos as retas Jr1J/ Jr'J e Jr3J/
entre um *onto fi-oA J(x7/y7)J e J(x3/y3)J/ J(x'/y')J / J(x1/y1)J
res*ecti!amente/ desta forma/ *odemos obser!ar 3ue Jr1J *ossui uma
inc%ina#o maior 3ue Jr'J e esta *ossui uma inc%ina#o maior 3ue Jr3J/
*orm obser!amos ainda/ 3ue a reta Jr3J a*resenta uma forma simi%ar
ao se$mento inicia% da fun#o/ entre os !a%ores 7 e Jx7J no seu
dom+nio.
2 3ue im*ortante saber 3ue os !a%ores das inc%inaes das retas se
a*ro-imam de uma simi%aridade Ks inc%inaes nas re$ies *r6-imas ao
*onto inicia% J(x7/y7)J a medida 3ue a distUncia entre os !a%ores de JxJ
diminuem.
) maneira de %e!armos o !a%or da inc%ina#o da reta o mais *r6-imo da
inc%ina#o da fun#o diminuir a distUncia entre os *ontos at o %imite
de sua a*ro-ima#o/ ou seGa/ se fiHermos com 3ue a distUncia entre
cada *onto/ tomado *ara o c%cu%o de m/ em re%a#o ao *r6-imo/ seGa
t#o *e3uena 3ue cada *onto se torne 3uase id?ntico ao *r6-imo/ ent#o
teremos um m *ara cada *onto da cur!a/ desta formaA
Xma !eH 3ue temos um !a%or deste %imite *ara cada !a%or de x/
criamos uma no!a fun#o/ 3ue c8amamos de / a%m disso a no!a
20
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
fun#o obtida atra!s dos resu%tados de f(x)/ esse artif+cio de criar
uma fun#o 3ue nos d a dec%i!idade em cada *onto de uma outra
fun#o c8amado de derivao/ uma !eH 3ue criamos uma fun#o
3ue derivada da *rimeira.
) diferena entre os !a%ores de x
1
e x
'
/ 3uando %e!ada ao %imite
*r6-imo de Hero/ tambm c8amada de diferencia% JdxJ e a diferena
entre os !a%ores de y
1
e y
'
/ 3uando %e!ada ao %imite diferencia% JdxJ/
c8amada de diferencia% JdyJA
Por este moti!o/ esta o*era#o c8amada de diferencia#o/ *ois se
refere K cria#o de !ari!eis diferenciais/ neste caso dy e dx.
Diferenciabilidade
Para 3ue as diferenciais e *or conse3L?ncia/ a deri!ada de uma fun#o
em um determinado *onto *ossa e-istir/ certas condies de!em ser
obser!adasA 1m *rimeiro %u$ar/ o %imite da fun#o no *onto de!e
e-istir/ de*ois/ a fun#o de!e e-istir no *onto e seu !a%or ser i$ua% ao
%imiteI isso nos %embra a defini#o de continuidade e de fato/ 3uando a
fun#o *ode ser diferenciada e%a cont+nua no *onto.
2 fato de funes deri!adas serem cont+nuas se de!e a e-ist?ncia do
%imite e do !a%or da fun#o no *onto/ uma !eH 3ue torna@se *oss+!e% a
e-ist?ncia do nestes casos.
Portanto de!emos !erificar a continuidade de uma fun#o *ara
sabermos se esta diferenci!e%.
0egras bsicas
Para sim*%ificar os mtodos de deri!a#o a%$umas re$ras bsicas s#o
uni!ersa%mente uti%iHadas/ todas *artem do *rinc+*io fundamenta% da
21
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
defini#o e *odem ser faci%mente demonstradas atra!s do %imite da
defini#o e teoremas de %imites e funes.
%: ' ,oma e subtrao
4eGa a fun#o I sua deri!ada .
Demonstrao:
Pe%a defini#o temosA
e *ortantoA
%; ' <ultiplicao
4eGa a fun#o / ent#o sua deri!ada
.
Demonstrao:
Pe%a defini#o temosA
4omamos e subtraimos na e3ua#o anteriorA
22
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e *ortantoA
.
%= ' 0a1o
4eGa a fun#o / ent#o sua deri!ada
.
Demonstrao:
Pe%a defini#o temosA
Podemos %anar m#o de mais um artif+cio a%$brico e somar e subtrair
/ o 3ue nos dA
23
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e*ois 3ue a*%icamos os %imites/ resu%ta emA
%&> ' #ature1a alg7brica das diferenciais
4eGa dy e dx as difenciais de f(x) 3uando sua deri!ada
/ 1nt#oA
4e e-iste/ suas diferenciais *odem ser tratadas como duas
!ari!eis com caracter+sticas o*eracionais a%$bricas.
Demonstrao:
Pe%o teorema da raH#o do %imiteA
.
2 3ue nos d a *ossibi%idade de faHerA
esta forma/ os o*eradores dy e dx s#o %imites e *odem ser o*erados
como ta%/ de forma 3ue/ obedecendo Ks re$ras das o*eraes
a%$bricas dos %imites/ *odem ser se*arados.
%&& ' 0egra da cadeia
) fun#o com*osta nos d a *ossibi%idade de
$enera%iHar di!ersas funes/ *ermitindo a sua sim*%ifica#o/ a sua
deri!ada *ode ser conse$uida *e%a re%a#oA
Tue *ode ser !erificada 3uase 3ue imediatamente atra!s das
*ro*riedades a%$bricas das diferenciais/ de 3ua%3uer forma *odemos
demonstr@%a como se$ueA
24
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Para sim*%ificar a inter*reta#o do conteFdo/ usaremos a nota#o de
deri!ada em re%a#o K !ari!e% de*endenteI nesta nota#o co%ocamos
um D e um sobescrito da !ari!e% de*endente/ ou seGa/ o s+mbo%o D
t
(z)
indica a deri!ada de z em re%a#o a sua !ari!e% t.
)dotando esta nota#o *ara as deri!adas/ temosA
3ueremos D
x
(y) e sabemos 3ue / *ara isso
ter+amosA
Tuando ocorre 3ue / *ois as duas funes s#o
cont+nuas e u de*ende de x/ %o$oA
ent#oA
Derivadas Alg7bricas simples
Podemos deduHir/ a *artir das re$ras comuns e da defini#o/ e3uaes
3ue determinam a deri!ada *ara as funes mais comuns/ adiante
temos uma amostra destas e3uaes e suas demonstraes.
25
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%&+ ' constante
4eGa a fun#o f(x) Q c/ onde c constante e *ortanto/ inde*endente de
x/ demonstr!e% 3ue sua deri!ada nu%a/ *ois n#o e-iste !aria#o do
!a%or da fun#oI
Conforme constatamosA
%&- ' fator
4eGa a fun#o / onde c um fator constante e *ortanto/
inde*endente de x/ demonstr!e% 3ueA
%&/ ' ?arivel com e!poente constante
4eGa a fun#o f(x) Q x
n
/ onde n uma constante *ositi!a e / sua
deri!ada A
Demonstrao:
,emos *e%a defini#oA
26
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Considerando o %imite/ temosA
Como Fnica *arte re%e!ante/ *ois todas as outras ter#o !a%ores nu%os
no %imite/ isto *ro!a o teorema.
Diferenciao implcita
Considerando 3ue as diferenciais *odem ser tratadas se*aradamente e
3ue temos meios *ara tratar ambas as !ari!eis de uma e3ua#o/ a
*artir da re$ra da cadeia/ temos instrumentos *ara diferenciar
3ua%3uer e3ua#o 3ue re*resente uma fun#o cont+nua. 2 mtodo de
diferencia#o im*%+cita muito Fti% como meio de sim*%ificar a reso%u#o
de diferenciais onde a !ari!e% de*endente de 6rdem su*erior.
) idia mestra deste mecanismo tornar im*%+cito o conteFdo da
!ari!e%/ sem 3ue seGa necessria a sua substitui#o *or e3ui!a%ente
a%$brico antes da reso%u#oI :eGamos um e-em*%o *ara sim*%ificar a
e-*%ana#oA
) fun#o y
'
Y 'y Y 3 Q x
3
Y 3x
'
rea%mente com*%icada *ara ser
diferenciada *e%os mtodos 3ue !imos at a$ora/ *orm *odemos
es3uecer a reso%u#o da e3ua#o e considerar 3ue a diferencia#o
*ode/ im*%icitamente/ ser o*erada diretamente na e3ua#o inteira/
desta formaA
) *artir desta e3ua#o *odemos o*erar as diferenciais a%$ebricamente
*ara encontrar o !a%or da deri!ada .
27
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
) e3ua#o 3ue re*resenta a fun#o a*resenta dois !a%ores *ossi!eis
*ara ;A
2 3ue nos d duas deri!adas/ 3uando substituimos o !a%or de ; na sua
deri!adaA
4im*%ificandoA
esta forma *odemos encontrar 3ua%3uer diferencia% im*%icitamente/
reduHindo a com*%e-idade na a*%ica#o das re$ras de deri!a#o.
)*%icaes das deri!adas
:amos comear a co%ocar em *rtica esses conceitos 3ue a*rendemos
at ent#o/ a deri!ada de uma fun#o uti%iHada *ara di!ersas
fina%idades/ a%$umas de%as !amos e-*%orar neste ca*+tu%o/ *orm n#o
*oss+!e% $enera%iHar as a*%icaes 3ue *odemos atribuir Ks deri!adas/
muitos recursos *odem ser criados a *artir dos seus conceitos/
bastando *ara isto 3ue a criati!idade de cada mente *ossa se
manifestar.
) deri!ada a medida da dec%i!idade de uma reta tan$ente a cada
*onto da fun#o de onde sur$iu/ e%a tambm uma fun#o 3ue fornece
!a%ores re%ati!os de muita uti%idade/ *odemos tambm %embrar 3ue o
Un$u%o da reta tan$ente ao *onto da cur!a inicia% *ode ser encontrado
atra!s da deri!ada/ *ois a deri!ada fornece o !a%or da tan$ente deste
Un$u%o.
1nfim/ temos muito o 3ue e-trair das deri!adas/ e%as nos fornecem
!rios artif+cios *ara mani*u%ar os nFmeros em uma fun#o/
*ossibi%itando di!ersas maneiras de e-trair informaes/ e%as traHem
um no!o meio/ ca*aH de nos traHer no!as formas de ana%isar dados
numricos/ !eGamos o 3ue *odemos a*ro!eitar de imediato...
28
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%a!as
) maneira $enrica de re*resentar uma 3uantidade fracionada/ o 3ue
nos %e!a a uma 3uantidade dentro de di!ersos conteFdos a ta-a ou
re%a#oI de maneira efeti!a temos um tota% "x" de *ores "T" em "n"
reci*ientes/ esta sim*%es re*resenta#o mostra como uma ta-a
estabe%ecidaA
) ta-a uma re%a#o %inear/ 3ue *ressu*e o com*ortamento de
de*end?ncia direta entre os termosI se ti!ssemos 3ue re*resentar
esta ta-a em um $rfico/ onde !arissemos a 3uantidade de
reci*ientes "n" e ca%cu%ssemos o !a%or de "x"/ mantendo "T"
constante/ ter+amos uma reta. Z *%aus+!e% *ensar 3ue a ta-a "T"
constante/ *orm na natureHa e no nosso cotidiano encontramos
situaes 3ue raramente mostram a constUncia 3ue obser!amos nesta
e3ua#o/ o mais comum 3ue ten8amos uma ta-a diferente *ara cada
situa#o em 3ue nos de*aramos.
Xm caso t+*ico/ a medida de !e%ocidade de um cor*o em mo!imento/
se ima$inarmos um carro andando *e%as ruas de uma cidade/
im*oss+!e% !isua%iHar uma situa#o em 3ue o carro ten8a 3ue se manter
em !e%ocidade constante *or todo tem*o 3ue se mo!a a fim de c8e$ar
a seu destino. Xma !eH 3ue temos um *onto inicia% S
i
e um fina% S
f
/
a%m de um instante inicia% t
i
e um fina% t
f
/ tambm *odemos ca%cu%ar a
!e%ocidade mdia desen!o%!ida *e%o !e+cu%o neste traGeto/ 3ue A
ou
)$ora ima$ine 3ue ten8amos 3ue medir tem*os e distUncias cada !eH
menores/ o 3ue nos %e!aria a medir 3uase 3ue instantaneamente os
!a%ores/ ent#o ter+amos uma medida instantUnea da !e%ocidade/ isto
29
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e3ui!a%ente a faHer com 3ue o !a%or de Wt se a*ro-ime de HeroA
"sto n#o nos %embra a%$o con8ecidoP 1-atamente/ uma deri!adaI a
!e%ocidade medida a cada instante uma ta-a tomada 3uando os
tem*os de medi#o se a*ro-imam do %imite entre um e outro/ ent#o
teremos o !a%or da !e%ocidade *ara cada instante/ ta% 3ua% ter+amos se
esti!ssemos obser!ando o !e%oc+metro do carro...
) constata#o acima nos fornece um meio de ca%cu%ar/ a *artir de
!a%ores su$eridos/ o !a%or da !e%ocidade instantUnea/ *recisamos
a*enas da fun#o "s" em fun#o do tem*o/ de*ois *odemos obter a
deri!ada de "s" com re%a#o a "t" e teremosA

Tue a !e%ocidade instantUnea de 3ua%3uer cor*o 3ue ten8a seu
des%ocamento e-*resso *e%a fun#o s(t)/ todos os mo!imentos 3ue um
cor*o f+sico *ode desen!o%!er *odem ser e-*ressos sob este mtodo de
c%cu%o/ uma !eH 3ue 3ua%3uer cur!a de des%ocamento *ode ser
%anada na f6rmu%a da deri!ada/ *odendo ser ca%cu%ada em se$uida.
Podemos ainda faHer o c%cu%o da ace%era#o do mesmo cor*oA
2 3ue nos d a ace%era#o instant#neaA
ou
Cote 3ue ao deri!armos a fun#o s(t) duas !eHes estamos criando uma
deri!a#o du*%a/ 3ue *odemos simbo%iHar desta formaA
30
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
1sta e-*ress#o tambm con8ecida como Jderi!ada se$unda da
fun#oJ/ o termo Jse$undaJ desi$na o 3ue c8amamos de ordem da
deri!ada/ 3ue indica 3uantas !eHes a *rimeira fun#o foi deri!ada/
*ortanto temos o termo ordina% sem*re indicando 3uantas !eHes foi
ca%cu%ada a deri!ada.
Cote 3ue a deri!a#o consecuti!a de funes *uramente a%$bricas
sem*re %e!a a Hero/ isto ocorre *or3ue o $rau do *o%in=mio decresce
at 3ue reste a*enas uma constante/ a 3ua% resu%ta em Hero no F%timo
c%cu%o diferencia% subse3Lente.
<!imo, mnimo e m7dio
Considerando 3ue uma fun#o n#o constante de!e ter um !a%or
m-imo e outro m+nimo em um se$mento de seu dom+nio/ 3uais s#o as
*ossibi%idades de an%ise 3ue ter+amos com as suas deri!adas/ !isto
3ue estas e-*ressam tend?ncias da dec%i!idade da fun#oP
:eGamos o 3ue *odemos e-trair das deri!adas de uma fun#o/ 3ue s#o
e-*resses da dec%i!idade da cur!a 3ue a re*resenta e nos intui a
*ossibi%idade de ante!er o curso dos !a%ores da fun#o ao %on$o do
dom+nio.
!tremos de um intervalo
4eGa a fun#o f(x) cuGo dom+nio %imitamos em Na/bO/ a menos 3ue f(x)
seGa constante/
(1) 5 um numero n1 cuGo seu corres*ondente na ima$em f(n1)
menor 3ue todos os outros no dom+nio.
(') 5 um numero n' cuGo seu corres*ondente na ima$em f(n')
maior 3ue todos os outros no dom+nio.
31
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
#@meros crticos:
efinimos *or nFmero cr+tico/ o !a%or assumido *e%a !ari!e%
inde*endente/ de forma 3ue seu resu%tante na ima$em da fun#o
deri!ada seGa nu%o ou ine-istente/ o 3ue na maioria das !eHes se
a*resenta como um %imite infinito.
2u seGaA
f(x) tem deri!ada e c um nFmero cr+tico da fun#o seA
ou
%&2 ' ?alor e!tremo
Considere a$ora 3ue e-iste um nFmero c/ de forma 3ue / 3ue
dom+nio da fun#o f(x)/ *odemos *ro!ar 3ueA
4e
ou
4e
ent#o
Tuando temos um nFmero/ dentro do inter!a%o/ 3ue obedece as
condies acima/ diHemos 3ue um JnFmero cr+ticoJI todas as !eHes
3ue uma fun#o cont+nua tem um nFmero cuGo !a%or corres*ondente
na ima$em maior ou menor 3ue os !a%ores dos outros/ temos um
m-imo ou um m+nimo no inter!a%o/ intuiti!amente/ se a fun#o
cont+nua e 8 um !a%or maior ou menor 3ue os outros no mesmo
inter!a%o fci% conc%uir 3ue a fun#o ter 3ue !ariar sua cur!a/
!ariando a dec%i!idade de um !a%or *ositi!o *ara outro ne$ati!o/ o 3ue
nos %e!a a conc%us#o 3ue/ no %imite entre os dois/ e%a ter 3ue ser Hero/
fica c%aro ent#o 3ue 3uando 8 um e-tremo no inter!a%o/ o !a%or
numrico de sua deri!ada nu%o.
:eGamos a demonstra#o a%$brica do teoremaA
4eGa os nFmeros / onde c um nFmero cr+tico do inter!a%o
32
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
considerado/ inicia%mente/ obser!ando a deri!ada de f(c)/ 3uando este
!a%or o maior no inter!a%oA
e da mesma formaA
2 3ue nos %e!a a conc%uir 3ueA

Por outro %ado se f(c) o menor !a%or do inter!a%oA
e da mesma formaA
2 3ue nos %e!a a conc%uir 3ueA
Lo$o em ambos os casos o %imite 3ue nos d a deri!ada da fun#o em
c tem !a%or nulo.
Portanto sem*re 3ue temos um !a%or de uma fun#o 3ue e-tremo em
um inter!a%o/ seGa maior ou menor/ este ter sua deri!ada nu%a.
33
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%&4 ' %eorema de 0olle
1ste teorema ser!e de base *ara outras demonstraes e obser!aes/
tambm sendo im*ortante *ara conc%uses ao %on$o do estudo.
2bser!e o $rficoA
Figura -
Considerando uma fun#o f(x) e um inter!a%o fec8ado Na/bO/
obedecendo as se$uintes condiesA
I @ f(x) cont+nua em Na/bOI
II @ f(x) deri!!e% em (a/b)I
III @ f(a) Q f(b) Q 7
1nt#o *oss+!e% *ro!ar 3ue e-iste *e%o menos um nFmero c no
inter!a%o ta% 3ueA
1m decorr?ncia do fato 3ue a fun#o tem dois !a%ores i$uais *ara a e b/
a%m de ser deri!!e%/ isto im*%ica na e-ist?ncia de um nFmero cr+tico
c/ entre estes dois *ontos/ !isto 3ue o teorema ,15 demonstra este
fato/ a%m de afirmar 3ue este e-tremo tem deri!ada nu%a/ *ro!amos
34
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
3ue o teorema !a%ido *ara . Por outro %ado se f(x) Q 7 a
deri!ada de f(c) tambm nu%a/ !isto 3ue f(x) Y f(c) Q 7 3uando o
%imite a%canado/ *ortantoA
%&: ' %eorema do valor m7dio para derivadas
,omemos dois nFmeros em um inter!a%o fec8ado Na/bO/ 3uando uma
fun#o f(x) cont+nua neste inter!a%o temos *e%o menos um nFmero c/
o 3ua% *roGeta sobre a ima$em da fun#o um !a%or f(c) de forma 3ue a
sua deri!ada i$ua% ao !a%or da dec%i!idade da reta entre os *ontos
[Na/f(a)OINb/f(b)O\.
) e-*%ica#o deste fato faci%mente obser!ada no $rfico de 3ua%3uer
fun#o cont+nua em um dado inter!a%o/ uma !eH 3ue a cur!a n#o
a*resenta ru*turas ao %on$o de seu traado e entre os *ontos 8 *e%o
menos uma sinuosidade sim*%es ou uma reta/ 8a!er uma *ro$ress#o
continuada da dec%i!idade de um *onto em dire#o K dec%i!idade do
outro/ neste caso a cur!a ter sem*re 3ue re*roduHir !a%ores de
dec%i!idade de um e-tremo a outro/ de forma 3ue teremos
ine!ita!e%mente um *onto cuGa reta tan$ente ser *ara%e%a a reta
definida *e%os dois *ontos citados.
)%$ebricamenteA
Tueremos conc%uir 3ue onde m o coeficiente an$u%ar da
reta determinada *e%os !a%ores a/b e seus conse3Lentes na ima$em da
fun#oA f(a)/f(b).
teremosA
35
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Anlises de declive e concavidade
Xma interessante a*%ica#o da deri!ada a an%ise de tend?ncias da
fun#o/ o resu%tado desta deri!ada est %i$ado a dec%i!idade da reta
Jtan$ente ao *ontoJ/ uma !eH 3ue a tan$ente/ nos dois *rimeiros
3uadrantes do *%ano cartesiano/ a*resenta uma distin#o c%ara de!ido
K mudana de sina%/ isso *ossibi%ita uma boa $ama de informaes *ara
a an%ise de seu com*ortamento e *or conse3L?ncia/ da fun#o 3ue a
ori$inou.
%&; ' %este da derivada primeira
2 coeficiente an$u%ar da reta 3ue *assa *or um *onto da cur!a em
uma fun#o/ nos re!e%a uma tend?ncia 3ue !aria conforme a tan$ente
desta reta/ tomando como refer?ncia o ei-o x/ 3uando a fun#o
crescente os !a%ores das deri!adas *ara os mesmos/ de x s#o sem*re
*ositi!os/ en3uanto 3ue 3uando a fun#o decrescente estes s#o
sem*re ne$ati!os. 2 3ue nos su$ere o se$uinte testeA
4eGa a fun#o f(x) em um inter!a%o Na/bO/ diHemos 3ue a fun#o
crescente 3uandoA
)inda *odemos afirmar 3ue/ 3uando a fun#o decrescenteA
1 fina%mente/ se a fun#o n#o a*resenta tend?ncias/ *ermanecendo
ina%terada at o %imite do *ontoA
Z *oss+!e% *ro!ar o teorema/ *e%a an%ise da defini#o da fun#o
deri!ada/ da se$uinte formaA
4e f(x) cont+nua/ e-iste ta% 3ueA
36
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
onde x
b
M x
a
.
Como o denominador *ositi!o/ nos resta ana%isar o sina% do resu%tado
no numerador/ se f(x
b
) M f(x
a
) e *ortanto/ 3uando a fun#o crescente
no inter!a%o/ teremos / *or outro %ado se f(x
b
) ] f(x
a
)
teremos uma fun#o decrescente no inter!a%o e .
Co F%timo caso/ se ent#o a reta 3ue *assa *e%o *onto NxIf(x)O
*ara%e%a ao ei-o x/ o 3ue indica um e-tremo ou um *onto de
transi#o na tend?ncia de crescimento da cur!aI e-*%icando me%8orA 4e
os !a%ores da fun#o est#o crescendo e o *onto em 3uest#o tem
deri!ada nu%a/ ou a fun#o atin$e o maior !a%or no inter!a%o/ ou atin$e
um *onto de transi#o na tend?ncia de crescimento/ *assando de
crescente *ara decrescenteI 3uando a fun#o est decrescendo *assa
de decrescente *ara crescente.
%&= ' %este da derivada segunda
4eGa a fun#o f(x)/ diHemos 3ue a deri!ada se$unda/ com a
3ua% *odemos *ro!ar 3ueA
ado o inter!a%o Na/bO/ onde e-iste um nFmero A
4e ent#o f(c) fornece o !a%or m-imo no referido inter!a%o.
)inda *oderemos afirmar 3ueA
4e ent#o f(c) fornece o !a%or m+nimo no referido inter!a%o.
Anlise:
Consideremos a deri!ada se$unda .
,omando o !a%or de N(x
'
Y x
1
) M 7O *odemos !erificar o 3ue ocorre
com o numeradorA
4e sabemos 3ue a dec%i!idade da cur!a em f(x
'
)
menor 3ue a dec%i!idade de f(x
1
)/ como em c temos um !a%or cr+tico/
37
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
temos 3ue conc%uir 3ue este re*resenta um m-imo/ !isto 3ue os
!a%ores est#o diminuindo 3uando s#o diferentes de c/ ou seGa/ todos os
!a%ores decrescem a medida nos des%ocamos no ei-o x/ *ortanto f(c)
a*enas *ode assumir o !a%or m-imo no inter!a%o.
4e sabemos 3ue a dec%i!idade da cur!a em f(x
'
)
maior 3ue a dec%i!idade de f(x
1
)/ como em c temos um !a%or cr+tico/
temos 3ue conc%uir 3ue este re*resenta um m+nimo/ !isto 3ue os
!a%ores est#o aumentando 3uando s#o diferentes de c/ ou seGa/ todos
os !a%ores crescem a medida nos des%ocamos no ei-o x/ *ortanto f(c)
a*enas *ode assumir o !a%or m+nimo no inter!a%o.
Concavidades
,emos formas c=nca!as em todo $rfico 3ue a*resenta !ariaes/ a
deri!ada se$unda tambm *ode nos re!e%ar outra caracter+stica
interessante 3uando faHemos seu c%cu%o e a re%acionamos K
conca!idade em um inter!a%o da cur!a... Como a deri!ada se$unda
ref%ete a tend?ncia de crescimento ou decrscimo da dec%i!idade/
temos como !erificar 3ue o seu sina% indica se a conca!idade do $rfico
*ara cima ou *ara bai-o/ ou seGaA
4e a conca!idade da cur!a est !o%tada *ara cima.
e!ido ao fato de 3ue 8 uma tend?ncia de crescimento da dec%i!idade
na3ue%e inter!a%o.
4e a conca!idade da cur!a est !o%tada *ara bai-o.
e!ido ao fato de 3ue 8 uma tend?ncia de decrscimo da dec%i!idade
na3ue%e inter!a%o.
.ontos de infle!o
) inf%e-#o uma indefini#o transit6ria das tend?ncias da fun#o em
um determinado *onto/ diHemos 3ue o *onto onde a fun#o *assa da
condi#o de tend?ncia ao crescimento *ara tend?ncia ao decaimento/
ou !ice !ersa/ c8amado de *onto de inf%e-#o. e forma $era%/ 3uando
a fun#o *assa de uma ta-a de !aria#o *ositi!aA ou
38
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ne$ati!aA ou !ice !ersa/ e%a *assa *or um *onto de inf%e-#o.
Considerando o nFmero cr+tico c/ *ara uma fun#o f(x)/ o *onto de
inf%e-#o definido como a3ue%e onde ocorre a in!ers#o na tend?ncia da
dec%i!idade/ ou seGa/ 3uandoA
ou
,ambm *oss+!e% demonstrar 3ueA
2 3ue torna *oss+!e% identificar o nFmero cr+tico do *onto de inf%e-#o a
*artir da deri!ada se$unda da fun#o.
sboo de grficos
Podemos uti%iHar os conceitos a*rendidos neste ca*+tu%o *ara faHer
esboo de $rficos/ a uti%idade deste artif+cio se mostra muito Fti% na
an%ise de $randeHas f+sicas e 3u+micas.
Z im*ortante %embrar 3ue os nFmeros cr+ticos !erificados com o teste
da deri!ada *rimeira s#o diferentes dos conse$uidos com a deri!ada
se$unda/ *odemos adotar uma nota#o inde-ada *ara identific@%os/
assim temosA c
1
*ara o *rimeiro caso e c
'
*ara o se$undo.
Para esboar o $rfico de uma fun#o descon8ecida *odemos e-trair as
raiHes e o !a%or da fun#o 3uando x nu%a/ a%m disso *odemos
!erificar os *ontos em 3ue a fun#o a*resenta nFmeros cr+ticos/
e-traindo a deri!ada *rimeira/ a deri!ada se$unda e reso%!endo as
e3uaesA e / !erificando os *ontos onde as
deri!adas n#o e-istemI a *artir de ent#o *odemos !erificar as
tend?ncias de crescimento ou decaimento entre nos inter!a%os entre os
39
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
nFmeros cr+ticos/ as raiHes/ *ontos de inf%e-#o e conca!idades.
2b!iamente/ os resu%tados numricos em *ontos onde n#o e-istem
nFmeros cr+ticos n#o fornecem *recis#o *ara uma a!a%ia#o de !a%ores/
*orm *ara a an%ise do com*ortamento da fun#o e/ em a%$uns casos/
na !isua%iHa#o de formas $eomtricas/ este mtodo bastante Fti%.
9ntegrais
Xma !eH 3ue *odemos ana%isar a !aria#o de determinados !a%ores em
uma fun#o/ como *oder+amos re!erter a an%ise/ ou seGa/ se *oss+!e%
criar uma fun#o a *artir de outra uti%iHando a diferencia#o/ o 3ue
ter+amos se fiHssemos a o*era#o in!ersaP 1sta uma 3uest#o 3ue
nos %e!a a mais um mtodo do c%cu%o/ a inte$ra#o uma forma de
re!erter a deri!a#o/ com e%a temos um artif+cio *ara recu*erar a
fun#o ori$ina% a *artir da sua deri!ada. 2utra caracter+stica
interessante da inte$ra% 3ue o !a%or numrico de uma inte$ra%
definida e-atamente em um inter!a%o corres*ondente ao !a%or da
rea do desen8o de%imitado *e%a cur!a da fun#o e o ei-o x
(abscissas). :amos ana%isar em se$uida como funciona o mecanismo
bsico de inte$ra#o e nos ca*+tu%os se$uintes nos a*rofundaremos no
tema/ 3ue bastante !asto.
Xma bre!e introdu#o dos conceitos 3ue deta%8aremos neste ca*+tu%o
*ode ser encontrada emA
) ^i_i*dia *ossui o arti$oA
9ntegral.
Antiderivadas e antidiferenciais
Como *rocedemos *ara re!erter a deri!a#oP 2 *rinc+*io !erificado
atra!s da an%ise da in!ers#o/ da se$uinte formaA
Considere a fun#o F(x) Q f(x) V cuGa deri!ada / ent#o
diHemos 3ue F(x) a antideri!ada de / a nossa *rimeira
40
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
constata#o 3ue a fun#o *rimiti!a inc%ui uma constante/ 3ue durante
o *rocesso de deri!a#o descartada/ G 3ue sua deri!ada nu%a/ se
fiHermos o *rocesso in!erso *ara obter a fun#o ori$ina% ter+amos
*ara o*erar e conse$ui@%o/ isso nos %e!a a uma indefini#o da fun#o
obtida atra!s da antidiferencia#o/ a menos 3ue con8eamos o !a%or
da constante. 4e 3uisermos obter a fun#o ori$ina% ter+amos 3ue
o*erar e Hero/ o *rimeiro re3uesito / a *rinc+*io/ *%aus+!e% de
ser conse$uido/ *orm o*erar Hero *ara obten#o de 3ua%3uer
constante *arece a%$o n#o conceb+!e%.
Podemos ent#o diHerA
) antideri!a#o o *rocesso *e%o 3ua% o*eramos a deri!ada de uma
fun#o
*ara encontrar a sua e-ata fun#o *rimiti!a.
2 3ue nos %e!a a conc%us#o 3ue a antideri!a#o e-i$e 3ue ten8amos
meios *ara encontrar a constante 3ue *ertencia a fun#o 3uando e%a foi
deri!ada/ ou 3ue dedues/ a *artir de suas caracter+sticas e dos
fen=menos uti%iHados *ara sua formu%a#o/ *ossam fornecer a
constante.
) antidiferencia#o/ o*era a*enas os *rocessos *ara dedu#o de um
esboo da
fun#o/ o 3ue c8amamos de f6rmu%a $era%/ no formatoA f(x) V .
Como *odemos encontrar di!ersas constantes/ temos di!ersas funes/
o 3ue nos d a *ossibi%idade de o*erar/ *or e-em*%o as funesA
deri!adas de / mesmo 3ue
/ ao o*erarmos as funes deri!adas uti%iHando a
antidiferencia#o teremos / 3ue n#o nos $arante meios de
encontrar as *rimiti!as/ !isto 3ue n#o con8ecemos meios *ara deduHir
as constantes.
Definies
)o o*erar a in!ersa da deri!ada/ *odemos faHer a an%ise com as
diferenciais/ ou seGa/ cosidere a fun#o y Q f(x) V / ent#o temosA
/ o 3ue nos %e!a a a%$o muito interessanteA
41
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue nos %embraA
,emos ainda 3ue y Q f(x) V / faHendo@nos deduHir 3ue *recisamos
o*erarA
Para encontrar y.
1sta o*era#o c8amada de antidiferencia% e simbo%iHada *orA
2nde (f) a fun#o e (d) a diferencia% da !ari!e% inde*endente.
e forma mais com*%eta a antidiferencia% da fun#o A
onde a constante 3ue define a fun#o *rimiti!a.
$peraes bsicas
) antidiferencia#o uma o*era#o 3ue tende a ser com*%icada na
maioria das funes/ ao %on$o do nosso estudo !eremos mtodos *ara
sim*%ificar o *rocesso/ *orm e-istem formas de funes 3ue n#o
*odem ser o*eradas nesse *rocesso. )%$umas das re$ras bsicas *ara
o*era#o de antidiferenciais ser#o abordadas nas sees subse3Lentes/
outras re$ras ser#o abordadas nos *r6-imos ca*+tu%os. e!ido a
com*%e-idade 3ue en!o%!em o *rocesso/ muitos dos mtodos
necessitam de a%$uma re$ra 3ue ainda n#o estudamosI *ara n#o
co%ocar 3uestes 3ue n#o *ossam ser esc%arecidas neste ca*+tu%o
teremos 3ue dei-@%as *ara o momento o*ortuno/ 3uando todos os
e%ementos necessrios *ara a aborda$em do assunto esteGam bem
c%aros.
%+> ' Diferenciais
) diferencia% dx ao ser o*erada *e%a antidiferencia#o/ resu%taA
42
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Com constante.
Comprovao:
e fato se F(x) Q x V A
%+& ' Constantes
) constante c o*erada como coeficiente da !ari!e% inde*endente/ de
forma 3ue sua antidiferencia% A
Comprovao:
4e fiHermosA / teremosA
Conforme o teorema ,13 @ fator.
%++ ' Adio
4e f(x) Q g(x) V !(x) ent#oA
Comprovao:
4e f(x) o resu%tado da soma de duas antidiferenciais/ %o$oA
1.,emos 3ue admitir 3ue g(x) e !(x) s#o diferenciaisI
'.) soma de diferenciais admite 3ueA
1.4e g(x) Q dm e !(x) Q dn/ temosA g(x) V !(x) Q dm V dn
'.4endo/ *ortanto/ *oss+!e% faHerA g(x) V !(x) Q d(m V n)
3.)%m dissoA 4e (m V n) Q " ent#o/ *odemos faHerA f(x) Q d"
43
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Portanto/ *e%a an%ise da re!ersibi%idade/ *oss+!e% constatar 3ue a
adi#o de duas antidiferenciais *ode ser o*erada distributi!amente/ o
3ue atesta a re$ra 3ue e-*omos.
%+- ' ?arivel com e!poente constante (antidiferencial*
4eGa a fun#o f(x) Q x
n
onde n constante/ sua antidiferencia% A
I ondeA
2nde constante.
Comprovao:
%+/ ' 0egra da cadeia para antidiferenciais
4eGa as funes f(u) e u Q g(x)/ cont+nuas em seus dom+nios ou no
inter!a%o a 3ue se *ro*e a an%ise em 3uest#o. ) antidiferencia% da
fun#o com*osta f(u) com re%a#o a x A
2nde a constante 3ue define a *rimiti!a.
Comprovao:
Xma !eH 3ueA
u Q g(x) / temosA
44
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue nos *ossibi%ita o*erar/ *or substitui#oA
/ obtendoA
*ara definir a antideri!ada/ usamos a constante A
2 3ue com*ro!a a re$ra.
9ntroduo a e5uaes diferenciais
Considerando a 3uest#o da indefini#o criada *e%a diferencia#o/ o
*rocesso de antidiferencia#o traH uma conse3L?ncia indeseG!e% *ara
o *rocesso de e3uacionamento de diferenciais. Tuando uma e3ua#o
diferencia% *ro*osta/ a constante de antidiferencia#o faH com 3ue o
*rocesso de reso%u#o seGa bastante *reGudicado/ o 3ue e-i$e 3ue
ten8amos tcnicas es*eciais *ara tentar reso%!?@%a. 9aremos a$ora
uma bre!e introdu#o aos conceitos de e3uaes diferenciais/ *orm/ o
estudo com*%eto do tema demanda um a*rofundamento maior *or
*arte dos interessados/ ao %on$o dos nossos estudos teremos meios
*ara sim*%ificar o *rocesso/ embora 3ue a so%u#o de muitas e3uaes
diferenciais 3uando n#o s#o im*oss+!eis e-i$em muito esforo e
dedica#o.
Diferenciais de primeira ordem
4eGa a e3ua#o / a sua deri!ada e-*ressa comoA
45
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
sendo uma constante arbitrria/ definida *e%as caracter+sticas das
dedues 3ue ori$inaram a e3ua#o.
2 3ue resu%ta na e3ua#o diferencia%A
1sta e3ua#o denominadaA 5uao diferencial de primeira
ordem/ !isto 3ue ori$inada de uma deri!ada *rimeira/ o 3ue *ermite
faci%mente se*arar as !ari!eis diferenciais. Por outro %ado/ como meio
*ara re!erter o *rocesso de diferencia#o/ faHemosA
Com constanteI %embre@se 3ue uma constante n#o definida/ a
constante ori$ina% .
Pe%o e-*osto deduHimos 3ue a e3ua#o assumir a formaA
y Q f(x) V
Porm/ como C uma constante indefinida/ temos uma fun#o ainda
indefinida.
Constante antidiferencial
) constante resu%tante da indefini#o na antidiferencia#o e-*ressa
na e3ua#o diferencia% como obser!amos na se#o anterior/ *ara
aumentar as *ossibi%idades da an%ise/ cosideremo@%a como !ari!e%/ ao
faHer isto temos um com*ortamento interessante *ara a fun#o
resu%tanteI 3uando atribuimos !a%ores a esta !ari!e% temos uma
e3ua#o *ara cada !a%or assumido *e%a mesma/ se obser!armos mais
atentamente/ descobriremos 3ue o $rfico da fun#o mantm a forma/
*orm !aria a a%tura em re%a#o ao ei-o das abscissas (!ari!e%
inde*endente)/ ou seGa/ a e3ua#o antidiferencia% fornece um conGunto
de cur!as/ o 3ue *ossibi%ita uma infinidade de !a%ores.
2 3ue definiria a esco%8a de uma constante em *articu%arP ) constante
definir 3ua% a cur!a 3ue obedece o com*ortamento es*e%8ado *e%os
nFmeros 3ue com*em a cur!a a ser esco%8ida. e fato basta um *ar
46
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ordenado definido dentro do conGunto de nFmeros 3ue obedecem K
e3ua#o e teremos a defini#o da fun#o e-ata. 1m !rias reas onde
*odemos uti%iHar estas e3uaes temos a defini#o deste *ar ordenado
a *artir do com*ortamento dos nFmeros 3ue s#o obser!ados ou
deduHidos/ na maioria das !eHes este *ar de nFmeros c8amado de
estado inicial/ *ois estabe%ece o com*ortamento da e3ua#o 3uando
os !a%ores das !ari!eis s#o con8ecidos inicia%mente.
Co nosso caso da se#o anterior cose$uimos a f6rmu%a $era%A
y Q f(x) V
Certamente/ *odemos afirmar 3ueA
Tuando f(x) Q 7 temos *oisA
Z uma afirma#o fci% de ser encontrada/ uma !eH 3ue con8ecemos a
e3ua#o ori$ina%/ *orm se n#o a con8ecemos/ a obser!a#o e a
dedu#o %6$ica de!em ser usadas *ara encontr@%a. )%$umas !eHes
*odemos nos *er$untarA Easta@nos con8ecer o conGunto de e3uaes
ou *recisamos de uma e3ua#o es*ec+ficaP 2 mrito desta 3uest#o
de!e ser a!a%iado de acordo com a necessidade da an%ise a ser feita/
cabendo ao ana%ista !erificar 3uais s#o seus re3uesitos dentro do 3ue
se *ro*e a !erificar.
A integral indefinida
4eGa a antidiferencia%A
2bser!amos 3ue a mesma corres*onde a uma o*era#o sobre
*e3uenas sees de rea/ *ois f(x)dx corres*onde a mu%ti*%ica#o de
47
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
um se$mento numrico de %ar$ura/ dx/ *e%a a%tura/ o !a%or da fun#o
a*ro-imada ao %imite em cada *onto.
) o*era#o da forma 3ue se a*resenta estende@se de a .
)na%isando 3ua% a natureHa desta o*era#o/ *odemos tomar dois
!a%ores *ara dx/ seGamA dx
1
e dx
'
/ sendo / 3uando
ana%isamos este fato conc%uimos 3ue a rea do inter!a%o menor est
dentro da rea do maior/ !emos 3ue a o*era#o com*orta@se como
uma soma de reas/ se somarmos todas as com*onentes de reas ao
%on$o da cur!a teremos uma rea de%imitada *e%a cur!a e o ei-o x.
C8amamos esta o*era#o de integral/ seu s+mbo%o o mesmo da
antidiferencia#o/ *ois de!ido aos fatos acima introduHidos e ao
teorema fundamenta% do c%cu%o/ 3ue discutiremos adiante/ a o*era#o
de antidiferencia#o *ode ser c8amada de integral indefinida.
A integral definida
)*rofundando o conceito de 3ue 8 uma soma de *e3uenos se$mentos
de rea *ara cada *onto em uma cur!a/ *odemos de%imitar uma se#o
da cur!a/ atra!s da ado#o de um inter!a%o/ desta forma teremos
uma rea definida/ a 3ua% c8amamos de inte$ra% definida. )ntes de
deta%8ar o *rocesso *ara encontrar a referida rea faH@se necessrio a
obser!a#o de conceitos 3ue ser#o Fteis *ara seu desen!o%!imento/ o
*r6-imo t6*ico abordar a somat6ria/ um *rocedimento 3ue faci%itar o
estudo das somas sucessi!as 3ue *ro*omos ana%isar.
,omatArias
Considere a o*era#oA # Q a
1
V a
'
V a
3
V a
3
V a
4
V ...a
n
/ c8amamos
esta o*era#o de somat6ria/ e%a simbo%iHada *e%a %etra $re$a si$ma
(`)/ uti%iHando a nota#o escrita como se$ueA
48
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 si$nificado deste s+mbo%o faci%mente com*reendidoA ) !ari!e% i
c8amada de +ndice/ o nFmero n a 3uantidade de *arce%as/ ocorre
3ue/ ao substituir estes !a%ores na e-*ress#o a
i
/ faHemos de forma
se3Lencia%/ somando um !a%or ao anterior/ como descrito na o*era#o
acima/ o 3ue resu%tar no !a%or fina% de #/ *retendido na referida
o*era#o.
.ropriedades
%+2 ' Constante
com c constante.
Comprovao:
n !eHes.
%+4 ' Fator
com c constante.
Comprovao:
49
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%+: ' Adio
Comprovao:
%+; ' !cluso de termo antecedente
Comprovao
Definio da 9ntegral de 0iemann
2 conceito de inte$ra% est %i$ado K necessidade de encontrar a rea de
cur!as/ as aborda$ens tomadas *ara so%ucionar o *rob%ema do c%cu%o
de reas cur!as encontram sem*re o mesmo resu%tado. Para n#o nos
e-tendermos muito/ faremos uma e-*%ana#o do *rocesso c8amadoA
9ntegral de 0iemann/ o 3ua% um dos mais con8ecidos.
:eGamos o $rfico abai-oA
50
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Integral de $iemann
Figura /
2 $rfico mostra uma fun#o sinuosa/ se fiHermos sees retan$u%ares
*ara imitar o contorno das cur!as teremos uma maneira $rosseira de
ca%cu%ar a rea de%imitada *e%a cur!a e o ei-o x/ uma !eH 3ue temos a
*ossibi%idade de aumentar a 3uantidade de retUn$u%os/ *odemos
aumentar a *recis#o dos nossos c%cu%os... 4e fiHermos com 3ue o
nFmero de retUn$u%os aumente numa tend?ncia ao infinito/ teremos o
!a%or da rea.
Consideremos a fun#o do $rficoA y Q f(x)/ a sua inte$ra% entre os
!a%ores de -A a e b A
C8amamos o inter!a%o Na/bO de partio e simbo%iHamos comoA W. )o
di!idirmos o inter!a%o Na/bO em n J*edaosJ(sees) temos a
*ossibi%idade de definir o taman8o de cada um/ *orm a re$ra de
(iemann mais f%e-+!e% e estabe%ece 3ue *odemos ter *edaos de
taman8os diferentes/ de forma 3ue ten8amos a*enas 3ue estabe%ecer
os !a%ores de x ta% 3ueA . Xma !eH
3ue estabe%ecemos os !a%ores dos -/ *odemos arbitrar um *onto
intermedirio entre e%es *ara 3ue seGa o *onto onde definiremos o
!a%or da fun#o/ este *onto ser im*ortante *or3ue e%e estabe%ecer a
a%tura do retUn$u%o. 2 !a%or de x/ 3ue determinar o *onto da a%tura de
cada retUn$u%o referenciado como (a)/ referenciamos estes *ontos
51
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
comoA .
) base dos retUn$u%os Wx
n
/ onde os !a%ores *odem !ariar %i!remente/
*orm 8 sem*re um retUn$u%o 3ue *ossui a maior base/ 3ue
c8amamos de norma da *arti#o Na/bO/ simbo%iHada *or .
Podemos somar todos os retUn$u%os da *arti#o/ faHendo o c%cu%o
a*ro-imado da rea/ da se$uinte maneiraA
) inte$ra% obtida 3uando faHemos os retUn$u%os t#o *e3uenos 3ue
*oderemos considerar suas bases 3uase nu%as/ *ara isso *odemos
di!idir a *arti#o em *edaos de Na/bOA
2 3ue nos *ermite de%imitar a norma e definir a sua tend?ncia a
Hero/ tambm nos d a *ossibi%idade de definir a inte$ra% comoA
.ropriedades da integral definida
)%$umas *ro*riedades s#o obser!adas a *artir dos conceitos e-*ostos
sobre a inte$ra%/ s#o re$ras *ara sim*%ificar a%$umas o*eraes/ mas
3ue *odem ser Fteis *ara o estudo de teoremas 3ue !eremos em
ca*+tu%os mais adiante/ !eGamos as *ro*iedades e suas com*ro!aesA
4eGam f(x) e g(x)/ funes cont+nuas no inter!a%o Na/bO/ *odemos
afirmar 3ueA
%+= ' 8imites iguais
Comprovao:
52
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Podemos obser!ar 3ue/ ao tomarmos o inter!a%o Na/bO/ di!idindo@o em
n *edaos/ teremosA
4endo b Q a teremosA
ent#oA
W
i
x Q 7 eA
2 3ue com*ro!a o teorema.
%-> ' Fator do integrando
4endo % constanteA
Comprovao:
3ue i$ua% aA
2 3ue com*ro!a o teorema.
53
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%-& ' 9nverso dos limites
Comprovao:
Co!amente tomando o inter!a%o Na/bO/ di!idindo@o em n *edaos/
teremosA
Portanto Wx fator determinante do sina%. 4e tomarmos a inte$ra% no
inter!a%o Na/bO e in!ertermos a sua *osi#o no c%cu%o/ teremosA
Lo$o/ tomando como Wx i$ua% a tomar como Y Wx.
2 3ue com*ro!a o teorema.
%-+ ' Adio
Comprovao:
4endo a inte$ra%A
%o$oA
2 3ue com*ro!a o teorema.
54
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%-- ' ,ees complementares
4endo c constante e a ] c ] bA
Comprovao:
,omando o inter!a%o entre a e c e faHendo a re%a#oA
e
2 W um !a%or 3ue *ode ser atribu+do Ks duas re%aes/ *ortanto
*odemos faHerA
Tue seme%8ante a *ro*riedade da soma das reas de dois obGetos
3ue formam um cor*o maior/ 3ue costumamos usar na $eometria e
3ue *ro!a o teorema.
%-/ ' ?alor m7dio
4eGa a se#o Na/bO no dom+nio da fun#o f(x)/ diHemos 3ue & o !a%or
mdio da fun#o neste inter!a%o/ sendo seu !a%or definido como se$ueA
55
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Comprovao
2 !a%or mdio de uma fun#o e-*resso *e%a fun#o abai-oA
2nde '
i
re*resenta um !a%or em *articu%ar. 4endo f(a
i
) o !a%or da
fun#o *ara cada retUn$u%o/ *odemos faHer a sua mdia da se$uinte
formaA
Por outro %ado/ *odemos faHer com 3ue o n seGaA
%o$oA
Xma !eH 3ue o Wx um !a%or muito $rosseiro/ *odemos encontrar o
%imite 3uando a norma da *arti#o tende a ser nu%a/ desta formaA
2 3ue com*ro!a o teorema.
%-2 ' %eorema fundamental do clculo
4eGa a fun#o f(x) cont+nua no inter!a%o Na/bO/ a sua inte$ra% definida
56
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
entre a e b obtida *e%a o*era#o 3ue se$ueA
2ndeA
C8e$amos ao *onto cu%minante deste estudo inicia% sobre as inte$rais/
este teorema/ c8amado de %eorema fundamental do clculo/ a
base de nossas an%ises mais es*ec+ficas nos *r6-imos ca*+tu%os/ e%e
afirma 3ue a inte$ra% definida *ode ser obtida atra!s da
antidifererncia% da fun#o/ *ara ta%/ adotamos a se$uinte nota#o A
Comprovao:
e!emos demonstrar 3ue a deri!ada de i$ua% a f(x).
Como *odemos obser!ar/ 3uando ca%cu%amos o !a%or da inte$ra%
definida/ !ariamos o %imite su*erior $radati!amente de a at b/ isto nos
indica 3ue *odemos criar uma no!a fun#o/ como escrito abai-oA
2bser!e 3ue x dita inde*endente de u/ *ois a F%tima constroi a cur!a
da fun#o/ en3uanto 3ue a outra nos d a inte$ra% de 3ua%3uer *onto
com re%a#o a distUncia da contante a/ *ortanto/ ca%cu%ando sua
deri!ada temosA
57
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Conforme o teorema ,34/ a *arte da e3ua#o o*erada *e%o %imite um
!a%or mdio.
2bser!e 3ue / ou seGa/ o %imite do !a%or mdio
3uando o inter!a%o tende a ser nu%o/ o 3ue resu%ta em f(x)/ *ois
e3ui!a%ente a faHer uma mdia com a*enas um e%emento/ o *r6*rio
!a%or de f(x). 2bser!emos ainda 3ue o !a%or mdio/ a3ui e-*resso/ n#o
constante/ !isto 3ue de*ende de x/ o 3ue 3uer diHer 3ue temos um
!a%or mdio *ara cada se#o da cur!a.
2 !a%or mdio dos !a%ores entre f(x) e f(x V Wx) no m+nimo feito com
os dois e-tremos a*resentados/ da se$uinte formaA
e
no %imiteA
resu%taA
.
Portanto F(x) antidiferencia% de f(x).
Por outro %ado ao faHerA
ent#oA g(x) Q F(x) 3ue a antidiferencia% de f(x)/ %o$oA
58
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue com*ro!a o teorema.
An!ise de "unes e!ementares
2 estudo das funes deste ca*+tu%o refere@se Ks funes n#o
*uramente a%$bricas/ re%acionadas a nFmeros transcendentais/
a%$umas das 3uais G con8ecemos da matemtica e%ementar/ *orm
necessrio um a*rofundamento do tema *ara o ambiente acad?mico/
onde temos 3ue %idar com an%ises mais deta%8adas e com*%e-as.
8ogartmicas
) inte$ra% da fun#o a%$brica f(x) Q x
n
traH uma indefini#o 3uando n
Q Y 1A
) e-ist?ncia desta indefini#o nos %e!a a uma 3uest#oA Tua% o
*rocedimento *ara inte$rar a fun#oA P ) res*osta dada na
59
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
an%ise numrica/ ca%cu%ando a inte$ra% *e%os mtodos de an%ise
a%$brica *odemos c8e$ar a se$uinte conc%us#oA
) fun#o %n c8amada de %o$aritmo natura%/ a sua base c8amada de
nFmero de 1u%er/ e%e um %o$ar+tmo conse3Lente do c%cu%o da rea
sob a cur!a da fun#o / 3ue *ode ser obtido numericamente
usando a inte$ra% de (iemann e outras tcnicas de c%cu%o numrico.
,odos os teoremas *ara %o$aritmos/ 3ue est#o inc%uidos nos cursos de
n+!e% mdio/ *odem ser obtidos a *artir da an%ise do %o$aritmo
natura%/ tambm c8amado de %o$aritmo Ce*eriano.
%eoremas
:eGamos os *rinci*ais teoremas *ara os %o$aritmosA
Cas citaes abai-o/ consideremos f(x) Q %nx/
%-4 ' .roduto
Comprovao:
a defini#oA
faHendo u Q at/du Q adt e 3uando u Q a/t Q 1A
2 3ue com*ro!a o teorema.
60
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%-: ' 0a1o
Comprovao:
4endo A
%o$oA
%-; ' .ot3ncia
Comprovao:
4endoA
@M b !eHes/ 3ue A
@M b !eHes/
resu%tandoA
Derivadas
a defini#o do %o$ar+tmo natura% e a *artir do teorema fundamenta% do
c%cu%o/ *odemos deduHir a deri!ada da fun#o %o$ar+tmica natura%/ ou
seGa/ se f(x) Q %nx 3ue a inte$ra% definida de / ent#o a deri!ada A
61
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9ntegrais
Para inte$ra#o de funes %o$ar+tmicas/ !eGa o ca*+tu%o de tcnicas de
inte$ra#o/ *ara uma com*%eta aborda$em do tema.
!ponenciais
) fun#o f(x) Q a
x
c8amada de fun#o e-*onencia% na base a/ todas
as funes e-*onenciais s#o introduHidas a *artir da defini#o do
%o$aritmo natura% ln x como sua fun#o in!ersa. )s funes
e-*onenciais s#o estas em 3ue a *arte !ari!e% o %o$aritmo/ ou seGaA
4e %o$
a
b Q x
ent#oA
a
x
Q b
2 3ue im*%ica b Q f(x)/ tornando@o uma fun#o/ na 3ua% *odemos
atribuir !a%ores a x e obter uma ima$em. 2 nFmero a c8amado
base/ este nFmero faci%mente identificado nos %o$aritmos
con!enciona%mente abordados na matemtica e%ementar/ mas 3ua% a
base da fun#o %nx P
1sta 3uest#o nos %e!a a um no!o conceito abordado na *r6-ima se#o/
o n@mero de uler.
$ n@mero de uler
) base do %o$ar+tmo natura% o nFmero de 1u%er/ simbo%iHado *orA e/
e%e obtido *e%a defini#o do %o$aritmo natura%/ esse nFmero
corres*onde rea sob a cur!a da fun#oA / 3uando seu !a%or
unitrio/ ou seGaA
%ne Q 1/
62
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
mais forma%menteA
2 !a%or deste nFmero *ode ser encontrado *or a*ro-ima#o/
uti%iHando@se os mtodos de an%ise de se3bencias e sries/
encontrados no %i!roA C%cu%o """.
) e3ua#o 3ue fornece o !a%or do nFmero de 1u%er dada a se$uirA
Cesta e3ua#o *odemos obser!ar 3ue 3uanto mais a%to o !a%or de n
mais *reciso se torna o !a%or de e.
e maneira sim*%ificada/ com base nos conceitos at a$ora abordados
*odemos encontr@%a da se$uinte maneiraA
4e f(x) Q %nx ent#o / %o$oA
Por outro %ado/ *e%a defini#oA
Para A
63
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4endoA e
Conc%uimos 3ueA
%eoremas
) maioria dos teoremas re%acionados/ t?m ori$em nas conc%uses
obtidas no estudo do %o$ar+tmo natura%/ dos 3uais re%acionamos os mais
usadosA
%-= ' ,oma
4eGa a fun#o f(x/y) Q e
x V y
/ *ode@se afirmar 3ueA
Comprovao:
ConsiderandoA e /
%o$oA
e
x V y
Q ab
sendoA a Q e
x
e b Q e
y
/
2 3ue com*ro!a o teorema.
%/> ' ,ubtrao
e forma simi%ar K an%ise anterior/ sendo a fun#o f(x/y) Q e
x Y y
/
*ode@se afirmar 3ueA
64
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Comprovao:
ConsiderandoA e /
%o$oA
sendoA a Q e
x
e b Q e
y
/
2 3ue com*ro!a o teorema.
%/& ' .ot3ncia
4eGa a fun#o / *ode@se afirmar 3ueA
f(x/y) Q e
xy
Comprovao:
f(x/y) Q (e
x
)
y
2 3ue com*ro!a o teorema.
65
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Derivadas
Consideremos 3ue f(x) Q e
x
/ e conse3LentementeA x Q %nf(x)/ se
deri!armos im*%icitamente este e-*ress#oA
Curiosamente/ teremosA
2u seGa/ a fun#o e-*onencia% natura% in!ari!e% durante o *rocesso
de deri!a#o/ o 3ue traH uma srie de im*%icaes sim*%ificadoras *ara
estas funes.
Por outro %ado se f(x) Q a
x
/ temos 3ueA
a Q e
%na
9aHendo e f(x) Q e
u
/ teremosA
4e / conc%uimos 3ueA
Tue adotada como uma deri!ada mais $enrica/ *ois *ode ser
em*re$ada em 3ua%3uer e-*onencia%/ *ois inc%ui corre#o *ara o fator
da base.
9ntegrais
Como n#o *oderia ser diferente/ o !a%or da inte$ra% da fun#o
e-*onencia% natura% f(x) Q e
x
a *r6*ria fun#o/ conforme a re$ra da
66
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
re!ersibi%idade entre a deri!ada e a inte$ra%/ a*enas sendo necessria a
de!ida obser!a#o da base/ *ara e!entua% corre#o da diferencia% e
conse3Lente introdu#o de fator de corre#o/ nos casos em 3ue a
fun#o torna@se com*osta.
esta forma/ temosA
/
4endo constante.
8ogartmicas com outras bases
Como foi !isto durante o ensino mdio/ os %o$aritmos t?m uma
defini#o direta e 3ue denota a sua fina%idade de e-*ressar o !a%or do
e-*oente em uma o*era#o e-*onencia%/ a defini#o *ura dada da
se$uinte formaA
4e ent#o/
2ndeA a c8amada base do %o$aritmo/ x o %o$aritmando e n o
e-*oente.
2 %o$aritmo / *ortanto/ a o*era#o *e%a 3ua% se obtm o e-*oente
necessrio *ara 3ue a base seGa e%e!ada/ numa o*era#o e-*onencia% e
se obten8a o nFmero x.
) fun#o %o$ar+tmica de base a *ode ser e-*ressa da se$uinte formaA
2 3ue nos *ossibi%ita encontrar um !a%or *ara cada x e-*resso na
e3ua#o.
<udana de base
)na%isemos a$ora a *ossibi%idade de encontrar uma fun#o %o$ar+tmica
67
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
de uma base a e transform@%a em uma fun#o %o$ar+tmica de base
natura%/ ou outra base 3ua%3uerA
4eGa a fun#o / *odemos diHer 3ueA
e 3ue /
comoA /
/
/
/
2 3ue nos *ossibi%ita afirmar 3ueA
/
ou
.
Cote 3ue a ana%o$ia ser!e *ara funes %o$ar+tmicas de 3ua%3uer base/
!isto 3ue *odemos substituir *or sendo z a base 3ue
substituir e na an%ise anterior.
2 3ue nos *ossibi%ita considerar 3ue 3uando temos duas bases/ seGamA
a e b/ *odemos *romo!er a troca das bases/ de forma 3ueA
Derivadas
) deri!ada da fun#o %o$ar+tmica com base diferente de e *ode ser
feita *or substitui#o da base. Considerando f(x) Q %o$
a
x/ temos 3ueA
/
68
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
/
%o$oA
Tue nos d a deri!adaA
#rigonomtricas $
) tri$onometria/ ta% 3ua% !ista na matemtica e%ementar/ est
re%acionada com as re%aes mtricas do triUn$u%o retUn$u%o e do cic%o
tri$onomtrico/ a$ora introduHiremos o estudo infinitesima% das funes
tri$onomtricas 3ue s#o %ar$amente uti%iHadas nas ci?ncias e-atas.
Conceitos bsicos (0adianos*
1m um *%ano definido *e%os ei-os x e y *odemos estabe%ecer
coordenadas cartesianas *ara cada *onto/ o 3ue nos *ermite identificar
cada um dos *ontos em 3ua%3uer *osi#o do *%ano/ e-iste outra
maneira de encontrar um *onto neste *%anoI se 3uisermos estabe%ecer
uma re%a#o trian$u%ar *odemos determinar a *osi#o de cada *onto
no *%ano da se$uinte formaA
69
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Figura 2
"ma$ine 3ue cada *onto est numa dist#ncia $ do *onto (7/7) em um
*%ano cartesiano definido *or *ontos / da mesma forma a reta $/
3ue definida entre os *ontos / forma um Un$u%o com o
ei-o x/ 3ue c8amaremos de / note 3ue *odemos identificar 3ua%3uer
dos *ontos no *%ano a *artir de uma reta $ e um Un$u%o .
2bser!emos 3ue $/ 3uando fi-a/ uma reta 3ue determina um
conGunto de *ontos em torno do *onto / se fiHermos !ariar em
todos os !a%ores *ossi!eis teremos uma circunfer?ncia. Tuando
faHemos o !a%or de $ !ariar teremos diferentes !a%ores de x e y/ *orm
a re%a#o entre e%es sem*re ser a mesma.
Curiosamente/ 8 uma re%a#o entre o *er+metro do c+rcu%o e o seu
diUmetro/ e%a se a*resenta constante 3ua%3uer 3ue seGa o raio do
c+rcu%oI o resu%tado desta re%a#o um nFmero transcedenta% c8amado
.9/ re*resentado *e%a %etra $re$a de mesmo nomeA . (es$atando esta
re%a#o *ara a nossa an%ise *odemos diHer 3ue/ se c8amarmos o
*er+metro da circunfer?ncia/ formada no $rfico/ de e admitirmos um
diUmetro de / ent#o teremosA
Tue resu%ta emA
70
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Tue uma re%a#o bastante esc%arecedora/ !isto 3ue nos mostra uma
de*end?ncia %inear entre o raio e o com*rimento de um fio ima$inrio
3ue *udesse ser usado *ara se$uir o contorno da circunfer?ncia do
$rfico. 4e o raio for unitrio teremos um !a%or de refer?ncia *ara l/
3ue *oder ser usado *ara encontrar 3ua%3uer com*rimento de
circunfer?ncia no $rfico/ bastando *ara isto mu%ti*%ic@%o *e%o raio/
este !a%or de refer?ncia est %i$ado K circunfer?ncia fec8ada. Por outro
%ado/ se fiHermos com 3ue $ se des%o3ue de um Un$u%o nu%o/ ou seGa/
3ue saia do ei-o x em dire#o a y/ formando um Un$u%o / teremos
*edaos de circunfer?ncia/ 3ue c8amamos de arcos/ considerando 3ue
temos um raio unitrio e 3ue *ercorremos um *edao da circunfer?ncia
*ara cada Un$u%o J J 3ue tomamos/ temos uma corres*ond?ncia entre
Bngulo e arco/ ou seGaA *odemos nos referir a arcos como unidades
de Un$u%os/ esta unidade an$u%ar c8amada de 0adiano. Tua%3uer
c+rcu%o forma radianos e todas as re%aes entre os *ontos da
circunfer?ncia 3ue o contorna e os ei-os cartesianos *odem ser
referenciadas como re%aes entre *artes desta medida.
Como o radiano uma medida rea%/ isto nos %e!a a outra 3uest#oA 2
3ue determina o sina% negativo ou positivo neste !a%orP
)contece uma !aria#o destes !a%ores 3uando nos des%ocamos de um
*onto a outro da circunfer?ncia/ 3uando saimos do ei-o x em dire#o
ao *onto o Un$u%o cresce/ *ortanto temos 3ue conc%uir 3ue
*ositi!o/ recuando@o de encontro ao ei-o x os !a%ores diminuem/
*ortanto se u%tra*assarmos o ei-o x o !a%or de!e ser menor 3ue Hero/
nos re!e%ando um Un$u%o ne$ati!o.
,eno e cosseno
,emos/ *ortanto/ uma circunfer?ncia dentro do *%ano cartesiano e seus
*ontos re%acionados ao raio % e ao Un$u%o / s#o referenciados *e%as
!ari!eis x e y no mesmo *%ano/ a$ora ima$inemos funes *ara 3ue
seGa *oss+!e% a *artir do raio e do Un$u%o encontrar as !ari!eis/ estas
funes s#o o seno e o cosseno.
) fun#o seno/ simbo%iHada comoA
Cos d o !a%or da !ari!e% y/ ou seGa/ a a%tura do *onto em re%a#o ao
Hero referencia%/ no encontro dos ei-os/ conforme es*e%8ada no ei-o y/
71
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
3uando o raio % unitrio/ caso n#o seGa faHemos .
) fun#o cosseno/ simbo%iHada comoA
Cos d o !a%or da !ari!e% x/ ou seGa/ a distUncia do *onto em re%a#o
ao Hero referencia%/ no encontro dos ei-os/ conforme es*e%8ada no ei-o
x3uando o raio % unitrio/ caso n#o seGa faHemos .
)s funes seno e cosseno s#o *eri6dicas/ ou seGa/ *e%a natureHa do
cic%o tri$onomtrico/ 3uando temos um !a%or em x maior 3ue temos
a re*resenta#o de um cic%o com*%eto mais um Un$u%o residua%/ na
!erdade o !a%or re*resenta este Un$u%o residua%/ o 3ue nos %e!a a
constata#o 3ue sem*re ser ca%cu%ado o !a%or do seno ou cosseno do
resto da o*era#o 3uando um Un$u%o maior 3ue 'c for su$erido
*ara x.
$bservao:
1ste %i!ro uti%iHa a nota#o de funes tri$onomtricas da lingua
portuguesa/ tambm *oss+!e% encontrar/ em outros %i!ros/ as
notaes ou *ara re*resenta#o de seno e
cosseno res*ecti!amente/ uti%iHadas na %+n$ua in$%esa.
)%$uns !a%ores de senos e cossenos de certos arcos s#o *erfeitamente
dedut+!eis atra!s da obser!a#o do cic%o/ s#o e%esA
4enos e cossenos not!eis
&ngu!o >
sen('* 7 1 7 @1
cos('* 1 7 @1 7
2bser!ando o $rfico *odemos tambm conc%uir 3ue o sina% do seno
id?ntico ao sina% do Un$u%o/ en3uanto 3ue o cosseno n#o acom*an8a o
sina% do Un$u%o/ de forma 3ue cossenos de Un$u%os ne$ati!os s#o i$uais
a cossenos dos !a%ores abso%utos dos Un$u%os/ ou seGaA
72
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
sendo /
en3uanto 3ueA
2utros senos e cossenos *odem ser obtidos *e%as re%aes mtricas no
triUn$u%o e s#o %ar$amente uti%iHados/ s#oA
4enos e cossenos mais comuns
&ngu!o
sen('*
cos('*
9dentidades (&*
)s e3uaes desta se#o s#o conse3L?ncia das caracter+sticas dos
senos e cossenos/ seu com*ortamento c+c%ico e sua re%a#o com uma
circunfer?ncia de raio unitrio %8es conferem uma e-ce%ente
o*erati!idade/ *ossibi%itando@nos fci% intercUmbio entre as mesmas.
9'& 9dentidade relacional bsica
4eno e cosseno s#o re%acionados *e%a e3ua#oA
Comprovao:
2bser!ando o cic%o tri$onomtrico/ temos um triUn$u%o cuGos catetos
s#oA sen(a) e cos(a) e sua 8i*otenusa 1/ *ortanto a identidade
conse3Lente do con8ecido teorema de Pit$oras.
73
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9'+ Cosseno da soma
4eGam os Un$u%os a e b/ o cosseno de sua soma A
Comprovao:
Cos *ontos ( e ) do cic%o tri$onomtrico/ temos os arcos *ara os
Un$u%os a e bA
Figura 4
) distUncia entre os *ontos P e ()VE) i$ua% K distUncia entre @) e E/ o
3uadrado das duas A
a identidade bsicaA
74
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Como e A
2 3ue com*ro!a a identidade.
9'- Cosseno da diferena
4eGam os Un$u%os a e b/ o cosseno de sua diferena A
Comprovao:
o cosseno da somaA
4ubstituindo b *or *bA
cos(a Y b) Q cos(a)cos(b) V sen(a)sen(b)
2 3ue com*ro!a a identidade.
9'/ 5uival3ncia angular
4e o Un$u%o a e b -/ ent#oA
%o$oA
Por outro %ado/ seA
75
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e
/ obtemosA
9'2 ,eno da soma
4eGam os Un$u%os a e b/ o seno de sua soma A
Comprovao:
4endo cos(a V b) Q cos(a)cos(b) Y sen(a)sen(b) e
/ temosA
2 3ue com*ro!a a identidade.
9'4 ,eno da diferena
4eGam os Un$u%os a e b/ o seno de sua diferena A
Comprovao:
4e /
76
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4ubstituindo b *or *b/ temosA
e en3uanto 3ue / %o$oA
2 3ue com*ro!a a identidade.
9': <@ltiplo de dois senos
4eGam os Un$u%os a e b/ o mF%ti*%o de seus senos A
Comprovao:
4omando as e3uaes das identidades da soma e diferena dos
cossenosA
2 3ue com*ro!a a identidade.
9'; <@ltiplo de dois cossenos
4eGam os Un$u%os a e b/ o mF%ti*%o de seus cossenos A
Comprovao:
4ubtraindo as e3uaes das identidades da soma e diferena dos
cossenosA
77
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue com*ro!a a identidade.
9'= <@ltiplo de seno e cosseno
4eGam os Un$u%os a e b/ o mF%ti*%o do seno de a *e%o cosseno de b A
Comprovao:
4omando as e3uaes das identidades da soma e diferena dos senosA
2 3ue com*ro!a a identidade.
9'&> ,oma de dois senos
4eGam os Un$u%os " e +/ a soma dos senos de " e de + A
Comprovao:
Podemos diHer 3ueA
78
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
substituindo na identidadeA
2 3ue com*ro!a a identidade.
9'&& ,oma de dois cossenos
4eGam os Un$u%os " e +/ a soma dos cossenos de " e de + A
Comprovao:
4e$uindo a ana%o$ia anteriorA
2 3ue com*ro!a a identidade.
9'&+ Diferena de dois senos
4eGam os Un$u%os " e +/ a diferena dos senos de " e de + A
Comprovao:
substituindo + *or *+ emA
2 3ue com*ro!a a identidade.
9'&- Diferena de dois cossenos
4eGam os Un$u%os " e +/ a diferena dos cossenos de " e de + A
79
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Comprovao:
substituimos + e +/ *or e emA
2 3ue com*ro!a a identidade.
8imte trigonom7trico fundamental
Precisaremos de um %imite fundamenta% nas *r6-imas sees/ se trata
de um %imite 3ue uti%iHado na dedu#o das deri!adas do seno e do
cosseno/ faremos sua dedu#o nesta se#o. Considere o cic%o
tri$onomtrico re*resentado a se$uirA
Figura :
) figura : mostra a re*resenta#o de um Un$u%o no cic%o
tri$onomtrico/ o nosso *ro*6sito deduHir o se$uinte %imiteA
80
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Para isto/ ima$ine o triUn$u%o inscrito na circunfer?ncia/ *odemos diHer
3ue o se$mento de reta n uma a*ro-ima#o $rosseira do arco /
*orm obser!e 3ue 3uando o Un$u%o se a*ro-ima de Hero o se$mento
se torna mais *arecido com o res*ecti!o Un$u%o/ a%$bricamente
*odemos e-*ressar 3ueA
Por outro %ado faamos o c%cu%o do !a%or do nI obser!ando o triUn$u%o
*odemos diHer 3ueA
Lo$oA
4im*%ificando temosA
:o%tando *ara o nosso %imite/ temos 3ue usar as nossas e3uaes
anteriores desta formaA
4ubstituindo o !a%or do seno no %ado da e3ua#o re%aciondado ao n/
teremosA
81
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue nos %e!a ao resu%tadoA
) inter*reta#o desse %imite a se$uinteA
Xma !eH 3ue o Un$u%o diminui at !a%ores *r6-imos de Hero e o arco
tende a se asseme%8ar a uma reta em re$ies *r6-imas do Hero/ o
!a%or do seno i$ua% ao !a%or do arco no %imite/ 3uando o seu !a%or se
a*ro-ima de ser nu%o.
Derivada do seno
)$ora *odemos !erificar 3ua% a !aria#o da fun#o seno em re%a#o ao
seu Un$u%o/ a*%icando a defini#o da deri!ada ao seno/ temosA
)*%icando o seno da somaA
)*%icando os %imitesA
,emos/ ent#o/ o %imite fundamenta% 3ue i$ua% a ,/ %o$oA
82
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Derivada do cosseno
,ambm *odemos !erificar 3ua% a !aria#o da fun#o cosseno em
re%a#o ao seu Un$u%o/ a*%icando a defini#o da deri!ada ao cosseno/
temosA
)*%icando o seno da somaA
)*%icando os %imitesA
Co!amente temos o %imite fundamenta%/ %o$oA
9ntegral do seno
Como conse3L?ncia do resu%tado da deri!ada do seno/ *odemos
deduHir 3ue a sua inte$ra%/ como o*era#o in!ersa A
CuGa constante C a constante de!ido a indefini#o no *rocesso de
antidiferencia#o/ conforme G estudamos anteriormente.
83
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9ntegral do cosseno
4e$undo o mesmo *rinc+*io co%ocado no caso da inte$ra% do seno/
*odemos afirmar 3ue a o*era#o de inte$ra#o do cosseno definida
*orA
CuGa constante C a constante de!ido a indefini#o no *rocesso de
antidiferencia#o
,ri$onomtricas ""
1sta se#o a continua#o do estudo tri$onomtrico/ iniciado no
ca*+tu%o anterior/ 3ue foi criada a*6s o aumento *ro$ressi!o do
conteFdo.
%angente e secante
Tuando definimos o seno e o cosseno fiHemos a refer?ncia a seu
si$nificado no cic%o tri$onomtrico/ da mesma forma introduHiremos a
tan$ente neste momento. Como G !imos anteriormente a deri!ada
uma fun#o 3ue re*resenta a dec%i!idade de uma cur!a/ da mesma
forma *odemos definir a tan$ente/ *ois e-cencia%mente/ e%a re*resenta
a dec%i!idade do cic%o *ara cada Un$u%o em *articu%ar/ ou seGa/ se
traarmos uma reta or$onona% a cada *onto do cic%o tri$onomtrico e
re%acionarmos ao Un$u%o 3ue forma com o ei-o x/ teremos retas com
dec%i!idades i$uais Ks tan$entes desses Un$u%os. Como cada *onto do
cic%o definido *or Ncos(d)/sen(d)O e o !a%or inicia% (Wx) sem*re nu%o/
temos um !a%or de dec%i!idade ta% 3ueA
3ue A
84
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
$bservao: 1ste %i!ro uti%iHa a nota#o de funes
tri$onomtricas da lingua portuguesa/ tambm *oss+!e% encontrar/
em outros %i!ros/ as notaes ou *ara
re*resenta#o de tan$ente e secante res*ecti!amente/ uti%iHadas na
%+n$ua in$%esa.
esta forma tambm *odemos conc%uir 3ue a tan$ente a
re*resenta#o do cateto o*osto ao Un$u%o 3uando mantemos o cateto
adGacente constante e unitrio/ cosiderando este *onto de !ista/ 3ua%
seria o !a%or da 8i*otenusaP
Para definir !/ a 8i*otenusa/ faamos A
!
'
(x) Q 1
'
V tg
'
(x)
a identidade re%aciona% temosA
*ortantoA
1ste !a%or o 3ue c8amamos de secante/ 3ue outra fun#o
im*ortante *ara o estudo tri$onomtrico/ ent#o *odemos diHer 3ueA
85
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Cas *r6-imas sees !eremos 3ue a secante mantm +ntimas ra%aes
com a tan$ente.
9dentidades (+*
Como definimos as identidades entre seno e cosseno/ inc%uiremos as
identidades 3ue inc%uem tan$ente e secante nesta se#o/ todas s#o
a%$ebricamente dedut+!eis e intercambia!eis.
9'&/ 0elacionando tangente e secante
4eGa x uma !ari!e% 3ue e-*ressa o Un$u%o em cada *onto do cic%o
tri$onomtrico/ entre *odemos afirmar 3ueA
1 V tg'(x) Q sec'(x)
Conforme !isto nos conceitos iniciais %o$o acima/ a re%a#o
conse3L?ncia direta das re%aes trian$u%ares 3ue definem as funes
tan$ente e secante.
9'&2 %angente da diferena
4endo a e b dois Un$u%os no cic%o tri$onomtricoA
Comprovao:
Considerando a defini#o da tan$ente temosA
86
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
(esu%tando emA
2 3ue com*ro!a a identidade.
9'&4 %angente da soma
Comprovao:
)dmitamos b Q Y b e teremos *e%a tan$ente da diferenaA
Considerando 3ue a tan$ente A
1 3ue o seno determinante *ara o sina% en3uanto o cosseno n#o /
conc%u+mos 3ue o sina% da tan$ente i$ua% ao da !ari!e%/ ta% 3ua% se
com*orta o seno/ %o$oA
87
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue com*ro!a a identidade.
Derivada da tangente
4eGa f(x) Q tg(x)/ uma fun#o cont+nua em / !isto 3ue
/ o 3ue nos obri$a a e-c%u+@%o do inter!a%o/ *odemos
!erificar 3ueA
%o$o/ *e%a deri!ada da raH#oA
PortantoA
Derivada da secante
4eGa f(x) Q sec(x)/ uma fun#o cont+nua em / !isto 3ue
/ o 3ue nos obri$a a e-c%u+@%o do inter!a%o/ *odemos
!erificar 3ueA
%o$o/ *e%a deri!ada da raH#oA
88
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue nos re!e%aA
9ntegral da tangente
4eGa a fun#o / definida cont+nua no inter!a%o onde seus
!a%ores est#o sendo considerados/ *odemos deduHir 3ueA
Por outro %ado/ seA
2 3ue nos *ossibi%ita afirmar 3ueA
PortantoA
9ntegral da secante
4eGa a fun#o f(x) Q sec(x)/ diHemos 3ue sua inte$ra% a fun#o F(x) e
89
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
*odemos deduH+@%a atra!s de substituies a%$bricas como se$ueA
mu%ti*%icando e di!idindo sec(x) V tg(x)A
Por outro %ado/ seA
u Q sec(x) V tg(x)/
du Q Nsec(x)tg(x) V sec
'
(x)Odx
%o$o/ *or substitui#o/ temosA
/ sendo u Q sec(x) V tg(x)/ o 3ue nos *ermite faHerA
F(x) Q %n e u e
PortantoA
F(x) Q %n e sec(x) V tg(x) e V
90
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Cotangente e cossecante
Considerando a seme%8ana entre as definies das funes
tri$onomtricas at a3ui abordadas/ obser!amos 3ue *ara cada fun#o/
curiosamente 8 uma Jco@fun#oJ/ assim como temos um seno e um
Jco@senoJ temos uma tan$ente e uma Jco@tan$enteJ. ) fun#o
cotan$ente definida ta% 3ua% a ana%o$ia adotada antes *ara seno e
cossenoI *odemos diHer 3ue as funes est#o re%acionadas ao ei-o y e
as Jco@funesJ est#o re%acionadas ao ei-o x/ a ima$em de um *onto
no cic%o tri$onomtrico a *artir do ei-o x o cosseno do Un$u%o e o
seno a ima$em do mesmo *onto !ista *e%o ei-o y. Para !erificar essa
re%a#o obser!e o $rficoA
Figura ;
4e n6s fiHermos a mesma obser!a#o entre tan$ente e cotan$ente
conc%uiremos 3ue a tan$ente a ima$em deste *onto do cic%o
tri$onomtrico no ei-o *ara%e%o ao ei-o y traado a *artir da
coordenada (1/7) e a cotan$ente a sua Jco@fun#oJ 3ue es*e%8a o
*onto no ei-o *ara%e%o ao ei-o x na coordenada (7/1). 4e$undo o
mesmo critrio de ana%o$ia *odemos diHer 3ue a fun#o cossecante o
!a%or da 8i*otenusa do triUn$u%o formado entre o raio unitrio do cic%o
e a cotan$ente re%acionada a um *onto do cic%o/ da mesma forma 3ue a
secante o !a%or da 8i*otenusa do triUn$u%o formado entre o raio
91
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
unitrio do cic%o e a tan$ente do mesmo *onto.
Podemos deduHir a f6rmu%a de defini#o da fun#o cotan$ente faHendo
uma an%ise de seme%8ana de triUn$u%os/ notamos no cic%o 3ueA
2 3ue nos re!e%aA
$bservao: 1ste %i!ro uti%iHa a nota#o de funes
tri$onomtricas da lingua portuguesa/ tambm *oss+!e% encontrar/
em outros %i!ros/ as notaes ou *ara
re*resenta#o de cotan$ente e cossecante res*ecti!amente/ uti%iHadas
na %+n$ua in$%esa.
a mesma forma *odemos !erificar uma re%a#o de seme%8ana de
triUn$u%os *ara determinar a cossecante/ !emos 3ue e-iste a se$uinte
re%a#oA
Tue define a cossecante comoA
92
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9dentidades (-*
)%$umas identidades s#o conse3Lentes das definies/ a*resentamos
as mais usuais 3ue *oder#o ser Fteis nos demais ca*+tu%os deste %i!ro/
as identidades/ de modo $era%/ s#o a%tamente intercambi!eis de!ido a
natureHa c+c%ica das funes tri$onomtricas/ no nosso estudo
abordamos as mais uti%iHadas.
Conse56entes das definies:
sen(x)cosec(x) Q 1
cos(x)sec(x) Q 1
tg(x)cotg(x) Q 1
Derivada da cotangente
4eGa a fun#o f(x) Q cotg(x)/ considerando 3ueA
Co!amente usamos a re$ra da deri!ada da raH#oA
PortantoA
Derivada da cossecante
4eGa a fun#o f(x) Q cosec(x)/ considerando 3ueA
93
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Co!amente usamos a re$ra da deri!ada da raH#oA
PortantoA
9ntegral da cotangente
4eGa a fun#o f(x) Q cotg(x)/ considerando 3ueA
4ua inte$ra% A
4endo u Q sen(x) ] mat! M A ] mat! M du Q cos(x)dx
Lo$oA
1/ *or substitui#oA
F(x) Q ln e sen(x) e V
9ntegral da cossecante
4eGa a fun#o f(x) Q cosec(x)/
94
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4ua inte$ra% A
4endo u Q cotg(x) Y cosec(x)A
du Q Ncosec
'
(x) Y cotg(x)cosec(x)Odx
Podemos ent#o mu%ti*%icar e di!idir u na e3ua#o da inte$ra% anteriorA
Lo$oA
1/ *or substitui#oA
F(x) Q ln e cotg(x) Y cosec(x) e V
"n!ersas das tri$onomtricas
2 conGunto de e3uaes at o momento abordadas nos traHem uma
no!a 3uest#oA Tuais as funes 3ue nos *ermitem encontrar o Un$u%o
a *artir do resu%tado de uma fun#o tri$onomtricaP
) res*osta est nas in!ersas das funes tri$onomtricas/ tambm
c8amamos de arc@funes. Xma arc@fun#o uma fun#o na 3ua%
*odemos inserir o !a%or da fun#o e encontrar o arco 3ue ori$inou este
resu%tado/ *or isto diHemos 3ue a arcfunc('* a3ue%a 3ue retorna o
!a%or do arco cuGa fun#o resu%ta em x.
Arcseno e arccosseno
Conforme o anteriormente e-*osto/ temos 3ue encontrar as funes
3ue nos d#o o !a%or do arco 3ue forma um seno x e o arco 3ue forma
um cosseno x/ *ara isto cabe uma obser!a#oA
95
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
1.2 seno e o cosseno *odem ser resu%tado de !rios Un$u%os
diferentes/ de!ido a caracter+stica c+c%ica 3ue as mesmas
a*resentam 3uando assumimos !a%ores em / *ortanto
n#o e-istem as funes in!ersas do seno e cosseno neste
inter!a%o.
2 e-*osto nos obri$a a %imitar o inter!a%o do seno e do cosseno dentro
de uma fai-a 3ue *ossibi%ite encontrar a*enas um arco *ara cada !a%or/
necessrio 3ue esco%8amos um inter!a%o onde as funes seGam
mon6tonas. Considerando a fun#o seno dentro da fai-aA /
*odemos diHer 3ue a condi#o de in!ersibi%idade satisfeita/ da mesma
forma a fun#o cosseno dentro da fai-aA tambm a*resenta
!a%ores Fnicos *ara cada arco tomado.
)ssim/ diHemos 3ueA
a mesma forma 3ueA
$bservao: 1ste %i!ro uti%iHa a nota#o de funes
tri$onomtricas in!ersas da lingua portuguesa/ tambm *oss+!e%
encontrar/ em outros %i!ros/ as notaes ou
ou ou ainda
*ara re*resenta#o de arcseno e arccosseno res*ecti!amente/
uti%iHadas na %+n$ua in$%esa.
Derivadas do arcseno e arccosseno
4eGa a fun#o y Q arcsen(x)/ sendo a sua in!ersaA
x Q sen(y)/
*odemos o*er@%a desta formaA
dx Q cos(y)dy
96
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
/
Por outro %adoA
sen
'
(y) V cos
'
(y) Q 1
2 3ue nos dA
/
Lo$oA
)inda temos 3ue a fun#o z Q arccos(x)/ sendo a sua in!ersaA
x Q cos(z)/
*odemos o*er@%a desta formaA
dx Q Y sen(z)dz
/
Por outro %adoA
sen
'
(z) V cos
'
(z) Q 1
2 3ue nos dA
97
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
/
Lo$oA
9ntegrais do arcseno e arccosseno
Para inte$ra#o das funes arcseno e arccosseno/ !eGa o ca*+tu%o de
tcnicas de inte$ra#o/ *ara uma com*%eta aborda$em do tema.
Arctangente e arccotangente
efinimos a fun#oA
y Q arctg(x)/
arctan$ente de x/ como a in!ersa da fun#oA
x Q tg(y)/
tan$ente de y/ *ara todo o inter!a%o / *or3ue no mesmo 8
a*enas um !a%or de tan$ente *ara cada arco.
o mesmo modo *odemos definir a fun#oA
z Q arccotg(t)/
arccotan$ente de t/ como a in!ersa da fun#oA
t Q cotg(z)/
cotan$ente de z/ *ara todo o inter!a%o / *or3ue no mesmo 8
a*enas um !a%or de cotan$ente *ara cada arco.
98
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
$bservao: 1ste %i!ro uti%iHa a nota#o de funes
tri$onomtricas in!ersas da lingua portuguesa/ tambm *oss+!e%
encontrar/ em outros %i!ros/ as notaes ou
ou ou ainda
*ara re*resenta#o de arctan$ente e arccotan$ente res*ecti!amente/
uti%iHadas na %+n$ua in$%esa.
Derivadas da arctangente e arccotangente
4eGa a fun#o y Q arctg(x)/ sendo a sua in!ersaA
x Q tg(y)/
*odemos o*er@%a desta formaA
dx Q sec
'
(y)dy
/
Por outro %adoA
sec
'
(y) Q 1 V tg
'
(y)
sec
'
(y) Q 1 V x
'
2 3ue nos dA
/
Lo$oA
)inda temos 3ue a fun#o z Q arccotg(x)/ sendo a sua in!ersaA
x Q cotg(z).
99
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Por outro %adoA
2 3ue nos dA
/
Lo$oA
9ntegrais da arctangente e arccotangente
Para inte$ra#o das funes arctan$ente e arccotan$ente/ !eGa o
ca*+tu%o de tcnicas de inte$ra#o/ *ara uma com*%eta aborda$em do
tema.
Arcsecante e arccossecante
efinimos a fun#oA
y Q arcsec(x)/
arcsecante de x/ como a in!ersa da fun#oA
x Q sec(y)/
secante de y/ *ara os inter!a%os de xA / onde/ nos
mesmos/ 8 a*enas um !a%or de secante *ara cada arco.
) fun#o arcsec(x) re%acionada a fun#o arccos(x) como se$ueA
o mesmo modo *odemos definir a fun#oA
z Q arccosec(t)/
arccosecante de t/ como a in!ersa da fun#oA
100
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
t Q cosec(z)/
cosecante de y/ *ara os inter!a%os de xA / onde/ nos
mesmos/ 8 a*enas um !a%or de secante *ara cada arco.
) fun#o arccosec(x) re%acionada a fun#o arcsen(x) como se$ueA
$bservao: 1ste %i!ro uti%iHa a nota#o de funes
tri$onomtricas in!ersas da lingua portuguesa/ tambm *oss+!e%
encontrar/ em outros %i!ros/ as notaes ou
ou ou *ara
re*resenta#o de arcsecante e arccossecante res*ecti!amente/
uti%iHadas na %+n$ua in$%esa.
Derivadas da arcsecante e arccossecante
4eGa a fun#oA
y Q arcsec(x)
3ue tem corres*ond?ncia emA
4endoA
101
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
PortantoA
*ara e x e M 1
9ntegrais da arcsecante e arccossecante
Para inte$ra#o das funes arcsecante e arccossecante/ !eGa o
ca*+tu%o de tcnicas de inte$ra#o/ *ara uma com*%eta aborda$em do
tema.
%rigonom7tricas inversas como integrais alg7bricas
Como resu%tado das deri!adas de funes tri$onomtricas in!ersas
a%$umas inte$rais de funes a%$bricas *odem ser con!ertidas em
Jarc@funesJ/ s#o e%asA
1m todas/ como de costume/ encontramos a constante de
antidiferencia#o .
"iperbAlicas
) 8i*rbo%e uma das funes c=nicas e-*%oradas em $eometria
ana%+tica e tem como caracter+stica uma +ntima re%a#o com as
e-*onenciais e
x
e e
Y x
/ as funes desta se#o s#o obtidas se$undo o
mesmo *rinc+*io das funes tri$onomtricas uti%iHando@se da 8i*rbo%e
como fun#o $eratriH/ ou seGa/ *ara cada *onto cartesiano de um
$rfico da 8i*rbo%e *odemos adotar a an%ise feita no cic%o
102
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
tri$onomtrico/ desta an%ise resu%tam as funes discutidas nesta
se#o.
)s funes 8i*erb6%icas s#o essencia%mente e-*onenciais/ *ortanto o
seu estudo sim*%ificado nesta se#o/ !isto 3ue suas conse3L?ncias
s#o imediatamente dedut+!eis *e%os *rinc+*ios G !istos na se#o 3ue
trata de funes e-*onenciais.
,eno e cosseno "iperbAlicos
) fun#o seno 8i*erb6%ico obtida a *artir da 8i*rbo%e da mesma
forma 3ue o seno no cic%o tri$onomtrico/ sua defini#o *ode ser obtida
*or an%ise $eomtrica do $rfico da 8i*rbo%e / onde
encontramosA
) fun#o cosseno 8i*erb6%ico/ 3ue referenciamos ao cosseno no cic%o
tri$onomtrico *ode ser encontrado *e%a se$uinte e-*ress#oA
4endo obtida de forma simi%ar a anterior.
2 fato destas funes serem resu%tantes da soma e subtra#o de uma
e-*onencia% crescente e
x
e uma e-*onencia% decrescente e
Y x
%8es
conferem *ro*riedades Fnicas/ do mesmo modo temos a *ossibi%idade
de faHer ana%o$ias *ara uma fci% assimi%a#o dos seus conceitos. 1stas
funes tambm s#o %ar$amente Fteis de!ido ao fato de serem comuns
em *rob%emas reais na f+sica/ na 3u+mica e nas en$en8arias.
0elacionando seno e cosseno "iperbAlico
Considere a o*era#oA cos!
'
(x) Y sen!
'
(x)/
a defini#o temosA
103
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%o$oA
cos!'(x) Y sen!'(x) Q 1
Derivada do seno "iperbAlico
4eGa a fun#o seno 8i*erb6%ico y Q sen!(x)/ *odemos diHer 3ueA
sendoA
PortantoA
Derivada do cosseno "iperbAlico
4eGa a fun#o cosseno 8i*erb6%ico y Q cos!(x)/ *odemos diHer 3ueA
sendoA
104
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
PortantoA
9ntegral do seno "iperbAlico
) inte$ra% do seno 8i*erb6%ico tambm faci%mente obtida *e%a
defini#oA
Conc%uimos 3ueA
9ntegral do cosseno "iperbAlico
) inte$ra% do cosseno 8i*erb6%ico tambm faci%mente obtida *e%a
defini#oA
105
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Conc%uimos 3ueA
%angente e secante "iperbAlicas
a mesma forma 3ue no caso tri$onomtrico a tan$ente e as outras
funes 8i*erb6%icas s#o definidas atra!s do seno e do cosseno/ ou
seGa/ a tan$ente definida comoA
ou
) secante 8i*erb6%ica definida comoA
ou
0elacionando tangente e secante "iperbAlicas
:amos desen!o%!er a e-*ress#o abai-oA
1 Y tg!
'
(x)
106
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
PortantoA
1 Y tg!'(x) Q sec!'(x)
Derivada da tangente "iperbAlica
4eGa a fun#o y Q tg!(x)/ temosA
PortantoA
107
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Derivada da secante "iperbAlica
4eGa a fun#o y Q sec!(x)/ temosA
e fina%menteA
9ntegral da tangente "iperbAlica
4eGa a fun#o f(x) Q tg!(x)/ temosA
4e fiHermosA
u Q cos!(x)
du Q sen!(x)dx
!erificamosA
F(x) Q %n e u e
e fina%menteA
F(x) Q %n e cos!(x) e V
108
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9ntegral da secante "iperbAlica
Para inte$ra#o da fun#o secante 8i*erb6%ica/ !eGa o ca*+tu%o de
tcnicas de inte$ra#o/ *ara uma com*%eta aborda$em do tema.
Cotangente e cossecante "iperbAlicas
) cotan$ente 8i*erb6%ica definida comoA
ou
) cosecante 8i*erb6%ica definida comoA
ou
0elacionando cotangente e cossecante "iperbAlicas
:amos desen!o%!er a e-*ress#o abai-oA
1 Y cotg!
'
(x)
109
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
PortantoA
1 Y cotg!'(x) Q cosec!'(x)
Derivada da cotangente "iperbAlica
4eGa a fun#o y Q cotg!(x)/ temosA
PortantoA
Derivada da cossecante "iperbAlica
4eGa a fun#o y Q cosec!(x)/ temosA
110
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e fina%menteA
9ntegral da cotangente "iperbAlica
4eGa a fun#o f(x) Q cotg!(x)/ temosA
4e fiHermosA
u Q sen!(x)
du Q cos!(x)dx
!erificamosA
F(x) Q %n e u e
e fina%menteA
F(x) Q %n e sen!(x) e V
9ntegral da cossecante "iperbAlica
Para inte$ra#o da fun#o cossecante 8i*erb6%ica/ !eGa o ca*+tu%o de
tcnicas de inte$ra#o/ *ara uma com*%eta aborda$em do tema.
9nversas das "iperbAlicas
)s funes 8i*erb6%icas in!ersas s#o *articu%armente interessantes/
e%as est#o %i$adas ao %o$aritmo natura% e *or este moti!o/ sua an%ise
e-cencia%mente e-*onencia%/ como a an%ise das funes 8i*erb6%icas/
deste fato nascem no!as *ossibi%idades *ara %idar com *rob%emas
re%acionados a an%ises de estruturas n#o %ineares.
111
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Anlise da inverso das variveis
)s funes 8i*erb6%icas s#o caracter+sticamente ana%isadas de forma
seme%8ante Ks tri$onomtricas/ o 3ue nos su$ere a an%ise da in!ers#o
das !ari!eis das e3uaes 8i*erb6%icas da formaA
y Q func!(x)/
Para a formaA
x Q argfunc!(y)
"sto *articu%armente fci% de im*%ementar *ara funes do ti*o sen!
(x)/ 3ue s#o funes mon6tonas e cont+nuas/ *ara as demais 3ue
restrin$em sua continuidade em um determinado inter!a%o/ de!emos
adotar fai-as *ara o dom+nio de cada uma em *articu%ar.
Z im*ortante notar 3ue/ embora as funes 8i*erb6%icas seGam
seme%8antes Ks tri$onomtricas/ estas funes se baseiam em Un$u%os
3ue de!em ser ana%isados de forma diferente dos tri$onomtricos/
%embre@se 3ue o raio de uma fun#o circu%ar constante/ o 3ue n#o
acotece com uma fun#o baseada em uma c=nica/ neste caso a
8i*rbo%e/ *or isso esco%8emos a nomec%atura de argfunc!(x)/ *ois n#o
*odemos c%assificar os Un$u%os 8i*erb6%icos como arcos.
argsen" e argcosen"
)$ora consideremos a fun#o t C sen(('*/ ent#oA
Podemos faHer e
x
Q u/ %o$oA
2 3ue resu%ta na e3ua#oA
u
'
Y 'tu Y 1 Q 7
cuGas ra+Hes s#oA
112
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Podemos a*enas admitirA u M 7/ conse3uentementeA
4ubstituindo as !ari!eis x *or y e t *or x/ temos a in!ersa de sen!(x)
3ue A
Co caso de t C cos(('*/ a dedu#o simi%arA
Podemos faHer e
x
Q u/ %o$oA
2 3ue resu%ta na e3ua#oA
u
'
Y 'tu V 1 Q 7
cuGas ra+Hes s#oA
Podemos a*enas admitirA u M 7/ conse3uentementeA
4ubstituindo as !ari!eis x *or y e t *or x/ temos a in!ersa de cos!(x)
3ue A
/ e x e M 1
Derivadas de argsen"(!* e argcos"(!*
Considerando as f6rmu%as deduHidas acima/ temosA
113
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
de onde deduHimosA
resu%tandoA
1 *ara
de onde deduHimosA
e fina%menteA
/ e x e M 1
9ntegrais de argsen"(!* e argcos"(!*
)s inte$rais destas funes *recisam de um tratamento diferenciado/
uti%iHando@se os mtodos do *r6-imo ca*+tu%oA ,cnicas de inte$ra#o/
*ro*on8o 3ue o %eitor as faa como e-erc+cio do mesmo.
argtg" e argsec"
Considerando t C tg(('*/ temosA
114
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
se u Q e
x
A
o 3ue resu%ta na e3ua#oA
(t Y 1)u
'
V t V 1 Q 7
CuGas raiHes s#oA
2nde a*enas *odemos admitir u M 7 e t ] 1A
4ubstituindo x *or y e t *or xA
Tue a in!ersa da tg!(x)/ *ortantoA
/ e x e ] 1
2u/
/ e x e ] 1
Considerando t C sec(('*/ temosA
115
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
se u Q e
x
A
o 3ue resu%ta na e3ua#oA
tu
'
Y 'u V t Q 7
CuGas ra+Hes s#oA
2nde a*enas *odemos admitir u M 7 e 7 ] t ] 1A
4ubstituindo x *or y e t *or xA
Tue a in!ersa da sec!(x)/ *ortantoA
/ 7 ] x ] 1
Derivadas de argtg" e argsec"
4eGa y Q argtg!(x) / e x e ] 1
eduHimos 3ue sua deri!ada A
Tue/ de*ois de submetida K re$ra da cadeia e da raH#o/ se tornaA
116
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e/ fina%menteA
/ e x e ] 1
Cote 3ue/ de!ido K %imita#o do dom+nio im*osto *e%a !ari!e% na
fun#o *rimiti!a/ a deri!ada 8erda a mesma %imita#o/ uma !eH 3ue a
fun#o n#o e-ite fora deste dom+nio.
4eGa y Q argsec!(x) /
eduHimos 3ue sua deri!ada A
Tue/ de*ois de submetida K re$ra da cadeia e da raH#o/ se tornaA
e/ fina%menteA
117
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9ntegrais de argtg" e argsec"
)s inte$rais destas funes *recisam de um tratamento diferenciado/
uti%iHando@se os mtodos do *r6-imo ca*+tu%oA ,cnicas de inte$ra#o/
*ro*on8o 3ue o %eitor as faa como e-erc+cio do mesmo.
argcotg" e argcosec"
Considerando t C cotg(('*/ temosA
se u Q e
x
A
o 3ue resu%ta na e3ua#oA
(1 Y t)u
'
Y t Y 1 Q 7
CuGas raiHes s#oA
2nde a*enas *odemos admitir u M 7 e t ] 1A
4ubstituindo x *or y e t *or xA
Tue a in!ersa da cotg!(x)/ *ortantoA
118
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
/ e x e M 1
2u/
/ e x e M 1
Considerando t Q cosec!(x)/ temosA
se u Q e
x
A
o 3ue resu%ta na e3ua#oA
tu
'
Y 'u Y t Q 7
CuGas ra+Hes s#oA
2nde a*enas *odemos admitir u M 7A
4ubstituindo x *or y e t *or xA
119
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Tue a in!ersa da cosec!(x)/ *ortantoA
Derivadas de argcotg" e argcosec"
4eGa y Q argcotg!(x) / e x e M 1
eduHimos 3ue sua deri!ada A
Tue/ de*ois de submetida K re$ra da cadeia e da raH#o/ se tornaA
e/ fina%menteA
/ e x e M 1
Cote 3ue/ de!ido K %imita#o do dom+nio im*osto *e%a !ari!e% na
fun#o *rimiti!a/ a deri!ada 8erda a mesma %imita#o/ uma !eH 3ue a
fun#o n#o e-ite fora deste dom+nio.
4eGa y Q argcosec!(x) /
120
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
eduHimos 3ue sua deri!ada A
Tue/ de*ois de submetida K re$ra da cadeia e da raH#o/ se tornaA
e/ fina%menteA
/
9ntegrais de argcotg" e argcosec"
)s inte$rais destas funes *recisam de um tratamento diferenciado/
uti%iHando@se os mtodos do *r6-imo ca*+tu%oA ,cnicas de inte$ra#o/
*ro*on8o 3ue o %eitor as faa como e-erc+cio do mesmo.
Consideraes iniciais
) inte$ra#o um *rocesso 3ue demanda certa 8abi%idade e tcnica/
e%e *ro!? um meio indis*ens!e% *ara an%ises de c%cu%os di!ersos/
a%m disso o meio de inte$rar certas funes de!e ser e-ercitado at
3ue seGamos ca*aHes de absor!er a sua ess?ncia. 2 *rob%ema da
inte$ra#o de!e ser !isto como uma an%ise 3ue *ode conduHir a
resu%tados a%$bricos di!ersos/ 3uando tomadas tcnicas di!ersas/ 3ue
concordam/ *orm/ em resu%tado numrico.
e!ido K necessidade de e-erc+cio dessas tcnicas 3ue
a*resentaremos/ teremos mais e-em*%os neste ca*+tu%o/ uma 6tima
maneira de introduHir o conteFdo en3uanto a teoria e-*osta. )
121
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
natureHa di!ersa das formas de inte$rais nos obri$a a faHer este estudo
a *arte/ *ois certas funes s#o *ecu%iarmente dif+ceis de serem
ana%isadas antes da uti%iHa#o de a%$um artif+cio 3ue *ermita sua
sim*%ifica#o/ este o obGeti!o deste ca*+tu%oA traHer ao %eitor os
*rocessos de inte$ra#o e as di!ersas *ossibi%idades de sim*%ifica#o de
funes *ara a a*%ica#o destes *rocessos.
.or partes
) tcnica de inte$ra#o *or *artes consiste da uti%iHa#o do conceito de
diferencia% in!ersa a*%icado K f6rmu%a da re$ra da diferencia% do
*roduto/ ou seGaA
d(u') Q ud' V 'du
Tue a*6s a antidiferencia% se tornaA
1/ *ortantoA
) uti%iHa#o desta f6rmu%a *ara me%8orar o *rocesso de inte$ra#o
im*%ica na necessidade de uma bre!e e-*%ana#o/ o *rocesso consiste
em obser!ar a fun#o a ser inte$rada como sendo uma inte$ra% /
ou seGa/ de!emos se*arar a fun#o em duas *artesA uma/ c8amamos
de u/ 3ue consideraremos fun#o *rimiti!a e outra d' 3ue ser uma
diferencia%/ desta forma/ faremos a inte$ra#o da *arte d' *ara
encontrar ' e de*ois subtrairemos a inte$ra% da mesma com re%a#o a
diferncia% de uA du. Parece um tanto incomun a *rinc+*io/ *orm a*6s o
8bito no uso da tcnica/ esta se torna muito Fti%.
2utro fato de!e ser e-*%oradoA como o *rocesso demanda a inte$ra#o
da diferencia% d' nos !em a 3uest#o sobre a necessidade de uti%iHa#o
da constante de antidiferencia#o / *ortanto faamos a !erifica#o da
f6rmu%a uti%iHando@aA
122
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4e /
2u seGa/ a constante dis*ens!e% *ara o c%cu%o da inte$ra% 3ue
resu%ta em '.
!emplo & ' Caso do logaritmo
Xti%iHa#o da inte$ra#o *or *artes na reso%u#o da inte$ra% do
%o$aritmo natura%A
4e*aramos a diferencia% dx e a *rimiti!a ln(x)/ *rocedendo as
o*eraes in!ersasA
de*oisA
u Q %n(x)
)*%icando K f6rmu%a de inte$ra#o *or *artesA
123
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
,ambm 8 os 3ue *referem sim*%ificar mais/ desta formaA
4endo a constante de antidiferencia#o.
!emplo + ' Caso do arcseno
Xti%iHa#o da inte$ra#o *or *artes *ara encontrar a inte$ra% do
arcsenoA
4e*aramos as *artes e o*eramos *ara encontrar as res*ecti!as
in!ersasA
de*oisA
u Q arcsen(x)
)*%icando K f6rmu%a da inte$ra#o *or *artesA
124
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
a$ora consideremos o se$uinteA
z Q 1 Y x
'
dz Q Y 'xdx
%o$oA
PortantoA
4endo a nossa tradiciona% constante de antidiferencia#o.
!emplo - ' Caso do arccosseno
Xti%iHa#o da inte$ra#o *or *artes *ara encontrar a inte$ra% do
arccossenoA
4e*aramos as *artes e o*eramos *ara encontrar as res*ecti!as
in!ersasA
125
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
de*oisA
u Q arccos(x)
)*%icando K f6rmu%a da inte$ra#o *or *artesA
a$ora consideremos o se$uinteA
z Q 1 Y x
'
dz Q Y 'xdx
%o$oA
PortantoA
126
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4endo a nossa tradiciona% constante de antidiferencia#o.
!emplo / ' Caso do arctangente
Xti%iHando a inte$ra#o *or *artes *ara encontrar a inte$ra% do
arctan$enteA
4e*arando as *artes e o*erando as in!ersasA
e
)*%icamos a f6rmu%a da inte$ra#o *or *artesA
Por outro %adoA
u Q 1 V x
'
onde *odemos e-trairA
!o%tando ao desen!o%!imento da inte$ra%A
127
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
PortantoA
Co!amente/ temos como contante de antidiferencia#o.
!emplo 2 ' Alg7bricas com e!ponenciais
1ste um e-em*%o 3ue nos re!e%a uma fun#o c%aramente di!is+!e% em
duas *artesA
Considerando as *artesA
u Q x
'
du Q 'xdx
eA
' Q e
x
4ubstituindo na f6rmu%a de inte$ra#o *or *artesA
2 se$undo %ado desta e-*ress#o *ode ser no!amente sim*%ificado/
a*%icando a inte$ra#o *or *artes mais uma !eHA
x
'
e
x
Y 'xe
x
V 'e
x
PortantoA
128
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
!emplo 4 ' ,ecante com e!poente maior 5ue +
Xti%iHando a inte$ra#o *or *artes *ara reso%u#o da inte$ra% de
secantes com e-*oente maior 3ue 'A
Podemos faHerA
1 a*%icar a inte$ra#o *or *artesA
1 fina%menteA
Com constante.
.or substituio trigonom7tica
) e-ist?ncia de re%aes a%$bricas 3ue nos %e!am a arcos nos traH a
*ossibi%idade de con!erter uma e-*ress#o a%$brica/
conse3Lentemente uma fun#o a%$brica/ em uma fun#o
tri$onomtrica. ) *ossibi%idade de %idar com certas funes de forma
129
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
tri$onomtrica nos traH a *ossibi%idade de uti%iHar os artif+cios das
identidades *ara a sim*%ifica#o dessas funes.
%ransformando e!presses alg7bricas em trigonom7tricas
,r?s funes a%$bricas t?m seme%8anas com funes tri$onomtricas
3ue s#o notoriamente Fteis *ara a sim*%ifica#o de a%$umas funes/
e%as s#oA
1.
'.
3.
4endo "a" constante.
Cote 3ue as e-*resses s#o meramente re%aes 3uadrticas 3ue
descendem da re%a#o 3uadrtica entre todos os %ados de um mesmo
triUn$u%oA a
'
Q b
'
V c
'
/ se esco%8ermos um *ar (!ari!e%/constante) e
substituirmos na e3ua#o teremos as e-*resses acima como
resu%tantes/ teremos uma !ari!e% de*endente *ara cada *ar
(!ari!e%/constante)/ *or e-em*%oA se fiHermos b Q x/ c Q constante(a)
e a Q y teremos a e-*ress#o (') como resu%tante (;).
"ma$ine 3ue temos uma no!a !ari!e% f e 3ueA
4endoA
Podemos diHer 3ueA
PortantoA
130
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
3uando e
2 e-*osto acima encontra res*audo no fato de 3ue a e-*ress#o
sim*%esmente a tradu#o da re%a#o mtrica de um triUn$u%o retUn$u%o
*ara defini#o do cosseno a *artir do seno/ como se$ueA
4e fiHermos a com*ara#o entre as funes e o $rfico acima/
substituindo as !ari!eis e constantes de acordo com a fun#o dada/
teremos o se$uinteA
1.Ca fun#o uma tan$enteI
'.Ca fun#o um senoI
3.Ca fun#o uma secante.
2 3ue nos d as substituiesA
!presso ,ubstituio
A substituio trigonom7trica na integrao
)$ora/ considere o fato de 3ue a fun#o tem como
inte$ra% a fun#o F(x)/ ent#o *odemos faHerA
131
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Xma !eH/ 3ue *e%a an%ise anterior G sabemos 3ue 3uando faHemos x
Q asen(f) temosA
ent#oA
,emos 3ue encontrar dxA
2 3ue nos re!e%a a%$o interessanteA
2u seGaA
F(f) Q f V
Lo$oA
!emplo : ' ,ubstituio por seno
4eGa a fun#oA / ca%cu%emos a sua inte$ra% *or
substitui#o tri$onomtricaA
132
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9aHendo a transforma#o de !ari!eisA
) inte$ra% serA
F(f) Q f
ComoA
x Q 'sen(f)
PortantoA
4endo a constante de antidiferencia#o.
133
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
!emplo ; ' ,ubstituio por secante
4eGa a fun#oA / ca%cu%emos a sua inte$ra% *or
substitui#o tri$onomtricaA
4e
"ntroduHimos a !ari!e% an$u%ar f/ de forma 3ueA
x Q 3sec(f)
e sua diferencia%A
dx Q 3sec(f)tg(f)df
4ubstituindo na e3ua#o anteriorA
(etornando a fun#o ao dom+nio da !ari!e% xA
134
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
PortantoA

4endo a constante de antidiferencia#o.
!emplo = ' ,ubstituio por tangente
4eGa a fun#oA / ca%cu%emos a sua inte$ra% *or
substitui#o tri$onomtricaA
4e
"ntroduHimos a !ari!e% an$u%ar f/ de forma 3ueA
x Q 4tg(f)
e sua diferencia%A
dx Q 4sec
'
(f)df
4ubstituindo na e3ua#o anteriorA
135
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
(etornando a fun#o ao dom+nio da !ari!e% xA
PortantoA

4endo a constante de antidiferencia#o.
Funes racionais com denominadores lineares
enominadores de se$undo $rau ou mais s#o um *ouco mais
*rob%emticos 3uando 3ueremos definir uma inte$ra%/ *or e-em*%oA
4eGa a fun#oA
Z *oss+!e% demonstrar 3ue a fun#o *ode ser fatorada da se$uinte
formaA
2nde ( e ) s#o os fatores a serem definidosI o *rocesso *ara defin+@%os
ser e-*%icado mais adiante e r
1
/r
'
s#o as raiHes da e3ua#o formada a
*artir do denominador 3uando o i$ua%amos a Hero.
Porm a demonstra#o disto est fora do esco*o deste %i!ro/ de!e ser
tratado na a%$ebra a!anada.
1m todo caso/ o teorema bastante Fti% *ara a sim*%ifica#o de tais
funes.
Conceito da fatorao de funes racionais polinomiais
)s funes racionais do formatoA t?m uma caracter+stica
136
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
bem interessante/ os seus denominadores P
d
/ 3uando fatorados em
*artes %ineares e 3uadrticas *ermitem 3ue *ossamos escre!er a
referida fun#o como uma somaA
4eGa a fun#o / *odemos sim*%ific@%a desta formaA
Considerando as raiHes da e3ua#o x
'
V x Y ' Q 7/ *odemos diHer
3ueA
2s fatores (/) s#o ca%cu%ados faHendoA
1 Q ((x Y 1) V )(x V ')
%o$o/ as raiHes *ermitemA ((x Y 1) V )(x V ') Q 1/ ent#o temos 3ue
admitir 3ue ao ana%isar cada raiHA
Tuando x Q Y 'A
(N( Y ') Y 1O Q 1
Tuando x Q 1A
)N(1) V 'O Q 1
137
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ent#o/ *odemos faHerA
A simplificao de denominadores usada na integrao
2 artif+cio de encontrar com*onentes %ineares *ara substituir os
denominadores/ como e-*osto no t6*ico anterior/ *ermite uma boa
sim*%ifica#o de inte$rais com denominadores *o%inomiais de $raus
su*eriores/ *orm ainda de*ende da determina#o das ra+Hes do
*o%in=mio dos denominadores/ o 3ue %imita a nossa ca*acidade de
reso%u#o aos *o%in=mios bi3uadrticos. 4em %e!ar em conta este fato/
*odemos sim*%ificar a inte$ra% *ara uma boa *arce%a de *rob%emas 3ue
a*resentam estes formatos de e-*resses.
:eGamos o caso anteriorA
) fun#oA
/
*ode ser substituida *orA
2 3ue nos *ermite faHerA
Com Constante.
!emplo &> ' Decomposio do denominador em fatores
lineares
Xti%iHando a decom*osi#o de funes racionais em funes de
denominadores %ineares *ara a sim*%ifica#o de inte$rais.
4eGa a fun#oA
138
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
1ncontremos a inte$ra%A
e!emos sim*%ificar a fun#o/ *ara isto *odemos efetuar a di!is#o
*o%inomia%/ 3ue resu%taA
)inda resta uma *arte fracionria 3ue *odemos decom*or usando o
mtodo 3ue G !imos neste ca*+tu%oA
)s ra+Hes nos re!e%am 3ueA
x
'
V x Y 0 Q (x V 3)(x Y ')
%o$o *odemos faHerA
ou
13x Y '5 Q ((x Y ') V )(x V 3)
)na%isando os !a%ores da e3ua#o 3uando x se i$ua%a as ra+HesA
Para x Q ' A
Para x Q Y 3 A
139
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Podemos conc%uir 3ueA
esta forma temos a fun#o sim*%ificadaA
Podemos inte$r@%aA
PortantoA
4endo a constante de antidiferencia#o.
Funes racionais com denominadores 5uadrticos
) se$unda cate$oria de funes racionais Ks 3uais temos 3ue nos
a*%icar s#o as 3ue d#o ori$em a denominadores 3uadrticos.
Decompondo funes racionais em denominadores 5uadrticos
Tuando n#o temos como encontrar as raiHes de certos denominadores
3uadrticos *odemos mant?@%os e uti%iHar a se$uinte substitui#oA
140
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 teorema 3ue estabe%ece esta re%a#o faH *arte da %$ebra a!anada/
*ortanto n#o entraremos em deta%8e neste %i!ro/ *orm faremos uso
de suas conse3u?ncias como forma de sim*%ifica#o/ como fiHemos com
a decom*osi#o de denominadores em fatores %ineares !ista na se#o
anterior.
) me%8or maneira de definir a *arte (x V ) substituir a !ari!e% x
nesta faHendo@a i$ua% a deri!ada do denominador/ ou seGaA
(x V ) Q (('ax V b) V )
Co %ado es3uerdo da e3ua#o acima/ se 8ou!er !ari!eis de e-*oente
maior 3ue o maior e-*oente do %ado direito de!emos *roceder uma
sim*%ifica#o efetuando a di!is#o dos *o%in=mios/ caso contrrio
ter+amosA
-
1
x V -
7
Q (('ax V b) V )
-
1
x V -
7
Q 'a(x V (b V )
4e*aramos cada fator de acordo com o $rau da !ari!e%/ obtendoA
Para
Para
%o$oA
e
Porm em funes racionais mais comuns temos 3ue %idar com funes
com *artes %ineares e 3uadrticas/ onde o *rocesso de encontrar os
!a%ores *ara (/) de*ende das outras *artes en!o%!idas/ *ara !erificar o
*rocesso/ !eGamos o *r6-imo e-em*%o...
141
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
!emplo && ' Decomposio de funes racionais em
denominadores 5uadrticos e lineares
Xti%iHando a decom*osi#o de funes racionais com denominadores
3uadrticos *ara sim*%ificar o c%cu%o da inte$ra%.
4eGa a fun#oA
Ca%cu%emos a sua inte$ra% indefinidaA
)ntes de tudo faamos a sim*%ifica#o dos *o%in=mios/ *rimeiro
faremos a di!is#o sim*%es do numerador *e%o denominadorA
a di!is#o se*aramos a *arte do restoA
Procedendo a decom*osi#o dos fatoresA
Tue nos *ermite faHerA
x
2
+ x = (A + 2B)x
2
+ (C 2B)x + A C
142
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Tuando se*aramos os fatores *ara cada !ari!e% de e-*oente
corres*ondente em ambos os %ados da e3ua#o/ temosA
(eso%!endo o sistema %inear temosA
Podemos escre!er a fun#o comoA
)$ora *odemos inte$r@%aA
PortantoA
Com constante.
.or substituio "iperbAlica
4e *odemos faHer substituies tri$onomtricas em funes a%$bricas
e e-istem funes 8i*erb6%icas/ *or 3ue n#o uti%iHar o mesmo mtodo
de substitui#o com funes 8i*erb6%icasP ,emos mais esta
*ossibi%idade *ara sim*%ificar a inte$ra#o de funes a%$bricasI
eta%8aremos nesta se#o as formas de substitui#o com funes
8i*erb6%icas/ 3ue *odem ser uma !a%orosa ferramenta *ara a
inte$ra#o de funes mais com*%e-as.
143
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9ntegrais resultantes das "iperbAlicas inversas
Como conse3L?ncia das deri!adas de funes 8i*erb6%icas in!ersas/
temos as se$uintes inte$raisA
Funo: Derivada: 9ntegral relacionada:
y Q argsen!(x)
y Q argcos!(x)
/ e x e M 1
y Q argtg!(x)
/ e x e ] 1
y Q argsec!(x)
/ 7 ] x ] 1
y Q argcotg!(x)
/ e x e M 1
y Q argcosec!(x)
/
%ransformando funes alg7bricas em "iberbAlicas
) tcnica a3ui e-*osta seme%8ante K abordada na se#o
,ransformando e-*resses a%$bricas em tri$onomtricas/ a diferena
bsica est nas e-*resses a serem substitu+das/ uma !eH 3ue as
identidades tri$onomtricas e 8i*erb6%icas s#o suti%mente distintas/ as
e-*resses se$uem a mesma tend?ncia. 1nt#o !amos !er 3uais s#o as
corres*ondentes a%$bricas *ara as funes 8i*erb6%icasA
1.Ca fun#o um seno 8i*erb6%icoI
'.Ca fun#o uma tan$ente 8i*erb6%icaI
3.Ca fun#o uma cotan$ente 8i*erb6%ica.
144
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 3ue nos d as substituiesA
!presso ,ubstituio
1m todas as substituies consideramos um triUn$u%o retUn$u%o cuGo
!rtice re%acionado ao Un$u%o f faH *arte de uma *ers*ecti!a
8i*erb6%ica/ ou seGa/ o Un$u%o est em / trata@se de uma
abstra#o 3ue *ode ser com*ro!ada em c%cu%o a!anado/ o nosso
obGeti!o a3ui de fornecer as ferramentas necessrias *ara an%ises
desse ti*o.
A substituio "iberbAlica na integrao
Considere a fun#oA e 3ue sua inte$ra% seGaA F(x)/
ent#o teremosA
Concebemos uma no!a !ari!e% D de forma 3ueA
conse3Lentemente/ sua diferencia% A
4ubstituindo na e3ua#o inicia%/ temosA
145
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2u seGaA
Porm/ de!ido a natureHa e-*onencia% das funes 8i*erb6%icas
in!ersas/ ainda *odemos transformar esta e3ua#o na forma
*uramente %o$ar+tmicaA
9ina%menteA
Funes racionais trigonom7tricas
2 *rob%ema da inte$ra#o de funes racionais tri$onomtrica consiste/
basicamente/ na caracter+stica da com*%e-ibi%iHa#o *ro$ressi!a 3uando
estas funes s#o submetidas Ks tcnicas con!encionais de
substitui#o/ no momento 3ue tentamos substituir a e-*ress#o ori$ina%
temos 3ue definir sua diferencia%/ o 3ue im*%ica na cria#o de mais um
termo a ser incor*orado a e-*ress#o ori$ina%.
i$amos 3ue ten8amos 3ue inte$rar a fun#oA
)o adotarmos a %in8a tradiciona% de substituies teremosA
u Q sen(x)
e
146
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
du Q cos(x)dx
no entantoA
u
'
Q sen
'
(x)
1 Y u
'
Q 1 Y sen
'
(x)
cos
'
(x) Q 1 Y u
'
%o$o teremos 3ue inte$rarA
de forma 3ueA
Tue/ *e%o menos/ uma fun#o a%$brica *ura/ mas 3ue ainda
demanda um certo traba%8o *ara ser inte$rada... Portanto conc%uimos
3ue o *rocesso de substitui#o de !ari!eis e diferenciais n#o aGuda
muito.
Cesta se#o e-*oremos um mtodo de substitui#o mais eficiente *ara
estes casos.
)sando as identidades trigonom7tricas
)*resentamos duas identidades 3ue ser#o muito Fteis *ara a
sim*%ifi#o de funes racionais tri$onomtricas/ s#o e%asA
1.4eno em forma a%$brica
'.Cosseno em forma a%$brica
Easicamente s#o resu%tantes de um *rocesso de substitui#o mais bem
estruturado/ *ara *ossibi%itar a sim*%ifica#o da inte$ra#o.
147
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9'&: Cosseno em forma alg7brica
) identidade re%acionada ao Cosseno a*resentada antes da
re%acionada ao seno *ois ser Fti% *ara a sua dedu#o.
Considere a se$uinte defini#oA
%o$o/ dedut+!e% 3ueA
Demonstrao:
Considerando a identidade "@' Cosseno da soma/ temos/ *or
conse3L?nciaA
cos('u) Q cos
'
(u) Y sen
'
(u)
4e A
ou
Por outro %adoA
148
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4ubstituindo na identidade temosA
3ue nos dA
9'&; ,eno em forma alg7brica
)inda considerando a defini#oA
tambm dedut+!e% 3ueA
Demonstrao:
a identidade anteriorA
a "@1 "dentidade re%aciona% bsicaA
9aHendo as substituiesA
149
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%o$oA
9ntegrando
,emos duas funes tri$onomtricas fundamentais na forma a%$brica
*ara substituir as ori$inais na forma tri$onomtrica/ *orm *ara
inte$rar as funes racionais substituindo@as *or estas temos 3ue
encontrar uma diferencia% corres*ondente *ara esta no!a !ari!e%
a%$brica 3ue criamos.
a defini#o inicia%A
iferenciandoA
a identidade "@14 (e%acionando tan$ente e secanteA
150
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
de onde conc%uimos 3ueA

)$ora *odemos encontrar a inte$ra% *ro*osta no in+cio da se#oA
*ara / temosA
ou seGaA
)o incr*e!+ ,,,
F(x) Q %n e t e
e
Bamais *oderemos nos es3uecer de C/ a fami$erada constante de
antidiferencia#o 3ue tanto nos *erse$ue.
%abela de integrais
Para au-i%iar nos c%cu%os/ consu%te a tabe%a de inte$rais na gi_i*dia.
151
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
9ndeterminao
Cos de*aramos constantemente com situaes onde necessrio 3ue
a%$um $rau de indetermina#o seGa considerado e ana%isado/ na
matemtica e%ementar temos as formas indeterminadas 3ue *or
scu%os intri$ou matemticos e fi%6sofos famosos/ uma das mais
comuns a raiH / *orm %idar com esta indefini#o em matemtica
e%ementar G sabemos/ um estudo sobre nFmeros com*%e-os ser
a*%icado ao Clculo nos %i!ros subse3Lentes. Para o *resente estudo
faremos a an%ise do c%cu%o em funes 3ue $eram !a%ores indefinidos/
mas 3ue *odem ser rea!a%iados *or um %imite infinitesima%. 2 artif+cio
de ana%isar a fun#o sob um %imite *ode nos re!e%ar resu%tados
bastante conc%usi!os/ 3ue *odem sanar boa *arte dos *rob%emas 3ue
encontramos no uso do c%cu%o.
Tue esteGa bem c%aro 3ue a an%ise dos !a%ores a3ui su$erida n#o traH
um ar$umento definiti!o *ara a indetermina#o/ a*enas traH meios
ca*aHes de so%ucionar 3uestes 3ue *assam *e%a indetermina#o/ mas
3ue *odem ser so%ucionados 3uando as tend?ncias s#o suficientes *ara
uma conc%us#o a res*eito do *rob%ema de*endente e n#o da
indetermina#o em si.
Formas indeterminadas
Easicamente ana%isaremos as formas indeterminadas $eradas *e%o
denominador nu%o/ das 3uais destacamos os se$uintes casosA
9orma
9orma
9orma
)inda temosA
9orma
9orma
152
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Ca maioria dos casos temos a indetermina#o em um *onto do
dom+nio/ onde o !a%or de um denominador nu%o *ara uma
determinada fun#o/ desta forma *odemos definir a raH#o como uma
fun#o com*osta da se$uinte formaA
e onde *odemos faHer as se$uintes consideraesA
ado um *onto Na/!(a)O ondeA
f(a) Q 7
g(a) Q 7

Podemos diHer 3ue !(x) a*resenta uma forma indeterminada em Na/!
(a)O/ *orm o %imiteA *ode ser determinado. Podemos faHerA
) se$unda forma de indetermina#o acontece 3uando/ dado um *onto N
a/!(a)O/ ondeA



Ca terceira forma de indetermina#o acontece 3uando/ dado um *onto
Na/!(a)O/ ondeA



153
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%/+ ' ?alor m7dio de Cauc"E
4eGa a fun#o numerador e a fun#o denominador em uma
re%a#o/ ent#o 8 *e%o menos um !a%or no inter!a%o no 3ua%
esta re%a#o definida *orA
Demonstrao
Considere 3ue em cada e-tremo do inter!a%o ten8amos um *onto *ara
cada fun#o/ ent#o *oderemos traar uma reta *ara cada e-tremo de
cada fun#o no inter!a%o/ definimos duas retas 3ue nos *ossibi%itam
afirmar 3ue 8 *e%o menos um *onto de cada fun#o neste inter!a%o
com deri!ada i$ua% a inc%ina#o destas retas/ *or outro %ado *odemos
criar condies *ara 3ue a re%a#o destas retas obedeam as condies
do teorema de (o%%e e conse3Lentemente o teorema do !a%or mdio
*ara deri!adas/ uma no!a fun#o 3ue traH esta *ossibi%idade estaA
ondeA
/
deri!ando a e3ua#oA
esta forma teremos *e%o menos um *onto no inter!a%o onde a
deri!adaA nu%a/
154
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
isto bem mais sim*%ificado se *ensarmos 3ueA
e
*e%o teorema do !a%or mdio *ara deri!adas... Tue de*ois de uma
sim*%es di!is#o nos d o mesmo resu%tado.
%/- ' 0egra de 8FGHpital
ada a fun#oA
indefinida em / *oss+!e% *ro!ar 3ueA
Caso os %imites e-istam.
Demonstrao do caso &
4e
,emos do %eorema do valor m7dio de Cauc"EA
Cote 3ue *odemos faHer A
Xma !eH 3ue temos . obser!amos 3ueA
155
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e
sendo f(a) Q g(a) Q 7 conforme definimos/
se reduH aA
Porm/ faHerA
PortantoA
Demonstrao do caso +
4e 3uando /
Xma !eH 3ue deseGamos encontrarA
Podemos *romo!er uma mudana de !ari!e%/ ou seGa/ se o %imite
acima %e!a as funes a se anu%arem no infinito/ ent#o *odemos faHerA
/
156
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
desen!o%!endo temosA
2 3ue torna o %imite inde*endente da mudana da !ari!e%/ *ortantoA
Apresentao do caso -
1mbora n#o seGa a*ro*riado *ara este estudo de JC%cu%o "J a
demonstra#o da re$ra *ara casos onde temos as indeterminaes do
ti*oA
/
) mesma re$ra tambm !%ida/ desde 3ue as deri!adas do
numerador e do denominador n#o seGam nem nu%as nem infinitas.
9ntegrais imprAprias
)t a$ora %idamos com inte$rais definidas com %imites de inte$ra#o
determinados/ neste momento introduHiremos os casos onde os %imites
de inte$ra#o s#o indefinidos/ mais es*ec+ficamente 3uando estes
%imites tendem a infinitos ou !a%ores nu%os 3ue $eram infinitos na
fun#o a ser inte$rada. 1mbora $rande *arte das funes ten8am
!a%ores indefinidos 3uando inte$rados com %imites infinitos/ uma boa
*arte fornece !a%ores derinidos nestas situaes/ a$ora definimos a
$ntegra! impr-pria como se3ueA
1.
157
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
'.
3.
4.
5.
,odos os casos acima s#o inte$rais im*r6*rias onde o !a%or *ode se
mostrar definido mesmo se os %imites de inte$ra#o n#o seGam tota% ou
*arcia%mente definidos...
5 tambm a forma im*r6*ria das inte$rais 3ue faHem a fun#o se
tornar indefinida no *onto do %imite de inte$ra#o/ ou seGaA
e forma 3ue se os %imites e-istem *oss+!e% 3ue a inte$ra% *ossa ser
definida.
8imites infinitos
Co caso em 3ue os %imites de inte$ra#o se estendem a !a%ores
infinitos e 3ue e-iste o %imite da fun#o *ara estes !a%ores diHemos 3ue
a inte$ra% e 3ue 3uando a fun#o n#o a*resenta defini#o
*ara o %imite diHemos 3ue esta / ou seGa c8amamos as inte$rais
im*r6*rias de ou de acordo com a
*ossibi%idade ou n#o da defini#o do %imite 3ue *ermite ca%cu%ar o
referido !a%or da inte$ra%.
Para esta aborda$em *odemos !erificar 3ue/ se a inte$ra%
indefinida de / *odemos estabe%ecer 3ue 3uandoA
158
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
/
*odemos faHer o %imite da fun#o/ o 3ue nos re!e%aA
esta forma *odemos adotar o mtodo de e%imina#o dos coeficientes
nu%os no infinito/ usados *ara o caso de c%cu%o de %imites no infinito/
ou seGaA
1.Ca%cu%a@se a inte$ra% indefinida da fun#oI
'.9atora@se a fun#o *ara encontrar os maiores e-*oentesI
3.4im*%ifica@se a mesmaI
4. 1 a*%ica@se o limite no infinito *ara cada !a%or de limite de
integrao 3uando usamos o ,eorema fundamenta% do c%cu%o.
8imites nulos
Para os casos onde o c%cu%o da inte$ra% definida em %imites de
inte$ra#o nu%os conduH a !a%ores indefinidos a re$ra seme%8ante K
anteriorI
4eGa as inte$rais definidasA
4endo a inte$ra% indefinidaA
4eA
Podemos ca%cu%ar a inte$ra% definida faHendoA
159
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%// ' FArmula de %aElor
4eGa a fun#o diferenci!e% no inter!a%o / *oss+!e%
demonstrar 3ueA
2nde c8amado de abscissa do !a%or mdio da deri!ada /
3uando intui@se 3ue 3uanto maior a ordem da deri!ada maior a
3uantidade de *arce%as na e3ua#o e maior ser a *recis#o da sntese
da fun#o atra!s do *o%in=mio.
Ceste caso *odemos diHer 3ue o F%timo termo da e3ua#o o resto/
diHemos 3ue 8 con!er$?ncia/ o 3ue torna a s+ntese *oss+!e%/ 3uando o
resto diminui consecuti!amente tendendo a Hero/ o 3ue nos *ermite
diHer 3ue 3uanto menor o seu !a%or mais *recisa a s+ntese da fun#o.
Demonstrao:
) fun#o *ode ser e-*ressa/ se$undo o teorema fundamenta% do
c%cu%o comoA
Podemos se*arar a inte$ra% n#o reso%!ida da e3ua#o faHendoA
4e ca%cu%armos a inte$ra% acima a*%icando a inte$ra#o *or *artes/
teremosA
160
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
%o$oA
9aHendo esta substitui#o sucessi!amente obtemos a f6rmu%a de ,a;%or
faci%mente/ faamos mais um *asso *ara 3ue se e!idencie com mais
c%areHaA
2 3ue nos dA
) e!o%u#o da e3ua#o not6ria e *or indu#o de inte$raes temos
a referida f6rmu%a.
Podemos definir o resto desta formaA
A integrao na prtica
Ceste ca*+tu%o fina%iHamos o *rimeiro %i!ro desta srie do estudo do
C%cu%o/ teremos a$ora a no#o da 3uase infinita $ama de uti%iHaes
3ue *odemos faHer com a inte$ra#o/ 3ue uma das ferramentas de
estudo a%$brico e numrico mais frut+feras dentro da matemtica/ a
inte$ra#o fornece meios de ca%cu%ar e a!a%iar di!ersos *rob%emas
com*%e-os. as a*%icaes da inte$ra#o teremos uma amostra das
mais ob!iamente conceb+!eis/ iniciaremos o estudo de reas em
161
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
su*erf+cies *%anas de%imitadas *or cur!as/ de*ois ca%cu%aremos !o%umes
de obGetos cur!os/ determinar a *ress#o 3ue um %+3uido e-erce sobre
obGetos cur!os ne%e mer$u%8ados e *oderemos tambm/ ca%cu%ar
com*rimentos de cur!as definidas for funes em um $rfico de
coordenadas cartesianas.
Ireas
,a%!eH esta seGa a mais 6b!ia a*%ica#o *ara o c%cu%o de inte$rais/ mas
faremos a%$umas consideraes sobre o estudo de reas sob cur!as
3ue s#o im*ortantes *ara 3ue seGam e!itados erros durante o *rocesso
de an%ise dos !a%ores.
Como conse3L?ncia direta da defini#o da inte$ra% temos a rea sob da
cur!a a ser inte$rada e o ei-o das abscissas / seGa a fun#o /
considerando 3ue a mesma *ode assumir !a%ores tanto *ositi!os como
ne$ati!os/ o fato de este sina% ser determinante *ara o *rocesso de
somat6rias consecuti!as/ *r6*rio da inte$ra% definida/ de!emos
considerar no c%cu%o a *ossibi%idade da diminui#o de !a%ores no caso
de 8a!er reas com !a%ores ne$ati!os.
,inais
a defini#o da inte$ra% de (iemann temosA
2b!iamente/ *ode ser estabe%ecido e *ode ser tomado como
*ositi!o se fiHermos / %o$o nos restaA
Tue arbitrrio *ois de*ende da fun#o / o 3ue nos %e!a a conc%uir
3ue o sina% da fun#o determina o sina% da inte$ra%/ ou seGa/ embora o
m6du%o da inte$ra% re*resente a rea de%imitada *e%a cur!a e o ei-o
das abscissas/ o seu !a%or re%ati!o *ode n#o e-*ressar a*enas !a%ores
*ositi!os/ o 3ue nos indica 3ue temos 3ue ana%isar o sina% da fun#o
antes de ca%cu%ar 3ua%3uer rea atra!s da inte$ra#o.
162
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
Calculando as reas
Consideremos o caso da fun#oA
2s !a%ores do seno entre e s#o *ositi!os e entre e s#o
ne$ati!osh "sto causa uma situa#o interessante/ uma !eH 3ue as reas
entre a cur!a e o ei-o dos dois inter!a%os/ 3uando obser!adas no
*%ano cartesiano/ s#o identicas/ a rea das duas de!eria ser o dobro de
uma de%as/ entretanto a inte$ra% ca%cu%ada no inter!a%o entre e
nu%ah 1sta a raH#o *e%a 3ua% de!emos faHer o m6du%o das inte$rais
em cada inte!a%o de mudana de sina%/ *ara 3ue os !a%ores das reas
nestes inter!a%os n#o se subtraiam/ *ro!ocando erro no c%cu%o.
e!emos !erificar os inter!a%os onde a fun#o se torna ne$ati!a e
in!erter o sina% antes de efetuar a soma de reas em cada inter!a%o/
asse$urando assim o correto !a%or do tota% de unidades 3uadradas de
rea/ de%imitadas *e%a cur!a e o ei-o .
Co caso da fun#o acima/ teremosA
4ob di!ersas situaes de!emos !erificar o com*ortamento do $rfico/
*ara 3ue *ossamos determinar a me%8or maneira de ca%cu%ar a rea/ no
caso de reas de%imitadas *or duas cur!as *odemos determinar a rea
de cada cur!a em re%a#o ao ei-o e !erificar o com*ortamento das
cur!as no $rfico *ara determinar a forma de ca%cu%ar. Ca se#o
subse3Lente !eremos como determinar a rea de%imitada *or duas
cur!as.
!emplo &
4eGam duas funesA
:amos ca%cu%ar a rea da re$i#o de%imitada *e%as cur!as entre as suas
intersees. 2 $rfico abai-o re*resenta as funes e a rea 3ue
163
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
deseGamos ca%cu%ar/ a 3ua% c8amamos de AA
"nicia%mente !erifi3uemos os *ontos onde as funes se encontram/ ou
seGa/ os *ontos onde A
4e
4e em ambas as funes .
Condies 3ue nos re!e%a o inter!a%o entreA
e
2b!iamente de!emos *roceder a subtra#o entre a rea de%imitada
*e%a reta e a rea de%imitada *e%a *arbo%a/ no caso da reta
*oder+amos ainda faHer a rea do triUn$u%o formado *e%a mesma e o
164
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ei-o das abscissas/ *orm faamos todo o *rocesso uti%iHando
inte$ra#o *ara 3ue *ossamos ter um *rocesso uni!ersa% *ara o c%cu%o
de reas desse ti*o.
Ca%cu%emos as inte$raisA
e
) rea 3ue 3ueremos encontrar A
%o$oA
unidades 3uadradas.
165
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
?olumes
Considerando as di!ersas formas 3ue encontramos na natureHa/
*odemos !erificar 3ue muito *oucas t?m formas re$u%ares/ difici%mente
*oder+amos encontrar o !o%ume de um cor*o s6%ido encontrado
comumente na natureHa *or meio da $eometria euc%idiana/ as cur!as
s#o comuns no nosso mundo/ muitas de%as *odem ser determinadas
*or e3uaes/ *orm antes 3ue a teoria do C%cu%o fosse e%aborada os
!o%umes eram ca%cu%ados *or a*ro-imaes. 5oGe *odemos obter
muitos dos !o%umes de cor*os sinuosos *e%o C%cu%o/ os mtodos
descritos a se$uir s#o os mais bsicos *ara cur!as 3ue *odem ser
determinadas matematicamente/ no decorrer dos *r6-imos !o%umes
a*renderemos a ca%cu%ar formas mais com*%e-as. Por 8ora/ os c%cu%os
3ue a3ui ser#o a*resentados G fornecem uma $ama de a*%icaes bem
am*%a no nosso mundo onde a indFstria usa cada !eH mais cur!as em
seus *rodutos/ ob!iamente teremos cur!as matematicamente
determin!eis *ara estes casos/ uma !eH 3ue o 8omem $era%mente usa
mtodos de com*uta#o *ara criar seus *rodutos 8oGe em dia.
Curvas rotacionadas
"ma$inemos 3ue ten8amos uma cur!a matematicamente determin!e%/
uma *arbo%a/ *or e-em*%o/ e ten8amos a rea de%imitada *e%a mesma
e o ei-o -/ se fiHermos com 3ue o ei-o ; ser!isse de mastro e
$irassemos a *arbo%a em torno do mesmo/ o 3ue ter+amosP ,er+amos
um s6%ido formado *e%as infinitas %Uminas em forma de *arbo%a.
2 efeito da rota#o de uma *arabo%a *ode ser !isua%iHada *e%o $rfico
tridimensiona%/ o 3ue !emos o 3ue c8amados de *arabo%6ide/ um
s6%ido seme%8ante ao reci*iente de %+3uido de uma taa. Considerando a
*arte interna *reenc8ida teremos um !o%ume a ser ca%cu%ado/ o 3ue
*odemos faHer uti%iHando o JC%cu%oJ.

Parabolide
166
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 efeito da rota#o de uma e%i*se *ode ser !isua%iHada da mesma forma/ o 3ue
nos *ossibi%ita !er o 3ue c8amados de e%i*s6ide/ um s6%ido seme%8ante a um
o!o de r*ti%. 2 !o%ume a ser ca%cu%ado tambm *ode ser conse$uido atra!s
do JC%cu%oJ.
,Alidos delimitados por uma curva
2 mtodo *ara c%cu%o de !o%umes de%imitados *or cur!as
rotacionadas/ como e-*ostas acima/ consiste na di!is#o do s6%ido em
discos com raio i$ua% ao !a%or da fun#o 3ue est sendo rotacionada/
ou seGa/ *ara cada *onto da fun#o teremos um disco de raio
determinado *e%a mesma/ o 3ue nos *ermite faHer uma somat6ria de
discos 3ue acom*an8am o contorno da cur!a/ !eGamos o desen8o
abai-oA
Se./o de um slido
,emos a fun#o !ariando ao %on$o do ei-o -/ o 3ue nos *ermite diHer
3ue uma reta *er*endicu%ar ao ei-o 3ue *assa *or um *onto do $rfico
um raio de um disco... 1m um inter!a%o onde
/ no 3ua% / a$ru*emos *ares
de !a%ores nas abscissas/ de forma 3ue o !a%or mdio da fun#o seGa
. ,omando cada disco com um !o%ume a*ro-imado deA
Considerando 3ue a *recis#o do c%cu%o aumenta 3uando os discos se
tornam menos es*essos/ temos 3ue admitir 3ue e-iste uma norma de
*arti#o 3ue *ode ser definida *ara o inter!a%o 3ue *retendemos
167
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
ca%cu%ar/ *ortanto *odemos faHerA
2nde temos um !o%ume de disco *ara cada *onto da cur!a e a norma
*ode ser in!ersamente *ro*orciona% ao numero n. Lo$o/ !erificamos
3ueA
ou
2 inter!a%o Na/bO refere@se a uma *arte do s6%ido/ da 3ua% 3ueremos
ca%cu%ar o !o%ume.
!emplo +
Ca%cu%ar o !o%ume do s6%ido de re!o%u#o criado *e%a rota#o da
*arbo%a em torno do ei-o das abscissas/ no inter!a%o .
)*%icando a f6rmu%a anteriormente !ista temosA
2 !o%ume A
unidades cFbicas.
168
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
,Alidos delimitados por duas curvas
)$ora *odemos definir um s6%ido JocoJ/ ou seGa/ *ara 3ue um s6%ido
ten8a uma abertura de!emos de%imitar uma face e-terna e outra
interna/ o 3ue nos *ede 3ue ten8amos uma cur!a *ara cada face.
Para a determina#o das duas faces considere as duas funes e
sendo 3ue/ *ara determinar o s6%ido de forma re$u%ar/
estabe%ecemos o se$uinte conGunto de re$rasA
1.
'.
3.
2bser!emos a i%ustra#o a se$uirA
JP%ano dos ei-osJ
Consideremos um corte 3ue nos *ermita obser!ar uma fatia do s6%ido/
como *odemos !er o retUn$u%o 3ue tomamos no centro do desen8o
re*resenta uma fatia de um disco JocoJ.
)$ora *odemos encontrar o !o%ume ocu*ado *e%o s6%ido/ no es*ao
de%imitado *e%as duas funes/ considerando 3ue as duas sofrem
rota#o/ mantendo o ei-o como base de rota#o/ conforme fiHemos
no caso do t6*ico anterior com uma fun#o/ a Fnica diferena 3ue
temos um !o%ume 3ue de!er ser subtraido do outro.
169
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4e$undo o mesmo racioc+nio da an%ise anterior/ !erificamos 3ue o
!o%ume de um disco de se#o do s6%ido no inter!a%o *ode ser
determinada como se3ueA
"ne!ita!e%mente !emos a corres*ond?ncia entre os dois casos/
sim*%esmente 8 uma subtra#o de !o%umes/ 3ue !eremos ref%etida no
resu%tado fina%... Prosse$uindo/ faamos a somat6ria dos !a%ores das
sees dentro do inter!a%o 3uando as *arce%as diminuem
infinitesima%menteA
9ina%mente encontramos o !o%umeA
ou
!emplo -
Ca%cu%ar o !o%ume do s6%ido $erado *e%a rota#o das cur!as
e g(x) Q x
3
em re%a#o ao ei-o das abscissas/
considerando o inter!a%o entre e o *onto de encontro das duas
cur!as.
)ntes de tudo !amos encontrar o *onto de encontro das cur!as/ ou
seGaA
)s cur!as se encontram 3uandoA
170
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
e!emos encontrar o !o%ume entre as duas cur!as no inter!a%o A
Tue nos fornece um !o%ume a*ro-imado deA
unidades cFbicas.
Cilindros conc3ntricos
)$ora ima$inemos um s6%ido cuGo ei-o se encontra nas ordenadas/ ou
seGa/ *ara cada *onto da fun#o teremos uma circunfer?ncia/ se
traarmos uma reta at o ei-o das abscissas *ara cada *onto teremos
ci%indros conc?ntricos ao ei-o das ordenadas.
Para definir o !o%ume do ci%indro consideremosA
1.2 inter!a%o *ara a es*essura do ci%indro em I
'.C8amamos de a *arti#oA
I
3.entro de 8 sem*re uma sub*arti#o 3ue a maior/ a 3ua%
c8amamos de norma/ identifincando@a comoA
4.1-istindo os nFmeros de forma 3ue I
2 !o%ume de um *e3ueno se$mento do ci%indro A
4omamos todos os se$mentos *ara encontrar o !o%ume tota%A
171
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4e %e!armos os subinter!a%os entre os !a%ores de a nFmeros cada
!eH menores teremosA
ou seGaA
Como *odemos faHerA
Conc%uimos 3ueA
ou
!emplo /
1ncontrar o !o%ume do s6%ido $erado *e%a rota#o da cur!a
/ cuGo ei-o de re!o%u#o o ei-o das ordenadas/ no
inter!a%o das abscissasA
a f6rmu%a do c%cu%o temosA
Podemos usar a in$e$ra#o *or *artes e c8e$ar aA
172
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
,emos um !o%ume a*ro-imado deA
unidades cFbicas.
8Bminas paralelas
2s mtodos anteriormente uti%iHados *ara o c%cu%o de !o%umes *odem
ser en$%obados em um conceito $era%/ no 3ua% *odemos faHer a soma
de *e3uenos se$mentos de um s6%ido encontrando o !o%ume tota%/ uma
forma de faHer isso uti%iHar o secionamento de forma a re%acionar a
rea de cada se#o K !ari!e% inde*endente/ ou seGa/ se temos sees
tras!ersais *er*endicu%ares ao ei-o da !ari!e% inde*endente e
*odemos re%acionar a rea de cada J%UminaJ ao !a%or da !ari!e%/
temos um meio de inte$rar todas as %Uminas e encontrar o !o%ume do
s6%ido com uma somat6ria das mesmas.
ConsiderandoA
rea da se#o.
2 !o%ume A
Xma !eH 3ue 3uando temos e 3ue temos sees
dentro do inter!a%o / onde a maior a norma/ *odemos conc%uir
3ue a somat6ria %e!ada/ no %imite/ a ser a inte$ra%A
2u seGa/ *ara 3ue *ossamos encontra a rea nestes casos basta
encontrar a inte$ra% definida da fun#o reaI sem*re 3ue for *oss+!e%
encontrar uma fun#o cont+nua da rea da se#o em re%a#o a !ari!e%
inde*endente/ *oderemos encontrar o !o%ume do s6%ido inte$rando
173
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
esta fun#o rea.
!emplo 2
Ca%cu%ar o !o%ume do s6%ido formado *or um ci%indro circu%ar reto/ cuGa
base tem centro na or+$em dos ei-os cartesianos e *ara%e%a ao *%ano
dentro de um raio de 4 unidades/ sendo secionado *or um
*%ano 3ue *assa *e%os *ontos e e3uidistante do ei-o A
(etiramos as informaes do *rob%ema *ro*osto/ 3ue nos diH 3ueA
) a%tura do ci%indro *ara cada !a%or de i$ua% a da reta
determinada
*e%os *ontos 3ue *ertencem ao *%ano/ uma !eH 3ue o *%ano
*er*endicu%ar ao *%ano A
%o$oA
3ue define a retaA
4ees do ci%indro *er*endicu%ares ao ei-o tem bases 3ue
crescem a medida
3ue o !a%or de aumenta/ cuGo !a%or *ode ser obtido *orA
iante disto *odemos !erificar 3ue o s6%ido *ode ser definido *or
sees tran$u%ares/ *er*endicu%ares ao ei-o / *ortanto faHemosA
Pois 8 fai-as onde o 3ue nos obri$a a a*%icar a corre#o. )$ora
174
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
!amos ca%cu%ar a inte$ra% indefinidaA
4e ti!ermosA
4ubstituimosA
(edefinindoA
2u seGaA
%o$oA
175
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
2 !o%ume A
unidades cFbicas.
.resso dos l5uidos
1sta uma a*%ica#o bastante interessante... Considere 3ue ten8amos
3ue ca%cu%ar a *ress#o 3ue um %+3uido e-erce sobre um obGeto imerso
em a%$um %+3uido/ se o obGeto *%ano o c%cu%o dessa *ress#o e
conse3Lentemente a fora tota% sobre a su*erf+cie fci% de ser
ca%cu%ada/ *orm se o obGeto cur!o e a fora se distribui ao %on$o do
cor*o temos um *rob%ema com*%e-o nas m#os. "n!esti$aremos a$ora
uma a*%ica#o da inte$ra% *ara so%u#o deste *rob%ema.
)dotemos as se3uintes nomenc%aturas *ara as definies 3ue se
se$uemA
@ Press#o !o%umtricaI
@ Press#o su*erficia%I
@ 9oraI
@ >reaI
@ :o%umeI
@ )%turaI
1nt#o/ da defini#o de 9+sica/ a *ress#o em um %+3uido contido num
reci*iente de !o%ume A
2u seGa/ se o !o%ume do cor*o for unitrio/ a fora 3ue atua sobre e%e
i$ua% a *res#o !o%umtrica/ *orm se 3uisermos saber a fora e-ercida
*e%o %+3uido sobre uma su*erf+cie faHemosA
ou
Porm/ ima$inemos 3ue o cor*o uma %Umina mer$u%8ada
!ertica%mente e deseGamos obter a fora tota% e-erc+da *e%o %+3uido
176
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
sobre o mesmo... "ne!ita!e%mente !eremos 3ue a fora aumenta com a
a%tura e sua somat6ria n#o ser a%$o con!enciona% se a rea da
su*erf+cie do obGeto for cur!a.
Consideremos 3ue a %ar$ura do obGeto ao %on$o da %in8a !ertica% 3ue
define a a%tura seGa e a a%tura seGa / se tomarmos uma *arti#o
onde ti!er!os di!ersos Wx
i
dentro de um inter!a%o . )inda temos
3ue/ *e%o *rinc+*io de Pasca%/ a *ress#o a mesma em todas as
direes em a%$um *onto do %+3uido/ o 3ue nos %e!a a conc%uir 3ueA
%o$oA
Z uma boa a*ro-ima#o do !a%or da fora/ *orm se fiHermos com 3ue
n seGa cada !eH maior at !a%ores 3ue tendam a infinito/ *odemos
faHerA
ou
2 3ue nos %e!a aA
!emplo 4
Comprimentos de curvas
1sta mais uma interessante a*%ica#o das inte$rais/ com e%as
*odemos ca%cu%ar o com*rimento de cur!as uti%iHando uma
$enera%iHa#o da re$ra do c%cu%o da distUncia entre dois *ontos/ a 3ua%
G con8ecemos da matemtica de n+!e% mdio.
177
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
4abemos 3ue a distUncia entre dois *ontos A
4e e-iste uma cur!a entre os *ontos e *odemos subdi!idir o
inter!a%o entre os dois *ontos de forma 3ue ten8amosA
e
Pro*omos um +ndice *ara 3ue ten8amosA
e
Para cada subinter!a%o dentro de
e
4e defirmos o *onto mdio *ara cada subinter!a%o/ como sendoA
) distUncia entre dois *ontos dentro desse subinter!a%o A
Xma boa a*ro-ima#o do com*rimento da cur!a *ode ser encontrada
faHendo@seA
178
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender
efinindo uma norma *ara a *arti#o W no inter!a%o/ teremosA
%o$oA
Bibliografia
Clculo, vol. 1
Autor: JAMES STEWART
Edtor!: T"o#$o% &'!r%%(
Clculo com Geometria Analtica, vol. 1
Autor: &)*IS &EIT+)&,
Edtor!: +!r-r!
Curso de Clculo, vol. 1
Autor: +AMI&T). &*I/ 0*I,)RI//I
Edtor!: &TC
Clculo, Vol. 1
Autor: ,A1I, J. 2)*&IS 3 M*STA2A A. M*.EM
Edtor!: &TC
is*on+!e% *ara dogn%oad em 8tt*Aii*t.gi_iboo_s.or$
1sta *$ina foi modificada *e%a F%tima !eH a 1'A15/ 0 Co!embro
de '770.
ConteFdo sob DCX 9ree ocumentation License/ dis*on+!e% em
8tt*Aiiggg.$nu.or$ico*;%eftifd%.8tm%
179
Disponvel sob Gnu Free Documentation license

Você também pode gostar