Você está na página 1de 62

CONTEDO

XVI OLIMPADA DE MAIO


Enunciados e resultado brasileiro

2

XXI OLIMPADA DE MATEMTICA DO CONE SUL
Enunciados e resultado brasileiro


5

LI OLIMPADA INTERNACIONAL DE MATEMTICA (IMO)
Enunciados e resultado brasileiro


7

XXV OLIMPADA IBEROAMERICANA DE MATEMTICA
Enunciados e resultado brasileiro


9

ARTIGOS


ASSOCIANDO UM POLINMIO A EXPRESSES ALGBRICAS E
TRIGONOMTRICAS
Marclio Miranda



11

SOMAS TRIGONOMTRICAS: DE PROSTAFRESE A FRMULA DE EULER
Rogrio Possi Junior


18

UMA INTERESSANTE DEDUO PARA A FRMULA DE HERO
Flvio Antonio Alves


31

RAZES DA UNIDADE
Anderson Torres & Eduardo Tengan


33

COMO QUE FAZ

42

SOLUES DE PROBLEMAS PROPOSTOS

45

PROBLEMAS PROPOSTOS

59

AGENDA OLMPICA

61

COORDENADORES REGIONAIS

62


Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
2
XVI OLIMPADA DE MAIO
PRIMEIRO NVEL

PROBLEMA 1
Um recipiente fechado com formato de paraleleppedo retangular contm 1 litro de
gua. Se o recipiente se apoia horizontalmente sobre trs faces distintas, o nvel da
gua de 2cm, 4cm e 5cm.
Calcule o volume do paraleleppedo.

PROBLEMA 2
Na etapa 0 escrevem-se os nmeros 1, 1.
Na etapa 1 intercala-se a soma dos nmeros 1, 2, 1.
Na etapa 2 entre cada par de nmeros da etapa anterior intercala-se a soma deles:
1, 3, 2, 3, 1.
Uma etapa mais: 1, 4, 3, 5, 2, 5, 3, 4, 1.
Quantos nmeros h na etapa 10?
Qual a soma de todos os nmeros que h na etapa 10?

PROBLEMA 3
possvel pintar os inteiros positivos com trs cores de modo que, sempre que se
somam dois nmeros de cores distintas, o resultado da soma seja da terceira cor?
(H que usar as trs cores.) Se a resposta afirmativa, indique um possvel modo
de pintar; se no possvel, explique o porqu.

PROBLEMA 4
Encontre todos os nmeros naturais de 90 dgitos que so mltiplos de 13 e tm os
primeiros 43 dgitos iguais entre si e distintos de zero, os ltimos 43 dgitos iguais
entre si, e os 4 dgitos do meio so 2, 0, 1, 0, nessa ordem.

PROBLEMA 5
Num tabuleiro de 2 7 quadriculado em casas de 1 1 se consideram os 24 pontos
que so vrtices das casas. Joo e Matias jogam sobre este tabuleiro. Joo pinta de
vermelho uma quantidade igual de pontos em cada uma das trs linhas horizontais.
Se Matias pode escolher trs pontos vermelhos que sejam vrtices de um tringulo
acutngulo, Matias vence o jogo. Qual a mxima quantidade de pontos que Joo
pode pintar para ter certeza de que Matias no vencer? (Para o nmero
encontrado, d um exemplo de pintura que impea que Matias vena e justifique
por qu Matias vence sempre se o nmero maior.)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
3

SEGUNDO NVEL
PROBLEMA 1
Determine o menor inteiro positivo que tenha todos seus dgitos iguais a 4, e que
seja mltiplo de 169.

PROBLEMA 2
Consideramos o retngulo ABCD e a circunferncia de centro D e raio DA, que
corta o prolongamento do lado AD no ponto P. A reta PC corta a circunferncia no
ponto Q e o prolongamento do lado AB no ponto R. Demonstre que QB = BR.

PROBLEMA 3
Encontre o menor k > 2 para o qual existem k nmeros inteiros consecutivos, tais
que a soma dos seus quadrados um quadrado.

PROBLEMA 4
Seja n um inteiro tal que 1 < n < 2010. Dado um polgono regular de 2010 lados e
n moedas, devemos pintar os vrtices do polgono utilizando n cores dadas, e logo
colocar as n moedas em n vrtices do polgono. Em seguida, a cada segundo, todas
as moedas se deslocam para o vrtice vizinho, girando no sentido dos ponteiros do
relgio.
Determine os valores de n para os quais possvel pintar e escolher as posies
iniciais das moedas, de forma que em todo momento as n moedas estejam todas em
vrtices de cores distintas.

PROBLEMA 5
Temos as seguintes peas: um retngulo de 4 1, dois retngulos de 3 1, trs
retngulos de 2 1 e quatro quadrados de 1 1. Ariel e Bernardo jogam o seguinte
jogo num tabuleiro de n n , onde n um nmero escolhido por Ariel. A cada
movimento, Bernardo recebe de Ariel uma pea R. Em seguida Bernardo analisa se
poder colocar R no tabuleiro de modo que no tenha pontos em comum com
nenhuma das peas colocadas anteriormente (nem sequer um vrtice em comum).
Se existe uma tal colocao para R, Bernardo deve escolher uma delas e colocar R.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
4
O jogo para se impossvel colocar R da forma explicada, e Bernardo vence. Ariel
vence somente se esto colocadas as 10 peas no tabuleiro.

a) Suponhamos que Ariel d as peas a Bernardo em ordem decrescente de
tamanho. Qual o menor n que garante a vitria do Ariel?
b) Para o n encontrado em a), se Bernardo recebe as peas em ordem crescente de
tamanho. Ariel tem garantida a vitria?

ESCLARECIMENTO: cada pea deve cobrir exatamente um nmero de quadrados
unitrios do tabuleiro igual ao seu prprio tamanho. Os lados das peas podem
coincidir com partes da borda do tabuleiro.

RESULTADO BRASILEIRO

2010: Nvel 1 (at 13 anos)

Nome Cidade Estado Prmio
Murilo Corato Zanarella Amparo SP Medalha de Ouro
Daniel de Almeida Souza Braslia DF Medalha de Prata
Viviane Silva Souza Freitas Salvador BA Medalha de Prata
Carolina Lima Guimares Vitria ES Medalha de Bronze
Pedro Henrique Alencar Costa Fortaleza CE Medalha de Bronze
Samuel Brasil de Albuquerque Fortaleza CE Medalha de Bronze
Juliana Amoedo Plcido Salvador BA Medalha de Bronze
Lucca Morais de Arruda Siaudjionis Fortaleza CE Meno Honrosa
Antonio Wesley de Brito Vieira Cocal dos Alves PI Meno Honrosa


2010: Nvel 2 (at 15 anos)

Nome Cidade Estado Prmio
Rafael Kazuhiro Miyazaki So Paulo SP Medalha de Ouro
Lucas Cauai Julio Pereira Caucaia CE Medalha de Prata
Pedro Ivo Colho de Arajo Caucaia CE Medalha de Prata
Francisco Markan Nobre de Souza Filho Fortaleza CE Medalha de Bronze
Fellipe Sebastiam da Silva Paranhos Pereira Rio de Janeiro RJ Medalha de Bronze
Tadeu Pires de Matos Belfort Neto Fortaleza CE Medalha de Bronze
Henrique Gasparini Fiuza do Nascimento Braslia DF Medalha de Bronze
Rafael Rodrigues Rocha de Melo Caucaia CE Meno Honrosa
Mateus Henrique Ramos de Souza Pirapora MG Meno Honrosa




Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
5
XXI OLIMPADA DE MATEMTICA DO CONE SUL
Enunciados e resultado brasileiro


O Brasil, e particularmente o Estado de So Paulo teve a honra de sediar a
21 Olimpada de Matemtica do Cone Sul, que aconteceu at o dia 19 de junho na
cidade de guas de So Pedro, SP. A equipe foi liderada pelos professores
Francisco Bruno Holanda, de Fortaleza CE e Tertuliano Franco Santos Franco, de
Rio de Janeiro RJ.

RESULTADOS DA EQUIPE BRASILEIRA

BRA1 Joo Lucas Camelo S Medalha de Ouro
BRA2 Gabriel Milito Vinhas Lopes Medalha de Prata
BRA3 Maria Clara Mendes Silva Medalha de Prata
BRA4 Caque Porto Lira Medalha de Bronze

PRIMEIRO DIA

PROBLEMA 1
Pedro tem que escolher duas fraes irrredutveis, cada uma com numerador e
denominador positivos, tais que:

A soma das duas fraes seja igual a 2.
A soma dos numeradores das duas fraes seja igual a 1000.

De quantas maneiras Pedro pode fazer isso?

PROBLEMA 2
Marcam-se em uma reta 44 pontos, numerados 1, 2, 3, ..., 44 da esquerda para a
direita. Vrios grilos saltam na reta. Cada grilo parte do ponto 1, salta por pontos
marcados e termina no ponto 44. Alm disso, cada grilo sempre salta de um ponto
marcado a outro marcado com um nmero maior.
Quando todos os grilos terminaram da saltar, notou-se que para cada par i, j, com
1 44, i j h um grilo que saltou diretamente do ponto i para o ponto j, sem
pousar em nenhum dos pontos entre eles.
Determine a menor quantidade de grilos para que isso seja possvel.

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
6
PROBLEMA 3
Recortar um polgono convexo de n lados significa escolher um par de lados
consecutivos AB, BC do polgono e substitu-los por trs segmentos AM, MN, e
NC, sendo M o ponto mdio de AB e N o ponto mdio de BC. Em outras palavras,
corta-se o tringulo MBN e obtem-se um polgono convexo de n + 1 lados.
Seja P
6
um hexgono regular de rea 1. Recorta-se P
6
e obtm-se o polgono P
7
.
Ento recorta-se P
7
, de uma das sete maneiras possveis, e obtm-se o polgono P
8
,
e assim sucessivamente. Prove que, independentemente de como sejam feitos os
recortes, a rea de P
n
sempre maior do que 2 3.

SEGUNDO DIA

PROBLEMA 4
Pablo e Slvia jogam em um tabuleiro 2010 2010. Primeiro Pablo escreve um
nmero inteiro em cada casa. Feito isso, Slvia repete tantas vezes quanto quiser a
seguinte operao: escolher trs casas que formem um L, como uma figura, e
somar 1 a cada nmero dessas trs casas. Slvia ganha se fizer com que todos os
nmeros do tabuleiro sejam mltiplos de 10.
Demonstre que Slvia sempre pode escolher uma sequncia de operaes com as
quais ela ganha o jogo.


PROBLEMA 5
O incrculo do tringulo ABC toca os lados BC, CA, e AB em D, E e F,
respectivamente. Sejam , e
a b c
os circuncrculos dos tringulos EAF, DBF e
DCE, respectivamente. As retas DE e DF cortam
a
em
a
E E e
,
a
F F respectivamente. Seja
A
r a reta .
a a
E F Defina e
B C
r r de modo anlogo.
Prove que as retas , e
A B C
r r r determinam um tringulo cujos vrtices pertencem
aos lados do tringulo ABC.


PROBLEMA 6
Determine se existe uma sequncia infinita
0 1 2 3
, , , ,... a a a a de inteiros no negativos
que satisfaz as seguintes condiciones:
(i) Todos os nmeros inteiros no negativos aparecem na sequncia uma nica vez;
(ii) A sequncia , 0,
n n
b a n n = + formada por todos os nmeros primos, cada
um aparecendo uma nica vez.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
7
LI OLIMPADA INTERNACIONAL DE MATEMTICA (IMO)
Enunciados e resultado Brasileiro

A LI Olimpada Internacional de Matemtica (IMO) foi realizada na cidade
de Astana, Cazaquisto entre os dias 2 e 14 de julho de 2010. A equipe foi liderada
pelos professores Edmilson Luis Rodrigues Motta, de So Paulo SP e Marcelo
Mendes de Oliveira, de Fortaleza CE.

RESULTADOS DA EQUIPE BRASILEIRA

BRA1 Marcelo Tadeu de S Oliveira Sales Medalha de Prata
BRA2 Matheus Secco Torres da Silva Medalha de Prata
BRA3 Gustavo Lisba Empinotti Medalha de Bronze
BRA4 Deborah Barbosa Alves Meno Honrosa
BRA5 Hanon Lima Rossi Meno Honrosa
BRA6 Joo Lucas Camelo S Meno Honrosa


PRIMEIRO DIA

PROBLEMA 1
Determine todas as funes : f R R tais que
( ) ( ) ( ) f x y f x f y =


para os nmeros , . x y R ( z

designa o maior inteiro que menor ou igual a z).

PROBLEMA 2
Seja ABC um tringulo, I o seu incentro e a sua circunferncia circunscrita. A
recta AI intersecta novamente no ponto D. Sejam E um ponto do arco

BDC e F
um ponto do lado BC tais que

1
.
2
BAF CAE BAC = <
Seja G o ponto mdio do segmento IF. Mostre que as rectas DG e EI se intersectam
sobre .

PROBLEMA 3
Seja * N o conjunto dos inteiros positivos. Determine todas as funes
: * * g N N tais que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
8
( ) ( ) ( ) ( )
g m n m g n + +
um quadrado perfeito para todos , *. m nN

SEGUNDO DIA

PROBLEMA 4
Seja a circunferncia circunscrita ao tringulo ABC e P um ponto no interior do
tringulo. As rectas AP, BP e CP intersectam novamente nos pontos K, L, e M,
respectivamente.
A recta tangente a em C intersecta a recta AB em S. Supondo que SC = SP,
mostre que MK = ML.


PROBLEMA 5
Em cada uma das seis caixas
1 2 3 4 5 6
, , , , , B B B B B B h inicialmente s uma moeda.
Dois tipos de operaes so possveis:

Tipo 1: Escolher uma caixa no vazia ,
j
B com 1 5. j Retirar uma moeda da
j
B e
adicionar duas moedas a
1
.
j
B
+


Tipo 2: Escolher uma caixa no vazia ,
k
B com 1 4. k Retirar uma moeda da
k
B e
trocar os contedos das caixas (possivelmente vazias)
1 k
B
+
e
2
.
k
B
+

