Captulo 1

Nmeros complexos
Neste captulo denimos o conjunto dos nmeros complexos (denotado
por C) usando o plano r (denotado por R
2
) para os representar os nmeros
complexos, ideia original de J. R. Argand. Depois de introduzirmos a soma
e multiplicao de nmeros complexos, vamos provar que o conjunto dos
nmeros complexos forma um corpo
1
. Tambm vamos explorar outras pro-
priedades dos nmeros complexos usando o plano r tais como, represen-
tao em coordenadas polares, interpretao geomtrica da multiplicao de
nmeros complexos, resoluo de equaes envolvendo nmeros complexos.
1.1 O corpo dos nmeros complexos
Os chamados nmeros complexos, surgiram pela primeira vez esboa-
dos formalmente na lgebra de Bombeli em 1572. A sua criao resultou
da necessidade de tornar vlida a famosa formula de Cardano destinada
resoluo algbrica de equaes de terceiro grau em que poderia haver neces-
sidade de efectuar clculos com razes quadradas de nmeros negativos.
A construo do conjunto dos nmeros complexos, revelou-se de grande
utilidade noutras reas da cincia. As transformadas de Laplace, as sries de
Fourier e as transformadas de Fourier constituem alguns exemplos de ferra-
mentas indispensveis da fsica e engenharia que nunca se teriam desenvolvido
sem o aparecimento deste ramo da matemtica.
Tal como o conjunto dos nmeros inteiros Z pode ser considerado uma
extenso do conjunto dos nmeros naturais N, o conjunto dos nmeros com-
plexos C pode ser considerado igualmente uma extenso do conjunto dos
nmeros reais R, extenso esta que possui as seguintes propriedades adicionais:
1
Corpo um anel comutativo com identidade no qual todo elemento no nulo possui
um inverso multiplicativo.
1
2 CAPTULO 1. NMEROS COMPLEXOS
A equao r
2
+ 1 = 0, admite pelo menos uma soluo em C;
Todo o elemento de C pode ser representado da forma c + /i em que
c. / R e i =
_
1.

Denio 1.1 (Nmero complexo) Um nmero complexo . pode ser

denido como um par ordenado (r. ), onde r. R isto , . = (r. ) . Os
nmeros reais r e so, respectivamente, a parte real e imaginria de
. = (r. ), sendo indicados por
+(.) = r e Im(.) =

Portanto, no sistema de coordenadas cartesiana cada nmero complexo

pode ser representado por um ponto, cujas coordenadas so r e . Por ex-
emplo,
.
1
= (0. 1) . .
2
=
_
2
5
. 1
_
e .
3
=
_
_
3. :
_
so exemplos de nmeros complexos. Quando +(.) = 0. dizemos que .
imaginrio puro.
Dois nmeros complexos . = (c. /) e n = (c. d) so iguais se, e somente
se, as suas partes reais e imaginrias tambm forem iguais isto ,
(c. /) = (c. d) =c = c e / = d
Em paticular,
(r. ) = (0. 0) =r = 0 e = 0
Sejam . = (c. /) e n = (c. d) nmeros complexos. As operaes de adio
e multiplicao, denem-se da seguinte forma:
. + n = (c + c. / + d) (adio)
1.1. O CORPO DOS NMEROS COMPLEXOS 3
e
. n = (cc /d. /c + cd) (multiplicao) (1.1)
A operao diviso a inversa da multiplicao, isto ,
.
n
= n =. = n n (n ,= (0. 0)) . onde n = (c. ,)
ou seja,
(c. /) = (cc d,. c, + dc)
segue-se que
c =
cc + /d
c
2
+ d
2
e , =
/c cd
c
2
+ d
2
e portanto,
.
n
= n =
_
cc + /d
c
2
+ d
2
.
/c cd
c
2
+ d
2
_
Nota: Seja uma extenso de R tal que
C = (r. ) : r R e = 0
Consideremos uma funo , : R dada por , (r) = (r. 0) . Para todo
(r. 0) . existe r R tal que
, (r) = (r. 0)
isto , , uma funo sobrejetora.
Dados c. / R com c ,= /. temos que
, (c) = , (/) =(c. 0) = (/. 0) =c = /
e portanto, , uma funo injetora. Temos que
, (c + /) = (c + /. 0) = (c. 0) + (/. 0) = , (c) + , (/)
e
, (c/) = (c/. 0) = (c. 0) (/. 0) = , (c) , (/)
Como existe uma funo bijetora , : R que preserva as operaes
adio e multiplicao, dizemos que R e so isomorfos e indicamos por
R -
Devido ao isomorsmo que existe entre R e podemos indicar o par
ordenado (r. 0) como um nmero real isto ,
r = (r. 0) . \r R
4 CAPTULO 1. NMEROS COMPLEXOS
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 ambiguidade: dado r R e c R, o que
entendemos por r +c e rc? A soma e o produto dos nmeros reais r e c ou
a soma e o produto dos nmeros complexos r e c? A resposta que tanto
faz, uma vez que os valores so os mesmos. De fato,
(r. 0) + (c. 0) = (r + c. 0) = r + c
e
(r. 0) (c. 0) = (rc 0 0. r 0 + 0 c) = rc
Para cada . = (r. ) C, temos que
. = (r. ) e .
1
=
_
r
r
2
+
2
.

r
2
+
2
_
se . ,= (0. 0)
O nmero .
1
tambm denotado por
1
:
. Alm disso, a potenciao tambm
denida da maneira usual:
.
0
= 1. .
a
= . .
. .
avezes
e .
a
= .
1
.
1
. .
avezes
se . ,= (0. 0) (: > 1)
Teorema 1.1 O conjunto C = (r. ) : r. R com as operaes adio
e multiplicao um corpo.
Demonstrao. De fato, temos que
1. (.
1
+ .
2
) + .
3
= .
1
+ (.
2
+ .
2
) . para todo .
1
. .
2
. .
3
C.
2. .
1
+ .
2
= .
2
+ .
1
. para todo .
1
. .
2
C.
3. Existe um elemento 0 = (0. 0) C, e chamado elemento neutro tal
que
. +0 = .. para todo . C
4. Para todo . R. existe um elemento . C e chamado o simtrico
de . tal que
. + (.) = 0
5. (.
1
.
2
) .
3
= .
1
(.
2
.
2
) . para todo .
1
. .
2
. .
3
C.
6. .
1
.
2
= .
2
.
1
. para todo .
1
. .
2
C.
1.1. O CORPO DOS NMEROS COMPLEXOS 5
7. Existe um elemento denotado por 1 = (1. 0) C

, tal que
. 1 = .. para todo . C
8. Para todo . = (r. ) C

. existe um elemento .
1
C e chamado o
inverso de . tal que
. .
1
= 1
Note que .
1
=
_
a
a
2
+j
2
.
j
a
2
+j
2
_
.
9. .
1
(.
2
+ .
3
) = .
1
.
2
+ .
1
.
3
. para todo .
1
. .
2
. .
3
C.

Como C um espao vetorial sobre R com respeito adio e a multi-

plicao por escalares reais. Alm do mais, por seus elementos serem pares
ordenados, C um espao vetorial bidimensional sobre R. Desta forma,
como (1. 0) e (0. 1) formam uma base, todo par . = (r. ) C se escreve de
maneira nica como
. = r (1. 0) + (0. 1)
Vejamos o comportamento de (0. 1). Temos
(0. 1) (0. 1) = (0 1. 0 0) = (1. 0) = (1. 0)
ou seja,
(0. 1)
2
= (1. 0)
Assim, o nmero complexo (0. 1) possui quadrado recproco aditivo do ele-
mento neutro da adio. Usaremos a notao i = (0. 1), obtendo
i
2
= 1
Com isto, todo elemento . = (r. ) C pode ser escrito de modo nico
como
. = r + i ()
Logo, o par (r. ) e a expresso r + i representam o mesmo nmero
complexo. A expresso () chamada a forma algbrica de .; essa a
forma na qual os nmeros complexos so usualmente denotados.
Sempre que tomarmos um nmero complexo na forma . = r + i as-
sumiremos implicitamente que r e so nmeros reais.
Observamos que com a forma algbrica no precisamos nos preocupar em
memorizar as denies de . + n e . n dadas em (1.1). De fato, basta
6 CAPTULO 1. NMEROS COMPLEXOS
usarmos algumas das propriedades da adio e da multiplicao em C j
apresentadas: se . = c + i/ e n = c + id so nmeros complexos, ento
. + n = (c + i/) + (c + id) = (c + c) + i (/ + d)
e
. n = (c + i/) (c + id) = cc + icd + i/c + i
2
/d = (cc /d) + i (/c + cd)
E escrevemos o conjunto dos nmeros complexos na forma:
C = r + i : i
2
= 1
Nota: O corpo dos nmeros complexos C no ordenado.
De fato, em C no se pode estabelecer uma relao de ordem, pois se
assim fosse, para uma certa ordem 6 teramos
i 6 0 ou i > 0
Se i > 0, ento
i
2
> 0 =1 > 0
o que uma contradio.
Se i 6 0, ento
i > 0 =(i)
2
> 0 =1 > 0
o que uma contradio. Assim no podemos ter uma ordem em C, isto ,
C no ordenado.
Sabemos que i
0
= 1. i
2
= 1. i
3
= i e i
4
= 1. uma pergunta natural
quem i
a
. onde : Z? Pelo Algortmo da diviso, existem . : Z tais que
: = 4 + : onde 0 6 : < 4
Ento
i
a
= i
4q+v
=
_
i
4
_
q
i
v
= i
v
Exemplo 1.1 Determine i
57
e i
123
.
Soluo. Como 57 = 14 4 + 1. temos que
i
57
= i
1
= i
Como os dois ltimos algarismos do expoente 23, temos
2
i
123
= i
23
= i
3
= i
2
O reso da diviso de um inteiro (n > 100) por 4 pode ser obtido dividindo por 4 apenas
o nmero formado pelos dois ltimos algarismos de n:
1.1. O CORPO DOS NMEROS COMPLEXOS 7
Exemplo 1.2 Calcule
a
= 1 + i + i
2
+ + i
a
para : > 1 e determine a
soma

48
= 1 + i + i
2
+ + i
48
Soluo. Usando a frmula da soma de uma srie geomtrica nita, temos
que

a
=
i
a+1
1
i 1
Se : = 4/. ento

4I
=
i
4I+1
1
i 1
= 1
Se : = 4/ + 1. ento

4I+1
=
i
4I+2
1
i 1
=
2
i 1
= i + 1
Se : = 4/ + 2. ento

4I+2
=
i
4I+3
1
i 1
=
i 1
i 1
= i
Se : = 4/ + 3. ento

4I+3
=
i
4I+4
1
i 1
= 0
Como 49 = 4 12. temos que

48
= 1
8 CAPTULO 1. NMEROS COMPLEXOS
1.1.1 Problemas resolvidos
Problema 1.1 Sejam . e n dois nmeros complexos. Mostre que se .n = 0.
ento . = 0 ou n = 0 ou ainda, . = n = 0.
Soluo. Suponhamos que . ,= 0. Sejam . = c + /i e n = c + di. Como
. ,= 0. temos que c ,= 0 ou / ,= 0. Por hiptese,
(c + /i) (c + di) = 0 =(c /i) [(c + /i) (c + di)] = 0
e portanto,
_
c
2
+ /
2
_
c +
_
c
2
+ /
2
_
di = 0
e necessariamente,
_
c
2
+ /
2
_
c = 0 e
_
c
2
+ /
2
_
d = 0
Como c
2
+ /
2
,= 0. pois . ,= 0. temos que c = 0 e d = 0. Logo, n = 0.
Problema 1.2 Prove que se .. n C, ento +(. + n) = +(.) + +(n) e
Im(. + n) = Im(.) + Im(n) .
Soluo. Sejam . = c + /i e n = c + di. Ento . + n = (c + c) + (/ + d) i.
Logo,
+(. + n) = c + c = +(.) ++(n)
e
Im(. + n) = / + d = Im(.) + Im(n)
Problema 1.3 Calcule: Im(1 + 2i + 3i
2
+ 4i
3
+ + 2009i
2008
) .
Soluo. Seja . = 1 + 2i + 3i
2
+ 4i
3
+ + 2009i
2008
. Ento
. i. = 1 + i + i
2
+ i
3
+ + i
2008
2009i
2009
Mas, 1+i +i
2
+i
3
+ +i
2008
=
2008
, onde 2008 = 4505. Logo,
2008
= 1
e portanto,
. i. = 1 2009i
2009
=. =
1 2009i
1 i
=. = 1005 1004i
Assim,
Im
_
1 + 2i + 3i
2
+ 4i
3
+ + 2008i
2009
_
= 1004
1.1. O CORPO DOS NMEROS COMPLEXOS 9
Problema 1.4 Prove que as solues da equao quadrtica
c.
2
+ /. + c = 0
onde c. /. c C e c ,= 0. so dadas pela frmula quadrtica usual, isto , por
. =
/
_
/
2
4cc
2c
Use a frmula para encontrar as solues da equao .
2
+ 4. + 5 = 0.
Soluo. Comeamos multiplicando ambos os membros da igualdade por
4c.
c.
2
+ /. + c = 0 = 4c
2
.
2
+ 4c/. + 4cc = 0
= 4c
2
.
2
+ 4c/. = 4cc
= 4c
2
.
2
+ 4c/. + /
2
= /
2
4cc
= (2c. + /)
2
= /
2
4cc
= 2c. + / =
_
/
2
4cc
= . =
b
p
b
2
4oc
2o
Com c = 1. / = 4 e c = 5. obtemos:
. =
4
_
16 20
2
=
4
_
4
2
= 2 i
Logo, as solues da equao .
2
+4. +5 = 0 so os numeros 2 i e 2 +i.
Problema 1.5 Calcule
A =
_
1 +
_
1 + i
2
__
_
1 +
_
1 + i
2
_
2
__
1 +
_
1 + i
2
_
2
2
_

