Trigonometria em Cálculo

Anotacoes sobre trigonometria
Rodrigo Carlos Silva de Lima
rodrigo.u.math@gmail.com
Sum
ario
1 Trigonometria
1.1
Denicao de funcoes trigonometricas por meio de serie de potencias . . . . 5

cos(2x) + 1
1.1.1 cos2 (x) =
. . . . . . . . . . . . . . . . . . . . . . . . . . 9
2
1.1.2 Denicao do n
umero . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2
Funcoes seno e cosseno e equacoes diferenciais . . . . . . . . . . . . . . . . 11
1.3
1.4
Cosseno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1 cos(2x)
1.3.1 sen2 (x) =
. . . . . . . . . . . . . . . . . . . . . . . . . . 12
2
Seno . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5
cossec(x)
1.5.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2
cotg (x) + 1 = cossec2 (x). . . . . . . . . . . . . . . . . . . . . . . . 16
1.6
Sec(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.7
T g(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.7.1
1.7.2
1.7.3
1.8
1.9
tg 2 (x) + 1 = sec2 (x). . . . . . . . . . . . . . . . . . . . . . . . . . . 17

tg(a) + tg(b)
tg(a + b) =
. . . . . . . . . . . . . . . . . . . . . . . 17
1 tg(a).tg(b)
Formulas de Tangente do arco metade . . . . . . . . . . . . . . . . 18
Cotg(x) . . . . . . . . . . . . . . . . .
cotg(a)cotg(b) 1
1.8.1 cotg(a + b) =
cotg(a) + cotg(b)
1.8.2 cotg(x) 2cotg(2x) = tg(x) . .
x
1.8.3 cossec(x) = cotg( ) cotg(x) .
2
Formulas de Werner . . . . . . . . . .
1.10 Funcoes trigonometricas inversas
. . . . . . . . . . . . . . . . . . . . 18
. . . . . . . . . . . . . . . . . . . . 19
. . . . . . . . . . . . . . . . . . . . 19
. . . . . . . . . . . . . . . . . . . . 20
. . . . . . . . . . . . . . . . . . . . 21
. . . . . . . . . . . . . . . . . . . . . . . 23
1.10.1 arcsen(x). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.10.2 D[arcsen(x)]
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.10.3
dx = arcsen(x). . . . . . . . . . . . . . . . . . . . . . . 24
1 x2
2

SUMARIO
1.10.4 Serie de arcsen(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

1.10.5 arccos(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.10.6 D[arccos(x)]
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.10.7
dz = arccos(x) . . . . . . . . . . . . . . . . . . . . . . . 26
1 z2
1.10.8 Relacao entre arccos(x) e arcsen(x) . . . . . . . . . . . . . . . . . . 26
1.10.9 Serie de arccos(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.10.10 Funcao arctg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.10.11 Darctg(x)
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1
1
u
1.10.12
dx = arctg( ) . . . . . . . . . . . . . . . . . . . . . . . 28
2
2
a +x
a
a
1.10.13 Serie para arctg(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.10.14 Funcao arccotg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.10.15 D[arccotg(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.10.16 Serie de arccotg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.11 Funcao arcsec(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
1.11.1 D[arcsec(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1
1.11.2 arcos( ) = arcsec(z) . . . . . . . . . . . . . . . . . . . . . . . . . . 32
z
1.11.3 Serie de arcsec(x). . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.12 Funcao arccossec(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.12.1 D[arccossec(x)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.12.2 Serie de arccossec(z). . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1.13 Integracao de funcoes trigonometricas inversas . .
1.13.1
arcsen(x)dx = xarcsen(x) + 1 x2 .
1.13.2
arccos(x)dx = xarccos(x) 1 x2 . .
1
1.13.3
arctg(x) = xarctg(x) ln(1 + x2 ). . .
2
1
1.13.4
arccotg(x) = xarccotg(x) + ln(1 + x2 ).
2
1.14 Funcoes hiperbolicas . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . 34
. . . . . . . . . . . . . . 34
. . . . . . . . . . . . . . 34
. . . . . . . . . . . . . . 34
. . . . . . . . . . . . . . 34
. . . . . . . . . . . . . . 35
1.14.1 Denicao das funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . 35

1.14.2 Funcoes hiperbolicas inversas . . . . . . . . . . . . . . . . . . . . . 36
1.14.3 Serie para arccossech(x) . . . . . . . . . . . . . . . . . . . . . . . . 37
1.14.4 Serie de arccotgh(x). . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.14.5 Representando arccosh(x) por meio de ln . . . . . . . . . . . . . . . 38
1.14.6 Representando arcsenh(x) por meio de ln . . . . . . . . . . . . . . . 38

SUMARIO
1.15 Relacao com complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

1.15.1 sen(ix) = isenh(x) e senh(ix) = isen(x). . . . . . . . . . . . . . . . 39
1.15.2 i.arcsenh(x) = arcsen(ix) e arcsenh(ix) = iarcsen(x).
. . . . . . 39
1.15.3 cosh(ix) = cos(x) e cos(ix) = cosh(x). . . . . . . . . . . . . . . . . 40

1.15.4 Identidade fundamental cosh2 (x) senh2 (x) = 1 . . . . . . . . . . . 40
1.15.5 senh(x + y) = senh(x).cosh(y) + senh(y).cosh(x) . . . . . . . . . . 41
1.15.6 tg(ix) = itgh(x) e tgh(ix) = itg(x). . . . . . . . . . . . . . . . . . . 41
1.15.7 cotgh(ix) = icotg(x) e cotg(ix) = icotgh(x). . . . . . . . . . . . 42
1.15.8 sec(ix) = sech(x) e sech(ix) = sec(x). . . . . . . . . . . . . . . . . 42
1.15.9 sech2 (x) = 1 tgh2 (x). . . . . . . . . . . . . . . . . . . . . . . . . . 43
1.15.10 cossech(ix) = icossec(x) e cossec(ix) = icossech(x).
. . . . . . 43
1.15.11 cossech2 (x) = cotgh2 (x) 1. . . . . . . . . . . . . . . . . . . . . . . 43

1.15.12 sen(3x) = 3sen(x) 4sen3 (x). . . . . . . . . . . . . . . . . . . . . . 44
1.15.13 cos(3a) = 4cos3 (a) 3cos(a). . . . . . . . . . . . . . . . . . . . . . 46
1.15.14 tg(3x) = tg(60 x)tg(x)tg(60 + x). . . . . . . . . . . . . . . . . . 46
cotg()
e2i + 1
1.15.15
. . . . . . . . . . . . . . . . . . . . . . . . . . . 48
= 2i
i
e 1( )
n
1 n
n
1.15.16 cos (x) = n
cos((n 2k)x) . . . . . . . . . . . . . . . . . 53
2 k=0 k
Captulo 1
Trigonometria
1.1
Definic
ao de func
oes trigonom
etricas por meio de
s
erie de pot
encias
Propriedade 1. As series
(1)k x2k+1
k=0
(2k + 1)!
(1)k x2k
k=0
(2k)!
convergem em toda reta.

Demonstrac
ao. Aplicamos o criterio da razao, para a primeira series temos
lim
k
|ak xk | = |x| lim k |ak | = 0
pois se k e par tem-se ak = 0 e se k e mpar |x| lim 2k+1 |a2k+1 | = |x| lim
1
(2k + 1)!
que tambem converge para zero, logo logo o criterio da razao e aplicavel e a serie converge
2k+1
com qualquer entrada real x. Para a segunda serie temos o mesmo

lim
k
|ak xk | = |x| lim k |ak | = 0
pois se k e mpar tem-se ak = 0 e se k e mpar |x| lim 2k |a2k | = |x| lim

tambem converge para zero.
5
2k
1
que
(2k)!
CAPITULO 1. TRIGONOMETRIA
Defini
c
ao 1 (Funcao seno). Denimos a funcao seno, por
sen(x) =
(1)k x2k+1
k=0
(2k + 1)!
para todo x real.

Defini
c
ao 2 (Funcao cosseno). Denimos a funcao cosseno, por
cos(x) =
(1)k x2k
(2k)!
k=0
para todo x real.

Corol
ario 1.
(sen(x)) = cosx
pois
(sen(x)) =
(1)k (2k + 1)x2k
(2k + 1)!
k=0
(1)k x2k
k=0
(2k)!
= cos(x).
Corol
ario 2.
(cos(x)) = sen(x)
pois
(cos(x)) =
(1)k (2k)x2k1
k=0
(2k)!
=
(1)k (2k)x2k1
(2k)!
k=1
(1)k x2k+1
k=1
(2k + 1)!
Corol
ario 3.
cos(0) =
k=1
= sen(x).
(1)k 02k
k=0
(2k)!
= 1.
Logo cos(0) = 1.
Corol
ario 4.
sen(0) =
(1)k 02k+1
k=0
Logo sen(0) = 0.
(2k + 1)!
(1)k x2k1
= 0.
(2k 1)!
Propriedade 2. A funcao seno e mpar e a funcao cosseno e par .

Demonstrac
ao.
sen(x) =
(1)k (x)2k+1
k=0
cos(x) =
(2k + 1)!
(1)k (x)2k
k=0
(2k)!
(1)k (x)2k+1
k=0
(2k + 1)!
(1)k (x)2k
k=0
(2k)!
= sen(x)
= cos(x).
Propriedade 3 (Propriedade fundamental). Vale a propriedade

sen2 (x) + cos2 (x) = 1
para todo x real.
Demonstrac
ao. Seja g(x) = sen2 (x) + cos2 (x), derivando g (x) = 2cos(x)sen(x)
2sen(x).cos(x) = 0, logo g(x) e constante, como vale cos(0) = 1 e sen(0) = 0 temos
g(0) = 1 = c, logo
sen2 (x) + cos2 (x) = 1.
Propriedade 4. As funcoes seno e cosseno sao limitadas .
Demonstrac
ao.
sen2 (x) + cos2 (x) = |sen(x)|2 + |cos(x)|2 = 1
logo
|sen2 (x)| |sen(x)|2 + |cos(x)|2 = 1
|cos2 (x)| |sen(x)|2 + |cos(x)|2 = 1
de |sen2 (x)|, |cos2 (x)| 1 segue |sen(x)|, |cos(x)| 1.
Lema 1. Se f (x) =
axk k, entao se f (0) = f (0) e f (x) = f (x) no raio de con-
k=0
vergencia, entao f (x) = 0.
Demonstrac
ao. Vale que f (0) = f (0) = 0, vamos mostrar que Dn f (0) = 0 n.
Supondo que D2k f (0) = 0 vamos provar que D2k+2 f (0) = 0, aplicando D2k na identidade
f (x) = f (x) tem-se
D2k+2 f (x) = D2k f (x), D2k+2 f (0) = D2k f (0) = 0
o mesmo para as derivadas de ordem mpar. Supondo que D2k+1 f (0) = 0 vamos provar
que D2k+3 f (0) = 0, aplicando D2k+1 na identidade f (x) = f (x) tem-se
D2k+3 f (x) = D2k+1 f (x), D2k+3 f (0) = D2k+1 f (0) = 0
por isso Dn f (0) = 0 n N. Como os coecientes ak da serie de potencias sao dados
Dk
por ak =
f (0), segue que cada ak e nulo, portanto a serie e identicamente nula .
k!
Propriedade 5 (Seno da soma). Para quaisquer a, b R
sen(a + b) = sen(a).cos(b) + sen(b).cos(a).
Demonstrac
ao. Consideramos a funcao denida como
f (x) = sen(a + x) sen(a).cos(x) sen(x).cos(a)
que e uma serie de potencia que converge em R, temos que
f (0) = sen(a) sen(a).cos(0) sen(0).cos(a) = 0
vale tambem que
f (x) = cos(a+x)+sen(a).sen(x)cos(x).cos(a), f (0) = cos(a)+sen(a).sen(0)cos(0).cos(a) = 0
f (x) = sen(a + x) + sen(a).cos(x) + sen(x).cos(a) = f (x)
portanto f satisfaz as condicoes do lema anterior e da
f (x) = 0 sen(a + x) = sen(a).cos(x) + sen(x).cos(a).
Corol
ario 5 (Cosseno da soma). Derivando a identidade
sen(a + x) = sen(a).cos(x) + sen(x).cos(a)

tem-se
cos(a + x) = sen(a).sen(x) + cos(x).cos(a).
Corol
ario 6. Se a = b temos
sen(2a) = sen(a).cos(a) + sen(a).cos(a) = 2sen(a).cos(a).
Propriedade 6.
cos(2x) = cos2 (x) sen2 (x)
Demonstrac
ao.
cos(2x) = cos(x + x) = cos(x).cos(x) sen(x).sen(x) = cos2 (x) sen2 (x).
1.1.1
cos2 (x) =
cos(2x) + 1
.
2
Propriedade 7.
cos2 (x) =
cos(2x) + 1
.
2
Demonstrac
ao. cos(2x) = cos2 (x) sen2 (x) e sen2 (x) = 1 cos2 (x) substituindo
cos(2x) = cos2 (x) 1 + cos2 (x) cos(2x) + 1 = 2cos2 (x)
cos(2x) + 1
= cos2 (x).
2
Corol
ario 7.
cos(2x) = 2cos2 (x) 1
Propriedade 8. Existe a > 0 tal que cos(a) = 0.
Demonstrac
ao. Suponha por absurdo que nao exista tal a, entao vale que cos(x) >
0 x, pois caso existisse x tal que cos(x) 0 entao pelo fato do cosseno ser contnua
existiria a tal que cos(a) = 0. como vale [sen(x)] = cos(x) > 0 entao seno e crescente em
[0, ), sendo x1 > x2 tem-se
sen(x1 ) > sen(x2 ) 1sen(x2 ) > 1sen(x1 )
1 sen(x2 ) >
1 sen(x1 ) cos(x2 ) > cos(x1 )
logo cosseno e decrescente e sendo limitada, existe c [0, 1) tal que

lim cos(x) = c,
da mesma maneira como seno e crescente e limitada existe b (0, 1] tal que
lim sen(x) = b,
10
usando as identidades cos(2x) = 2cos2 (x) 1 e sen(2x) = 2sen(x)cos(x) no limite tem-se

1
c = 2c2 1 (c 1)(c + )2 = 0
2
b = 2cb
1
e b = 0, isso contraria o que ja notamos para tais
2
n
umeros, entao chegamos num absurdo!, logo existe a tal que cos(a) = 0.
da c = 1, pois nao pode ser c =
1.1.2
Definic
ao do n
umero .
Defini
c
ao 3 (N
umero .). Existe a > 0 tal que cos(a) = 0 tal que cos(x) > 0 para
x [0, a), pois cosseno e contnua e como cos(0) = 1 deve existir um intervalo em que
seja positiva. Denimos
= 2a.
Vale
cos( ) = 0.
2
Corol
ario 8. sen(x) e crescente em [0, ), pois nesse intervalo vale [sen(x)] = cos(x) >
2
0.
Corol
ario 9. Vale sen( ) = 1 pois
2
sen2 ( ) + cos2 ( ) = 1 = sen2 ( )

2
2
2
como sen(x) e crescente em [0, ) e sen(0) = 0 entao o valor de sen( ) deve ser positivo
2
2
e da relacao acima
sen( ) = 1.
2
Corol
ario 10. Da identidade
sen(2a) = 2sen(a).cos(a).
tomando a =
segue
2
sen() = 2sen( ).cos( ) = 0.

2
2
11
Corol
tomando x =
tem-se
2
cos() = cos2 ( ) sen2 ( ) = 1.

2
2
Corol
sen(2a) = 2sen(a).cos(a).
tomando a = segue
sen(2) = 2sen().cos() = 0.
Corol
tomando x = tem-se
cos(2) = cos2 () sen2 () = 1.
Corol
ario 14. As funcoes seno e cosseno sao perodicas de perodo 2
cos(x + 2) = cos(x)cos(2) sen(x)sen(2) = cos(x)

sen(x) + 2) = sen(x)cos(2) + cos(x)sen(2) = sen(x).
1.2
Funco
es seno e cosseno e equac
oes diferenciais
Propriedade 9. Sejam f e g duas funcoes de R em R derivaveis, satisfazendo f (0) = 0

, g(0) = 1 e
f (x) = g(x)
g (x) = f (x)
entao f (x) = sen(x) e g(x) = cos(x)x.
12
Demonstrac
ao.
Considere a funcao denida de R em R com lei
h(x) = (f (x) sen(x))2 + (g(x) cos(x))2
vamos mostrar que tal funcao e identicamente nula. Primeiro, vale que
h(0) = (f (0) sen(0))2 + (g(0) cos(0))2 = 0.
|
|
{z
}
{z
}
00
11
Agora derivamos a funcao

h (x) = 2(f (x) cos(x))(f (x) sen(x)) + 2(g (x) + sen(x))(g(x) cos(x))
substituindo as condicoes f (x) = g(x) e g (x) = f (x) segue
h (x) = 2(g(x) cos(x))(f (x) sen(x)) + 2(f (x) + sen(x))(g(x) cos(x)) = 0
{z
}
{z
}
|
|
A
logo h(x) e constante, devendo ser 0 que implica f (x) = sen(x), g(x) = cos(x).
1.3
Cosseno
1.3.1
sen2 (x) =
1 cos(2x)
.
2
Propriedade 10. Para todo x vale

sen2 (x) =
1 cos(2x)
.
2
Demonstrac
ao. De cos(2x) = cos2 (x) sen2 (x) e cos2 (x) + sen2 (x) = 1 segue que
cos2 (x) = 1 sen2 (x), substituindo na primeira temos cos(2x) = 1 sen2 (x) sen2 (x),
cos(2x) = 1 2sen2 (x)
cos(2x) = 1 2sen2 (x) cos(2x) 1 = 2sen2 (x) 1 cos(2x) = 2sen2 (x)
sen2 (x) =
1 cos(2x)
.
2
Corol
ario 15 (Formula de divisao).
x
sen( ) =
2
1 cos(x)
.
2
13
Propriedade 11.
sen(a b) = sen(a).cos(b) sen(b).cos(a)
Demonstrac
ao.
sen(a b) = sen(a)cos(b) + sen(b).cos(a) = sen(a).cos(b) sen(b).cos(a)
pela funcao seno ser mpar e cosseno par.
Propriedade 12. A funcao cosseno e periodica de perodo 2.
cos(x + 2) = cos(x).
Propriedade 13 (Zeros da funcao cosseno).
cos(x) = 0 x =
k
, k Z.
2
Propriedade 14 (Valores especiais).
Angulo
de 30 ,
Angulo
de 45 ,
Angulo
de 60 ,
cos( ) =
.
6
2
2
cos( ) =
.
4
2
2
cos( ) =
.
4
2
cos(0) = 1.
cos() = 1.
1.4
14
Seno
Propriedade 15 (Zeros da funcao). sen(x) = 0 x = k k Z.

Propriedade 16 (Valores especiais).
Angulo
de 30 ,
1
sen( ) = .
6
2
Angulo
de 45 ,
sen( ) =
.
4
2
de 60 ,
Angulo
3
sen( ) =
.
4
2
sen( ) = 1.
2
cos(
3
) = 1.
2
Usando essas propriedades basicas vamos demonstrar outras

Propriedade 17. Para todo k inteiro vale
cos(
+ k) = 0.
2
Demonstrac
ao.
cos(
+ k) = cos( )cos(k) sen( ).sen(k) = 0.

2
2
2
Propriedade 18.
sen(d
) = cos(d).
2
15
Demonstrac
ao.
sen(d
) = sen(d).cos( ) + cos(d).sen( ) = cos(d)

2
2
2
Propriedade 19.
cos(d
) = sen(d)
2
Demonstrac
ao.
cos(d
) = cos(d).cos( ) sen( )sen(d) = sen(d)

2
2
2
Propriedade 20.
cos( x) = cos(x)
Demonstrac
ao.
cos( x) = cos()cos(x) sen().sen(x) = cos(x).
Exemplo 1. Mostrar que
cos4 (x) sen4 (x) = 2cos2 (x) 1.
Temos que
cos4 (x) sen4 (x) = [cos2 (x) sen2 (x)][cos2 (x) + sen2 (x)] = cos2 (x) sen2 (x)
da a identidade segue do fato que sen2 (x) = 1 cos2 (x).
Corol
ario 16 (Formula de divisao).
x
cos(x) + 1
cos( ) =
.
2
2
Corol
ario 17. Com as formulas de divisao de seno e cosseno, dividindo temos
x
1 cos(x)
tg( ) =
.
2
1 + cos(x)
Exemplo 2 (ITA-1967). Se sen(x) = 1 entao quanto vale sen(2x)?
3
Se sen(x) = 1 entao x =
+ 2k da 2x = + 2 + 2k cujo seno e sen(2x) =
2
sen() = 0.
1.5
16
cossec(x)
Propriedade 21. Vale

cossec(x) =
1
x = k, k Z.
sen(x)
Corol
ario 18. cossec(x) e mpar.
1.5.1
cotg 2 (x) + 1 = cossec2 (x).
Propriedade 22. Vale a identidade

cotg 2 (x) + 1 = cossec2 (x).
Demonstrac
ao.
cotg 2 (x) + 1 =
1.6
cos2 (x)
cos2 (x) + sen2 (x)
1
+
1
=
=
= cossec2 (x).
2
2
sen (x)
sen (x)
sen2 (x)
Sec(x)
Propriedade 23. Vale que

Sec(x) =
1
k
x =
.
cos(x)
2
Corol
ario 19. sec(x) e par.
1.7
T g(x)

tg(x) =
Corol
ario 20. tg(x) e mpar .
sen(x)
k
, x =
.
cos(x)
2
1.7.1
17
tg 2 (x) + 1 = sec2 (x).

tg 2 (x) + 1 = sec2 (x).
Demonstrac
ao. De tg 2 (x) =
tg 2 (x) + 1 =
sen2 (x)
tem-se
cos2 (x)
sen2 (x)
sen2 (x) + cos2 (x)
1
+
1
=
=
= sec2 (x)
2
2
cos (x)
cos (x)
cos2 (x)
Corol
ario 21.
1
tg 2 (x)
+1
= cos2 (x).
1
sen2 (x)
2
2
Corol
ario 22. Da identidade 2
= cos (x) multiplicando por tg (x) =
tg (x) + 1
cos2 (x)
segue
tg 2 (x)
= sen2 (x).
tg 2 (x) + 1
1.7.2
tg(a + b) =
tg(a) + tg(b)
1 tg(a).tg(b)
Propriedade 26.
tg(a + b) =
tg(a) + tg(b)
1 tg(a).tg(b)
Demonstrac
ao.
tg(a) + tg(b) =
sen(a) sen(b)
sen(a)cos(b) + sen(b)cos(a)
sen(a + b)
+
=
=
=
cos(a)
cos(b)
cos(a)cos(b)
cos(a)cos(b)
=
tg(a + b)cos(a + b)
cos(a)cos(b)
porem
1 tg(a)tg(b) = 1
cos(a)cos(b) sen(a)sen(b)
cos(a + b)
sen(a) sen(b)
=
=
cos(a) cos(b)
cos(a)cos(b)
cos(a)cos(b)
portanto
tg(a + b) =
tg(a) + tg(b)
.
1 tg(a).tg(b)
1.7.3
18
F
ormulas de Tangente do arco metade
Propriedade 27. Valem as identidades

1.
sen(x) =
2tg( x2 )
1 + tg 2 ( x2 )
2.
2tg( x2 )
tg(x) =
.
1 tg 2 ( x2 )
3.
cos(x) =
1 tg 2 ( x2 )
1 + tg 2 ( x2 )
Demonstrac
ao.
1. Usamos que 1 + tg 2 (x) = sec2 (x)
2tg(x)
2sen(x) 2
=
cos (x) = 2sen(x)cos(x) = sen(2x).
1 + tg 2 (x)
cos(x)
x
x
2. Dividimos a expressao anterior por cos(x) = cos2 ( ) sen2 ( ) da
2
2
tg(x) =
2tg(x)
.
1 tg 2 ( x2 )
3. Dividimos seno por tangente, chegando ao resultado.
1.8
Cotg(x)

cotg(x) =
cos(x)
1
=
, x = k.
sen(x)
tg(x)
1.8.1
cotg(a + b) =
19
cotg(a)cotg(b) 1
cotg(a) + cotg(b)
Propriedade 29.
cotg(a + b) =
cotg(a)cotg(b) 1
cotg(a) + cotg(b)
Demonstrac
ao.
cotg(a) + cotg(b) =
cos(a)
cos(b)
sen(b)cos(a) + sen(a)cos(b)
sen(a + b)
+
=
=
=
sen(a) sen(b)
sen(a)sen(b)
sen(a)sen(b)
=
cos(a + b)
cotg(a + b)sen(a)sen(b)
porem
cotg(a)cotg(b) 1 =
cos(a) cos(b)
cos(a)cos(b) sen(a)sen(b)
cos(a + b)
1=
=
sen(a) sen(b)
sen(a)sen(b)
sen(a)sen(b)
portanto
tg(a + b) =
1.8.2
tg(a) + tg(b)
.
1 tg(a).tg(b)
cotg(x) 2cotg(2x) = tg(x)
Propriedade 30.
cotg(x) 2cotg(2x) = tg(x)
Demonstrac
ao.
cotg(x) 2cotg(2x) =
cos(x)
cos(2x)
2
=
sen(x)
sen(2x)
usando que cos(2x) = 2cos2 (x) 1 e sen(2x) = 2sen(x)cos(x)

(
)
cos(x)
(2cos2 (x) 1)
cos(x) (2cos2 (x) 1)
1
2cos2 (x) 1
=
2
=
=
cos(x)
=
sen(x) 2sen(x).cos(x)
sen(x) sen(x).cos(x)
sen(x)
cos(x)
( 2
)
(
)
1
cos (x) 2cos2 (x) + 1
1
cos2 (x) + 1
=
=
=
sen(x)
cos(x)
sen(x)
cos(x)
usando sen2 (x) = 1 cos2 (x)
1
=
sen(x)
sen(x).sen(x)
cos(x)
)
=
sen(x)
= tg(x).
cos(x)
1.8.3
20
x
cossec(x) = cotg( ) cotg(x)
2
Propriedade 31.
x
cossec(x) = cotg( ) cotg(x)
2
cos(2x) + 1
Demonstrac
ao. Da identidade
= cos2 (x), temos cos(x) =
2
que implica
x
cos(x) + 1
cos( ) =
2
2
1 cos(2x)
da identidade sen2 (x) =
, tem-se
2
1 cos(x)
x
sen( ) =
.
2
2
cos(2x) + 1
,
2
Temos
cos( x2 )
x
cos(x)
cotg( ) =
cotg(x) =
x ,
2
sen( 2 )
sen(x)
cos(x) + 1
2
cos(2x) + 1
2
x
cotg( ) cotg(x) =
.
.
=
2
2
1 cos(x)
2
1 cos(2x)
cos(x) + 1
1
cos(2x) + 1
1
=
.
.
=
1
1 cos(x)
1
1 cos(2x)
multiplicando a primeira fracao por 1 cos(x) e a segunda por 1 cos(2x) no numerador e no denominador
1 + cos(x) 1 cos(x)
1 + cos(2x) 1 cos(2x)
=
=
1 cos(x)
1 cos(2x)
pela propriedade de produto de razes e por sen2 (x) = 1 cos2 (x)
1 cos2 (x)
1 cos2 (2x)
sen(x)
sen(2x)
sen(x)
2sen(x).cos(x)
=
=
1 cos(x)
1 cos2(x)
1 cos(x) 1 cos(2x)
1 cos(x)
1 cos(2x)
usando agora que 2sen2 (x) = 1 cos(2x)
=
sen(x)
2sen(x).cos(x)
sen(x)
cos(x)
sen2 (x) cos(x) + cos2 (x)
1
=
=
.
2
1 cos(x)
2sen (x)
1 cos(x) sen(x)
(1 cos(x))(sen(x))
sen(x)
1.9
21
F
ormulas de Werner
Propriedade 32 (Formulas de Werner). Valem as identidades

1.
sen(p) sen(q) = 2sen(
pq
p+q
).cos(
)
2
2
sen(p) + sen(q) = 2sen(
p+q
pq
).cos(
)
2
2
2.
3.
cos(p) + cos(q) = 2cos(
p+q
pq
).cos(
)
2
2
4.
cos(p) cos(q) = 2sen(
p+q
pq
).sen(
).
2
2
Tais identidades sao conhecidas como formulas de Werner.

Demonstrac
ao.
1. Das identidades
sen(a + b) = sen(a).cos(b) + sen(b).cos(a) (I)
sen(a b) = sen(a).cos(b) sen(b).cos(a) (II)
subtraindo as expressoes
sen(a + b) sen(a b) = sen(b).cos(a)
sen(a + b) sen(a b)
= cos(a).sen(b)
2
p+q
tomando a + b = p e a b = q, tem-se p + q = 2a da
= a e de p q = 2b
2
pq
tem-se
= b , substituindo na expressao anterior
2
p+q
pq
.cos
.
sen(p) sen(q) = 2sen
2
2
Essa identidade pode ser escrita como
sen(p) sen(q) = 2sen
pq
p+q+
.sen
2
2
22
2. Somando I e II temos
sen(a + b) + sen(a b) = 2sen(a).cos(b)
p+q
pq
).cos(
).
2
2
3. Das identidades
cos(a + b) = cos(a)cos(b) sen(a)sen(b) (III)
cos(a b) = cos(a).cos(b) + sen(b).sen(a) (IV )
somando as relacoes
cos(a + b) + cos(a b) = 2cos(a)cos(b)
cos(p) + cos(q) = 2cos(
p+q
pq
)cos(
).
2
2
4. Tomando a subtracao de III e IV tem-se

cos(a + b) cos(a b) = 2sen(a)sen(b)
cos(p) cos(q) = 2sen(
p+q
pq
)sen(
).
2
2
Exemplo 3. Mostre que

sen2 (p) sen2 (q) = sen(p + q).sen(p q)
usando as formulas de Werner. Temos que
sen(p) sen(q) = 2sen(
pq
p+q
)cos(
)
2
2
p+q
pq
)cos(
).
2
2
multiplicando as duas identidades temos a expressao desejada apos usar a simplicacao

sen(2x) = 2sen(x)cos(x)
pq
pq
p+q
p+q
sen2 (p) sen2 (q) = 2sen(
)cos(
) 2sen(
)cos(
)
2 {z
2 }|
2 {z
2 }
|
sen(pq)
sen(p+q)
23
Propriedade 33. Se f (0) = 0 e f (x) e par entao f e mpar.

Demonstrac
ao. Vamos mostrar que f (x) = f (x) . Seja g(x) = f (x) + f (x),
vale que g(0) = 0 e
g (x) = f (x) + f (x) = f (x) + f (x) = 0.
Logo g e constante, valendo entao g(x) = 0x.
Corol
ario 23. Se f (0) = 0 entao podemos tomar h(x) = f (x) f (0) que sera mpar,
pois vale h(0) = f (0) f (0) e h (x) = f (x) e par, entao vale
h(x) = h(x)
f (x) f (0) = f (x) + f (0)
implicando que
f (x) = 2f (0) f (x).
Entao se f (x) e par vale
f (x) = 2f (0) f (x).
1.10
Funco
es trigonom
etricas inversas
1.10.1
arcsen(x).

Defini
c
ao 4 (arcsen(x)). A funcao f de [ , ] [1, 1] dada por f (x) = sen(x)
2 2
e injetora e bijetora, pois e crescente nesse intervalo valendo Dsen(x) = cos(x) > 0.

Denimos entao a funcao inversa de sen(x) que e chamada de arco seno [1, 1] [ , ],
2 2
com a seguinte lei
y = arcsen(x) sen(y) = x.
Devemos observar bem que a denicao e feita para valores de x tais que |x| 1.
Exemplo 4. Quanto vale arcsen(0) ? arcsen(0) = y entao sen(y) = 0, como sen(0) = 0
segue que arcsen(0) = 0.
24
Exemplo 5. Quanto vale arcsen(1) ? arcsen(1) = y entao sen(y) = 1, como sen( ) = 1

2
segue que arcsen(1) = .

2
1.10.2
D[arcsen(x)]
1
Propriedade 34. D[arcsen(x)] =
.
1 x2
Demonstrac
ao. Tomando arcsen(x) = y entao sen(y) = x, derivando y cos(y) = 1
1
e da y =
como cos2 (y) = 1 sen2 (y) segue que cos(y) = 1 sen2 (y) e
cos(y)
1
y =
.
1 x2
Propriedade 35. A funcao de lei arcsen(x) e mpar.
Demonstrac
ao. Seja f (x) = arcsen(x)+arcsen(x), vale f (0) = 0, derivando segue
que
1
1
f (x) =
+
=0
1 x2
1 x2
logo f (x) = 0 valendo arcsen(x) = arcsen(x).
1.10.3
dx = arcsen(x).
1 x2
dx = arcsen(x).
1 x2
Vamos mostrar que (arcsen(x)) =
1
. seja y = arcsen(x) temos seny = x deri1 x2
1
1
=
(fazer gura depois.)
cosy
1 x2
arcsen(x) esta denido com |z| 1 , com esses valores vale
vando y .cosy = 1, y =
z
0
dx = arcsen(z) arcsen(0) = arcsen(z).

1 x2
1.10.4
25
S
erie de arcsen(x) .
Temos
(1)k (2k)!xk
1
=
(k!2 )4k
1 + x k=0
logo
(2k)!x2k
1
=
(k!2 )4k
1 x2
k=0
integrando de [0, y]
1
(2k)!y 2k+1
dx = arcsen(y) =
.
2 )4k (2k + 1)
((k)!
1 x2
k=0
arcsen(y) =
k=0
1.10.5
(2k)
y 2k+1
.
4k (2k + 1)
k
arccos(x)
Defini
c
ao 5 (arcsen(x)). A funcao f de [0, ] [1, 1] dada por f (x) = cos(x) e
injetora e bijetora, pois e decrescente nesse intervalo valendo Dcos(x) = sen(x) < 0 em
[0, ], pois o seno e positivo nesse intervalo. Denimos entao a funcao inversa de cos(x)
que e chamada de arco cosseno [1, 1] [0, ], com a seguinte lei
y = arccos(x) cos(y) = x.
Devemos observar bem que a denicao e feita para valores de x tais que |x| 1.
Exemplo 7. Quanto vale arccos(0)?. Temos que arccos(0) = y entao cos(y) = 0, mas
temos cos( ) = 1, logo y = .

2
2
Exemplo 8. Quanto vale arccos(1)?. Temos que arccos(1) = y entao cos(y) = 1, mas
temos cos(0) = 1, logo y = 0.
1
1
1
Exemplo 9. Quanto vale arccos( )?. Temos que arccos( ) = y entao cos(y) = , mas
2
2
2
temos cos( ) = , logo y = .

3
2
3
1.10.6
26
D[arccos(x)]
1
Propriedade 36. Vale D[arccos(x)] =
.
1 x2
Demonstrac
ao. Tomando y = arccos(x) tem-se cos(y) = x e da y sen(y) = 1 logo
1
sen(y)
como sen(y) = 1 cos2 (x) tem-se sen(y) = 1 x2 entao

y =
1
y =
.
1 x2
Corol
ario 24. Como a derivada de arccos(x) e par e 2arccos(0) = , segue que
arccos(x) = arccos(x)
1.10.7
dz = arccos(x)
1 z2
1
1
dz = arc cos(x) pois D[arccos(x)] =

, como
1 z2
1 z2
a funcao e denida para valores |x| 1, vale
dz = arccos(1) arccos(x) = arccos(x).

1 z2
x
1
1
1
1
1
Exemplo 10. Calcular a integral

dz. Vale
dz = arccos( ) =
2
2
1
1
2
1z
1z
2
2
.
3
1.10.8
Relac
ao entre arccos(x) e arcsen(x)

arccos(x) =
arcsen(x).
2
1
Demonstrac
ao. Valem as identidades D[arccos(x)] =
e D[arcsen(x)] =
1 x2
1
, logo
1 x2
D[arccos(x) + arcsen(x)] = 0
27
isso implica que a funcao e constante, tomando um valor, digamos x = 0, segue

arccos(0) + arcsen(0) = c = arcos(0) =
de onde segue que

arccos(x) =
1.10.9
arcsen(x).
2
S
erie de arccos(x) .
(2k) 2k+1
k
Como valem arccos(x) = arcsen(x) e arcsen(y) =
segue que
2
4k (2k + 1)
k=0
(2k)
k y 2k+1
arccos(x) =
.
2 k=0 4k (2k + 1)
1.10.10
Fun
c
ao arctg

Defini
c
ao 6 (arctg(x)). A funcao f de [ , ] R dada por f (x) = tg(x) e injetora e
2 2
bijetora, pois e crescente nesse intervalo valendo Dtg(x) = sec2 (x) 0. Denimos entao

a funcao inversa de tg(x) que e chamada de arco tangente R [ , ], com a seguinte
2 2
lei
y = arctg(x) tg(y) = x.
Exemplo 11. Alguns valores especiais
sen 3
3
arctg = , pois tg =
=
3
3
cos 3
3
sen 6
1
arctg = , pois tg =
=
6
6
cos 6
3
arctg(1) = , pois tg = 1.
4
4
arctg(0) = 0, pois tg(0) = 0.
1.10.11
32
3
= 3= .
2 1
3
1
1 2
= .
2 3
3
Darctg(x)
Propriedade 39. Vale D[arctg(x] =
x2
1
.
+1
28
Demonstrac
ao. Se arctg(x) = y entao tg(y) = x, derivando ambos lados tem-se
1
2
y sec (y) = 1 logo y =
. Da identidade sec2 (y) = tg 2 (y) + 1 entao sec2 (y) = x2 + 1
2
sec (y)
de onde segue
1
y = 2
.
x +1
Corol
ario 25. A funcao de lei arctg(x) e mpar pois vale arctg(0) = 0 e D[arctg(x)] e
par.
arctg(x) = arctg(x).
1.10.12
1
u
1
dx
=
arctg(
)
a2 + x2
a
a
Propriedade 40.
a2
du
1
u
= arctg( )
2
+u
a
a
1
u
1
u
Demonstrac
ao. Vamos calcular a derivada de arctg( ), temos que arctg( ) = y
a
a
a
a
u
u
logo ay = arctg( ), tg(ay) = , podemos tomar assim um triangulo com cateto oposto ao
a
a
angulo ay como u e adjacente como a, assim temos por teorema de Pitagoras a2 + u2 = h2
a
a2
1
a2 + u2
h = a2 + u2 e cos(ay) =
assim cos2 (ay) = 2
e
=
=
a + u2 cos2 (ay)
a2
a2 + u2
u
derivando ambos lados em u,
sec2 (ay), agora voltando a tangente, temos tg(ay) =
a
1
1
ay .sec2 (ay) = , y sec2 (ay) = 2 substituindo a expressao da secante segue
a
a
y.
, assim y =
a2 + u2
1
= 2
2
a
a
1
a2 + u2
Exemplo 12. Calcule
x2
dx.
1 + x2
x2
x +11
1
dx =
dx = 1
dx = x arctgx + c.
2
2
1+x
1+x
1 + x2
1.10.13
S
erie para arctg(x)
arctg(x) =
k=0
(1)k
x2k+1
2k + 1
29
Sabemos que
1
dx = arctg(y)
1 + x2
da transformando em serie tem-se

y
(1)k y 2k+1
k 2k
(1) x dx =
.
2k + 1
0 k=0
k=0
1.10.14
Fun
c
ao arccotg
Defini
c
ao 7 (arctg(x)). A funcao f de [0, ] R dada por f (x) = cotg(x) e injetora e
bijetora, pois e decrescente nesse intervalo valendo Dcotg(x) = cossec2 (x) 0. Denimos entao a funcao inversa de cotg(x) que e chamada de arco tangente R [0, ], com a
seguinte lei
y = arccotg(x) cotg(y) = x.
Exemplo 13. Quanto vale arccotg(0)? arccotg(0) = y logo cotg(y) = 0, implicando
y= .
2
1.10.15
D[arccotg(x)]
Propriedade 41.
D[arccotg(x)] =
1
.
x2 + 1
Demonstrac
ao. Tomando arccotg(x) = y tem-se cotg(y) = x, derivando em relacao
`a x, segue y cossec2 (x) = 1, usando a relacao cotg 2 (x) + 1 = cossec2 (x) segue que
y =
1
.
+1
x2
Corol
ario 26. Como a derivada de arccotg(x) e par e 2arccotg(0) = segue que
arccotg(x) = arccotg(x).
Propriedade 42. Vale a relacao
arccotg(x) =
arctg(x).
2
Demonstrac
ao. Vale D[arccotg(x)] =
30
1
1
e D[arctg(x] = 2
, somando am+1
x +1
x2
bas temos
D[arccotg(x) + arctg(x)] = 0
entao
arccotg(x) + arctg(x) = c
tomando x = 0 segue
arccotg(0) = c =
logo
arctg(x) =
1.10.16
arctg(x).
2
S
erie de arccotg
Demonstrac
ao. Vale D[arccotg(x)] =
1
1
e D[arctg(x] = 2
, somando am+1
x +1
x2
bas temos
D[arccotg(x) + arctg(x)] = 0
entao
arccotg(x) + arctg(x) = c
tomando x = 0 segue
arccotg(0) = c =
logo
arctg(x) =
Da identidade arctg(x) =
arctg(x).
2
arctg(x) segue que

2

x2k+1
arccotg(x) =
(1)k
2 k=0
2k + 1
1.11
Func
ao arcsec(x)
Defini
c
ao 8 (arcsec(x)). A funcao f de [0, ) ( , ] (, 1] [1, ) dada
2
2
por f (x) = sec(x) e bijetora, pois e crescente nesses intervalos valendo Dsec(x) =
sec(x)tg(x) 0, pois em [0, ) vale tg(x) 0 e sec(x) 0 e em ( , ] vale tg(x) 0 e

2
2
31
sec(x) 0 logo o produto e nao negativo e ela e positiva no primeiro intervalo e negativa
no segundo. Denimos entao a funcao inversa de sec(x) que e chamada de arco secante
(, 1] [1, ) [0, ) ( , ], com a seguinte lei

2
2
y = arcsec(x) sec(y) = x.
Exemplo 14. Quanto vale arcsec(1)? arcsec(1) = y logo sec(y) = 1, o u
nico valor
possvel e y = 0, logo
arcsec(1) = 0.
Exemplo 15. Quanto vale arcsec(1)? arcsec(1) = y logo sec(y) = 1, o u
nico valor
possvel e y = , logo
arcsec(1) = .
1.11.1
D[arcsec(x)]
Propriedade 43.
D[arcsec(x)] =
.
|x| x2 1
Demonstrac
ao. Tomando arcsec(x) = y tem-se sec(y) = x, derivando em relacao `a
x, segue y tg(y)sec(y) = 1, usando a relacao tg 2 (x) + 1 = sec2 (x) segue que
y =
.
|x| x2 1

arcsec(x) + arcsec(x) = .
Demonstrac
ao. Seja g(x) = arcsec(x) + arcsec(x), entao g(1) = arcsec(1) +
arcsec(1) = derivando segue que
g (x) =
1
1
+
|x| x2 1 |x| x2 1
1.11.2
32
1
arcos( ) = arcsec(z)
z
1
Propriedade 45. Vale que arcos( ) = arcsec(z).
z
1
Demonstrac
ao. Considere a funcao de lei f (z) = arcos( ) arcsec(z), vale f (1) =
z
arcos(1) arcsec(1) = 0. Vamos derivar a funcao agora
f (z) =
1 (z)
1
1
1

=

=0
2
2
2
2
z
z 1 z z 1
z z 1 z z2 1
logo f (z) = c = f (1) = 0 implicando que

1
arcos( ) = arcsec(z).
z
1.11.3
S
erie de arcsec(x).
(2k)
1
k y 2k+1
Das identidades arcos( ) = arcsec(z) e arccos(x) =
segue que
z
2 k=0 4k (2k + 1)
(2k)

k
.
arcsec(z) =
2 k=0 z 2k+1 4k (2k + 1)
1.12
Func
ao arccossec(x)
, 0) (0, ] (, 1] [1, ) dada

2
2
por f (x) = cossec(x) e bijetora, pois e decrescente nesses intervalos valendo Dcossec(x) =
Defini
c
ao 9 (arccossec(x)). A funcao f de [
cossec(x)cotg(x) 0 (argumentar), alem disso no primeiro intervalo a funcao e negativa

e no segundo a funcao e positiva. Denimos entao a funcao inversa de cossec(x) que e
chamada de arco cossecante (, 1] [1, ) [

, 0) (0, ], com a seguinte lei
2
2
y = arccossec(x) cossec(y) = x.
Exemplo 16. Quanto vale arccossec(1)? arccossec(1) = y logo cossec(y) = 1, o u
nico
valor possvel e y = , logo

2
arccossec(1) = .
2
33
Exemplo 17. Quanto vale arccossec(1)? arccossec(1) = y logo cossec(y) = 1, o
u
nico valor possvel e y = , logo
2
arccossec(1) = .
2
1.12.1
D[arccossec(x)]
Propriedade 46.
1
.
|x| x2 1
Demonstrac
ao. y = arccossec(x) entao cossec(y) = x, derivando ambos membros
D[arccossec(x)] =
tem-se y cotg(y).cossec(y) = 1 usando a relacao cotg 2 (x) + 1 = cossec2 (x) segue que
1
.
y =
|x| x2 1
1
arccossec(z) = arcsen( ).
z
1
Demonstrac
ao. Tomando a funcao de lei f (z) = arccossec(z) arcsen( ), temos
z

f (1) = arccossec(1) arcsen(1) = = 0.
2
2
Derivamos a funcao
1
z
f (z) =
+
=0
2
2
z z 1 z z2 1
1
logo arccossec(z) arcsen( ) = c = arccossec(1) arcsen(1) = 0 implicando
z
1
arccossec(z) = arcsen( ).
z
Propriedade 48. Se f (c) = f (c) para alguma constante c e f (x) e par entao f e
mpar.
Demonstrac
ao. Vamos mostrar que f (x) = f (x) . Seja g(x) = f (x) + f (x),
vale que g(c) = 0 e
g (x) = f (x) + f (x) = f (x) + f (x) = 0.
Logo g e constante, valendo entao g(x) = 0x.
Corol
ario 27. Vale arccossec(1) = arccosec(1) e D[arccossec(z)] e par entao a funcao
e mpar.
34
1.12.2
S
erie de arccossec(z).
1.13
Integrac
ao de funco
es trigonom
etricas inversas
(2k) 2k+1
y
1
k
Da identidade arccossec(z) = arcsen( ) e da serie arcsen(y) =
segue
k
z
4 (2k + 1)
k=0
que
(2k)
k
arccossec(z) =
.
k (2k + 1)z 2k+1
4
k=0
1.13.1
arcsen(x)dx = xarcsen(x) +
1 x2
arcsen(x)dx = xarcsen(x)+ 1 x2 pois derivando temos
x
2x
arcsen(x) +
+
= arcsen(x).
1 x2 2 1 x2
arccos(x)dx = xarccos(x)
1.13.2
1 x2
arccos(x)dx = xarccos(x) 1 x2 pois derivando temos
x
2x
arccos(x)
+
= arccos(x).
2
1x
2 1 x2
1.13.3
1
arctg(x) = xarctg(x) ln(1 + x2 ).
2
1
arctg(x) = xarctg(x) ln(1 + x2 ), pois derivando
2
arctg(x) +
1.13.4
x2
x
2x
= arctg(x).
+ 1 2x(1 + x2 )
1
arccotg(x) = xarccotg(x) + ln(1 + x2 ).
2
1
arctg(x) = xarctg(x) ln(1 + x2 ), pois derivando
2
arccotg(x)
x2
x
2x
+
= arccotg(x).
+ 1 2x(1 + x2 )
35
1.14
Funco
es hiperb
olicas
1.14.1
Definic
ao das funco
es
Defini
c
ao 10 (Seno hiperbolico). Denimos a funcao de R em R , chamada de seno
hiperbolico pela lei
ex ex
.
2
senh(x) =
Propriedade 53 (Seno hiperbolico e mpar).

senh(x) =
ex ex
ex ex
=
= senh(x).
2
2
Defini
c
ao 11 (Cosseno hiperbolico). Denimos a funcao de R em R , chamada de cosseno
hiperbolico pela lei
cosh(x) =
ex + ex
.
2
Propriedade 54 (Cosseno hiperbolico e par).

ex + ex
ex + ex
cosh(x) =
=
= coshx.
2
2
Defini
c
ao 12 (Tangente hiperbolica).
tgh(x) =
senh(x)
cosh(x)
Defini
c
ao 13 (Cotangente hiperbolica).
cotgh(x) =
cosh(x)
senh(x)
Propriedade 55. O seno hiperbolico e uma funcao crescente.

Demonstrac
ao. Vale que
senh (x) =
logo a funcao e crescente.
ex + ex
= cosh(x) > 0
2
36
Defini
c
ao 14 (Secante hiperbolica ).
sech(x) =
1
.
cosh(x)
Tal funcao e par por sua relacao com cosh(x).

Defini
c
ao 15 (Cossecante hiperbolica ).
cossech(x) =
1
.
seh(x)
Tal funcao e mpar por sua relacao com senh(x).
1.14.2
Fun
co
es hiperb
olicas inversas
Defini
c
ao 16 (Inversa do seno hiperbolico). O seno hiperbolico e crescente, logo a funcao
e bijetora, assim denimos de maneira u
nica sua inversa
arcsenh(x) = y senh(y) = x
que e chamada de arco seno hiperbolico .
Defini
c
ao 17 (Inversa do cosseno hiperbolico). O cosseno hiperbolico e par, logo se existe
x tal que cosh(x) = t entao cosh(x) = cosh(x) = t, entao a funcao nao e bijetora e nao
podemos denir sua inversa de maneira u
nica. A funcao inversa e denida para x 1.
arccosh(x) = y cosh(y) = x.
Exemplo 18. Quanto vale arccosh(1)? arccosh(1) = y entao cosh(y) = 1, vale para
y = 0, logo arccosh(1) = 0.
Defini
c
ao 18 (Inversa da tangente hiperbolica).
arctgh(x) = y tgh(y) = x.
Defini
c
ao 19 (Inversa da cotangente hiperbolica).
arccotgh(x) = y cotgh(y) = x.
37
Propriedade 56.
1
arccotgh(x) = arctgh( ).
x
1
Demonstrac
ao. Se tgh(y) = x entao cotgh(y) = implicando que arctgh(x) = y e
x
1
arccotg( ) = y
.
x
Defini
c
ao 20 (Inversa da cossecante hiperbolica).
arccossech(x) = y cossech(y) = x.
Propriedade 57.
1
arccossech(x) = arcsenh( ).
x
1
Demonstrac
ao. Se senh(y) = x entao cossech(y) = implicando que arcsenh(x) =
x
1
y e arccossech( ) = y.
x
Defini
c
ao 21 (Inversa da secante hiperbolica).
arcsech(x) = y sech(y) = x.
Propriedade 58.
1
arcsech(x) = arccos( ).
x
1
Demonstrac
ao. Se cosh(y) = x entao sech(y) = implicando que arccosh(x) = y
x
1
e arcsech( ) = y.
x
1.14.3
S
erie para arccossech(x)
1
Da identidade arccossech(x) = arcsenh( ) e da serie arcsenh(y) =
x
k=0
temos
(2k)
(1)k
k
arccossech(x) =
(2k + 1)4k x2k+1
k=0
(2k)
(1)k y 2k+1
(2k + 1)4k
1.14.4
38
S
erie de arccotgh(x).
x2k+1
1
Das identidades arccotgh(x) = arctgh( ) e arctgh(x) =
. segue que
x
2k + 1
k=0
arccotgh(x) =
k=0
1.14.5
1
.
(2k + 1)x2k+1
Representando arccosh(x) por meio de ln .
Vale
cosh(t) =
| {z }
et + et
2
x
t
tomando e = u, camos na equacao de segundo grau

u2 2ux + 1 = 0
que possui solucao da forma
et = u = x
x2 1
aplicando o logaritmo segue que

t = ln(x
x2 1)
arccosh(x) = ln(x
x2 1)
para x 1.
1.14.6
Representando arcsenh(x) por meio de ln .
Vale
senh(t) =
| {z }
et et
2
x
t
tomando e = u, camos na equacao de segundo grau

u2 2uy 1 = 0
que possui solucao da forma
et = u = y
y2 + 1
aplicando o logaritmo segue que

t = ln(y
y 2 + 1)
arcsenh(y) = ln(y +
39
y 2 + 1)
tomamos o valor positivo e y pode ser qualquer valor real.
1.15
Relac
ao com complexos
A partir da identidade eix = cos(x) + isen(x) seguem as identidade

eix eix
= isenx
2
eix + eix
= cos(x).
2
1.15.1
sen(ix) = isenh(x) e senh(ix) = isen(x).
Corol
ario 28.
senh(ix) = isen(x)
isen(ix) = senh(i2 x) = senh(x) = senh(x)
multiplicando ambos lados por i
sen(ix) = isenh(x)
logo
sen(ix) = isenh(x)
senh(ix) = isen(x).
1.15.2
i.arcsenh(x) = arcsen(ix) e arcsenh(ix) = iarcsen(x).
Da identidade isenh(y) = sen(iy) segue que

iy = arcsen(isenh(y))
, tomando y = arcsenh(x) segue que
iarcsenh(x) = arcsen(ix).
Substituindo x por ix acima, segue

iarcsenh(ix) = arcsen(x) = arcsen(x)
multiplicando por i de ambos lados tem-se
arcsenh(ix) = iarcsen(x).
1.15.3
cosh(ix) = cos(x) e cos(ix) = cosh(x).
Da identidade
eix + eix
= cosx
2
segue
cosh(ix) = cos(x)
cos(ix) = cosh(i2 x) = cosh(x) = cosh(x).
cosh(ix) = cos(x)
cos(ix) = cosh(x).
1.15.4
Identidade fundamental cosh2 (x) senh2 (x) = 1
Propriedade 59. Vale cosh2 (x) senh2 (x) = 1.

Demonstrac
ao. Da identidade cos2 (x) + sen2 (x) = 1, tomando x por ix
cosh2 (x) + i2 senh2 (x) = 1
da
cosh2 (x) senh2 (x) = 1.
Propriedade 60. Vale senh(x + y) = senh(x).cosh(y) + cosh(x).senh(y)
40
1.15.5
41
senh(x + y) = senh(x).cosh(y) + senh(y).cosh(x)
Demonstrac
ao. Sabemos a identidade sen(x + y) = sen(x).cos(y) + sen(y).cos(x),
trocando x por ix e y por iy tem-se
sen(ix + iy) = isenh(x + y) = isenh(x).cosh(y) + isenh(y).cosh(x)
cortando i em cada lado tem-se
senh(x + y) = senh(x).cosh(y) + senh(y).cosh(x)
Corol
ario 29. Tomando x = y na propriedade anterior segue
senh(2x) = 2senh(x).cosh(x).
cosh(x + y) = cosh(x).cos(y) + senh(x).senh(y).
Demonstrac
ao. Da identidade cos(x + y) = cos(x).cos(y) sen(x).sen(y), tomando
ix e iy tem-se
cosh(x + y) = cosh(x).cosh(y) isenh(x).isenh(y) = cosh(x).cosh(y) + senh(x).senh(y).
Corol
ario 30. Tomando x = y na propriedade anterior, tem-se
cosh(2x) = cosh2 (x) + senh2 (x).
1.15.6
tg(ix) = itgh(x) e tgh(ix) = itg(x).

tgh(ix) =
senh(ix)
isen(x)
=
= itg(x).
cosh(ix)
cos(x)
itg(ix) = tgh(x) =
senh(x)
senh(x)
=
= tgh(x)
cosh(x)
cosh(x)
multiplicando ambos lados por i

tg(ix) = itgh(x)
tgh(ix) = itg(x).
1.15.7
42
cotgh(ix) = icotg(x) e cotg(ix) = icotgh(x).
Como temos cotg(x) =
1
1
e cotgh(x) =
segue
tg(x)
tgh(x)
1
1
cotgh(x)
= cotg(ix) =
=
tg(ix)
itgh(x)
i
assim
cotg(ix) =
cotgh(x)
i
multiplicando por i temos

icotg(ix) = cotgh(x)
por i novamente
icotgh(x) = cotg(ix)
de onde segue
cotg(ix) = icotgh(x)
substituindo i por ix
cotg(x) = cotg(x) = icotgh(ix)
cotg(x) = icotgh(ix)
multiplicando por i
cotgh(ix) = icotg(x)
cotg(ix) = icotgh(x).
Essas identidades serao importantes pois , dada uma identidade trigonometrica podemos deduzir uma identidade hiperbolica ou dada uma hiperbolica deduzir uma trigonometrica.
1.15.8
sec(ix) = sech(x) e sech(ix) = sec(x).

sech(ix) =
1
1
=
= sec(x).
cosh(ix)
cos(x)
Substituindo i por ix
sech(x) = sech(x) = sec(ix)
43
entao vale
sec(ix) = sech(x)
sech(ix) = sec(x).
1.15.9
sech2 (x) = 1 tgh2 (x).
Corol
ario 31. Da identidade tg 2 (x) + 1 = sec2 (x) tem-se trocando x por ix e usando as
relacoes complexas
sech2 (x) = 1 tgh2 (x).
1.15.10
cossech(ix) = icossec(x) e cossec(ix) = icossech(x).

cossech(ix) =
1
1
cossec(x)
=
=
senh(ix)
isen(x)
i
multiplicando por i2 segue

cossech(ix) = icossec(x).
Substituindo x por ix segue
cossech(x) = cossec(x) = icossec(ix)
logo
cossech(x) = icossec(ix)
multiplicando por i segue
icossech(x) = cossec(ix)
1.15.11
cossech2 (x) = cotgh2 (x) 1.
Corol
ario 32. Da identidade cotg 2 (x) + 1 = cossec2 (x) substituindo x por ix segue
cotgh2 (x) + 1 = cossech2 (x)
logo
cossech2 (x) = cotgh2 (x) 1.
44

2
2
2
senh(3x) = 9( senh(x))3 + 3( senhx).
3
3
3
Mostrar essa identidade e equivalente a demonstrar
2
8
8
senh(3x) = 9 (senh(x))3 + 2senhx = (senh(x))3 + 2senhx
3
3.9
3
multiplicando ambos termos por 3
2senh(3x) = 8(senh(x))3 + 6senhx
dividindo por 2
senh(3x) = 4(senh(x))3 + 3senhx.
Chamando ex = A e ex = A1 , temos
4(senh(x))3 + 3senhx = 4
=
A A1
(A A1 )3
+ 3(
)=
4.2
2
(A3 3A2 A1 + 3A.A2 A3 + 3A 3A1 )

(A3 + A3 )
(e3x + e3x )
=
=
= senh3x
2
2
2
1.15.12
sen(3x) = 3sen(x) 4sen3 (x).
Corol
ario 33. Substituindo x por ix chegamos em outra relacao
2
2
2
senh(3ix) = 9( senh(ix))3 + 3( senhix)
3
3
3
como senh(3ix) = isen3x e senh(ix) = isenx substituindo temos
2
2
2
isen(3x) = 9(i)( sen(x))3 + 3i( senx)
3
3
3
anulando os fatores i segue a identidade
2
2
2
sen(3x) = 9( sen(x))3 + 3( senx)
3
3
3
sen3 (x) =
3sen(x) sen(3x)
4
sen(3x) = 3sen(x) 4sen3 (x).
45
Exemplo 20. Partindo da identidade trigonometrica

sen(a + b) = sena.cosb + senb.cosa
de onde segue
sen(ia + ib) = isenh(a + b) = senia.cosib + senib.cosia = isenha.coshb + isenhb.cosha
logo
senh(a + b) = senha.coshb + senhb.cosha
caso b = a
senh(2a) = 2senha.cosha
2
2
2
cosh(3x) = 9( cosh(x))3 3( coshx)
3
3
3
fazendo manipulacoes semelhantes as que zemos para senh(x) podemos mostrar que e
equivalente a identidade
cosh(3x) = 4(coshx)3 3coshx
que vamos demonstrar
4(coshx)3 3coshx =
4 x x 3 3 x x
1
(e +e ) (e +e ) = (e3x +3e2x ex +3ex e2x +e3x 3ex 3ex ) =
2.4
2
2
=
(e3x + e3x )
= cosh(3x).
2
Corol
ario 34. Usando a relacao cosh(ix) = cosx temos
2
2
2
cosh(3ix) = 9( cosh(ix))3 3( coshix)
3
3
3
2
2
2
cos(3x) = 9( cos(x))3 3( cosx).
3
3
3
1.15.13
46
cos(3a) = 4cos3 (a) 3cos(a).
Corol
ario 35. Multiplicando a identidade
2
2
2
cos(3x) = 9( cos(x))3 3( cosx)
3
3
3
por i temos
2
2
2
i cos(3x) = 9i( cos(x))3 3( icosx)
3
3
3
agora multiplicando e dividindo o termo com 9i por i2 /i2 e usando que i2 = 1 segue
2
2
2
icos(3x) = 9( icos(x))3 3( icosx)
3
3
3
de onde segue a identidade
cos(3a) = 4cos3 (a) 3cos(a).
1.15.14
tg(3x) = tg(60 x)tg(x)tg(60 + x).
Corol
ario 36. Das identidades cos(3x) = 4cos3 (x) 3cos(x) e sen(3x) = 3sen(x)
4sen3 (x), segue que
tg(3x) =
3sen(x) 4sen3 (x)

sen(x)(3 4sen2 (x))
=
=
4cos3 (x) 3cos(x)
(cos(x))(4cos2 (x) 3)
( 43 sen2 (x))
= tg(x)
(cos2 (x) 34 )
porem
sen(60 x)sen(60 +x) = (sen(60 )cos(x)sen(x)cos(60 ))(sen(60 )cos(x)+sen(x)cos(60 )) =
1
3
= cos2 (x) sen2 (x)
4
4
3
sen2 (x), da
4
3
2
mesma maneira podemos mostrar que cos(60 x)cos(60 + x) = cos (x) .
4
usando que cos2 (x) = 1 sen2 (x) segue que sen(60 x)sen(60 + x) =
Corol
ario 37. Da identidade tg(3x) = tg(60 x)tg(x)tg(60 + x), temos
com x = 10 temos
47
3
= tg(10 )tg(50 )tg(70 ),
3
x = 15 implica
1 = tg(15 )tg(45 )tg(75 )

tomando x = 20 tem-se
3 = tg(20 )tg(40 )tg(80 ).
1
Corol
ario 38. Como1 cos(20 )cos(40 )cos(80 ) = (demonstre) e 3 = tg(20 )tg(40 )tg(80 )
8
3
segue que sen(20 )sen(40 )sen(80 ) =
.
8
Exemplo 22. Partindo da identidade
tg(a + b) =
tga + tgb
1 tga.tgb
temos que
tg(ia + ib) = itgh(a + b) =
tgia + tgib
tgha + tghb
=i
1 tgia.tgib
1 itgha.itghb
logo
itgh(a + b) = i
tgha + tghb
1 + tgha.tghb
logo
tgh(a + b) =
tgha + tghb
.
1 + tgha.tghb
cotg(a + b) =
cotga.cotgb 1
cotga + cotgb
Exemplo 23. Da identidade
segue
cotg(ai + bi) = icotgh(a + b) =
1
Resolvido no texto sobre produtorios
cotgai.cotgbi 1
icotgha.(i)cotghb 1
=
cotgai + cotgbi
(i)cotgha + (i)cotghb
48
logo
(i)cotgh(a + b) =
(i)cotgha.(i)cotghb 1
(i)(cotgha + cotghb)
cotgh(a + b) =
cotgha.cotghb 1
.
(cotgha + cotghb)
Propriedade 62. A funcao senh(x) e injetiva.

Demonstrac
ao. Temos que senh(x) =
ex ex
, derivando temos (senh(x)) =
2
ex + ex
> 0 para todo x, logo e uma funcao crescente e por isso injetora.
2
1.15.15
cotg() e2i + 1
= 2i
i
e 1
Propriedade 63.
cotg()
e2i + 1
= 2i
i
e 1
Demonstrac
ao.
Valem as identidades
eix eix
e2ix 1
= sen(x) =
2i
2iexi
eix + eix
e2ix + 1
= cos(x) =
2
2exi
como
cos(x)
e2ix + 1 2iexi
e2ix + 1
i
cotg(x) =
=
=
xi
2ix
2ix
sen(x)
2e
e 1
1
e 1
logo
cotg(x)
e2ix + 1
= 2ix
.
i
e 1
F
ormulas para cos(nx) e sen(nx).
Da identidade
eix = cosx + isenx
segue
inx
= cos(nx) + isen(nx) = (cosx + isenx) =
n ( )
n
k=0
(cosx)nk (i)k (senx)k
49
Podemos dividir os inteiros em [0, n] com a seguinte cisao, A como sendo o conjunto
dos pares em [0, n] e B como sendo o conjunto dos mpares em [0, n] e como temos i2k sendo
real e i2k+1 sendo complexo, igualamos a parte real e complexa na identidade anterior,
para chegar em
(n)
cos(nx) =
k
KA
(
n)
isen(nx) =
k
KB
n1
(
2
cos(nx) =
k=0
)
n
(cosx)n2k (1)k (senx)2k
2k
n1
(
2
sen(nx) =
k=0
)
n
(cosx)n2k1 (1)k (senx)2k+1
2k + 1
Propriedade 64.
(
))
((
)
n
2n
2n 1
cos (x) = 2n1
cos(2kx)
+
nk
2
n
k=1
1
2n
cos
2n+1
1
(x) = 2n
2
(
))
((
)
n
2n + 1
2n + 1
cos[(2k + 1)(x)]
cos(x) +
nk
n+1
k=1
Demonstrac
ao. Primeiro o caso par. Por inducao sobre n. n = 1 temos
(
))
((
)
1
21
2
1
cos(2kx)
= (1 + cos(2x)).
cos (x) = 21
+
2
1
1k
2
k=1
1
Supondo a validade para n

)
(
))
((
n
2n
2n 1
+
cos(2kx)
cos (x) = 2n1
nk
n
2
k=1
2n
vamos provar para n + 1
cos
2n+2
((
)
(
))
n+1
2n + 1
2n + 2
+
cos(2kx)
(x) = 2n+1
n+1
n+1k
2
k=1
1
multiplicando a hipotese da inducao por cos2 (x) =

cos2n+2 (x) =
1 + cos(2x)
tem-se
2
1
= 2n
2
50
((
)
(
) (
) n
(
))
n
2n 1
2n
2n 1
2n
cos(2kx)cos(2x)
cos(2kx)
cos(2x)+
+
+
=
n
nk
n
nk
k=1
k=1
cos(a + b) + cos(a b)
= cos(a).cos(b)
2
)
)
((
(
n
1
2n 1
1
2n
cos(2x) +
+
= 2n
cos(2(k + 1)x)
2
n
2 k=1
nk
(
) (
)
(
))
n
n
1
2n
2n 1
2n
+
cos(2(k 1)x)
+
+
cos(2kx)
=
2 k=1
nk
n
n
k
k=1
usamos agora a relacao
1
= 2n
2
((
)
(
)
n+1
2n 1
1
2n
cos(2x) +
cos(2(k)x)
+
n
2 k=2
n+1k
(
) (
)
(
))
(
)
n1
n
1
2n
2n 1
2n
1 2n
cos(2(k)x)
+
+
cos(2kx)
=
+
+
n1k
n
n
k
2 n1
2 k=1
k=1
(
) (
)
(
)
(
)
(
) (2n)
2n 1
2n 1
1 2n
1 2n + 1
1 2n + 1
usamos que
+
=
=
e que
= n
2 n1
n
2
n
2 n+1
n
2
(
)
( (
)
n+1
2n
1 1 2n + 1
1
= 2n
cos(2(k)x)
+
+
n+1k
2
2 n+1
2 k=1
(
))
(
)
n
n1
2n
2n
1
cos(2kx)
=
+
cos(2(k)x)
+
n
k
n1k
2 k=1
k=1
(
) (
)
(
)
(
)
2n
2n
2n
1
1
1 2n + 2
usando agora que
+
+
=
2 n1k
nk
2 n+1k
2 n+1k
( (
)
( )
( )
1 1 2n + 1
1
2n
1
2n
= 2n
+ cos(2nx)
+ cos(2(n + 1)x)
+
2
2 n+1
2
1
2
0
(
)
( ))
n1
2n + 2
2n
1
+ cos(2nx)
=
cos(2(k)x)
+
n+1k
0
2 k=1
( (
(
)
)
2n + 2
1 1 2n + 1
1
+
= 2n
+ cos(2(n + 1)x)
0
2
2 n+1
2
(
))
(
)
n1
1
2n + 2
2n + 2
1
+
=
cos(2(k)x)
+ cos(2nx)
1
2 k=1
n+1k
2
( (
)
(
)
n+1
1 1 2n + 1
1
2n + 2
= 2n
+
cos(2(k)x)
= cos2n+2 (x).
2
2 n+1
2 k=1
n+1k
Caso mpar. Multiplicamos o caso par por cos(x).
51
((
)
(
))
n
2n 1
2n
cos(x) +
cos(2kx)cos(x)
=
cos
(x) = 2n1
2
n
nk
k=1
((
)
(
)
(
))
n
n
1
2n 1
1
2n
1
2n
= 2n1
cos(x)+
cos((2k+1)x)
+
cos((2k1)x)
=
2
n
2 k=1
nk
2 k=1
nk
)
)
( (
(
n
1
1
1 2n + 1
2n
= 2n1
cos(x) +
+
cos((2k + 1)x)
2
2 n+1
2 k=1
nk
1
2n+1
(
))
n1
1
2n
+
cos((2k + 1)x)
=
2 k=0
n1k
)
( (
(
)
( ))
n1
1
1 2n + 1
2n + 1
1
2n
cos(x) +
=
+ cos((2n + 1)x)
= 2n1
cos((2k + 1)x)
2
2 n+1
2 k=1
nk
2
0
)
))
( (
(
n
1
2n + 1
1
1 2n + 1
cos(x) +
cos((2k + 1)x)
= cos2n+1 (x).
= 2n1
nk
2
2 n+1
2 k=1
1
Corol
ario 39. Fazendo x = 0 tem-se
)
(
)
n (
2n
2n 1
2n1
=2
nk
n
k=1
)
n (
2n + 1
nk
k=1
=2
2n
(
)
2n + 1
.
n+1
Tomando x =
2
(
)
(
)
n
2n 1
2n
k
(1)
=
n
nk
k=1
Corol
ario 40. Podemos integrar
((
)
(
))
n
2n 1
sen(2kx) 2n
cos (x)dx = 2n1
x+
n
2
2k
nk
k=1
2n
cos
2n+1
1
(x)dx = 2n
2
((
)
(
))
n
2n + 1
sen[(2k + 1)(x)] 2n + 1
sen(x) +
n+1
2k + 1
nk
k=1
52
Corol
ario 41. Podemos derivar
Dcos (x) =
2n
Dcos
2n+1
1
(x) = 2n
2
))
(
2n
(2k)sen(2kx)
nk
k=1
(
n
22n1
)
))
((
(
n
2n + 1
2n + 1
sen(x) +
(2k + 1)sen[(2k + 1)(x)]
n+1
nk
k=1
Corol
ario 42. Das identidades,
((
)
(
))
n
2n 1
2n
cos (x) = 2n1
+
cos(2kx)
2
n
nk
k=1
1
2n
cos
2n+1
1
(x) = 2n
2
(
))
((
)
n
2n + 1
2n + 1
cos[(2k + 1)(x)]
cos(x) +
nk
n+1
k=1
trocando x por ix
(
))
((
)
n
2n
2n 1
cosh(2kx)
cosh (x) = 2n1
+
nk
2
n
k=1
1
2n
cosh
2n+1
1
(x) = 2n
2
(
))
((
)
n
2n + 1
2n + 1
cosh[(2k + 1)(x)]
cosh(x) +
nk
n+1
k=1
Propriedade 65.
cos((2n + 1)x) =
cos
2k+1
n+k
(x)(1)
k=0
cos(2nx) = (1) +
2k
cos (x)(1)
k=1
(
)
4k
n+k
(2n + 1)
2k + 1 2k
n+k
(
)
22k1 n + k 1
(n)
.
k
2k 1
Corol
ario 43. Tomando x = 0.
1=
n+k
(1)
k=0
1 = (1) +
k=1
(
)
4k
n+k
(2n + 1)
2k + 1 2k
n+k
(1)
(
)
22k1 n + k 1
(n)
.
k
2k 1
53
n ( )
1 n
cos((n 2k)x)
cos (x) = n
2
k
n
1.15.16
k=0
Exemplo 24. Outra maneira
ix
n ( )
n ( )
n ( )
n kix ix(n+k) n kix ix(n+k) n ix(2kn)

) =
e e
=
e e
=
e
k
k
k
k=0
k=0
k=0
ix n
(e + e
porem eix + eix = 2cos(x), de onde segue

n ( )
n ix(2kn)
2 .cos (x) =
e
k
k=0
n
como o resultado deve ser real a soma na parte complexa deve ser nula, entao vale
n ( )
n
k=0
sen(x(2k n)) = 0.
e
n ( )
1 n
cos (x) = n
cos((n 2k)x).
2 k=0 k
n
Corol
ario 44. Podemos integrar e derivar facilmente cosn (x)
n ( )
n ( )
1 n
1 n
Dcos (x) = n
D[cos((n 2k)x)] = n
(n 2k)[sen((n 2k)x)]
2 k=0 k
2 k=0 k
n
n ( )
1 n
D cos (x) = n
(n 2k)[sen((2k n)x)]
2 k=0 k
n
aplicando a integral segue
n ( )
n ( )
1 n
1 n
1
cos (x)dx = n
[cos((n2k)x)]dx = n
[
sen((n2k)x)]dx
2 k=0 k
2 k=0 k (n 2k)
n
n ( )
1 n
1
cos (x)dx = n
[
sen((n 2k)x)]dx.
2 k=0 k (n 2k)
n
Exemplo 25. Sabemos que

eix eix = 2isen(x)
54
, elevamos a potencia n
n ( )
n ixk ix(n+k)
e e
(1)n+k = (2i)n senn (x)
) =
k
k=0
ix n
(e e
ix
n ( )
n ix(n+2k)
e
(1)n+k
(2i) sen (x) =
k
k=0
n
separamos o caso par do mpar, para 2n temos

)
)
2n (
2n (
2n ix(2n+2k)
2n ix(2n+2k)
2n+k
(4 )(1) sen (x) =
e
(1)
=
e
(1)k =
k
k
k=0
k=0
n
2n
nesse caso a parte complexa deve ser nula e a soma deve ser o valor da parte real
da
)
2n (
1 2n
sen (x) = n
cos[(2n 2k)(x)](1)n+k
4 k=0 k
2n
)
2n (
2n
sen[(2n 2k)(x)](1)k = 0.
k
k=0
Tomando agora o caso n mpar, tem-se
(2)
2n+1
2n+1
(1) .isen
(x) =
2n+1
(
k=0
)
2n + 1 ix(2n1+2k)
e
(1)k+1
k
agora a parte real deve ser nula e a parte complexa fornece a soma
sen
2n+1
2n+1
(2n + 1)
1
(x) =
sen[(2n + 1 2k)x](1)k+n
2n+1
(2)
k
k=0
2n+1
(
k=0
)
2n + 1
cos[(2n + 1 2k)x](1)k = 0.
k
Entao valem as expressoes
sen
2n+1
2n+1
(2n + 1)
1
(x) =
sen[(2n + 1 2k)x](1)k+n
k
(2)2n+1 k=0
)
2n (
1 2n
sen (x) = n
cos[(2n 2k)(x)](1)n+k .
4 k=0 k
2n
Corol
ario 45. Podemos derivar e integrar as expressoes chegando em
)
2n (
1 2n
1
sen (x)dx = n
sen[(2n 2k)(x)](1)n+k
4 k=0 k (2n 2k)
2n
)
2n (
1 2n
Dsen (x) = n
(2n 2k)sen[(2k 2n)(x)](1)n+k
4 k=0 k
2n
Dsen
2n+1
sen
2n+1
2n+1
(2n + 1)
1
(x) =
(2n + 1 k)cos[(2n + 1 2k)x](1)k+n
2n+1
(2)
k
k=0
2n+1
(2n + 1)
1
1
(x)dx = 2n+1
cos[(2n + 1 2k)x](1)k+n
(2)
(2n
+
1
2k)
k
k=0
55

Trigonometria em Cálculo

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Trigonometria em Cálculo

Caricato da

Copyright:

Formati disponibili

Anotacoes sobre trigonometria

Rodrigo Carlos Silva de Lima

Denicao de funcoes trigonometricas por meio de serie de potencias . . . . 5

Funcoes seno e cosseno e equacoes diferenciais . . . . . . . . . . . . . . . . 11

cotg (x) + 1 = cossec2 (x). . . . . . . . . . . . . . . . . . . . . . . . 16

tg 2 (x) + 1 = sec2 (x). . . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.10 Funcoes trigonometricas inversas

1.10.4 Serie de arcsen(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

1.14.1 Denicao das funcoes . . . . . . . . . . . . . . . . . . . . . . . . . . 35

1.15 Relacao com complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

1.15.3 cosh(ix) = cos(x) e cos(ix) = cosh(x). . . . . . . . . . . . . . . . . 40

1.15.11 cossech2 (x) = cotgh2 (x) 1. . . . . . . . . . . . . . . . . . . . . . . 43

convergem em toda reta.

com qualquer entrada real x. Para a segunda serie temos o mesmo

pois se k e mpar tem-se ak = 0 e se k e mpar |x| lim 2k |a2k | = |x| lim

para todo x real.

para todo x real.

(1)k (2k + 1)x2k

Propriedade 2. A funcao seno e mpar e a funcao cosseno e par .

Propriedade 3 (Propriedade fundamental). Vale a propriedade

axk k, entao se f (0) = f (0) e f (x) = f (x) no raio de con-

vergencia, entao f (x) = 0.

sen(a + x) = sen(a).cos(x) + sen(x).cos(a)

cos(a + x) = sen(a).sen(x) + cos(x).cos(a).

1 sen(x1 ) cos(x2 ) > cos(x1 )

logo cosseno e decrescente e sendo limitada, existe c [0, 1) tal que

usando as identidades cos(2x) = 2cos2 (x) 1 e sen(2x) = 2sen(x)cos(x) no limite tem-se

sen2 ( ) + cos2 ( ) = 1 = sen2 ( )

sen() = 2sen( ).cos( ) = 0.

cos() = cos2 ( ) sen2 ( ) = 1.

cos(x + 2) = cos(x)cos(2) sen(x)sen(2) = cos(x)

Propriedade 9. Sejam f e g duas funcoes de R em R derivaveis, satisfazendo f (0) = 0

Agora derivamos a funcao

Propriedade 10. Para todo x vale

Propriedade 14 (Valores especiais).

Propriedade 15 (Zeros da funcao). sen(x) = 0 x = k k Z.

Usando essas propriedades basicas vamos demonstrar outras

+ k) = cos( )cos(k) sen( ).sen(k) = 0.

) = sen(d).cos( ) + cos(d).sen( ) = cos(d)

) = cos(d).cos( ) sen( )sen(d) = sen(d)

Propriedade 21. Vale

cotg 2 (x) + 1 = cossec2 (x).

Propriedade 22. Vale a identidade

Propriedade 23. Vale que

Propriedade 24. Vale que

tg 2 (x) + 1 = sec2 (x).

Propriedade 25. Vale a identidade

Propriedade 27. Valem as identidades

3. Dividimos seno por tangente, chegando ao resultado.

Propriedade 28. Vale que

cotg(x) 2cotg(2x) = tg(x)

usando que cos(2x) = 2cos2 (x) 1 e sen(2x) = 2sen(x)cos(x)

Propriedade 32 (Formulas de Werner). Valem as identidades

sen(p) + sen(q) = 2sen(

Tais identidades sao conhecidas como formulas de Werner.

4. Tomando a subtracao de III e IV tem-se

Exemplo 3. Mostre que

multiplicando as duas identidades temos a expressao desejada apos usar a simplicacao

Propriedade 33. Se f (0) = 0 e f (x) e par entao f e mpar.

Exemplo 5. Quanto vale arcsen(1) ? arcsen(1) = y entao sen(y) = 1, como sen( ) = 1

segue que arcsen(1) = .

logo f (x) = 0 valendo arcsen(x) = arcsen(x).

Exemplo 6. Mostrar que