AULA

Funes Elementares
do Clculo Complexos 2
META:
Definir mais algumas funes elementares no campo dos complexos.
OBJETIVOS:
Ao fim da aula os alunos devero ser capazes de:
Definir mais algumas funes elementares no campo dos complexos
e provar algumas de suas propriedades.
PR-REQUISITOS
Aula 01 de Variveis Complexas.

Funes Elementares do Clculo Complexos 2

6.1

Introduo

Caros alunos dando continuidade ao estudo de algumas funes

de variveis complexas estenderemos, nesta aula, as definies das
funes trigonomtricas e das funes hiperblicas ao domnio dos
nmeros complexos. Comearemos pelas funes trigonomtricas,
mais precisamente pela funo seno.

6.2

Funes Trigonomtricas

Comearemos pelas definies das funes seno e cosseno pois,

serviram de base para definio das demais funes trigonomtricas.
Como vimos anteriormente a frmula de Eler para variveis complexas escreve-se assim:
R, e = cos() + sin()

(6.63)

Trocando em eqn. 6.63 por e levando em conta que as

funes seno e cosseno de reais so funo par e funo mpar
respectivamente, teremos:

e = cos() + sin()
e = cos() sin()
Subtraindo e adicionando as equaes eqn. 6.63 temos:

e e

sin() = e e
=
2
2
e
e

cos() =
2

(6.64)

(6.65)

Desta forma natural estender a definio das funes seno e

cosseno no domnio dos complexos por:
Para a funo seno

84

Variveis Complexas

AULA

Definio 6.1. Para todo z C, definimos a funo seno, calcu-

lada no ponto z, denotada sin(z) por:

def

sin(z) =

ez ez
2

(6.66)

Para a funo cosseno

Definio 6.2. Para todo z C, definimos a funo cosseno,
calculada no ponto z, denotada cos(z) por:
def

cos(z) =

ez + ez
2

(6.67)

As definies das funes tangente, cotangente, secante e cosecante no campo no campo dos nmeros reais so feitas partir das
funes seno e cosseno. No campo dos nmeros complexos segue
como as mesmas definies. A saber:
Para a funo tangente:
Definio 6.3. Para todo z C a funo tangente calculada no
ponto z, denotada tan(z) definida por:
def

tan(z) =

sin(z)
cos(z)

(6.68)

Para a funo cotangente:

Definio 6.4. Para todo z C a funo cotangente calculada
no ponto z, denotada cot(z) definida por:
def

cot(z) =

cos(z)
sin(z)

(6.69)

Para a funo secante:

Definio 6.5. Para todo z C a funo secante calculada no
ponto z, denotada sec(z) definida por:
def

sec(z) =

1
cos(z)

(6.70)

85

Funes Elementares do Clculo Complexos 2

Para a funo cosecante:
Definio 6.6. Para todo z C a funo cosecante calculada no
ponto z, denotada csc(z) definida por:
def

csc(z) =

1
sin(z)

(6.71)

Alternativamente, a exemplo das funes seno e cosseno, podemos

definir as funes tangente, cotangente, secante e cosecante usando
a funo exponencial. A saber:
ez ez
ez + ez
ez + ez
cot(z) = z
e ez
2
sec(z) = z
e + ez
2
csc(z) = z
e ez
tan(z) =

6.3

(6.72)

Propriedades das Funes Trigonomtricas

As propriedades das funo trigonomtricas so as mesmas no

campo dos reais quanto no campo dos complexos. A seguir listaremos algumas e faremos a demonstrao de uma delas.
i) z C, cos2 (z) + sin2 (z) = 1
ii) z C, sec2 (z) tan2 (z) = 1
iii) z C, cot2 (z) csc2 (z) = 1
iv) z C, sin(z) = sin(z)
v) z C, cos(z) = cos(z)
vi) z C, tan(z) = tan(z)

86

AULA

Variveis Complexas

vii) z, w C, cos(z + w) = cos(z) cos(w) sin(z) sin(w)

viii) z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w)
ix) z, w C, tan(z + w) =

tan(z) + tan(w)
1 + tan(z) tan(w)

1
=
2



sin(2z)
1+
2

1
xi) z C, sin (z) =
2



sin(2z)
1
2

x) z

C, cos2 (z)

Demonstraremos aqui que: z, w C, cos(z +w) = cos(z) cos(w)