Determine se existe uma sucesso finita destas operaes que deixa as caixas
1 2 3 4 5
, , , , B B B B B vazias e a caixa
6
B com exactamente
2010
2010
2010 moedas. (Observe
que
( )
.
c
c b
b
a a = )

PROBLEMA 6
Seja
1 2 3
, , ,... a a a uma sucesso de nmeros reais positivos. Sabe-se que para algum
inteiro positivo s,
{ } max tal que 1 1
n k n k
a a a k n

= +
para todo n > s. Mostre que existem inteiros positivos / e N, com , s / tais que
n n
a a a

= +
/ /
para todo . n N



Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
9
XXV OLIMPADA IBEROAMERICANA DE MATEMTICA
Enunciados e resultado Brasileiro

A XXV Olimpada Iberoamericana de Matemtica foi realizada na cidade
de Assuno, Paraguai no perodo de 20 a 30 de setembro de 2010. A equipe
brasileria foi liderada pelos professores Onofre Campos, de Fortaleza CE e
Luzinalva Miranda de Amorim, de Salvador BA. A equipe brasileira ficou em
primeiro lugar na soma dos pontos dos participantes.


RESULTADOS DA EQUIPE BRASILEIRA
BRA1 Marcelo Tadeu de S Oliveira Sales Medalha de Ouro
BRA2 Deborah Barbosa Alves Medalha de Ouro
BRA3 Matheus Secco Torres da Silva Medalha de Ouro
BRA4 Gustavo Lisboa Empinotti Medalha de Prata


PRIMEIRO DIA

PROBLEMA 1
Numa fila de dez moedas indistinguveis h duas delas que so falsas, ocupando
posies consecutivas. Para cada conjunto de posies, pode-se perguntar quantas
moedas falsas ele contm. possvel determinar quais so as moedas falsas
fazendo apenas duas destas perguntas? No se sabe a resposta da primeira pergunta
antes de se formular a segunda.

PROBLEMA 2
Determinar se existem nmeros inteiros positivos a e b tais que todos os termos da
suceso definida por
1 2
2010, 2011, x x = =
2 1 1
, 1,
n n n n n
x x x a x x b n
+ + +
= + + +
sejam inteiros.


PROBLEMA 2
A circunferncia inscrita ao tringulo escaleno ABC tangente aos lados BC,
CA e AB nos pontos D, E e F respectivamente. A recta EF corta a recta BC em G.
A circunferncia de dimetro GD corta em ( ). R R D Sejam P e Q
( ) , P R Q R as interseces de BR e CR com , respectivamente. As rectas BQ
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
10
e CP cortam-se em X. A circunferncia circunscrita a CDE corta o segmento QR
em M e a circunferncia circunscrita a BDF corta o segmento PR em N.
Demonstrar que as rectas PM, QN e RX so concorrentes.


SEGUNDO DIA

PROBLEMA 4
As mdias aritmtica, geomtrica e harmnica de dois nmeros inteiros positivos
distintos so nmeros inteiros. Encontrar o menor valor possvel para a mdia
aritmtica.
Nota: Se a e b so nmeros positivos, suas mdias aritmticas, geomtrica e
harmnica so respectivamente: ,
2
a b
a b
+
e
2
.
1 1
a b
+


PROBLEMA 5
Seja ABCD um quadriltero cclico sujas diagonais AC e BD so perpendiculares.
Sejam O o circuncentro de ABDC, K a interseco das diagonais, L O a
interseco das circunferncias circunscritas a OAC e OBD, e G a interseco das
diagonais do quadriltero cujos vrtices so os pontos mdios dos lados de ABCD.
Provar que O, K, L e G so colineares.


PROBLEMA 6
Ao redor de uma mesa circular sentam-se 12 pessoas e sobre a mesa h 28 vasos de
flores. Duas pessoas podem ver-se uma outra se, e somente se, no h nenhum
vaso alinhado com elas. Provar que existem pelo menos duas pessoas que podem
ver-se.







Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
11
ASSOCIANDO UM POLINMIO A EXPRESSES ALGBRICAS E
TRIGONOMTRICAS
Marclio Miranda, IFRN (Caic RN)


Nvel Intermedirio

O objetivo deste artigo mostrar uma tcnica que pode ser bastante til na
hora de resolver problemas de olimpadas de Matemtica.Tal tcnica consiste em
voc associar um polinmio a uma determina expresso. Com isso voc pode
calcular o valor de expresses trigonomtricas, expresses algbricas e mostrar que
um determinado nmero irracional.

Vejamos alguns exemplos disso:

I) EXPRESSES TRIGONOMTRICAS

Esse problema deixa bem clara a idia de associarmos um polinmio a uma
expresso trigonomtrica:

EXERCCIO RESOLVIDO 1 (BLGICA 2006):
a) Encontre todos os nmeros reais tais que ( ) ( ) cos 4 cos 3 =
b) Determine inteiros a, b, c, d tais que
2
cos ,
7


4
cos ,
7
6
cos ,
7

so solues da
equao
3 2
0. ax bx cx d + + + =

SOLUO:
a) ( ) ( ) cos 4 cos 3 4 3 2k = = + ou 4 3 2 2 k k = + = ou
2
,
7
k
=

logo
2 4 6
1, cos , cos , cos
7 7 7

so as razes dessa equao.
Por outro lado temos que ( )
4 2
cos 4 8 cos 8 cos 1 = + e
( )
3
cos 3 4 cos 3 cos . = Faa cos . t = Da temos que
( ) ( ) ( ) ( )
3 2 4 3 2
cos 4 cos 3 1 8 4 4 1 8 4 8 3 1 0. t t t t t t t t = + = + + =
Assim, a equao
( )
3 2
8 4 4 1 0 t t t + = tem como
solues
2 4 6
cos , cos , cos .
7 7 7


Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
12
EXERCCIO RESOLVIDO 2 (MOCP, JULHO DE 2003): Prove que
sec 40
0
+ sec 80
0
+ sec 160
0
= 6.

SOLUO: Note que 40
0
, 80
0
e 160
0
satisfazem a equao
3
1
cos3 8cos 6cos 1 0,
2
= + = logo cos 40
0
, cos 80
0
, cos 160
0
so as
razes do polinmio 8cos
3
6 cos +1, e assim temos que:
6
cos 40 cos80 cos160 cos80 cos 40 160
8

+ + =
1
cos 40 cos80 cos160
8

=
1 1 1
sec40 sec80 sec160
cos40 cos80 cos160
+ + = + + =


cos 40 cos80 cos 40 cos80 cos 40 cos80
6.
cos160 cos80 cos 40
+ +
=



EXERCCIO RESOLVIDO 3 (IMO 1963): Prove que
2 3 1
cos cos cos .
7 7 7 2
+ =


SOLUO: Note que
3 3 5 5
3 4 , 3 4 3 e 3 4 5 ,
7 7 7 7 7 7
+ = + = + =

logo
3 5
, ,
7 7 7

so
solues da equao cos 4 cos3 . x x =
Essa equao equivale a
7 7
cos 4 cos3 0 2 cos cos 0 cos 0
2 2 2
x x x
x x + = = = ou
cos 0.
2
x
=
PARTE 1: Resolver a equao
7
cos 0
2
x
=
7 2 3 5 9 11 13
, , , , , , ,
2 2 7 7 7 7 7 7 7 7
x k
k x x = + = + =

mas

13 3 11 5 9
cos cos , cos cos , cos cos ,
7 7 7 7 7 7
= = =

logo h 4 solues distintas
entre 0 e 2 :
3 5
, , , .
7 7 7


PARTE 2: Resolver a equao cos 0
2
x
=
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
13
2 ,
2 2
x
k x k = + = +

logo x = a nica soluo entre 0 e 2 .


Por outro lado temos que
4 2
cos 4 8cos 8cos 1 x x x = + e
3
cos3 4cos 3cos . x x x =
4 3 2 4 3 2
cos4 cos3 8cos 4cos 8cos 3cos 1 0 8 4 8 3 1 0, x x x x x x t t t t = + + = + + =
onde cos . t x =
Claramente 1 raiz desse polinmio, e temos 8t
4
+4t
3
8t
2
3t + 1 =
(t +1) (8t
3
4t
2
4t + 1), donde o polinmio 8t
3
4t
2
4t + 1 tem como razes
3 5
cos , cos , cos .
7 7 7

Logo temos pelas relaes de Girard que:
3 5 4 1 2 3
cos cos cos cos cos cos .
7 7 7 8 2 7 7 7
+ + = = =


II) CALCULANDO O VALOR DE UMA EXPRESSO ALGBRICA:
EXERCCIO RESOLVIDO 4: Prove que
3 3 2 2
20 14 2 20 14 2 4. + + =
SOLUO: Seja
3 3 2 2
20 14 2 20 14 2. x = + + Temos x
3
= 40 + 6x x
3
6x 40
= 0. fcil ver que 4 raiz desse polinmio e x
3
6x 40 = (x 4).(x
2
+ 4x + 10).
Note que as razes de x
2
+ 4x + 10 no so reais e
3 3 2 2
20 14 2 20 14 2 + +
real, logo
3 3 2 2
20 14 2 20 14 2 4. + + =

EXERCCIO RESOLVIDO 5 (CROCIA 2001): Se a + b + c = 0, calcule o valor da
expresso
( )
7 7 7
4 4 4
.
a b c
abc a b c
+ +
+ +

SOLUO: Seja x
3
+ mx
2
+ px + q = 0. um polinmio de terceiro grau tal que suas
razes so a, b, c. Da temos que a + b + c = m = 0, ab + ac + bc = p e abc = q.
Assim temos que:
(a + b + c)
2
= a
2
+ b
2
+ c
2
+ 2(ab + ac + bc) a
2
+ b
2
+ c
2
= 2p
Por outro lado temos que:
a
3
+ pa + q = 0 a
3
= pa q (i)
b
3
+ pb + q = 0 b
3
= pb q (ii)
c
3
+ pc + q = 0 a
3
= pc q (iii)
somando (i) + (ii) + (iii), temos que a
3
+ b
3
+ c
3
= p.(a + b + c) 3q = 3q

Da mesma forma temos que:
a
4
+ pa
2
+ qa = 0 a
4
= pa
2
qa (iv)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
14
b
4
+ pb
2
+ qb = 0 b
4
= pb
2
qb (v)
c
4
+ pc
2
+ qc = 0 c
4
= pc
2
qc (vi)
somando (iv) + (v) + (vi), temos que a
4
+ b
4
+ c
4
= p.(a
2
+ b
2
+ c
2
) q.(a + b + c)
= 2p
2
.

Analogamente temos que:
a
5
+ pa
3
+ qa
2
= 0 a
5
= pa
3
qa
2
(vii)
b
5
+ pb
3
+ qb
2
= 0 b
5
= pb
3
qb
2
(viii)
c
5
+ pc
3
+ qc
2
= 0 c
5
= pc
3
qc
2
(ix)
somando (vii) + (viii) + (ix), temos que a
5
+ b
5
+ c
5
= p (a
3
+ b
3
+ c
3
) q (a
2
+
b
2
+ c
2
) = 5pq.

Proseguindo do mesmo modo, temos que:
a
7
+ pa
5
+ qa
4
= 0 a
7
= pa
5
qa
4
(x)
b
7
+ pb
5
+ qb
4
= 0 b
7
= pb
5
qb
4
(xi)
c
7
+ pc
5
+ qc
4
= 0 c
7
= pc
5
qc
4
(xii)
somando (x) + (xi) + (xii): a
7
+ b
7
+ c
7
= p (a
5
+ b
5
+ c
5
) q (a
4
+ b
4
+c
4
) =
7p
2
q.
Com isso temos que
( ) ( )
7 7 7 2
4 4 4 2
7 7
.
2 2
a b c p q
abc a b c q p
+ +
= =
+ +


III) PROVANDO A IRRACIONALIDADE DE UM NMERO:

Antes do prximo problema vamos provar o seguinte teorema:
TEOREMA (TESTE DA RAIZ RACIONAL): Se o nmero
p
q
, onde p e q so inteiros e
mdc(p, q) = 1, uma raiz do polinmio com coeficientes inteiros
1
1 1 0
... ,
n n
n n
a x a x a x a

+ + + + ento p um divisor de a
0
e q um divisor de a
n
.
PROVA: Como
p
q
raiz do polinmio temos que
1
1 1
1 1 0 1 1 0
... 0 ... 0,
n n
n n n n
n n n n
p p p
a a a a a p a p q a p q a q
q q q



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

logo temos que p um divisor de a
0
e q um divisor de a
n
.

EXERCCIO RESOLVIDO 6: Prove que 2 3 + irracional.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
15
Soluo: Seja x = 2 3 + x 2 3 = x
2
1 = 2 2 x x
4
2x
2
+ 1 = 8x
2

x
4
10x
2
+ 1 = 0. Logo pelo teorema acima as razes racionais da equao s
podem ser 1 ou 1, que claramente no so solues (em ambos os casos o valor
numrico do polinmio 8). Logo esse polinmio s possui razes irracionais,
portanto 2 3 + irracional.

EXERCCIOS PROPOSTOS:
1) (EUA) Prove que
2 3 7
.
7 7 7 8
sen sen sen =


2) (Vietn 1982) Ache a, b, c inteiros tais que as razes da equao ax
2
+ bx + c = 0
so cos 72
0
e cos 144
0
.

3) (Prova de Seleo da Romnia para a IMO 1970): Prove que para todo inteiro
positivo n:
( ) 1 2 3
... 2 1.
2 1 2 1 2 1 2 1 2 1
n n
tg tg tg tg tg n
n n n n n

= +
+ + + + +



4) (Prova de Seleo da Sua para a IMO 2004): Sejam a, b, c, d nmeros reais
distintos satisfazendo as equaes:
45 21 , a a = 45 21 , b b = 45 21 , c c = 45 21 d d =
Prove que abcd = 2004.

