Sie sind auf Seite 1von 180

Wikilivros, livre pensar e aprender

Clculo I

Parabolide

Disponvel sob Gnu Free Documentation license

Wikilivros, livre pensar e aprender ndice

1.Crditos............................................................................. 2.Prefcio............................................................................. 3.Conceitos bsicos (funes)................................................. 4.Limites e Continuidade........................................................ 1. Limites........................................................................... 2. Continuidade................................................................... 5. eri!adas.......................................................................... 1. "ntrodu#o (coeficientes an$u%ares)................................... 2. 3.

3 4 5 8 8 17 18 18 1& '1 '1 '5 '7 '8 '8 '& 31 30 38 3& 3& 41 4' 4' 44 48 48 5&

efini#o........................................................................ iferenciabi%idade............................................................ eri!adas )%$bricas sim*%es............................................ iferencia#o im*%+cita......................................................

4. (e$ras bsicas................................................................ 5. 6.

6.)*%icaes das deri!adas...................................................... 1. )*%icaes das deri!adas.................................................. 2. ,a-as............................................................................. 3. .-imo/ m+nimo e mdio.................................................. 4. )n%ises de dec%i!e e conca!idade...................................... 5. 1sboo de $rficos........................................................... 7."nte$rais............................................................................ 1. "nte$rais......................................................................... 2. )ntideri!adas e antidiferenciais......................................... 3.

efinies.......................................................................

4. 2*eraes bsicas........................................................... 5. "ntrodu#o a e3uaes diferenciais.................................... 6. ) inte$ra% indefinida......................................................... 7. ) inte$ra% definida........................................................... 8.)n%ise de funes e%ementares "..........................................

Disponvel sob Gnu Free Documentation license

Wikilivros, livre pensar e aprender

1. Lo$ar+tmicas................................................................... 2. 1-*onenciais................................................................... 3. Lo$ar+tmicas com outras bases.......................................... 4. ,ri$onomtricas "(4eno e cosseno).................................... 9.)n%ise de funes e%ementares ""......................................... 1. ,ri$onomtricas ""........................................................... 2. "n!ersas das tri$onomtricas............................................ 3. 5i*erb6%icas.................................................................... 4. "n!ersas das 8i*erb6%icas.................................................. 10.,cnicas de inte$ra#o....................................................... 1. Consideraes iniciais....................................................... 2. Por *artes....................................................................... 3. Por substitui#o tri$onomtica........................................... 4. 9unes racionais com denominadores %ineares................... 5. 9unes racionais com denominadores 3uadrticos.............. 6. Por substitui#o 8i*erb6%ica............................................... 7. 9unes racionais tri$onomtricas..................................... 11."ndetermina#o e inte$rais im*r6*rias................................. 1. "ndetermina#o............................................................... 2. 9ormas indeterminadas.................................................... 3. :a%or mdio de Cauc8;.................................................... 4. (e$ra de L<5=*ita%........................................................... 5. "nte$rais im*r6*rias......................................................... 6. 96rmu%a de ,a;%or ...........................................................
12.)*%icaes

5& 0' 07 0& 84 84 &5 17' 111 1'1 1'1 1'' 1'& 130 147 144 140 15' 15' 153 154 155 157 107 101 101 10' 100 170 178

das inte$rais......................................................

1. ) inte$ra#o na *rtica..................................................... 2. >reas............................................................................. 3. :o%umes......................................................................... 4. Press#o dos %+3uidos......................................................... 5. Com*rimentos de cur!as.................................................. 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(

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.

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 .

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 de*endem do conGunto A estabe%ecemos o *ar de nFmeros dos 3uais de onde temos / ou sim*%esmenteA /

1ste c8amado de par ordenado . 4endo tambm dos !a%ores de / ent#o *odemos diHer 3ueA

a re*resenta#o

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

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 %e!a a / *orm se fiHermos temos fiHermos

/ o 3ue nos I se a$ora

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 e-iste um nFmero R/ ta% 3ueA / se um nFmero em seu dom+nio/

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 3uando ent#o

Disponvel sob Gnu Free Documentation license

Wikilivros, livre pensar e aprender Propriedades %eoremas: %& ' ()nicidade* 4e Demonstrao: Pro*on8amos 3ueA Lo$o teremos 3ue admitirA e ent#oA

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 *ro!ar 3ueA e / de!emos / *e%a defini#o/

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 a*ro-ima de a *e%a fun#o o !a%or da a*ro-ima de a *e%a fun#o *ara 3ua% a mesma tende 3uando - se direita/ no se$undo caso diHemos 3ue o %imite da fun#o *ara 3ua% a mesma tende 3uando - se 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 Deri adas 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 (x1/y1) 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 x1 e x'/ 3uando %e!ada ao %imite *r6-imo de Hero/ tambm c8amada de diferencia% JdxJ e a diferena entre os !a%ores de y1 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 Demonstrao: Pe%a defini#o temosA I sua deri!ada .

e *ortantoA

%; ' <ultiplicao 4eGa a fun#o Demonstrao: Pe%a defini#o temosA / ent#o sua deri!ada .

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 Dt(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 Dx(y) e sabemos 3ue ter+amosA

/ *ara isso

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 xn/ onde n uma constante *ositi!a e deri!ada A / sua

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 x3 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% Si e um fina% Sf/ a%m de um instante inicia% tie um fina% tf/ 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 ou %&2 ' ?alor e!tremo Considere a$ora 3ue e-iste um nFmero c/ de forma 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

e c um nFmero cr+tico da fun#o seA

/ 3ue

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 xb M xa. Como o denominador *ositi!o/ nos resta ana%isar o sina% do resu%tado no numerador/ se f(xb) M f(xa) e *ortanto/ 3uando a fun#o crescente no inter!a%o/ teremos / *or outro %ado se f(xb) ] f(xa) . 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 3ua% *odemos *ro!ar 3ueA a deri!ada se$unda/ com a A

ado o inter!a%o Na/bO/ onde e-iste um nFmero 4e

ent#o f(c) fornece o !a%or m-imo no referido inter!a%o.

)inda *oderemos afirmar 3ueA 4e Anlise: Consideremos a deri!ada se$unda . ent#o f(c) fornece o !a%or m+nimo no referido inter!a%o.

