Beruflich Dokumente
Kultur Dokumente
Clculo I
Parabolide
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&
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 "..........................................
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......................................................
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(
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.
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 .
!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
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
$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
1sta fun#o a*resenta um !a%or indefinido 3uando %e!a a / *orm se fiHermos temos fiHermos
teremos I de*ois faHendo teremos I *ortanto 3uando n6s a*ro-imamos - de 0 a*ro-imamos ; de 1. "ntuiti!amente faremos o mesmo usando !a%ores maiores 3ue 0/
8
Disponvel sob Gnu Free Documentation license
Wikilivros, livre pensar e aprender ent#o se ti!ermos teremos I e *ara teremos I fina%mente/ se teremos e !emos 3ue o mesmo acontece/ o 3ue isto 3uer diHerP 2 3ue acontece 3ue 3uando a*ro-imamos - de 0/ ; se a*ro-ima de 1/ o 3ue indica uma tend?ncia de se i$ua%ar a 1/ ou seGa 3uando - se a*ro-ima de 0 de forma a a%canar o limite entre e%e e o nFmero mais *r6-imo a e%e/ ine!ita!e%mente tambm faH com 3ue ; a%cance o nFmero mais *r6-imo de 1 *oss+!e%/ ent#o diHemos 3ueA se f(x) Q y ent#o/ o limite de f(x)3uando x tende a 0 i$ua% a 1.
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
Wikilivros, livre pensar e aprender Propriedades %eoremas: %& ' ()nicidade* 4e Demonstrao: Pro*on8amos 3ueA Lo$o teremos 3ue admitirA e ent#oA
10
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*
)dmitamos 3ueA
11
Wikilivros, livre pensar e aprender do 3ue *odemos conc%uir 3ueA tambm tomemosA
*ortantoA
Demonstrao:
%2 ' (.ot3ncia*
12
%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.
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
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
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
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
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
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...
19
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
Podemos %anar m#o de mais um artif+cio a%$brico e somar e subtrair / o 3ue nos dA
23
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
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
/ *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
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
26
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
Wikilivros, livre pensar e aprender ) e3ua#o 3ue re*resenta a fun#o a*resenta dois !a%ores *ossi!eis *ara ;A
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
%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
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
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
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
/ 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
e da mesma formaA
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
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
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
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
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
)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')
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.
.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
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
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
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
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
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
$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
Com
constante.
%+& ' Constantes ) constante c o*erada como coeficiente da !ari!e% inde*endente/ de forma 3ue sua antidiferencia% A
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
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
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.
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
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.
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
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
49
Comprovao:
%+; '
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
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
) 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
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
Comprovao:
3ue i$ua% aA
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 Y Wx.
%o$oA
Comprovao:
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
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
%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 ' %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
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
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
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
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
Comprovao: 4endo A
%o$oA
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
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
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
Para
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
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
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
/ %o$oA
#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.
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
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
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
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
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
Wikilivros, livre pensar e aprender 9'+ Cosseno da soma 4eGam os Un$u%os a e b/ o cosseno de sua soma A
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
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
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
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
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
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
77
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
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
78
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
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
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
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
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
81
) 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 os %imitesA
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 os %imitesA
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
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
,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
$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)
*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
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
86
(esu%tando emA
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
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
PortantoA
Derivada da secante 4eGa f(x) Q sec(x)/ uma fun#o cont+nua em / !isto 3ue
88
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
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
u Q sec(x) V tg(x)/
du Q Nsec(x)tg(x) V sec'(x)Odx
F(x) Q %n e u e
PortantoA
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
$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
92
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
PortantoA
93
PortantoA
4ua inte$ra% A
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
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
$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
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
/ 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
$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
/ Lo$oA
99
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
$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
*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
"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
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
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
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
ou
PortantoA 1 Y tg!'(x) Q sec!'(x) Derivada da tangente "iperbAlica 4eGa a fun#o y Q tg!(x)/ temosA
PortantoA
Wikilivros, livre pensar e aprender Derivada da secante "iperbAlica 4eGa a fun#o y Q sec!(x)/ temosA
e fina%menteA
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
ou
PortantoA 1 Y cotg!'(x) Q cosec!'(x) Derivada da cotangente "iperbAlica 4eGa a fun#o y Q cotg!(x)/ temosA
PortantoA
e fina%menteA
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
resu%tandoA
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
/ 2u/ /
exe ]1
exe ]1
se u Q exA
7]x]1
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.
e/ fina%menteA
117 Disponvel sob Gnu Free Documentation license
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
se u Q exA
Derivadas de argcotg" e argcosec" 4eGa y Q argcotg!(x) eduHimos 3ue sua deri!ada A /exeM1
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)
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
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
de*oisA u Q %n(x)
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
de*oisA u Q arcsen(x)
%o$oA
PortantoA
4endo
!emplo - ' Caso do arccosseno Xti%iHa#o da inte$ra#o *or *artes *ara encontrar a inte$ra% do arccossenoA
dz Q Y 'xdx
%o$oA
PortantoA
!emplo / ' Caso do arctangente Xti%iHando a inte$ra#o *or *artes *ara encontrar a inte$ra% do arctan$enteA
PortantoA
Co!amente/ temos
!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
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 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
PortantoA
130 Disponvel sob Gnu Free Documentation license
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
Xma !eH/ 3ue *e%a an%ise anterior G sabemos 3ue 3uando faHemos x Q asen(f) temosA
ent#oA
!emplo : ' ,ubstituio por seno 4eGa a fun#oA substitui#o tri$onomtricaA / ca%cu%emos a sua inte$ra% *or
) inte$ra% serA
F(f) Q f
ComoA x Q 'sen(f)
PortantoA
4endo
a constante de antidiferencia#o.
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
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
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
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
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
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
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
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
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
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...
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
)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
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
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.
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:
%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
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)/
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
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'
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
Demonstrao:
Considerando a identidade "@' Cosseno da soma/ temos/ *or conse3L?nciaA cos('u) Q cos'(u) Y sen'(u) 4e A
ou
3ue nos dA
Demonstrao:
a identidade anteriorA
9aHendo as substituiesA
%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
*ara
/ temosA
ou seGaA
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.
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
)inda temosA
9orma 9orma
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
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
%/+ ' ?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
no inter!a%o onde a
*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
Caso os %imites e-istam. Demonstrao do caso & 4e ,emos do %eorema do valor m7dio de Cauc"E A
. obser!amos 3ueA
155 Disponvel sob Gnu Free Documentation license
se reduH aA
Porm/ faHerA
PortantoA
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
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.
'. 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
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
%// ' 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
%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.
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
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
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
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
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 .
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.
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
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
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
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
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
,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
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 o !a%or de
iante disto *odemos !erificar 3ue o s6%ido *ode ser definido *or sees tran$u%ares/ *er*endicu%ares ao ei-o / *ortanto faHemosA
4e ti!ermosA
4ubstituimosA
(edefinindoA
2u seGaA
%o$oA
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
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
!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
%o$oA
Bibliografia
Clculo com Geometria Analtica, vol. 1 Autor: &)*IS &EIT+)&, Ed tor!: +!r-r!
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