5) (OBM 2003): Sejam a, b, c nmeros reais no-nulos tais que a + b + c = 0.
Calcule os possveis valores de
( ) ( )
( )
2
3 3 3 4 4 4
2
5 5 5
.
a b c a b c
a b c
+ + + +
+ +

6) (Blgica 1978): Encontre um polinmio com coeficientes inteiros tal que
2 3 + raiz.

7) (Moldvia 2000): Os nmeros a, b, c satisfazem a relao a + b + c = 0. Mostre
que o nmero 2a
4
+ 2b
4
+2c
4
um quadrado perfeito.
8) Prove que
3
2 3 + irracional.
9) Prove que x = 2cos
7

satisfaz a equao: x
3
+ x
2
2x + 1 = 0.
Use este fato para provar que cos
7

irracional.
10) Prove que tg
2
1
0
+ tg
2
3
0
+....+ tg
2
87
0
+ tg
2
89
0
= 4005.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
16
11) Prove que cos 20
0
. cos 40
0
.cos 80
0
=
1
8
.
12) Prove que:
a)
2 3
7
7 7 7
tg tg tg =

.
b)
2 3 4 5 6
13
13 13 13 13 13 13
tg tg tg tg tg tg =

.

13) Prove que cossec 6 + cossec 78 cossec 42 cossec 66 = 8.

14) Calcule as expresses:
a)
2 2 2
2 3
7 7 7
tg tg tg

.
b)
2 2 2
2 3
7 7 7
tg tg tg + +

.
c)
2 2 2 2 2 2
2 3 2 3
.
7 7 7 7 7 7
tg tg tg tg tg tg + +


15) Prove que
2 4 1
cos cos cos .
7 7 7 8
=


16) Ache uma equao do terceiro grau cujas razes so
3 5
cos , cos , cos .
7 7 7


17) Calcule as expresses:
a)
3 5
cos cos cos .
7 7 7



b)
3 5
cos cos cos
7 7 7
+
3 5
cos cos cos .
7 7 7
+


c)
3 5
cos cos cos .
7 7 7
+ +


d)
2 2 2
3 5
cos cos cos .
7 7 7
+ +


e)
1 1 1
.
3 5
cos cos cos
7 7 7
+ +


18) Prove que tg 81
0
tg 63
0
+ tg 9
0
tg 27
0
= 4.

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
17
19) Sejam u, v, w as razes do polinmio x
3
10x + 11. Determine o valor de arctg u
+ arctg v + arctg w.
20) Prove que cossec
18

+ cossec
5
18

+ cossec
13
18

= 6.
21) Prove que tg 20
0
. tg40
0
. tg 60
0
. tg 80
0
= 3.

22) Sejam a, b, c nmeros reais tais que a + b + c = 0, prove que:
a) a
3
+ b
3
+ c
3
= 3abc.
b)
2 2 2 5 5 5 7 7 7
.
2 5 5
a b c a b c a b c + + + + + +
=
23) Prove que
3
sen20 sen40 sen80 .
8
=
24) Prove que
2 2 2
2 3
cot cot cot 5.
7 7 7
g g g + + =


25) Calcule o valor da expresso
4 7
.
9 9 9
tg tg tg + +


REFERNCIAS
[1] MIRANDA, Marclio. Problemas Selecionados de Matemtica ITA-IME Olimpadas,
Volume 1, Fortaleza (CE), Editora Vestseller, 2010.
[2] ANDREESCU, Titu; FENG , Zuming. 103 Trigonometry Problems from the Training
of the USA IMO Team, Birkhauser, 2004.
[3] ANDREESCU, Titu; GELCA, Razvan. Putnam and Beyond. New York: Springer-
Verlag, 2006.
[4] DOMINGUES, Hygino. Fundamentos de Aritmtica, So Paulo, Atual Editora, 1991.

SITES ACESSADOS
[1] The IMO Compendium, Disponvel em
<http://www.imomath.com/index.php?options=oth|other&p=0>, Acesso em: 10/08/2009.
[2] Treinamento do Cone Sul. Disponvel em: < http://treinamentoconesul.blogspot.com/>,
Acesso em: 12/08/2009.
[3]Notas de Aula de Kin Yin Li. Disponvel em:
<http://www.math.ust.hk/~makyli/190_2003Fa/lect-notes_03fa.pdf>, Acesso em:
15/08/2009.
[4] Pgina de Olimpada da Sociedade Canadense de Matemtica. Disponvel em:
< http://www.cms.math.ca/Olympiads/ >, Acesso em: 20/07/2009.
[5] Matemtica Nick Puzzles. Disponvel em: < http://www.qbyte.org/puzzles/>, Acesso
em : 15/11/2009.
[6] Olimpada Brasileira de Matemtica. Disponvel em: <http://www.obm.org.br >, Acesso
em: 20 /11/2009.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
18
SOMAS TRIGONOMTRICAS: DE PROSTAFRESE FRMULA
DE EULER
Rogrio Possi Junior

Nvel Intermedirio

INTRODUO

So apresentados fundamentos bsicos da matemtica elementar, cujos
conceitos somados podem auxiliar na resoluo de problemas mais elaborados,
como os que podem aparecer quando se depara com o incio do estudo das
Variveis Complexas e o uso dos teoremas de De Moivre.

Seja atravs das frmulas de Transformao de Soma em Produto, conhecidas
como Frmulas de Prostafrese, ou atravs da Relao de Euler, so calculados
alguns exemplos de somas de funes trigonomtricas aparentemente complexas.

AS FRMULAS DE TRANSFORMAO TRIGONOMTRICAS.

Admitamos conhecidas as frmulas da soma e diferena de arcos para as funes
seno e cosseno, isto

