Estudo de algumas funes complexas

de uma varivel complexa:

aspectos algbricos e geomtricos
Ceclia S. Fernandez
Universidade Federal Fluminense
1
o
Colquio da Regio Sudeste
Abril de 2011
Aos meus grandes amores,
Ana Ceclia e Belmira.
Prefcio
Este pequeno texto est baseado nos dois primeiros captulos do livro intitulado
Introduo s Funes de uma Varivel Complexa publicado pela SBM na coleo
Textos Universitrios, de minha autoria e em parceria com o Prof. Nilson Bernardes
Junior. Vrias modicaes foram feitas no texto original para melhor adequ-lo ao
pblico alvo do presente minicurso, que so alunos e professores do ensino mdio.
O objetivo deste minicurso estudar funes complexas em uma varivel num
contexto meramente algbrico e geomtrico, sem levar em considerao qualquer
conceito que envolva a topologia do plano complexo. Vamos apresentar as chamadas
funes elementares, a saber, as funes racionais, as funes polinomiais, a funo
exponencial e as funes trigonomtricas. Apresentaremos a noo de funo inversa
direita para estudarmos as funes logaritmos, j que como veremos todo nmero
complexo no nulo possui uma innidade de logaritmos.
No primeiro captulo deste texto denimos de modo rigoroso os nmeros
complexos e apresentamos suas propriedades aritmticas bsicas. Consideramos
tambm o problema de extrao de razes de nmeros complexos. Introduzimos
os conceitos de exponencial e de logaritmo para nmeros complexos. No segundo
captulo vamos introduzir as chamadas funes elementares e apresentar vrias de
suas propriedades. No terceiro captulo vamos apresentar vrios exerccios sobre os
tpicos anteriormente apresentados. Os exerccios variam muito em seus graus de
diculdade, porm encorajamos o leitor a resolver muitos (ou todos) deles.
Ao terminar, agradeo ao Comit do I Colquio da Regio Sudeste pela
oportunidade de apresentar este minicurso e a Rogrio Trindade pelo excelente
trabalho de digitao.
A autora.
Abril de 2011.
v
Sumrio
Prefcio v
1 Nmeros Complexos 1
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 O corpo dos nmeros complexos . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Conjugado e valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 A forma polar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5 Extrao de razes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6 A exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.7 Logaritmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.8 Potncias complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Funes Complexas 17
2.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Funes de uma varivel complexa . . . . . . . . . . . . . . . . . . . . . . 17
2.3 As funes racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4 A funo exponencial e as funes trigonomtricas . . . . . . . . . . . . . 21
2.5 As funes hiperblicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.6 Funes inversas direita . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.7 Transformaes por funes complexas . . . . . . . . . . . . . . . . . . . 25
3 Exerccios 27
Referncias Bibliogrcas 33
vii
Captulo 1
Nmeros Complexos
1.1 Introduo
Os nmeros complexos surgiram no sculo 16, motivados pelo interesse em se
calcular solues de equaes polinomiais. Por um longo tempo, eles no foram
considerados como nmeros legtimos, mas existentes apenas na imaginao humana.
interessante observar que ainda hoje chamamos o nmero complexo i =

1 de
algarismo imaginrio. O passo decisivo no sentido de formalizar o conceito de
nmero complexo foi a representao geomtrica desses nmeros como pontos do
plano. O primeiro matemtico a ter uma viso clara de tal representao e explor-
la em suas investigaes foi Gauss, conforme ca claro, embora de modo implcito, em
sua dissertao escrita em 1797. Todavia, Gauss exps ao pblico suas idias a esse
respeito de modo explcito apenas em 1831, com o propsito de introduzir os inteiros
Gaussianos. O corpo dos nmeros complexos C foi nalmente denido de modo
rigoroso por Hamilton em 1837.
A famosa frmula de Bh askara (sculo 12)
x =
b

b
2
4ac
2a
para o clculo das solues da equao do 2
o
grau
ax
2
+ bx + c = 0 (a ,= 0),
que na verdade j era conhecida pelos babilnios h quase 2000 anos a.C., nos mostra
que uma tal equao sempre possui solues emC. Um fato notvel sobre os nmeros
complexos que toda equao polinomial no constante com coecientes reais (ou
complexos) possui pelo menos uma soluo emC. Este fato, conhecido como teorema
fundamental da lgebra, foi provado por Gauss em 1797. No apresentaremos aqui
uma demonstrao deste teorema por estar alm do nvel do presente minicurso.
Na Seo 2 denimos de modo rigoroso os nmeros complexos e apresentamos
suas propriedades aritmticas bsicas. Alm disso, denimos o algarismo imaginrio
i e explicamos como a denio formal de nmero complexo se relaciona com a
representao desses nmeros na forma x + yi (x e y reais), que a forma como
normalmente trabalhamos com eles.
1
2 Captulo 1: Nmeros Complexos
Na Seo 3 denimos os conceitos de parte real, parte imaginria, conjugado e valor
absoluto de um nmero complexo. Tambm estabelecemos diversas propriedades
desses conceitos, incluindo a desigualdade triangular.
Na Seo 4 denimos o conceito de argumento e apresentamos a forma polar de
um nmero complexo.
Na Seo 5 consideramos o problema de extrao de razes de nmeros complexos.
Mostramos que todo nmero complexo no nulo possui exatamente n razes n-simas
distintas, para cada n N

, e exibimos uma frmula para o clculo dessas razes.

