O estudo das funes deste captulo refere-se s funes no puramente algbricas, relacionadas a nmeros transcendentais, algumas das quais

j con ecemos da matemtica elementar, porm necessrio um aprofundamento do tema para o ambiente acad!mico, onde temos que lidar com anlises mais detal adas e comple"as#

ndice
$esconder% & 'ogartmicas o &#& (eoremas
o o

&#&#& ()* - +roduto &#&#, ()- - .a/o &#&#) ()0 - +ot!ncia

&#, 1eri2adas &#) 3ntegrais

, 4"ponenciais
o o

,#& O nmero de 4uler ,#, (eoremas

,#,#& ()5 - 6oma ,#,#, (78 - 6ubtrao ,#,#) (7& - +ot!ncia

o o

,#) 1eri2adas ,#7 3ntegrais

) 'ogartmicas com outras bases

o o

)#& 9udana de base )#, 1eri2adas

7 (rigonomtricas 3
o o

7#& :onceitos bsicos ;.adianos< 7#, 6eno e cosseno

7#,#& 3dentidades ;&< 7#,#, 3-& 3dentidade relacional bsica 7#,#) 3-, :osseno da soma

7#,#7 3-) :osseno da diferena 7#,#= 3-7 4qui2al!ncia angular 7#,#* 3-= 6eno da soma 7#,#- 3-* 6eno da diferena 7#,#0 3-- 9ltiplo de dois senos 7#,#5 3-0 9ltiplo de dois cossenos 7#,#&8 3-5 9ltiplo de seno e cosseno 7#,#&& 3-&8 6oma de dois senos 7#,#&, 3-&& 6oma de dois cossenos 7#,#&) 3-&, 1iferena de dois senos 7#,#&7 3-&) 1iferena de dois cossenos 7#,#&= 'imte trigonomtrico fundamental 7#,#&* 1eri2ada do seno 7#,#&- 1eri2ada do cosseno 7#,#&0 3ntegral do seno 7#,#&5 3ntegral do cosseno

[editar] Logartmicas
> integral da funo algbrica f;x< ? xn tra/ uma indefinio quando n ? @ &A

> e"ist!ncia desta indefinio nos le2a a uma questoA Bual o procedimento para integrar a funoA C > resposta dada na anlise numrica, calculando a integral pelos mtodos de anlise algbrica podemos c egar a seguinte conclusoA

> funo ln c amada de logaritmo natural, a sua base c amada de nmero de 4uler, ele um logartmo conseqDente do clculo da rea sob a cur2a da funo , que pode ser obtido numericamente usando a integral de .iemann e outras tcnicas de clculo numrico#

(odos os teoremas para logaritmos, que esto incluidos nos cursos de n2el mdio, podem ser obtidos a partir da anlise do logaritmo natural, tambm c amado de logaritmo Eeperiano#

[editar] Teoremas
Fejamos os principais teoremas para os logaritmosA Eas citaes abai"o, consideremos f;x< ? lnx, [editar] T36 - Produto

Comprovao: 1a definioA

fa/endo u ? at,du ? adt e quando u ? a,t ? &A

O que compro2a o teorema# [editar] T37 - a!o

Comprovao:

6endo

logoA

[editar] T3" - Pot#ncia

Comprovao: 6endoA -G b 2e/es, que A -G b 2e/es, resultandoA

[editar] $erivadas
1a definio do logartmo natural e a partir do teorema fundamental do clculo, podemos dedu/ir a deri2ada da funo logartmica natural, ou seja, se f;x< ? lnx que a integral definida de , ento a deri2ada A

[editar] %ntegrais
+ara integrao de funes logartmicas, 2eja o captulo de tcnicas de integrao, para uma completa abordagem do tema#

[editar] &'ponenciais
> funo f;x< ? ax c amada de funo e"ponencial na base a, todas as funes e"ponenciais so introdu/idas a partir da definio do logaritmo natural ln x como sua funo in2ersa# >s funes e"ponenciais so estas em que a parte 2ari2el o logaritmo, ou sejaA 6e logab ? x entoA ax ? b

O que implica b ? f;x<, tornando-o uma funo, na qual podemos atribuir 2alores a x e obter uma imagem# O nmero a c amado (ase, este nmero facilmente identificado nos logaritmos con2encionalmente abordados na matemtica elementar, mas qual a base da funo lnx C 4sta questo nos le2a a um no2o conceito abordado na prH"ima seo, o n)mero de &u*er#

[editar] + n)mero de &u*er

> base do logartmo natural o nmero de 4uler, simboli/ado porA e, ele obtido pela definio do logaritmo natural, esse nmero corresponde rea sob a cur2a da funoA , quando seu 2alor unitrio, ou sejaA lne ? &, mais formalmenteA

O 2alor deste nmero pode ser encontrado por apro"imao, utili/ando-se os mtodos de anlise de seqIencias e sries, encontrados no li2roA :lculo 333# > equao que fornece o 2alor do nmero de 4uler dada a seguirA

Eesta equao podemos obser2ar que quanto mais alto o 2alor de n mais preciso se torna o 2alor de e# 1e maneira simplificada, com base nos conceitos at agora abordados podemos encontr-la da seguinte maneiraA

6e f;x< ? lnx ento +or outro lado, pela definioA

, logoA

+ara

6endoA

:oncluimos queA

[editar] Teoremas
> maioria dos teoremas relacionados, t!m origem nas concluses obtidas no estudo do logartmo natural, dos quais relacionamos os mais usadosA [editar] T3, - -oma 6eja a funo f;x,y< ? ex J y, pode-se afirmar queA

Comprovao: :onsiderandoA e ,

logoA

ex J y ? ab

sendoA a ? ex e b ? ey,

O que compro2a o teorema# [editar] T./ - -u(trao 1e forma similar anlise anterior, sendo a funo f;x,y< ? ex @ y, pode-se afirmar queA

Comprovao: :onsiderandoA e ,

logoA

sendoA a ? ex e b ? ey,

O que compro2a o teorema# [editar] T.0 - Pot#ncia 6eja a funo f;x,y< ? exy Comprovao: f;x,y< ? ;ex<y , pode-se afirmar queA

O que compro2a o teorema#

[editar] $erivadas
:onsideremos que f;x< ? ex, e conseqDentementeA x ? lnf;x<, se deri2armos implicitamente este e"pressoA

:uriosamente, teremosA

Ou seja, a funo e"ponencial natural in2ari2el durante o processo de deri2ao, o que tra/ uma srie de implicaes simplificadoras para estas funes# +or outro lado se f;x< ? ax, temos queA a ? elna Ka/endo e f;x< ? eu, teremosA

6e

, concluimos queA

Bue adotada como uma deri2ada mais genrica, pois pode ser empregada em qualquer e"ponencial, pois inclui correo para o fator da base#

[editar] %ntegrais
:omo no poderia ser diferente, o 2alor da integral da funo e"ponencial natural f;x< ? ex a prHpria funo, conforme a regra da re2ersibilidade entre a deri2ada e a integral, apenas sendo necessria a de2ida obser2ao da base, para e2entual correo da diferencial e conseqDente introduo de fator de correo, nos casos em que a funo torna-se composta# 1esta forma, temosA

6endo C constante#

[editar] Logartmicas com outras (ases

:omo foi 2isto durante o ensino mdio, os logaritmos t!m uma definio direta e que denota a sua finalidade de e"pressar o 2alor do e"poente em uma operao e"ponencial, a definio pura dada da seguinte formaA 6e ento,

OndeA a c amada base do logaritmo, x o logaritmando e n o e"poente# O logaritmo , portanto, a operao pela qual se obtm o e"poente necessrio para que a base seja ele2ada, numa operao e"ponencial e se obten a o nmero x# > funo logartmica de base a pode ser e"pressa da seguinte formaA

O que nos possibilita encontrar um 2alor para cada x e"presso na equao#

[editar] 1udana de (ase

>nalisemos agora a possibilidade de encontrar uma funo logartmica de uma base a e transform-la em uma funo logartmica de base natural, ou outra base qualquerA 6eja a funo e que comoA , , , O que nos possibilita afirmar queA , , podemos di/er queA ,

ou

Eote que a analogia ser2e para funes logartmicas de qualquer base, 2isto que podemos substituir por sendo z a base que substituir e na anlise anterior# O que nos possibilita considerar que quando temos duas bases, sejamA a e b, podemos promo2er a troca das bases, de forma queA

[editar] $erivadas
> deri2ada da funo logartmica com base diferente de e pode ser feita por substituio da base# :onsiderando f;x< ? logax, temos queA

, logoA

Bue nos d a deri2adaA

[editar] Trigonom2tricas %

> trigonometria, tal qual 2ista na matemtica elementar, est relacionada com as relaes mtricas do triLngulo retLngulo e do ciclo trigonomtrico, agora introdu/iremos o estudo infinitesimal das funes trigonomtricas que so largamente utili/adas nas ci!ncias e"atas#

[editar] Conceitos (3sicos 4 adianos5

4m um plano definido pelos ei"os x e y podemos estabelecer coordenadas cartesianas para cada ponto, o que nos permite identificar cada um dos pontos em qualquer posio do plano, e"iste outra maneira de encontrar um ponto neste planoM se quisermos estabelecer uma relao triangular podemos determinar a posio de cada ponto no plano da seguinte formaA Kic eiroA:iclotrig#png 6igura 7 3magine que cada ponto est numa distncia R do ponto ;8,8< em um plano cartesiano definido por pontos , da mesma forma a reta R, que definida entre os pontos # , forma um Lngulo com o ei"o x, que c amaremos de , note que podemos identificar qualquer dos pontos no plano a partir de uma reta R e um Lngulo Obser2emos que R, quando fi"a, uma reta que determina um conjunto de pontos em torno do ponto , se fi/ermos 2ariar em todos os 2alores possi2eis teremos uma circunfer!ncia# Buando fa/emos o 2alor de R 2ariar teremos diferentes 2alores de x e y, porm a relao entre eles sempre ser a mesma# :uriosamente, uma relao entre o permetro do crculo e o seu diLmetro, ela se apresenta constante qualquer que seja o raio do crculoM o resultado desta relao um nmero transcedental c amado P%, representado pela letra grega de mesmo nomeA # .esgatando esta relao para a nossa anlise podemos di/er que, se c amarmos o permetro da circunfer!ncia, formada no grfico, de e admitirmos um diLmetro de , ento teremosA

Bue resulta emA

Bue uma relao bastante esclarecedora, 2isto que nos mostra uma depend!ncia linear entre o raio e o comprimento de um fio imaginrio que pudesse ser usado para seguir o contorno da circunfer!ncia do grfico# 6e o raio for unitrio teremos um 2alor de refer!ncia para l, que poder ser usado para encontrar qualquer comprimento de circunfer!ncia no grfico, bastando para isto multiplic-lo pelo raio, este 2alor de refer!ncia est ligado circunfer!ncia fec ada# +or outro lado, se fi/ermos com que R se desloque de um Lngulo nulo, ou seja, que saia do ei"o x em direo a y, formando um Lngulo , teremos pedaos de circunfer!ncia, que c amamos de arcos, considerando

que temos um raio unitrio e que percorremos um pedao da circunfer!ncia para cada Lngulo N N que tomamos, temos uma correspond!ncia entre 8ngu*o e arco, ou sejaA podemos nos referir a arcos como unidades de Lngulos, esta unidade angular c amada de adiano# Bualquer crculo forma radianos e todas as relaes entre os pontos da circunfer!ncia que o contorna e os ei"os cartesianos podem ser referenciadas como relaes entre partes desta medida# :omo o radiano uma medida real, isto nos le2a a outra questoA O que determina o sinal negativo ou positivo neste 2alorC >contece uma 2ariao destes 2alores quando nos deslocamos de um ponto a outro da circunfer!ncia, quando saimos do ei"o x em direo ao ponto o Lngulo cresce, portanto temos que concluir que positi2o, recuando-o de encontro ao ei"o x os 2alores diminuem, portanto se ultrapassarmos o ei"o x o 2alor de2e ser menor que /ero, nos re2elando um Lngulo negati2o#

[editar] -eno e cosseno

(emos, portanto, uma circunfer!ncia dentro do plano cartesiano e seus pontos relacionados ao raio R e ao Lngulo , so referenciados pelas 2ari2eis x e y no mesmo plano, agora imaginemos funes para que seja poss2el a partir do raio e do Lngulo encontrar as 2ari2eis, estas funes so o seno e o cosseno# > funo seno, simboli/ada comoA

Eos d o 2alor da 2ari2el y, ou seja, a altura do ponto em relao ao /ero referencial, no encontro dos ei"os, conforme espel ada no ei"o y, quando o raio R unitrio, caso no seja fa/emos #

> funo cosseno, simboli/ada comoA

Eos d o 2alor da 2ari2el x, ou seja, a distLncia do ponto em relao ao /ero referencial, no encontro dos ei"os, conforme espel ada no ei"o xquando o raio R unitrio, caso no seja fa/emos #

>s funes seno e cosseno so periHdicas, ou seja, pela nature/a do ciclo trigonomtrico, quando temos um 2alor em x maior que temos a representao de um ciclo completo mais um Lngulo residual, na 2erdade o 2alor representa este Lngulo residual, o que nos le2a a constatao que sempre ser calculado o 2alor do seno ou cosseno do resto da operao +redefinioA>2iso quando um Lngulo maior que ,O for sugerido para x#

>lguns 2alores de senos e cossenos de certos arcos so perfeitamente dedut2eis atra2s da obser2ao do ciclo, so elesA 6enos e cossenos not2eis ngulo / 8 & & 8 8 -& -& 8

Obser2ando o grfico podemos tambm concluir que o sinal do seno id!ntico ao sinal do Lngulo, enquanto que o cosseno no acompan a o sinal do Lngulo, de forma que cossenos de Lngulos negati2os so iguais a cossenos dos 2alores absolutos dos Lngulos, ou sejaA sendo ,

enquanto queA

Outros senos e cossenos podem ser obtidos pelas relaes mtricas no triLngulo e so largamente utili/ados, soA 6enos e cossenos mais comuns ngulo

[editar] %dentidades 405 >s equaes desta seo so conseqD!ncia das caractersticas dos senos e cossenos, seu comportamento cclico e sua relao com uma circunfer!ncia de raio unitrio l es conferem uma e"celente operati2idade, possibilitando-nos fcil intercLmbio entre as mesmas# [editar] %-0 %dentidade re*aciona* (3sica 6eno e cosseno so relacionados pela equaoA

Comprovao: Obser2ando o ciclo trigonomtrico, temos um triLngulo cujos catetos soA P Pmbo"QsenR ;a< e Pcos;a< e sua ipotenusa &, portanto a identidade conseqDente do con ecido teorema de +itgoras# [editar] %-9 Cosseno da soma 6ejam os Lngulos a e b, o cosseno de sua soma A

Comprovao: Eos pontos A e B do ciclo trigonomtrico, temos os arcos para os Lngulos a e bA Kic eiroA6oma sen cos#png 6igura 6 > distLncia entre os pontos + e ;>JS< igual distLncia entre -> e S, o quadrado das duas A

1a identidade bsicaA

:omo

O que compro2a a identidade# [editar] %-3 Cosseno da di:erena

6ejam os Lngulos a e b, o cosseno de sua diferena A

Comprovao: 1o cosseno da somaA

6ubstituindo b por -bA

O que compro2a a identidade# [editar] %-. &;uiva*#ncia angu*ar

6e o Lngulo a

e b ", entoA

logoA

+or outro lado, seA

, obtemosA

[editar] %-7 -eno da soma 6ejam os Lngulos a e b, o seno de sua soma A

Comprovao: 6endo , temosA e

O que compro2a a identidade# [editar] %-6 -eno da di:erena 6ejam os Lngulos a e b, o seno de sua diferena A

Comprovao: 6e 6ubstituindo b por -b, temosA ,

enquanto que

, logoA

O que compro2a a identidade# [editar] %-7 1)*tip*o de dois senos 6ejam os Lngulos a e b, o mltiplo de seus senos A

Comprovao: 6omando as equaes das identidades da soma e diferena dos cossenosA

O que compro2a a identidade# [editar] %-" 1)*tip*o de dois cossenos 6ejam os Lngulos a e b, o mltiplo de seus cossenos A

Comprovao: 6ubtraindo as equaes das identidades da soma e diferena dos cossenosA

O que compro2a a identidade# [editar] %-, 1)*tip*o de seno e cosseno 6ejam os Lngulos a e b, o mltiplo do seno de a pelo cosseno de b A

Comprovao: 6omando as equaes das identidades da soma e diferena dos senosA

O que compro2a a identidade# [editar] %-0/ -oma de dois senos 6ejam os Lngulos p e q, a soma dos senos de p e de q A

Comprovao: +odemos di/er queA

substituindo na identidadeA

O que compro2a a identidade# [editar] %-00 -oma de dois cossenos 6ejam os Lngulos p e q, a soma dos cossenos de p e de q A

Comprovao: 6eguindo a analogia anteriorA

O que compro2a a identidade# [editar] %-09 $i:erena de dois senos 6ejam os Lngulos p e q, a diferena dos senos de p e de q A

Comprovao: substituindo q por -q emA

O que compro2a a identidade# [editar] %-03 $i:erena de dois cossenos 6ejam os Lngulos p e q, a diferena dos cossenos de p e de q A

Comprovao:

substituimos q e q, por

emA

O que compro2a a identidade# [editar] Limte trigonom2trico :undamenta* +recisaremos de um limite fundamental nas prH"imas sees, se trata de um limite que utili/ado na deduo das deri2adas do seno e do cosseno, faremos sua deduo nesta seo# :onsidere o ciclo trigonomtrico representado a seguirA Kic eiroA'imite sen#png 6igura 7 > :igura 7 mostra a representao de um Lngulo propHsito dedu/ir o seguinte limiteA no ciclo trigonomtrico, o nosso

+ara isto, imagine o triLngulo inscrito na circunfer!ncia, podemos di/er que o segmento de reta n uma apro"imao grosseira do arco , porm obser2e que quando o Lngulo se apro"ima de /ero o segmento se torna mais parecido com o respecti2o Lngulo, algbricamente podemos e"pressar queA

+or outro lado faamos o clculo do 2alor do nM obser2ando o triLngulo podemos di/er queA

'ogoA

6implificando temosA

Foltando para o nosso limite, temos que usar as nossas equaes anteriores desta formaA

6ubstituindo o 2alor do seno no lado da equao relaciondado ao n, teremosA

O que nos le2a ao resultadoA

> interpretao desse limite a seguinteA Tma 2e/ que o Lngulo diminui at 2alores prH"imos de /ero e o arco tende a se assemel ar a uma reta em regies prH"imas do /ero, o 2alor do seno igual ao 2alor do arco no limite, quando o seu 2alor se apro"ima de ser nulo# [editar] $erivada do seno >gora podemos 2erificar qual a 2ariao da funo seno em relao ao seu Lngulo, aplicando a definio da deri2ada ao seno, temosA

>plicando o seno da somaA

>plicando os limitesA

(emos, ento, o limite fundamental que igual a 1, logoA

[editar] $erivada do cosseno (ambm podemos 2erificar qual a 2ariao da funo cosseno em relao ao seu Lngulo, aplicando a definio da deri2ada ao cosseno, temosA

>plicando o seno da somaA

>plicando os limitesA

Eo2amente temos o limite fundamental, logoA

[editar] %ntegra* do seno :omo conseqD!ncia do resultado da deri2ada do seno, podemos dedu/ir que a sua integral, como operao in2ersa A

:uja constante C a constante de2ido a indefinio no processo de antidiferenciao, conforme j estudamos anteriormente# [editar] %ntegra* do cosseno 6egundo o mesmo princpio colocado no caso da integral do seno, podemos afirmar que a operao de integrao do cosseno definida porA

:uja constante C a constante de2ido a indefinio no processo de antidiferenciao