_
1 +
_
1 + i
2
_
2
n
_
Soluo. Fazendo . =
1+i
2
. obtemos:
A = (1 + .)
_
1 + .
2
_ _
1 + .
4
_ _
1 + .
8
_

_
1 + .
2
n
_
o que implica
(1 .) A = (1 .) (1 + .)
_
1 + .
2
_ _
1 + .
4
_ _
1 + .
8
_

_
1 + .
2
n
_
=
_
1 .
2
_ _
1 + .
2
_ _
1 + .
4
_ _
1 + .
8
_

_
1 + .
2
n
_
=
_
1 .
4
_ _
1 + .
4
_ _
1 + .
8
_

_
1 + .
2
n
_
.
.
.
= 1 .
2
n+1
10 CAPTULO 1. NMEROS COMPLEXOS
e portanto,
A =
1 .
2
n+1
1 .
Como . =
1+i
2
. temos que
.
2
=
i
2
=.
2
n+1
=
_
i
2
_
2
n
Logo,
A =
1
_
i
2
_
2
n
1
_
1+i
2
_ =
1
_
i
2
_
2
n
1i
2
1.1. O CORPO DOS NMEROS COMPLEXOS 11
1.1.2 Problemas propostos
1. Mostre que
c)
:
:
= 1 /)
1
1
z
= .
2. Verique que
c) (2. 3) (2. 1) = (1. 8) /) (3. 1) (3. 1)
_
1
5
.
1
10
_
= (2. 1)
3. Mostre que
c) +(i.) = Im(.) /) Im(i.) = +(.)
4. Dado . = r + i, onde r. R, determine a parte real e a parte
imaginria de
c) . =
1
:
;
/) . =
:o
:+o
. onde c R;
c) . = i
a
. onde : Z.
5. Para . = 1 +i. determine n tal que a parte real dos seguintes nmeros
so iguais a zero
c) . + n /) . n c)
:
&
d)
&
:
6. Mostre que (1) . = . para todo . C.
7. Prove que, se .
1
.
2
.
3
= 0. pelo menos um dos trs fatores zero.
8. Sejam . = c + i/. n = c + id. n ,= 0. Mostre que
:
&
R se, e somente
se,

c /
c d

= 0
9. Calcule
c) (1 + 2i)
3
.
12 CAPTULO 1. NMEROS COMPLEXOS
/)
5
23i
.
c)
_
2+i
32i
_
2
.
d) (1 i)
a
+ (1 + i)
a
. onde : N.
10. Resolva a equao .
2
+ . + 1 = 0, escrevendo . = (r. ) . (1. 0) = 1 e
(0. 0) = 0 ou seja,
(r. ) (r. ) + (r. ) + (1. 0) = (0. 0)
11. A relao 1 no conjunto dos nmeros complexos denida por
.1n ==
. n
. + n
R
Mostre que 1 uma relao de equivalncia.
12. Mostre que, se a equao .
2
+c.+/ = 0 tem um par de razes complexas
conjugadas, ento c. / R e c
2
< 4/.
1.2. CONJUGADO E VALOR ABSOLUTO 13
1.2 Conjugado e valor absoluto
J vimos que um nmero complexo . = r +i. r. R uma represen-
tao de um par ordenado (r. ). Logo, podemos represent-lo num plano
cartesiano rC, identicando o eixo r com os nmeros reais (os mltiplos de
1 = (1. 0)). O eixo representa os mltiplos de i = (0. 1) e ser denominado
de eixo imaginrio.

Denio 1.2 (Conjugado de .) Dado o nmero complexo . = r + i.

podemos associar um nico nmero complexo
. = r i
O nmero complexo . chamado de conjugado de ..

Geometricamente, . a reexo do vetor que representa . com relao

ao eixo real.
O teorema a seguir estabelece as propriedades bsicas do conjugado.
Teorema 1.2 Se . e n so nmeros complexos, ento:
1. . = 0 se, e somente se, . = 0.
2. . = . se, e somente se, . R.
3. . = . para todo . C.
4. . + n = . + n.
5. . n = . n.
14 CAPTULO 1. NMEROS COMPLEXOS
6. se n ,= 0. ento
_
:
&
_
=
:
&
.
7. se . ,= 0, ento (.)
a
= (.
a
). para todo : Z.
8. 2+(.) = . + . e 2i Im(.) = . ..
Demonstrao. 1. Seja . = r + i C tal que . = 0. Ento
r i = 0 + i 0 =r = 0 e = 0
e portanto, . = 0.
Reciprocamente, se . = 0. ento r = 0 e = 0. Logo, . = 0.
2. Seja . = r + i. r. R tal que . = .. Ento
r i = r + i =2i = 0 = = 0
e portanto, . = r R.
Reciprocamente, se . R. ento = 0. Logo, . = r. onde r R e
portanto, . = ..
3. Se . = r + i C. ento
. = r i
e da, . = r + i = . para todo . C.
4. Sejam . = c + i/ e n = c + id. Ento
. + n = (c + c) + i (/ + d) =. + n = (c + c) i (/ + d)
Por outro lado, . = c i/ e n = c id e portanto,
. + n = c i/ + c id = (c + c) i (/ + d) = . + n
5. Sejam . = c + i/ e n = c + id. Ento
. n = (cc /d) + i (/c + cd) =. n = (cc /d) i (/c + cd)
Por outro lado, . = c i/ e n = c id e portanto,
. n = (c i/) (c id) = (cc /d) i (/c + cd) = . n
6. Se n ,= 0. ento pelo item anterior,
n
_
.
n
_
= n
_
.
n
_
= .
1.2. CONJUGADO E VALOR ABSOLUTO 15
Logo,
_
:
&
_
=
:
&
.
7.
8. Se . = r + i C. ento
. + .
2
=
r + i + r i
2
= r = +(.) =2+(.) = . + .
e
. .
2i
=
r + i r + i
2i
= = Im(.) =2i Im(.) = . .

Denio 1.3 (Mdulo) O valor absoluto (ou mdulo) de um nmero

