N umeros Complexos

Professores Jorge Aragona e Oswaldo R. B. de Oliveira

Captulo 1 - N

UMEROS COMPLEXOS
1 - Sobre a origem dos n umeros complexos.
2 - O corpo dos n umeros complexos, C. O plano de Argand-Gauss.
3 - O corpo C nao e orden avel.
4 - O conjugado e o m odulo de um n umero complexo.
5 - O argumento e a representa c ao polar em C.
A representa c ao geometrica para o produto em C.
6 - Potenciac ao e radicia c ao. Formula de Moivre.
7 - A orienta c ao de um paralelogramo.
Uma interpreta c ao geometrica do produto interno em C.
Captulo 2 - POLIN

OMIOS
1 - Polinomios com Coecientes Complexos
2 - Resolu c ao Elementar de Equac oes por Radicais.
3 - Equac oes Redutveis a Quadraticas.
Apendice - Teorema da Decomposic ao em Fra c oes Simples (ou Parciais).
Captulo 3 - SEQU

ENCIAS, TOPOLOGIA E CONTINUIDADE

1 - Introduc ao.
2 - Axioma do Supremo.
3 - Topologia essencial de C.
4 - Sequencias, Limite de uma Sequencia e Propriedades Operatorias.
5 - Subsequencias e Valor de Aderencia.
6 - Compacidade.
7 - Sequencias de Cauchy.
8 - O limsup e o liminf.
9 - Exemplos Classicos de Sequencias.
10 - Continuidade em C.
11 - Conexidade.
12 - As Func oes Logaritmo e Exponencial Reais.
Apendice 1 - Coment arios Sobre os N umeros e e .
Apendice 2 - Compacidade.
3
Captulo 1
N

UMEROS COMPLEXOS
1.1 - Sobre a Origem dos N umeros Complexos
Os breves coment arios a seguir apoiam-se nas notas do Prof. Cesar Polcino,
A emergencia dos N umeros complexos (15 paginas), cuja leitura e recomendada.
Tais n umeros surgiram naturalmente, ao menos, desde a ocorrencia das equa c oes
do segundo grau nas tabuletas de argila da Sumeria, c. 1700 a.C. Ate sua total
formaliza c ao em 1833 pelo irl andes W. R. Hamilton (1805 1865) foi um arduo
processo.
O fato de um n umero negativo nao ter raz quadrada parece ter sido sempre
conhecido pelos matem aticos que se depararam com a quest ao. Contrariamente
ao bom senso, nao foram as equa c oes do segundo grau que motivaram a aceitac ao
de tal campo numerico mas sim as de terceiro grau. As equa c oes de segundo
grau eram vistas como a formula c ao matem atica de um problema concreto ou
geometrico e se no processo de resolu c ao surgia uma raz quadrada de um n umero
negativo, isto era interpretado como prova de que tal problema nao tinha soluc ao.
Exemplicamos abaixo com um problema na Arithmetica de Diofanto (275 d.C.).
Problema: Determinar os lados de um triangulo retangulo de area igual a 7 e
permetro igual a 12 unidades.
Solu c ao: indicando por x e y os comprimentos dos catetos temos
xy
2
= 7 e x
2
+ y
2
= (12 x y)
2
.
Desenvolvendo a segunda equa c ao temos 12x+12y = 72+xy e nesta pondo y =
14
x
,
4
6x
2
43x + 84 = 0 x =
43

167
12
.
Aqui, Diofanto observa que so poderia haver soluc ao se (
172
2
)
2
>
24
336
. Neste con-
texto e superuo procurar um sentido para a expressao

167.
O primeiro matem atico a perceber a premencia dos n umeros complexos (ainda
que, naturalmente, de modo vago e confuso) foi o italiano R. Bombelli (c. 1526-
1573), autor da obra em tres volumes lAlgebra (1572, Veneza). Na pagina 294
deste Bombelli aplica `a equa c ao x
3
= 15x + 4, a formula de Tartaglia-Cardano
1
para o c alculo das razes, obtendo:
x =
3

2 +

121 +
3

121 .
Notando que x = 4 e uma raz da equa c ao Bombelli cogita que tal valor esta
implcito na expressao para as razes e que e possvel dar um sentido `a expressao
2

121 e denir opera c oes entre expressoes analogas, tais como adi c ao, multi-
plicac ao, radicia c ao, etc. de modo que x = 4 seja apenas um dos valores obtidos
atraves destas. Assim, nasce uma situa c ao em que apesar da presenca de radicais
de n umeros negativos, existe uma soluc ao da equa c ao dada.

E um fenomeno novo,
difcil de entender mas relevante e e necess ario compreende-lo com profundidade.
A partir do trabalho de Bombelli os n umeros complexos comecam a ser utili-
zados como um algoritmo que funciona para resolver equa c oes de terceiro grau
mas, ao mesmo tempo, era claro que tais n umeros nao poderiam existir. Uma
das grandes diculdades em admitir a existencia dos complexos era a ausencia de
uma representa c ao geometrica ou de uma interpreta c ao fsica destes n umeros. A
obten c ao da representa c ao geometrica, que lhes deu a cidadania denitiva na
matem atica foi tambem ardua. Principiou em 1673 com o ingles J. Wallis (1616-
1703) e continuou com os franceses A. de Moivre (1667-1754) e J. DAlembert
(1717-1783), o ingles R. Cotes (1682-1716), o suico L. Euler (1707-1783), etc.
e pode-se dizer que estabelecida pelo noruegues C. Wessel (1745-1818) em 1799,
pelo frances J. R. Argand (1768-1822) em 1806 e o alemao C. F. Gauss (1777-1855)
em 1831, que cunhou a expressao um tanto inapropriada n umeros complexos.
A formaliza c ao completa deve-se, como ja mencionamos a W. Hamilton.
1
Os italianos Nicollo Tartaglia (c. 1500-1557) e G. Cardano (1501-1576).
5
1.2 - O Corpo dos N umeros Complexos. O plano de Argand-Gauss.
No que segue R e o corpo ordenado completo dos n umeros reais com metrica
d R R |0, +} , d(x, y} = |x y| ,
e R
2
= R R e o espaco vetorial real dado pelas opera c oes: se a, b, c, d, R,
adi c ao: (a, b} + (c, d} = (a + c, b + d} ,
multiplicac ao por escalar: (a, b} = (a, b}.
x
y
y
x
> 1
a
b
c
d
a + c
u
b + d
u
u
v
w = u + v
b
b
a a
Figura 1.1: adi c ao e multiplicac ao por escalar real
A opera c ao de adi c ao tem as propriedades: dados (a, b}, (c, d}, (e, f} R
2
,
associativa: (a, b} + |(c, d} + (e, f}| = |(a, b} + (c, d}| + (e, f}
comutativa: (a, b} + (c, d} = (c, d} + (a, b}
existencia do neutro: (a, b} + (0, 0} = (a, b}
existencia do oposto: (a, b} + (a, b} = (0, 0} ;
e a opera c ao multiplicac ao por escalar: dados ,
1
,
2
R e (a, b}, (c, d} R
2
,