a b b a b a cos sen cos sen ) sen( + = + (a)
a b b a b a cos sen cos sen ) sen( = (b)
b a b a b a sen sen cos cos ) cos( = + (c)
b a b a b a sen sen cos cos ) cos( + = (d)

Somando-se (a) e (b) tem-se
b a b a b a cos sen 2 ) sen( ) sen( = + + (e)

Subtraindo-se (a) de (b) tem-se
a b b a b a cos sen 2 ) sen( ) sen( = + (f)

Somando-se (c) e (d) teremos
b a b a b a cos cos 2 ) cos( ) cos( = + + (g)

E por fim, subtraindo-se (c) de (d)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
19
b a b a b a sen sen 2 ) cos( ) cos( = + (h)

Fazendo = +b a e = b a teremos que
2
+
= a e
2

= b , cujos
valores substitudos nas relaes (e), (f), (g) e (h) fornecero as seguintes relaes

|
.
|

\
|
|
.
|

\
| +
= +
2
cos
2
sen 2 sen sen


|
.
|

\
| +
|
.
|

\
|
=
2
cos
2
sen 2 sen sen


|
.
|

\
|
|
.
|

\
| +
= +
2
cos
2
cos 2 cos cos


|
.
|

\
|
|
.
|

\
| +
=
2
sen
2
sen 2 cos cos

, que so as conhecidas
Frmulas de Transformao de soma em produto ou Frmulas de Prostafrese.

A FRMULA DE EULER

Segundo GUIDORIZZI (1987), seja ) (x f uma funo derivvel at a ordem n em
um intervalo aberto I e seja I x
0
. Define-se o polinmio ) (x P a seguir como o
polinmio de Taylor, de ordem n , de ) (x f em torno do ponto
0
x , isto
( ) ( ) ( )( )
( )
( )
( )
( )
( )
( )
0 0
0 0 0 0 0
1
n k
n
n k
k
x x x x
P x f x f x x x f x f x
n! k!
=

= + + + =

(i)

que, se fixado em torno de
0
0 x , = tambm pode ser chamado de polinmio de
Mac-Laurin. Tomando-se (i) ( )
x
f x e = e
0
0 x , = pode-se demonstrar que

+ + + + =
|
|
.
|

\
|
+ + + + + =

! 3 2
1
! ! 3 2
1 lim
3 2 3 2
x x
x
n
x x x
x e
n
n
x
(j)
A expresso da direita pode ser usada para definir
x
e para x para x complexo.
Analogamente demonstra-se que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
20
+ =
|
|
.
|

\
|
+ + =


! 5 ! 3 !
) 1 (
! 5 ! 3
lim sen
5 3
2
1
5 3
x x
x
n
x x x
x x
n
n
n
(k)
e que
+ =
|
|
.
|

\
|
+ + + =

! 4 ! 2
1
)! 2 (
) 1 (
! 4 2
1 lim cos
4 2 2 4 2
x x
n
x x x
x
n
n
n
(l)

Para R Y iY Z x = = , e observando-se (j), (k) e (l) teremos que

Y i Y
Y Y
Y i
Y Y
e
iY
sen cos
! 5 ! 3 ! 4 2
1
5 3 4 2
+ =
|
|
.
|

\
|
+ +
|
|
.
|

\
|
+ = (m)

que a conhecida frmula de Euler.
No obstante, tambm se demonstra que se
iY X Z
e e
+
= , onde 0 X , ento
( ) Y i Y e e
X Z
sen cos + = (n)
Se, alternativamente, adotssemos a expresso de (n) como definio de
Z
e , no
difcil mostrar que
Z W Z W
e e e , Z,W
+
= C de fato, se
1 1 1
Z X iY = + e
2 2 2
Z X iY , = + ( ) ( ) ( )
1 2 1 2 1 2
1 2 1 2
Z Z x x x x
e e cos Y Y isen Y Y e
+ + +
= + + + =
( ) ( )
1 2 1 2 1 2 2 1
cos cos sen sen sen cos sen cos Y Y Y Y i Y Y Y Y + + =
( ) ( )
1 2 1 2
1 1 2 2
cos sen cos sen
x x Z Z
e Y i Y e Y i Y e e . = + + =

PROBLEMAS DE APLICAO

PROBLEMA 1: Comearemos com um exemplo de problema anlogo ao proposto em
um exame de admisso ao Instituto Militar de Engenharia (IME). O problema pede
que se calcule as somas a seguir.

nx x x x S sen 3 sen 2 sen sen
1
+ + + + = (1)
2
2 S cos x cos x ... cos nx = + + + (2)

Utilizaremos a transformao de somas de funes trigonomtricas em produto,
conhecidas como Frmulas de Prostafrese. Observamos que

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
21
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
x
x x x
cos
2
sen 2
2
) 1 2 (
sen
2
) 1 2 (
sen
) 1 cos(
2
sen 2
2
) 3 2 (
sen
2
) 1 2 (
sen
3 cos
2
sen 2
2
5
sen
2
7
sen
2 cos
2
sen 2
2
3
sen
2
5
sen
cos
2
sen 2
2
sen
2
3
sen
=

+
=

=
=
=

(3)

Somando-se as linhas acima encontraremos uma Soma Telescpica, cujo valor
ser dado por
jx
x x x n
n
j

=
=
+
1
cos
2
sen 2
2
sen
2
) 1 2 (
sen
2
sen
2
) 1 (
cos
2
sen
cos
1
2
x
x n nx
jx S
n
j
+

= =

=
(4)
Analogamente, para a soma das funes seno
1
S pode-se escrever que:
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
x
x x x
sen
2
sen 2
2
) 1 2 (
cos
2
) 1 2 (
cos
) 1 sen(
2
sen 2
2
) 3 2 (
cos
2
) 1 2 (
cos
3 sen
2
sen 2
2
5
cos
2
7
cos
2 sen
2
sen 2
2
3
cos
2
5
cos
sen
2
sen 2
2
cos
2
3
cos
=

+
=

=
=
=

(5)

Somando-se as linhas acima encontraremos outra Soma Telescpica, cujo valor
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
22
jx
x x x n
n
j

=
=
+
1
sen
2
sen 2
2
cos
2
) 1 2 (
cos
2
sen
2
) 1 (
sen
2
sen
sen
1
1
x
x n nx
jx S
n
j
+

= =

=
(6),
que a soma procurada.
No obstante, este problema tambm pode ser resolvido utilizando-se a conhecida
Relao de Euler. Seja
2
sen
2
cos
2
x
i
x
C e
ix
+ = = , onde 1
2
= i ; assim tem-se que
nx i nx
x
i
x
C
x i x
x
i
x
C
x i x
x
i
x
C
n
n
sen cos
2
sen
2
cos
2 sen 2 cos
2
sen
2
cos
sen cos
2
sen
2
cos
2
2
4
4
2
2
+ = |
.
|

\
|
+ =
+ = |
.
|

\
|
+ =
+ = |
.
|

\
|
+ =

(7)
( )
( )
( )

+ =

= + + +
n
j
n n n n
n
jx i jx
C C
C C C
C
C
C C
C C C
1
1 2
2 2
2 4 2
sen cos
) 1 (
) 1 (

( )
1 2
1
2
sen
2
sen
2
sen
2
cos
2
sen
2
cos sen cos iS S
x
nx
nx
i
nx x
i
x
jx i jx
n
j
+ = |
.
|

\
|
+ |
.
|

\
|
+ = +

=
2
sen
2
sen
2
) 1 (
sen
2
sen
2
sen
2
) 1 (
cos
1 2
x
nx x n
i
x
nx x n
iS S

+
+

+
= + (8)
de onde tiramos os valores de interesse
1
S e
2
S igualando-se as partes reais e
imaginrias da igualdade acima respectivamente.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
23
PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por

=
=
n
j
jx S
1
2
1
sen e

=
=
n
j
jx S
1
2
2
cos . Para tal, observa-se inicialmente, da
Trigonometria que x x 2 cos
2
1
2
1
sen
2
= e x x 2 cos
2
1
2
1
cos
2
+ = , assim pode-
se reescrever
1
S e
2
S como sendo

( ) nx x x jx S
n
n
j
2 cos 4 cos 2 cos
2
1
2
1
2
1
2
1
sen
" "
1
2
1
+ + + |
.
|

\
|
+ + + = =

=
(9)

onde nx x x S 2 cos 4 cos 2 cos + + + = .

Com o auxlio da Relao de Euler, seja x i x C sen cos + = , assim

( )
( )
( )

+ =

= + + +
n
j
n n n
n
jx i jx
C C
C C C
C C C C
1
1
2 4 2
2 sen 2 cos .
( )
sen
sen . ) 1 sen(
sen
sen . ) 1 cos(
2 sen 2 cos
1
iS S
x
nx x n
i
x
nx x n
jx i jx
n
j
+ =
+
+
+
= +

=
(10)
onde

=
=
n
j
jx S
1
2 sen . Sendo
2
1
2
1
S
n
S =

+
=
x
nx x n
n S
sen
sen . ) 1 cos(
2
1
1
(11)

Outra soluo para o clculo da soma S consiste em transform-la segundo as
frmulas de Prostafrese. Para este caso tem-se que,

nx x x n x n
x n x x n x n
x x x x
x x x x
2 cos sen 2 ) 1 2 sen( ) 1 2 sen(
) 2 2 cos( sen 2 ) 3 2 sen( ) 1 2 sen(
4 cos sen 2 3 sen 5 sen
2 cos sen 2 sen 3 sen
= +
=
=
=
(12)

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
24
Somando-se todas as linhas acima tem-se que sen 2 sen ) 1 2 sen( S x x x n = +

x
x n nx
S
sen
) 1 cos( . sen

+
= , que exatamente o valor encontrado da parte real do
somatrio dado por (10).
Observando-se (9) e que x x 2 cos
2
1
2
1
cos
2
+ =
| |

+
+ = + = =

=
x
nx x n
n S n jx S
n
j
sen
sen . ) 1 cos(
2
1

2
1
cos
1
2
2
(13)

que resolve o problema do clculo de
2
S .

PROBLEMA 3: Considere a seguir o problema do clculo das somas dadas por

=
=
n
k
kx S
1
3
1
sen e

=
=
n
k
kx S
1
3
2
cos .
Seja cos sen C x i x. = + Sendo kx i kx C
K
sen cos =

pode-se escrever que


2
cos
k k
C C
kx

+
= (14)
i
C C
kx
k k
2
sen

= (15)
Elevando-se a relao (15) ao cubo tem-se que
( ) ( )
i
C C C C
i
C C
kx
k k k k k k
8
3
2
sen
3 3
3
3


=
|
|
.
|

\
|
=


4
3 sen sen 3
sen
3
kx kx
kx

= (16)

= = =
|
.
|

\
|
= =
n
k
n
k
n
k
kx kx kx S
1 1 1
3
1
3 sen sen 3
4
1
sen (17)
Por (6) tem-se que

=
+

=
n
k
x
x n nx
kx
1
2
sen
2
) 1 (
sen
2
sen
sen e observando-se que se
x i x D 3 sen 3 cos + = teremos que:

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
25
nx i nx D
x i x D
x i x D
n
3 sen 3 cos
9 sen 9 cos
6 sen 6 cos
3
2
+ =
+ =
+ =


|
|
.
|

\
|

|
|
.
|

\
|

= + + + + =

2
1
2
1
2 2 2 2
1
3 2
.
D D
D D D D
D D D D S
n n n
n
D

2
3
sen
2
3
sen
2
) 1 3 (
sen
2
) 1 3 (
cos
nx
x
x n
i
x n
S
D

+
+
+
= (18)
Tomando-se a parte imaginria da relao (18) tem-se que


+
=

=
2
3
sen
2
3
sen
2
) 1 3 (
sen
3 sen
1
x
nx x n
kx
n
k
(19)
Logo, por (6) e (19) teremos que

= =

=
2
3
sen
2
3
sen
2
) 1 3 (
sen
2
sen
2
) 1 (
sen
2
sen 3
4
1
sen
1
3
1
x
nx x n
x
x n nx
kx S
n
k
(20)
Vale lembrar que a soma

=
=
n
k
kx S
1
3 sen tambm poder ser calculada
observando-se as igualdades a seguir, isto
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
26
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
3 sen
2
3
sen 2
2
) 1 2 ( 3
cos
2
) 1 2 ( 3
cos
) 1 3 sen(
2
3
sen 2
2
) 3 2 ( 3
cos
2
) 1 2 ( 3
cos
6 sen
2
3
sen 2
2
9
cos
2
15
cos
3 sen
2
3
sen 2
2
3
cos
2
9
cos
=

+
=

=
=


cuja soma resultar em

=
=
+
n
k
kx
x x x n
1
3 sen
2
3
sen 2
2
3
cos
2
) 1 2 ( 3
cos .
2
3
sen
2
) 1 ( 3
sen
2
3
sen
3 sen
1
x
x n nx
kx
n
k
+

=
, que exatamente a expresso (19).
Para o clculo de

=
=
n
k
kx S
1
3
2
cos elevando-se a expresso (14) ao cubo teremos
que
( ) ( )
8
3
2
cos
3 3
3
3
k k k k k k
C C C C C C
kx

+ + +
=
|
|
.
|

\
| +
=
4
3 cos cos 3
cos
3
kx kx
kx
+
= (21)
|
.
|

\
|
+ = =

= = =
n
k
n
k
n
k
kx kx kx S
1 1 1
3
2
3 cos cos 3
4
1
cos (22)
Utilizando-se a relao (4) e a parte real da relao (18) e substituindo-as em (22)
tem-se que


+
+
+

= =

=
2
3
sen
2
3
sen
2
) 1 3 (
cos
2
sen
2
) 1 (
cos
2
sen 3
4
1
cos
1
3
2
x
nx x n
x
x n nx
kx S
n
k
(23)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
27
Ressaltamos que a soma

=
n
k
kx
1
3 cos tambm pode ser calculada atravs das
frmulas de Prostafrese, ou seja, fazendo
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
3 cos
2
3
sen 2
2
) 1 2 ( 3
sen
2
) 1 2 ( 3
sen
) 1 3 cos(
2
3
sen 2
2
) 3 2 ( 3
sen
2
) 1 2 ( 3
sen
6 cos
2
3
sen 2
2
9
sen
2
15
sen
3 cos
2
3
sen 2
2
3
sen
2
9
sen
=

+
=

=
=

e somando-se as linhas teremos uma Soma Telescpica, cujo valor ser

=
=
+
n
k
kx
x x x n
1
3 cos
2
3
sen 2
2
3
sen
2
) 1 2 ( 3
sen
2
3
sen
2
) 1 ( 3
cos
2
3
sen
3 cos
1
x
x n nx
kx
n
k
+

=
, que exatamente a parte real da
expresso (18).

PROBLEMA 4 (IMO-62): Aqui proposto resolvermos a equao a seguir (observamos
que o segundo problema resolvido trata desta questo de forma generalizada).

1 3 cos 2 cos cos
2 2 2
= + + x x x (A)
Notando que x x 2 cos
2
1
2
1
cos
2
+ = segue que
( ) x x x x x x 6 cos 4 cos 2 cos
2
1
2
3
3 cos 2 cos cos
2 2 2
+ + + = + +
Sendo x i x Z sen cos + =
x i x Z
x i x Z
x i x Z
6 sen 6 cos
4 sen 4 cos
2 sen 2 cos
6
4
2
+ =
+ =
+ =

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
28
( )
x
x
x i x
Z
Z Z
Z Z Z
sen
3 sen
4 sen 4 cos
) 1 (
) 1 (
2
6 2
6 4 2
+ =

= + + (B)
Tomando-se a parte real de (B) tem-se que
( )
x
x x
x x x
sen
3 sen 4 cos
6 cos 4 cos 2 cos

= + + (C)
Como x x x x 4 cos . 3 sen ) sen 7 (sen
2
1
= , ento teremos que a equao (A)
reduz-se a 0 sen 7 sen = + x x .

0 3 cos . 4 sen 2 = x x

0 3 cos 0 4 sen = = x x

Logo, a soluo da equao proposta ser dada pelo conjunto

2 1 2 1
2 4 6
k ( k ) ( k )
S x x x x ,k
+ +
= = = =
`
)
R Z

PROBLEMA 5: Determinaremos agora o valor das somas

a) nx n x x x cos 3 cos 3 2 cos 2 cos + + + + e
b) sen 2sen2 3sen3 sen x x x n nx + + + +
Sejam nx n x x x S cos 3 cos 3 2 cos 2 cos
1
+ + + + = e
2
sen 2sen2 3sen3 sen S x x x n nx = + + + +
( ) ( ) ( )
1 2
cos sen 2 cos2 sen2 cos sen S iS x i x x i x n nx i nx + = + + + + + +
Sendo cos sen Z x i x = +
n
nZ Z Z Z iS S + + + + = +
3 2
2 1
3 2 . Multiplicando-
se ambos os termos por ) 1 ( Z teremos
2
2
1
2
1
2
1
2
1
2
1 2
1 3 2
2 1
) (
) 1 (
) (
) 1 (

+
+

+ + +
= +
Z Z
Z
Z Z
nZ
Z
nZ Z Z Z Z
iS S
n
n
n n


( )
1 2
2 2
2 1 2 1
cos sen
cos sen 1 2 2
2 sen 4 sen
2 2
n n
n x i x
nx i nx
S iS
x x
i i
+ + | | | |
+
| |
+
\ . \ .
+ = (1)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
29
Observando-se que a parte real de (1) nos dar o valor de
1
S e que a parte
imaginria nos dar o valor de
2
S tem-se, aps alguma manipulao algbrica que
( ) ( )
1
2
1
1 cos cos 1 1
cos
4sen
2
n
j
n nx n n x
S j jx
x
=
+ +
= =

, e
( ) ( )
2
2
1
1 sen sen 1
sen
4sen
2
n
j
n nx n n x
S j jx
x
=
+ +
= =


PROBLEMAS PROPOSTOS:

1) (URSS) Calcule o valor das somas
a) x n C x C x
n
n n
) 1 cos( 2 cos cos
1
+ + + +
b) ( )
1
sen sen2 sen 1
n
n n
x C x C n x + + + +
Obs:
k
n
n
C
k
| |
=
|
\ .
denota o binomial n escolhe k.
2) (URSS) Mostre que
2
1
1 2
2
cos
1 2
6
cos
1 2
4
cos
1 2
2
cos =
+
+ +
+
+
+
+
+ n
n
n n n

.

3) (URSS) Prove que
a) ( ) ( ) ( )
( ) 1
sen sen
2 2
sen sen sen 2 sen
sen
2
n n
n
+ | |
+
|
\ .
+ + + + + + + =


b) ( ) ( ) ( )
( ) 1
sen cos
2 2
cos cos cos 2 cos
sen
2
n n
n
+ | |
+
|
\ .
+ + + + + + + =


4) Calcule o valor da soma
n
n
S
2
4
cos
2
4
2
cos
2
4
cos
2

+ + + = .

5) Mostre que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
30
a)
1 cos 2
1 cos ) 1 cos( cos
cos 2 cos cos 1
2
1 2
2
+
+ +
= + + + +
+ +



a a
a k a k a
k a a a
k k
k

b)
( ) ( )
( ) ( ) ( )
2 1
2
sen sen sen
sen sen 1 sen sen
2 cos 1
k
k k
a h a kh
a kh a k h a h
a a h
+ +
+ + + + + =
+ + + +

+


6) Mostre que
0
72 o menor ngulo positivo que satisfaz simultaneamente s
equaes:
1 cos cos2 cos3 cos4 0
sen sen2 sen3 sen4 0
x x x x
x x x x
+ + + + =

+ + + =


7) (IME-92) Mostre que
( ) 2 1
sen
1
2
cos cos2 cos
2
2sen
2
n x
x x nx .
x
+
+ + + + =






REFERNCIAS

[1] FADDEEV, D.; SOMINSKY, I. Problems in Higher Algebra, Moscou: Ed. MIR, 1968.
[2] GREITZER, S.L. International Mathematical Olympiads 1959-1977, Fifth Printing,
Washington D.C.: The Mathematical Association of America, 1978.
[3] GUIDORIZZI, H.L. Um curso de clculo Vol. 1, 2
a
Edio, So Paulo: Ed. Livros
Tcnicos e Cientficos, 1987.
[4] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 3 (Trigonometria), 6
a
Edio,
So Paulo: Editora Moderna, 1985.
[5] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 6 (Complexos Polinmios -
Equaes), 4
a
Edio, So Paulo: Editora Moderna, 1983.
[6] LIDSKI, V. B.; OVSIANIKOV, L. V.; TULAIKOV, A. N.; SHABUNIN M. I.
Problemas de Matematicas Elementales, Moscou: Ed. MIR, 1972.
[7] MORGADO, A. C; WAGNER, E.; DO CARMO, M. P., Trigonometria e Nmeros
Complexos, 4
a
Edio, Rio de Janeiro: Publicao da Sociedade Brasileira de Matemtica,
2001.
[8] SHKLARSKY, D.O., CHENTZOV, N.N., YAGLOM, I.M. The USSR Olympiad
Problem Book, New York, Dover Publications, Inc., 1994.

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
31
UMA INTERESSANTE DEDUO PARA A
FRMULA DE HERO
Flvio Antonio Alves, Amparo SP

Nvel Intermedirio

Nesta nota sugerimos uma deduo para a fascinante frmula de Hero por meio
de aplicaes dos nmeros complexos geometria.

Sejam bi a z + =
1
e di c z + =
2
dois nmeros complexos no nulos e distintos.
Vamos considerar o tringulo de vrtices o,
1
z e
2
z (veja a figura abaixo).


o
z
2
z
1
Re

Im

1

A rea S do tringulo acima dada por:
( ) { }
1 2 2 1 2 1
1 1
2 2
S z z sen Im z z = = .
Vamos multiplicar essa expresso, membro a membro, por 2 e elevar ao quadrado
ambos os termos da igualdade. Assim,
{ }
( )
( )
( )
2
2 2 2
2 1 1 2 2 2 2 2 2
2 1 2 1 2 1 1 2 2
1
4 2
4
2
z z z z
S Im z z z z z z z z
i

= = =


Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
32
( ) | | ( ) | | ( ) | |
2 1 1 2 1 2 2 1 1 2 1 2
2
2 1 1 2
2
1
2
2
2 2
4
1
4
4
1
z z z z z z z z z z z z z z z z z z + + + = + =
( ) | | ( ) | |
2
2 1
2
2 1
2
2 1
2
2 1
4
1
z z z z z z z z + = .
Notemos que:
i) ( ) ( ) ( )
2 1 2 1 1 2 2 1
2
2 1
2
2 1
z z z z z z z z z z z z + + = ,
E, do mesmo modo, temos que:
ii) ( ) ( ) ( )
2 1 2 1 2 1 2 1
2
2 1
2
2 1
z z z z z z z z z z z z + + + = + .
Substituindo (i) e (ii) na expresso acima, vem:
( ) ( ) ( ) ( )
2 1 2 1 2 1 2 1 2 1 2 1 1 2 2 1
4
1
z z z z z z z z z z z z z z z z + + + + + =
Nesse caso, pondo-se
( )
2
2 1 2 1
z z z z
p
+ +
= , onde p o semi-permetro,
conclumos que:
( ) ( ) ( ) ( ) = p z z p z p z p S 2 2 2 2 2 2 2
4
1
4
2 1 2 1
2

( ) ( ) ( ) ( ) = p z z p z p z p S
2 1 2 1
2
4 4
( ) ( ) ( ) ( ) = p z z p z p z p S
2 1 2 1
2

( ) ( ) ( ) ( )
2 1 2 1
z z p z p z p p S = , que a frmula de Hero.









Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
33
RAZES DA UNIDADE
Anderson Torres & Eduardo Tengan

Nvel Intermedirio

Para Ra Frmula de Euler nos permite escrever cos sen
i
e i .

= +
Ela nos fornece uma maneira prtica de multiplicar nmeros complexos. Por
exemplo, o Teorema de De Moivre, normalmente escrito
( ) cos sen cos sen
n
i n i n , + = + na notao exponencial fica bem mais
conciso:
( )
( )
n
i n i
e e .

= Mas, e as razes da unidade? Elas so os complexos que
zeram o polinmio ( ) 1
n
P z z . = Por De Moivre, sabemos que
2k i n
k
e

= 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:

( )
0
1
n k
k n
z z ,
<
=


em que
2k i n
e .

=

Razes da unidade tm um monte de aplicaes. Uma das mais imediatas
simplificar contas com funes trigonomtricas, usando estas frmulas aqui:

cos sen
2 2
i i i i
e e e e
;
i

+
= =

PROBLEMA 1: calcule a soma tenebrosa
0
sen
k n
k
n
<



SOLUO: Usando a nossa recente descoberta, esta soma se transforma numa
progresso geomtrica! Sendo
i n
e ,

= temos

( )
1
0 0 0 0
1
2 2
k k
k
k
k n k n k n k n
k
sen
n i i

< < < <


| |
= =
|
\ .


Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
34
( )
1
1
0
1
1 1
sen
2 1 1
n
n
k n
k
n i

<
| |


|
=
|

\ .



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...

1 2 1 2
1 1 2 1 2
0
1 2 2
2 1 1 2
k n
i
k
sen i cotg
n n


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




Agora, uma aplicao da fatorao de 1
n
z :

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

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

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

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

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

( )( ) ( )
( )
2
1 1 2
2
1 2
1
f i i f i i
i
+ = = =
+

Podemos tomar ( )
1
f x x. = Mas e quanto a ( )
1
g x ? Calma, coisas so feitas para
funcionar! Veja que
( )( ) ( )
2 2
1
2 1 2 1 f x x x x + = + +
tem i com zero, e automaticamente i (conjugados, a-h!). Portanto o polinmio
acima mltiplo de
2
1 x + e basta efetuar a diviso com Briot-Ruffini para achar
1
g .
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
35
Para o caso geral, vamos considerar os zeros de
2
1
n
x . + Mas os zeros de
1
2
2
2
1
1
1
n
n
n
x
x
x
+

+ =

so justamente as razes
1
2
n+
-simas da unidade que no so
razes 2
n
-simas da unidade. Logo, se escolhermos
1
2 2
n
i
e
+

= uma raiz
1
2
n+
-sima
primitiva da unidade (isto , que no raiz t-sima da unidade para nenhum t
menor que
1
2
n+
), temos
( )
( )
2
1 2 1
1 mod2
1
n
n
k
k
k
x x
+

+ =


Escrevendo x = 1,

( ) ( )
( )
( )
( )
2
1 2 1 1 2 1
1 mod2 1 mod2
1 1 1 2 1
n
n n
k k
k k
k k
+ +

+ = =



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

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

+ = + + + +

Portanto, podemos escolher
n
f tal que ( )( )
2
2 1
n
n
f x x + admite razes
k
,k
mpar. Portanto, divisvel por
2
1
n
x , + 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 70 120 120 130 100 A , B , C , D , E . = = = = =
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, 80 40 80 20 140 AOB , BOC , COD , DOE , EOA . = = = = =
Mas ( ) 80 40 20 140 20 MDC , , , = e portanto os vrtices do pentgono esto entre os
vrtices de um 18-gono regular (afinal,
360
18
20
= )! Agora, vamos colocar as
coisas nos eixos: inicialmente, 0 1 O , A = = (podemos fazer isto por homotetia: se
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
36
1 OA , aplicamos uma homotetia de centro O e razo 1 OA ). Seja
2 18 i
e

= 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.

4 6 10 11
1 a ,b ,c ,d ,e = = = = =

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:
AO: z z
BD: z bdz b d
CE : z cez c e
=
+ = +
+ = +

que equivale a
14 4 1 10
17 6 11
AO: z z
BD: z z
CE : z z
=
+ = +
+ = +


Basta provar que
4 10 6 11
14 17
1 1
AO BD: z ; AO CE : z
+ +
= =
+ +


Antes de comear a calculeira, vamos estudar algumas propriedades interessantes
de . Bem, sabemos que ele zero do polinmio
18
1 x , e
2
18 2 3 . = A ideia ser
fatorar este polinmio at a exausto...
( )( )
18 9 9
1 1 1 x x x . = + Como raiz 18-
sima primitiva da unidade, o primeiro fator no contm como raiz. Assim
sendo, vamos pensar no outro fator:
( ) ( )( )
3
9 3 3 6 3
1 1 1 1 x x x x x . + = + = + + Pode-
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
37
se demonstrar (mas no ser necessrio) que este 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
14 17
4 10 17 6 11 14
4 1 8 6 2 5
4 1 12 9 6 2 11 7
4 1 3 6 2 2 7
4 1 3 3 7
4 1 7

1 1
1 1
1 1

1
1 1


+ +
=
+ +
+ + = + +
=
+ = +
+ = + +
+ = +
=
3 6
1
0 0
=
=

E fim!
Outra aplicao interessante das razes da unidade como marcadores. Veja este
problema:

PROBLEMA 4: Determine uma frmula fechada para

3 k
n
k
| |
|
\ .



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

( )
3
1
n
k
k
n
z z
k
| |
= +
|
\ .



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
2 3 i
e .

=
Substituindo z por 1, e
2
, temos
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
38
( )
( ) ( ) ( ) ( )
( )
2 2
2 2
1 1
1 1 2 1 1
1
n
k
n
n n
k k k n
k k
n
k
k
n
k
n n
k k
n
k
| |
= +
|
\ .

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

| |

= +
|

\ .



Agora, se k mltiplo de
2
31 3
k k
, ; + + = caso contrrio, temos uma progresso
geomtrica de razo 1
k
, e portanto
3
2
1
1 0
1
k
k k
k
.

+ + = =


Ou seja, matamos todos os no mltiplos de 3!

( ) ( ) ( ) ( ) ( )
2 2
3
3 2 1 1 2 2 2 1
2
n n
n n
n n n
n n n
k
n
k

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


( )
3
2
2 2 1
3
3
n
n
k
n
cos
n
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 { } 1 2 3 2 S , , ... p . =
Determine o total de subconjuntos A S que satisfazem as condies a seguir:

A p; =

x A
p 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).
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
39
Vamos pensar em uma raiz p-sima da unidade, primitiva por sinal:
2 i p
e .

= Veja
que
k
= tambm uma raiz p-sima da unidade, para { } 1 2 3 1 k , , ,..., p .
Exclumos o 1 propositalmente, pois ele no ter propriedades to interessantes
quanto as outras razes (logo vers o porqu).
Os complexos
{ }
( )
{ }
1 0 1 2 1 2
1
k p p k k
, , ,..., , , ,...,

= so razes p-simas da
unidade. Elas so distintas: de fato, se
ik jk
= para 0 i j p, < temos
( )
0
1
j i
e k e p j i k

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


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

= = =


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

( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2
0 1 0 1 1 1 2
1
p j j j j
j p j p j p p j p
f z z z z z z
+
= = = =


( )
1 2
j
j p
z

=


Vamos abrir ( ) ( )
2
f z : ( ) ( )
2
2 2 1 2
0 1 2 2 1 2
p p p
p p p
f z a a z a z ... a z ... a z a z

= + + + + + + +
Agora, vamos observar como o
p
a 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

( )( ) ( )
1 2
1 2
0 1 1 2
p
p
j
j j r
p r
r p j j ... j p
a ... c
< <
= =



em que
r
c o total de p-tuplas
1 2 p
j j ... j < < < tais que
( )
1 2
mod
p
j j ... j r p . + + + A nossa tarefa achar
0
c !
Mas ( ) ( )
2
2
2 1 2
p p
p
f z z z a . = + = Assim,
1
0 1 2 1
2
p
p
c c c ... c

+ + + + =

Em outras palavras, zero do polinmio

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
40
( ) ( )
2 1
0 1 2 1
2
p
p
g z c c z c z ... c

= + + + +

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:
( )
( )
( )
2 1
1 1
1
1
p
p p
f z
g z c c z z ... z
z


= = + + + +



Igualando os coeficientes,
0 1 2 1
2
p
c c c ... c .

= = = =
Mas
0 1 2 1
2
p
p
c c c ... c .
p

| |
+ + + + =
|
\ .
Contagem dupla: cada p-subconjunto de S
contado em exatamente um dos
i
c , justamente aquele correspondente soma de
seus elementos mdulo p.
Resolvendo as equaes acima, conclumos que

0
2
1
2 2

p
c
p p
| | | |
= +
| |
\ . \ .

E fim!
Bem, que tal uns exerccios?


EXERCCIOS PROPOSTOS:

1) Determine o valor numrico da srie
1 1 n j n
j
cos
n


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

inteiro.
Defina ( ) ( ) ( )
r r r
r
K x sen rA y sen rB z sen rC . = + +
Prove que se
1 2
0 K K = = ento 0
n
K = para todo 0 n . >

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.

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
41
4) Calcule
2 4 8
7 7 7
sen sen sen .

+ +
Dica: sejam
2
2 4 3 5 6
7
i
e , p ,q .

= = + + = + + 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
( ) ( ) ( ) ( ) ( )
5 5 2 5 4 3 2
1 P x xQ x x R x x x x x S x , + + = + + + + prove que ( ) 1 0 P . =

6) Frmula de Multiseco: Sendo ( )
2
0 1 2
n
n
p x a a x a x ... a x , = + + + + e l ,m , N
com 0 l m, temos
( )
( )
0
mod
lk k
k m
k
k l m
p
a
m

em que
2i
m
e .

=

7) Mostre que ( )
2
0
2
2 2
k n
n
n
cos k cos cos
k

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



8) (Irlanda) Sabe-se que a, b, c so complexos tais que as razes da equao
3 2
0 x ax bx c + + + = tm mdulo 1. Prove que as razes de
3 2
0 x a x b x c + + + =
tambm tm mdulo 1.

9) Seja
( )
496
2 3 4 2 1984
0 1 2 1984
1 x x x x a a x a x ... a x . + + + + = + + + +

Determine MDC ( )
3 8 1983
a ,a ,...,a
Prove que
340 347
992
10 10 a < <

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

11) Determine o nmero de polinmios de grau 5 com coeficientes entre 1 e 9
inclusive e que sejam divisveis por
2
1 x x . +

12) Prove que o nmero
3
0
2 1
2
2 1
k
k n
n
k

+ | |
|
+
\ .

no mltiplo de 5 para qualquer


0 n .

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
42
COMO QUE FAZ?
Resolvermos aqui, a pedidos, trs problemas propostos na seo Olimpadas ao redor do
mundo.

1) (Problema 109 Sua, 2000, proposto na Eureka! 11) Seja ( ) q n a soma dos
algarismos de n. Calcule
( ) ( ) ( )
2000
2000 q q q (Proposto por Ccero Soares Furtado,
de Reriutaba CE).

SOLUO: Como
2000 2000 6000
2000 2 10 , = sua representao decimal a
representao decimal de
2000
2 seguida de 6000 zeros, e logo
( ) ( )
2000 2000
2000 2 . q q = Como
( )
667
3 2000 2001 3 667
2 10, 2 2 2 10 , < < = < donde
2000
2
tem no mximo 667 dgitos. Como cada dgito no mximo 9,
( ) ( )
2000 2000
2000 2 9 667 6003. q q = =
Portanto,
( ) ( )
2000
2000 6 9 9 9 33, q q + + + = e logo
( ) ( ) ( )
2000
2000 3 9 12. q q q + =
Por outro lado, como n e q(n) sempre deixam o mesmo resto na diviso por 9, o
resto da diviso de
( ) ( ) ( ) ( ) ( ) ( )
2000 2000
2000 2000 q q q q q q = por 9 igual ao resto
da diviso de
2000
2 por 9. Mas, como
6
2 64 = deixa resto 1 quando dividido por 9,
( )
333
2000 6 333 2 6 2
2 2 2 2 4
+
= = = quando dividido por 9. Como
( ) ( ) ( )
2000
2000 12 q q q e 4 + 9 = 13 > 12, conclumos que necessariamente
( ) ( ) ( )
2000
2000 4. q q q =

2) (Problema 110 Grcia, 2000, proposto na Eureka! 11) Determine os nmeros
primo p para os quais o nmero
2 3 4
1 p p p p + + + + um quadrado perfeito.
(proposto por Ccero Soares Furtado, de Rariutaba CE).
Vamos encontrar todos os naturais n tais que
2 3 4
1 n n n n + + + + quadrado
perfeito. Note que
2
2
2 4 3 4 3 2
1 5 1
1
2 4 2 4
n n n
n n n n n n n
+ | |
+ = + + + + > + + + +
|
\ .
para
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
43
todo 3 n > (pois
2
3
0
4 2 4
n n
> para todo n > 3). Por outro lado, para todo
, nN
2
2
2 4 3 4 3 2
1.
4 4
n n
n n n n n n n
| |
+ = + + < + + + +
|
\ .

Como, para todo , k N temos
2
2
n
k n + ou
2
1
,
2
n
k n
+
+ se n > 3 temos
2 4 3 2
1 k n n n n < + + + + ou
2 4 3 2
1 k n n n n > + + + + Assim, basta olhar os
casos { } 0,1, 2, 3 . n Para n = 0,
4 3 2 2
1 1 1 . n n n n + + + + = = Para n = 1,
4 3 2
1 5, n n n n + + + + = que no quadrado perfeito. Para n = 2,
4 3 2
1 31, n n n n + + + + = que no quadrado perfeito, e, para n = 3,
4 3 2 2
1 121 11 . n n n n + + + + = = Assim, o nico primo p tal que
2 3 4
1 p p p p + + + +
quadrado perfeito p = 3.

3) (Problema 188 Rssia, 2002, proposto na Eureka! 15) No intervalo
( )
2 2
2 ,3
n n

so escolhidos
2 1
2 1
n
+ nmeros mpares. Mostre que podemos encontrar entre
estes nmeros dois nmeros tais que o quadrado de cada um deles no divisvel
pelo outro. (Proposto por Anderson Torres, de Santana de Parnaba SP).
SOLUO: Se x y < so mpares e y divide
2
x , ento
2
.
2
y x
y
| |
|
\ .
Em particular,
2
,
2
y x
y
| |

|
\ .
donde 2 , y x y e logo
( )
2
1 2 1 , y y y x = + > donde
1. y x > + Assim, se
2 1
2 2
0 1
2
2 ... 3
n
n n
x x x

< < < < < so os nmeros em questo,
temos
1
1,
j j
x x
+
> + para todo 0, j e logo 2 , 0.
n
j
x j j > +
Em particular,
2 1
2 1
2
2 2 ,
n
n n
x


> + donde
( ) 2 1
2
2 2 1
2
3 2 2 ,
n
n n n
x


> > + e logo
2 1
3 2 2 ,
n n n
> + mas isso falso para todo 1 n (para n = 1, 3 < 4, para
2, 9 4 8 n = < + e, para
2 1
3, 3 2
n n
n

< : com efeito,
3 5
27 3 2 32 = < = e, se
( ) 2 1 1 2 1 1 2 1 2 1 2 1
3 2 ,3 3 3 3 2 4 2 2 2 ),
n n n n n n n n + + +
< = < < = = absurdo.

4) (Problema 113 Polnia, 2000, proposto na Eureka! 11) Uma sequncia
1 2,...
, p p
de nmeros primos satisfaz seguinte condio: para 3,
n
n p o maior divisor
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
44
primo de
1 2
2000.
n n
p p

+ + Mostre que a sequncia ( )
n
p limitada. (Proposto
por Anderson Torres, de Santana de Parnaba SP).

SOLUO: Vamos mostrar a seguinte afirmao, que implica o resultado:
Para todo 0 k existe j com 1 40 j tal que
( ) ( )
1 1
2
max , max , 40000
3
k j k j k k
p p p p
+ + + +
+ (de fato, a afirmao implica que
existe
0
n N tal que 160000,
n
p para todo
0
; n n note que
( )
2 1
max , 1000, 1).
n n n
p p p n
+ +
+
Suponhamos inicialmente que, para todo r, com 0 35,
k r
r p
+
um primo mpar.
Ento, para todo r, com
1 2
2000
2 36, .
2
k r k r
k r
p p
r p
+ +
+
+ +
Definindo
0
,
k
q p =
1 1 k
q p
+
= e
1 2
2000
2
j j
j
q q
q

+ +
= para 2 36, j temos ,
k r r
p q
+
para
0 36. r Se, para algum 36, ,
k r r
r p q
+
tomando um tal r mnimo temos
1 2
2000
,
6
k r k r
k r
p p
p
+ +
+
+ +
e a afirmao vale para j = r. Temos ainda que
j
q
dado pela expresso
1 1
2 2 2 4000 4000 1
3 9 3 9 2
j
k k k k
j
p p p p
q
+ +
+ | | | | | |
= + + +
| | |
\ . \ . \ .
2000
,
3
j
para
0 42. j Assim,
( ) ( ) ( )
6
6 1 1
1
9 3 6 4000 6 6 4000 6000 9 6000 mod7 .
2
j
j k k k k k
q p p p p j p j
+ +
| |
= + + + + +
|
\ .
Portanto, existe s com 0 6 s tal que
6
9
s
q (e logo
6s
q ) mltiplo de 7. Se s = 0,
a afirmao j vale para j = 1. Se tivssemos
k r r
p q
+
= para 0 36, r tomamos s
com 1 6 s tal que
6s
q mltiplo de 7, e teramos
6
6
,
7
s
k j
q
p
+
absurdo.
Se 2,
k
p = a afirmao j vale para j = 1. Finalmente, se 2
k r
p
+
= para algum r
com 1 35, r teremos
1 1
2002
k r k r
p p
+ + +
+ e
2 2 1 1
4004,
k k
p p
+ + +
+ mas um
desses nmeros ( )
1 1 1
, +2002 e 4004
k r k r k r
p p p
+ + +
+ mltiplo de 3, logo a
afirmao vale para j = r + 2.




Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
45
SOLUES DE PROBLEMAS PROPOSTOS
Publicamos aqui algumas das respostas enviadas por nossos leitores.

131) a) Considere o seguinte jogo: no incio um jogador A entrega um nmero
2 k ao jogador B . Quando A entrega um nmero 2 m a B, B pode devolver
m 1 ou 1 m+ a A. Quando A recebe um nmero 2 n deve, se n for mpar
devolver 3n a B; se n for par mas no mltiplo de 4, pode devolver
2
n
ou 3n a B, e,
se n for mltiplo de 4, pode devolver ,
4 2
n n
ou 3n a B. Qualquer jogador ganha o
jogo se devolver 1 ao adversrio. Caso algum jogador devolva ao adversrio um
nmero maior que 1000k, o jogo empata. Determine, para cada valor de 2 k , se
algum dos jogadores tem estratgia vencedora, e, nesses casos, qual deles.

b) Resolva o item anterior supondo que A, ao receber um nmero 2, n deve
devolver 3n a B se n for mpar, deve devolver
2
n
a B se n for par mas no mltiplo
de 4 e deve devolver
4
n
a B se n for mltiplo de 4.

SOLUO DE JOS DE ALMEIDA PANTERA (RIO DE JANEIRO RJ)
a) Naturalmente A perde se entregar o nmero 2 k = ao jogador B, pois B poder
devolver 1 imediatamente a A.
Vamos mostrar que A ganha se entregar a B um nmero de k da forma
2 4 1
3
n
+
ou
da forma
4 1
,
3
n

para algum 1 n , e se 2 k > no for de nenhuma dessas formas


nenhum dos jogadores tem estratgia vencedora.
Para isso, note que, se A entrega
1
2 4 1
3
3
+
= a B, B pode devolver 2 ou 4 a A, e,
em qualquer caso, A pode devolver 1 a B e ganhar o jogo. Se A entrega
1 1
4 1
5
3
+

=
a B, B pode devolver 4 ou 6 a A.
Se devolve 4, A pode devolver 1 a B e ganhar. Se devolve 6, A pode devolver 3 a B,
e ganhar a seguir, como vimos antes.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
46
Em geral, podemos argumentar por induo: se A entrega
1
2 4 1
3
n+
+
a B, com
1, n B pode devolver
1
2 4 2
3
n+

a A, caso em que A pode devolver
1
4 1
3
n+

a B,
ganhando o jogo, ou B pode devolver
1
2 4 4
3
n+
+
a A, caso em que A pode devolver
2 4 1
3
n
+
a B, ganhando o jogo. De modo similar, se A entrega
2
4 1
3
n+

a B, com
1, n B pode devolver
2
4 4
3
n+

a A, caso em que A pode devolver


1
4 1
3
n+

a B,
ganhando o jogo, ou B pode devolver
2
4 2
3
n+
+
a A , caso em que A pode devolver
1
2 4 1
3
n+
+
a B, ganahndo o jogo.
Notemos que A sempre pode no mnimo empatar o jogo se 3. k De fato, se em
algum momento do jogo A entrega 3 m a B, B devolve no mnimo m 1, e A
pode devolver o triplo, que no mnimo ( ) 3 1 . m m >
Assim, A pode devolver nmeros cada vez maiores, que em algum momento
ultrapassaro 1000k, empatando o jogo.
Veremos agora que B pode garantir o empate se A entrega um nmero que no
das formas descritas anteriormente. Mais precisamente, veremos que, se A envia
um nmero que no pertence ao conjunto
1
2 4 1 4 1
: , 0 , 1 ,
3 3
n n
X n n
+
+
=
` `
) )
ento B pode devolver um nmero a
partir do qual A no pode devolver nenhum nmero pertencente a X (note que
1 X ). Temos { } 1, 3,5,11, 21,... . X = Se A envia a B um nmero par m, B pode
devolver m 1 ou m + 1, que so mpares, a A, que deve devolver o triplo a B.
Como no possvel que ( ) 3 1 m e ( ) 3 1 m+ pertenam ambos a X, isso mostra
nossa afirmao no caso m par. Se A envia a B um nmero mpar m, que no
pertence a X, no difcil ver que { } { } 1 2 , 4 , m k k X k k X ou
{ } { } 1 2 , 4 , . m k k X k k X + Isso implica a afirmao no caso m par.

b) No meio do jogo, B s recebe um nmero par se A tiver acabado de dividir um
nmero (necessariamente mltiplo de 8) por 4. E, se B recebe um mpar, devolver
um par, o que forar A a dividi-lo por 2 ou por 4. Assim, os nmeros tendem a
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
47
decrescer, e , nos casos que empatavam, B ganha o jogo. Por outro lado, A ganha o
jogo, com a mesma estratgia, nos mesmos casos que no item A, pois nesses casos
sempre devolve nmeros mpares.

132) a) Considere uma famlia de 2000 crculos de raio 1 no plano tal que dois
crculos de nunca so tangentes e cada crculo de intersecta pelo menos dois
outros crculos de . Determine o nmero mnimo possvel de pontos do plano
que pertencem a pelo menos dois crculos de .

SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ)
Mostraremos que esse nmero mnimo igual a 2000.
Para isso, consideramos um tringulo equiltero de lado 3 e os seguintes quatro
crculos: o crculo circunscrito ao tringulo e os trs crculos que contm o
circuncentro do tringulo e dois de seus vrtices. Esses quatro crculos tm raio 1, e
cada um deles intersecta os outros trs.
Considerando 500 cpias disjuntas dessa configurao de crculos, obtemos 2000
crculos como no enunciado tais que h 2000 pontos que pertencem a pelo menos
dois deles.


Para concluir, vamos mostrar que, numa configurao de n crculos de raio 1 no
plano ( ) 2 n em que cada crculo intersecta pelo menos outro crculo e no h
dois crculos tangentes, h sempre pelo menos n pontos que pertencem a pelo
menos dois dos crculos. Vamos mostrar, por induo em n, que, na situao acima,
no apenas h pelo menos n pontos que pertencem a pelo menos dois dos crculos,
mas tambm que existe uma funo injetiva do conjunto dos n crculos no conjunto
dos pontos que pertencem a pelo menos dois dos crculos tal que a imagem de cada
crculo pertence a ele.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
48
Para isso, note que se n = 2 isso claramente verdadeiro. Suponha agora que
2 m e que isso vale para todo n com 2 , n m e considere uma configurao
de m + 1 crculos como antes.
Suponha inicialmente que algum desses crculos, digamos
1
, C intersecta s um dos
outros crculos, digamos
2
C , seja { }
1 2
, . C C p q =
Temos dois casos: no primeiro,
2
C s intersecta
1
. C Ento associamos p a
1
, C q a
2
C e usamos a hiptese de induo para os m 1 crculos restantes. No segundo
caso,
2
C intersecta algum dos outros crculos. Ento associamos P a
1
C e usamos a
hiptese de induo para os m crculos
2 3 1
, ,..., .
m
C C C
+

Se, por outro lado, cada um desses m + 1 crculos intersecta pelo menos dois dos
outros, temos de novo dois casos:
Se h no total pelo menos m + 1 pontos que pertencem a pelo menos dois dos
crculos, podemos separar um dos crculos, digamos
1
,
m
C
+
e fixar uma injeco de
{ }
1 2
, ,...,
m
C C C no conjunto dos pontos que pertencem a pelo menos dois dos
crculos ,
j
C j m tal que a imagem de cada
i
C , que chamaremos de ,
i
P pertence a
.
i
C
Para cada { }
1
,..., ,
m
X C C o conjunto dos pontos que pertencem a pelo menos
dois crculos de { }
1 m
X C
+
tem pelo menos 1 X + elementos. Se algum ponto
{ }
1
,...,
m
P P P pertence a
1 m
C
+
e a algum dos outros crculos, simplesmente
estendemos a injeo associando P a
1 m
C
+
. Seno, construmos uma sequncia de
conjuntos
1 2
, ,... A A do seguinte modo:
{ }
1 1
.
i m
A i m P C
+
= Se
1 2
, ,...,
r
A A A j
esto definidos, se o conjunto (de pelo menos 1
r
A + ) pontos que pertencem a pelo
menos dois crculos de { } { }
1
,
m j r
C C j A
+
est contido em { }
1
,..., ,
m
P P
definimos
{ 1 r r j
A A j m P
+
= pertence a pelo menos dois crculos de
{ } { }} 1
, .
m j r
C C j A
+
Note que
1
.
r r
A A
+
> Em algum momento, haver um
ponto P fora de { }
1
,...,
m
P P que pertence a pelo menos dois crculos de
{ }
1
, ,
m j r
C C j A
+
e logo a dois crculos

j
C e
`
,
j
C com
`
1
, , .
r r
j j A j A


Podemos ento alterar a injeo associando

j
C a P; como existe algum
1 1 2
\
r r r
j A A

tal que

j
P pertence a
1
,
r
j
C

associamos
1 r
j
C

a

j
P , e, em geral,
para cada s com 1 1, s r < se j definimos
1
\ ,
s s s
j A A

existe
1 1 2
\
s s s
j A A


Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
49
tal que
s
j
P pertence a
1
;
s
j
C

associamos ento
1 s
j
C

a .
s
j
P Fazemos isso at associar
1
j
C a
2
.
j
P Como
1 1
, j A podemos associar
1 m
C
+
a
1
,
j
P estendendo nossa injeo a
{ }
1 2 1
, ,..., , ,
m m
C C C C
+
o que prova nossa afirmao.
Finalmente, suponhamos que h apenas m pontos que pertencem a pelo menos dois
dos crculos. Observamos que, como os crculos tm raio 1, se um par de pontos
est contido em dois crculos de famlia, no estar contido em nenhum outro
crculo de famlia, e portanto, se um ponto pertence a 2 r crculos da famlia,
cada um desses r crculos intersecta os outros r 1 em outros r 1 pontos distintos,
e distintos do ponto comum aos r crculos. Assim, cada um desses r crculos
contm pelo menos r pontos que pertecem a pelo menos dois crculos da famlia.
Podemos considerar uma injeo que leva { }
1 2
, ,...,
m
C C C no conjunto desses
pontos, a qual ser uma bijeo. Sendo
i
P a imagem de ,
i
C podemos considerar a
matriz
( )
,1 1,1 ,
ij
a i m j m + onde 1
ij
a = se
j
P pertence a
i
C e 0,
ij
a = caso
contrrio. Se, para , j m
{ } { }
1
j j i ij
n i P C i a = = = e, para
{ } { }
1, : 1 ,
i j i ij
i m s j P C j a + = = = temos, pelo que observamos acima,
, ,
i i
s n i m donde
1 1
,
m m
i i
i i
s n
= =


mas ( )
{ }
1
1 1
, 1 ,
m m
i j ij
i j
s n i j a
+
= =
= = =

e
1
0,
m
s
+
>
pois
1 m
C
+
intersecta outros crculos, absurdo.


133) Considere um ngono regular inscrito em um crculo unitrio, fixe um
vrtice i e denote por d
j
a distncia entre este vrtice i e o vrtice j. Prove que
( )
1
2 2
0
5
n
j n
j i
j
d F

=
=

onde
1 1
0, 1 F F = = e
1 2
,
n n n
F F F

= se 2. n

SOLUO DE ASDRUBAL PAFNCIO SANTOS (BOTUCATU SP)
Podemos supor sem perda de generalidade que 0 i = e que o vrtice j
2
,
j i n
e

para
0 1. j n Queremos ento provar que
1
2
1
2
3 2cos .
n
n
j
j
F
n

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



Temos
( )( )
2 2
2 2 2 2
2
1 1 1 2 2 2cos ;
j i n
j i n j i n j i n j i n
j
e e e e e
n

| |
= = =
|
\ .




queremos provar portanto que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
50

1
2
1
2
3 2cos .
n
n
j
j
F
n

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


Considere agora a sequncia de polinmios
( ) ( )
0
n
n
f x

dada por ( ) ( )
0 1
2, f x f x x = = e ( ) ( ) ( )
1 1
, 1.
n n n
f x xf x f x n
+
=
Temos, para todo 0 n e todo ( ) ( ) , 2cos 2cos .
n
f n = R De fato isso vale
para n = 0 e n = 1 e, por induo,
( ) ( ) ( ) ( ) ( ) ( )
1 1
2cos 2cos 2cos 2cos 4cos cos 2cos 1
n n n
f f f n n
+
= = =
( ) ( )
2cos 1 . n = + Alm disso, para todo ( ) 1,
n
n f x um polinmio mnico de
grau n. Como as soluo de ( ) 2cos 2 n = so dadas por
2
, ,
k
k
n
= Z

temos
( )
1
0
2
2 2cos , 1,
n
n
k
k
f x x n
n

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


donde
( )
1
1
2
2
2cos .
2
n
n
j
f x
j
x
n x

=
| | | |
=
| |

\ . \ .



O que queremos provar equivale a
( )
( )
( ) ( )
1
1
2
1
3 2
2 1
1 3 2cos 3 2 ,
3 2 5
n
n
n
n n
j
f
j
F f
n

=
| | | |
= = =
| |

\ . \ .


o que
equivalente a ( ) ( )
2
3 2 1 5 .
n
n n
f F = + Como
1 1 5 1 5
, 0,
2 2 5
n n
n
F n
| |
| | | | | |
+
|
= | | |
| | |
|
\ . \ . \ .
\ .
temos
( )
2
3 5 3 5
2 1 5 .
2 2
n n
n
n
F
| | | |
+
+ = +
| |
| |
\ . \ .
Por outro lado, a sequncia
( ) 3
n n
x f = satisfaz
0 1
2, 3 x x = = e
1 1
3 , 1,
n n n
x x x n
+
= e logo (usando o
fato de as razes de
2
3 1 0 x x + + = serem
3 5
2

),
3 5 3 5
, 0,
2 2
n n
n
x n
| | | |
+
= +
| |
| |
\ . \ .

o que prova a igualdade desejada.


136) Sejam R,
1 2
, r r e
3
r os raios dos crculos de centro , O
1 2
, O O e
3
, O
respectivamente, conforme a figura abaixo. Prove que:
1 2 1 3 2 3
R r r r r r r = + + .



Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
51
O
1

O
2

O
3

R
O
R
2



SOLUO DE ANDERSON TORRES (SANTANA DE PARNABA SP)
A boa e velha trigonometria...
O
T
A

T
B

O
C
O
A

O
B

r
Y
X
r
a

A
B
C

Como sempre, , A B = = e , + + = . C =
Vamos calcular
a
r , para comear:
A A A A A A A A
AO O T T O AO AO O T AO OT + + = + =
: ; ; .
2 2
a
A A
r r
AO X AO AOY AO
sen sen
= =

Substituindo:
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
52
1
2
,
1
2 2 2
a
a a
sen
r r
r r r r
sen sen sen
| |

|
+ = =
|
|
+
\ .


ou
1
2
1
2
a
sen
r
r
sen

=
+


Como precisaremos de um quadrado, vamos aplicar um truque: a tangente do
meio arco.
2
2 2
2
2
2tan
4
1
1 1 tan 1 2tan tan 1 tan
2 4 4 4 4
.
1 2tan 1 2tan tan 1 tan
2 4 4 4 4
1
1 tan
4
sen
sen

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


Com isto, j podemos substituir na igualdade que queremos demonstrar:

1 tan 1 tan 1 tan 1 tan 1 tan 1 tan
4 4 4 4 4 4
1
1 tan 1 tan 1 tan 1 tan 1 tan 1 tan
4 4 4 4 4 4

+ + =
+ + + + + +



Para escrever menos, seja tan , tan , tan .
4 4 4
a b c = = =

Abrindo os
denominadores,
( )( )( ) ( )( )( ) ( )( )( ) ( )( )( ) 1 1 1 1 1 1 1 1 1 1 1 1 a b c a b c a b c a b c + + + + + = + + +
( ) ( ) ( ) ( ) ( ) ( ) 3 3 1 a b c ab ac bc abc a b c ab ac bc abc + + + + + = + + + + + + +
( ) ( ) ( ) 1 0 a b c ab ac bc abc + + + + + = .
Mas isto fcil?

tan tan
4 4 4
1 tan tan
4 4 4 4
1 tan tan
4 4 4
| |
+ +
|
| |
\ .
= = + + = =
|
| | \ .
+
|
\ .




Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
53
tan tan
4 4
tan
4
1 tan tan tan tan tan tan tan tan
4 4 4 4 4 4 4 4
tan tan 1 tan tan tan tan tan tan
4 4 4 2 4 4 4 4
1 tan
4
1 tan tan
4 4
+
+
+ +
= =
+




( ) 1 , a b c abc ab ac bc + + = + + como esperado.

137) Seja A um conjunto de quinze pontos de
2
R tal que a distncia de cada ponto
origem positiva e menor do que 1 e que quaisquer dois deles nunca sejam
colineares com a origem. Mostre que existe um tringulo com dois vrtices em A e
um na origem cuja rea menor que
1
.
4


SOLUO DE ITAMAR SALES DE OLIVEIRA FILHO (CEDRO CE)

1
1 1
0
x
y
3

15

1

Distribumos aleatoriamente os 15 pontos. Como a distncia origem sempre
menor do que 1, com certeza todos esses pontos so interiores circunferncia de
raio 1 e centro na origem.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
54
Pelo fato de no existerem dois colineares com o centro, temos os 15 ngulos
representados na figura ( )
1 2 15
, ,..., . Obviamente:
1 2 15
, ,..., 360 . =
Vamos provar que existe pelo menos um ngulo menor do que ou igual a 24 . Para
isso, suponha o contrrio, ou seja, 24,
n
> para todo n Ento:
1 2 15
... 15 24 360 absurdo. + + + > =
Ento realmente existe pelo menos um ngulo 24 . Suponha .
i
XOY =
Olhando para o tringulo XOY:
rea
1
1
sen .
2
XOY OX OY = Contudo, e OX OY so menores do que 1 e
sen sen24 sen30 ,
i
< substituindo:
1 1 1 1
1 1 sen30 .
2 2 2 4
A A A < < <
Ento existe um tringulo como no enunciado cuja rea menor do que
1
.
4


138) Calcule o mximo divisor comum entre todos os nmeros da forma , x y z
onde ( ) , , x y z percorre todas as solues inteiras da equao
2 2 2
x y z + = com
0. x y z

SOLUO DE MARCLIO MIRANDA DE CARVALHO (TERESINA PI)
Seja d mdc entre todos os inteiros da forma x y z onde (x, y, z) percorre todas as
solues inteiras da equao
2 2 2
x y z + = com 0. x y z
Note que (3, 4, 5) soluo, logo temos que 60. d

AFIRMAO 1: Se uma tripla ( ) , , x y z soluo da equao
2 2 2
x y z + = ento
x y z mltiplo de 3.

PROVA: Suponhamos, por absurdo, que x e y no so mltiplos de 3. Ento
( )
2 2 2
2 mod3 z x y = + , absurdo!. Logo x ou y tem que ser mltiplo de 3. Assim
temos que x y z mltiplo de 3.

AFIRMAO 2: Se uma tripla ( , , ) x y z soluo da equao
2 2 2
x y z + = ento
x y z mltiplo de 5.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
55
PROVA: Suponhamos, por absurdo, que x e y no so mltiplos de 5. Ento
2 2
0 x y + ou 2 ou 3 (mod 5). No primeiro caso temos que z mltiplo de 5,
portanto x y z mltiplo de 5. No segundo e terceiro casos temos um absurdo,
pois um nmero quadrado perfeito s pode deixar restos 0, 1 ou 4 mdulo 5.
Assim, temos que se ( ) , , x y z soluo da equao
2 2 2
x y z + = ento x y z
mltiplo de 5.

AFIRMAO 3: Se uma tripla ( ) , , x y z soluo da equao
2 2 2
x y z + = ento
x y z mltiplo de 4.

PROVA: Suponhamos, por absurdo, que x e y so mpares. Ento
( )
2 2
2 mod4 , x y + absurdo. Portanto x ou y tem que ser par. Se x for par, mas no
for mltiplo de 4, ento ( )
2 2 2
4 mod8 4 x x y + , 5 ou 0 (mod 8). No primeiro
e terceiro casos temos que y par, portanto x y z mltiplo de 4. No segundo
caso temos um absurdo, pois um nmero quadrado perfeito s pode deixar restos 0,
1 ou 4 mdulo 8. E se y for par anlogo. Assim, temos que x y z mltiplo de
4.
Portanto d mltiplo de 3 4 5 60, = logo d = 60.

139) Determine todos os inteiros positivos x, y, z satisfazendo
3 3 2
x y z = , onde y
primo, z no divisvel por 3 e z no divisvel por y.

SOLUO DE ADRIANO CARNEIRO TAVARES (CAUCAIA CE)
Suponha que exista uma soluo.
Ento
2 3 3 2 2 2
( ) ( ) ( )(( ) 3 ) z x y x y x xy y x y x y xy = = + + = + (I)
Como z no divisvel por 3 e nem por y, e y um nmero primo, teremos por (I)
mdc( , ) 1 x y = e mdc( , 3) 1. x y =
Ento mdc
2 2
( , ) mdc (3 , ) 1 x xy y x y xy x y + + = = (II)
Agora (I) e (II) implicam que
2 2 2 2
, e x y m x xy y n z mn = + + = = , para certos
inteiros positivos m e n.
Temos
2 2 2 2 2
4 4 4 4 (2 ) 3 . n x xy y x y y = + + = + +
Ento
2
3 (2 2 )(2 2 ). y n x y n x y = + + Sendo y um primo, ento existem trs
possibilidades:
a)
2
2 2 3 , 2 2 1 n x y y n x y + + = =
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
56
b) 2 2 3 , 2 2 n x y y n x y y + + = =
c)
2
2 2 , 2 2 3 n x y y n x y + + = =
Em (a), aps a subtrao das equaes temos:
2 2
3 1 2(2 ) 2(2 3 ). y x y m y = + = +
Da,
2 2 2
1 3 6 3 0 (mod 3). m y y m + =
Por outro lado, temos sempre
2
1 1 ou 2 (mod 3). m + Ns chegamos a uma
contradio.
Em (b), subtraindo as equaes chegamos x = 0, o que absurdo!
Subtraindo as equaes em (c), chegamos em
2 2
3 2(2 ) 2(2 3 ), y x y m y = + = +
que pode ser escrito assim:
2 2
( 3) 4 12, y m = ou seja, ( 3 2 )( 3 2 ) 12. y m y m + =
Da equao chegamos a y = 7 e m = 1, pois devemos ter 3 2 6 y m + = e
3 2 2 y m = . Segue que x = y + m
2
= 8 e z = 13
2
mn m x xy y = + + .
Veja que de fato
3 3 2
8 7 13 . = Esta a nica soluo.

140) Mostre que 2903 803 464 261
n n n n
+ divisvel por 1897, para todo . nN


SOLUO DE MARCELO RIBEIRO DE SOUZA (RIO DE JANEIRO RJ)
LEMA: Sejam
1 2
, p p dois nmeros inteiros primos entre si. Ento, se
1
p a e
2
, p a ter-se-
1 2
. p p a

DEMONSTRAO:
1 1
. p a k a kp = Z No entanto, deve-se ter
2 1
, p a kp = ora,
como ( )
1 2
, 1, p p = conclui-se que
2 1 1 2
.
k
p k k k p = Z Finalmente,
1 1 2 1 2
. a k p p p p a =
Note-se, inicialmente, que 1897 7 271. = Escreva-se, ento:
( ) ( ) ( ) ( ) ( ) 2903 464 803 261 78 78 10 10 0 mod271 ,
n n n n
n n n n
n + + N (i)
( ) 2903 464 803 261 5 2 5 2 0 mod7 ,
n n n n n n n n
n + + N (ii)

Assim, temos, pelo Lema, que ( ) 2903 464 803 261 0 mod1897 ,
n n n n
n + N,
como se quis demonstrar.

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
57
141) Dado { } 0,1, 2, 3, 4, 5, 6, 7,8, 9 , a seja X um conjunto finito de inteiros
positivos, tal que nenhum dos seus elementos possui o algarismo a em sua
representao decimal. Prove que
1
80.

<

n X
n


SOLUO DE FABRCIO VASCONCELLOS PUPPI (SO PAULO SP)
Por um simples raciocnio combinatrio, nota-se que a quantidade de inteiros
positivos com k algarismos que no apresentam algum dgito a em sua
representao decimal
1
8 9 ,
k
caso 0, e 9 ,
k
a caso a = 0.
Seja max( ) N X = e d o nmero de dgitos de N. Seja S(T) a operao definida
sobre um subconjunto finito T qualquer de * N , tal que:

( )
1
n T
S T
n



Pela definio de S, como cada elemento de T tem contribuio positiva no valor
da soma que caracteriza a operao, claramente S montona em relao ao seu
argumento, de tal modo que ( ) ( ) . T Q S T S Q Assim, para
{ } { }
`1, 2, 3,..., ,...,10 1 no dgito de , .
d
X N n a n X X = Para todo inteiro
positivo n de k dgitos,
1 1
10 1 1 10 ,
k k
n n

sendo que a desigualdade estrita
vale para todos os n de k dgitos exceto para um deles. Considerando inicialmente o
caso em que 0, a tem-se:

( ) ( ) ( )
1
1 1 2 1 1
1 1 2 1 1 1
1
1 1 1 1 8 9
8 9 8 9 ... 8 9
10 10 10 10
k d
d
d k
k n X
n



=

< + + + =




( )
( )
1
1
1
9
8
10
k d
k
k
S X S X

=
<



Como a somatria direita uma srie geomtrica, trivialmente tem-se que:

( )
( )
( )
( )
1 9/10
8 80 1 9 10 80
1 9 10
d
d
S X


< = <



Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
58
Para o caso a = 0 necessrio um refinamento de anlise, pois o uso de processo
idntico ao acima s permitiria afirmar que ( ) 90. S X < Pra este caso, separou-se
cada conjunto dos nmeros de k algarismos em dois subconjuntos disjuntos: um
dos
1
4 9
k
inteiros que satisfazem
1 1
10 5 10
k k
n

< e outro dos
1
5 9
k
inteiros
que satisfazem
1
5 10 10 .
k k
n

< Assim, por um raciocionio anlogo ao do caso


anterior:

( )
( )
1 1 1
1 1 1
1 1 1
9 9 9
4 5 5
10 5 10 10
k k k d d d
k k k
k k k
S X S X


= = =
< + =




( )
( )
( )
( )
1 9 10
5 50 1 9 10 50 80
1 9 10
d
d
S X


< = < <

.








Agradecemos o envio de solues e a colaborao de:

Adriano Carneiro Tavares (Caucaia CE) Prob. 140
Anderson Torres (Santana de Parnaba SP) Prob. 133, 137, 138, 139, 140, 141
Douglas Oliveira de Lima (Braslia DF) Prob. 140
Fabrcio Vasconcellos Puppy (So Paulo SP) Prob. 137, 138, 140.
Flvio Antonio Alves (Amparo SP) Prob. 136
Itamar Sales de Oliveira Fiolho (Cedro CE) Prob. 136
Jean Pierre Youyoute (Rio de Janeiro RJ) Prob. 138
Lucas Alves, Douglas Oliveira de Lima, Danillo Leal, Gustavo
Campelo, Jlio Castro (Braslia DF)
Prob. 136
Lucas Colucci Prob. 138 e 140
Marcelo Ribeiro de Souza (Rio de Janeiro RJ) Prob. 136
Marclio Miranda de Carvalho (Teresina PI) Prob. 140
Marcos Martinelli (Braslia DF) Prob. 133 e 136
Matheus Henrique Alves Moura (Fortaleza CE) Prob. 136
Renato Carneiro (Belo Horizonte MG) Prob. 140


Continuamos aguardando solues para os problemas 134 e 135.


Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
59
PROBLEMAS PROPOSTOS
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos
problemas para prximos nmeros.


142) Seja { } 4,8, 9,16, 25, 27, 36, 64,... A = o conjunto das potncias no triviais
(nmeros da forma ,
b
a com 2, a 2 b naturais). Prove que, para todo natural
1, n existe um natural k tal que todos os termos da progresso aritmtica
, 2 , 3 ,..., k k k nk pertencem a A.