sin(z) sin(w).
Demonstrao:
Das definies das funes sin() e cos() temos:
e(z+w) + e(z+w)
2
ez + ez
cos(z) =
2
ew + ew
cos(w) =
2
ez ez
sin(z) =
2
ew ew
sin(z) =
2

cos(z + w) =

(6.73)

Fazendo o produto das equaes eqn 6.73.2 e eqn 6.73.3 temos:

ez + ez ew + ew
2
2

z
z
w
(e + e )(e + ew )
=
4
w
z
z
e e + e ew + ez ew + ez ew
=
4

(z+w)
(wz)
e
+e
+ e(zw) + e(z+w)
=
4

cos(z) cos(w) =

(6.74)

87

Funes Elementares do Clculo Complexos 2

Fazendo o produto das equaes eqn 6.73.4 e eqn 6.73.5 temos:
ez ez ew ew
2
2
(ez ez )(ew ew )
=
4
w
z
z
e e e ew ez ew + ez ew
=
4

(z+w)
(wz)
e
+e
+ e(zw) e(z+w)
=
4

sin(z) sin(w) = 2

(6.75)

Subtraindo as equaes eqn 6.74 e eqn 6.75 temos:

2e(z+w) + 2e(z+w)
4

(z+w)
e
+ e(z+w)
=
2

cos(z) cos(w) sin(z) sin(w) =

(6.76)

comparando as equaes eqn 6.73.1 e eqn 6.76 temos:

cos(z + w) = cos(z) cos(w) sin(z) sin(w) 

6.4

(6.77)

Funes Trigonomtricas Inversas

As funes trigonomtricas inversas podem ser deduzidas das expresses de definio das funes trigonomtricas. Aqui faremos a
deduo de uma delas. A saber:

1
log(z + 1 z 2 )

1
cos1 (z) = log(z + z 2 1)



1
1 + z
1
tan (z) = log
2
1 z


1
z +
1
cot (z) = log
2
z
!

2
1
1

z
z
+
sec1 (z) = log

i) sin1 (z) =
ii)
iii)
iv)

v)

88

AULA

Variveis Complexas
1
vi) csc1 (z) = log

z+

z2 1
z

Demonstraremos aqui que: sin1 (z) =

1
log(z + 1 z 2 ).

Demonstrao:
Da definio de funo inversa temos:
sin(w) = z w = sin1 (z)
Da definio da funo sin(w) temos:
sin(w) =

ew ew
=z
2

(6.78)

por outro lado, fazendo na equao eqn 6.78 = ew temos:

1
=z
2

(6.79)

= 2z

Fazendo o produto da equao eqn 6.79 por temos:

2 1 = 2z
(6.80)
2 2z 1 = 0
Resolvendo a equao do segundo grau eqn 6.80 para temos:
= z +
Onde sabemos que

p
1 z2

(6.81)

1 z 2 uma funo multivalorada. Por outro

lado, como = ew da equao eqn 6.81 temos:

ew = z +

p
1 z2

(6.82)

Invertendo a funo exponencial em eqn 6.82, levando em conta

que ew = e(w2k) e que w = sin1 (z) temos:
p
w = 2k + log(z + 1 z 2 )
p
1
sin1 (z) = 2k + log(z + 1 z 2 )

(6.83)

89

Funes Elementares do Clculo Complexos 2

Vemos ento que a funo sin1 (z) tem infinitos valores porm,
escolhendo o ramo principal onde sin1 (0) = 0 temos k = 0 e da
equao eqn 6.83 podemos escrever:
sin1 (z) =

6.5

p
1
log(z + 1 z 2 ) 

Derivada das Funes Trigonomtricas

As funes trigonomtricas estendidas ao campo dos complexos

tm as seguintes derivadas:
i) cos0 (z) = sin(z)
ii) sin0 (z) = cos(z)
iii) tan0 (z) = sec2 (z)
iv) cot0 (z) = csc2 (z)
v) sec0 (z) = sec(z) tan(z)
vi) csc0 (z) = csc(z) cot(z)
Faremos a demonstrao apenas de um tem acima. A saber:
Derivada da Funo Seno: sin0 (z) = cos(z).
PROVA: Usando a definio da funo seno sin(), a definio
da funo coseno cos(), a derivada da funo exponencial exp()
e a regra da cadeia temos:
sin0 (z) =

d ez ez
dz
2
ez + ez
2
ez + ez
=
2
=

= cos(z) 

90

(6.84)

AULA

Variveis Complexas

6.6

Funes Hiperblicas