1
|
2
(a, b}| = (
1

2
}(a, b} 1.(a, b} = (a, b}
(
1
+
2
}(a, b} =
1
(a, b} +
2
(a, b} |(a, b} +(c, d}| = (a, b} +(c, d}.
6
Com tais opera c oes R
2
e um espaco vetorial real de dimens ao dois.
Deniremos uma multiplicac ao em R
2
adaptada `as regras operatorias espe-
radas para a multiplicac ao de n umeros complexos. Informalmente introduzindo
os n umeros i, i
2
= 1, e a + bi e c + di, com a, b, c, d R, e desejando manter
as propriedades comutativas, associativas e distributivas para os n umeros reais
devemos esperar que
(a + bi}(c + di} = ac + adi + bic + bidi = ac + adi + bci + bdi
2
= (ac bd} + (ad + bc}i .
Desta forma, dados (a, b}, (c, d} R
2
denimos a opera c ao
(a, b} (c, d} = (ac bd, ad + bc} .
1.1 Proposi cao O conjunto R
2
munido das operacoes + e , indicado (R
2
, +, },
e um corpo.
Prova. As propriedades da adi c ao para (R
2
, +, } decorrem das propriedades da
adi c ao para R
2
como um espaco vetorial (enunciadas `a pagina anterior) .
Dados (a, b}, (c, d}, (e, f} R
2
temos, veriquemos as propriedades abaixo
para a opera c ao :
associativa: (a, b} |(c, d} (e, f}| = |(a, b} (c, d}| (e, f}
comutativa: (a, b} (c, d} = (c, d} (a, b}
existencia do ele/o neutro: (a, b} (1, 0} = (a, b}
existencia do ele/o inverso: (a, b} (0, 0}, existe (u, v} R
2
tal que
(a, b} (u, v} = (1, 0}
distributiva: (a, b}|(c, d}+(e, f}| = (a, b}(c, d}+(a, b}(e, f}.
Vericac ao da associatividade:
(a, b} |(c, d} (e, f}| = (a, b} (ce df, cf + de} =
= {a(ce df} b(cf + de}, a(cf + de} + b(ce df})
= (ace adf bcf bde, acf + ade + bce bdf}
= {(ac bd}e (ad + bc}f, (ac bd}f + (ad + bc}e)
= (ac bd, ad + bc} (e, f} = |(a, c} (b, d}| (e, f} .
A propriedade comutativa e a existencia do elemento neutro seguem trivial-
mente da deni c ao da opera c ao .
7
Para vericarmos `a existencia do inverso, resolvamos o sistema linear real nas
variaveis u e v,
au bv = 1 , bu + av = 0 .
Tal sistema tem determinante a
2
+ b
2
0 e soluc ao unica dada por,
u =
1
a
2
+ b
2

1 b
0 a

=
a
a
2
+ b
2
, v =
1
a
2
+ b
2

a 1
b 0

=
b
a
2
+ b
2
.
Por m, veriquemos a propriedade distributiva:
(a, b} |(c, d} + (e, f}| = (a, b} (c + e, d + f} =
= {a(c + e} b(d + f}, a(d + f} + b(c + e})
= {(ac bd} + (ae bf}, (ad + bc} + (af + be})
= (ac bd, ad + bc} + (ae bf, af + be}
= (a, b} (c, d} + (a, b} (e, f}
1.2 Deni cao. (R
2
, +, } e o corpo dos n umeros complexos, indicado por C.
Nos referiremos a C como corpo dos n umeros complexos ou plano complexo.
Por esta construc ao, R
2
e C sao conjuntos iguais e o mesmo espaco vetorial. Ao
enfatizarmos as estruturas de espaco vetorial ou corpo escreveremos R
2
ou C,
respectivamente. Mostramos abaixo que C contem um subcorpo isomorfo a R,
justicando a nota c ao R C.
Consideremos a aplicac ao, evidentemente injetora,
j a R (a, 0} C .

E claro que j preserva as opera c oes de adi c ao e multiplicac ao, isto e, a, b R,

j(a + b} = (a + b, 0} = (a, 0} + (b, 0} = j(a} + j(b} ,

j(ab} = (ab, 0} = (a, 0} (b, 0} = j(a}j(b} .
Assim, j e um isomorsmo de corpos e Im(j} = (a, 0} a R} e subcorpo de C
isomorfo a R (vide Figura 1.2, a seguir).
Por tal isomorsmo nao ha diferenca algebrica entre R e Im(j} e passamos a
identica-los, nao distinguindo entre um n umero real a e j(a} = (a, 0}.
8
x
y
(0, b)
(a, 0)
O
(a, b)
C
Figura 1.2: Eixo x isomorfo a R por j
A multiplicac ao por escalar real herdada de R
2
nao conita com . De fato,
se R e (a, b} R
2
temos,
(a, b} = (a, b} e (a, b} = (, 0} (a, b} = (a 0.b , b + 0.a} = (a, b} .
Doravante, omitimos o smbolo e escrevemos (a, b}(c, d} para (a, b} (c, d}.
O corpo C tem tres elementos distinguidos, a saber,
(0, 0} , (1, 0} , (0, 1} .
Os elementos 0 = (0, 0} e 1 = (1, 0} sao, respectivamente, os elementos neutros
da adi c ao e da multiplic ao em C. O par ordenado (0, 1} satisfaz a identidade
(0, 1}(0, 1} = (0.0 1.1, 0.1 + 1.0} = (1, 0} = 1 e e indicado por i. Logo, temos
i
2
= 1 e portanto C e uma extens ao do corpo R na qual o elemento 1 = (1, 0}
tem raz quadrada i C e escrevemos i =

1. Segue que todo n umero real a

admite raz quadrada complexa. De fato, se a 0 ja o sabemos e se a < 0 temos
(i
_
|a|}
2
= |a| = a. Mais adiante veremos que todo n umero complexo possui m
razes m-esimas em C, m N

, mostrando que o problema da radicia c ao, com

muitas particularidades em R, e simplesmente e completamente sol uvel em C.
Pelas identicac oes acima citadas podemos escrever,
(a, b} = (a, 0} + (0, b} = (a, 0} + b(0, 1} = a + bi .
Com esta nota c ao temos,
(a + ib}(c + id} = ac + adi + bci + bdi
2
= (ac bd} + (ad + bc}i .

E usual indicar um n umero complexo por z, w e pela letra grega (le-se zeta). Se
z = (a, b} = a +ib C, a e a parte real de z e b e a parte imaginaria de z, denotadas
9
por Re(z} e Im(z}, respectivamente, isto e,
z = Re(z} + iIm(z} , z C .
A representa c ao geometrica de z C e igual a de R
2
, seja pelo ponto do plano
cujas coordenadas sao, respectivamente, as partes real e imagin aria de z, dito
axo de z, seja pelo vetor com origem coincidente com a origem do sistema de
coordenadas e extremidade o axo de z.
x
y
0
(0, b)
(0, b)
z = a + ib (a, b)
(a, 0)
z = a ib (a, b)
Figura 1.3: Representa c ao geometrica de z e de z = a ib
O eixo das abscissas, (a, 0} a R}, e dito eixo real e o das ordenadas,
(0, b} b R}, e denominado eixo imaginario. A representa c ao de C como pontos
em R
2
e chamada plano de Argand-Gauss.
1.3 - O corpo C nao e ordenavel.
Intuitivamente, um corpo K e ordenado se existe um subconjunto de K

=
K 0} que pode ser chamado de conjunto dos n umeros positivos de K.
1.3 Deni cao.O corpo (K, +, .} e dito ordenado se houver P K

tal que,
(a) x K, apenas uma das tres condi coes ocorre: ou x = 0 ou x P ou x P;
(b) x, y P temos, x + y P e xy = x. y P.
Indicamos x P por x > 0 e x > y por x y > 0.
10
1.4 Teorema O corpo C n ao pode ser ordenado.
Prova.
Suponhamos que exista um conjunto P, P K

, satisfazendo as condi c oes

(a) e (b) dadas na Deni c ao 1.3.
Se 1 < 0 (isto e, 1 P), por (b) temos (1}(1} = 1 P, contradizendo a
condi c ao (a). Portanto, conclumos 1 > 0.
Se z C

temos: se z P ent ao z.z = z

2
P; por outro lado, se z P ent ao
z P e (z}(z} = z
2
P. Logo, z C

, obtemos z
2
> 0 e, como 1 > 0, por (b)
segue que z
2
+ 1 > 0, z C

, e portanto,
i
2
+ 1 = 0 P
1.4 - O conjugado e o modulo
2
de um n umero complexo.
1.5 Deni cao. O conjugado de z = a + bi C e: z = a bi.
Valem ent ao as relac oes,
Re(z} = Re(z} e Im(z} = Im(z} .
Geometricamente (vide gura 1.3) z e o simetrico de z em relac ao ao eixo real.

E claro que
Re(z} =
z + z
2
e Im(z} =
z z
2i
.
A aplicac ao z C z C, dita conjuga cao, e um automorsmo de corpo que
mantem o corpo R xo.
1.6 Propriedades da conjugacao:
(a) Dados z, w C temos,
z + w = z + w, zw = z w, z = z e , z = z z R .
(b) Dado z C

temos,
_
1
z
_ =
1
z
.
2
O modulo de um n umero complexo foi introduzido por Argand.
11
Prova.
(a) Segue trivialmente da deni c ao de conjugado.
(b) Como z
1
z
= 1, por (a) temos z{
1
z
) = 1 = 1. Logo, z
1
= {
1
z
)
Os n umeros complexos da forma bi, com b R, sao ditos imaginarios puros e
z C e um tal n umero se, e so se, z = z.
1.7 Deni cao. O m odulo de z = a + ib, com a e b reais, e:
|z| =

a
2
+ b
2
=
_
Re(z}
2
+ Im(z}
2
.
Geometricamente, o m odulo de z C e a dist ancia do axo de z `a origem.
1.8 Proposi cao. Sejam z , w C. Valem as propriedades:
(a) | z| = |z| e zz = | z|
2
.
(b) |zw| = |z|| w| e, se z 0, |
1
z
| =
1
z
.
(c) |Re(z}| | z| , |Im(z}| | z| e | z| |Re(z}| + |Im(z}|.
Prova. Seja z + a + bi , a, b R.
(a) Segue imediatamente das identidades
|a + ib| = |a ib| e (a + ib}(a ib} = a
2
+ b
2
= | z|
2
.
(b) Por (a) e pela Proposic ao 1.6(a) temos, |zw|
2
= zwzw = zzww = |z|
2
|w|
2
;
donde segue a primeira armac ao do item (b) e desta armac ao, se z 0,
segue claramente que 1 = |z
1
z
| = | z| |
1
z
| e portanto, |
1
z
| =
1
z
.
(c)

