Material by: Caio Guimares (Equipe Rumoaoita.

com)

Aplicaes Diferentes Para
Nmeros Complexos
Captulo I

Comentrio Inicial
O artigo que aqui apresentamos no tem como objetivo introduzir ao
leitor o assunto nmeros complexos. O artigo tem como objetivo
aprofundar os conhecimentos de algum que j estudou o assunto
(mesmo que brevemente) abrindo os seus horizontes para novas
aplicaes (ou aplicaes diferentes como diz o ttulo) dos nmeros
complexos.

Reviso de Complexos:
A unidade complexa definida como i = 1 .
Considere o complexo z x y.i x, y = + . Definimos:

- Mdulo (norma) de z: z x y.i x y = + = +
- Partes Real e Imaginaria de z: e(z) x Im(z) y = =
- Argumento de z:
y
arg(z) arctg .k. k
x
| |
= = +
|
\ .
2
- Complexo conjugado de z: z x yi =

Um nmero complexo pode ser representado no plano complexo
como um vetor (sendo a parte real de um complexo representado no
eixo horizontal e sua parte imaginria no eixo vertical). A
extremidade do vetor chamado afixo (x,y) de um complexo.




Da figura, um complexo pode ser escrito na forma trigonomtrica:
( ) z z . cos i.sen = +

Notao: Usaremos no decorrer do artigo as notaes:
ci s cos i.sen = +

Exerccios de Reviso:
1. Prove as seguintes propriedades:
i) ( ) ( ) z r.cis w .cis z.w .r .cis = = = +
ii) ( )
z
z r.cis w .cis .cis
w r

| |
= = =
|
\ .

iii)
z.w r.
z r w
z r
w
=

= =

=

0
iv) z.z z =

v) z z =

vi) z z z z + = +
1 2 1 2


vii) z .z z .z =
1 2 1 2


viii) z w z w + +



2. Prove por induo a lei de Moivre: ( ) ( ) ( )
n n n
z r.cis r cis n. = =
para n natural positivo. Estenda o raciocnio para n inteiros.

3. Mostre que: ( )
n
k
z z cis
n

| |
= =
|
\ .
2
1 para n natural, e k inteiro.


4. Mostre que: cis .cos .cis

| | | |
+ =
| |
\ . \ .
1 2
2 2


5. Utilize o resultado acima para mostrar que
n
n
z
z

+
2
1
para z de
mdulo unitrio tal que
n
z
2
1 e n natural. (IME 2002)


6. Seja
n n
n
P(z) a .z a .z ... a .z

= + + + +
1
0 1 1
1 um polinmio com
coeficientes reais. Mostre que se x raiz da equao P(z)=0 , ento o
conjugado de x tambm ser raiz.


7. (ITA) Sejam os nmeros complexos distintos z e w, (onde z tem
mdulo unitrio). Mostre que:

z w
z.w

1
1











Forma Polar de Complexos:
Resultado conhecido do Clculo Diferencial e Integral, podemos
expandir funes como sries de potncias de x (Expanso de
Taylor):
x x x
cosx ....
! ! !
= + +
4 6
1
2 4 6

x x x
senx x ....
! ! !
= + +
3 5 7
3 5 7

x
x x x
e x ....
! ! !
= + + + + +
2 3 4
1
2 3 4


Desses resultados segue que:
x x x x
cos x i.senx i.x i. i. ....
! ! ! !
+ = + + +
3 4 5
1
2 3 4 5

ix
x x x x
e i.x i. i. ....
! ! ! !
= + + +
3 4 5
1
2 3 4 5



Temos uma identidade de funes:

ix
cosx i.senx e + =

Com, isso temos que todo complexo pode ser escrito na forma:


i
z z .cis z .e

= =



A demonstrao da expanso da srie de taylor foge aos objetivos do
artigo.



Aplicao 1: Complexos em Somatrios

Binomiais:
Algo interessante que podemos retirar das
propriedades de nmeros complexos a sua
propriedade de potncia. Em ciclos de 4
potncias o numero complexo i se repete.