143) Determime todas as funes , , : f g h R R tais que
( ) ( ) ( )
3 3
, , . f xy g x y h x y x y = + + + R

144) Seja 1 x um nmero racional tal que existe uma constante 0 c e uma
sequncia ( )
1
n
n
a

de inteiros tal que
( )
lim 0.
n
n
n
cx a

= Prove que x inteiro.



145) Encontre todos os nmeros racionais p, q, r de modo que
2 3
cos cos cos 1
7 7 7
p q r + + =

.

146) Determine todos os subconjuntos no-vazios A, B, C de Nde modo que:

a) . A B B C C A = = =
b) . A B C = N
c) para quaisquer , a A b B e , c C temos: , e . a c A b c B a b C + + +

147) Demonstre que
( )
( )
( )
2
0
1 1 1
,
2 2 1
4 2
k n
n
k
n
k
sen
n

=

= +
| + |
|

\ .


para todo inteiro 2. n
148) Sejam m e n inteiros positivos. Calcule
1
0
.
n
k
n k
m



149) a) Deseja-se organizar um torneio de futebol com n times ( ) 2 n em que
cada time joga uma vez contra cada um dos outros, dividido em um certo nmero
de rodadas. Em cada rodada cada time joga no mximo uma partida.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
60
Prove que, se n mpar, possvel organizar um tal torneio com n rodadas e, se n
par, possvel organizar um tal torneio com n 1 rodadas.

