RAZES DA UNIDADE

Anderson Torres & Eduardo Tengan

Nvel Intermedirio
Para \ a Frmula de Euler nos permite escrever ei = cos + i sen. Ela nos fornece
uma maneira prtica de multiplicar nmeros complexos. Por exemplo, o Teorema de De Moivre,
normalmente escrito
conciso: ( e

i n

( cos + i sen )

= cosn + i senn , na notao exponencial fica bem mais

= ei ( n) . Mas, e as razes da unidade? Elas so os complexos que zeram o polinmio

P ( z ) = z n 1. Por De Moivre, sabemos que k = e 2k i n so razes deste polinmio (com 0 k < n ),

e, como so n no total, elas so todas as razes.
E assim temos o primeiro resultado do artigo:
zn 1 =

(z ),
k

0 k < n

em que = e 2k i n .
Razes da unidade tm um monte de aplicaes. Uma das mais imediatas simplificar contas com
funes trigonomtricas, usando estas frmulas aqui:

cos =

e i + e i
e i e i
; sen =
2
2i

PROBLEMA 1: calcule a soma tenebrosa

sen

0 k < n

k
n

SOLUO: Usando a nossa recente descoberta, esta soma se transforma numa progresso
geomtrica! Sendo = ei n , temos

sen

0 k < n

k
k
k k 1
=
= k ( 1 )
n 0 k < n 2i
2i 0 k < n
0 k < n

k 1 n 1 ( ) 1
sen
=
1

n 2i 1
1
0 k < n

Talvez voc deva estar pensando: uma diferena de complexos dando um real? Mas
como?? Simples: 1 = , logo a soma acima uma diferena de conjugados dividida por 2i. por
isso que o resultado real...

0 k < n

sen

k 1 2
2
1 2 + 1 2

=
+ 1 = i 1 2
= cotg
1 2
n 2i 1 1
+
2n

Agora, uma aplicao da fatorao de z n 1 :

PROBLEMA 2: Prove que, para todo inteiro positivo n existem polinmios f n ,g n ] [ x ] tais que

f n ( x )( x + 1) + g n ( x ) x 2 + 1 = 2
2r

SOLUO: Primeiro, testar alguns casos pequenos: n = 1

f1 ( x )( x + 1) + g1 ( x ) ( x 2 + 1) = 2
2

Para eliminar g1 , podemos aplicar x = i, o que nos d

f1 ( i )( i + 1) = 2 f1 ( i ) =

(1 + i )

= i

Podemos tomar f1 ( x ) = x. Mas e quanto a g1 ( x ) ? Calma, coisas so feitas para funcionar! Veja
que

2 f1 ( x )( x + 1) = 2 + x ( x + 1)
tem i com zero, e automaticamente i (conjugados, a-h!). Portanto o polinmio acima mltiplo
de x 2 + 1 e basta efetuar a diviso com Briot-Ruffini para achar g1 .
2

n+1

2n

2n

Para o caso geral, vamos considerar os zeros de x + 1. Mas os zeros de x + 1 =

x2 1

so
n
x2 1
justamente as razes 2 n+1 -simas da unidade que no so razes 2n -simas da unidade. Logo, se
n +1
escolhermos = e2 i 2 uma raiz 2n+1 -sima primitiva da unidade (isto , que no raiz t-sima da
unidade para nenhum t menor que 2n+1 ), temos
n

x2 + 1 =

(x )
k

1 k 2 +1
k 1 ( mod2 )

Escrevendo x = 1,

( 1)

2n

+1 =

( 1 ) 2 = ( 1 )
k

1 k 2 +1
k 1 ( mod 2 )

1 k 2 +1
k 1 ( mod 2 )

Basta demonstrar que cada 1 + k mltiplo de 1 + . Moleza:

1 + k = (1 + ) (1 + 2 3 + ... k 2 + k 1 )
Portanto, podemos escolher f n tal que 2 f n ( x )(1 + x ) admite razes k ,k mpar. Portanto,
2n

divisvel por x 2 + 1, o que acaba a demonstrao.

Agora, um problema de Geometria:

PROBLEMA 3: ABCDE um pentgono cclico de circuncentro O. Os ngulos internos do pentgono

so A = 70,B = 120,C = 120,D = 130 ,E = 100. Demonstre que as diagonais BD e CE
encontram-se em um ponto pertencente reta AO.
SOLUO: Como em qualquer problema de geometria, um bom arrasto para comear. Inicialmente,

vamos ligar o centro aos vrtices do pentgono.

Esta a melhor maneira de aproveitar a conciclicidade dos pontos.
Assim sendo, AOB = 80,BOC = 40,COD = 80,DOE = 20,EOA = 140.
Mas MDC ( 80,40,20,140) = 20 e portanto os vrtices do pentgono esto entre os vrtices de um
360
= 18 )! Agora, vamos colocar as coisas nos eixos: inicialmente,
20
O = 0 , A = 1 (podemos fazer isto por homotetia: se OA 1, aplicamos uma homotetia de centro O e
razo 1 OA ). Seja = ei 2 18 uma raiz 18-sima (primitiva, por sinal) da unidade. Com isto, os
vrtices esto determinados. Vamos usar minsculas para os nmeros complexos associados aos
pontos.