Vamos usar esse fato para nossa vantagem.


Do desenvolvimento binomial de Newton temos:
( )
n n n
n n n
x C .x C .x ... C .x + = + + + +
1 2
1 1

A partir da podemos tirar alguns resultados bastante teis:

Fazendo x=1 na expresso acima, temos o conhecido Teorema das
Linhas do Tringulo de Pascal:

( )
n n n
n n n
C C ... C + = + + + + =
1 2
1 1 1 2

Fazendo x=- 1: ( ) ( )
n n n
n n n
C C ... .C = + + + =
1 2
1 1 1 1 0


Utilizando os resultados acima possvel provar (verifique como
exerccio):
n
n n n n n n
C C C ... C C C ...

+ + + + = + + + =
2 4 6 1 3 5 1
1 2

Ou seja, foi obtido facilmente, com conceitos bsicos a soma
binomial de combinaes de n tomadas em nmeros pares (bem
como mpares).
i i i ...
i i i ... i
i i i ...
i i i ... i

= = = =

= = = =

= = = =

= = = =

0 4 8
1 5 9
2 6 10
3 7 11
1
1


Ser que sabemos calcular a seguinte soma?
n n n
C C C ... + + + +
4 8 12
1

Utilizando os resultados j encontrados seria interessante termos um
valor para x que mude sua potncia em ciclos diferentes de 2. Bom,
conforme foi dito, o numero complexo i muda sua potencia em ciclos
de 4. Vejamos como isso pode nos ajudar:
( )
n n n
n n n
x C .x C .x ... C .x + = + + + +
1 2
1 1

Fazendo x = i
( )
( ) ( )
n
n n n
n n n n n n n n
i C .i C .i C .i ...
C C C C ... i. C C C C ...
+ = + + + +
= + + + + + +
1 2 2
2 4 6 8 1 3 5 7
1 1
1


Da expresso acima tiramos dois resultados teis:
( )
( )
( )
( )
n
n n n n
n
n n n n
e i C C C C ...
Im i C C C C ...

+ = + + +

+ = + +

2 4 6 8
1 3 5 7
1 1
1

Uma vez que: ( )
n
n
n
Moivre
n
i .cis .cis

| | | |
+ = =
| |
\ . \ .
1 2 2
4 4
, temos:
( )
( )
n
n
n
n
n
e i .cos
n
Im i .sen

| |
+ =
|

\ .

| |
+ =
|

\ .
2
2
1 2
4
1 2
4

E com isso temos mais duas somas binomiais importantes:
( )
( )
n
n n n n
n
n n n n
n
C C C C ... .cos
n
C C C C ... .sen

| |
+ + + =
|

\ .

| |
+ + =
|

\ .
2 4 6 8
2
1 3 5 7
2
1 2
4
2
4




Ora, uma vez que conhecemos:
( )
n
n n n n
n
C C C C ... .cos

| |
+ + + =
|
\ .
2 4 6 8
2
1 2
4

n
n n n
C C C ...

+ + + + =
2 4 6 1
1 2


Somando ambos as expresses, chegamos ao resultado (verifique):

( )
n
n
n n n
n
C C C ... .cos

| |
+ + + + = +
|
\ .
1
4 8 12 2
2
1 2 2
4



Usando um raciocnio anlogo, utilize os resultados j obtidos para
obter:
( )
n
n
n n n
n
C C C ... .sen

| |
+ + + = +
|
\ .
1
1 5 9 2
2
2 2
4



Exerccio: Obter uma expresso reduzida para os seguintes
somatrios:
n n n
n n n
a) C C C ...
b) C C C ...
+ + +
+ + +
3 7 11
2 6 10












Exerccio Resolvida:
(IME 2005) Determine uma expresso reduzida para o somatrio:

n n n n
C C C C ... + + + +
0 3 6 9



Soluo:
Acabamos de trabalhar com somatrios binomiais com combinaes
tomadas em nmeros repetindo em ciclos de 4. A questo proposta
pelo IME um somatrio binomial com combinaes tomadas em
nmeros repetindo em ciclos de 3.