b) Uma matriz n n preenchida com elementos do conjunto
{ } 1, 2, 3,..., 2 1 . S n = Sabe-se que, para todo { } 1, 2,..., , i n a i-sima linha e a i-
sima coluna contm juntas todos os elementos de S.
Quais os possveis valores de n?


150) Sejam a, b e c nmeros reais tais que ( ) ( ) ( )
3 3 3
9. a b b c c a + + =
Prove que
( ) ( ) ( )
3
2 2 2
1 1 1
3.
a b a b c a
+ +




Problema 142 adaptado de um problema proposto por Anderson Torres (Santana de Parnaba
SP); 143 proposto por Anderson Torres (Santana de Parnaba SP); 144, 145 e 146
propostos por Carlos da Silva Ramos (Belm PA); 147 e 148 propostos por Marcos
Martinelli; 149 adapatado de um problema proposto por Anderson Torres (Santana de
Parnaba SP); 150 adaptado de um problema proposto por Adriano Carneiro (Caucaia CE).
















Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
61
AGENDA OLMPICA

XXXIII OLIMPADA BRASILEIRA DE MATEMTICA

NVEIS 1, 2 e 3
Primeira Fase sbado, 18 de junho de 2011
Segunda Fase sbado, 3 de setembro de 2011
Terceira Fase sbado, 15 de outubro de 2011 (nveis 1, 2 e 3)
domingo, 16 de outubro de 2011 (nveis 2 e 3 - segundo dia de prova)