E facil ver que max|a|, |b|}

a
2
+ b
2
| a| + | b|
Doravante indicaremos o m aximo entre dois n umeros a e b por max(a, b}.
1.9 Corolario Seja z C

. Temos,
(a) z
1
=
1
z
=
z
z
2
e |
1
z
| =
1
z
. (b) Se |z| = 1 ent ao z
1
= z.
Prova.
(a) A primeira armac ao segue da Proposic ao 1.8(a) pois, z
z
z
2
= 1. Quanto `a
segunda, pelas Proposic oes 1.8(a) e 1.8(b) temos |
1
z
| = |
1
z
| =
1
z
=
1
z
.
(b Consequencia de (a)
12
Pela identicac ao C R
2
, como espacos vetoriais sobre R, destacamos:
1.10 Proposi cao. A fun cao modulo, | . | C |0, +}, e uma norma sobre C:
(a) | z| = 0 se, e s o se, z = 0.
(b) | z| = | z| , R, z C.
(c) | z + w| | z| + | w| , z, w C (desigualdade triangular).
Prova.
(a) Evidentemente, |z| =
_
Re(z}
2
+ Im(z}
2
= 0 Re(z} = Im(z} = 0.
(b) Um caso particular da proposic ao 1.3(b).
(c) Nao e difcil ver que,
|z + w|
2
= (z + w}(z + w} = zz + zw + wz + ww = |z|
2
+ zw + zw + |w|
2
= |z|
2
+ 2Re(zw} + |w|
2
|z|
2
+ 2|zw| + |w|
2
= |z|
2
+ 2|z||w| + |w|
2
= (|z| + |w|}
2
.
Donde, | z + w| | z| + |w|
1.11 Corolario. |z w| ||z| |w||, z, w C.
Prova.
Pela desigualdade triangular temos | z| = |(z w} + w| |z w| + | w| e ent ao,
|zw| | z|| w|. Analogamente, |wz| |w|| z| e assim, |zw| = |wz| |w|| z|
A Proposic ao 1.10 (c) e seu corolario sao, respectivamente, a primeira e a
segunda desigualdade triangular e expressam as propriedades geometricas:
o comprimento de um dos lados de um triangulo e menor que soma dos
comprimentos dos outros dois lados.
o comprimento de um dos lados de um triangulo e maior que o modulo da
diferenca dos outros dois lados.
13
1.5 - O argumento e a representa cao polar de um n umero complexo.
A interpreta cao geometrica para o produto em C.
Neste captulo utilizamos de forma intuitiva conceitos geometricos e trigo-
nometricos para a apresenta c ao do argumento de um n umero em C. No Captulo
5, Series Absolutamente Convergentes e Somas Nao Ordenadas, provaremos a existencia
das func oes trigonometricas (e as Formulas de Moivre e de Euler).
Um n umero z C

, z = a + ib, tem axo (a, b} R

2
que projetado sobre o
crculo unitario S
1
= (x, y} R
2
x
2
+ y
2
= 1} determina um unico |0, 2} tal
que (vide gura 1.4)
z
| z|
= _
a

a
2
+ b
2
,
b

a
2
+ b
2
_ = (cos , sin} .
1
1
(cos , sin)
x
y
z

0 < 2; z > 1
z = z(cos + i sin)
Figura 1.4: O argumento de z
Notemos que corresponde `a medida em radianos do angulo determinado pelo
semi-eixo positivo dos x

s, R
+
0}, e o segmento de reta unindo a origem O ao
axo de z, medido a partir do semi-eixo e no sentido anti-hor ario. Claramente,