18-gono regular (afinal,

a = 1,b = 4 ,c = 6 ,d = 10 ,e = 11
Temos que provar que AO,BD,CE so concorrentes. Dada a escolha esperta que fizemos,
basta demonstrar que as retas BD e CE se intersectam em um ponto real puro. Ou, em outras
palavras, que se z o complexo comum a BD e CE ento z = z .
Bem, para calcular equaes de retas, vamos a uma tcnica, ou melhor, um teorema, bastante til (e
que fica como exerccio para o leitor, haha!): Dados os complexos p, q do crculo unitrio, a reta pq
tem equao dada por

z + pqz = p + q
Temos ento:

=z

AO : z

BD : z + bd z = b + d
CE : z + cez = c + e
que equivale a

AO : z

=z

BD : z + 14 z = 4 + 110
CE : z + 17 z = 6 + 11
Basta provar que AO BD : z =

4 + 10
6 + 11
;
AO

CE
:
z
=
1 + 14
1 + 17

Antes de comear a calculeira, vamos estudar algumas propriedades interessantes de . Bem,

sabemos que ele zero do polinmio x18 1, e 18 = 2 32. A ideia ser fatorar este polinmio at a

)(

exausto... x18 1 = x9 1 x9 + 1 . Como raiz 18-sima primitiva da unidade, o primeiro fator

no

contm

como

raiz.

Assim

sendo,

vamos

pensar

no

outro

fator:

x9 + 1 = ( x3 ) + 1 = ( x3 + 1)( x6 x3 + 1) . Pode-se demonstrar (mas no ser necessrio) que este

3

ltimo fator irredutvel. Ento 6 3 + 1 = 0, e de quebra 9 = 1.

Depois dessa volta toda, vamos ao que interessa: comparar as duas expresses de z:
4 + 10 6 + 11
=
1 + 14
1 + 17

( + )(1 + ) = (
( )(1 ) = (
4

10

17

+ 11 )(1 + 14 )

2 )(1 5 )

4 1 12 + 9 = 6 2 11 + 7
4 1 + 3 1 = 6 2 + 2 + 7
4 1 + 3 1 = 3 1 + 7
4 1 = 7
3 1 = 6
0=0
E fim!
Outra aplicao interessante das razes da unidade como marcadores. Veja este problema:
PROBLEMA 4: Determine uma frmula fechada para

k
3k

SOLUO: Bem, algum a conhece algo parecido? Que tal o Binmio de Newton?

k z = (1 + z )
n

3k

Agora, j tem alguma ideia do que se pode fazer? Temos que filtrar os mltiplos de 3 desta
expanso, e nada melhor que usar uma raiz cbica da unidade = e2 i 3 . Substituindo z por 1, e
2 , temos

n
n
k = (1 + 1)
k

n k
n
n
n
2k
2 n
k
n
k = (1 + ) k (1 + + ) = 2 + (1 + ) + (1 + )
k
k

n
n
2 k = (1 + 2 )
k

k
Agora, se k mltiplo de 3,1 + k + 2k = 3; caso contrrio, temos uma progresso geomtrica de
3k 1
= 0.
razo k 1, e portanto 1 + k + 2k = k
1
Ou seja, matamos todos os no mltiplos de 3!

n
n
n
n
n
n
n
n +
3 = 2n + (1 + ) + (1 + 2 ) = 2n + ( 2 ) + ( ) = 2n + 2 ( 1)
2
3k k
n
2 n
2n + 2 ( 1) cos

n

3
=

3
3k k

Esta ltima tcnica tem um nome chique: multiseco. Vamos us-la em um problema de, adivinha
s, Combinatria Enumerativa!
PROBLEMA 5: (IMO 1995, Canad) Seja p um primo mpar, e seja S = {1,2,3...2 p} . Determine o

total de subconjuntos A S que satisfazem as condies a seguir:

A = p;

p xA x.

SOLUO: Este foi o problema 6 da Olimpada Internacional de 1995, em Montreal, Canad. Ela foi
tida como uma das mais interessantes pela riqueza de problemas legais e divertidos daquele ano,
algo comparvel apenas IMO da Argentina, que aconteceria dois anos depois.

A soluo aqui apresentada uma pequena modificao daquela dada por Nikolai Nikolov,
ganhador de um Special Prize (prmio especial, dado pela originalidade).
Vamos pensar em uma raiz p-sima da unidade, primitiva por sinal: = e2i p . Veja que = k
tambm uma raiz p-sima da unidade, para k {1,2,3,..., p 1} . Exclumos o 1 propositalmente,
pois ele no ter propriedades to interessantes quanto as outras razes (logo vers o porqu).
Os complexos

{ , , ,..., } = {1, ,
0

p 1

2k

,...,k ( p 1) so razes p-simas da unidade. Elas so

distintas: de fato, se ik = jk para 0 i j < p, temos e j i k = e0 = 1 p ( j i ) k e, como

0 < k < p, p ( j i ) j i = 0.

Agora vamos ao bom e velho polinmio f ( z) = z p 1= 0 jp1 z j =1 jp z j .

Pensando em Sries Formais, conseguimos trabalhar com este polinmio os elementos de 1 a p.
Como podemos alcanar 2p? Oras, eleva ao quadrado!

( f ( z )) = ( z
2

1) =
2

(z )

(z ) (z ) = (z ) (z ) =
j

0 j p 1

0 j p 1

1 j p

p +1 j 2 p

1 j 2 p

Vamos abrir ( f ( z ) ) : ( f ( z ) ) = a0 + a1 z + a2 z 2 + ... + ap z p + ... + a2 p1 z 2 p1 + a2 p z 2 p

2

Agora, vamos observar como o ap produzido de uma maneira combinatria.

Primeiramente, escolhemos arbitrariamente p fatores, e coletamos o termo z deles; isto nos dar o
expoente 2p. J dos outros p fatores, escolhemos o termo j . O resultado ser ento

ap =

( )( ) ...( ) =
j1

1 j1 j2 <...< j p 2 p

jp

j2

0r p 1

cr r

em que cr o total de p-tuplas j1 < j2 < ... < j p tais que j1 + j2 + ... + j p r ( mod p ) . A nossa tarefa
achar c0 !
Mas

( f ( z ))

= z 2 p 2 z p + 1 a p = 2. Assim,
c0 + c1 + c2 + ... + c p 1 p 1 = 2

Em outras palavras, zero do polinmio

g ( z ) = ( c0 2 ) + c1 z + c2 z 2 + ... + c p 1 p 1
Lembre-se que todo o raciocnio usado at aqui foi puramente combinatrio, e vlido para
qualquer que seja raiz p-sima da unidade (exceto o 1). Logo, todas as razes p-simas primitivas
da unidade so razes de g. Mas g tem grau p 1, portanto:
f ( z)
= c p 1 (1 + z + z 2 + ... + z p 1 )
g ( z ) = c p 1
z 1
Igualando os coeficientes, c0 2 = c1 = c2 = ... = c p 1 .

2p
Mas c0 + c1 + c2 + ... + c p 1 = . Contagem dupla: cada p-subconjunto de S contado em
p
exatamente um dos ci , justamente aquele correspondente soma de seus elementos mdulo p.
Resolvendo as equaes acima, conclumos que
c0 = 2 +

1 2p
2
p p

E fim!
Bem, que tal uns exerccios?
EXERCCIOS PROPOSTOS:
1) Determine o valor numrico da srie

cos
n 1 1 j n

j
n

A+ B +C
inteiro.

Defina K r = x r sen ( rA ) + y r sen ( rB ) + z r sen ( rC ) .

2) Sejam x, y, z, A, B, C reais tais que