NVEL UNIVERSITRIO
Primeira Fase sbado, 3 de setembro de 2011
Segunda Fase sbado, 15 e domingo, 16 de outubro de 2011

IV ROMANIAN MASTER OF MATHEMATICS (RMM)
23 a 28 de fevereiro de 2011(Bucareste, Romnia)

ASIAN PACIFIC MATH OLYMPIAD (APMO)
12 de maro de 2011

XVII OLIMPADA DE MAIO
7 de maio de 2011

XXII OLIMPADA DE MATEMTICA DO CONE SUL
14 a 20 de agosto de 2011(La Paz, Bolvia)

LII OLIMPADA INTERNACIONAL DE MATEMTICA
13 a 24 de julho de 2011(Amsterdam, Holanda)

I OLIMPADA DE MATEMTICA DA LUSOFONIA
20 a 31 de julho de 2011(Coimbra, Portugal)

XVII OLIMPADA INTERNACIONAL DE MATEMTICA UNIVERSITRIA (IMC)
24 a 30 de julho de 2011(Blagoevgrad, Bulgria)

XXV OLIMPADA IBEROAMERICANA DE MATEMTICA
23 de setembro a 1 de outubro de 2011(So Jos, Costa Rica)

II COMPETIO IBEROAMERICANA INTERUNIVERSITRIA DE MATEMTICA
2 a 8 de outubro de 2011(Quito, Equador)

