SUBSTITUIES ENVOLVENDO NMEROS COMPLEXOS

Diego Veloso Ucha

Nvel Avanado
bastante til em problemas de olimpada onde temos igualdades ou queremos encontrar
um valor de um somatrio fazermos substituies por nmeros complexos aliada a outras
ferramentas. Para alguns problemas que possuam equaes com funes seno e co-seno
importante saber a frmula de Euler que escreve um nmero complexo na forma polar o que
simplifica quando fazemos multiplicaes ou somatrios.
Um nmero complexo pode se escrever na sua forma trigonomtrica (cos isen ) ou
na sua forma polar e i de onde temos que cos isen ei (Frmula de Euler).
Segundo essa equao podemos fazer ou , de onde temos:
ei cos isen (I)
e i cos isen (II)
Somando I com II, temos:
e i e i
cos
2
Subtraindo I de II, temos:
ei e i
sen
2i
Segundo a frmula de Euler podemos verificar imediatamente a frmula de De Moivre:
n
Para todo n natural temos que cos isen cos(n ) isen(n ) .
No seguinte problema da OIMU, quais idias imediatas poderamos ter sem conhecer a frmula de
Euler?
PROBLEMA 1: (OIMU 2001)

Calcule:

2
(n 1)
n
cos
... cos
cos

n
n
n

cos
n 1

2
(n 1)
n
Pn cos cos
... cos
cos
, observe de imediato que
n
n
n

SOLUO: Seja

k
0 . Portanto considere n 2k 1 ento
se n 2k ento P2 k 0 pois cos
2k

2
2k
( 2k 1)
P2 k 1 cos
cos
... cos
cos
2k 1
2k 1
2k 1
2k 1

2k 1 i
cos

2k 1
2k 1

Observe que cos

P2 k 1

2
k
cos
cos
... cos

2k 1
2k 1
2k 1

( 1) k 1 ,

Considere
~

2
( k 1)
k
P 2 k 1 cos
cos
... cos
cos

2k 1
2k 1
2k 1
2k 1

j
w j w j w2 j 1

Fazendo w e 2 k 1i ento cos

portanto
2
2w j
2k 1
~
w2 1 w4 1
w2 k 1
P 2 k 1
...

. Faa ento a seguinte multiplicao no numerador e no

2 w 2
2 wk
2 w
denominador

w2 1 w4 1
w2 k 1 ( w 1)( w3 1)...( w2 k 1 1)
...

,
k
2 w 2
2 w
( w 1)( w3 1)...( w2 k 1 1)
2w

agrupando no numerador os termos tais que

~

P 2 k 1

( w 2 j 1)( w 2 k 1 2 j 1) ( w 2 k 1 w 2 k 1 2 j w 2 j 1) w 2 j w 2 k 1 2 j , j que w 2 k 1 1 ,
com j variando de 1 at k. Agrupando agora os termos do denominador podemos ver que
~
1 ( w2 w2 k 1 )( w4 w2 k 3 )...( w2 k w)
P 2 k 1 k
, e usando que w 2 k 1 1 podemos simplificar a
2 ( w2 k w)( w2 w2 k 1 )...( wk 1 wk )
expresso para
~
1 ( w2 w2 )( w4 w4 )...( w2 k w2 k )
P 2 k 1 k
. Agora, olhando para o numerador, podemos
2 ( w1 w)( w2 w2 )...( w k wk )
escolher os termos ( w 2 j w 2 j ) tais que 2 j k que so m termos (para algum m) e substitu-los

por (1)( w2 k 1 2 j w (2 k 1 2 j ) ) de forma que o numerador e o denominador sero iguais a menos de

um sinal (e do fator 2 k ), i.e,

1 (w w)(w w ).. (w w ) m ~
m1
P 2k1 k 1 2 2 k k (1) P 2k 1 (1) k
2 (w w)(w w ).. (w w )
2
~

1
1
~
Portanto temos que P2 k 1 (1) k 1 P 2 k 1 (1) k 1 2 k (1) k 1 k , e ento como Pn 0 para
2
4

todo n par,