Comearemos pelas definies das funes seno hiperblico e cosseno

hiperblico pois, serviram de base para definio das demais funes
hiperblicas. Como no campo dos nmeros reais as funes seno
hiperblico e cosseno hiperblico so definidas partir da funo
exponencial, sua extenso ao campo dos nmeros complexo utiliza
a mesma forma. A saber:
Para a funo seno hiperblico.
Definio 6.7. Para todo z C, definimos a funo seno hiperblico, calculada no ponto z, denotada sinh(z) por:
def

sinh(z) =

ez ez
2

(6.85)

Para a funo cosseno hiperblico.

Definio 6.8. Para todo z C, definimos a funo cosseno hiperblico, calculada no ponto z, denotada cosh(z) por:
def

cosh(z) =

ez + ez
2

(6.86)

As definies das funes tangente hiperblica, cotangente hiperblica, secante hiperblica e cosecante hiperblica no campo no
campo dos nmeros reais so feitas partir das funes seno hiperblico e cosseno hiperblico. No campo dos nmeros complexos
segue como as mesmas definies. A saber:
Para a funo tangente hiperblica:
Definio 6.9. Para todo z C a funo tangente calculada no
ponto z, denotada tanh(z) definida por:
def

tanh(z) =

sinh(z)
cosh(z)

(6.87)

91

Funes Elementares do Clculo Complexos 2

Para a funo cotangente hiperblica:
Definio 6.10. Para todo z C a funo cotangente hiperblica
calculada no ponto z, denotada coth(z) definida por:
def

coth(z) =

cosh(z)
sinh(z)

(6.88)

Para a funo secante hiperblica:

Definio 6.11. Para todo z C a funo secante hiperblica
calculada no ponto z, denotada sech (z) definida por:
def

sech (z) =

1
cosh(z)

(6.89)

Para a funo cosecante hiperblica:

Definio 6.12. Para todo z C a funo cosecante hiperblica
calculada no ponto z, denotada csch (z) definida por:
def

csch (z) =

1
sinh(z)

(6.90)

Alternativamente, a exemplo das funes seno hiperblico e cosseno

hiperblico, podemos definir as funes tangente hiperblica, cotangente hiperblica, secante hiperblica e cosecante hiperblica usando a funo exponencial. A saber:
ez ez
ez + ez
ez + ez
cot(z) = z
e ez
2
sec(z) = z
e + ez
2
csc(z) = z
e ez
tan(z) =

92

(6.91)

AULA

Variveis Complexas

6.7

Propriedades das Funes Hiperblicas

As propriedades das funo hiperblicas so as mesmas no campo

dos reais quanto no campo dos complexos. A seguir listaremos
algumas e faremos a demonstrao de uma delas.
i) z C, cosh2 (z) sinh2 (z) = 1
ii) z C, sech 2 (z) + tanh2 (z) = 1
iii) z C, coth2 (z) csch 2 (z) = 1
iv) z C, sinh(z) = sinh(z)
v) z C, cosh(z) = cosh(z)
vi) z C, tanh(z) = tanh(z)
vii) z, w C, cosh(z + w) = cosh(z) cosh(w) + sinh(z) sinh(w)
viii) z, w C, sinh(z + w) = sinh(z) cosh(w) + cosh(z) sinh(w)
ix) z, w C, tanh(z + w) =

tanh(z) + tanh(w)
1 + tanh(z) tanh(w)

Demonstraremos aqui que: z C, sech 2 (z) + tanh2 (z) = 1.

Demonstrao:
Das definies das funes sinh() e cosh() temos:
ez + ez
2
ez ez
sinh(z) =
2

cosh(z) =

(6.92)

Elevando ao quadrado as equaes eqn 6.92.1 e eqn 6.92.2 e

levando-se em conta que ez ez = ezz = e0 = 1 temos:
e2z + 2ez ez + e2z
e2z + 2 + e2z
=
4
4
2z
z
2z
z
2z
e 2e e
+e
e 2 + e2z
sinh(z)2 =
=
4
4

cosh2 (z) =

(6.93)

93

Funes Elementares do Clculo Complexos 2

Subtraindo as equaes eqn 6.93.1 e eqn 6.93.2

e2z + 2 + e2z
e2z 2 + e2z

4
4
e2z + 2 + e2z e2z + 2 e2z
=
4
4
=
4

cosh2 (z) sinh(z)2 =

(6.94)