XIII OLIMPADA IBEROAMERICANA DE MATEMTICA UNIVERSITRIA

Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
62
COORDENADORES REGIONAIS

Alberto Hassen Raad (UFJF) Juiz de Fora MG
Amrico Lpez Glvez (USP) Ribeiro Preto SP
Antonio Carlos Nogueira (UFU) Uberlndia MG
Benedito Tadeu Vasconcelos Freire (UFRN) Natal RN
Bruno Holanda (CAEN UFC) Fortaleza CE
Carmen Vieira Mathias (UNIFRA) Santa Mara RS
Claus Haetinger (UNIVATES) Lajeado RS
Cludio de Lima Vidal (UNESP) S.J. do Rio Preto SP
Denice Fontana Nisxota Menegais (UNIPAMPA) Bag RS
Disney Douglas Lima de Oliveira (UFAM) Manaus AM
Edson Roberto Abe (Colgio Objetivo de Campinas) Campinas SP
Edney Aparecido Santulo Jr. (UEM) Maring PR
Fbio Brochero Martnez (UFMG) Belo Horizonte MG
Florncio Ferreira Guimares Filho (UFES) Vitria ES
Francinildo Nobre Ferreira (UFSJ) So Joo del Rei MG
Genildo Alves Marinho (Centro Educacional Leonardo Da Vinci) Taguatingua DF
Herivelto Martins (USP So Carlos) So Carlos SP
Gilson Tumelero (UTFPR) Pato Branco PR
Ivanilde Fernandes Saad (UC. Dom Bosco) Campo Grande MS
Joo Bencio de Melo Neto (UFPI) Teresina PI
Joo Francisco Melo Libonati (Grupo Educacional Ideal) Belm PA
Diogo Diniz (UFPB) Campina Grande PB
Jos Luiz Rosas Pinho (UFSC) Florianpolis SC
Jos Vieira Alves (UFPB) Campina Grande PB
Jos William Costa (Instituto Pueri Domus) Santo Andr SP
Krerley Oliveira (UFAL) Macei AL
Licio Hernandes Bezerra (UFSC) Florianpolis SC
Luciano G. Monteiro de Castro (Sistema Elite de Ensino) Rio de Janeiro RJ
Luzinalva Miranda de Amorim (UFBA) Salvador BA
Marcelo Dias (Grupo Educacional Etapa) So Paulo SP
Marcelo Antonio dos Santos FACOS Osrio RS
Marcelo Rufino de Oliveira (Grupo Educacional Ideal) Belm PA
Newman Simes (Cursinho CLQ Objetivo) Piracicaba SP
Nivaldo Costa Muniz (UFMA) So Luis MA
Osnel Broche Cristo (UFLA) Lavras MG
Uberlndio Batista Severo (UFPB) Joo Pessoa PB
Raul Cintra de Negreiros Ribeiro (Colgio Anglo) Atibaia SP
Reginaldo de Lima Pereira (Escola Tcnica Federal de Roraima) Boa Vista RR
Reinaldo Gen Ichiro Arakaki (UNIFESP) SJ dos Campos SP
Ricardo Amorim (Centro Educacional Logos) Nova Iguau RJ
Ronaldo Alves Garcia (UFGO) Goinia GO
Rogrio da Silva Igncio (Col. Aplic. da UFPE) Recife PE
Rosangela Ramon (UNOCHAPEC) Chapec SC
Srgio Cludio Ramos (IM-UFRGS) Porto Alegre RS
Seme Gebara Neto (UFMG) Belo Horizonte MG
Tadeu Ferreira Gomes (UEBA) Juazeiro BA
Toms Menndez Rodrigues (U. Federal de Rondnia) Porto Velho RO
Valdenberg Arajo da Silva (U. Federal de Sergipe) So Cristvo SE
Vnia Cristina Silva Rodrigues (U. Metodista de SP) S.B. do Campo SP
Wagner Pereira Lopes (CEFET GO) Jata GO
Wanderson Breder (CEFET RJ) Nova Friburgo RJ
William Serafim dos Reis (UFT TO) Arraias TO