k
1
4

1 1
1
Pn
.
Pn
P2 k 1 1 ... (soma de P.G infinita), e assim
1
5
n 1
1
4
4 16
n 1
k 0
k 1
4
Observao: Esse problema pede para demonstrarmos um resultado relacionado aos polinmios de
Chebyshev do segundo tipo.

PROBLEMA 2: (OBM U 2001)

Seja f ( x) e x senx . Calcule f (2001) (0) . (Denotamos por f ( n ) ( x) a derivada de

ordem n no ponto x; assim, f (2) ( x) f '' ( x) ).
SOLUO: f ( x ) e x senx e x

e ( i 1) x e ( i 1) x
e ix e ix

aps
2i
2i
2i

derivaes teremos

1
(i 1) n e x (i 1) ( 1 i) n e ( i 1) x ; para n = 2001 e x = 0,

2i
1
f (2001) (0) (i 1) 2001 (1 i) 2001 sendo que (i 1) 4 ( (i 1)) 4 4.
2i
f ( n ) ( x)

temos que

500
500
1
4500
(i 1)4
(i 1) ( (i 1)) 4
( 1 i )
(2i ) 21000. Outro

2i
2i
caminho possvel para a soluo desse problema seria: aps 4 derivaes de f perceber um ciclo e
assim calcular f (2001) (0) , mtodo esse mais trabalhoso do que o apresentado.

f (2001) (0)

Assim

PROBLEMA 3: (IMO 1963)

1

2
3
cos
cos

2
7
7
7

Prove que cos

SOLUO: Fazendo

we

o problema se torna equivalente a demonstrar que:

w w 1 w 2 w 2 w 3 w 3 1
w2 1 w4 1 w6 1

1
2
2
2
2
w
w2
w3
( w 4 w 2 ) ( w 5 w) ( w 6 1) w 3 w 6 w 5 w 4 w 3 w 2 w 1 0 .
Veja que isso a soma dos termos de uma P.G cujo primeiro termo 1 e a razo
Somando a P.G:

w.

( w) 7 1
11

0 . Lembre que w ei 7 w7 1
w 1
w 1
e portanto a igualdade realmente verdadeira.

S PG

O seguinte resultado (muito conhecido) tem por objetivo mostrar a importncia dos
nmeros complexos em problemas de alto grau de dificuldade e que aparentemente no tm
nenhuma conexo com nmeros complexos.

1
2

2
6
n 1 n

PROBLEMA 4: Prove que

a desigualdade senx x tan x verdadeira. De onde

2
1
k
2
2
segue que cot x 2 1 cot x . Agora fazendo x
com k 1,2,..., m e somando de
2m 1
x
k 1 at k m ns obtemos
SOLUO: Sabemos que para 0 x

(i)

cot 2
k 1

k
(2m 1) 2

2m 1
2

m
1
k

cot 2

2
2m 1
k 1 k
k 1
m

Observe que essa inequao est prxima da desejada, a idia agora tentar mostrar que quando
m o termo central fica imprensado entre dois limites que convergem para um mesmo valor.
Para isso vamos usar um truque que usa nmeros complexos. Pela lei de De Moivre e usando
binmio de Newton temos :
n
n
cos(nt ) isen(nt ) (cos t sent ) n sen nt (cot(t ) i ) n sen nt i k cot n k (t ) Fazendo n 2m 1 e
k 0 k
igualando as partes imaginrias, temos:

2m
1
sen((2m 1)t ) 2m 1
2 m
2 m 1
m

(cot t )
(cot t ) ... ( 1) . (*)
2 m 1
1
3
sen
t

Agora podemos tratar essa igualdade por meio de um polinmio

2m 1 m 2m
1 m 1
m
Pm ( x)
x
x ... (1)
1
3