z = | z|
z
z
= | z|(cos + i sin} = | z|cos + i| z| sin ,
a = Re(z} = | z| cos , b = Im(z} = | z| sin .
Todo n umero = + 2k, k Z, satisfaz z = | z| cos + i| z| sin e e dito um
argumento, ou amplitude, de z e e indicado por arg(z}. Inversamente, para
arbitr ario satisfazendo z = | z| cos + i| z| sin temos cos = cos , sin = sin e
cos(} = cos cos +sinsin = cos
2
+sin
2
= 1. Portanto, vale a identidade
= 2k , para algum k Z.
14
1.12 Deni cao. Seja z C

.
O par (| z| , arg(z}} e uma representa cao (ou forma) polar de z.
O argumento principal de z, Arg(z}, e o unico argumento de z em (, |.
Observa coes:
(a) Se z tem forma polar (r, } escrevemos z = (r, }
o
.
(b) Por convenc ao e praticidade a forma polar de z = 0 e (0, }
o
, com R e
arbitr ario.
(c) A escolha da func ao argumento principal varia segundo as conveniencias e
autores. Em outros textos e utilizado o domnio |, } ou |0, 2}.
Abaixo mostramos que a forma polar simplica a efetua c ao do produto de
n umeros complexos e permite uma representa c ao geometrica de tal c alculo.
1.13 Proposi cao. Sejam z
i
= (r
i
,
i
}
o
, i = 1, 2. Entao,
(a) z
1
z
2
= (r
1
r
2
,
1
+
2
}
o
.
(b) z
1
= (r
1
,
1
}
o
.
(c) Se z
1
0,
1
z
1
= (
1
r
1
,
1
}
o
.
Prova. Vide tambem Figura 1.5, a seguir, e coment ario.
(a) Temos,
z
1
z
2
= r
1
(cos
1
+ i sin
1
} r
2
(cos
2
+ i sin
2
} =
= r
1
r
2
(cos
1
cos
2
sin
1
sin
2
} + i(cos
1
sin
2
+ sin
1
sin
2
}
= r
1
r
2
cos(
1
+
2
} + i sin(
1
+
2
}.
(b) Como z
1
= r
1
(cos
1
+ i sin
1
} ent ao,
z
1
= r
1
(cos
1
i sin
1
} = r
1
|cos(
1
} + i sin(
1
}| .
(c) Pelas Proposic oes 1.8 (a) e 1.13 (b) temos,
1
z
1
=
z
1
z
1
z
1
=
r
1
cos(
1
} + ir
1
sin(
1
}
r
2
1
=
1
r
1
cos(
1
} + i sin(
1
}
15
z
1
> 1 , z
2
> 1
0 < argz
1
, argz
2
<

2
0 < argz
1
+ argz
2
<

2
z
1
z
2
z
1
z
2

1
+
2

2
Figura 1.5: Representa c ao geometrica do produto em C
Comentario: o vetor z
1
e obtido aplicando ao vetor z
2
, ambos representados
com extremidade inicial a origem, uma rota c ao de angulo
1
e uma homotetia de
raz ao r
1
, nao importando a ordem em que efetuamos estas opera c oes.
1.6 - Potenciacao e Radiciacao em C. Formula de Moivre
1.14 Deni cao. Se z C

e m Z, a potencia m-esima de z, denotada z

m
, e
denida por:
(a) z
0
= 1 e z
m+1
= z
m
.z, se m N (b) z
m
= (z
1
}
m
, se m Z e m < 0.
Convencionamos 0
m
= 0, se m N

. Valem as regras operatorias usuais para

potencias de expoentes inteiros e base complexas.
1.15 Proposi cao. Sejam z, w C

e m, n Z. Entao,
(a) z
m
z
n
= z
m+n
(b) (zw}
m
= z
m
w
n
(c) (z
m
}
n
= z
mn
(d) z
m
=
1
z
m
(e)
z
m
z
n
= z
mn
(f ) {
z
w
)
m
=
z
m
w
m
.
Prova.
Segue, por indu c ao, da Deni c ao 1.14 e a deixamos ao leitor
A seguir, mostramos que com a representa c ao polar simplicamos e interpre-
tamos geometricamente a opera c ao potenciac ao, o que nos permitir a descrever
completamente as razes m-esimas, m N, de um n umero complexo arbitr ario.
16
1.16 Proposi cao (Formula de Moivre). Temos,
z = (r, }
o
C

z
m
= (r
m
, m}
o
, m Z.
Isto e,
(r cos + ir sin}
m
= r
m
(cos m + i sinm} .
Prova. Analizemos os casos m = 0, m > 0 e m < 0, nesta ordem.
(m = 0) Trivial pois z
0
= 1 = 1(cos 0 + i sin0} = r
0
(cos 0 + i sin0}.
(m > 0) Segue, por indu c ao, da Proposic ao 1.13.
(m < 0) Pela Proposic ao 1.15(d) temos z
m
=
1
z
m
e, pelo caso anterior, temos
z
m
= (r
m
, m}
o
. Consequentemente, pela Proposic ao 1.13(b) segue
1
z
m
= (
1
r
m
, m}
o
= (r
m
, m}
o

1.17 Teorema. Se z C

, com forma polar (r, }

o
, e m N

, ent ao z tem
exatamente as distintas m razes m-esimas:
m

r _cos(

m
+
2k
m
} + i sin(

m
+
2k
m
}_ , k = 0, 1, ..., m 1 .
Prova.
Inicialmente notemos que pela formula de Moivre temos, para qualquer k

Z,

r {cos(

m
+
2k

m
} + i sin(

m
+
2k

m
})
m
=
= r {cos m(

m
+
2k

m
} + i sinm(

m
+
2k

m
}) =
= r (cos( + 2k

} + i sin( + 2k

}} = r(cos + i sin} = z .
Ainda, se w = (, }
o
, e raz m-esima de z ent ao (r, }
o
= z = w
m
= (
m
, m}
o
.
Logo,
m
= r e m = 2k

, para algum k

Z. Isto e, (, } = (
m

r ,

m
+
2k

m
}.
Escrevendo k

= pm+ k, com p Z e k = 0, 1, ..., m 1 obtemos,

=

m
+
2k

m
=

m
+
2pm + 2k
m
= (

m
+
2k
m
} + 2p ;
logo,

m
+
2k
m
= arg(w} e w tem a forma no enunciado. Por m, os n umeros
descritos no enunciado sao distintos: de fato, dados dois deles com argumentos
distintos, a diferenca dos argumentos e
2(k
1
k
2
)
m
(onde k
1
, k
2
0, 1, ..., m 1}),
que nao pertence a 2Z pois
k
1
k
2
m
nao e inteiro ja que 0 <
k
1
k
2

m

m1
m
< 1
17
Exemplos: Vide tambem gura 1.6 que segue.
(a) As razes c ubicas de i tem forma polar (1,

2
3
+
2k
3
}
o
, k = 0, 1, 2.
(b) As razes sextas de 1 tem forma polar (1,
2k
6
} = (1,
k
3
}
o
, 0 k 5.
(c) Os axos das m razes de z 0 formam um polnogono regular.
0
0
1
1
i
1
1
y
x
y
x

