Vous êtes sur la page 1sur 18

ndice

[esconder] 1 Integrais 2 Antiderivadas e antidiferenciais


3 Definies 4 Operaes bsicas


o o o o o

4.1 T2 ! Diferenciais 4.2 T21 ! "onstantes 4.3 T22 ! Adi#o 4.4 T23 ! $arive% co& e'poente constante (antidiferencia%) 4.* T24 ! +egra da cadeia para antidiferenciais

* Introd,#o a e-,aes diferenciais


o o

*.1 Diferenciais de pri&eira orde& *.2 "onstante antidiferencia%

. A integra% indefinida / A integra% definida


o

/.1 0o&at1rias

/.1.1 T2* ! "onstante /.1.2 T2. ! 2ator /.1.3 T2/ ! Adi#o /.1.4 T23 ! 4'c%,s#o de ter&o antecedente

o o

/.2 Defini#o da Integra% de +ie&ann /.3 5ropriedades da integra% definida


/.3.1 T26 ! 7i&ites ig,ais /.3.2 T3 ! 2ator do integrando /.3.3 T31 ! Invers#o dos %i&ites /.3.4 T32 ! Adi#o /.3.* T33 ! 0ees co&p%e&entares /.3.. T34 ! $a%or &8dio

/.4 T3* ! Teore&a f,nda&enta% do c%c,%o

[editar] Integrais
9&a ve: -,e pode&os ana%isar a varia#o de deter&inados va%ores e& ,&a f,n#o; co&o poder<a&os reverter a an%ise; o, se=a; se 8 poss<ve% criar ,&a f,n#o a partir de o,tra ,ti%i:ando a diferencia#o; o -,e ter<a&os se fi:8sse&os a opera#o inversa> 4sta 8 ,&a -,est#o -,e nos %eva a &ais ,& &8todo do c%c,%o; a integra#o 8 ,&a for&a de reverter a deriva#o; co& e%a te&os ,& artif<cio para rec,perar a f,n#o origina% a partir da s,a derivada. O,tra caracter<stica interessante da integra% 8 -,e o va%or n,&8rico de ,&a integra% definida e'ata&ente e& ,& interva%o 8 correspondente ao va%or da rea do desen?o de%i&itado pe%a c,rva da f,n#o e o ei'o x (abscissas). $a&os ana%isar e& seg,ida co&o f,nciona o &ecanis&o bsico de integra#o e nos cap<t,%os seg,intes nos aprof,ndare&os no te&a; -,e 8 bastante vasto. 9&a breve introd,#o dos conceitos -,e deta%?are&os neste cap<t,%o pode ser encontrada e&@ 5redefini#o@AiBipedia

[editar] Antiderivadas e antidiferenciais


"o&o procede&os para reverter a deriva#o> O princ<pio 8 verificado atrav8s da an%ise da invers#o; da seg,inte for&a@ "onsidere a f,n#o c,=a derivada ; ent#o

di:e&os -,e F(x) 8 a antiderivada de ; a nossa pri&eira constata#o 8 -,e a f,n#o pri&itiva inc%,i ,&a constante; -,e d,rante o processo de deriva#o 8 descartada; = -,e s,a derivada 8 n,%a; se fi:er&os o processo inverso para obter a f,n#o origina% ter<a&os para operar e conseg,i!%o; isso nos %eva a ,&a indefini#o da f,n#o obtida atrav8s da antidiferencia#o; a &enos -,e con?ea&os o va%or da constante. 0e -,iser&os obter a f,n#o origina% ter<a&os -,e operar e :ero; o pri&eiro re-,esito 8; a princ<pio; p%a,s<ve% de ser conseg,ido; por8& operar :ero para obten#o de -,a%-,er constante parece a%go n#o conceb<ve%. 5ode&os ent#o di:er@
A antiderivao o processo pelo qual operamos a derivada de uma funo para encontrar a sua exata funo primitiva.

