Aula 12 Derivando fun c~ oes trigonom etricas

Nesta aula estaremos deduzindo derivadas de fun c~ oes trigonom etricas. Estaremos tamb em apresentando as fun c~ oes trigonom etricas inversas e deduzindo suas derivadas. Admitiremos que as seis fun c~ oes trigonom etricas s~ ao cont nuas nos pontos onde est~ ao denidas. Recordemo-nos de que, pela proposi c~ ao 11.1, aula 11, temos o primeiro limite fundamental, sen h lim =1 h!0 h Como conseq u^ encia, deduziremos agora as derivadas das fun c~ oes seno e cosseno. Teorema 12.1 (sen x)0 = cos x (cos x)0 = sen x Demonstra c~ ao. Seja f (x) = sen x. Consideremos ent~ ao, fazendo x = h, f f (x + h) f (x) sen(x + h) sen x = = x h h sen x cos h + sen h cos x sen x = h cos h 1 sen h = sen x + cos x h h f 0 (x) = lim f (x + h) f (x) h!0 h cos h 1 sen h = sen x lim + cos x lim h!0 h!0 h h

101

~ es trigonom Derivando func o etricas Agora, temos lim lim sen h = 1, e h!0 h

102

cos h 1 (cos h 1)(cos h + 1) (cos2 h 1) = lim = lim h!0 h!0 h!0 h(cos h + 1) h h(cos h + 1) 2 0 sen h sen h sen h = lim = lim lim =1 =0 h!0 h(cos h + 1) h!0 h!0 cos h + 1 h 2 Portanto, f 0 (x) = (sen x) 0 + (cos x) 1 = cos x. Assim (sen x)0 = cos x, para todo x 2 R. x . Por deriva c~ ao em cadeia, Agora, cos x = sen 2 h i0 (cos x)0 = sen x 2 0 = cos x x = (sen x) (1) = sen x 2 2

Proposi c~ ao 12.1 (tg x)0 (cotg x)0 (sec x)0 (cosec x)0 = sec2 x = cosec2 x = sec x tg x = cosec x cotg x

Demonstra c~ ao. Para deduzir estas novas f ormulas, basta fazer uso das rela c~ oes 1 1 ; cosec x = cos x sen x u 0 u0 v uv 0 e aplicar a regra de deriva c~ ao de um quociente, = . Deixamos o prazer v v2 da descoberta para o leitor. tg x = cotg x = sec x = sen x ; cos x cos x sen x

12.1

Fun c~ oes trigonom etricas inversas e suas derivadas

A fun c~ ao arco-seno. Para cada n umero real a, 1 a 1, existe um unico arco orientado , =2 =2, tal que sen = a. Dizemos que e o arco cujo seno e a, ou que e o arco-seno de a, e denotamos isto por = arc sen a Sumarizando,

~ es trigonom Derivando func o etricas ( = arc sen a se e somente se

103

sen = a =2 =2

= arc sen a
a

/2
x O A

- /2

Assim, por exemplo (conra), p 3 arc sen 1 = ; arc sen = ; 2 2 3

1 arc sen 2

= ; 6

arc sen(1) =

A fun c~ ao arco-cosseno. Para cada n umero real a, 1 a 1, existe um u nico arco orientado , 0 , tal que cos = a.
y

= arc cos a
x

a O

Dizemos que e o arco cujo cosseno e a, ou que e o arco-cosseno de a, e denotamos isto por = arccos a Sumarizando, ( = arccos a se e somente se cos = a 0

~ es trigonom Derivando func o etricas

104

p Assim, por exemplo, arccos 1 = 0, arccos( 2=2) = =4, arccos(1=2) = 2=3, arccos(1) = . A fun c~ ao arco-tangente. Para cada n umero real a, 1 < a < +1, existe um u nico arco orientado , =2 < < =2, tal que tg = a. Dizemos que e o arco cuja tangente e a, ou que e o arco-tangente de a, e denotamos isto por = arc tg a

= arc tg a

/2

y' a

- /2

Sumarizando, ( = arc tg a se e somente se a = tg =2 < < =2

Assim, denem-se as fun c~ oes arc sen x e arccos x, para 1 x 1, e arc tg x para todo x 2 R. Algumas calculadoras cient cas chamam essas fun c~ oes pelas teclas INV 1 SIN , INV COS , INV TAN , e as vezes pelas teclas SIN , COS1 , TAN1 . Proposi c~ ao 12.2 1 (arc sen x)0 = p ; 1 < x < 1 1 x2 1 (arccos x)0 = p ; 1 < x < 1 1 x2 1 (arc tg x)0 = ; 1 < x < +1 1 + x2 Demonstra c~ ao. Sendo 1 < x < 1, y = arc sen x se e somente se sen y = x; e =2 < y < =2

~ es trigonom Derivando func o etricas Por deriva c~ ao impl cita da equa c~ ao sen y = x, temos (sen y )0 = 1 ) (cos y ) y 0 = 1 1 1 1 ) y0 = =p =p cos y 1 x2 1 sen2 y 1 Portanto (arc sen x)0 = p . 1 x2 Para 1 < x < 1, y = arccos x se e somente se cos y = x, e 0 < y < . Por deriva c~ ao impl cita temos (cos y )0 = 1 ) (sen y ) y 0 = 1 1 1 1 ) y0 = = p =p sen y 1 x2 1 cos2 y 1 Portanto (arccos x)0 = p . 1 x2 Finalmente, para x 2 R, y = arc tg x se e somente se Por deriva c~ ao impl cita temos (tg y )0 = 1 ) (sec2 y ) y 0 = 1 1 1 1 = = ) y0 = 2 2 sec y 1 + tg y 1 + x2 Portanto (arc tg x)0 = 1 . 1 + x2 tg y = x; e =2 < y < =2