3
2
+ i
1
2

3
2
+ i
1
2
i
1
2
+ i

3
2

1
2
+ i

3
2

1
2
i

3
2
1
2
i

3
2
Figura 1.6: Representa c ao geometrica das razes nos exemplos (a) e (b)
1.7 -

Area orientada de um paralelogramo. O produto interno em C.
Nesta sec ao,

u denota um vetor
3
em R
2
. Dado (a, b} no plano cartesiano,
indicamos o vetor representado pelo segmento com extremidade inicial a origem
deste plano e nal (a, b} por a, b.
Dois vetores

u = a, b e

v = c, d, nao paralelos e em R
2
, determinam
um paralelogramo que supomos, inicialmente, no primeiro quadrante. Seja

w =

u +

v = a + b, c + d. Consideremos a representa c ao de [numa segunda
e ultima representa c ao as posic oes de

u e

v sao trocadas],
Considerendo os pontos P
i
, 1 i 7, a area delimitada por , A(}, e dada
por,
A(} = A(OP
2
P
3
P
4
} A(OP
1
P
7
} A(P
1
P
2
P
3
P
7
} A(P
3
P
4
P
5
P
6
} A(P
5
OP
6
},
A(P
1
P
2
P
3
P
7
} =
(b + b + d)c
2
= bc +
cd
2
, A(P
3
P
4
P
5
P
6
} =
(c + a + c)b
2
= bc +
ab
2
,
A(OP
2
P
3
P
4
} = (a + c}(b + d} = ab + ad + bc + cd,
A(OP
1
P
7
} =
ab
2
e A(P
5
OP
6
} =
cd
2
.
Logo,
A(} = ab + ad + bc + cd
ab
2
bc
cd
2
bc
ab
2

cd
2
= adbc = D =

a c
b d

.
3
O uso de uma echa para indicar um vetor,

u , se deve a Argand.
18
O
x
y
c P
1
P
2
= (a + c, 0}
P
7
= (a, b)
P
3
= (a + c, b + d)
P
6
= (c, d)
P
4
= (0, b + d}
P
5
= (0, d}
Figura 1.7: Determinante/

Area
A seguir, associamos uma area ou ao determinante D se seu valor (tambem
dito determinante) e positivo ou a D

, obtido trocando as colunas de D uma pela

outra, se D e negativo.
1.18 Deni cao. O angulo entre dois segmentos AB e AC no plano e o menor
angulo , 0 , unindo B e C.
1.19 Deni cao. O angulo entre dois vetores

u ,

v R
2
e o angulo entre dois
segmentos AB e AC, representantes de

u e

v , respectivamente. Fixas tais
representa coes, o (menor) angulo entre

u e

v , orientado de

u para

v , e o angulo
entre AB e AC, orientado de B para C.
Mantendo a nota c ao acima temos ent ao o importante resultado abaixo.
1.20 Proposi cao. Se

u R
2
corresponde `a 1 coluna de um determinante 22,

v R
2
`a 2 coluna deste determinante, com

u e

v n ao paralelos, e , o menor
angulo entre

u e

v , orientado de

u para

v , tem sentido anti-horario ent ao,
D =

a c
b d

= ad bc > 0 .
Caso contrario, se a orienta cao de e no sentido hor ario, temos ad bc < 0.
Prova. Lembremos que medimos angulos emR
2
no sentido anti-hor ario e a partir
do eixo Ox. Suponhamos, primeiro, que esteja orientado no senti anti-hor ario.
19
No que segue consideramos os representantes de

u e

v com extremidade
inicial na origem:

u =

OA e

v =

OB. Se e o angulo de Ox a

u e o angulo
de Ox a

v , a, c 0, temos tan =
b
a
e tan = tan
d
c
.
Caso 1:

u no primeiro quadrante.
(1a) Para

v no primeiro quadrante temos (vide gura anterior),
0 < tan =
b
a
<
d
c
= tan , bc < ad , ad bc > 0 ,
onde na segunda armac ao utilizamos ac > 0.
(1b) Para

v no segundo quadrante temos c < 0, d > 0, ac < 0 e,
tan =
d
c
< 0 <
b
a
= tan , ad > bc .
(1c) Para

v no terceiro quadrante, com 0 < < , temos c < 0, d < 0, ac < 0
e observando o valor da tangente no crculo trigonometrico (fa ca um esboco),
0 < tan =
d
c
<
b
a
= tan , ad > bc .
Caso 2:

u no segundo quadrante logo, a < 0 e b > 0.
(2a) Para

v no segundo quadrante temos, c < 0, d > 0, ac > 0 e (fa ca um
esboco),
tan =
b
a
<
d
c
= tan < 0 , bc < ad .
(2b) Para

v no terceiro quadrante ent ao c < 0, d < 0, ac > 0 e,
tan =
b
a
< 0 <
d
c
= tan , bc < ad .
(2c) Para

v no quarto quadrante, com 0 < < , temos c > 0, d > 0, ac < 0
e observando o valor da tangente no crculo trigonometrico (fa ca um esboco),
tan =
d
c
<
b
a
= tan < 0 , ad > bc .
Casos 3 e 4: Para

u no 3 [4 ] quadrante, os sub-casos com

v no 3 , 4 e
1 [4 , 1 e 2 ] quadrantes sao analogos a (1a), (1b) e (1c) [(2a), (2b) e (2c)],
respectivamente.
Po m, se tem o sentido hor ario, trocando as colunas de D recamos na
suposic ao anterior e obtemos um determinante D

> 0. Logo, D = D

< 0
20
1.21 Deni cao. O par ordenado de vetores

u ,

v } e positivamente (negativa-
mente) orientado se o menor angulo entre eles, orientado de

u para

v , tem
sentido anti-horario (hor ario).
1.22 Deni cao. O paralelogramo determinado pelo par ordenado

u ,

v } e po-
sitivamente orientado ou negativamente orientado segundo a orienta cao do par (or-
denado)

u ,

v }.
1.23 Corolario. Na Proposicao 1.20, se tem sentido anti-horario [hor ario]
ent ao D e a area [o oposto da area] do paralelogramo positivamente [negativa-
mente] orientado determinado pelo par ordenado

u ,

v }.
Prova.

E deixada ao leitor
1.24 Corolario. Sejam z
j
= x
j
+ iy
j
C, j = 1, 2, e o menor angulo do vetor
x
1
, y
1
para o vetor x
2
, y
2
. Entao temos,
D =

x
1
x
2
y
1
y
2

= | z
1
| | z
2
| sen ;
convencionando que o sinal adotado acima e positivo se tem sentido anti-horario
e negativo caso contrario.
Prova. Pela Proposic ao 1.20 e Corol ario 1.23, o valor absoluto de D e a area do
paralelogramo determinado pelo par ordenado x
1
, y
1
, x
2
, y
2
}. Por geometria
elementar tal area e l
1
l
2
sin, sendo l
j
= | x
j
, y
j
| = |z
j
|, j = 1, 2. Isto e, temos
|D| = |z
1
| |z
2
| sin; donde, a tese
Solicitamos ao leitor vericar que C e um espaco vetorial sobre C. Isto e, C
e um espaco vetorial complexo. Mostremos que analogamente ao espaco vetorial
R
2
temos o importante resultado abaixo.
21
1.25 Proposi cao. A fun cao C C (z, w} (z| w} = zw C satisfaz, para
z