O -,e nos %eva a conc%,s#o -,e a antideriva#o e'ige -,e ten?a&os &eios para encontrar a constante -,e pertencia a f,n#o -,ando e%a foi derivada; o, -,e ded,es; a partir de s,as caracter<sticas e dos fenC&enos ,ti%i:ados para s,a for&,%a#o; possa& fornecer a constante.
A antidiferenciao, opera apenas os processos para deduo de um esboo da funo, o que chamamos de frmula geral, no formato: f(x ! C.

"o&o pode&os encontrar diversas constantes; te&os diversas f,nes; o -,e nos d a possibi%idade de operar; por e'e&p%o as f,nes@ ; &es&o -,e derivadas de ; ao operar&os as

f,nes derivadas ,ti%i:ando a antidiferencia#o tere&os ; -,e n#o nos garante &eios de encontrar as pri&itivas; visto -,e n#o con?ece&os &eios para ded,:ir as constantes.

[editar] Definies
Ao operar a inversa da derivada; pode&os fa:er a an%ise co& as diferenciais; o, se=a; cosidere a f,n#o y D f(x) E C; ent#o te&os@ interessante@ ; o -,e nos %eva a a%go &,ito

O -,e nos %e&bra@

Te&os ainda -,e y D f(x) E C; fa:endo!nos ded,:ir -,e precisa&os operar@

5ara encontrar y. 4sta opera#o 8 c?a&ada de antidiferencia% e 8 si&bo%i:ada por@

Onde (f) 8 a f,n#o e (d) 8 a diferencia% da varive% independente. De for&a &ais co&p%eta a antidiferencia% da f,n#o 8@

onde C 8 a constante -,e define a f,n#o pri&itiva.

[editar] Operaes bsicas

A antidiferencia#o 8 ,&a opera#o -,e tende a ser co&p%icada na &aioria das f,nes; ao %ongo do nosso est,do vere&os &8todos para si&p%ificar o processo; por8& e'iste& for&as de f,nes -,e n#o pode& ser operadas nesse processo. A%g,&as das regras bsicas para opera#o de antidiferenciais ser#o abordadas nas sees s,bse-Fentes; o,tras regras ser#o abordadas nos pr1'i&os cap<t,%os. Devido a co&p%e'idade -,e envo%ve& o processo; &,itos dos &8todos necessita& de a%g,&a regra -,e ainda n#o est,da&osG para n#o co%ocar -,estes -,e n#o possa& ser esc%arecidas neste cap<t,%o tere&os -,e dei'!%as para o &o&ento oport,no; -,ando todos os e%e&entos necessrios para a abordage& do ass,nto este=a& be& c%aros.

[editar] T20 - Diferenciais


Integrao de diferenciais

A diferencia% dx ao ser operada pe%a antidiferencia#o; res,%ta@

"o& C constante. o!provao" De fato se @

[editar] T2# - onstantes


Integrao de constantes

A constante c 8 operada co&o coeficiente da varive% independente; de for&a -,e s,a antidiferencia% 8@

o!provao" 0e fi:er&os@ ; tere&os@

"onfor&e o teore&a T13 ! fator.

[editar] T22 - Adio


Integra$ da adio de f%nes

0e f(x) D g(x) E h(x) ent#o@

o!provao" 0e f(x) 8 o res,%tado da so&a de d,as antidiferenciais; %ogo@ 1. Te&os -,e ad&itir -,e g(x) e h(x) s#o diferenciaisG 2. A so&a de diferenciais ad&ite -,e@ 1. 0e g(x) D dm e h(x) D dn; te&os@ g(x) E h(x) D dm E dn 2. 0endo; portanto; poss<ve% fa:er@ g(x) E h(x) D d(m E n) 3. A%8& disso@ 0e (m E n) D p ent#o; pode&os fa:er@ f(x) D dp 5ortanto; pe%a an%ise da reversibi%idade; 8 poss<ve% constatar -,e a adi#o de d,as antidiferenciais pode ser operada distrib,tiva&ente; o -,e atesta a regra -,e e'po&os.

[editar] T2& - 'arive$ co! e(poente constante )antidiferencia$*


Antidiferencia$ da f%no co! e(poente constante

0e=a a f,n#o f(x) D xn onde n 8 constante; s,a antidiferencia% 8@

G onde@

Onde C 8 constante. o!provao"

[editar] T2+ - ,egra da cadeia para antidiferenciais


,egra da cadeia para antidiferenciais

0e=a as f,nes f(u) e u D g(x); cont<n,as e& se,s do&<nios o, no interva%o a -,e se prope a an%ise e& -,est#o. A antidiferencia% da f,n#o co&posta f(u) co& re%a#o a x 8@

Onde C 8 a constante -,e define a pri&itiva. o!provao" 9&a ve: -,e@ u D g(x) ; te&os@

O -,e nos possibi%ita operar; por s,bstit,i#o@

; obtendo@

para definir a antiderivada; ,sa&os a constante C@

O -,e co&prova a regra.

[editar] Introd%o a e-%aes diferenciais


"onsiderando a -,est#o da indefini#o criada pe%a diferencia#o; o processo de antidiferencia#o tra: ,&a conse-FHncia indese=ve% para o processo de e-,aciona&ento de diferenciais. I,ando ,&a e-,a#o diferencia% 8 proposta; a constante de antidiferencia#o fa: co& -,e o processo de reso%,#o se=a bastante pre=,dicado; o -,e e'ige -,e ten?a&os t8cnicas especiais para tentar reso%vH!%a. 2are&os agora ,&a breve introd,#o aos conceitos de e-,aes diferenciais; por8&; o est,do co&p%eto do te&a de&anda ,& aprof,nda&ento &aior por parte dos interessados; ao %ongo dos nossos est,dos tere&os &eios para si&p%ificar o processo; e&bora -,e a so%,#o de &,itas e-,aes diferenciais -,ando n#o s#o i&poss<veis e'ige& &,ito esforo e dedica#o.

[editar] Diferenciais de pri!eira orde!


0e=a a e-,a#o ; a s,a derivada 8 e'pressa co&o@

sendo ,&a constante arbitrria; definida pe%as caracter<sticas das ded,es -,e originara& a e-,a#o. O -,e res,%ta na e-,a#o diferencia%@

4sta e-,a#o 8 deno&inada@ .-%ao diferencia$ de pri!eira orde!; visto -,e 8 originada de ,&a derivada pri&eira; o -,e per&ite faci%&ente separar as variveis diferenciais. 5or o,tro %ado; co&o &eio para reverter o processo de diferencia#o; fa:e&os@

"o& C constanteG %e&bre!se -,e C 8 ,&a constante n#o definida; a constante origina% 8 . 5e%o e'posto ded,:i&os -,e a e-,a#o ass,&ir a for&a@

5or8&; co&o " 8 ,&a constante indefinida; te&os ,&a f,n#o ainda indefinida.

[editar] onstante antidiferencia$


A constante res,%tante da indefini#o na antidiferencia#o 8 e'pressa na e-,a#o diferencia% co&o observa&os na se#o anterior; para a,&entar as possibi%idades da an%ise; cosidere&o!%a co&o varive%; ao fa:er isto te&os ,& co&porta&ento interessante para a f,n#o res,%tanteG -,ando atrib,i&os va%ores a esta varive% te&os ,&a e-,a#o para cada va%or ass,&ido pe%a &es&a; se observar&os &ais atenta&ente; descobrire&os -,e o grfico da f,n#o &ant8& a for&a; por8& varia a a%t,ra e& re%a#o ao ei'o das abscissas (varive% independente); o, se=a; a e-,a#o antidiferencia% fornece ,& con=,nto de c,rvas; o -,e possibi%ita ,&a infinidade de va%ores. O -,e definiria a esco%?a de ,&a constante e& partic,%ar> A constante definir -,a% a c,rva -,e obedece o co&porta&ento espe%?ado pe%os nJ&eros -,e co&pe& a c,rva a ser esco%?ida. De fato basta ,& par ordenado definido dentro do con=,nto de nJ&eros -,e obedece& K e-,a#o e tere&os a defini#o da f,n#o e'ata. 4& vrias reas onde pode&os ,ti%i:ar estas e-,aes te&os a defini#o deste par ordenado a partir do co&porta&ento dos nJ&eros -,e s#o observados o, ded,:idos; na &aioria das ve:es este par de nJ&eros 8 c?a&ado de estado inicia$; pois estabe%ece o co&porta&ento da e-,a#o -,ando os va%ores das variveis s#o con?ecidos inicia%&ente. Lo nosso caso da se#o anterior coseg,i&os a f1r&,%a gera%@

"erta&ente; pode&os afir&ar -,e@ I,ando te&os pois@

M ,&a afir&a#o fci% de ser encontrada; ,&a ve: -,e con?ece&os a e-,a#o origina%; por8& se n#o a con?ece&os; a observa#o e a ded,#o %1gica deve& ser ,sadas para encontr!%a. A%g,&as ve:es pode&os nos perg,ntar@ Nasta!nos con?ecer o con=,nto de e-,aes o, precisa&os de ,&a e-,a#o espec<fica> O &8rito desta -,est#o deve ser ava%iado de acordo co& a necessidade da an%ise a ser feita; cabendo ao ana%ista verificar -,ais s#o se,s re-,esitos dentro do -,e se prope a verificar.

[editar] A integra$ indefinida


0e=a a antidiferencia%@

Observa&os -,e a &es&a corresponde a ,&a opera#o sobre pe-,enas sees de rea; pois f(x)dx corresponde a &,%tip%ica#o de ,& seg&ento n,&8rico de %arg,ra; dx; pe%a a%t,ra; o va%or da f,n#o apro'i&ada ao %i&ite e& cada ponto. A opera#o da for&a -,e se apresenta estende!se de a . Ana%isando -,a% a nat,re:a desta opera#o; pode&os to&ar dois va%ores para dx; se=a&@ dx1 e dx2; sendo ; -,ando ana%isa&os este fato conc%,i&os -,e a rea do interva%o &enor est dentro da rea do &aior; ve&os -,e a opera#o co&porta!se co&o ,&a so&a de reas; se so&ar&os todas as co&ponentes de reas ao %ongo da c,rva tere&os ,&a rea de%i&itada pe%a c,rva e o ei'o x. "?a&a&os esta opera#o de integra$; se, s<&bo%o 8 o &es&o da antidiferencia#o; pois devido aos fatos aci&a introd,:idos e ao teore&a f,nda&enta% do c%c,%o; -,e disc,tire&os adiante; a opera#o de antidiferencia#o pode ser c?a&ada de integra$ indefinida.

[editar] A integra$ definida


Aprof,ndando o conceito de -,e ? ,&a so&a de pe-,enos seg&entos de rea para cada ponto e& ,&a c,rva; pode&os de%i&itar ,&a se#o da c,rva; atrav8s da ado#o de ,& interva%o; desta for&a tere&os ,&a rea definida; a -,a% c?a&a&os de integra% definida. Antes de deta%?ar o processo para encontrar a referida rea fa:!se necessrio a observa#o de conceitos -,e ser#o Jteis para se, desenvo%vi&ento; o pr1'i&o t1pico abordar a so&at1ria; ,& procedi&ento -,e faci%itar o est,do das so&as s,cessivas -,e propo&os ana%isar.

[editar] /o!at0rias
"onsidere a opera#o@ ; c?a&a&os esta opera#o de so&at1ria; e%a 8 si&bo%i:ada pe%a %etra grega sig&a (O); ,ti%i:ando a nota#o escrita co&o seg,e@

O significado deste s<&bo%o 8 faci%&ente co&preendido@ A varive% i 8 c?a&ada de <ndice; o nJ&ero n 8 a -,antidade de parce%as; ocorre -,e; ao s,bstit,ir estes va%ores na e'press#o ai; fa:e&os de for&a se-Fencia%; so&ando ,& va%or ao anterior; co&o descrito na opera#o aci&a; o -,e res,%tar no va%or fina% de U; pretendido na referida opera#o. 1ropriedades [editar] T22 - onstante

co& c constante. o!provao"

n ve:es. [editar] T23 - 4ator

co& c constante. o!provao"

[editar] T25 - Adio

o!provao"

[editar] T26 - .(c$%so de ter!o antecedente

o!provao

[editar] Definio da Integra$ de ,ie!ann


O conceito de integra% est %igado K necessidade de encontrar a rea de c,rvas; as abordagens to&adas para so%,cionar o prob%e&a do c%c,%o de reas c,rvas encontra& se&pre o &es&o res,%tado. 5ara n#o nos e'tender&os &,ito; fare&os ,&a e'p%ana#o do processo c?a&ado@ Integra$ de ,ie!ann; o -,a% 8 ,& dos &ais con?ecidos. $e=a&os o grfico abai'o@ 2ic?eiro@+ie&ann.png Integral de Riemann 4ig%ra + O grfico &ostra ,&a f,n#o sin,osa; se fi:er&os sees retang,%ares para i&itar o contorno das c,rvas tere&os ,&a &aneira grosseira de ca%c,%ar a rea de%i&itada pe%a c,rva e o ei'o x; ,&a ve: -,e te&os a possibi%idade de a,&entar a -,antidade de retPng,%os; pode&os a,&entar a precis#o dos nossos c%c,%os... 0e fi:er&os co& -,e o nJ&ero de retPng,%os a,&ente n,&a tendHncia ao infinito; tere&os o va%or da rea. "onsidere&os a f,n#o do grfico@ y D f(x); a s,a integra% entre os va%ores de '@ a e b 8@

"?a&a&os o interva%o [a;b] de partio e si&bo%i:a&os co&o@ Q. Ao dividir&os o interva%o [a;b] e& n RpedaosR(sees) te&os a possibi%idade de definir o ta&an?o de cada ,&; por8& a regra de +ie&ann 8 &ais f%e'<ve% e estabe%ece -,e pode&os ter pedaos de ta&an?os diferentes; de for&a -,e ten?a&os apenas -,e estabe%ecer os

va%ores de x ta% -,e@ . 9&a ve: -,e estabe%ece&os os va%ores dos '; pode&os arbitrar ,& ponto inter&edirio entre e%es para -,e se=a o ponto onde definire&os o va%or da f,n#o; este ponto ser i&portante por-,e e%e estabe%ecer a a%t,ra do retPng,%o. O va%or de x; -,e deter&inar o ponto da a%t,ra de cada retPng,%o 8 referenciado co&o (S); referencia&os estes pontos co&o@ . A base dos retPng,%os 8 Qxn; onde os va%ores pode& variar %ivre&ente; por8& ? se&pre ,& retPng,%o -,e poss,i a &aior base; -,e c?a&a&os de nor!a da parti#o [a;b]; si&bo%i:ada por . 5ode&os so&ar todos os retPng,%os da parti#o; fa:endo o c%c,%o apro'i&ado da rea; da seg,inte &aneira@

A integra% 8 obtida -,ando fa:e&os os retPng,%os t#o pe-,enos -,e podere&os considerar s,as bases -,ase n,%as; para isso pode&os dividir a parti#o e& pedaos de [a;b]@

O -,e nos per&ite de%i&itar a nor&a e definir a s,a tendHncia a :ero; ta&b8& nos d a possibi%idade de definir a integra% co&o@

[editar] 1ropriedades da integra$ definida


A%g,&as propriedades s#o observadas a partir dos conceitos e'postos sobre a integra%; s#o regras para si&p%ificar a%g,&as operaes; &as -,e pode& ser Jteis para o est,do de teore&as -,e vere&os e& cap<t,%os &ais adiante; ve=a&os as propriedades e s,as co&provaes@ 0e=a& f(x) e g(x); f,nes cont<n,as no interva%o [a;b]; pode&os afir&ar -,e@ [editar] T27 - 8i!ites ig%ais

o!provao"

5ode&os observar -,e; ao to&ar&os o interva%o [a;b]; dividindo!o e& n pedaos; tere&os@

0endo b D a tere&os@

ent#o@ Qix D e@

O -,e co&prova o teore&a. [editar] T&0 - 4ator do integrando 0endo K constante@

o!provao"

-,e 8 ig,a% a@

O -,e co&prova o teore&a. [editar] T&# - Inverso dos $i!ites

o!provao" Lova&ente to&ando o interva%o [a;b]; dividindo!o e& n pedaos; tere&os@

5ortanto Qx 8 fator deter&inante do sina%. 0e to&ar&os a integra% no interva%o [a;b] e inverter&os a s,a posi#o no c%c,%o; tere&os@

7ogo; to&ando

co&o Qx 8 ig,a% a to&ar

co&o T Qx.

O -,e co&prova o teore&a. [editar] T&2 - Adio

o!provao" 0endo a integra%@

%ogo@

O -,e co&prova o teore&a. [editar] T&& - /ees co!p$e!entares 0endo c constante e a U c U b@

o!provao"

To&ando o interva%o entre a e c e fa:endo a re%a#o@

O Q 8 ,& va%or -,e pode ser atrib,<do Ks d,as re%aes; portanto pode&os fa:er@

I,e 8 se&e%?ante a propriedade da so&a das reas de dois ob=etos -,e for&a& ,& corpo &aior; -,e cost,&a&os ,sar na geo&etria e -,e prova o teore&a. [editar] T&+ - 'a$or !9dio 0e=a a se#o [a;b] no do&<nio da f,n#o f(x); di:e&os -,e M 8 o va%or &8dio da f,n#o neste interva%o; sendo se, va%or definido co&o seg,e@

o!provao O va%or &8dio de ,&a f,n#o 8 e'presso pe%a f,n#o abai'o@

Onde vi representa ,& va%or e& partic,%ar. 0endo f(Si) o va%or da f,n#o para cada retPng,%o; pode&os fa:er a s,a &8dia da seg,inte for&a@

5or o,tro %ado; pode&os fa:er co& -,e o n se=a@

%ogo@

9&a ve: -,e o Qx 8 ,& va%or &,ito grosseiro; pode&os encontrar o %i&ite -,ando a nor&a da parti#o tende a ser n,%a; desta for&a@

O -,e co&prova o teore&a.

[editar] T&2 - Teore!a f%nda!enta$ do c$c%$o


0e=a a f,n#o f(x) cont<n,a no interva%o [a;b]; a s,a integra% definida entre a e b 8 obtida pe%a opera#o -,e seg,e@

Onde@

"?ega&os ao ponto c,%&inante deste est,do inicia% sobre as integrais; este teore&a; c?a&ado de Teore!a f%nda!enta$ do c$c%$o; 8 a base de nossas an%ises &ais espec<ficas nos pr1'i&os cap<t,%os; e%e afir&a -,e a integra% definida pode ser obtida atrav8s da antidifererncia% da f,n#o; para ta%; adota&os a seg,inte nota#o @

o!provao" Deve&os de&onstrar -,e a derivada de 8 ig,a% a f(x).

"o&o pode&os observar; -,ando ca%c,%a&os o va%or da integra% definida; varia&os o %i&ite s,perior gradativa&ente de a at8 b; isto nos indica -,e pode&os criar ,&a nova f,n#o; co&o escrito abai'o@

Observe -,e x 8 dita independente de u; pois a J%ti&a constroi a c,rva da f,n#o; en-,anto -,e a o,tra nos d a integra% de -,a%-,er ponto co& re%a#o a distPncia da contante a; portanto; ca%c,%ando s,a derivada te&os@

"onfor&e o teore&a T34; a parte da e-,a#o operada pe%o %i&ite 8 ,& va%or &8dio. Observe -,e ; o, se=a; 8 o %i&ite do va%or &8dio -,ando o interva%o tende a ser n,%o; o -,e res,%ta e& f(x); pois 8 e-,iva%ente a fa:er ,&a &8dia co& apenas ,& e%e&ento; o pr1prio va%or de f(x). Observe&os ainda -,e o va%or &8dio; a-,i e'presso; n#o 8 constante; visto -,e depende de x; o -,e -,er di:er -,e te&os ,& va%or &8dio para cada se#o da c,rva. O va%or &8dio dos va%ores entre f(x) e f(x E Qx) no &<ni&o 8 feito co& os dois e'tre&os apresentados; da seg,inte for&a@

no %i&ite@

res,%ta@ . 5ortanto F(x) 8 antidiferencia% de f(x). 5or o,tro %ado ao fa:er@

ent#o@ g(x) D F(x) -,e 8 a antidiferencia% de f(x); %ogo@

O -,e co&prova o teore&a.