Mostramos tambm que as solues de uma equao quadrtica em C so dadas pela
frmula quadrtica usual (frmula de Bh askara).
Nas Sees 6 e 7 introduzimos os conceitos de exponencial e de logaritmo para
nmeros complexos, e estabelecemos algumas de suas propriedades.
Na Seo 8 denimos e estudamos as potncias com expoentes complexos.
1.2 O corpo dos nmeros complexos
Denimos o corpo dos nmeros complexos como sendo o conjunto
C = (x, y) : x R e y R,
com as seguintes operaes de adio e multiplicao: se z = (x, y) e w = (a, b)
pertencem a C, ento
z + w = (x + a, y + b) e zw = (xa yb, xb + ya). (1)
Os elementos de C so chamados de nmeros complexos. Denotamos o nmero
complexo (0, 0) simplesmente por 0 e o nmero complexo (1, 0) simplesmente por 1.
Para cada z = (x, y) C, denimos
z = (x, y) e z
1
=
_
x
x
2
+ y
2
,
y
x
2
+ y
2
_
se z ,= 0.
O nmero z
1
tambm denotado por
1
z
ou 1/z.
Proposio 1.1 As seguintes propriedades se vericam para quaisquer z, w, t C :
(a) z + (w + t) = (z + w) + t (associatividade da adio).
(b) z + w = w + z (comutatividade da adio).
(c) 0 + z = z (elemento neutro).
(d) z + (z) = 0 (elemento oposto).
(e) z(wt) = (zw)t (associatividade da multiplicao).
(f) zw = wz (comutatividade da multiplicao).
(g) 1z = z (elemento unidade).
1.2: O corpo dos nmeros complexos 3
(h) zz
1
= 1 se z ,= 0 (elemento inverso).
(i) z(w + t) = zw + zt (distributividade da multiplicao em relao adio).
Demonstrao: Todas as propriedades acima decorrem diretamente das denies
das operaes de adio e multiplicao em C. Por esta razo, provaremos apenas o
item (a) e deixaremos os demais como exerccio.
(a): Se z = (x, y), w = (a, b) e t = (c, d), ento
z + (w + t) = (x, y) + (a + c, b + d) = (x + (a + c), y + (b + d))
= ((x + a) + c, (y + b) + d) = (x + a, y + b) + (c, d)
= (z + w) + t,
onde usamos a associatividade da adio de nmeros reais.
2
Tendo denido as operaes de adio e multiplicao em C, denimos as
operaes de subtrao e diviso da maneira usual: dados z, w C,
z w = z + (w) e
z
w
= zw
1
se w ,= 0.
Alm disso, a potenciao tambm denida da maneira usual:
z
0
= 1, z
n
= z z
. .
n-vezes
e z
n
= z
1
z
1
. .
n-vezes
se z ,= 0 (n 1).
Decorre da Proposio 1 que diversas propriedades das operaes aritmticas
de nmeros reais so vlidas para nmeros complexos. Por exemplo, a soma e o
produto de duas fraes z
1
/w
1
e z
2
/w
2
de nmeros complexos podem ser obtidas
pelas frmulas
z
1
w
1
+
z
2
w
2
=
z
1
w
2
+ z
2
w
1
w
1
w
2
e
z
1
w
1
z
2
w
2
=
z
1
z
2
w
1
w
2
,
exatamente como ocorre no caso real. Destacamos outras propriedades nos exerccios
2 e 3.
Um conjunto no qual esto denidas uma operao de adio e uma operao de
multiplicao satisfazendo as propriedades mencionadas na Proposio 1 chamado
um corpo. Por esta razo que chamamos C de corpo dos nmeros complexos. Isto
tambm explica por que muitas vezes R chamado corpo dos nmeros reais e Q
chamado corpo dos nmeros racionais. A Teoria dos Corpos um ramo da lgebra
Abstrata, e assim est fora do objetivo do presente livro. Aqui, Q, Re Csero os nicos
corpos que ns encontraremos.
O leitor certamente lembra de ter visto no ensino mdio os nmeros complexos
como sendo os nmeros da forma
x + yi,
onde x e y so nmeros reais e i um algarismo imaginrio, que satisfaz estranha
igualdade i
2
= 1. Vejamos como obter tal representao dos nmeros complexos.
Primeiramente, denotamos o nmero complexo (x, 0), com x R, simplesmente por
4 Captulo 1: Nmeros Complexos
x. Note que isto est de pleno acordo com o que j zemos com o elemento neutro 0 e
o elemento unidade 1 (0 = (0, 0) e 1 = (1, 0)). Em outras palavras, fazemos a seguinte
conveno:
x = (x, 0) para todo x R. (2)
Dessa forma, passamos a ver R como um subconjunto de C, ou seja, todo nmero real
considerado um nmero complexo. A princpio, a incluso R C pode gerar uma
certa ambigidade: dados x R e a R, o que entendemos por
x + a e xa ?
A soma e o produto dos nmeros reais x e a ou a soma e o produto dos nmeros
complexos x e a ? A resposta que tanto faz, uma vez que os valores so os mesmos.
De fato,
(x, 0) + (a, 0) = (x + a, 0) = x + a
e
(x, 0)(a, 0) = (xa 0 0, x 0 + 0 a) = (xa, 0) = xa,
por (1) e nossa conveno (2). Agora, note que (0, 1)
2
= (0, 1)(0, 1) = (1, 0) = 1,
ou seja, o nmero 1 possui uma raiz quadrada emC! O nmero complexo (0, 1)
denotado por i e chamado de algarismo imaginrio. Assim, temos a propriedade bsica
do algarismo imaginrio:
i
2
= 1. (3)
Finalmente, dado um nmero complexo qualquer z = (x, y), temos
z = (x, y) = (x, 0) + (0, y) = (x, 0) + (y, 0)(0, 1),
isto ,
z = x + yi. (4)
Logo, o par (x, y) e a expresso x + yi representam o mesmo nmero complexo. A
expresso (4) chamada a forma algbrica de z; essa a forma na qual os nmeros
complexos so usualmente denotados.
Sempre que tomarmos um nmero complexo na forma z = x + yi assumiremos
implicitamente que x e y so nmeros reais.
Observamos que com a forma algbrica no precisamos nos preocupar em
memorizar as denies de z + w e zw dadas em (1). De fato, basta usarmos algumas
das propriedades da adio e da multiplicao em C j apresentadas: se z = x + yi e
w = a + bi so nmeros complexos, ento
z + w = (x + yi) + (a + bi) = x + a + yi + bi = (x + a) + (y + b)i
e
zw = (x + yi)(a + bi) = xa + yia + xbi + ybi
2
= (xa yb) + (xb + ya)i.
1.3: Conjugado e valor absoluto 5
1.3 Conjugado e valor absoluto
Dado um nmero complexo z = x + yi, denimos a parte real e a parte imaginria de
z por
Re z = x e Imz = y,
respectivamente. Quando Re z = 0, dizemos que z imaginrio puro.
Como um nmero complexo z = x + yi o par ordenado (x, y), podemos
represent-lo gracamente como o ponto do plano cartesiano de abscissa x e ordenada
y, ou como o vetor que liga a origem a este ponto (Figura 1). Neste contexto, chamamos
o plano cartesiano de plano complexo, o eixo dos x de eixo real e o eixo dos y de eixo
imaginrio.
Abaixo indicamos as interpretaes grcas da adio e da subtrao de nmeros
complexos.
Denimos o conjugado de um nmero complexo z = x + yi como sendo o nmero
complexo
z = x yi.
Gracamente, z o ponto do plano complexo obtido atravs da reexo de z emrelao
ao eixo real (Figura 3).
Proposio 1.2 As seguintes propriedades se vericam para quaisquer z, w C:
(a) z = z, z w = z w e zw = z w.
(b) z/w = z/w se w ,= 0.
6 Captulo 1: Nmeros Complexos
(c) z + z = 2 Re z e z z = 2i Imz.
(d) z R se e somente se z = z.
(e) z imaginrio puro se e somente se z = z.
Demonstrao: Provaremos apenas que z + w = z + w e deixaremos a
demonstrao das demais propriedades ao leitor. De fato, se z = x + yi e w = a + bi,
ento
z + w = (x + a) + (y + b)i = (x + a) (y + b)i = z + w.
2
Atravs da noo de conjugado, podemos deduzir a expresso do inverso de um
nmero complexo z = x + yi ,= 0 da seguinte maneira:
z
1
=
_
1
x + yi
_
_
x + yi
x + yi
_
=
x yi
x
2
+ y
2
=
x
x
2
+ y
2
+
y
x
2
+ y
2
i.
O valor absoluto (ou mdulo) de um nmero complexo z = x + yi denido por
[z[ =

x
2
+ y
2
.
Gracamente, o nmero real [z[ nos d o comprimento do vetor correspondente a z no
plano complexo (Figura 3). Mais ainda, [z w[ a distncia entre os pontos do plano
que representam z e w.
Proposio 1.3 As seguintes propriedades se vericam para quaisquer z, w C:
(a) Re z [ Re z[ [z[ e Imz [ Imz[ [z[.
(b) [z[
2
= zz, [z[ = [z[ e [zw[ = [z[[w[.
(c) [z/w[ = [z[/[w[ se w ,= 0.
(d) [z + w[ [z[ +[w[.
(e) [z + w[ [[z[ [w[[.
1.3: Conjugado e valor absoluto 7
A desigualdade (d) conhecida como desigualdade triangular.
Demonstrao: Provaremos apenas as duas ltimas propriedades, deixando as
demais para o leitor.
(d): Armamos que
[z + w[
2
= [z[
2
+ 2 Re(zw) +[w[
2
. (5)
Com efeito,
[z + w[
2
= (z + w)(z + w) = (z + w)(z + w)
= zz + zw + wz + ww = zz + zw + zw + ww
= [z[
2
+ 2 Re(zw) +[w[
2
,
onde usamos o item (b) e a Proposio 2. Como
[z[
2
+ 2 Re(zw) +[w[
2
[z[
2
+ 2[zw[ +[w[
2
= [z[
2
+ 2[z[[w[ +[w[
2
= ([z[ +[w[)
2
(pelos itens (a) e (b)), segue de (5) que
[z + w[
2
([z[ +[w[)
2
.
Extraindo as razes quadradas de ambos os lados da desigualdade acima obtemos a
desigualdade desejada.
(e): Pela desigualdade triangular,
[z[ = [(z + w) w[ [z + w[ +[ w[ = [z + w[ +[w[,
donde
[z + w[ [z[ [w[.
Trocando os papis de z e w na desigualdade acima, obtemos
[z + w[ [w[ [z[.
Como [[z[ [w[[ = [z[ [w[ se [z[ [w[ e [[z[ [w[[ = [w[ [z[ se [w[ [z[, vemos
que em qualquer caso, [z + w[ [[z[ [w[[. 2
Se z ,= 0, a Proposio 3(b) implica que
z
1
=
z
[z[
2
(6)
Em particular, z
1
= z se [z[ = 1. A identidade (6) mostra como z e z
1
se
comparam gracamente: z
1
aponta na direo de z e tem valor absoluto 1/[z[ (Figura
4).
8 Captulo 1: Nmeros Complexos
1.4 A forma polar
Consideremos um nmero complexo z = x + yi ,= 0. Seja
0
o ngulo que o eixo
real positivo forma com o vetor correspondente a z no sentido anti-horrio (Figura 5).
Como cos
0
= x/[z[ e sen
0
= y/[z[, temos que
z = [z[(cos
0
+ i sen
0
).
Assim, sempre possvel representar z na forma
z = [z[(cos + i sen ), (7)
onde R. Uma tal representao chamada uma representao polar de z. Se
R satisfaz (7), dizemos que um argumento de z. Assim,
0
um argumento
de z. Entretanto, qualquer da forma
0
+ 2k, com k Z, tambm satisfaz (7).
Em particular, z possui innitos argumentos. Por outro lado, se satisfaz (7) ento
cos = cos
0
e sen = sen
0
, o que implica que =
0
+ 2k para algum k Z.
Assim, o conjunto arg z de todos os argumentos de z dado por
arg z =
0
+ 2k : k Z.
Por exemplo,
1 + i =

2 (cos

4
+ i sen

4
) e 1 + i =

2 (cos
7
4
+ i sen
7
4
)
so representaes polares do nmero 1 + i; note que arg(1 + i) = /4 + 2k : k
Z. O nico argumento de z que pertence ao intervalo (, ] chamado o argumento
principal de z e denotado por Arg z. Por exemplo,
Arg i =

2
, Arg(1 i) =
3
4
e Arg(2) = .
A identidade
z = [z[(cos Arg z + i senArg z) (8)
chamada a forma polar de z.
Sejam
z = [z[(cos + i sen ) e w = [w[(cos + i sen )
representaes polares de dois nmeros complexos no nulos z e w. Vamos agora obter
representaes polares para z
1
e zw. Por (6),
z
1
= [z[
1
[cos() + i sen()]. (9)
1.5: Extrao de razes 9
Alm disso,
zw = [z[[w[(cos + i sen )(cos + i sen )
= [z[[w[[(cos cos sen sen ) + i(cos sen + sen cos )],
donde conclumos que
zw = [z[[w[[cos( +) + i sen( +)]. (10)
Esta igualdade nos d a interpretao grca do produto de dois nmeros complexos:
zw tem valor absoluto [z[[w[ e tem + como um argumento (Figura 6). Denindo
A = a; a A e A + B = a + b; a A e b B (A, B C),
decorre das frmulas (9) e (10) que
arg(z
1
) = arg z e arg(zw) = arg z + arg w. (11)
Porm, no sempre verdade que Arg(z
1
) = Arg z nem que Arg(zw) = Arg z +
Arg w De fato, tome z = 1.Ento, Arg(z
1
) = ,= = Arg z. Tomando agora
z = w = i, temos que Arg(zw) = ,= = Arg z + Arg w. De (9) e (10) obtemos
que
z
n
= [z[
n
[cos(n) + i sen(n)] para todo n Z. (12)
No caso em que [z[ = 1, a igualdade (12) nos diz que
(cos + i sen )
n
= cos(n) + i sen(n). (13)
Esta igualdade conhecida como a frmula de De Moivre.
1.5 Extrao de razes
Dados um nmero complexo w e um nmero natural n 1, dizemos que z C
uma raiz n-sima de w se
z
n
= w.
Se w = 0, claro que z = 0 a nica soluo da equao z
n
= w. Logo, o nmero 0
possui uma nica raiz n-sima que o prprio 0. Veremos a seguir que se w ,= 0 ento
existem exatamente n solues distintas da equao z
n
= w.
10 Captulo 1: Nmeros Complexos
Teorema 1.4 Fixe n N

. Todo nmero complexo no nulo w possui exatamente n razes

n-simas complexas distintas, a saber,
n

[w[
_
cos
_
Arg(w) + 2k
n
_
+ i sen
_
Arg(w) + 2k
n
__
, (14)
onde k = 0, 1, . . . , n 1.
Demonstrao: Para cada k Z, denotemos por z
k
o nmero complexo dado em
(14). Escreva w = [w[(cos + i sen ), onde = Arg w. Ns estamos procurando
todos os nmeros complexos z = [z[(cos + i sen ) para os quais verdade que
z
n
= w.
Pela frmula (12), a equao acima se transforma em
[z[
n
[cos(n) + i sen(n)] = [w[(cos + i sen ),
o que equivale a dizer que
[z[
n
= [w[, cos(n) = cos e sen(n) = sen .
A primeira condio satisfeita precisamente quando [z[ =
n

[w[, enquanto as duas

ltimas so satisfeitas quando n = + 2k com k Z, isto , =
+2k
n
com
k Z. Assim, as razes n-simas de w so os nmeros z
k
para k Z. Fazendo
k = 0, 1, . . . , n 1 obtemos distintas razes n-simas de w. Entretanto, os demais
valores de k nos do apenas repeties das razes z
0
, z
1
, . . . , z
n1
. De fato, tome k Z
arbitrrio. Escreva
k = qn + r com q Z e 0 r < n.
Como
+ 2k
n
=
+ 2(qn + r)
n
=
+ 2r
n
+ 2q,
vemos que z
k
= z
r
z
0
, z
1
, . . . , z
n1
. 2
A raiz n-sima de w obtida fazendo k = 0 em (14) chamada a raiz n-sima principal
de w. A notao
n

w reservada para esta raiz. Note que esta notao coerente com a
notao
n

[w[ que indica a nica raiz real positiva de [w[. Portanto,

n

w =
n

[w[
_
cos
_
Arg w
n
_
+ i sen
_
Arg w
n
__
. (15)
Como a nica raiz n-sima do zero o prprio zero, convencionamos que
n

0 = 0. O
smbolo

w tambm usado em lugar de

2

w.
Observe que todas as n razes n-simas de w possuem o mesmo mdulo, a saber,
n

[w[. Logo, elas so representadas por n pontos sobre a circunferncia com centro
na origem e raio
n

[w[. Alm disso, estes pontos esto igualmente espaados ao

longo desta circunferncia devido relao de seus argumentos. Como exemplo,
consideremos as razes cbicas de 8. Pelo Teorema 4, elas so os nmeros
z
k
= 2
_
cos
2k
3
+ i sen
2k
3
_
para k = 0, 1, 2.
Calculando, obtemos z
0
= 2, z
1
= 1 + i

3 e z
2
= 1 i

3. Temos que z
0
, z
1
e z
2
dividem a circunferncia de centro (0, 0) e raio 2 em trs partes congruentes (Figura 7).
1.6: A exponencial 11
Finalizaremos esta seo vericando que as solues da equao quadrtica
az
2
+ bz + c = 0,
onde a, b, c C e a ,= 0, so dadas pela frmula quadrtica usual, isto , por
z =
b

b
2
4ac
2a
,
onde

b
2
4ac denota, como vimos anteriormente, a raiz quadrada principal do
nmero complexo b
2
4ac. Com efeito, usando a tcnica de completar quadrados,
temos que
az
2
+ bz + c = 0 z
2
+
b
a
z =
c
a
z
2
+
b
a
z + (
b
2a
)
2
=
c
a
+ (
b
2a
)
2
(z +
b
2a
)
2
=
b
2
4ac
4a
2
z +
b
2a
=

b
2
4ac
2a
z =
b

b
2
4ac
2a

Por exemplo, as solues da equao z
2
+ 4z + 5 = 0 so os nmeros complexos 2 + i
e 2 i, j que
z =
4

16 4(1)(5)
2
=
4

4
2
= 2 i.
1.6 A exponencial
Nosso objetivo nesta seo denir a exponencial e
z
de um nmero complexo z e
derivar algumas de suas propriedades.
12 Captulo 1: Nmeros Complexos
Lembremos do Clculo que a expanso em srie de Taylor de e
t
para t real
e
t
= 1 + t +
t
2
2!
+
t
3
3!
+
t
4
4!
+ .
Substituindo t por iy (y R) nesta srie e computando formalmente (sem nos
preocuparmos com qualquer signicado preciso de convergncia), obtemos
e
iy
= 1 + iy
y
2
2!
i
y
3
3!
+
y
4
4!
+
=
_
1
y
2
2!
+
y
4
4!

y
6
6!
+
_
+ i
_
y
y
3
3!
+
y
5
5!

y
7
7!
+
_
.
Essas duas ltimas sries devem novamente nos trazer lembranas do Clculo elas
so as expanses em srie de Taylor de cos y e de sen y, respectivamente. Em outras
palavras, e
iy
= cos y + i sen y parece uma boa interpretao para e
iy
. Alm disso, como
e
s+t
= e
s
e
t
se s, t R, natural esperarmos que e
x+iy
= e
x
e
iy
. Motivados por estas
consideraes, damos a seguinte denio: dado um nmero complexo z = x + yi,
denimos a exponencial de z por
e
z
= e
x
(cos y + i sen y).
A notao expz freqentemente usada em lugar de e
z
. Com z = iy obtemos a frmula
de Euler :
e
iy
= cos y + i sen y.
Como exemplo,
e
i
2
= i, e
1+i
= e e e

i
2
= e

i.
Vemos diretamente da denio que
[e
z
[ = e
Re z
e arg(e
z
) = Imz + 2k : k Z. (16)
Em particular, e
z
,= 0 para todo nmero complexo z. A frmula (12) implica
diretamente que
(e
z
)
n
= e
nz
(17)
para quaisquer z C e n Z. Em particular, (e
z
)
1
= e
z
para todo z C. Se
z = x + yi e w = a + bi so dois nmeros complexos, a frmula (10) nos mostra que
e
z
e
w
= [e
x
(cos y + i sen y)][e
a
(cos b + i sen b)]
= e
x+a
[cos(y + b) + i sen(y + b)] = e
z+w
.
Em outras palavras,
e
z+w
= e
z
e
w
(18)
para todo z, w C.
interessante obsevarmos que, ao contrrio do que acontece no caso real, possvel
termos e
z
= e
w
com z ,= w. Por exemplo, e
0
= e
2i
= 1. A proposio abaixo esclarece
por completo esse fenmeno.
1.7: Logaritmos 13
Proposio 1.5 Para quaisquer z, w C, temos que
e
z
= e
w
se e somente se z = w + 2ki para algum k Z.
Demonstrao: Escreva z = x + yi e w = a + bi com x, y, a, b R. Se e
z
= e
w
, isto ,
e
x
(cos y + i sen y) = e
a
(cos b + i sen b),
ento e
x
= e
a
(donde x = a) e y = b + 2k para algum k Z. Da, z = w + 2ki, como
desejado.
Reciprocamente, se z = w + 2ki com k Z, ento
e
z
= e
w+2ki
= e
w
e
2ki
= e
w
(cos 2k + i sen2k) = e
w
.
2
Na Seo 4 vimos que todo nmero complexo no nulo z tem uma representao
polar z = r(cos + i sen ), onde r = [z[ e um argumento de z. Com a noo de
exponencial esta igualdade pode ser escrita de uma forma mais econmica, a saber,
z = re
i
. (19)
Observemos tambm que as n razes n-simas de um nmero complexo no nulo
w (dadas por (14)) podem ser escritas da seguinte maneira:
n

[w[ e
i
_
Arg(w)+2k
n
_
para k = 0, 1, . . . , n 1.
Em particular, as n razes n-simas do nmero 1 (conhecidas como as razes n-simas da
unidade) so dadas por

k
= e
2ki
n
para k = 0, 1, . . . , n 1.
Notemos tambm que as n razes n-simas de w podem ser obtidas multiplicando-se a
raiz n-sima principal
n

w de w pelas razes n-simas da unidade. De fato,

n

[w[ e
i
_
Arg(w)+2k
n
_
=
k
n

w (k = 0, 1, . . . , n 1).
Por exemplo, se n = 2 ento
0
= 1 e
1
= 1. Logo, as razes quadradas de w so

w e

w.
1.7 Logaritmos
Relembremos que um nmero real s dito o logaritmo natural (ou o logaritmo na
base e) de um nmero real positivo t (em smbolos, s = ln t) quando e
s
= t. Imitando
este conceito, dizemos que um nmero complexo w um logaritmo de um nmero
complexo no nulo z se e
w
= z.
14 Captulo 1: Nmeros Complexos
Existe uma diferena muito importante entre o caso real e o caso complexo.
Enquanto no caso real todo nmero positivo possui um nico logaritmo, veremos
a seguir que todo nmero complexo no nulo possui uma innidade de logaritmos.
Denotamos por log z o conjunto de todos os logaritmos do nmero complexo z ,= 0.
Assim, para todo nmero complexo no nulo z,
log z = w C : e
w
= z. (20)
Vamos agora determinar log z. Se w = ln [z[ + i com arg z, ento e
w
= e
ln [z[
e
i
=
[z[e
i
= z. Por outro lado, suponhamos w log z. Ento e
w
= z, o que equivale a dizer
que
e
Re w
= [e
w
[ = [z[ e Imw = Arg z + 2k para algum k Z,
donde w = ln [z[ + i com arg z. Portanto,
log z = ln [z[ + i : arg z
= ln [z[ + i(Arg z + 2k) : k Z. (21)
Fazendo k = 0 em (21) obtemos o logaritmo principal de z, que denotado por Log z.
Assim,
Log z = ln [z[ + i Arg z. (22)
Por (21) e (22),
log z = Log z + 2ki : k Z. (23)
Notemos que Log x = ln x para todo nmero real positivo x. De agora em diante,
escreveremos Log x em vez de ln x quando x for um nmero real positivo. Como
exemplo, temos que
Log(1) = i, Log(e
2
i) = 2 +

2
i, Log(1 + i) = Log

2 +

4
i.
Denindo
A B = a b : a A e b B e mA = ma : a A
para A, B C e m Z, temos a seguinte
Proposio 1.6 Dados dois nmeros complexos no nulos z
1
e z
2
, temos que:
(a) log(z
1
z
2
) = log z
1
+ log z
2
.
(b) log(z
1
/z
2
) = log z
1
log z
2
.
(c) log(z
m
1
) = mlog z
1
para todo m Z

.
Demonstrao: Provaremos (a) e deixaremos (b) e (c) como exerccio para o leitor.
(a): Tomemos w log z
1
+ log z
2
. Ento, w = w
1
+ w
2
com w
1
log z
1
e w
2
log z
2
.
Da, e
w
= e
w
1
e
w
2
= z
1
z
2
, ou seja, w log(z
1
z
2
). Tomemos agora w log(z
1
z
2
). Ento,
por (21), w = Log [z
1
z
2
[ + i com arg(z
1
z
2
). Por (11), =
1
+
2
com
1
arg z
1
e

2
arg z
2
. Assim, w = (Log [z
1
[ + i
1
) + (Log [z
2
[ + i
2
) log z
1
+ log z
2
.
2
Terminamos esta seo observando que no sempre verdade que Log(z
1
z
2
) =
Log z
1
+Log z
2
, nem que Log(z
1
/z
2
) = Log z
1
Log z
2
e nem que Log(z
m
1
) = mLog z
1
De fato, tome z = w = i. Temos que Log(zw) = Log(z
2
) = i ,= i = 2 Log z =
Log z + Log w. Tomando agora z = i e w = i, temos que Log(
z
w
) = i ,= i =
Log z Log w.
1.8: Potncias complexas 15
1.8 Potncias complexas
Relembremos que se t um nmero real positivo e a um nmero real arbitrrio,
usual denirmos a potncia t
a
pela frmula
t
a
= e
a log t
.
Ao tentarmos imitar esta denio no contexto dos nmeros complexos, como objetivo
de denirmos a potncia z

onde z um nmero complexo no nulo e um

nmero complexo arbitrrio, ns nos deparamos com o seguinte problema: z tem uma
innidade de logaritmos! Qual deles devemos usar? A resposta: todos eles. Mais
precisamente, para cada w log z, o nmero complexo e
w
chamado a -potncia
de z associada ao logaritmo w. Se w = Log z, ento o nmero complexo e
w
chamado
a -potncia principal de z. Para denotarmos esta -potncia especial de z, usaremos
a notao familiar z

. Assim, neste livro, z

denotar exclusivamente a -potncia

principal de z, isto :
z

= e
Log z
. (24)
Como exemplo, temos que
(i)
1
2
= e
1
2
Log(i)
= e
1
2
(
i
2
)
= e
i
4
=

2 i

2
2

Como todo logaritmo de z da forma Log z +2ki com k Z, segue que as -potncias
de z so os nmeros da forma
e
2ki
z

(25)
com k Z. Analisaremos a seguir dois casos que merecem um comentrio especial.
Primeiramente, vejamos o que ocorre quando um nmero inteiro; digamos = n.
Como e
2ki
= 1 para todo k Z, segue de (25) que todas as -potncias de z se
reduzem ao nmero complexo z
n
, a n-sima potncia usual de z denida na Seo 2.
Com efeito,
e
2ki
z

= 1 e
n Log z
= z
n
,
j que n Log z um logaritmo de z
n
(Proposio 6(c)). Vejamos agora o que ocorre
quando = 1/n com n N

. Segue de (25) que o conjunto das -potncias de z

coincide com o conjunto das razes n-simas de z apresentadas no Teorema 4, j que:
e
2ki
z

= exp
_
2ki
n
_
exp
_
Log z
n
_
= exp
_
Log [z[
n
+ i
_
Arg(z) + 2k
n
__
= exp(Log
n

[z[) exp
_
i
_
Arg(z) + 2k
n
__
=
n

[z[ exp
_
i
_
Arg(z) + 2k
n
__
.
Em particular,
z
1
n
=
n

z . (26)
16 Captulo 1: Nmeros Complexos
sempre verdade que z
+
= z

. De fato,
z
+
= e
(+) log z
= e
log z+log z
= e
log z
e
log z
= z

.
Porm, outras regras de exponenciao no so vlidas em geral. Por exemplo, no
sempre verdade que (zw)

= z

e nem que (z

= z

.
Captulo 2
Funes Complexas
2.1 Introduo
Tendo estudado o corpo dos nmeros complexos no Captulo 1, vamos agora iniciar
o estudo das funes complexas de uma varivel complexa, isto , das funes f : A C
cujo domnio A est contido emC. Tais funes constituemo principal objeto de estudo
da Anlise Complexa em uma varivel.
Na Seo 2 relembramos alguns conceitos importantes sobre funes e
introduzimos as funes complexas de uma varivel complexa, assim como algumas
noes bsicas associadas a tais funes.
Nas Sees 3, 4 e 5 apresentamos exemplos importantes de funes complexas
de uma varivel complexa, a saber: as funes racionais, as funes polinomiais, a
funo exponencial, as funes trigonomtricas e as funes hiperblicas. Alm disso,
estabelecemos algumas propriedades destas funes.
Na Seo 6 introduzimos o conceito de funo inversa direita e denimos a funo
raiz quadrada principal e a funo logaritmo principal.
Na Seo 7 vamos apresentar como certas funes complexas de uma varivel
complexa transformam retas, crculos e discos.
2.2 Funes de uma varivel complexa
Comecemos relembrando alguns conceitos bsicos sobre funes. Dados dois
conjuntos A e B, uma funo f de A em B uma regra de correspondncia que associa a
cada elemento a de A um elemento f (a) de B, chamado o valor de f em a. As notaes
f : A B e f : a A f (a) B so usadas para indicar que f uma tal funo. O
conjunto A chamado o domnio de f e o conjunto B chamado o contradomnio de f .
Se S A, denimos a imagem de S por f como sendo o conjunto f (S) = f (a) : a S.
O conjunto f (A) chamado a imagem de f . Quando f (A) = B, dizemos que f
sobrejetiva. Se f (a
1
) ,= f (a
2
) sempre que a
1
,= a
2
(a
1
, a
2
A), dizemos que f injetiva.
Finalmente, f dita ser bijetiva quando injetiva e sobrejetiva.
Se f : A B e g : C D so funes tais que f (A) C, denimos a composta de g
com f como sendo a funo g f : A D dada por
(g f )(a) = g( f (a)) para todo a A.
17
18 Captulo 2: Funes Complexas
Se f : A B bijetiva, ento existe uma nica funo h : B A tal que (h f )(a) = a
para todo a A e ( f h)(b) = b para todo b B. Tal funo h chamada a inversa de
f e denotada por f
1
.
No presente livro estamos interessados em funes f : A C cujo domnio
A um subconjunto de C. Uma tal funo chamada de funo complexa de uma
varivel complexa. Assim, a menos que se diga explicitamente o contrrio, sempre que
considerarmos uma funo f : A C assumiremos implicitamente que A C.
comum denirmos uma funo complexa de uma varivel complexa
simplesmente dando uma expresso explcita dos valores da funo, como, por
exemplo, f (z) = (2z + 1)/(z
2
+ 1) e g(z) = z/Re z. Nesse caso, convencionamos
que o domnio da funo o conjunto de todos os nmeros complexos para os quais
a expresso dada tem sentido. Nos exemplos acima, temos que o domnio de f
Ci, i e o domnio de g z C : Re z ,= 0.
Dadas duas funes f : A C e g : B C e dado um nmero complexo c,
denimos as funes mltiplo c f , soma f + g, diferena f g, produto f g e quociente f /g
por
(c f )(z) = c f (z), ( f g)(z) = f (z) g(z),
( f g)(z) = f (z)g(z) e ( f /g)(z) = f (z)/g(z).
Notemos que o domnio de c f A, os domnios de f g e f g so iguais a A B e o
domnio de f /g o conjunto z A B : g(z) ,= 0. Tambm denimos o conjugado f
e o mdulo [ f [ de f por
f (z) = f (z) e [ f [(z) = [ f (z)[ (z A).
Por exemplo, se f : C C dada por f (z) = z
2
, ento
f (z) = z
2
= z
2
= (x
2
y
2
) 2xyi e [ f [(z) = [z
2
[ = [z[
2
= x
2
+ y
2
,
para todo z = x + yi C.
Muitas vezes conveniente expressarmos uma funo f : A Cem termos de sua
parte real e de sua parte imaginria, isto , representarmos f na forma
f = u + iv,
onde
u(z) = Re[ f (z)] e v(z) = Im[ f (z)] (z A).
Note que u e v so funes reais em A. Se escrevermos z = (x, y) com x, y R,
podemos considerar u e v como funes reais de duas variveis reais:
u(z) = u(x, y) e v(z) = v(x, y).
Por exemplo, se f : C C dada por f (z) = z + 1, ento as partes real e imaginria
de f so u(z) = u(x, y) = x + 1 e v(z) = v(x, y) = y.
Dados uma funo f : A C e um subconjunto S de A, dizemos que f limitada
em S se existe uma constante M > 0 tal que
[ f (z)[ M para todo z S.
Por exemplo, a funo f : C C dada por f (z) = z
2
limitada em z C : [z[ 1,
mas no limitada emC.
2.3: As funes racionais 19
2.3 As funes racionais
Uma funo racional uma funo do tipo
f (z) =
a
0
+ a
1
z + + a
n
z
n
b
0
+ b
1
z + + b
m
z
m
onde os coecientes a
0
, a
1
, . . . , a
n
e b
0
, b
1
, . . . , b
m
so nmeros complexos. O domnio de
f o conjunto de todos os elementos de C nos quais o denominador de f no se anula.
Uma funo racional da forma
f (z) = a
0
+ a
1
z + + a
n
z
n
(1)
chamada uma funo polinomial. Se a
n
,= 0 em (1), dizemos que f uma funo
polinomial de grau n. Observamos que no atribudo grau funo polinomial nula
f (z) = 0.
Vejamos algumas funes racionais especiais:
a) Funes constantes: So as funes da forma
f (z) = c,
onde c uma constante complexa. Se c = 0, temos a funo nula.
b) Translaes: So as funes da forma
f (z) = z + b,
onde b uma constante complexa. Se b = 0, temos a funo identidade.
c) Rotaes: So as funes da forma
f (z) = az,
onde a uma constante complexa de mdulo 1.
d) Homotetias: So as funes da forma
f (z) = az,
onde a uma constante real no nula. Dizemos que f uma dilatao se a > 1 e uma
contrao se 0 < a < 1.
e) Funo inverso: a funo
f (z) = 1/z.
f) Funo n-sima potncia: a funo
f (z) = z
n
,
onde n N

.
Dada uma funo f : A C e dado um nmero z
0
A, dizemos que z
0
um
zero de f (ou uma raiz de f ) se f (z
0
) = 0. Por exemplo, i/2 o nico zero da funo
f (z) = 2z +i e os zeros da funo polinomial g(z) = z
2
+4z +5 so os nmeros 2 i
e 2 + i.
20 Captulo 2: Funes Complexas
Proposio 2.1 Seja f (z) = a
0
+ a
1
z + + a
n
z
n
uma funo polinomial. Se z
0
C uma
raiz de f , ento z z
0
um fator de f , isto , existe uma funo polinomial g tal que
f (z) = (z z
0
)g(z) para todo z C.
Demonstrao: Por hiptese,
f (z
0
) = a
0
+ a
1
z
0
+ + a
n
z
n
0
= 0.
Portanto,
f (z) = f (z) f (z
0
)
= a
1
(z z
0
) + a
2
(z
2
z
2
0
) + + a
n
(z
n
z
n
0
). (2)
Agora,
z
k
z
k
0
= (z z
0
)(z
k1
+ z
k2
z
0
+ + zz
k2
0
+ z
k1
0
)
para todo inteiro k 1. Substituindo estas igualdades em (2) e colocando (z z
0
) em
evidncia, vemos que f (z) = (z z
0
)g(z), onde g a funo polinomial
g(z) = a
1
+ a
2
(z + z
0
) + + a
n
(z
n1
+ z
n2
z
0
+ + zz
n2
0
+ z
n1
0
).
2
Proposio 2.2 Toda funo polinomial de grau n 0 possui no mximo n razes.
Demonstrao: A prova ser feita por induo sobre n. Como toda funo
polinomial de grau zero no possui razes, o resultado obvio para n = 0.
Suponhamos o resultado verdadeiro para um certo n 0 e seja f uma funo
polinomial de grau n + 1. Vamos provar que f possui no mximo n + 1 razes. Se
f no possui razes, nada temos a fazer. Digamos que f possui pelo menos uma raiz e
seja z
0
uma raiz de f . Pela Proposio 1, existe uma funo polinomial g tal que
f (z) = (z z
0
)g(z) para todo z C.
Como f tem grau n +1, temos que g tem grau n. Pela hiptese de induo, g possui no
mximo n razes. Como as razes de f so exatamente z
0
e as razes de g, conclumos
que f possui no mximo n + 1 razes, como desejado. 2
De fato, toda funo polinomial de grau n 1 possui pelo menos uma raiz em C.
Este fato conhecido como o Teorema Fundamental da lgebra e no ser provado
aqui.
2.4: A funo exponencial e as funes trigonomtricas 21
2.4 A funo exponencial e as funes trigonomtricas
A funo exponencial a funo exp : C C dada por
expz = e
z
.
Como [e
z
[ = e
x
para todo z = x + yi C, vemos que
expz ,= 0 para todo z C. (3)
Uma outra propriedade importante da funo exponencial que ela peridica de
perodo 2i, isto ,
exp(z + 2i) = expz para todo z C. (4)
Outras propriedades da funo exponencial so dadas pelas frmulas (17) e (18) do
Captulo 1. Note que a funo exponencial complexa estende a funo exponencial
real.
Para y R, como e
iy
= cos y + i sen y e e
iy
= cos y i sen y, segue que
cos y =
e
iy
+ e
iy
2
e sen y =
e
iy
e
iy
2i

Portanto, natural denirmos a funo cosseno e a funo seno de uma varivel complexa
por
cos z =
e
iz
+ e
iz
2
e sen z =
e
iz
e
iz
2i
(z C).
As quatro outras funes trigonomtricas so denidas em termos das funes cosseno
e seno pelas relaes usuais. Assim,
tg z =
sen z
cos z
e sec z =
1
cos z
(5)
esto denidas para todo z C tal que cos z ,= 0, e
cotg z =
cos z
sen z
e csc z =
1
sen z
(6)
esto denidas para todo z C tal que sen z ,= 0. Note que as funes trigonomtricas
complexas estendem as correspondentes funes reais.
As denies (5) e (6) nos conduzem a perguntar quais so os zeros da funo cos z
e da funo sen z. A resposta dada pela seguinte
Proposio 2.3 Temos que
cos z = 0 se e somente se z = /2 + k com k Z
e
sen z = 0 se e somente se z = k com k Z.
Em particular, os zeros do cosseno e do seno complexos so os zeros do cosseno e do seno reais,
respectivamente.
22 Captulo 2: Funes Complexas
Demonstrao: Comecemos relembrando que o cosseno hiperblico e o seno
hiperblico de um nmero real y so denidos por
cosh y =
e
y
+ e
y
2
e senh y =
e
y
e
y
2
,
respectivamente. Seja z = x + yi C. Ento,
cos z = cos(x + yi) =
e
y+xi
+ e
yxi
2
=
e
y
(cos x + i sen x) + e
y
(cos x i sen x)
2
= (cos x)
_
e
y
+ e
y
2
_
i (sen x)
_
e
y
e
y
2
_
,
ou seja,
cos z = cos(x + yi) = cos x cosh y i sen x senh y. (7)
De modo anlogo obtemos que
sen z = sen(x + yi) = sen x cosh y + i cos x senh y. (8)
Por (7), cos z = 0 se e somente se
cos x cosh y = 0 e sen x senh y = 0. (9)
Como cosh y > 0, a primeira igualdade em (9) vlida exatamente quando cos x = 0,
ou seja, x = /2 + k com k Z. Substituindo este valor de x, vemos que a segunda
igualdade em (9) equivale a senh y = 0, o que ocorre exatamente quando y = 0.
Portanto, cos z = 0 se e somente se z = /2 + k com k Z. O caso da funo
sen z se prova de modo anlogo, usando a frmula (8).
2
A maioria das propriedades vlidas para as funes trigonomtricas reais
permanecem vlidas no caso complexo. Por exemplo, temos a seguinte
Proposio 2.4 Para quaisquer z, w C, temos:
(a) sen
2
z + cos
2
z = 1.
(b) sen(z) = sen z.
(c) cos(z) = cos z.
(d) sen(z + w) = sen z cos w + cos z sen w.
(e) cos(z + w) = cos z cos w sen z sen w.
2.5: As funes hiperblicas 23
Demonstrao: (a): De fato,
cos
2
z + sen
2
z =
_
e
iz
+ e
iz
2
_
2
+
_
e
iz
e
iz
2i
_
2
=
e
2iz
+ 2e
iz
e
iz
+ e
2iz
4

e
2iz
2e
iz
e
iz
+ e
2iz
4
= 1.
Deixamos a demonstrao dos demais itens ao leitor.
2
Entretanto, h diferenas entre o caso real e o caso complexo. Por exemplo, sabemos
que as funes cosseno e seno so limitadas em R. De fato, [ cos t[ 1 e [ sen t[ 1
para todo t R. Contudo, elas no so limitadas emC, pois
[ cos(yi)[ =

e
y
+ e
y
2

=
e
y
+ e
y
2
+ quando y +
e
[ sen(yi)[ =

e
y
e
y
2i

e
y
e
y
2
+ quando y +.
2.5 As funes hiperblicas
Denimos a funo cosseno hiperblico e a funo seno hiperblico de uma varivel
complexa por
cosh z =
e
z
+ e
z
2
e senh z =
e
z
e
z
2
(z C),
respectivamente.
As demais funes hiperblicas so denidas pelas relaes usuais. Assim,
tgh z =
senh z
cosh z
e sech z =
1
cosh z
para todo z C com cosh z ,= 0, e
cotgh z =
cosh z
senh z
e csch z =
1
senh z
para todo z C com senh z ,= 0.
Proposio 2.5 Temos que
cosh z = 0 textse e somente se z = (1/2 + k)i com k Z
e
senh z = 0 se e somente se z = ki com k Z.
24 Captulo 2: Funes Complexas
Demonstrao: Como
cos(iz) =
e
iiz
+ e
iiz
2
=
e
z
+ e
z
2
= cosh z,
segue da Proposio 3 que os zeros de cosh z so os nmeros z tais que iz = (1/2 + k)
com k Z, ou seja, so os nmeros da forma (1/2 + k)i com k Z. O caso da funo
senh z se prova de modo anlogo, usando o fato de que
sen(iz) =
e
iiz
e
iiz
2i
=
e
z
e
z
2i
= i senh z.
2
Vejamos algumas propriedades das funes hiperblicas:
Proposio 2.6 Para quaisquer z, w C, temos:
(a) cosh
2
z senh
2
z = 1.
(b) senh(z) = senh z.
(c) cosh(z) = cosh z.
(d) senh(z + w) = senh z cosh w + cosh z senh w.
(e) cosh(z + w) = cosh z cosh w + senh z senh w.
Deixamos a demonstrao desta proposio ao leitor.
2.6 Funes inversas direita
Dada uma funo f : A C e dado um subconjunto B de f (A), dizemos que uma
funo g : B A uma inversa direita de f em B se
f (g(w)) = w para todo w B;
no caso em que B = f (A), dizemos simplesmente que g uma inversa direita de f .
interessante observar que toda funo f : A C possui pelo menos uma inversa
direita em qualquer B f (A). De fato, as inversas direita de f em B podem ser
facilmente obtidas da seguinte maneira: Para cada w B, escolha qualquer z
w
A tal
que f (z
w
) = w, e dena g(w) = z
w
.
Por exemplo, as funes
g(z) =

z e h(z) =

z (z C)
so inversas direita da funo f : C C dada por f (z) = z
2
. A funo g chamada
funo raiz quadrada principal. Denindo
m(z) =
_
z se z C e Im z 0

z se z C e Im z < 0
2.7: Transformaes por funes complexas 25
obtemos uma outra inversa direita de f . Como o leitor j percebeu, existem inmeras
funes raiz quadrada. Mas geralmente, existem inmeras funes raiz n-sima".
Consideremos agora a funo f : C C dada por f (z) = e
z
. A funo
L(z) = Log z (z C0)
uma inversa direita de f , chamada funo logaritmo principal. Mais geralmente, para
todo k Z, a funo
L
k
(z) = Log z + 2ki (z C0)
uma inversa direita de f . Assim, vemos que tambm existem inmeras funes
logaritmo.
Conclumos esta seo observando que se g uma inversa direita de uma funo
f : A C em um subconjunto B de f (A), ento g injetiva em B. De fato, se
w
1
, w
2
B e g(w
1
) = g(w
2
), ento
w
1
= f (g(w
1
)) = f (g(w
2
)) = w
2
.
2.7 Transformaes por funes complexas
No estudo das funes reais de uma varivel real, considervel nfase dada vi-
sualizao geomtrica das funes atravs de seus grcos. Embora tal visualizao
tenha limitaes, ela nos ajuda a desenvolver nossa intuio e a compreender muitos
conceitos importantes (como os de derivada e integral, por exemplo). J para funes
complexas de uma varivel complexa, os grcos em questo so subconjuntos de
C
2
, que naturalmente identicado ao espao 4-dimensional R
4
. Assim, perdemos
a capacidade de desenhar tais grcos. Todavia, podemos frequentemente melhorar
nossa compreenso de uma dada funo f : A C se analisarmos como f transforma
certas guras geomtricas, como retas, crculos, discos, etc. Vejamos alguns exemplos.
Exemplo 2.7 A funo f (z) = e
z
transforma a reta vertical R = z C : Rez = a no
crculo C = z C : [z[ = e
a
e transforma a reta horizontal S = z C : Imz = b na
semi-reta L = z C : z = re
ib
com r > 0. De fato, como
[ f (z)[ = [e
z
[ = e
Re z
para todo z C,
temos que f (R) C. Para vericarmos que C f (R), xamos w
0
C e resolvemos a
equao w
0
= e
z
para z em termos de w
0
. As solues so
z = Log [w
0
[ + i(Arg w
0
+ 2k) para k Z.
Seja z
0
uma dessas solues. Ento, z
0
R (pois [w
0
[ = e
a
) e w
0
= f (z
0
).
Agora, se z S ento f (z) = e
z
= e
Re z
e
i Imz
= e
Re z
e
ib
L. Logo, f (S) L. Por outro
lado, dado w
0
L, temos que z
0
= Log [w
0
[ + bi S e f (z
0
) = w
0
. Assim, L f (S).
Portanto, f (S) = L, como queramos demonstrar.
26 Captulo 2: Funes Complexas
Exemplo 2.8 A funo f (z) =
1z
1+z
transforma o disco D = z C : [z[ < 1 no semi-
plano H = w C : Rew > 0. Com efeito, se z = x + yi ento
f (z) =
1 z
1 + z
=
1 z
1 + z
1 + z
1 + z
=
1 z + z zz
[1 + z[
2
=
(1 [z[
2
) 2yi
[1 + z[
2

Portanto,
Re f (z) =
1 [z[
2
[1 + z[
2
> 0 se e somente se [z[ < 1.
Logo, f (D) H. Para vericarmos que H f (D), xamos w
0
H e resolvemos a equao
w
0
= (1 z)/(1 + z) para z em termos de w
0
. A soluo z
0
= (1 w
0
)/(1 + w
0
). Por
construo, w
0
= f (z
0
). Como Re w
0
> 0, temos que z
0
D. Isto prova que f (D) = H.
Captulo 3
Exerccios
1. Conclua a demonstrao da Proposio 1.
2. Sejam z e w dois nmeros complexos no nulos. Mostre que:
(a) Se zw = 1, ento w = z
1
e z = w
1
.
(b) (z
1
)
1
= z e (zw)
1
= z
1
w
1
.
3. Sejam z, w C. Mostre que se zw = 0, ento z = 0 ou w = 0.
4. Sejam z
1
, z
2
, w
1
, w
2
C com w
1
,= 0 e w
2
,= 0. Mostre que
z
1
w
1
+
z
2
w
2
=
z
1
w
2
+ z
2
w
1
w
1
w
2
e
z
1
w
1
z
2
w
2
=
z
1
z
2
w
1
w
2

5. Se z = 1 i e w = 4i, expresse os seguintes nmeros complexos na forma x + yi:

(a) 3z + iwz zw
3
.
(b) 2[w[ + (1 i)z +[z
2
[.
(c) (w + z)/(w z).
(d) Im(zw
2
) + 16i Re(zw
1
).
(e) 5i sen(Arg w) + z cos(Arg(3z)).
6. Mostre que se z = x + yi e w = a + bi ,= 0, ento
z
w
=
ax + by
a
2
+ b
2
+
ay bx
a
2
+ b
2
i.
7. Mostre que:
(a) [(2z + 5)(

2 i)[ =

3 [2z + 5[ para todo z C.

(b) (1 + i)
7
= 8(1 + i).
27
28 Captulo 3: Exerccios
(c) (1 + i

3)
10
= 2
11
(1 + i

3).
8. Calcule (1 + i)
12
(1 i)
12
9. Sejam u = 1 + i e v = 1 i. Determine u
52
v
51
10. Determine z C tal que iz + 2z + 1 i = 0
11. Sejam z = a + bi e w = c + di dois nmeros complexos. Que condies devemos
ter sobre a, b, c e d para que z + w e z w sejam ambos nmeros reais?
12. Mostre que a identidade 1 + z + + z
n
= (1 z
n+1
)/(1 z) vale para todo n N
e para todo z C com z ,= 1.
13. Conclua a demonstrao da Proposio 2.
14. Dados dois nmeros complexos no nulos z e w, mostre que [z + w[ = [z[ +[w[ se
e somente se w = tz para algum t > 0.
15. Conclua a demonstrao da Proposio 3.
16. Represente gracamente cada um dos seguintes subconjuntos do plano complexo:
(a) z C : [z 1[ = [z i[.
(b) z C : [z 1[ = Re z.
(c) z C : Im(z
2
) > 0.
(d) z C : Re(1/z) < 1/2.
(e) z C : [z 4[ > [z[.
(f) z C : [ Arg z Arg i[ < /6.
(g) z C : [ Arg(z i)[ < /6.
17. Compute:
(a) As razes quadradas de 1 i

3.
(b) As razes cbicas de 27.
(c) As razes de ordem 4 de 1.
18. Mostre que a igualdade

zw =

z

w no necessariamente verdadeira para z

e w quaisquer em C. Conrme, porm, que esta frmula vlida se z ou w for um
nmero real no negativo.
19. Ache as solues das seguintes equaes:
(a) z
2
4iz 4 2i = 0.
(b) iz
4
(2 + 4i)z
2
i = 0.
29
20. Prove que

2 [z[ [ Re z[ +[ Imz[ para todo z C.

21. Para que nmeros complexos z ,= 0 temos que

z/z = z/[z[ ?
22. Sejam z e w dois nmeros complexos no nulos. Mostre que
Re(zw) = [z[[w[ se e somente se arg w = arg z.
23. Seja c C com [c[ < 1. Mostre que [z + c[ [1 + cz[ se e somente se [z[ 1, com
igualdade ocorrendo se e somente se [z[ = 1.
24. Prove que e
[z[
[e
z
[ e
[z[
para todo z C.
25. Conclua a demonstrao da Proposio 6.
26. Expresse os seguintes nmeros complexos na forma x + yi:
(a) Log(e
3
) + i
i
.
(b) (1)
i
Log(i).
27. Calcule todas as -potncias de z quando:
(a) z = ie

e = i.
(b) z = 1 e = 2 i.
28. D exemplos mostrando que possvel termos:
(a) (zw)

,= z

.
(b) (z

,= z

.
29. Prove que se z
0
C uma raiz de uma funo polinomial f (z) = a
0
+ a
1
z + +
a
n
z
n
com coecientes a
0
, a
1
, . . . , a
n
reais, ento z
0
tambm uma raiz de f .
30. Dada uma funo f : A C e dado um ponto z
0
A, dizemos que z
0
um ponto
xo de f se f (z
0
) = z
0
. Determine todos os pontos xos da funo
f (z) =
z
2
+ 2z
z
2
+ 1

31. Mostre que
[ cos z[
2
= cos
2
x + senh
2
y e [ sen z[
2
= sen
2
x + senh
2
y
para todo z = x + yi C.
32. Mostre que
[ cos z[ [ cos x[ e [ sen z[ [ sen x[
para todo z = x + yi C.
33. Ache todas as razes da equao senh z = i.
34. Sejam A = z C : Re z > 0 e f : A C a funo dada por
f (z) = Log(z
2
+ 1).
30 Captulo 3: Exerccios
(a) Prove que f uma funo injetiva.
(b) Determine sua imagem B = f (A).
(c) Calcule sua inversa f
1
: B A.
35. Determine o domnio de cada uma das seguintes funes:
(a) f (z) = (e
z
+ e
z
)/(z
2
+ z
2
).
(b) g(z) = (z
2
+ 5z)/(e
z
1).
(c) h(z) = Log(e
z
e
z
).
(d) k(z) = (z cos z)/(z
4
+ 3z
2
4).
36. Expresse as partes real e imaginria das seguintes funes como funes das
variveis reais x e y:
(a) f (z) = z
3
+ iz
2
.
(b) g(z) = ze
z
ze
z
.
(c) h(z) = iz
2
2z
2
+ i.
(d) k(z) = z Log z para Re z > 0.
37. Sejam f : A C e g : A C funes. Mostre que se f e g so limitadas em um
subconjunto S de A, ento f + g e f g tambm so limitadas em S.
38. Determine f (S), onde S = z C : 0 < [z[ < r e f (z) = e
1/z
.
39. Considere a funo f (z) = 1/z. Determine a imagem dos seguintes conjuntos por
f :
(a) z C : [z 2[ = 1.
(b) z C : [z 1[ = 1.
(c) z C : Re z > 1.
40. Determine a imagem do tringulo com vrtices em 3 +4i, 3 +4i e 5i pela funo
f (z) = z + 5i.
41. Determine a imagem do conjunto z C : Re z > 0 pelas seguintes funes:
(a) f (z) = 2iz i.
(b) g(z) = i/z 1.
31
42. Conclua a demonstrao da Proposio 4.
43. Mostre que a imagem do disco D = z C : [z[ 1 pela funo f (z) = e
z
est
contida no anel A = w C : 1/e [w[ e.
44. Mostre que a imagem do disco D = z C : [z[ 1 pela funo f (z) = cos z
(resp. f (z) = sen z) est contida no disco D
/
= w C : [w[ (e
2
+ 1)/(2e).
45. Demonstre a Proposio 6.
46. Ache todas as razes das equaes:
(a) cosh z = 1/2.
(b) senh z = 1.
(c) cosh z = 2.
47. Prove que
senh(iz) = i sen z e cosh(iz) = cos z
para todo z C.
48. Determine os pontos xos das seguintes funes:
(a) f (z) = (1 i)z + 2.
(b) g(z) = z + i.
(c) h(z) = ze
z
.
49. Exiba uma inversa direita da funo f : C C dada por f (z) = z
3
.
50. Exiba uma inversa direita g da funo f : C C dada por f (z) = z
4
satisfazendo
g(1) = (

2 + i

2)/2.
Referncias Bibliogrcas
[1] M.P. Carmo, A.C. Morgado e E. Wagner, Trigonometria - Nmeros Complexos, 3
a
edio, Coleo do Professor de Matemtica, SBM, 2005.
[2] C.S. Fernandez e N.C. Bernardes Jr., Introduo s Funes de uma Varivel Complexa,
2
a
edio, Coleo Textos Universitrios, SBM, 2008.
33