s, w

s e em C,
(a) (z
1
+ z
2
| w} = (z
1
| w} + (z
2
| w} e (z|, w} = (z| w} [linearidade na 1
vari avel].
(b) (z| w
1
+ w
2
} = (z| w
1
} + (z| w
2
} e (z|w} = (z|w} [linear-conjugada na
2 vari avel].
(c) (z| w} = (w| z} [hermitiana simetrica ou conjugada-simetrica].
(d) (z| z} 0, z C [positiva] e (z| z} = 0 z = 0 [denida].
Prova. Segue, e claro, das propriedades da adi c ao, multiplicac ao e conjugac ao
A func ao acima e o produto interno can onico em C ou produto interno her-
mitiano. Abaixo, expressamos o produto interno de dois n umeros complexos em
termos de suas coordenadas cartesianas e tambem utilizando suas representa c oes
polares.
1.26 Proposi cao. Sejam z
j
= x
j
+ iy
j
= (| z
j
|,
j
}
o
, x
j
, y
j
,
j
R, j = 1, 2. Temos,
(z
1
|z
2
} = z
1
z
2
= (x
1
x
2
+y
1
y
2
} i

x
1
x
2
y
1
y
2

= | z
1
| | z
2
| cos(
1

2
} +i| z
1
| | z
2
| sen(
1

2
} .
Prova. Trivial pois z
2
= (| z
2
|,
2
}
o
e z
1
z
2
= (|z
1
| |z
2
| ,
1

2
}
o

Na gura que segue representamos z
1
, z
2
e os angulos envolvidos.
1 1

1

2

1
x
y
z
2
z
1
C
Figura 1.8:
1

2
= arg{ (z
1
|z
2
})
22
Corolario 1.27 Se z
j
= x
j
+ iy
j
C, j = 1, 2, e = arg(z
1
} arg(z
2
} ent ao,

x
1
x
2
y
1
y
2

= | z
1
| | z
2
| sin.
Prova: Como arg(z
j
} =
j
+ 2k
j
, k
j
Z, segue que sin = sin(
1

2
}
1.28 Corolario. Mantendo a notacao, seja o menor angulo entre x
1
, y
1
e
x
2
, y
2
, orientado de x
1
, y
1
para x
2
, y
2
[notemos,
1

2
|2, 2|]. Temos,
(a)
1

2
|0, | =
1

2
(b)
1

2
|, 2| = 2 (
1

2
}.
(c)
1

2
|, 0| = (
1

2
} (d)
1

2
|2, | = 2+(
1

2
}.
Prova. Elementar e a deixamos ao leitor como exerccio
Comentarios: vide tambem Figura 1.8.
Quanto ao Corol ario 1.28, sugerimos vericar: Nos casos (b) e (c), tem
sentido anti-hor ario, com = arg z
1
arg z
2
para determinados argz
1
e
argz
2
; ainda, sin(
1

2
} = sin. Nos casos (a) e (d), tem sentido hor ario,
= argz
1
argz
2
, para determinados argz
1
e argz
2
, e sin(
1

2
} = sin.
Pelo Corol ario 1.24 e Proposic ao 1.26, se

u = x
1
, y
1
e

v = x
2
, y
2
corres-
pondem a z
1
e z
2
, respectivamente, e

u

v indica o produto interno em R

2
de

u por

v temos,

Re (z
1
|z
2
} =

u

v = comprimento da projec ao de

u sobre

v
Im(z
1
|z
2
} = (area do paralelogramo determinado pelo par

u ,

v }} ,
o sinal + ou segundo

u ,

v } e positivamente
ou negativamente orientado .
23
EXERC

ICIOS - CAP

ITULO 1
1. (F ormula Binomial) Mostre que dados z, w C ent ao
(z + w}
n
=
p=n

p=0
_
n
p
_z
p
w
np
, n N 0} .
Sugestao: Por indu c ao. Lembrete: {
n
p
) =
n!
p! (np)!
e {
n
p
) = {
n
np
), p = 0, 1, ..., n.
2. Escreva na forma bin omica (z = x+iy , com x, y R) os n umeros complexos:
(a} (4i}+i (6+3i}i (b}
5
3 + 4i
(c}
3 i
4 + 5i
.
(d} (1+2i}
3
(e} (3+2i}(1 4i} (f} _
2 + i
3 2i
_
2
(g} (4 i}(1 4i} (h} (7+4i}(23i}+(6i

2}(

2+i

5} .
3. Se z = x + iy (x, y R}, determine as partes real e imagin aria de:
(a} z
4
(b}
1
z
(c}
z 1
z + 1
(d}
1
z
2
.
4. Mostre que [
1i

3
2
)
3
= 1 e [
1i

3
2
)
6
= 1.
5. Seja M
2
(R} o anel das matrizes quadradas de ordem 2 com coecientes
reais, munido das opera c oes usuais de adi c ao e multiplicac ao.
Considere M=

a b
b a

M
2
(R} com a, b R

. Mostre que a func ao

a + ib = z C

a b
b a

K
e isomorsmo de corpos. Isto e, e bijetora
(z + w} = (z} + (w} (zw} = (z}(w} .
Dizemos que e uma bije c ao que preserva adi c ao e multiplicac ao.
6. Compute |z| nos seguintes casos:
(a} z = 2i(3 + i}(2 + 4i}(1 + i} (b} z =
(3 + 4i}(1 + 2i}
(1 i}(3 i}
.
24
7. Dados z, w C mostre que:
(a) |z + w|
2
= |z|
2
+ |w|
2
+ 2Re(zw}
(b) |z w|
2
= |z|
2
+ |w|
2
2Re(zw}
(c) |z + w|
2
+ |z w|
2
= 2(|z|
2
+ |w|
2
} (lei do paralelogramo)
Sugestao: |z w|
2
= (z w}(z w} = (z w}(z w} = ... etc.
8. (A desigualdade de Cauchy) Dadas duas sequencias de n n umeros complexos
(z
k
}
1kn
e (w
k
}
1kn
, prove:
|
n

k=1
z
k
w
k
|
2
[
n

k=1
|z
k
|
2
)[
n

k=1
|w
k
|
2
) .
Sugestao: Faca primeiro o caso n = 2 (o caso n = 1 e trivial).
9. (A desigualdade de Cauchy) Dadas duas sequencias de m n umeros complexos
(a
k
}
1kn
e (b
k
}
1kn
, prove a desigualdade
[
n

k=1
|a
k
b
k
| )
2
[
n

k=1
|a
k
|
2
)[
n

k=1
|b
k
|
2
) .
Sugestao: Aplique o Exerccio 8 com z
k
= |a
k
| e w
k
= |b
k
|, 1 k n.
10. Calcule i
2
, i
3
, i
4
, i
5
. Mostre que se m N

e q e r sao o quociente e o resto