=1
Dividindo a equao eqn 6.94 por cosh2 (z) temos:
1
cosh2 (z) sinh(z)2
=
2
cosh (z)
cosh2 (z)
1
cosh2 (z) sinh(z)2

=
2
2
cosh (z) cosh (z)
cosh2 (z)
sinh(z)2
1
1
=
cosh2 (z)
cosh2 (z)

(6.95)

Levando-se em conta a equao eqn 6.95 e as definies das

funes tanh() e sech () temos:
1 tanh2 (z) = sech 2 (z)

(6.96)

Que pode ser rearrumada para:

sech 2 (z) + tanh2 (z) = 1 

6.8

(6.97)

Funes Hiperblicas Inversas

As funes hiperblicas inversas podem ser deduzidas das expresses

de definio das funes hiperblicas. Aqui faremos a deduo de
uma delas. A saber:
i) sinh1 (z) = log(z +
ii) cosh1 (z) = log(z +

94

1 + z2)

z 2 1)

AULA

Variveis Complexas
1
(z) = log
2

1
(z) = log
2

iii) tanh

iv) coth

v) sech 1 (z) = log

vi)

csch 1 (z)

= log

1+z
1z


z+1
z1
!

z + 1 z2
z
z+

z2 1
z
1

Demonstraremos aqui que: tanh

1
(z) = log
2


1+z
.
1z

Demonstrao:
Da definio de funo inversa temos:
tanh(w) = z w = tanh1 (z)
Da definio da funo tanh(w) temos:
tanh(w) =

ew ew
=z
ew + ew

(6.98)

por outro lado, fazendo na equao eqn 6.98 = ew temos:

1
=z
+ 1

= ( +

(6.99)
1

)z

Fazendo o produto do numerador e do denominador da frao da

equao eqn 6.99 por e rearrumando temos:
2 1 = ( 2 + 1)z
(6.100)
2

(1 z) = 1 + z = 0
Resolvendo a equao do segundo grau eqn 6.100 para temos:
r
1+z
=
(6.101)
1z

95

Funes Elementares do Clculo Complexos 2

r

1+z
uma funo multivalorada. Por outro
1z
lado, como = ew equao eqn 6.101 temos:
r
1+z
w
e =
(6.102)
1z
Onde sabemos que

Invertendo a funo exponencial, levando em conta que ew =

ew2k e que w = tanh1 (z) da equao eqn 6.102 temos:
!
r
1+z
w = 2k + ln
1z
!
(6.103)
r
1
+
z
tanh1 (z) = 2k + ln
1z
Vemos ento que a funo tanh1 (z) tem infinitos valores porm,
escolhendo o ramo principal onde tanh1 (0) = 0 temos k = 0 e
usando propriedade da funo logaritmo e na equao eqn 6.103
podemos escrever:

tanh

6.9

1
(z) = log
2

1+z
1z




Derivada das Funes Hiperblicas

As funes hiperblicas estendidas ao campo dos complexos tm

as seguintes derivadas:
i) cosh0 (z) = sinh(z)
ii) sinh0 (z) = cosh(z)
iii) tanh0 (z) = sech 2 (z)
iv) coth0 (z) = csc2 (z)
v) sech 0 (z) = sech (z) tanh(z)

96

AULA

Variveis Complexas

vi) csch 0 (z) = csch (z) coth(z)

Faremos a demonstrao apenas de um tem acima. A saber:
Derivada da Funo Coseno: cosh0 (z) = sinh(z).
PROVA: Usando a definio da funo coseno hiperblico cosh(),
a definio da funo seno hiperblico sinh(), a derivada da funo
exponencial exp() e a regra da cadeia temos:
cosh0 (z) =

d ez + ez
dz
2
ez ez
2
ez ez
=
2
=

(6.104)

= sinh(z) 

6.10

Concluso

Na aula de hoje, vimos que as funes trigonomtricas e as

funes hiperblicas podem ser estendidas de modo intuitivo no
domnio dos nmeros complexos mantendo suas propriedades originais intactas.

97

Funes Elementares do Clculo Complexos 2

RESUMO

No nosso resumo da Aula 06 constam os seguintes tpicos:

Funes Trigonomtricas
As funes trigonomtricas so definidas por:
ez ez
def
sin(z) =
2z
z
def e + e
cos(z) =
2
ez ez
def sin(z)
tan(z) = =
= z
cos(z)
e + ez

z
e + ez
def cos(z)
= z
cot(z) =
sin(z)
e ez
1
2
def
sec(z) = =