k
k
2
) 0 , pois
Substituindo t
em (*) para 1 k m nos d Pm (cot
2m 1
2m 1
k
k

k
2
sen (2m 1)
, k 1,..., m so as m
0 e sen
0. Ento, x k cot
2m 1
2m 1

2m 1
2 m 1

m
3
k
m( 2m 1)

razes de Pm cuja soma cot

(ii)
2
m

1
2m 1
3

k 1

De (i) e (ii) segue

m(2m 1) ( 2m 1) 2

3
2
2

Multiplicando essas desigualdades por

k
k 1

( 2m 1) 2

m( 2m 1)
3

e fazendo m chegamos ao resultado

desejado.
Exerccios para treinamento:
PROBLEMA 5: (IME 1990/1991)

(2n 1)

1
2

Prove que cos( ) cos(2 ) ... cos( n )

2

2sen
2
PROBLEMA 6: (IME-2000/2001) Dois nmeros complexos so ortogonais se suas representaes
grficas forem perpendiculares entre si. Prove que dois nmeros complexos Z1 e Z 2 so ortogonais
se e somente se:
sen

Z1 Z 2 Z 1 Z 2 0

PROBLEMA 7: Prove que

cot
n

sen
k 1

2 n

PROBLEMA 8: Prove a identidade trigonomtrica:

cos n ( )

1
2n

n
cos ( n 2k ) .
k 1 k
n

PROBLEMA 9: (IME 2005/2006)

Sejam as somas S 0 e S1 definidas por

S 0 C n0 C n3 C n6 C n9 ... C n3[ n / 3]

S1 C n1 C n4 C n7 C n10 ... C n3[( n 1) / 3]1

Calcule os valores de S 0 e S1 em funo de n, sabendo que [r] representa o maior inteiro menor
ou igual ao nmero r.
PROBLEMA 10: (Putnam 1970)

Prove que a srie de potncias de e ax cos(bx) (com a e b positivos) ou no tem nenhum

coeficiente zero ou possui infinitos zeros.
PROBLEMA 11: Ache uma frmula geral para:
n 1

2k
.
n

(k 1) cos
k 0

PROBLEMA 12: (OBM Nvel U 2004)

Calcule o valor de

(3k 1)(3k 2)(3k 3) .

k 0

2n 1
3k
2 no divisvel por 5 para qualquer

K 1 2k 1
n

PROBLEMA 13: (IMO 1974) Prove que o nmero

inteiro n 0 .
PROBLEMA 14: Calcule o valor de

n
.
k 2(mod3) k

PROBLEMA 15: (IMC 99) Atiramos um dado (com faces de nmero 1, 2,..., 6) n vezes. Qual a

probabilidades de que a soma dos valores obtidos seja mltiplo de 5? Admita que as faces sejam
igualmente provveis.
Dica: Use a funo
n

x x 2 x 3 x 4 x 5 x 6
f ( x)
.
6

PROBLEMA 16: Mostre que dados n pontos no crculo unitrio sempre existe um outro ponto no

crculo unitrio tal que o produto de suas distncias aos n pontos dados maior ou igual a 2.
PROBLEMA 17: (OBM Nvel U 2007)
Dados nmeros reais a1 , a2 ,..., an no todos nulos, encontre o (menor) perodo da funo

f ( x) ak cos( kx).
k 1

PROBLEMA 18: (Mikls Schweitzer-1956)

2
Ache o mnimo de mx1 z , 1 z se z percorre todos os nmeros complexos.

PROBLEMA 19: (IMO 1995)

Seja p um primo mpar. Ache o nmero de subconjuntos A de 1,2,...,2 p tais que

a) A tem exatamente p elementos
b) A soma de todos elementos de A divisvel por p
Dica: Use o polinmio f ( x, y ) (1 xy )(1 x 2 y )...(1 x 2 p y ).

BIBLIOGRAFIA
[1] E. Lozansky. C. Rousseau, Wining Solutions, Springer Velrlag, New York, 1996.
[2] Contests in Higher Mathematics, Hungary 19491961: in memoriam Mikls Schweitzer, eds.: G. Szsz,
L. Gehr, I. Kovcs and L. Pintr, Akadmiai Kiad, Budapest, 1968.
[3] URL: http://www.ime.eb.br (Site do Instituto Militar de Engenharia)
[4] URL : http://www.obm.org.br (Site da Olimpada Brasileira de Matemtica)