da divisao inteira de m por 4 (isto e, m = 4q + r, 0 r 3), ent ao i
m
= i
r
.
Compute tambem:
(a} i
20
(b} i
1041
(c} i
72
(d} (1+i}
12
(e} 1+i+i
2
+...+i
2011
.
11. Determine z sabendo que |z| = |1 z| = |
1
z
|.
12. Desenhe a regiao do plano determinada por
(a} _
z + 1
z 1
_ 1 (b} Re _
z + 1
z 1
_ = 0 (c} |z +1| = 2|z| .
13. Se z =
1
2
+ i

3
2
calcule:
(a} z
6
(b} 1 +z +z
2
+... +z
47
.
25
14. Determine e represente gracamente:
(a) as razes quadradas de 1.
(b) as razes c ubicas de 1.
(c) as razes quartas de 1.
15. Ache todos os valores de:
(a} (2+2i}
32
(b} (1+i

3}
13
(c} (1}
34
.
16. Sob que condi c oes se tem |z + w| = |z w|? Interprete geometricamente.
17. Sendo m Z, que valores pode ter i
m
+ i
m
?
18. Determine os valores m aximo e mnimo de:
(a} |
z i
z + i
| , onde |z| = 3 (b} |z +i| , onde |z 2| = 1 .
19. Sejam z, w C tais que |z| = 1 ou |w| = 1. Mostere que |
zw
1zw
| = 1.
20. Determine os valores a R tais que
a+i
1+ai
R.
21. Determine os valores R tais que
2+i
1+i
e imagin ario puro.
22. Mostre que |z| = 1 se e so se
1
z
= z.
23. Se z +
1
z
= 1, calcule |z|.
24. Sendo a R, determine |
1ai
1+ai
|.
25. Prove e interprete geometricamente a chamada Lei do Paralelogramo:
|z + w|
2
+ |z w|
2
= 2(|z|
2
+ |w|
2
, z , w C .
26
26. Desenhe a regiao do plano determinado pelas relac oes:
(a} Re(z} = 1 (b} Im(z} = 1 (c} 1 Im(z} < 3 .
(d} 1 < Re(z} 2 (e} Re(z} = Im(z} (f} Re(z
2
} = 1 .
27. (a) Mostre que
1
z
=
z
z
2
, z C

.
(b) Utilize (a) e a observac ao w R w = w para desenhar o conjunto,
_z C z +
1
z
R _.
28. Dados z
1
, z
2
C, z
1
z
2
e a R

+
, desenhe os subconjuntos:
(a) z |z z
1
| + |z z
2
| = 2a} , com a condi c ao 2a > |z
1
z
2
|.
(b) z |z z
1
| |z z
2
| = 2a} , com a condi c ao 2a < |z
1
z
2
|.
(c) z |z z
1
| = a}.
29. Dado z
1
C R, desenhe o conjunto P = z C |
zz
1

Im(z)
= 1_ .
30. Dados z
1
e z
2
e a como no Exerccio 28 considere o conjunto
X = z C | |z z
1
| + |z z
2
| r}, onde r = 2a .
(a) Mostre que se r = |z
1
z
2
|, X e um segmento fechado e determine X.
(b) Desenhe o conjunto X nos casos r > |z
1
z
2
| e r < |z
1
z
2
|.
(c) Como cam as quest oes (a) e (b) acima (e suas respostas) se trocarmos
na deni c ao de X o smbolo por <?
31. Compute
(+i)
4
+i(1+i)
(1+i)
4
+3i
, onde e a determina c ao de
3

8i cujo axo pertence

ao quarto (4 ) quadrante.
32. Dado m N

, calcule o produto de todas as determina c oes de I = [

m

k=0
i
k
)
1
m
.
Discuta o resultado segundo m.
27
33. Fixada a base can onica de R
2
e utilizando o isomorsmo MC denido
no Exerccio 5, mostre que um n umero complexo z e identicado com o
produto da matriz que representa a homotetia de coeciente |z| sobre R
2
,
T
z
=

|z| 0
0 |z|

= |z|I , I =

1 0
0 1

,
pela matriz representante da rota c ao pelo angulo no sentido anti-hor ario.
R

cos sin
sin cos

, = arg(z} .
Isto e,
z T
z
R

= |z|

cos sin
sin cos

, = arg(z} .
34. Seja m N, m 2. Verique:
a) Existe w C tal que z z
m
= 1} = 1, w, w
2
, ..., w
m1
}. Dizemos que w e
um gerador do conjunto das m razes m-esimas da unidade.
b) Se z
1
e uma raiz m-esima qualquer de z C

e w e como no tem (a)

ent ao z
1
, z
1
w, ..., z
1
w
m1
} e o conjunto das m razes m-esimas de z.
c) O complexo w no tem (a) nao e unico.
35. Resolva a equa c ao iz + 2z + 1 i = 0.
36. Resolva os sistemas lineares em z e w:
a}

z + iw = 1
iz + w = 2i 1
b}

iz + (1 + i}w = 1
(1 + i}z (6 + i}w = 4 8i .
37. Resolva as equa c oes:
(a} x
6
+ix
3
= 0 (b} x
10
+64x
2
= 0 (c} 2x
6
+
i
2
x
2
= 0 (d} x
6
+3x
3
+2 = 0 .
38. Dados a, b
1
, b
2
C e m N

, prove que as razes da equa c ao em z,

(z b
1
}
m
+ a(z b
2
}
m
= 0
estao sobre uma circunferencia ou uma reta e resolva a equa c ao.
28
39. (a) Determine a relac ao entre a, b R para que sejam todas reais as razes
de
(} [
i z
i + z
)
m
= a + ib (m N

} .
(b) Supondo vericada a relac ao encontrada em (a), resolva a equa c ao (*)
admitindo conhecido o argumento dio n umero complexo a + bi.
40. (a) Mostre que sao reais todas as razes da equa c ao
[
1 + iz
1 iz
)
m
=
1 + ai
1 ai
, (a R, m N

} .
(b) Compute as razes da equa c ao no item acima no caso a = 1 e m = 3.
41. Compute as somas (supondo a, r R):
C
m
=
m1

n=0
cos(a + rn} e S
m
=
m1