105

12.2

Problemas
pq p+q cos 2 2

1. Sendo f (x) = sen x, mostre que f 0 (x) = cos x, fazendo uso da f ormula sen p sen q = 2 sen para calcular o limite de f f (x + x) f (x) sen(x + x) sen x = = x x x quando x ! 0.

~ es trigonom Derivando func o etricas

106

A x

Figura 12.1. 2. A dist^ ancia d = OA (veja gura 12.1) que um proj etil alcan ca, quando disparado de um canh~ ao com velocidade inicial v0 , por um cano inclinado com um ^ angulo de eleva c~ ao ' em rela c~ ao ao ch~ ao (horizontal), e dada pela f ormula d= v0 sen 2' g

sendo g a acelera c~ ao da gravidade local. Qual e o ^ angulo ' que proporciona alcance m aximo? Resposta. 45 . 3. Calcule as derivadas das p (a) y = sec x 1 (c) y = cotg(x3 2x) cos 4x (e) y = 1 sen 4x (g) y = tg2 x sec3 x (i) y = x2 sec2 5x p (k) y = e3x tg x (m) y = xsen x
Respostas. (a)
sec

seguintes fun co ~es. (b) y = cosec(x2 + 4) (d) f (x) = cos 3x2 (f) g (x) = cos2 3x (cos2 a signica (cos a)2 ) (h) f (x) = tg3 (3x + 1) (j) f (x) = ln j cosec x + cotg xj (l) g (x) = ln(ln sec 2x) (n) f (x) = ln j sec x + tg xj
(b) 2x cosec(x2 + 4) cotg(x2 + 4)

4 (d) 6x sen 3x2 (e) 1sen (f) 3 sen 6x (c) 4x 3 3 5 2 2 (g) 3 tg x sec x + 2 tg x sec x (h) 9 tg (3x + 1) sec (3x + 1) 3x 2 px 3x tg px p 3 e (l) (i) 2x sec2 5x + 10x2 sec2 5x tg 5x (j) cosec x (k) e 2sec x 2 tg 2x x (m) xsen x cos x ln x + sen (n) sec x ln sec 2x x

p p x 1 tg x1 p 2 x1 (3x2 2) cosec2 (x3 2x)

4. Calcule as derivadas das seguintes fun co ~es. p (a) y = arc sen x (b) f (x) = (1 + arccos 3x)3 3 (d) y = 3arc sen x (e) g (x) = (tg x)arc tg x

(c) f (x) = ln arc tg x2

p p p 2 = 1 9x2 Respostas. (a) 1=(2 x 1 x) (b) 9(1 + arccos 3 x ) 3 p x (c) (1+x4 )2arc (d) (3 ln 3)x2 3arc sen x = 1 x6 tg x2 (e) (tg x)arc tg x [cotg x sec2 x arc tg x + (ln tg x)=(1 + x2 )]

5. Determine y 0 por deriva c~ ao impl cita. (a) y = x sen y (b) ex cos y = x ey (c) x2 + x arc sen y = yex

~ es trigonom Derivando func o etricas

sen y cos ye Respostas. (a) y 0 = 1 (b) y 0 = ee x sen y +xey x cos y p 1 y 2 (yex arc sen y 2x) p (c) y 0 = x ex 1 y 2
x y

107

6. Esboce os gr acos das fun c~ oes, analisando-as previamente atrav es de derivadas e limites apropriados. (a) y = x + sen x (b) y = arc tg x (c) y = x + arc tg x
Respostas. (Daremos as derivadas como suporte as solu co ~es.) ntotas do gr aco, voc^ e vai se (a) y 0 = 1 + cos x, y 00 = sen x. Ao pesquisar retas ass x . Use o seguinte racioc nio. Como 1 sen x1 deparar com os limites lim sen x
1 sen x 1 , usando um teorema de para todo x 2 R, temos x x x , para todo x > 0. Da sen x x em lim sen confronto (sandu che), temos lim x = 0. Calcule tamb x . x!1 x!+1 x!1

(b) y 0 = (a)

1 , 1+x2

y 00 =
3 2

2x (1+x2 )2
y

(c) y 0 = 1 +

1 , 1+x2

y 00 =

2x (1+x2 )2

(b)
y /2 /4 x 0 1 - /2

x 2 3

(c)
y /2 - /2 /2 - /2 x