Procuramos algo que repita sua potncia da seguinte maneira:
x x x ... = =
0 3 6


Do raciocnio acima, queremos x do tipo:
k
x x cis

| |
= =
|
\ .
3
2
1
3

Usaremos o binomial de Newton para
k
x cis

| |
=
|
\ .
2
3
:
n
n n n
cis C .cis C cis C . .cis ...

| | | | | | | | | | | | | |
+ = + + + +
| | | | | | |
\ . \ . \ . \ . \ . \ . \ .
2 3
1 2 3
2 2 2 2
1 1
3 3 3 3

Da forma de Moivre:
n
n.
cis cis

| | | | | | | |
=
| | | |
\ . \ . \ . \ .
2 2
3 3

Logo:
( )
n
n n n
n n n
n n n n n n n n
n
cis C .cis C .cis C .cis ...
C . i. C . i. C . ...
C C C C C . C C . C
C ... i. ...

| | | | | | | | | |
+ = + + + +
| | | | |
\ . \ . \ . \ . \ .
| | | |
= + + + + +
| |
\ . \ .
| |
= + + + + +
|
|
\ .
1 2 3
1 2 3
1 2 4 5 1 2 4 5
3
2 2 4 6
1 1
3 3 3 3
1 3 1 3
1 1
2 2 2 2
3 3 3 3
1
2 2 2 2 2 2 2 2
| |
|
|
\ .



Lembrando que:
n n
n
n
cis i i cis
| | | |
| | | | | |
+ = + = + =
| | | | |
\ . \ . \ .
\ . \ .
2 1 3 1 3
1 1
3 2 2 2 2 3


Das expresses acima:
n
n n n n
n
n
n n n n
n C C C C
(i) e cis cos C ...
n C . C C . C
(ii) Im cis sen ...

| | | | | |
+ = = + +
| | |
\ . \ . \ .

| | | | | |
+ = = + +
| | |
\ . \ . \ .
1 2 4 5
3
1 2 4 5
2
1 1
3 3 2 2 2 2
2 3 3 3 3
1
3 3 2 2 2 2

Do Teorema das Linhas:
n n
n n n n
C C C ... C (iii) + + + + =
1 2 3
2


Fazendo 2.(i) + (iii)
( )
n n
n n n n n n n n n
n
C C C C C ... C C C ... C cos

| |
+ + + + + + + = +
|
\ .
1 2 3 4 5 1 2 3
2 2 2 2
3

( )
n
n n n
n
. C C C ... cos

| |
+ + + + = +
|
\ .
3 6 9
3 1 2 2
3



Segue que:


n
n n n
n
cos
C C C ...

| |
+
|
\ .
+ + + + =
3 6 9
2 2
3
1
3









Exerccios de Fixao:

1. (IME 2005) Determine uma expresso reduzida para o somatrio :
n n n n
C C C C ... + + + +
1 4 7 10

OBS: o item b da questo resolvida acima. Utilize um raciocnio
rigorosamente anlogo.

2. Determine uma expresso reduzida para o somatrio:
n
n n n n
C .senx C .sen( x) C .sen( x) ... C .sen(nx) + + + + +
1 2 3
1 2 3

Sugesto: Utilize o resultado do exerccio 4 da parte de Reviso de
Complexos.

3. Determine uma expresso reduzida para os somatrios

senx sen( x) sen( x) sen( x) ... sen(n.x) + + + + + 2 3 4
cosx cos( x) cos( x) cos( x) ... cos(n.x) + + + + + 2 3 4


4 Se n = 1, 2, 3, ..., prove que:
(n )
cos cos cos ... cos
n n n n
(n )
sen sen sen ... sen
n n n n

+ + + + =

+ + + + =
2 4 6 2 1
1
2 4 6 2 1
0


Sugesto: Lembre da expresso para somas de progresses
geomtricas.

5. Prove que para n= 2, 3 ,...

n
(n ) n
sen sen sen ... sen
n n n n


| || || | | |
=
| | | |
\ .\ .\ . \ .
1
2 3 1
2