,omando o !a%or de N(x' Y x1) 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(x1)/ 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(x1)/ 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 c1 *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 diHemos 3ue F(x) a antideri!ada de / a nossa *rimeira / ent#o

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 o*erarA

/ faHendo@nos deduHir 3ue *recisamos

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 xn 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

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 constante ori$ina% .

uma constante n#o definida/ a

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 dx1 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 a1 V a' V a3 V a3 V a4 V ...an/ 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 ai/ 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 Wxn/ 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 Wix 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

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(ai) 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

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 xn 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 ax 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$ab Q x ent#oA ax 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

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 ex V y/ *ode@se afirmar 3ueA

Comprovao: ConsiderandoA e /

%o$oA

ex V y Q ab sendoA a Q ex e b Q ey/

2 3ue com*ro!a o teorema. %/> ' ,ubtrao e forma simi%ar K an%ise anterior/ sendo a fun#o f(x/y) Q ex 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 ex e b Q ey/

2 3ue com*ro!a o teorema. %/& ' .ot3ncia 4eGa a fun#o f(x/y) Q exy Comprovao: f(x/y) Q (ex)y / *ode@se afirmar 3ueA

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 ex/ 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 ax/ temos 3ueA a Q e%na 9aHendo e f(x) Q eu/ 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 ex 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 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 / / / *odemos diHer 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$ax/ 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 *ara x. 3uando um Un$u%o maior 3ue 'c for su$erido

$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

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 e b -/ ent#oA

4e o Un$u%o a

%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

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 mesmos/ 8 a*enas um !a%or de secante *ara cada arco. / onde/ nos

) 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 ex 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 ex 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 ex 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 ex 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 / exe M1

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

exe M1

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 exA

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

/ 2u/ /

exe ]1

exe ]1

Considerando t C sec(('*/ temosA

115 Disponvel sob Gnu Free Documentation license

Wikilivros, livre pensar e aprender

se u Q exA

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) /exe]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 / exe ]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 exA

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 / 2u/ / exe M1 exe M1

Considerando t Q cosec!(x)/ temosA

se u Q exA

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) eduHimos 3ue sua deri!ada A /exeM1

Tue/ de*ois de submetida K re$ra da cadeia e da raH#o/ se tornaA

e/ fina%menteA / exe M1

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

)*%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 ex 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'ex Y 'xex V 'ex 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 '.Ca fun#o 3.Ca fun#o 2 3ue nos d as substituiesA !presso ,ubstituio uma tan$enteI um senoI uma secante.

A substituio trigonom7trica na integrao )$ora/ considere o fato de 3ue a fun#o inte$ra% a fun#o F(x)/ ent#o *odemos faHerA
131 Disponvel sob Gnu Free Documentation license

tem como

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 substitui#o tri$onomtricaA / ca%cu%emos a sua inte$ra% *or

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 substitui#o tri$onomtricaA 4e / ca%cu%emos a sua inte$ra% *or

"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 substitui#o tri$onomtricaA 4e / ca%cu%emos a sua inte$ra% *or

"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 r1/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 Pd/ 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 -1x V -7 Q (('ax V b) V ) -1x 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

x2 + x = (A + 2B)x2 + (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: y Q argsen!(x) y Q argcos!(x) y Q argtg!(x) y Q argsec!(x) y Q argcotg!(x) y Q argcosec!(x) Derivada: 9ntegral relacionada:

/exeM1 /exe]1 /7]x]1 /exeM1 /

%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 '.Ca fun#o 3.Ca fun#o

um seno 8i*erb6%icoI uma tan$ente 8i*erb6%icaI 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 ent#o teremosA e 3ue sua inte$ra% seGaA F(x)/

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 deri!adaA nu%a/

no inter!a%o onde a

154 Disponvel sob Gnu Free Documentation license

Wikilivros, livre pensar e aprender

isto bem mais sim*%ificado se *ensarmos 3ueA

*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"E A

Cote 3ue *odemos faHer

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 demonstrar 3ueA diferenci!e% no inter!a%o / *oss+!e%

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 a referida f6rmu%a. Podemos definir o resto desta formaA

inte$raes temos

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

) 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 3 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! 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 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 e

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 x3 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 '.C8amamos de *ara a es*essura do ci%indro em I 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 !eH menores teremosA a nFmeros cada

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 inter!a%o / cuGo ei-o de re!o%u#o o ei-o das ordenadas/ no 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 determinada

i$ua% a da reta

*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 crescem a medida

tem bases 3ue

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 Wxi 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

Pro*omos um +ndice *ara 3ue ten8amosA

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 Ed tor!: T"o#$o% &'!r% %(

Clculo com Geometria Analtica, vol. 1 Autor: &)*IS &EIT+)&, Ed tor!: +!r-r!

Curso de Clculo, vol. 1 Autor: +AMI&T). &*I/ 0*I,)RI//I Ed tor!: &TC

Clculo, Vol. 1 Autor: ,A1I, J. 2)*&IS 3 M*STA2A A. M*.EM Ed tor!: &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

Das könnte Ihnen auch gefallen