n=0
sin(a + rn} ,
(a) Multiplicando as dadas expressoes por 2sin[
r
2
).
(b) Considerando o n umero complexo C
m
+ iS
m
.
42. Sejam z, w C, com |z| 1, |w| 1 e z + w = 1. Mostre que |z + w
2
| 1.
43. Dados a (0, +}, c |0, +} e b C mostre que a equa c ao
azz + bz + bz + c = 0,
representa uma circunferencia se ac < bb.
44. Mostre que a hiperbole x
2
y
2
= 1 pode ser escrita na forma
z
2
+ z
2
= 2 .
45. Seja z = [1 +
i
k
)
2
e k um n umero natural par, k 2. Mostre,
(Estermann 1956) Re|z
k
| < 0 < Im|z
k
| .
Aten c ao: A desigualdade acima e tambem v alida se k e mpar.
46. (Razes Quadradas) Determine as soluc oes z C da equa c ao
z
2
= a + ib , onde a, b R .
Dica: Determine as partes real e imagin aria de z e uma formula para z.
29
BIBLIOGRAFIA PRINCIPAL
1. Ahlfors, Lars V., Complex Analysis - An Introduction to the Theory of Analy-
tic Functions of One Complex Variable, International Series in Pure and Applied
Mathematics, McGraw-Hiil, Inc., 1979.
2. Apostol, T. M., Calculus, 2nd. ed., Ed. Waltham/Blaisdell, 1967-1969.
3. Aragona, J. N umeros Reais, 1 ed., Editora da Fsica, 2010.
4. Bak, J., Ding, P., and Newman, D. J., Extremal Points, Critical Points,
and Saddle Points of Analytic Functions, American Mathematical Monthly 114
(2007), pp. 540-546.
5. Bak, Joseph and Newman, Donald J., Complex Analysis, 3rd. ed., UTM,
Springer, 2010.
6. Beardon, Alan F., Complex Analysis - The Argument Principle in Analysis
and Topology, A Wiley-Interscience Publication, 1979.
7. Beardon, Alan F., Limits - A New Aproach to Real Analysis, UTM, Springer,
1991.
8. Boas, H. P., Julius and Julia: Mastering the Art of the Schwarz Lemma,
American Mathematical Monthly 117 (2010), pp. 770-785.
9. Boas, R. P., Invitation to Complex Analysis, Mathematical Association of
America, 2nd. ed., 2010.
10. Boulos, P., Exerccios Resolvidos e Propostos de Sequencias e Series
11. Burckel, Robert B., An Introduction to Classical Complex Analysis - Vol 1,
Mathematische Reihe, Birkhauser, 1979.
12. Busam, R. and Freitag, E. , Complex Analysis, 2nd edition, Universitext,
Springer (2008).
13. Caratheodory, C., Theory of Functions of a Complex Variable, Vol. 1, 2nd
english edition, Chelsea Publishing Company (1964).
14. Cater, F. S., An Elementary proof that analytic functions are open map-
pings, Real Analysis Exchange, Vol 27(1), 2001/2002, pp. 389-392.
15. Connell, E. H. and Porcelli, P., Power Series Development without Cauchys
Formula, Bulletin of the American Mathematical Society 67 (1961), pp. 177-
181.
16. Connell, E. H. and Porcelli, P., An Algorithm of J. Schur and the Taylor
30
Series, Proceedings of the American Mathematical Society 13 (1962), pp. 232-
235.
17. Conway, John B., Functions of One Complex Variable I, 2nd ed., GTM,
Springer, 2000.
18. Gamelin, Theodore W., Complex Analysis, UTM, Springer, 2000.
19. Guidorizzi, Hamilton L., Um Curso de Calculo - Volume 4, 5 ed., LTC
Editora, 2002.
20. Hairer, E. and Wanner, G., Analysis by Its History, UTM, Springer, 1991.
21. Hurwitz, A. and Courant, R., Allgemeine Funktionentheorie und elliptis-
che Funktionen, Grundlehren der Mathematischen Wissenschaften 3, Springer-
Verlag (4th ed. 1964), Berlin.
22. Jack, I. S., Functions starlike and convex of order , Journal of the London
Mathematical Society (2) 3 (1971), pp. 469-474.
23. Jahnke, Hans Niels, editor, A History of Analysis, History of Mathematics
Vol 24, AMS and LMS, 2003.
24. Jensen, J. L. W. V., Recherches sur la Theorie des

Equations, Acta Mathe-
matica, Vol 36 (1912), pp. 181-195 .
25. Kakutani, S., and Nagamo, M., About the functional equation
n1

=0
f(z +
e
(2n)i
} = nf(z}., Zenkoku Shij o Danwakai 66 (1935), pp. 10-12 (in japanese).
26. Knopp, Konrad, Theory and Application of Innite Series, reprint of the
2nd. English ed. 1951, Dover Publications Inc., 1990.
27. Lang, Serge, Complex Analysis, 4th ed., GTM, Springer, 2000.
28. Leland, K. O., A polynomial approach to topological analysis, Compositio
Mathematica, tome 17 (1965), pp. 291-298.
29. Lima, E. L., Curso de Analise, IMPA, CNPq, Rio de Janeiro, 1976.
30. Narasimhan, Raghavan and Nievergelt, Yves, Complex Analysis in One
Variable, 2nd ed., Birkhauser, 2001.
31. Oliveira, O. R. B., The Fundamental Theorem of Algebra: an elementary
and direct proof, Mathematical Intelligencer. To appear. DOI: 10.1007/s00283-
011-9199-2.
32. Osserman, R., From Schwarz to Pick to Ahlfors and Beyond, Notices of
the AMS, Vol. 46, number 8 (1999), pp. 868-873.
31
33. P olya, G. and Szeg o, G., Problems and Theorems in Analysis I, Classics in
Mathematics, Reprint of the 1978 edition, Springer, 1991.
34. Porcelli, P. and Weiner, L. M., A derivation of Cauchys Inequality for
Polynomials, Revista de Matematica y Fisica Teorica, vol 11 (1957), pp. 25-28.
35. Read, A. H., Higher Derivatives of Analytic Functions from the Standpoint
of Topological Analysis, Journal of the London Mathematical Society 36 (1961),
pp. 345-352.
36. Remmert, R., Theory of Complex Functions, GTM, v. 122., Springer, 1991.
37. Remmert, R., in Numbers, by H.-D. Ebbinghaus, H.-D. et al, GTM, Springer,
1991.
38. Rudin, W., Princpios de Analise Matem atica, Ao Livro Tecnico e Editora
Universidade de Braslia, 1971.
39. Simmons, George F., Calculo com Geometria Analtica - Vol 2, Pearson
Makron Books, 1988.
40. Shilov, G. E., Elementary Real and Complex Analysis, Dover Public. Inc.,
1973.
41. Soares, Marcio G., Calculo em uma variavel complexa, Cole c ao Matem atica
Universitaria, IMPA, 4. ed., 2007.
42. Spivak, M., Calculus Innitesimal, vol 2, Ed. Reverte, Barcelona, 1978.
43. Walsh, J. L., A mean value theorem for polynomials and harmonic poly-
nomials, Bulletin of the American Mathematical Society Vol. 42 (1936), pp.
923-936.
44. Whyburn, G. T., The Cauchy Inequality in Topological Analysis, Procee-
dings of the National Academy of Sciences 48 (1962), pp. 1335-1336.
45. Whyburn, G. T., Topological Analysis, Revised Ed., Princeton Unversity
Press, 1964.
32
BIBLIOGRAFIA SUPLEMENTAR
46. Boyer, Carl B., Hist oria da Matem atica, Ed. Edgard Blucher, 1974.
47. Bressoud, David, A Radical Approach to Real Analysis, 2nd ed., The Mathe-
matical Association of America, 2006.
48. Churchill, R. V., Variaveis Complexas e Aplicac oes, EDUSP/McGraw-Hill,
1975.
49. Knapp, Anthony W., Basic Real Analysis, Cornestones, Birkhauser, 2005.
50. Neto, Alcides Lins, Func oes de Uma Variavel Complexa, IMPA, 2005.
33