Prove que se K1 = K 2 = 0 ento K n = 0 para todo n > 0.

3) Fixe um dos vrtices de um n-gono regular inscrito numa circunferncia de raio 1, e considere

os segmentos que ligam este vrtice a todos os outros. Prove que o produto das medidas de todos
estes n 1 segmentos n.

4) Calcule sen

2
4
8
+ sen
+ sen .
7
7
7
2i

Dica: sejam = e 7 , p = + 2 + 4 ,q = 3 + 5 + 6 . O que queremos calcular a parte real de p.

Calcule p + q e p q e seja feliz!
5) Se P ,Q , R , S so polinmios tais que

P ( x5 ) + xQ ( x 5 ) + x 2 R ( x 5 ) = ( x 4 + x 3 + x 2 + x + 1) S ( x ) , prove que P (1) = 0.

6) Frmula de Multiseco: Sendo p ( x ) = a0 + a1 x + a2 x 2 + ... + an x n , e l,m ` , com 0 l m,

temos

k l ( mod m )

ak

0 k m

lk p ( k )

em que = e

2i

n
n

7) Mostre que cos ( k ) = 2 cos cos

2
2

0 k n k
8) (Irlanda) Sabe-se que a, b, c so complexos tais que as razes da equao x 3 + ax 2 + bx + c = 0

tm mdulo 1. Prove que as razes de x 3 + a x 2 + b x + c = 0 tambm tm mdulo 1.

9) Seja 1 + x + x 2 + x3 + x 4

496

= a0 + a1 x + a2 x 2 + ... + a1984 x1984 .

Determine MDC ( a3 ,a8 ,...,a1983 )

Prove que 10340 < a992 < 10347

( )

10) Determine todos os polinmios P tais que P x 2 = P ( x ) P ( x 1) .

11) Determine o nmero de polinmios de grau 5 com coeficientes entre 1 e 9 inclusive e que sejam

divisveis por x 2 x + 1.
12) Prove que o nmero

0 k n

2n + 1 3k

2 no mltiplo de 5 para qualquer n 0.

2 k + 1