z
cos(z) e + ez
2
1
def
= z
csc(z) =
sin(z)
e ez
Propriedades das Funes Trigonomtricas
Algumas propriedades das funes trigonomtricas:

z C, cos2 (z) + sin2 (z) = 1

z C, sec2 (z) tan2 (z) = 1
z C, cot2 (z) csc2 (z) = 1
z C, sin(z) = sin(z)
z C, cos(z) = cos(z)
z C, tan(z) = tan(z)
z, w C, cos(z + w) = cos(z) cos(w) sin(z) sin(w)

98

Variveis Complexas
z, w C, sin(z + w) = sin(z) cos(w) + cos(z) sin(w)

AULA

tan(z) + tan(w)
1 + tan(z) tan(w)


sin(2z)
1
2
1+
z C, cos (z) =
2
2


sin(2z)
1
2
z C, sin (z) =
1
2
2
z, w C, tan(z + w) =

Funes Hiperblicas
As funes hiperblicas so definidas por:
ez ez
2 z
z
def e + e
cosh(z) =
2
ez ez
def sinh(z)
tanh(z) = =
= z
cosh(z)
e + ez
z
e + ez
def cosh(z)
coth(z) =
= z
sinh(z)
e ez
1
2
def
sech (z) = =
z
cosh(z) e + ez
1
2
def
csch (z) =
= z
sinh(z)
e ez
def

sinh(z) =

Propriedades das Funes Hiperblicas

Algumas propriedades das funes hiperblicas:

z C, cosh2 (z) sinh2 (z) = 1

z C, sech 2 (z) + tanh2 (z) = 1
z C, coth2 (z) csch 2 (z) = 1
z C, sinh(z) = sinh(z)
z C, cosh(z) = cosh(z)
z C, tanh(z) = tanh(z)

99

Funes Elementares do Clculo Complexos 2

z, w C, cosh(z + w) = cosh(z) cosh(w) + sinh(z) sinh(w)
z, w C, sinh(z + w) = sinh(z) cosh(w) + cosh(z) sinh(w)
z, w C, tanh(z + w) =

tanh(z) + tanh(w)
1 + tanh(z) tanh(w)

Funes Trigonomtricas Inversas

As funes trigonomtricas inversas definidas por:

1
log(z + 1 z 2 )

1
cos1 (z) = log(z + z 2 1)



1
1 + z
1
tan (z) = log
2
1 z


1
z +
1
cot (z) = log
2
z
!

1
z + 1 z2
1
sec (z) = log

sin1 (z) =

1
csc1 (z) = log

z+

z2 1
z

Funes Hiperblicas Inversas As funes hiperblicas inversas so definidas por:

sinh1 (z) = log(z +

1 + z2)

cosh1 (z) = log(z + z 2 1)



1
1+z
1
tanh (z) = log
2
1z


1
z+1
1
coth (z) = log
2
z1

100

Variveis Complexas

sech 1 (z) = log

z+

csch 1 (z) = log

z+

1 z2
z
z2 1
z

AULA

PRXIMA AULA

Em nossa prxima aula veremos integrao complexa. Definiremos a integrao de linha complexas e veremos como a integrao
de linha complexas se relaciona com a integral de linha real.

ATIVIDADES

Deixamos como atividades as seguintes demonstraes:

ATIV. 6.1. Mostre que

z, w C, cosh(z + w) = cosh(z) cosh(w) + sinh(z) sinh(w) Comentrio: Volte ao texto e reveja com calma e ateno as demonstraes acima, elas lhe serviro de guia.


1
z +
ATIV. 6.2. Mostre que
= log
.
2
z
Comentrio: Volte ao texto e reveja com calma e ateno as
cot1 (z)

demonstraes acima, elas lhe serviro de guia.

LEITURA COMPLEMENTAR

SPIEGEL, Murray R., Variveis Complexas, Coleo Schaum, Editora McGraw-Hill do Brasil, 1973.

101

Funes Elementares do Clculo Complexos 2

SOARES, Mrcio G., Clculo em uma Varivel Complexa, Coleo
Matemtica Universitria, Editora SBM, 2009.
BROWN, James W. and CHURCHILL, Ruel R., Complex Variables and Applications Editora McGraw Hill, 2008.
FERNANDEZ, Ceclia S. e BERNARDES Jr, Nilson C. Introduo
s Funes de uma Varivel Complexa. Editora SBM, 2006.

102