complexo . = c + /i denido por:
: = [.[ = |.| =
_
c
2
+ /
2

Grcamente, o nmero real [.[ nos d o comprimento do vetor corre-

spondente a . no plano complevo.
A partir da, denimos a distncia entre dois nmeros complexos .
1
=
c + /i e .
2
= c + di como
[.
1
.
2
[ = [c c + (/ d) i[ =
_
(c c)
2
+ (/ d)
2
Teorema 1.3 As seguinte propriedades so satisfeitas:
1. [.[ > 0 para todo . C. Mas ainda,
[.[ = 0 =. = 0
2. +(.) 6 [+(.)[ 6 [.[ e Im(.) 6 [Im(.)[ 6 [.[ .
16 CAPTULO 1. NMEROS COMPLEXOS
3. [.[ = [.[ = [.[ .
4. . . = [.[
2
.
5. [. n[ = [.[ [n[ .
6. se n ,= 0. ento

:
&

=
j:j
j&j
.
7. [. + n[ 6 [.[ + [n[ (desigualdade triangular). Sob que condio ocorre
a igualdade?
8. Sejam .
1
. .
2
. . . . . .
a
. n
1
. n
2
. . . . n
a
nmeros complexos. Mostre a de-
sigualdade de Cauchy-Schwartz
[.
1
n
1
+ + .
a
n
a
[ 6
_
_
[.
1
[
2
+ +[.
a
[
2
__
_
[n
1
[
2
+ +[n
a
[
2
_
Demonstrao. 1. Seja . = r + i C. r. R. Ento
r
2
> 0 e
2
> 0 =r
2
+
2
> 0
Logo, [.[ > 0 para todo . C.
Temos que
[.[ = 0 =r
2
+
2
= 0 =r
2
=
2
= 0 =. = 0
2. Se . = r + i C, ento
se r > 0. ento r = [r[
se r < 0. ento r < [r[
_
=r 6 [r[ (+)
Por outro lado,
r
2
6 r
2
+
2
=
_
r
2
6
_
r
2
+
2
=[r[ 6 [.[ (**)
Comparando (+) e (++) obtemos:
+(.) 6 [+(.)[ 6 [.[
Analogamente, obtemos
Im(.) 6 [Im(.)[ 6 [.[
1.2. CONJUGADO E VALOR ABSOLUTO 17
3. Se . = r + i C, ento
[.[ =
_
(r)
2
+ ()
2
=
_
r
2
+
2
= [.[
e
[.[ =
_
r
2
+ ()
2
=
_
r
2
+
2
= [.[
Logo, [.[ = [.[ = [.[ .
4. Se . = r + i C, ento
. . = (r + i) (r i) = r
2
+
2
= [.[
2
5. Seja .. n C, pelo item anterior,
[. n[
2
= (. n) (. n) = (. n) (. n) = [.[
2
[n[
2
= ([.[ [n[)
2
Como mdulos so positivos ou nulos, podemos extrair a raiz quadrada de
ambos os membros da expresso acima e obtemos
[. n[ = [.[ [n[
6. Se n ,= 0. ento pelo item anterior,
[n[

.
n

n
_
.
n
_

= [.[
Logo,

:
&

=
j:j
j&j
.
7. Note inicialmente, que se .. n C, ento
[. + n[
2
= (. + n) (. + n) = (. + n) (. + n) = [.[
2
+ (. n + . n) +[n[
2
(+)
Agora, . n = . n = . n e, pelo Teorema 1.2,
. n + . n = 2+(. n)
Assim, da expresso (+) temos
[. + n[
2
= [.[
2
+[n[
2
+ 2+(. n)
Aplicando a parte 2. deste Teorema, temos
[. + n[
2
= [.[
2
+[n[
2
+ 2+(. n) 6 [.[
2
+[n[
2
+ 2 [. n[
18 CAPTULO 1. NMEROS COMPLEXOS
Mas, [. n[ = [. n[ = [.[ [n[ e portanto,
[. + n[
2
6 [.[
2
+[n[
2
+ 2 [.[ [n[ =[. + n[
2
6 ([.[ +[n[)
2
Logo, [. + n[ 6 [.[ +[n[ .
8. Se n
i
= 0 para i = 1. 2. . . . . :. ento a desigualdade verdadeira.
Sejam
c =
.
1
n
1
+ + .
a
n
[n
1
[
2
+ +[n
a
[
2
. / =
a

I=1
[.
I
[
2
. c =
a

I=1
[n
I
[
2
e
d =
a

I=1
.
I
n
I
e portanto, c =
o
c
. Como
0 6 [.
I
cn
I
[
2
= (.
I
c n
I
) (.
I
c n
I
)
= [.
I
[
2
(.
I
c n
I
+ .
I
c n
I
) +[c[
2
[n
I
[
2
para / = 1. 2. . . . . :. ento
a

I=1
_
[.
I
[
2
(.
I
c n
I
+ .
I
c n
I
) +[c[
2
[n
I
[
2

> 0
ou seja,
a

I=1
[.
I
[
2
c
a

I=1
(.
I
n
I
) c
a

I=1
(.
I
n
I
) +[c[
2
a

I=1
[n
I
[
2
> 0
Assim, podemos escrever
/ +[c[
2
c c
a

I=1
(.
I
n
I
) c
a

I=1
(.
I
n
I
) > 0
Agora,
_
c
a

I=1
(.
I
n
I
)
_
= c
a

I=1
(.
I
n
I
) e, pelo Teorema 1.2,
c
a

I=1
(.
I
n
I
) c
a

I=1
(.
I
n
I
) = 2+
_
c
a

I=1
(.
I
n
I
)
_
= 2+(cd)
e portanto,
/ +[c[
2
c 2+(cd) > 0 (')
1.2. CONJUGADO E VALOR ABSOLUTO 19
Por outro lado, como c =
o
c
, onde c =
a

I=1
[n
I
[
2
R, ento
[c[
2
c =
[d[
2
c
e +(cd) = +
_
d
c
d
_
= +
_
[d[
2
c
_
()
Segue-se de (') e () que
/ +
[d[
2
c
2+
_
[d[
2
c
_
> 0
Como c. [d[
2
R, ento
/ +
[d[
2
c
2
_
[d[
2
c
_
> 0 =/
[d[
2
c
> 0 =[d[
2
6 /c
Logo,
[.
1
n
1
+ + .
a
n
a
[ 6
_
_
[.
1
[
2
+ +[.
a
[
2
__
_
[n
1
[
2
+ +[n
a
[
2
_

Nota: Voltando ao problema de determinar .
1
=
1
a+ji
. Pelo item 4. do
Teorema 1.3, temos
1
.
=
.
. .
=
.
[.[
2
isto ,
1
r + i
=
r i
r
2
+
2
=
_
r
r
2
+
2
_

_

r
2
+
2
_
i
Por exemplo, se . = i. ento
1
i
=
i
i (i)
= i
Exemplo 1.3 Se
a+ij
aij
= n. onde r. R, prove que [n[ = 1.
Soluo. Seja n = c + i/. onde c. / R. Ento
c + i/ =
(r + i)
2
(r i) (r + i)
=
r
2

2
+ 2ri
r
2
+
2
20 CAPTULO 1. NMEROS COMPLEXOS
e da, c =
a
2
j
2
a
2
+j
2
e / =
2aj
a
2
+j
2
. Ento,
c
2
=
r
4
2r
2

2
+
4
(r
2
+
2
)
2
e /
2
=
4r
2

2
(r
2
+
2
)
2
e portanto,
c
2
+ /
2
=
r
4
2r
2

2
+
4
(r
2
+
2
)
2
=
(r
2
+
2
)
2
(r
2
+
2
)
2
= 1
Outra soluo. Basta observar que
[n[ =

r + i
r i

=
[r + i[
[r i[
= 1
Exemplo 1.4 Prove que se [.[ = [n[ = 1 e 1 + .n ,= 0. ento
:+&
1+:&
R.
Soluo. Seja n =
:+&
1+:&
. Pelo Teorema 1.2, basta mostrar que n = n. Como
[.[ = [n[ = 1. ento pelo Teorema 1.3
. =
1
.
e n =
1
n
.
Assim,
n =
_
. + n
1 + .n
_
=
. + n
1 + . n
=
1
:
+
1
&
1 +
1
:

1
&
=
. + n
1 + .n
= n
Logo,
:+&
1+:&
R.
Exemplo 1.5 Seja . C

. Se . +
1
:
= 1, prove que [.[ = 1.
Soluo. Se . +
1
:
= 1. ento .
2
. + 1 = 0. Logo,
. =
1
2

_
3
2
i
e pelo Teorema 1.3, se . =
1
2
+
p
3
2
i. ento
[.[
2
= . . =
_
1
2
+
_
3
2
i
__
1
2

_
3
2
i
_
= 1
se . =
1
2

p
3
2
i. ento tambm temos [.[ = 1. Assim, [.[ = 1.
1.2. CONJUGADO E VALOR ABSOLUTO 21
Exemplo 1.6 Se .. n C. mostre que [[.[ [n[[ 6 [. n[ e conclua que
[. + n[ > [.[ [n[
Soluo. Temos que
[.[ = [. n + n[ 6 [. n[ +[n[ =[.[ [n[ 6 [. n[
e de modo anlogo,
[n[ [.[ 6 [n .[ =[n .[ 6 [.[ [n[
Como [. n[ = [n .[ . temos que
[. n[ 6 [.[ [n[ 6 [. n[
e portanto, [[.[ [n[[ 6 [. n[ .
Finalmente, como [.[ [n[ 6 [. n[ . temos que
[. + n[ > [.[ [n[
fazendo n = n.
Exemplo 1.7 Mostre que o tringulo 1C com vrtices .
1
. .
2
. .
3
equi-
ltero se, e somente se,
.
2
1
+ .
2
2
+ .
2
3
= .
1
.
2
+ .
2
.
3
+ .
3
.
1
Soluo. Escrevendo c = .
2
.
1
. , = .
3
.
2
e = .
1
.
3
. temos que
c + , + = (.
2
.
1
) + (.
3
.
2
) + (.
1
.
3
) = 0
Suponhamos que o tringulo 1C com vrtices .
1
. .
2
. .
3
seja equiltero.
22 CAPTULO 1. NMEROS COMPLEXOS
Ento [c[ = [,[ = [[ . Assim,
c + , + = 0 = c + , + = 0
=
cc
c
+
oo
o
+

= 0
=
jcj
2
c
+
joj
2
o
+
jj
2

= 0
=
1
c
+
1
o
+
1

= 0
=
1
:
2
:
1
+
1
:
3
:
2
+
1
:
1
:
3
= 0
ou seja,
c+,+ = 0 =(.
3
.
2
) (.
1
.
3
)+(.
2
.
1
) (.
1
.
3
)+(.
2
.
1
) (.
3
.
2
) = 0
Logo,
.
2
1
+ .
2
2
+ .
2
3
= .
1
.
2
+ .
2
.
3
+ .
3
.
1
Reciprocamente, suponhamos que
.
2
1
+ .
2
2
+ .
2
3
= .
1
.
2
+ .
2
.
3
+ .
3
.
1
Ento
1
c
+
1
o
+
1

= 0 = c, + , + c = 0
= c, + (, + c) = 0
Como , + c = . ento c, =
2
. Analogamente, , = c
2
e c = ,
2
.
Assim,
(c,)
_
c,
_
=
2
()
2
=(cc)
_
,,
_
() = ()
3
Por causa da simetria, tambm temos
(cc)
_
,,
_
() = (cc)
3
e (cc)
_
,,
_
() =
_
,,
_
3
Assim,
1
c
+
1
,
+
1

= 0 =[c[
6
= [,[
6
= [[
6
=[c[ = [,[ = [[
e portanto, o tringulo 1C com vrtices .
1
. .
2
. .
3
equiltero.
1.2. CONJUGADO E VALOR ABSOLUTO 23
1.2.1 Problemas resolvidos
Problema 1.6 Seja . um nmero complexo. Se . +
1
:
R. prove que
Im(.) = 0 ou [.[ = 1.
Soluo. Pelo item 2. do Teorema 1.2, temos
. +
1
.
=
_
. +
1
.
_
=. +
1
.
= . +
1
.
ou ainda,
(. .)
_
1 [.[
2
_
= 0
e portanto, . . = 0 ou [.[
2
1 = 0. Logo,
Im(.) = 0 ou [.[ = 1
Outra soluo.
Seja . = r + i. Ento
. +
1
.
=
(.
2
+ 1) .
. .
=
[2r
2
+ r (r
2

2
+ 1)]
r
2
+
2
+
_
2r
2
r
2
+
3

r
2
+
2
_
i
Por hiptese,
2a
2
jja
2
+j
3
j
a
2
+j
2
= 0 ou seja,
2r
2
r
2
+
3
= 0 =
_
r
2
+
2
1
_
= 0
Logo, = 0 ou r
2
+
2
1 = 0 e portanto,
Im(.) = 0 ou [.[ = 1
Problema 1.7 Se . e n so nmeros complexos quaisquer tais que [. n[
2
=
[.[
2
+[n[
2
. prove que +(. n) = 0.
Soluo. Como [. n[
2
= [.[
2
+[n[
2
e
[. n[
2
= [.[
2
+[n[
2
(. n + . n) =(. n + . n) = 0
Mas, j vimos que . n + . n = 2+(. n) . Logo, +(. n) = 0.
Problema 1.8 Se [.[ = 1. prove que

c. + /
/. + c

= 1
para todo c. / C.
24 CAPTULO 1. NMEROS COMPLEXOS
Soluo. Como [.[ = 1. ento . =
1
:
. Assim,

c. + /
/. + c

_
c. + /
/ + c .
_

1
.

c. + /
/ + c .

1
.

Como [c. + /[ =

c. + /

/ + c .

. temos que

c. + /
/. + c

= 1
Problema 1.9 Se c. /. : Z

+
. prove que existem inteiros r e tais que
_
c
2
+ /
2
_
a
= r
2
+
2
Soluo. Seja . = c + /i. Ento
_
c
2
+ /
2
_
a
=
_
[.[
2
_
a
= ([.[
a
)
2
= ([.
a
[)
2
Mas, .
a
= r + i para alguns inteiros r e . Logo,
([.
a
[)
2
= [r + i[
2
= r
2
+
2
e portanto, (c
2
+ /
2
)
a
= r
2
+
2
.
Problema 1.10 Sejam c. /. c R e . =
1
2
+ i
p
3
2
. Calcule
=
_
c + /. + c.
2
_ _
c + /.
2
+ c.
_
Soluo. Note inicialmente que .
3
= 1. Ento .
2
+ . + 1 = 0. Logo,
= c
2
+ c/.
2
+ cc. + c/. + /
2
+ /c.
2
+ cc.
2
+ /c. + c
2
= c
2
+ /
2
+ c
2
+ (c/ + cc + /c)
_
.
2
+ .
_
= c
2
+ /
2
+ c
2
(c/ + cc + /c)
Problema 1.11 Sejam .
1
. .
2
. .
3
. . . . . .
a
nmeros complexos com
[.
1
[ = [.
2
[ = [.
3
[ = = [.
a
[ = : 0
Prove que o nmero
n =
(.
1
+ .
2
) (.
2
+ .
3
) (.
a1
+ .
a
) (.
a
+ .
1
)
.
1
.
2
.
3
.
a
real.
1.2. CONJUGADO E VALOR ABSOLUTO 25
Soluo. Como [.
1
[ = [.
2
[ = [.
3
[ = = [.
a
[ = :. ento .
I
=
v
2
a
k
. Por outro
lado, como
n =
_
v
2
:
1
+
v
2
:
2
__
v
2
:
2
+
v
2
:
3
_

_
v
2
:
n1
+
v
2
:
n
__
v
2
:
n
+
v
2
:
1
_
v
2
:
1
v
2
:
2
v
2
:
3

v
2
:
n
=
:
2a
_
:
1
+:
2
:
1
:
2
__
:
2
+:
3
:
2
:
3
_

_
:
n
+:1
:
1
:
n
_
v
2n
:
1
:
2
:
3
:
n
= n
ento
n =
(.
1
+ .
2
) (.
2
+ .
3
) (.
a1
+ .
a
) (.
a
+ .
1
)
.
1
.
2
.
3
.
a
real.
Problema 1.12 Seja . um nmero complexo. Mostre que

:
2
+1
:
2
+8

6
5
4
para
[.[ = 2.
Soluo. Pela desigualdade triangular, temos

.
2
+ 1

.
2

+[1[ = 4 + 1 = 5 =

.
2
+ 1

6 5
Por outro lado,

.
2
+ 8

> 8

.
2

= 4 =
1
[.
2
+ 8[
6
1
4
Logo,

.
2
+ 1
.
2
+ 8

=
[.
2
+ 1[
[.
2
+ 8[
6
5
4
Problema 1.13 Prove o Teorema de Bramagupta
3
: Se c e / so nmeros
naturais e cada um deles uma soma de dois quadrados perfeitos, ento c/
tambm uma soma de dois quadrados perfeitos. Escreva (2
2
+ 3
2
) (5
2
+ 7
2
)
como uma soma de dois quadrados perfeitos.
Soluo. Sejam c = j
2
+
2
e / = :
2
+ :
2
dois nmeros naturais. Ento
c/ = ((j + i))
_
j + i
_
(: + :i)
_
: + :i
_
= ((j + i)) (j i) (: + :i) (: :i)
= (j: :)
2
+ (j: + :)
2
3
Matemtico hindu do sculo VII.
26 CAPTULO 1. NMEROS COMPLEXOS
Assim,
_
2
2
+ 3
2
_ _
5
2
+ 7
2
_
= (2 5 3 7)
2
+ (2 7 + 3 5)
2
= 11
2
+ 29
2
Problema 1.14 Se [.[ = 1. mostre que [1 .[
2
+[1 + .[
2
= 4.
Soluo. Temos que
[1 .[
2
= [1[
2
+[.[
2
2+(.) = 2 2+(.)
e
[1 + .[
2
= [1[
2
+[.[
2
+ 2+(.) = 2 + 2+(.)
Logo, [1 .[
2
+[1 + .[
2
= 4.
Problema 1.15 Mostre que, para todo . C vale
[.[ 6 [+(.)[ +[Im(.)[ 6
_
2 [.[
Soluo. Seja . = r + i. Ento
[.[ =
_
r
2
+
2
6
_
([r[ +[[)
2
= [r[ +[[
e portanto, [.[ 6 [+(.)[ +[Im(.)[ .
Como ([r[ [[)
2
> 0. temos que
[r[
2
+[[
2
2 [r[ [[ > 0 =[r[
2
+[[
2
+ 2 [r[ [[ 6 2
_
[r[
2
+[[
2
_
e portanto,
([r[ +[[)
2
6 2
_
r
2
+
2
_
=[r[ +[[ 6
_
2 [.[
Logo,
[.[ 6 [+(.)[ +[Im(.)[ 6
_
2 [.[
Problema 1.16 Mostre que qualquer nmero complexo . ,= 1 tal que [.[ = 1
pode ser expresso como
. =
t + i
t i
1.2. CONJUGADO E VALOR ABSOLUTO 27
Soluo. Note que
t + i
t i
=
(t + i)
2
t
2
+ 1
=
t
2
1
t
2
+ 1
+ i
_
2t
t
2
+ 1
_
(&)
Queremos saber em que condio a expresso (&) pode representar um
nmero complexo . = r + i. onde r ,= 1. Temos que
t
2
1
t
2
+ 1
+ i
_
2t
t
2
+ 1
_
= r + i =
_
_
_
r =
t
2
1
t
2
+1
=
2t
t
2
+1
=
_

_
t =
_
a+1
1a
2t = (t
2
+ 1)
e portanto,
2
_
r + 1
1 r
=
_
t
2
+ 1
_
=2
_
r + 1
1 r
=
_
r + 1
1 r
+ 1
_
=r
2
+
2
= 1. r ,= 1
Que justamente as hipteses do problema. Logo, a ida e a volta valem
sempre, pois 1 r
2
=
2
> 0.
28 CAPTULO 1. NMEROS COMPLEXOS
1.2.2 Problemas propostos
1. Prove que:
c) 1
1
=
_
2 + i
_
5
_
7
+
_
2 i
_
5
_
7
R.
/) 1
2
=
_
19+7i
9i
_
a
+
_
20+5i
7+6i
_
a
R, onde : N.
2. Verique que os valores de
.
.
2
+ 1
para . = r + i e para . = r i so conjugados.
3. Se [.
I
[ < 1. `
I
> 0 para / = 1. 2. . . . . : e `
1
+`
2
+ +`
a
= 1. mostre
que
[.
1
`
1
+ .
2
`
2
+ + .
a
`
a
[ < 1
4. Se [.[ 6 1. mostre que +(2 + . + .
3
) 6 4.
5. Mostre que, se .
3
,= .
4
. ento

.
1
+ .
2
.
3
+ .
4

6
[.
1
[ +[.
2
[
[[.
3
[ [.
4
[[
6. Prove e d o signicado geomtrico da identidade
[. + n[
2
+[. n[
2
= 2
_
[.[
2
+[n[
2
_
.. n C (Lei do palelograma)
7. Prove
[.[ +[n[ =

1
2
(. + n) +
_
.n

1
2
(. + n)
_
.n

para todo .. n C.
8. Se .
1
e .
2
so razes da equao c.
2
+ 2/. + c = 0. prove que
[.
1
[ +[.
2
[ =
1
[c[
_

/ +
_
cc

/
_
cc

9. Sejam j e nmeros complexos com ,= 0. Prove que se :

1
e :
2
so
razes da equao r
2
+ jr +
2
= 0 tais que
[:
1
[ = [:
2
[ = :
ento
j
q
R.
1.2. CONJUGADO E VALOR ABSOLUTO 29
10. Sejam .. n C tais que [. + n[ =
_
3 e [.[ = [n[ = 1. Calcule [. n[ .
11. Seja . C

tal que

.
3
+
1
:
3

6 2. Prove que

. +
1
:

6 2.
12. Seja . C R tal que
1 + . + .
2
1 . + .
2
R
Prove que [.[ = 1.
13. Se +(.) > 0. mostre que [1 + .[ >
1+j:j
p
2
.
14. Prove que, se +(.) 0 e +(n) 0. ento

n .
n + .

< 1
15. Prove que, se

:&
1:&

< 1. ento [.[ < 1 e [n[ < 1.

16. Calcule (1 + i)
1000
.
17. Seja , (r) = r
4
+ cr
3
+ /r
2
+ cr + d um polinmio com coecientes
reais e razes reais. Prove que se [, (i)[ = 1. ento
c
2007
+ /
2007
+ c
2007
+ d
2007
= 0
18. Prove que se . C, ento +
_
j:ji:
j:j+i:
_
= 0.
19. Suponha que . C e Im(.) 0. Mostre que para quaisquer nmeros
reais c. /. c. d. onde cd /c 0. a imagem Im
_
o:+b
c:+o
_
0. Tambm
mostre que se, cd /c = 1. ento
Im
_
c. + /
c. + d
_
=
Im(.)
[c. + d[
2
20. Mostre que a rea do tringulo denido por dois vetores representantes
dos complexos . e n dada por
A(.. n) =
[Im(. n)[
2
Determine a rea do tringulo com vrtices em 1 +i. 1 2i e 3 2i.
30 CAPTULO 1. NMEROS COMPLEXOS
21. Seja j (r) um polinmio real no constante (isto , o grau de j (r)
maior que um). Se . uma raiz complexa no real, o complexo
conjugado . tambm uma raiz do polinmio j (r) ou seja,
j (.) = j (.)
Se j (1 + i) = 4 + 3i. conclua que
j
_
2
1 + i
_
= 4 3i
22. Sejam e 1 dois nmeros complexos tais que

1
+
1

= 1
Mostre que a origem e os pontos representados por e 1 formam os
vrtices de um tringulo equiltero.
1.3. REPRESENTAO GEOMTRICA 31
1.3 Representao geomtrica
J vimo que no sistema de coordenadas cartesiana cada nmero complexo
. = c +/i pode ser representado por um ponto, cujas coordenadas so c e /.
Ento, a cada nmero complexo
. = c + /i
podemos associar a um ponto 1 (c. /) do plano cartesiano
4
.

Denio 1.4 (Axo de .) O ponto 1 correspodente a um nmero com-

plexo ., chamado de axo de . ou imagem geomtrica de ..

Foi graas representao geomtrica feita por Argand e divulgada por

Gauss que os nmeros complexos acabaram aceitos pelos matemticos da
poca.
Exemplo 1.8 Determine o lugar geomtrico das imagens (ou axos) dos
complexos . tais que:
c) +(.) Im(.) = 0.
/) . +
1
:
R.
4
O plano cartesiano tambm conhecido como plano complexo ou de Argand-Gauss.que
o eixo dos x de eixo real e o eixo dos y de eixo imaginrio.
32 CAPTULO 1. NMEROS COMPLEXOS
Soluo. c) Seja . = r +i. com r. R. Como +(.) Im(.) = 0. ento
r = 0. Logo, +(.) Im(.) = 0. representa a equao da bissetriz dos
quadrantes mpares.
/) Seja . = r + i com r. R.
Se = 0. e r R

, ento . = r R

.
Suponhamos que ,= 0. Como. . +
1
:
R temos que


r
2
+
2
= 0
e portanto, r
2
+
2
= 1.
Logo, . +
1
:
R. representa uma circunferncia de raio 1 e centro (0. 0)
unio com o eixo real, exceto . = 0.
De acordo com a denio de nmeros complexos soma de dois nmeros
complexos . = c + i/ e n = c + id corresponde ao ponto (c + c. / + d) . que
por sua vez, corresponde ao vetor cujas componentes so as coordenadas do
1.3. REPRESENTAO GEOMTRICA 33
ponto. Logo, o nmero . + n representado pela soma vetorial dos vetores
. e n. como mostra a gura abaixo.
34 CAPTULO 1. NMEROS COMPLEXOS
1.3.1 Problemas resolvidos
Problema 1.17 Descreva o conjunto de pontos . no plano complexo que
satisfaz a equao
[. 1[ = 1
Soluo. Se [. 1[ = 1. ento [. 1[
2
= 1. Seja . = r + i. com r. R.
Ento
1 = [(r 1) + i[
2
= (r 1)
2
+
2
Logo, [. 1[ = 1. representa uma circunferncia de centro (0. 0) e raio 1.
1.3. REPRESENTAO GEOMTRICA 35
1.3.2 Problemas propostos
1. Descreva geometricamente cada uma das seguintes regies:
c) [. 4[ [.[ .
/) +
_
1
:
_
<
1
2
.
2. Suponha que .
1
. .
2
. .
3
sejam trs pontos distintos no plano complexo e
que / seja um nmero real. Interprete
.
3
.
2
= / (.
2
.
1
)
geometricamente.
3. Represente gracamente cada um dos seguintes subconjuntos do plano
complexo:
c) . C : +(.) < 1 .
/) . C : 1 6 +(.) 6 1 .
c) . C : Im(.) > 0 .
d) . C : [.[ 6 2 .
c) . C : 1 < [.[ < 3 .
,) . C : [.[ 2 .
36 CAPTULO 1. NMEROS COMPLEXOS
1.4 Representao polar e argumento
Na geometria analtica, apredemos que um ponto 1 com coordenadas
(r. ) no plano pode ser unicamente representado pelo comprimento : 0
do segmento 1C de 1 at a origem C = (0. 0) e o ngulo o que 1C faz com
Cr na direo anti-horrio.
Os dados : e o so as coordenadas polares do ponto 1. Como cada
nmero complexo . pode ser representado de modo nico por um ponto no
plano, ento podemos denir coordenadas polares do nmero ..
Exemplo 1.9 Para . = 1. . = 2i e . = 3+4i. Calcule : e 0 6 o < 2:.
Soluo. Temos que : = [1[ = 1 e o ponto 1 (1. 0) est no semi-eixo
negativo Cr
Portanto, o = :.
1.4. REPRESENTAO POLAR E ARGUMENTO 37
Para . = 2i, temos . = [2i[ = 2 e o ponto 1 (0. 2) est no semi-eixo
negativo C
Finalmente, para . = 2 + 5i. temos : = [3 + 4i[ = 5. Vamos agora
representar o ponto 1 (3. 4) no plano cartesiano
Neste caso, o = : + c. onde tg c = 3,4. Logo,
o = : + arctg (3,4)
Dado um nmero complexo . = r+i ,= 0. Seja (r. ) o par que representa
. no plano. Logo, podemos represent-lo em coordenadas polares como
_
_
_
r = : cos o
= : sen o
. 0 6 o < 2:
onde : = [.[ e o o ngulo que o vetor representado por . faz com o eixo
real medido no sentido anti-horrio em radianos. Assim, podemos escrever
. = [.[ (cos o + i sen o)
38 CAPTULO 1. NMEROS COMPLEXOS

Denio 1.5 (Forma polar) A representao . = [.[ (cos o + i sen o)

dita uma forma polar de ..

Devido periodicidade das funes seno e cosseno, evidente que a

equao
. = [.[ (cos o + i sen o)
continua vlida se substituirmos o por o + 2/:. / Z. Em particular, .
possui innitos argumentos, pois depende de nossa escolha de / Z.
Quando 0 6 o < 2: ser chamado
5
de argumento principal de . e
denotado por Arg (.) .
A seguir formalmente denimos o argumento de um nmero complexo.

Denio 1.6 (Argumento) O argumento de um nmero complexo

. denido como
arg (.) = Arg (.) + 2/:. / Z

Exemplo 1.10 Escreva na forma polar o complexo . = 2 2i.

Soluo. Temos que [.[ =
_
2
2
+ 2
2
= 2
_
2. Representando o ponto 1 (2. 2)
no plano cartesiano
5
Tambm muito comum escrever 6 < para representar o argumento principal
de z:
1.4. REPRESENTAO POLAR E ARGUMENTO 39
temos o + c = 2:. onde
tg c =
2
2
= 1 == c =
3:
4
Assim, o = 2:
3
4
=
5
4
. ou simplesmente, o =

4
. Logo,
arg (.) =
:
4
+ 2/:. / Z
e portanto,
. = 2
_
2
_
cos
_

:
4
_
+ i sen
_

:
4
__
para / = 0
Teorema 1.4 Seja . ,= 0. Se o um argumento de .. ento o um
argumento de .
1
.
Demonstrao. Escrevendo . = [.[ (cos o + i sen o), tomando o conjugado,
obtemos
. = [.[ (cos o i sen o) = . = [.[ [cos (o) + i sen (o)]
Por outro lado, como .
1
=
:
j:j
2
. ento
.
1
= [.[
1
[cos (o) + i sen (o)]
Logo, arg (.
1
) = o = arg (.) .
Nota: Em geral, no verdade que Arg (.
1
) = Arg (.) .
De fato, considere . = 1. Ento
Arg
_
.
1
_
= : ,= : = Arg (.)
conveniente usar, s vezes, a representao polar em torno de um certo
ponto .
0
ao invs da origem. A representao
. .
0
= j (cos o + i sen o)
de . .
0
. na forma polar, pode ser interpretada gracamente como indicada
na gura abaixo
40 CAPTULO 1. NMEROS COMPLEXOS
onde j a distncia entre . e .
0
. isto , j = [. .
0
[ e c o ngulo de
inclinao do vetor. Por exemplo, a equao
. + i = . (i) = 4 (cos c + i sen c)
onde c assume todos os valores no intervalo 0 6 c < 2:. representa os pontos
do crculo de raio 4 e com centro em (0. 1).
Teorema 1.5 Sejam .. n dois nmeros complexos. Ento,
arg (.n) = arg (.) + arg (n) + 2/:. onde / Z
Demonstrao. Sejam . = [.[ (cos c + i sen c) e n = [n[ (cos o + i sen o) .
Ento
.n = [.[ [n[ [(cos c + i sen c) (cos o + i sen o)]
= [.[ [n[ [cos ccos o sen csen o + i (cos csen o + cos o sen c)]
= [.[ [n[ [cos (c + o) + i sen (c + o)]
Logo, o ngulo que .n faz com eixo Cr
, = c + o
e portanto, arg (.n) = arg (.) + arg (n) + 2/:. onde / Z.
Nota: Em geral, no verdade que Arg (.n) = Arg (.) + Arg (n) .
De fato, considere . = 1 + i e n = 2 2i. Ento
Arg (.) =
:
4
e Arg (n) =
7:
4
Por outro lado, podemos ver que .n = 4, e portanto, Arg (.n) = 0. Isso est
de acordo com o Teorema 1.5, para o caso / = 0.
Exemplo 1.11 Fixando o intervalo [0. 2:) . calcule (2 + i) (3 + i) e deduza
a igualdade
arctg
1
2
+ arctg
1
3
=
:
4
Soluo. Sejam . = 2 + i e n = 3 + i. Ento
.n = 5 + 5i
como tg (arg (.)) =
1
2
, tg (arg (n)) =
1
3
e tg (arg (.n)) = 1 temos que
arg . = arctg
1
2
. arg n = arctg
1
3
e arg (.n) =
:
4
Logo, da igualdade, arg (.n) = arg (.) + arg (n) . obtemos
arctg
1
2
+ arctg
1
3
=
:
4
1.4. REPRESENTAO POLAR E ARGUMENTO 41
Corolrio 1.1 Sejam .. n dois nmeros complexos, com n ,= 0. Ento,
arg
_
.
n
_
= arg (.) arg (n) + 2/:. onde / Z
Demonstrao. Pelo Teorema 1.3,
. . = [.[
2
e [n[ = [n[ =
.
n
=
.n
[n[
2
e

.
n

=
[.[
[n[
Sejam . = [.[ (cos c + i sen c) e n = [n[ (cos o + i sen o) . Ento
.
n
=
[.[
[n[
[(cos c + i sen c) (cos (o) + i sen (o))]
=
[.[
[n[
[cos ccos o sen csen o + i (cos csen o + cos o sen c)]
=
[.[
[n[
[cos (c o) + i sen (c o)]
Logo, o ngulo que
:
&
faz com eixo Cr
, = c o
e portanto, arg
_
:
&
_
= arg (.) arg (n) + 2/:. onde / Z.
Exemplo 1.12 Se . e n so dois nmeros complexos tais que [.[ = 3, [n[ =
4 e [. + n[ = 5. Mostre que
arg
_
.
n
_
=
:
2
+ 2/:. com / Z
Soluo. Sejam c = arg . e o = arg n. Ento
. = 3 (cos c + i sen c) e n = 4 (cos o + i sen o)
e portanto,
. + n = (3 cos c + 4 cos o) + i (3 sen c + 4 sen o)
Temos que
[. + n[ =
_
(3 cos c + 4 cos o)
2
+ (3 sen c + 4 sen o)
2
=
_
25 + 24 (cos ccos o + sen csen o)
=
_
25 + 24 cos (c o)
42 CAPTULO 1. NMEROS COMPLEXOS
e por hiptese,
_
25 + 24 cos (c o) = 5 =25 + 24 cos (c o) = 25 =cos (c o) = 0
Logo, c o =

2
ou seja,
arg
_
.
n
_
= arg . arg n + 2/: =
:
2
+ 2/:. com / Z
Nota: Outra forma de ver a multiplicao de nmeros complexos a seguinte:
seja . C, dene-se
z
:
: C C
denida por z
:
(n) = .n. Pelo teorema 1.5 sabemos que o efeito de z
:

girar cada nmero complexo de um ngulo igual a arg (.) no sentido contrrio
ao dos ponteiros do relgio e ampliando o comprimento pelo fator [.[. Por
exemplo z
i
gira cada nmero complexo de

2
.
A aplicao z
:
linear, isto ,
z
:
(cn
1
+ /n
2
) = cz
:
(n
1
) + /z
:
(n
2
)
onde c. / R e n
1
. n
2
C. Pondo . = c + i/. sabemos da lgebra Linear
que a representao matricial da transformao linear z
:
dada por
6
` (z
:
) =
_
_
c /
/ c
_
_
pois a base de C , = (1. 0). (0. 1)
6
De fato,
z
z
(1; 0) = (a; b) = a (1; 0) + b (0; 1)
z
z
(1; 0) = (b; a) = b (1; 0) + a (0; 1)
e portanto,
M (z
z
) = [z
z
(z)]

=
_
_
a b
b a
_
_
1.4. REPRESENTAO POLAR E ARGUMENTO 43
A imagem de n = r + i por meio de z
:
dada
z
:
(n) =
_
_
c /
/ c
_
_
_
_
r

_
_
=
_
_
cr /
/r + c
_
_
Uma das importantes ferramentas na teoria bsica de nmeros complexos
, sem dvida, a frmula de Moivre
7
para calcular a potenciao de nmeros
complexos.
Teorema 1.6 (Teorema de Moivre) Seja . = [.[ (cos o + i sen o) um n-
mero complexo. Ento
.
a
= [.[
a
(cos :o + i sen :o) , onde : Z
Demonstrao. A demonstrao feita pelo uso da Induo Matemtica.
Primeiro, vamos supor que : = 2. Neste caso, um clculo simples mostra
que
.
2
= [.[
2
(cos 2o + i sen 2o)
Para : 2. aplicamos a Induo Matemtica. Suponhamos que
.
a1
= [.[
a1
(cos ((: 1) o) + i sen ((: 1) o)) (hiptese de induo)
Vamos provar que o resultado tambm verdadeiro para :. Para isso, observe
que
.
a
= . .
a1
O lado direito pode ser desenvolvido da seguinte maneira:
[.[ (cos o + i sen o) [.[
a1
(cos ((: 1) o) + i sen ((: 1) o))
Logo, aps a multiplicao, temos que
.
a
= [.[
a
(cos :o + i sen :o)
Seja agora : < 0. Note que se . = cos o +i sen o. para algum o R. ento
.
1
= . = cos o i sen o
7
Abraham De Moivre (1667-1754), nasceu na Frana. De Moivre considerado um
dos fundadores da teoria de probabilidade, por causa do seu trabalho The Doctrine of
Chances.
44 CAPTULO 1. NMEROS COMPLEXOS
Como (:) N, temos que
.
a
= [[.[ (cos o + i sen o)]
a
=
_
([.[ (cos o + i sen o))
a

1
=
_
[.[
a
(cos (:o) + i sen (:o))

1
= [.[
a
(cos :o i sen :o)
1
= [.[
a
(cos :o + i sen :o)

Exemplo 1.13 Calcule (1 + i)

1000
.
Soluo. fcil ver que
1 + i =
_
2
_
cos
:
4
+ i sen
:
4
_
Pela frmula de Moivre,
(1 + i)
1000
=
_
_
2
_
1000
_
cos
_
1000
:
4
_
+ i sen
_
1000
:
4
__
= 2
500
[cos (250:) + i sen (250:)]
= 2
500
Exemplo 1.14 Determine os valores inteiros de : para os quais
_
1 i
_
3
_
a
real.
Soluo. Note que
1 i
_
3 = 2
_
cos
5:
3
+ i sen
5:
3
_
Pela frmula de Moivre,
_
1 i
_
3
_
a
= 2
a
_
cos
5::
3
+ i sen
5::
3
_
Para que
_
1 i
_
3
_
a
seja real necessrio que
sen
5::
3
= 0 =
5::
3
= /:. / Z =5: = 3/
ou seja, : =
3I
5
. Como : deve ser inteiro, / deve ser mltiplo de 5 e portanto,
: mltiplo de 3 ou seja,
: = 3t. t Z
1.4. REPRESENTAO POLAR E ARGUMENTO 45
Exemplo 1.15 Suponha que . +
1
:
= 2 cos o. onde o R.
c) Mostre que [.[ = 1.
/) Mostre que .
a
+
1
:
n
= 2 cos (:o) .
Soluo. c) Seja . = [.[ (cos o + i sen o) . Ento
2 cos o = . +
1
.
=
_
[.[ +
1
[.[
_
cos o + i
_
[.[
1
[.[
_
sen o
e da,
_
[.[
1
[.[
_
sen o = 0 =
_
[.[
1
[.[
_
= 0 ou sen o = 0 =[.[ = 1 ou sen o = 0
Se sen o = 0. ento
cos
2
o = 1 =cos o = 1
Para sen o = 0 e cos o = 1. temos . = [.[ e portanto,
[.[ +
1
[.[
= 2 cos o =2 6 [.[ +
1
[.[
= 2
Logo, [.[ = 1.
Para cos o = 1. temos . = [.[ e portanto,
[.[ +
1
[.[
= 2 cos o =2 6 [.[ +
1
[.[
= 2
Logo, [.[ = 1.
/) Sendo [.[ = 1. temos que . = cos o + i sen o. Ento
. +
1
.
= cos o + i sen o + cos o i sen o = 2 cos o
e
.
a
+
1
.
a
= cos (:o) + i sen (:o) + cos (:o) i sen (:o) = 2 cos (:o)
Exemplo 1.16 Detemine . = (1 + cos o + i sen o)
a
. onde : N.
46 CAPTULO 1. NMEROS COMPLEXOS
Soluo. J sabemos que
1 + cos o = 2 cos
2
(o,2) e sen o = 2 sen (o,2) cos (o,2)
Ento
. =
_
2 cos
2
(o,2) + i2 sen (o,2) cos (o,2)

a
= 2
a
cos
a
(o,2) [cos (o,2) + i sen (o,2)]
a
e pela frmula de Moivre,
. = 2
a
cos
a
(o,2)
_
cos
_
:o
2
_
+ i sen
_
:o
2
__

Denio 1.7 (Raiz :-sima) Dados um natural : > 1 e n C. dizemos

que . C uma raiz :-sima de n se
.
a
= n
e denotamos . por
n
_
n ou n
1a
.

Primeiramente, claro que se n = 0. ento a equao .

a
= n apresenta
somente a soluo . = 0. Logo, ao referimos raiz :-sima de n suporemos
que n ,= 0.
Teorema 1.7 Seja n um nmero complexo com a representao polar
n = [n[ (cos o + i sen o)
Ento, as :-sima razes de n so dadas pela frmula
n
I
=
n
_
[n[
_
cos
_
0+2I
a
_
+ i sen
_
0+2I
a
_
onde / = 0. 1. 2. . . . . : 1.
Demonstrao. As razes :-sima razes de n so todos os nmeros com-
plexos . tais que .
a
= n. Logo, se colocarmos
. = [.[ (cos , + i sen ,)
ento pela frmula de Moivre obtemos,
[.[
a
(cos :, + i sen :,) = [n[ (cos o + i sen o)
1.4. REPRESENTAO POLAR E ARGUMENTO 47
o que equivale a dizer que
[.[
a
= [n[ . cos :, = cos o e sen :, = sen o
Logo,
[.[ =
n
_
[n[ e :, = o + 2/:. onde / Z
e portanto, as razes :-sima de n so os nmeros
n
I
=
n
_
[n[
_
cos
_
o + 2/:
:
_
+ i sen
_
o + 2/:
:
__
. onde / Z
Tomando / = 0. 1. 2. . . . . : 1. obtm-se : valores distintos para n
I
.
Armao: Os demais valores de / so repeties das razes
n
0
. n
1
. . . . . n
a1
De fato, pelo algoritmo da diviso, existem . : Z tais que
/ = : + : onde 0 6 : < :
Ento
o + 2/:
:
=
o + 2: (: + :)
:
=
o + 2::
:
+ 2:
e portanto, n
I
= n
v
. onde : 0. 1. 2. . . . . : 1.
Nota: No plano complexo, as razes :-simas distintas de n so os vrtices
de um polgono regular de : lados inscrito em circunferncia de raio
n
_
[n[ e
centro na origem.
Exemplo 1.17 Determine todas as razes de .
6
= 64.
Soluo. Temos que
[64[ = 64 e o = :
Logo, as razes de .
6
= 64 so:
n
I
=
6
_
64
_
cos
_
: + 2/:
6
_
+ i sen
_
: + 2/:
6
__
. / = 0. 1. 2. 3. 4. 5
ou seja,
n
0
= 2
_
cos

6
+ i sen

6

=
_
3 + i
n
1
= 2
_
cos

2
+ i sen

2

= 2i
n
2
= 2
_
cos
5
6
+ i sen
5
6

=
_
3 + i
48 CAPTULO 1. NMEROS COMPLEXOS
n
3
= 2
_
cos
7
6
+ i sen
7
6

=
_
3 i
n
4
= 2
_
cos
3
2
+ i sen
3
2

= 2i
n
5
= 2
_
cos
11
6
+ i sen
11
6

=
_
3 i
Vemos, ento que os axos das razes de .
6
= 64 so os vrtices hexgono
inscrito numa circunferncia de raio 2.
Exemplo 1.18 Ache todos os valores de . C. tais que .
2
+[.[ = 0.
Soluo. Seja . = : (cos o + i sen o) . Ento
:
2
(cos 2o + i sen 2o) + : = 0 =: [: (cos 2o + i sen 2o) + 1] = 0
e da, : = 0 ou : (cos 2o + i sen 2o) + 1 = 0
Se : (cos 2o + i sen 2o) + 1 = 0. ento
: sen 2o = 0 =o =
/:
2
. / Z
Por outro lado, como : cos 2o + 1 = 0. ento
: cos /: + 1 = 0
e portanto, temos as seguinte situaes:
Para : = 1. temos que
o =
(2 + 1) :
2
. Z
Assim,
. = cos
(2 + 1) :
2
+ i sen
(2 + 1) :
2
e os valores de . que satisfazem a equao .
2
+[.[ = 0 so:
. = i. . = i. e . = 0
1.4. REPRESENTAO POLAR E ARGUMENTO 49
1.4.1 Problemas resolvidos
Problema 1.18 Calcule
. =
(1 i)
10
__
3 + i
_
5
_
1 i
_
3
_
10
Soluo. Escrevendo . na forma polar, temos
. =
__
2
_
10
_
cos
7
4
+ i sen
7
4
_
10
2
5
_
cos

6
+ i sen

6
_
5
2
10
_
cos
4
3
+ i sen
4
3
_
10
=
2
10
_
cos
35
2
+ i sen
35
2
_ _
cos
5
6
+ i sen
5
6
_
2
10
_
cos
40
3
+ i sen
40
3
_
=
cos
55
3
+ i sen
55
3
cos
40
3
+ i sen
40
3
= cos 5: + i sen 5:
Logo, . = 1.
Problema 1.19 Determine todas as solues . C da equao
.
6
= (i + 2)
3
+
1 28i
2 i
Soluo. Simplicando o lado direito, temos
(i + 2)
3
+
1 28i
2 i
= i
3
+ 6i
2
+ 12i + 8 +
30 55i
5
= 8
Logo, as solues da equao
.
6
= (i + 2)
3
+
1 28i
2 i
so portanto as razes sextas de 8, ou seja,
n
I
=
6
_
8
_
cos
_
: + 2/:
6
_
+ i sen
_
: + 2/:
6
__
. / = 0. 1. 2. 3. 4. 5
Problema 1.20 Simplique
1 + cos o + cos 2o + + cos :o e sen o + sen 2o + + sen :o
onde 0 < o < 2:.
50 CAPTULO 1. NMEROS COMPLEXOS
Soluo. Se o = 0 ambas expresses so iguais a zero. Seno, temos . =
e
i0
,= 1. Ento
1 + cos o + cos 2o + + cos :o = +
_
1 + . + .
2
+ + .
a
_
= +
_
1 .
a+1
1 .
_
= +
__
1 .
a+1
1 .
__
1 .
1 .
__
= +
_
1 . .
a+1
+ .
a
1 +[.[
2
. .
_
e portanto,
1 + cos o + cos 2o + + cos :o =
1 cos o cos (: + 1) o + cos :o
2 2 cos o
Temos que
sen o + sen 2o + + sen :o = Im
_
1 . .
a+1
+ .
a
1 +[.[
2
. .
_
Logo,
sen o + sen 2o + + sen :o =
sen o sen (: + 1) o + sen :o
2 2 cos o
Problema 1.21 Prove que, se : N, ento

sen (:o,2)
sen (o,2)

6 :. onde o ,= 0. 2:. 4:. . . .

Soluo. Suponhamos que . = e
i0
. Ento

1 .
a
1 .

1 (cos :o + i sen :o)

1 (cos o + i sen o)

(1 cos :o) + i sen :o

(1 cos o) + i sen o

=
_
(1 cos :o)
2
+ sen
2
:o
(1 cos o)
2
+ sen
2
o
=
_
2 2 cos :o
2 2 cos o
=
_
1 cos :o
1 cos o
=
_
sen
2
(:o,2)
sen
2
(o,2)
1.4. REPRESENTAO POLAR E ARGUMENTO 51
Logo,

1:
n
1:

sen(a02)
sen(02)

. Por outro lado,

1 .
a
1 .

1 + . + .
2
+ + .
a1

6 [1[ +[.[ +[.[

2
+ +[.[
a1
Como . = e
i0
. ento [.[ = 1. e portanto

1 .
a
1 .

6 1 + 1 + + 1
. .
aparcelas
= :
Assim,

sen(a02)
sen(02)

6 :.
Problema 1.22 Prove que cos

7
+ cos
3
7
+ cos
5
7
=
1
2
.
Soluo. Seja . = cos

7
+ i sen

7
= c
i

7
. Ento pela frmula de Moivre,
.
7
= cis : = 1 ) .
7
= 1
Mas,
cos
:
7
=
c
i

7
+ c
i

7
2
=
. + .
1
2
. cos
3:
7
=
.
3
+ .
3
2
e cos
5
7
=
:
5
+:
5
2
. Logo,
cos
:
7
+ cos
3:
7
+ cos
5:
7
=
.
10
+ .
8
+ .
6
+ .
4
+ .
2
+ 1
2.
5
Como .
7
= 1. temos que .
10
= .
3
e .
8
= .. Ento
.
10
+ .
8
+ .
6
+ .
4
+ .
2
+ 1 = .
6
+ .
4
.
3
+ .
2
. + 1
=
_
.
6
.
5
+ .
4
.
3
+ .
2
. + 1
_
+ .
5
=
.
7
+ 1
. + 1
+ .
5
= .
5
Logo,
cos
:
7
+ cos
3:
7
+ cos
5:
7
=
.
5
2.
5
=
1
2
Problema 1.23 Prove que
cos
:
5
=
1 +
_
5
4
52 CAPTULO 1. NMEROS COMPLEXOS
Soluo. Seja . = cos

5
+ i sen

5
.Ento pela frmula de Moivre,
.
5
= 1 ) (. + 1)
_
.
4
.
3
+ .
2
. + 1
_
= 0
Como . ,= 1. temos que
.
4
.
3
+ .
2
. + 1 = 0
e dividindo ambos os membros por .
2
. obtemos:
.
2
+
1
:
2

_
. +
1
:
_
+ 1 = 0
Como . = cos

5
+ i sen

5
. ento
. +
1
.
= 2 cos
:
5
Seja r = cos

5
. Ento
. +
1
.
= 2r
Mas,
.
2
+
1
.
2
=
_
. +
1
.
_
2
2 = 4r
2
2
e portanto, 4r
2
2r 1 = 0, cujas razes so:
r
1
=
1 +
_
5
4
e r
2
=
1
_
5
4
< 0
Logo, cos

5
=
1+
p
5
4
.
Problema 1.24 Mostre que qualquer nmero complexo . tal que [.[ = 1.
tem-se
1 + .
1 .
= i cotg
_
arg .
2
_
Soluo. Seja . = cos o + i sen o. onde o = Arg .. Ento j vimos que
1 + . = 1 + cos o + i sen o = 2 cos
2
_
o
2
_
+ i 2 sen
_
o
2
_
cos
_
o
2
_
Sabemos que
1 cos o = 2 sin
2
_
o
2
_
e sen o = 2 sen
_
o
2
_
cos
_
o
2
_
1.4. REPRESENTAO POLAR E ARGUMENTO 53
Ento
1 . = 1 cos o i sen o = 2 sin
2
_
o
2
_
i 2 sen
_
o
2
_
cos
_
o
2
_
Logo,
1 + .
1 .
=
2 cos
2
_
0
2
_
+ i 2 sen
_
0
2
_
cos
_
0
2
_
2 sin
2
_
0
2
_
i 2 sen
_
0
2
_
cos
_
0
2
_
=
2 cos
_
0
2
_ _
cos
_
0
2
_
+ i sen
_
0
2
_
2 sin
_
0
2
_
i
_
cos
_
0
2
_
+ i sen
_
0
2
_
= i
cos
_
0
2
_
sin
_
0
2
_
e portanto,
1+:
1:
= i cotg
_
0
2
_
ou seja,
1 + .
1 .
= i cotg
_
arg .
2
_
Problema 1.25 Sendo c. / e c nmeros naturais em 1.. e . um nmero
complexo tal que [.[ = 1. Determine um valor para cada um dos nmeros
c. /. c e . de forma que eles satisfaam a igualdade
1
.
o
+
1
.
b
+
1
.
c
=
1
.
9
Soluo. Seja : a razo da 1.. (c. /. c) . Ento
_
_
_
c = / :
c = / + :
e da,
1
.
o
+
1
.
b
+
1
.
c
= .
o
+ .
b
+ .
c
= .
b+v
+ .
b
+ .
bv
= .
b
_
1 + .
v
+ .
v
_
o que implica que
.
b
_
1 + .
v
+ .
v
_
= .
9
=1 + .
v
+ .
v
= .
b9
Agora, como [.[ = 1. podemos escrever . = cos o + i sen o de modo que
1 + 2 cos (:o) = cos [(/ 9) o] + i sen [(/ 9) o]
54 CAPTULO 1. NMEROS COMPLEXOS
Logo, pela igualdade dos nmeros complexos,
_
_
_
cos [(/ 9) o] = 1 + 2 cos (:o)
sen [(/ 9) o] = 0
Note que o problema admite innitas solues, por exemplo para faciltar
vamos considerar : = 3 e o = :. Ento
_
_
_
cos [(/ 9) :] = 1 + 2 cos 3:
sen [(/ 9) :] = 0
=(/ 9) : = /:. / Z
ou ainda, / 9 = /. / Z. Assim, uma soluo do problema
/ = 4. c = 1. c = 7 e . = 1
pois
1
(1)
1
+
1
(1)
4
+
1
(1)
7
= 1 + 1 1 = 1 =
1
(1)
9
1.4. REPRESENTAO POLAR E ARGUMENTO 55
1.4.2 Problemas propostos
1. Determine o nmero complexo . tal que arg (. + i) =

4
e [.[ = 2.
2. Encontre
c)
3
_
i /)
5
_
1 i c)
_
3 i d)
4
_
1
3. Encontre o comprimento dos lados de um pentgono inscrito em um
crculo unitrio.
4. Usando a igualdade cos

4
= sen

4
=
p
2
2
. Encontre
c) cos

16
/) sen

16
5. Determine as razes da equao .
7
+ 2.
6
+ . + 2 = 0.
6. Mostre que a equao
.
8
+ .
7
+ .
6
+ .
5
+ .
4
+ .
3
+ .
2
+ . + 1 = 0
no possui raiz real.
7. Dados os nmeros complexos .
1
= c + i/ e .
2
= c + id. Mostre que a
representao matricial satisfaz as seguintes propriedades:
c) ` (z
:
1
+:
2
) = ` (z
:
1
) + ` (z
:
2
) .
/) ` (z
:
1
:
2
) = ` (z
:
1
) ` (z
:
2
) .
c) `
_
z
:
n
1
_
= [` (z
:
1
)]
a
.
d) ` (z
0+i0
) =
_
_
1 0
0 1
_
_
.
c) Se . ,= 0, ento ` (z
:
1) = [` (z
:
)]
1
.
8. Mostre que a equao .
6
.
4
+ .
2
1 = 0. possui raiz real.
9. Determine : ineiro para que . = cos
2
3
+ i sen
2
3
seja raiz da equao
(1 + .)
a
= 1 + .
a
56 CAPTULO 1. NMEROS COMPLEXOS
1.5 Razes da unidade
Nesta seo, estudaremos as razes :simas da unidade de um nmero
complexo. As razes :simas da unidade desempenham um papel impor-
tante em vrios ramos da matemtica, por exemplo, a teoria das equaes
algbricas.

Denio 1.8 (Raiz :sima da unidade) Uma raiz :sima da uni-

dade simplemente uma raiz :sima do complexo . = 1 + i 0. onde
: Z. : 1.

Como
1 = cos 0 + i sen 0
pelo Teorema 1.7, as razes :simas da unidade so dadas por

I
= n
I
= cos
2I
a
+ i sen
2I
a
para / = 0. 1. 2. . . . . :1. Em particular, quando / = 1. a raiz correspondente
denotada por
. =
1
= cos
2
a
+ i sen
2
a
e pela frmula de Moivre,

0
= cos
0
a
+ i sen
0
a
= 1

1
= cos
2
a
+ i sen
2
a
= .

2
= cos
4
a
+ i sen
4
a
= .
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

a1
= cos
2(a1)
a
+ i sen
2(a1)
a
= .
a1
isto , todas as razes :simas da unidade so expressas como potncia de
. = cos
2:
:
+ i sen
2:
:
ou seja, as razes :simas da unidade so:
1. .. .
2
. . . . . .
a1
1.5. RAZES DA UNIDADE 57
e o conjunto das razes :simas da unidade 1. .. .
2
. . . . . .
a1
denotado
por '
a
. ou seja,
'
a
= . C : .
a
= 1 = 1. .. .
2
. . . . . .
a1

No plano complexo, as razes :simas da unidade so os vrtices de um

polgono regular de : lados inscrito no crculo unitrio de centro . = 0 e
tendo um vrtice no ponto . = 1. conforme ilustrado na gura abaixo
Exemplo 1.19 Determine as razes cbicas de . = 1.
Soluo. As razes cbicas de . = 1 so:
1. . e .
2
. onde . = cos
2:
3
+ i sen
2:
3
ou seja, . =
1
2
+ i
_
3
2
e pela frmula de Moivre,
.
2
= cos
4:
3
+ i sen
4:
3
=
1
2
i
_
3
2
= .
Note que as razes 1. . e .
2
so os vtices de um tringulo equiltero.
58 CAPTULO 1. NMEROS COMPLEXOS
Teorema 1.8 Seja . um nmero complexo no nulo. Se .
0
uma raiz
:sima qualquer de .. ento
.
0
. .
0
.. .
0
.
2
. . . . . .
0
.
a1
so as razes :simas de ..
Demonstrao. Seja .
0
uma raiz :sima qualquer de .. .
a
0
= .. .
0
,= 0.
Sejam
1. .. .
2
. . . . . .
a1
as as razes :simas da unidade. Como .
0
,= 0 e as as razes :simas da
unidade so distintas, temos que
.
0
. .
0
.. .
0
.
2
. . . . . .
0
.
a1
so : complexos distintos. Por outro lado,
_
.
0
.
I
_
a
= .
a
0
(.
a
)
I
= .
a
0
1 = .
a
0
= .
e portanto, .
0
. .
0
.. .
0
.
2
. . . . . .
0
.
a1
so as razes :simas de ..
Exemplo 1.20 Resolva a equao .
3
= 8.
Soluo. Uma raiz da equao .
3
= 8 n
0
= 2. J vimos que as razes
cbicas da unidade so: 1. . e .
2
. onde
. = cos
2:
3
+ i sen
2:
3
=
1
2
+ i
_
3
2
Logo, pelo Teorema 1.8, as razes da equao .
3
= 8 so:
.
0
= 2;
.
1
= .
0
. = 2
_

1
2
+ i
p
3
2
_
= 1 + i
_
3;
.
2
= .
0
.
2
= 2
_

1
2
i
p
3
2
_
= 1 i
_
3.
Exemplo 1.21 Ache todas as razes da equao (. 1)
a
= .
a
.
1.5. RAZES DA UNIDADE 59
Soluo. Para todo . ,= 0 a equao (. 1)
a
= .
a
equivalente
. 1
.
= 1 =
. 1
.
= .. onde . = cos
2/:
:
+ i sen
2/:
:
para / = 1. 2. . . . . :. pois
:1
:
,= 1. Agora,
. 1
.
= . =. =
1
1 .
=
1
1 cos
2I
a
i sen
2I
a
=
1 cos
2I
a
i sen
2I
a
2 2 cos
2I
a
Como
1 cos
2/:
:
= 2 sen
2
/:
:
e sen
2/:
:
= 2 sen
/:
:
cos
/:
:
ento
. =
1
2
+ i
_
2 sen
I
a
cos
I
a
4 sen
2
I
a
_
=
1
2
_
1 + i cot
/:
:
_
para / = 1. 2. . . . . :.
Exemplo 1.22 Usando a frmula para a soma de uma srie geomtrica
nita, mostre que, se . uma raiz :sima da unidade, ento
1 + . + .
2
+ .
3
+ + .
a1
= 0
Soluo. Usando a frmula para a soma de uma srie geomtrica nita,
temos:
1 + . + .
2
+ .
3
+ + .
a1
=
1 .
a
1 .
=
0
1 .
= 0
Exemplo 1.23 Se : = 2. 3. . . . . mostre que
cos
2:
:
+ cos
4:
:
+ + cos
2 (: 1) :
:
= 1
e
sen
2:
:
+ sen
4:
:
+ + sen
2 (: 1) :
:
= 0
Soluo. Considere a equao .
a
1 = 0. cujas razes so 1. .. .
2
. . . . . .
a1
.
onde
. = cos
2:
:
+ i sen
2:
:
J sabemos que 1 + . + .
2
+ .
3
+ + .
a1
= 0 e pela frmula de Moivre
1+cos
2:
:
+ +cos
2 (: 1) :
:
+i
_
sen
2:
:
+ sen
4:
:
+ + sen
2 (: 1) :
:
_
= 0
60 CAPTULO 1. NMEROS COMPLEXOS
Logo, pela igualdade de nmeros complexos
cos
2:
:
+ cos
4:
:
+ + cos
2 (: 1) :
:
= 1
e
sen
2:
:
+ sen
4:
:
+ + sen
2 (: 1) :
:
= 0
Teorema 1.9 Se
A
e
j
so duas razes :simas da unidade, ento

A

j
.

A

j
e
1

j
so razes :simas da unidade.
Demonstrao. Como
A
e
j
so duas razes :simas da unidade, ento
(
A
)
a
=
_

j
_
a
= 1 =
_

j
_
a
= (
A
)
a

j
_
a
= 1
e
_

j
_
a
=
(
A
)
a
_

j
_
a
= 1
Por ltimo,
_
1

j
_
a
=
1
_

j
_
a
= 1

Teorema 1.10 As razes :simas da unidade satisfazem as seguintes condi-

es:
c)
A

j
=
A+j
.
/) (
A
)
I
=
AI
para todo / Z.
c) (
A
)
1
=
A
=
aA
.
Demonstrao. c) Pelo Teorema 1.5,

A

j
=
_
cos
2`:
:
+ i sen
2`:
:
__
cos
2j:
:
+ i sen
2j:
:
_
= cos
2 (` + j) :
:
+ i sen
2 (` + j) :
:
=
A+j
1.5. RAZES DA UNIDADE 61
/) Pela frmula de Moivre,
(
A
)
I
=
_
cos
2`:
:
+ i sen
2`:
:
_
I
= cos
2`/:
:
+ i sen
2`/:
:
e portanto, (
A
)
I
=
AI
para todo / Z.
c) Pelo item anterior,
(
A
)
1
=
A
= cos
_
2`:
:
_
+i sen
_
2`:
:
_
= cos
_
2`:
:
_
i sen
_
2`:
:
_
=
A
Finalmente, como
2(aA)
a
=
2A
a
+ 2:. ento

aA
= cos
_
2 (: `) :
:
_
+ i sen
_
2 (: `) :
:
_
= cos
_

2`:
:
_
+ i sen
_

2`:
:
_
=
A

Exemplo 1.24 Considere as razes 34simas da unidade

I
= cos
2/:
34
+ i sen
2/:
34
. onde / = 0. 1. 2. . . . . 33
Calcule:
c)
21

19
.
/) (
12
)
13
.
c)

4

25
.
Soluo. c) Pelo Teorema 1.10,
21

19
=
21+19
=
40
. mas
40 = 6 (mod 34)
Logo,
21

19
=
6
.
/) Temos que
(
12
)
13
=
1213
=
156
como 156 = 20 (mod 34) e portanto, (
12
)
13
=
20
.
62 CAPTULO 1. NMEROS COMPLEXOS
c) Temos que

25
=
_
1

25
_

4
=
3425

4
=
9

4
=
13
Algumas das razes :simas da unidade se destacam sobre as demais,
por exemplo, as razes quarta da unidade so:

0
= 1.
1
= i.
2
= 1. e
3
= i
Ento
(
0
)
a
: : Z =
0

(
1
)
a
: : Z =
0
.
1
.
2
.
3

(
2
)
a
: : Z =
0
.
1

(
3
)
a
: : Z =
0
.
1
.
2
.
3

e isto signica que as razes

1
e
3
geram todas as razes quarta da
unidade.

Denio 1.9 (Raiz primitiva) Uma raiz :sima da unidade . dita

raiz primitiva da unidade de ordem : se suas potncias
.
I
. / = 0. 1. 2. . . . . : 1
so todas distintas.

Em particular, o nmero
. = cos
2:
:
+ i sen
2:
:
uma raiz primitiva : sima da unidade, pois as potncias
1. .. .
2
. . . . . .
a1
so todas distintas.

1.5. RAZES DA UNIDADE 63

Denio 1.10 (Funo c de Euler) A funo c(:) o nmero de el-
ementos de um sistema reduzido de resduos mdulo :, que corresponde
quantidade de naturais entre 1 e : que so primos com :. Mais precisamente,
c : N N, denida por
c(:) = #/ N : 1 6 / 6 : e mdc (/. :) = 1
isto a quantidade dos nmeros dos nmeros entre 1 e : que so relativa-
mente primos com :.

Exemplo 1.25 Temos que c(1) = c(2) = 1. c(3) = c(4) = c(6) = 2 e

c(12) = 4
claro que c(:) 6 : 1 para todo : 1. Alm disso, c(:) = : 1 se,
e somente se, : primo.
De fato, Se : primo, ento claramente, 1. 2. 3. . . . . :1 so relativamente
primos com :, e por isso segue da denio que c(:) = : 1. Reciproca-
mente, se : no primo, ento : possui um divisor d tal que 1 < d < :. que
no pode ser relativamente primos com :. Assim, h pelo menos um inteiro
positivo menor que : que no relativamente primos com :, e, portanto,
c(:) 6 : 2.
Exemplo 1.26 Se j e j+2 so dois primos, mostre que c(j + 2) = c(j)+2.
Soluo. Como j + 2 primo, ento
c(j + 2) = j + 1 = (j 1) + 2
Logo, c(j + 2) = c(j) + 2.
Teorema 1.11 A raiz :sima da unidade
I
= cos
2I
a
+i sen
2I
a
= .
I
para
/ = 0. 1. 2. . . . . :1 primitivas da unidade se, e somente se, mdc (/. :) = 1.
Demonstrao. Suponha que os nmero
I
= cos
2I
a
+ i sen
2I
a
para / =
0. 1. 2. . . . . : 1 so razes primitivas da unidade. Ento
(
I
)
n
,= 1 para todo : tal que 0 < : < :
Suponhamos por absurdo que mdc (/. :) = d ,= 1. Ento / = d: para
algum : Z e : = d: para algum : Z tal que 0 < : < :. Pelo Teorema
1.10,
(
I
)
n
= (
ov
)
n
=
onv
=
av
= (
v
)
a
= 1
64 CAPTULO 1. NMEROS COMPLEXOS
o que uma contradio.
Suponhamos que mdc (/. :) = 1 e considere as : potncias

I
. (
I
)
2
. . . . . (
I
)
a
Essas : potncias so as razes :simas da unidade. Como existem precisa-
mente : razes :simas da unidade, se essas potncias forem distintas, elas
sero todas as : razes :simas da unidade. Logo, devemos provar apenas
que essas potncias so todas distintas. Suponha por absurdo que existam
duas potncias (
I
)
v
e (
I
)
c
com 1 < : < : < : tais que (
I
)
v
= (
I
)
c
. Ento
(
I
)
cv
= 1 =cos
2/ (: :) :
:
+ i sen
2/ (: :) :
:
= 1
isso implica
2/ (: :) :
:
= 2:|. | Z =
/ (: :)
:
Z
Como mdc (/. :) = 1. temos que : : um mltiplo de : o que uma
contradio.
Observao: Pelo Teorema 1.11, existem ,(:) razes primitivas da unidade
de ordem :.
Exemplo 1.27 Determine todas as razes primitivas da unidade de ordem
6.
Soluo. Como ,(6) = 2. temos que existem duas razes primitivas da
unidade de ordem 6. Pelo Teorema 1.11, as razes primitivas so:

I
= cos
2/:
6
+ i sen
2/:
6
tais que / = 0. 1. 2. 4. 5 e mdc (/. 6) = 1
ou seja,

1
= cos
2:
6
+ i sen
2:
6
=
1
2
+ i
_
3
2
e

5
= cos
5:
3
+ i sen
5:
3
=
1
2
i
_
3
2
Teorema 1.12 Um elemento C simultameamente raiz :sima da
unidade e raiz :sima da unidade se, e somente se, raiz dsima da
unidade, onde d = mdc (:. :) .
1.5. RAZES DA UNIDADE 65
Demonstrao. Suponhamos que

a
=
n
= 1
Se d = mdc (:. :) . ento existem r. Z tais que d = r: + :. Logo,

o
=
an+ja
= (
n
)
a
(
a
)
j
= 1
Reciprocamente, suponha que
o
= 1. Sendo d = mdc (:. :) . temos que
: = :d e : = :d para todo :. : Z. Ento

a
=
_

o
_
c
= 1 e
n
=
_

o
_
v
= 1

Exemplo 1.28 Se l
9
= . C : .
9
= 1 e l
15
= . C : .
15
= 1. ento
l
9
l
15
= l
3
= . C : .
3
= 1
pois mdc (9. 15) = 3.

Denio 1.11 (polinmio ciclotmico) Sejam : um inteiro positivo e

. = cos
2
a
+ i sen
2
a
. O :simo polinmio ciclotmico denido por

a
(r) =

16I<a
mdc(I,a)=1
_
r .
I
_

Para : = 1. temos . = cos 2: + i sen 2: = 1 e

1
(r) =

16I<1
mdc(I,1)=1
_
r .
I
_
= r 1
Para : = 2. temos . = cos : + i sen : = 1 e

2
(r) =

16I<2
mdc(I,2)=1
_
r .
I
_
= r + 1
66 CAPTULO 1. NMEROS COMPLEXOS
Para : = 3. temos . = cos
2
3
+ i sen
2
3
e

3
(r) =

16I<3
mdc(I,3)=1
_
r .
I
_
= (r .)
_
r .
2
_
= r
2
+ r + 1
Teorema 1.13 Para cada : N, seja

a
(r) =

16I<a
mdc(I,a)=1
_
r .
I
a
_
onde .
a
= cos
2
a
+ i sen
2
a
. Ento:
c) r
a
1 =

oja

o
(r) .
/)
a
mnico de coecientes inteiros e de grau ,(:) .
Demonstrao. c) Basta notar que

oja

o
(r) =

oja
_
_
_
_

16I<o
mdc(I,o)=1
_
r .
I
o
_
_
_
_
_
=

oja
_
_
_
_
_
_

16I<
n
d
mdc
(
I,
n
d
)
=1
_
r .
oI
a
_
_
_
_
_
_
_
=
a1

t=0
_
r .
t
a
_
e portanto,

oja

o
(r) = r
a
1.
/)

Para : = 1. temos
r 1 =

oj1

o
(r) =
1
(r)
Para : = 2. temos
r
2
1 =

oj2

o
(r) =
1
(r)
2
(r) =
2
(r) =
r
2
1
r 1
= r + 1
1.5. RAZES DA UNIDADE 67
Para : = 3. temos
r
3
1 =

oj3

o
(r) =
1
(r)
3
(r) =
3
(r) =
r
3
1
r 1
e da,

3
(r) = r
2
+ r + 1
68 CAPTULO 1. NMEROS COMPLEXOS
1.5.1 Problemas resolvidos
Problema 1.26 Fazendo a substituio r = n+ na equao r
3
+jr+ = 0.
podemos mostrar que
_
n
3
+
3
=
n
3

3
=
j
3
27
e concluir que
r =
3
_

2
+
_

2
4
+
j
3
27
+
3
_

2

_

2
4
+
j
3
27
Mostre que as razes da equao r
3
+ jr + = 0 so:
r
1
=
3
_

q
2
+
_
q
2
4
+
j
3
27
+
3
_

q
2

_
q
2
4
+
j
3
27
r
2
= .
3
_

q
2
+
_
q
2
4
+
j
3
27
+ .
2
3
_

q
2

_
q
2
4
+
j
3
27
r
3
= .
2
3
_

q
2
+
_
q
2
4
+
j
3
27
+ .
3
_

q
2

_
q
2
4
+
j
3
27
onde 1. . e .
2
so as razes cbicas da unidade.
Soluo. Sendo
r
1
= n + =
3
_

2
+
_

2
4
+
j
3
27
+
3
_

2

_

2
4
+
j
3
27
uma raiz da equao r
3
+ jr + = 0. temos que
[r (n + )] [r (.n + .
2
)] [r (.
2
n + .)] =
[r (n + )] [r
2
+ (n + ) r + n
2
n +
2
] =
r
3
+
_
n
2
n +
2
(n + )
2
_
r (n + ) (n
2
n +
2
) =
Logo,
[r (n + )]
_
r
_
.n + .
2

_ _
r
_
.
2
n + .
_
= r
3
3nr n
3

3
Mas n
3
+
3
= e 3n = j. Ento
r
3
+ jr + = [r (n + )]
_
r
_
.n + .
2

_ _
r
_
.
2
n + .
_
1.5. RAZES DA UNIDADE 69
Problema 1.27 Considere o polinmio j (r) irredutvel. de grau 3 escrito
na forma reduzida
j (r) = r
3
+ jr +
e suas trs razes complexas distintas r
1
. r
2
e r
3
. O discriminante da
equao r
3
+ jr + = 0 denido por
1 = (r
1
r
2
)
2
(r
1
r
3
)
2
(r
2
r
3
)
2
Mostre que o discriminante da equao r
3
+ jr + = 0 dado, em termo
dos seus coecientes, por
1 = 4j
3
27
2
Soluo. J sabemos que as razes da equao r
3
+ jr + = 0 so:
r
1
= n + . r
2
= .n + .
2
e r
3
= .
2
n + .
Logo,
r
1
r
2
= (1 .) n +
_
1 .
2
_
= (1 .)
_
n .
2

_
e de modo anlogo,
r
1
r
3
= (1 .)
_
.
2
n +
_
e r
2
r
3
= . (1 .) (n )
Portanto,
(r
1
r
2
) (r
1
r
3
) (r
2
r
3
) = . (1 .)
3
.
2
_
n
3
+
3
_
= (1 .)
3
_

3
n
3
_
mas,

3
n
3
= 2
_

2
4
+
j
3
27
e
(1 .)
3
= 3
_
3i
Logo,
1 = [(r
1
r
2
) (r
1
r
3
) (r
2
r
3
)]
2
= 27
_

2
+
4j
3
27
_
= 4j
3
27
2
Problema 1.28 Se 1
0
. 1
1
. . . . . 1
a1
so vrtices de um polgono regular de
: lados, inscritos num crculo de raio 1. Prove que
1
0
1
1
1
0
1
2
1
0
1
a1
= :
70 CAPTULO 1. NMEROS COMPLEXOS
Soluo. Vamos inicialmente representar os pontos 1
0
. 1
1
. . . . . 1
a1
do cr-
culo unitrio no plano complexo.
Sabemos que no plano complexo, as razes :simas da unidade so os
vrtices de um polgono regular de : lados inscrito no crculo unitrio de
centro . = 0 e tendo um vrtice no ponto . = 1. logo podemos associar a
cada ponto 1
I
o nmero complexo
.
I
= cos
2/:
:
+ i sen
2/:
:
tais que / = 0. 1. 2. . . . . : 1
e com isso, 1
0
1
I
= [.
0
.
I
[ . Ento
1
0
1
1
1
0
1
2
1
0
1
a1
= [.
0
.
1
[ [.
0
.
2
[ [.
0
.
a1
[
Mas .
0
.
I
= 1
_
cos
2I
a
+ i sen
2I
a
_
e portanto,
[.
0
.
1
[ [.
0
.
2
[ [.
0
.
a1
[ =

(1 .)
_
1 .
2
_

_
1 .
a1
_

onde 1. .. .
2
. . . . . .
a1
so as razes do polinmio
.
a
1 =
a1

t=0
_
. .
t
_
=.
a
1 = (. 1)
a1

t=1
_
. .
t
_
segue que
a1

t=1
_
. .
t
_
= 1 + . + .
2
+ + .
a1
Agora, fazendo . = 1. temos
a1

t=1
_
1 .
t
_
= 1 + 1 + + 1
. .
aparcelas
= :
Logo,
1
0
1
1
1
0
1
2
1
0
1
a1
=

(1 .)
_
1 .
2
_

_
1 .
a1
_

= :
1.5. RAZES DA UNIDADE 71
Problema 1.29 Prove que para : = 2. 3. 4. . . .
sin
:
:
sin
2:
:
sin
3:
:
sin
(: 1) :
:
=
:
2
a1
Soluo. Como 1. .. .
2
. . . . . .
a1
so as razes do polinmio .
a
1 = 0.
ento podemos escrever
.
a
1 = (. 1)
a1

t=1
_
. .
t
_
=
a1

t=1
_
. .
t
_
= 1 + . + .
2
+ + .
a1
Agora, fazendo . = 1. temos
a1

t=1
_
1 .
t
_
= 1 + 1 + + 1
. .
aparcelas
= : (*)
e tomando o conjugado na expresso (+) . obtemos
a1

t=1
_
1 .
t
_
= : (**)
Agora, multiplicando membro a membro as expresses (+) e (++) e usando o
fato que
_
1 .
I
_
_
1 .
I
_
= 2
_
1 cos
2/:
:
_
para / = 1. 2. . . . . : 1
temos
:
2
= 2
_
1 cos
2:
:
_
2
_
1 cos
4:
:
_
2
_
1 cos
2 (: 1) :
:
_
ou seja,
:
2
= 2
a1
_
1 cos
2:
:
__
1 cos
4:
:
_

_
1 cos
2 (: 1) :
:
_
Mas 1 cos
2I
a
= 2 sin
2 I
a
para / = 1. 2. . . . . : 1. Logo,
:
2
= 2
2a2
_
sin
2
:
:
_
_
sin
2
2:
:
_

_
sin
2
(: 1) :
:
_
e portanto,
sin
:
:
sin
2:
:
sin
3:
:
sin
(: 1) :
:
=
:
2
a1
72 CAPTULO 1. NMEROS COMPLEXOS
Problema 1.30 Mostre que
sen
2:
7
+ sen
4:
7
+ sen
8:
7
=
_
7
2
Soluo. J sabemos que
1 + . + .
2
+ .
3
+ .
4
+ .
5
+ .
6
= 0
onde . = cos
2
7
+ i sen
2
7
. Tomando j = . + .
2
+ .
4
e = .
3
+ .
5
+ .
6
.
temos que
j + = 1 e j = 2
Logo, temos a equao j
2
+ j + 2 = 0. cujas razes so:
j
0
=
1
2
+ i
_
7
2
e j
00
=
1
2
i
_
7
2
A soma pedida a parte imaginria de j
0
. ou seja,
sen
2:
7
+ sen
4:
7
+ sen
8:
7
=
_
7
2
Problema 1.31 Seja . = cos
2
a
+ i sen
2
a
. onde : N, : 1. Mostre que
1 + 2. + 3.
2
+ 4.
3
+ + :.
a1
=
:
. 1
Soluo. Seja o = 1 + 2. + 3.
2
+ 4.
3
+ + :.
a1
. Ento
.o = . + 2.
2
+ 3.
3
+ 4.
4
+ + (: 1) .
a1
+ :.
a
Agora, fazendo
o .o = 1 + . + .
2
+ .
3
+ + .
a1
. .
0
: .
a
..
1
=o .o = :
Como 1 . ,= 0. temos que o =
a
1.
ou seja,
1 + 2. + 3.
2
+ 4.
3
+ + :.
a1
=
:
. 1
Problema 1.32 Prove que a soma das potncias de expoente j das razes
:simas da unidade (: 1) igual a zero se j no mltiplo de :.
1.5. RAZES DA UNIDADE 73
Soluo. Seja
I
= cos
2I
a
+i sen
2I
a
(/ = 0. 1. 2. . . . . : 1) as razes :simas
da unidade ou ainda,

I
= .
I
onde . = cos
2:
:
+ i sen
2:
:
Temos que

j
0
+
j
1
+ +
j
a1
= 1 + .
j
+ .
2j
+ + .
(a1)j
=
1 .
aj
1 .
como (.
a
)
j
= 1
j
= 1 e .
j
,= 1. segue que

j
0
+
j
1
+ +
j
a1
= 0
Problema 1.33 Seja
= cos
2:
3
+ i sen
2:
3
=
1
2
+ i
_
3
2
uma raiz cbica da unidade. Calcule
1987

t=1
_
1 +
t
_
= (1 + )
_
1 +
2
_

_
1 +
1987
_
Soluo. Temos que

3
= 1.
2
+ + 1 = 0 e 1987 = 662 3 + 1
Ento
1987

t=1
_
1 +
t
_
=
661

I=0
__
1 +
3I+1
_ _
1 +
3I+2
_ _
1 +
3I+3
_ _
1 +
1987
_
=
661

I=0
_
(1 + )
_
1 +
2
_
(1 + 1)

(1 + )
=
_
2
_
1 + +
2
+
3
_
662
(1 + )
Como
3
= 1 e
2
+ + 1 = 0. obtemos:
1987

t=1
_
1 +
t
_
= 2
662
_

2
_
= 2
661
_
1 + i
_
3
_
74 CAPTULO 1. NMEROS COMPLEXOS
1.5.2 Problemas propostos
1. Resolva a equao .
6
.
3
(1 + i) + i = 0.
2. Dois polgonos regulares esto inscritos no mesmo crculo. O primeiro
polgono tem 1982 lados e o segundo tem 2973 lados. Se os polgonos
tm vrtices quaisquer comuns, quantos desses vrtices existem em co-
mum?
3. Se 1
0
. 1
1
. . . . . 1
a1
so vrtices de um polgono regular de : lados,
inscritos num crculo de raio 1. Prove que
_
1
0
1
1
_
2
+
_
1
0
1
2
_
2
+ +
_
1
0
1
a1
_
2
= 2:
4. Prove a identidade

1 1 1 1
1 . .
2
.
a1
1 .
2
.
4
.
2(a1)
.
.
.
.
.
.
.
.
.
.
.
.
1 .
a1
.
2(a1)
.
(a1)(a1)

= A
onde A =
_
:
a
_
cos
_
(a1)(3a2)
4
_
+ sen
_
(a1)(3a2)
4
__
e . = cos
2
a
+
i sen
2
a
.
5. Uma das razes sexta de . tem mdulo 2 e o argumento 5:,6. Repre-
sente gracamente as seis razes sextas de ..