Você está na página 1de 62

CONTEDO

XVI OLIMPADA DE MAIO


Enunciados e resultado brasileiro

XXI OLIMPADA DE MATEMTICA DO CONE SUL


Enunciados e resultado brasileiro

LI OLIMPADA INTERNACIONAL DE MATEMTICA (IMO)


Enunciados e resultado brasileiro

XXV OLIMPADA IBEROAMERICANA DE MATEMTICA


Enunciados e resultado brasileiro

ARTIGOS
ASSOCIANDO UM
TRIGONOMTRICAS
Marclio Miranda

POLINMIO

EXPRESSES

ALGBRICAS

E
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

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.)
EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

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.
EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

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
Murilo Corato Zanarella
Daniel de Almeida Souza
Viviane Silva Souza Freitas
Carolina Lima Guimares
Pedro Henrique Alencar Costa
Samuel Brasil de Albuquerque
Juliana Amoedo Plcido
Lucca Morais de Arruda Siaudjionis
Antonio Wesley de Brito Vieira

Cidade Estado
Amparo SP
Braslia DF
Salvador BA
Vitria ES
Fortaleza CE
Fortaleza CE
Salvador BA
Fortaleza CE
Cocal dos Alves PI

Prmio
Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Meno Honrosa
Meno Honrosa

Cidade Estado
So Paulo SP
Caucaia CE
Caucaia CE
Fortaleza CE
Rio de Janeiro RJ
Fortaleza CE
Braslia DF
Caucaia CE
Pirapora MG

Prmio
Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Meno Honrosa
Meno Honrosa

2010: Nvel 2 (at 15 anos)


Nome
Rafael Kazuhiro Miyazaki
Lucas Cauai Julio Pereira
Pedro Ivo Colho de Arajo
Francisco Markan Nobre de Souza Filho
Fellipe Sebastiam da Silva Paranhos Pereira
Tadeu Pires de Matos Belfort Neto
Henrique Gasparini Fiuza do Nascimento
Rafael Rodrigues Rocha de Melo
Mateus Henrique Ramos de Souza

EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

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
BRA2
BRA3
BRA4

Joo Lucas Camelo S


Gabriel Milito Vinhas Lopes
Maria Clara Mendes Silva
Caque Porto Lira

Medalha de Ouro
Medalha de Prata
Medalha de Prata
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 i j 44, 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.
EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

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 P6 um hexgono regular de rea 1. Recorta-se P6 e obtm-se o polgono P7.
Ento recorta-se P7, de uma das sete maneiras possveis, e obtm-se o polgono P8,
e assim sucessivamente. Prove que, independentemente de como sejam feitos os
recortes, a rea de Pn 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 a , b e c os circuncrculos dos tringulos EAF, DBF e
DCE, respectivamente. As retas DE e DF cortam a em Ea E e
Fa F , respectivamente. Seja rA a reta Ea Fa . Defina rB e rC de modo anlogo.
Prove que as retas rA , rB e rC determinam um tringulo cujos vrtices pertencem
aos lados do tringulo ABC.
PROBLEMA 6

Determine se existe uma sequncia infinita a0 , a1 , a2 , a3 ,... 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 bn = an + n, n 0, formada por todos os nmeros primos, cada
um aparecendo uma nica vez.
EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

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
BRA2
BRA3
BRA4
BRA5
BRA6

Marcelo Tadeu de S Oliveira Sales


Matheus Secco Torres da Silva
Gustavo Lisba Empinotti
Deborah Barbosa Alves
Hanon Lima Rossi
Joo Lucas Camelo S

Medalha de Prata
Medalha de Prata
Medalha de Bronze
Meno Honrosa
Meno Honrosa
Meno Honrosa

PRIMEIRO DIA
PROBLEMA 1

Determine todas as funes f :

tais que

f ( x y ) = f ( x ) f ( y )
para os nmeros x, y . ( 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
B AF = C AE < B AC.
2
Seja G o ponto mdio do segmento IF. Mostre que as rectas DG e EI se intersectam
sobre .
PROBLEMA 3

Seja * o conjunto dos inteiros positivos. Determine todas as funes


g : * * tais que

EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

( g ( m) + n ) ( m + g ( n))
um quadrado perfeito para todos m, n *.
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 B1 , B2 , B3 , B4 , B5 , B6 h inicialmente s uma moeda.


Dois tipos de operaes so possveis:
Tipo 1: Escolher uma caixa no vazia B j , com 1 j 5. Retirar uma moeda da B j e

adicionar duas moedas a B j +1.


Tipo 2: Escolher uma caixa no vazia Bk , com 1 k 4. Retirar uma moeda da Bk e

trocar os contedos das caixas (possivelmente vazias) Bk +1 e Bk + 2 .


Determine se existe uma sucesso finita destas operaes que deixa as caixas

B1 , B2 , B3 , B4 , B5 vazias e a caixa B6 com exactamente 20102010


c

que a b = a

2010

moedas. (Observe

(b ) . )
c

PROBLEMA 6

Seja a1 , a2 , a3 ,... uma sucesso de nmeros reais positivos. Sabe-se que para algum
inteiro positivo s,
an = max {ak + an k tal que 1 k n 1}
para todo n > s. Mostre que existem inteiros positivos e N, com s, tais que
an = a + an para todo n N .

EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

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
BRA2
BRA3
BRA4

Marcelo Tadeu de S Oliveira Sales


Deborah Barbosa Alves
Matheus Secco Torres da Silva
Gustavo Lisboa Empinotti

Medalha de Ouro
Medalha de Ouro
Medalha de Ouro
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 x1 = 2010, x2 = 2011,

xn + 2 = xn + xn +1 + a xn xn +1 + b , n 1,
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

EUREKA! N33, 2011

Sociedade Brasileira de Matemtica

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
a+b
2
harmnica so respectivamente:
, a b e
.
1
1
2
+
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.

EUREKA! N33, 2011

10

Sociedade Brasileira de Matemtica

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 cos

2
4
6
, cos
, cos
, so solues da
7
7
7

equao ax 3 + bx 2 + cx + d = 0.
SOLUO:

a)

cos ( 4 ) = cos ( 3 ) 4 = 3 + 2k

ou

4 = 3 + 2k = 2k

ou

2k
2
4
6
so as razes dessa equao.
, logo 1,cos
,cos
, cos
7
7
7
7
Por
outro
lado
temos
que
cos ( 4 ) = 8 cos 4 8 cos 2 + 1 e

cos ( 3 ) = 4 cos3 3 cos . Faa cos = t. Da temos que

cos ( 4 ) = cos ( 3 ) ( t 1) ( 8t 3 + 4t 2 4t 1) = 8 t 4 4 t 3 8 t 2 + 3 t + 1 = 0.
Assim,
solues cos

(8t

equao

2
4
6
,cos
,cos .
7
7
7

EUREKA! N33, 2011

11

+ 4t 2 4t 1) = 0 tem

como

Sociedade Brasileira de Matemtica

EXERCCIO RESOLVIDO 2 (MOCP, JULHO DE 2003): Prove que

sec 400 + sec 800 + sec 1600 = 6.


Note

que

400,

800

1600

satisfazem a equao
1
cos3 = 8cos3 6cos + 1 = 0, logo cos 400, cos 800, cos 1600 so as
2
razes do polinmio 8cos3 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
sec 40 + sec80 + sec160 =
+
+
=
cos 40 cos80 cos160
cos 40 cos80 + cos 40 cos80 + cos 40 cos80
= 6.
cos160 cos80 cos 40
SOLUO:

EXERCCIO RESOLVIDO 3 (IMO 1963): Prove que cos


SOLUO: Note que

+ 4

cos

2
3 1
+ cos
= .
7
7 2

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

13
3
11
5
9
cos = cos
,cos
= cos
,cos
= cos , logo h 4 solues distintas
7
7
7
7
7
7
3 5
entre 0 e 2 : , , , .
7 7 7
x
PARTE 2: Resolver a equao cos = 0
2
3

= ,3

EUREKA! N33, 2011

12

Sociedade Brasileira de Matemtica

x
= + k x = + 2k , logo x = a nica soluo entre 0 e 2 .
2 2
Por outro lado temos que cos 4 x = 8cos 4 x 8cos 2 x + 1 e cos3 x = 4cos3 x 3cos x.
cos4 x = cos3x 8cos4 x + 4cos3 x 8cos2 x 3cos x + 1 = 0 8t 4 + 4t 3 8t 2 3t + 1 = 0,
onde t = cos x.
Claramente 1 raiz desse polinmio, e temos 8t4 +4t3 8t2 3t + 1 =
(t +1) (8t3 4t2 4t + 1), donde o polinmio 8t3 4t2 4t + 1 tem como razes

3
5
cos ,cos ,cos . Logo temos pelas relaes de Girard que:
7
7
7

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

20 + 14 2 2 + 3 20 14 2 2 = 4.

SOLUO: Seja x = 3 20 + 14 2 2 + 3 20 14 2 2 . Temos x3 = 40 + 6x x3 6x 40

= 0. fcil ver que 4 raiz desse polinmio e x3 6x 40 = (x 4).(x2 + 4x + 10).


Note que as razes de x2 + 4x + 10 no so reais e
real, logo

20 + 14 2 2 + 3 20 14 2 2

20 + 14 2 2 + 3 20 14 2 2 = 4.

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

expresso

a 7 + b7 + c 7
.
abc ( a 4 + b 4 + c 4 )

SOLUO: Seja x3 + mx2 + 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 = a2 + b2 + c2 + 2(ab + ac + bc) a2 + b2 + c2 = 2p
Por outro lado temos que:
a3 + pa + q = 0 a3 = pa q
(i)
3
3
b + pb + q = 0 b = pb q
(ii)
c3 + pc + q = 0 a3 = pc q
(iii)
somando (i) + (ii) + (iii), temos que a3 + b3 + c3 = p.(a + b + c) 3q = 3q
Da mesma forma temos que:
a4 + pa2 + qa = 0 a4 = pa2 qa

(iv)

EUREKA! N33, 2011

13

Sociedade Brasileira de Matemtica

b4 + pb2 + qb = 0 b4 = pb2 qb
(v)
4
2
4
2
c + pc + qc = 0 c = pc qc
(vi)
somando (iv) + (v) + (vi), temos que a4 + b4 + c4 = p.(a2 + b2 + c2) q.(a + b + c)
= 2 p2 .
Analogamente temos que:
a5 + pa3 + qa2 = 0 a5 = pa3 qa2 (vii)
b5 + pb3 + qb2 = 0 b5 = pb3 qb2 (viii)
c5+ pc3 + qc2 = 0 c5 = pc3 qc2
(ix)
somando (vii) + (viii) + (ix), temos que a5 + b5 + c5 = p (a3 + b3 + c3) q (a2 +
b2 + c2) = 5pq.
Proseguindo do mesmo modo, temos que:
a7 + pa5 + qa4 = 0 a7 = pa5 qa4 (x)
b7 + pb5 + qb4 = 0 b7 = pb5 qb4 (xi)
c7 + pc5 + qc4 = 0 c7 = pc5 qc4
(xii)
somando (x) + (xi) + (xii): a7 + b7 + c7 = p (a5 + b5 + c5) q (a4 + b4 +c4) =
7 p 2q .
a 7 + b7 + c7
7 p 2 q
7
=
= .
Com isso temos que
4
4
4
2
abc ( a + b + c ) q ( 2 p ) 2
III) PROVANDO A IRRACIONALIDADE DE UM NMERO:

Antes do prximo problema vamos provar o seguinte teorema:


p
TEOREMA (TESTE DA RAIZ RACIONAL): Se o nmero
, onde p e q so inteiros e
q
mdc(p, q) = 1, uma raiz do polinmio com coeficientes inteiros
an x n + an 1 x n 1 + ... + a1 x + a0 , ento p um divisor de a0 e q um divisor de an.
PROVA: Como
n

p
raiz do polinmio temos que
q
n1

p
p
p
an + an1 + ... + a1 + a0 = 0 an pn + an1 pn1 q + ... + a1 p qn1 + a0 qn = 0,
q
q
q
logo temos que p um divisor de a0 e q um divisor de an.
EXERCCIO RESOLVIDO 6: Prove que 2 + 3 irracional.
EUREKA! N33, 2011

14

Sociedade Brasileira de Matemtica

2 + 3 x 2 = 3 x2 1 = 2 2 x x4 2x2 + 1 = 8x2
x4 10x2 + 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.
Soluo: Seja x =

EXERCCIOS PROPOSTOS:

2
3
7
sen
=
.
7
7
7
8
2) (Vietn 1982) Ache a, b, c inteiros tais que as razes da equao ax2 + bx + c = 0
so cos 720 e cos 1440.
1) (EUA) Prove que sen

sen

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

2
3
tg
tg
tg
...tg
2n + 1
2n + 1
2n + 1
2n + 1
2n + 1
4) (Prova de Seleo da Sua para a IMO 2004): Sejam a, b, c, d nmeros reais

distintos satisfazendo as equaes:


a = 45 21 a , b = 45 21 b , c = 45 21 c , d = 45 21 d
Prove que abcd = 2004.
5) (OBM 2003): Sejam a, b, c nmeros reais no-nulos tais que a + b + c = 0.

(a
Calcule os possveis valores de

+ b3 + c 3 ) ( a 4 + b 4 + c 4 )
2

(a

+ b5 + c5 )

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 2a4 + 2b4 +2c4 um quadrado perfeito.
8) Prove que 2 + 3 3 irracional.
9) Prove que x = 2cos

satisfaz a equao: x3 + x2 2x + 1 = 0.

Use este fato para provar que cos

irracional.
7
10) Prove que tg2 10 + tg2 30 +....+ tg2 870 + tg2 890 = 4005.
EUREKA! N33, 2011

15

Sociedade Brasileira de Matemtica

11) Prove que cos 200. cos 400.cos 800 =

1
.
8

12) Prove que:

2
3
tg
= 7.
7
7
7

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

tg

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


14) Calcule as expresses:

2
3
tg 2
.
7
7
7

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

2
3

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

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

tg 2

16) Ache uma equao do terceiro grau cujas razes so cos


17) Calcule as expresses:

3
5
cos .
7
7
7

3
5

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

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

5
+ cos 2
d) cos 2 + cos 2
.
7
7
7
1
1
1
e)
.
+
+

3
5
cos
cos
cos
7
7
7
18) Prove que tg 810 tg 630 + tg 90 tg 270 = 4.
a) cos

cos

EUREKA! N33, 2011

16

,cos

3
5
,cos .
7
7

Sociedade Brasileira de Matemtica

19) Sejam u, v, w as razes do polinmio x3 10x + 11. Determine o valor de arctg u

+ arctg v + arctg w.

5
13
+ cossec
+ cossec
= 6.
18
18
18
21) Prove que tg 200. tg400. tg 600. tg 800 = 3.
20) Prove que cossec

22) Sejam a, b, c nmeros reais tais que a + b + c = 0, prove que:

a) a3 + b3 + c3 = 3abc.
a 2 + b 2 + c 2 a 5 + b5 + c 5 a 7 + b 7 + c 7

=
.
b)
2
5
5

3
.
8

2
3
24) Prove que cot g 2 + cot g 2
+ cot g 2
= 5.
7
7
7

4
7
25) Calcule o valor da expresso tg + tg
+ tg
.
9
9
9
23) Prove que sen20 sen40 sen80 =

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: SpringerVerlag, 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.
EUREKA! N33, 2011

17

Sociedade Brasileira de Matemtica

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

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


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

(a)
(b)
(c)
(d)

Somando-se (a) e (b) tem-se

sen(a + b) + sen(a b) = 2 sen a cos b

(e)

Subtraindo-se (a) de (b) tem-se

sen(a + b) sen(a b) = 2 sen b cos a

(f)

Somando-se (c) e (d) teremos

cos(a + b) + cos(a b) = 2 cos a cos b

E por fim, subtraindo-se (c) de (d)


EUREKA! N33, 2011

18

(g)

Sociedade Brasileira de Matemtica

cos(a + b) cos(a b) = 2 sen a sen b

(h)

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

e b=

, cujos

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

+
sen + sen = 2 sen
cos

2 2
+
sen sen = 2 sen
cos

2 2
+
cos + cos = 2 cos
cos

2 2
+
cos cos = 2 sen
sen
, que so as conhecidas
2 2
Frmulas de Transformao de soma em produto ou Frmulas de Prostafrese.
A FRMULA DE EULER

Segundo GUIDORIZZI (1987), seja f ( x) uma funo derivvel at a ordem n em


um intervalo aberto I e seja x0 I . Define-se o polinmio P( x ) a seguir como o
polinmio de Taylor, de ordem n , de f ( x) em torno do ponto x0 , isto

P ( x) = f ( x0 ) + f ( x0 )( x x0 ) + + f (

n)

( x0 )

( x x0 )
n!

=f (
k =1

k)

( x0 )

( x x0 )

k!

(i)

que, se fixado em torno de x0 = 0 , tambm pode ser chamado de polinmio de


Mac-Laurin. Tomando-se (i) f ( x) = ex e x0 = 0, pode-se demonstrar que

x 2 x3
xn
x 2 x3
e x = lim1 + x + + + + = 1 + x + + +
n
n!
2 3!
2 3!

A expresso da direita pode ser usada para definir ex para x para x complexo.
Analogamente demonstra-se que

EUREKA! N33, 2011

19

(j)

Sociedade Brasileira de Matemtica


n 1

x3 x5
xn
x3 x5
= x
+
+ (1) 2
sen x = lim x
+

n
n!
3! 5!
3! 5!

(k)

e que
2n

x2 x4
x2 x4
n x

cos x = lim1
+
+ + (1)
= 1
+

n
2
4!
(2n)!
2! 4!

(l)

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

Y2 Y4

Y3 Y5
e iY = 1
+
+ i Y
+
= cos Y + i sen Y
2
4!
3! 5!

(m)

que a conhecida frmula de Euler.


No obstante, tambm se demonstra que se e Z = e X +iY , onde X 0 , ento

e Z = e X (cos Y + i sen Y )

(n)
Z

Se, alternativamente, adotssemos a expresso de (n) como definio de e , no


de fato, se Z1 = X 1 + iY1 e
difcil mostrar que e Z +W = e Z eW ,Z ,W

Z 2 = X 2 + iY2 , eZ1 +Z2 = ex1 + x2 ( cos (Y1 + Y2 ) + isen (Y1 + Y2 ) ) = ex1 + x2

( cosY cosY
1

=e

x1

senY1senY2 + i ( senY1cosY2 + senY2 cosY1 ) =

( cosY1 + isen Y1 ) e ( cosY2 + isen Y2 ) = e


x2

Z1

e Z2 .

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.

S1 = sen x + sen 2 x + sen 3 x + + sen nx


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

(1)
(2)

Utilizaremos a transformao de somas de funes trigonomtricas em produto,


conhecidas como Frmulas de Prostafrese. Observamos que

EUREKA! N33, 2011

20

Sociedade Brasileira de Matemtica

3x
x
x
sen = 2 sen cos x
2
2
2
5x
3x
x
sen
sen
= 2 sen cos 2 x
2
2
2
7x
5x
x
sen
= 2 sen cos 3 x
sen
2
2
2

sen

(3)

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

sen

Somando-se as linhas acima encontraremos uma Soma Telescpica, cujo valor


ser dado por

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

Analogamente, para a soma das funes seno S1 pode-se escrever que:


3x
x
x
cos cos = 2 sen sen x
2
2
2
5x
3x
x
cos cos
= 2 sen sen 2 x
2
2
2
7x
5x
x
cos
cos
= 2 sen sen 3 x
2
2
2

(4)

(5)

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

Somando-se as linhas acima encontraremos outra Soma Telescpica, cujo valor

EUREKA! N33, 2011

21

Sociedade Brasileira de Matemtica

cos

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

S1 = sen jx =

sen

j =1

(n + 1) x
nx
sen
2
2
x
sen
2

(6),

que a soma procurada.


No obstante, este problema tambm pode ser resolvido utilizando-se a conhecida
ix

Relao de Euler. Seja e 2 = C = cos

x
x
+ i sen , onde i 2 = 1 ; assim tem-se que
2
2

x
x

C = cos + i sen = cos x + i sen x


2
2

x
x

C 4 = cos + i sen = cos 2 x + i sen 2 x


2
2

2n

x
x

= cos + i sen
2
2

(7)

2n

= cos nx + i sen nx

(
(

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

(C 2 1)
C C 1
j =1
nx
sen
n
x
x
nx
nx

2 = S + iS
(cos jx + i sen jx ) = cos + i sen cos + i sen
2
1
2
2
2
2

sen x
j =1
2
nx
(n + 1) x
(n + 1) x
nx
sen
cos
sen
sen
2
2 +i
2
2
(8)
S 2 + iS1 =
x
x
sen
sen
2
2
2

2n

de onde tiramos os valores de interesse S1 e S 2 igualando-se as partes reais e


imaginrias da igualdade acima respectivamente.
EUREKA! N33, 2011

22

Sociedade Brasileira de Matemtica

PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por


n

j =1

j =1

S1 = sen 2 jx e S 2 = cos 2 jx . Para tal, observa-se inicialmente, da


Trigonometria que sen 2 x =

1 1
1 1
cos 2 x e cos 2 x = + cos 2 x , assim pode2 2
2 2

se reescrever S1 e S 2 como sendo


n
1 1
1 1
S1 = sen 2 jx = + + + (cos 2 x + cos 4 x + + cos 2nx )
"
n
"
2 2
2 2
j =1

(9)

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


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

C 2 + C 4 + + C 2 n = C.

(
(

n
C n C n C n
(cos 2 jx + i sen 2 jx )
=

C C 1
j =1

cos(n +1)x.sennx sen(n +1)x.sennx


+i
= S+iS
senx
sen x
j =1
n
n 1
onde S= sen 2 jx . Sendo S1 = S
2 2
j =1
1 cos(n + 1) x. sen nx
S1 = n

2
sen x
n

(cos2 jx + i sen2 jx) =

(10)

(11)

Outra soluo para o clculo da soma S consiste em transform-la segundo as


frmulas de Prostafrese. Para este caso tem-se que,

sen 3x sen x = 2 sen x cos 2 x


sen 5 x sen 3 x = 2 sen x cos 4 x
(12)

sen(2n 1) x sen(2n 3) x = 2 sen x cos(2n 2) x


sen(2n + 1) x sen(2n 1) x = 2 sen x cos 2nx

EUREKA! N33, 2011

23

Sociedade Brasileira de Matemtica

Somando-se todas as linhas acima tem-se que sen(2n + 1) x sen x = 2 sen x S

S=

sen nx. cos(n + 1) x


, que exatamente o valor encontrado da parte real do
sen x

somatrio dado por (10).

1 1
+ cos 2 x
2 2
n
1
1 cos(n + 1) x. sen nx
S 2 = cos 2 jx = [n + S] = n +

2
2
sen x
j =1

Observando-se (9) e que cos 2 x =

(13)

que resolve o problema do clculo de S 2 .


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

k =1

k =1

S1 = sen 3 kx e S 2 = cos 3 kx .
Seja C = cosx + isenx. Sendo C K = cos kx i sen kx pode-se escrever que

C k + C k
2
k
C C k
sen kx =
2i
cos kx =

Elevando-se

(14)
(15)

relao
3

(15)

) (

ao

cubo

tem-se

que

C C
C C
3 C C
=
sen 3 kx =
2i
8i

3 sen kx sen 3kx


(16)
sen 3 kx =
4
n
n
1 n

(17)
S1 = sen 3 kx = 3 sen kx sen 3kx
4 k =1
k =1
k =1

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

3k

3 k

EUREKA! N33, 2011

24

Sociedade Brasileira de Matemtica

D 2 = cos 6 x + i sen 6 x
D 3 = cos 9 x + i sen 9 x
D n = cos 3nx + i sen 3nx
1
n
n

n
D 2 .D 2 D 2 D 2

S D = D + D 2 + D3 + + D n =
1

12
D D 2

(3n + 1) x
(3n + 1) x

+ i sen
cos

3nx
2
2
SD =
sen
3x
2
sen
2

(18)

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

(3n + 1) x
3nx

sen
sen
2
2
sen 3kx =

3x
k =1

sen
2

(19)

Logo, por (6) e (19) teremos que

(n + 1) x
(3n + 1) x
3nx
nx

3 sen sen
sen
sen

1
2
2
2
2

S1 = sen 3 kx =

3x
x
4
k =1

sen
sen
2
2

Vale lembrar que a soma S =

(20)

sen 3kx
k =1

observando-se as igualdades a seguir, isto

EUREKA! N33, 2011

25

tambm poder ser calculada

Sociedade Brasileira de Matemtica

9x
3x
3x
cos = 2 sen sen 3x
2
2
2
15 x
9x
3x
cos
cos
= 2 sen sen 6 x
2
2
2

cos

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

cuja soma resultar em

3(2n + 1) x
3x
3x n
cos = 2 sen sen 3kx .
2
2
2 k =1
3nx
3(n + 1) x
sen
sen
n
2
2
sen 3kx =
, que exatamente a expresso (19).
x
3
k =1
sen
2
cos

Para o clculo de S 2 =

cos
k =1

kx elevando-se a expresso (14) ao cubo teremos

) (

C k + C k
C 3 k + C 3 k + 3 C k + C k
=
que cos kx =
2
8

3 cos kx + cos 3kx


cos 3 kx =
4
n
n
1 n

S 2 = cos 3 kx = 3 cos kx + cos 3kx


4 k =1
k =1
k =1

)
(21)
(22)

Utilizando-se a relao (4) e a parte real da relao (18) e substituindo-as em (22)


tem-se que

(n + 1) x
(3n + 1) x
3nx
nx

3 sen cos
cos
sen
1
2
2
2
2
S 2 = cos kx =
+

3x
x
4
k =1

sen
sen
2
2

EUREKA! N33, 2011

26

(23)

Sociedade Brasileira de Matemtica


n

Ressaltamos que a soma

cos 3kx

tambm pode ser calculada atravs das

k =1

frmulas de Prostafrese, ou seja, fazendo

3x
3x
9x
sen
= 2 sen cos 3x
2
2
2
15 x
9x
3x
sen
sen
= 2 sen cos 6 x
2
2
2
sen

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

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

3x n
3x
3(2n + 1) x
sen
= 2 sen cos 3kx
2 k =1
2
2
3nx
3(n + 1) x
sen
cos
n
2
2
, que exatamente a parte real da
cos 3kx =
3x
k =1
sen
2
sen

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

cos 2 x + cos 2 2 x + cos 2 3x = 1


1 1
Notando que cos 2 x = + cos 2 x segue que
2 2
3 1
cos 2 x + cos 2 2 x + cos 2 3x = + (cos 2 x + cos 4 x + cos 6 x )
2 2
Sendo Z = cos x + i sen x
Z 2 = cos 2 x + i sen 2 x
Z 4 = cos 4 x + i sen 4 x
Z 6 = cos 6 x + i sen 6 x
EUREKA! N33, 2011

27

(A)

Sociedade Brasileira de Matemtica

Z 2 ( Z 6 1)
sen 3 x
Z +Z +Z =
= (cos 4 x + i sen 4 x )
2
( Z 1)
sen x
2

(B)

Tomando-se a parte real de (B) tem-se que

(cos 2 x + cos 4 x + cos 6 x ) = cos 4 x sen 3x

(C)

sen x

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

2 sen 4 x. cos 3 x = 0
sen 4 x = 0 cos 3 x = 0
Logo, a soluo da equao proposta ser dada pelo conjunto

S = x

x=

k
( 2k + 1 )
( 2k + 1 )

x=
x=
,k
2
4
6

PROBLEMA 5: Determinaremos agora o valor das somas

a) cos x + 2 cos 2 x + 3 cos 3 x + + n cos nx e


b) senx + 2sen2 x + 3sen3 x + + nsennx
Sejam S1 = cos x + 2 cos 2 x + 3 cos 3 x + + n cos nx e
S 2 = senx + 2sen2 x + 3sen3 x + + nsennx

S1 + iS 2 = ( cosx + isenx ) + 2 ( cos2 x + isen2 x ) + + n ( cosnx + isennx )

Sendo Z = cosx + isenx S1 + iS 2 = Z + 2 Z 2 + 3Z 3 + + nZ n . Multiplicandose ambos os termos por (1 Z ) teremos

Z + Z + Z + Z nZ
S1 + iS 2 =
(1 Z )
2

n +1

nZ
1
2

2 n +1
2

(Z Z

1
2

( Z n 1)
1
2

(Z Z

1
2 2

2n + 1
2n + 1
n cos
x + isen
x
2
2 ( cosnx + isennx 1)

S1 + iS 2 =

x
x
2isen
4i 2 sen 2
2
2
EUREKA! N33, 2011

28

(1)

Sociedade Brasileira de Matemtica

Observando-se que a parte real de (1) nos dar o valor de S1 e que a parte
imaginria nos dar o valor de S 2 tem-se, aps alguma manipulao algbrica que
n

S1 = jcosjx =
j =1

S2 =
j =1

( n + 1) cosnx ncos ( n + 1) x 1

x
2
( n + 1) sennx nsen ( n + 1) x
jsenjx =
x
4sen 2
2

,e

4sen 2

PROBLEMAS PROPOSTOS:
1) (URSS) Calcule o valor das somas

a) cos x + Cn1 cos 2 x + + Cnn cos(n + 1) x

b) senx + Cn1sen2 x + + Cnn sen ( n + 1) x

n
Obs: Cnk = denota o binomial n escolhe k.
k
2) (URSS) Mostre que

cos

2
4
6
2 n
1
+ cos
+ cos
+ + cos
= .
2n + 1
2n + 1
2n + 1
2n + 1
2

3) (URSS) Prove que

a) sen + sen ( + ) + sen ( + 2) + + sen ( + n) =

sen

( n + 1) sen + n
2

sen

b) cos + cos ( + ) + cos ( + 2) + + cos ( + n) =

sen

4) Calcule o valor da soma S =

4+

5) Mostre que

EUREKA! N33, 2011

29

n
2
cos
4 .
4 ++
2
n
2
2

cos

( n + 1) cos + n
sen

cos

Sociedade Brasileira de Matemtica

ak +2 cosk ak +1 cos(k +1) a cos +1


a) 1+ a cos + a cos2 + + a cosk =
a2 2a cos +1
sen + asen ( + h) + + ak sen ( + kh) =
2

b) ak +2sen ( + kh) ak +1sen + ( k + 1) h asen ( h) + sen

a2 2acos h+ 1
0
6) Mostre que 72 o menor ngulo positivo que satisfaz simultaneamente s
equaes:
1 + cosx + cos2 x + cos3 x + cos4 x = 0

senx + sen2 x + sen3 x + sen4 x = 0


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

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, 2a Edio, So Paulo: Ed. Livros
Tcnicos e Cientficos, 1987.
[4] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 3 (Trigonometria), 6a Edio,
So Paulo: Editora Moderna, 1985.
[5] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 6 (Complexos Polinmios Equaes), 4a 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, 4a 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.

EUREKA! N33, 2011

30

Sociedade Brasileira de Matemtica

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 z1 = a + bi e z 2 = c + di dois nmeros complexos no nulos e distintos.
Vamos considerar o tringulo de vrtices o, z1 e z2 (veja a figura abaixo).
Im

z2

z1
1
Re

A rea S do tringulo acima dada por:


S=

1
1
z1 z2 sen ( 2 1 ) = Im { z2 z1} .
2
2

Vamos multiplicar essa expresso, membro a membro, por 2 e elevar ao quadrado


ambos os termos da igualdade. Assim,

4 S 2 = Im { z2 z1} =
2

( z2 z1 z1 z2 )
2
( 2i )

EUREKA! N33, 2011

31

1
2 z2
4

z1 z22 z12 z12 z22

Sociedade Brasileira de Matemtica

) ] [( z

1
1
2
2
2
4 z2 z1 (z2 z1 + z1 z2 ) = [2 z2 z1 (z2 z1 + z1 z2 )] [2 z2 z1 + (z2 z1 + z1 z2 )]
4
4

1
2
z1 z 2 ( z1 z 2
4

+ z2

z1 z 2

].

Notemos que:
i) z1 z 2

( z1 z 2

) = (z
2

z 2 + z 2 z1 )( z1 z 2 + z1 z 2 ),

E, do mesmo modo, temos que:

ii) z1 + z 2

z1 z 2

= ( z1 + z 2 z1 z 2

)( z

+ z 2 + z1 z 2 ) .

Substituindo (i) e (ii) na expresso acima, vem:

1
( z1 z2 + z2 z1 )( z1 z2 + z1 z2 )( z1 + z2 z1 z2 )( z1 + z2 + z1 z2 )
4
( z1 + z 2 + z1 z 2 )
Nesse caso, pondo-se p =
, onde p o semi-permetro,
2
=

conclumos que:

4S 2 =

1
(2 p 2 z1 )(2 p 2 z 2
4

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

)(2 p 2 z

)( p z

)( p z

z2

z2

z2

) (2 p )

) ( p)

) ( p)

( p ) ( p z1 )( p z 2 )( p z1 z 2 ) , que a frmula de Hero.

EUREKA! N33, 2011

32

Sociedade Brasileira de Matemtica

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

( cos + i sen )

conciso: ( e

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

i n

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

zeram o polinmio P ( z ) = z n 1. Por De Moivre, sabemos que k = e 2 k 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

0 k < n

sen

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

EUREKA! N33, 2011

33

Sociedade Brasileira de Matemtica


1 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 ) =
2

Podemos tomar f1 ( x ) = x. Mas e quanto a


funcionar! Veja que

2
2

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

= i

(1 + i )
g1 ( x ) ? Calma, coisas so feitas para
2

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 .
EUREKA! N33, 2011

34

Sociedade Brasileira de Matemtica


n

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


n +1

2n

x +1 =

x2 1
n

x2 1

so justamente as razes 2n +1 -simas da unidade que no so


n +1

razes 2n -simas da unidade. Logo, se escolhermos = e 2 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 2n +1
k 1 ( mod 2 )

Escrevendo x = 1,

( 1)

2n

+1 =

( 1 ) 2 = ( 1 )
k

1 k 2n +1
k 1 ( mod 2 )

1 k 2n +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
2n

mpar. Portanto, 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
360
= 18 )! Agora, vamos colocar as
20
coisas nos eixos: inicialmente, O = 0 , A = 1 (podemos fazer isto por homotetia: se

vrtices de um 18-gono regular (afinal,

EUREKA! N33, 2011

35

Sociedade Brasileira de Matemtica

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.

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

=z

AO : 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 18sima primitiva da unidade, o primeiro fator no contm como raiz. Assim

( )

sendo, vamos pensar no outro fator: x9 + 1 = x3


EUREKA! N33, 2011

36

+ 1 = ( x3 + 1)( x6 x3 + 1) . Pode-

Sociedade Brasileira de Matemtica

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

EUREKA! N33, 2011

37

Sociedade Brasileira de Matemtica

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 + 2 k = 3; caso contrrio, temos uma progresso
3k 1
= 0.
geomtrica de razo k 1, e portanto 1 + k + 2 k = 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).
EUREKA! N33, 2011

38

Sociedade Brasileira de Matemtica

Vamos pensar em uma raiz p-sima da unidade, primitiva por sinal: = e2 i 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 = para 0 i j < p, temos


ik

jk

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 =

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

( )( ) ...( ) =
j1

j2

jp

0r p 1

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,
2

c0 + c1 + c2 + ... + c p 1 p 1 = 2
Em outras palavras, zero do polinmio

EUREKA! N33, 2011

39

cr r

Sociedade Brasileira de Matemtica

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
p
contado em 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

j
n
n 1 1 j n
A+ B +C
2) Sejam x, y, z, A, B, C reais tais que
inteiro.

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

cos

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.

EUREKA! N33, 2011

40

Sociedade Brasileira de Matemtica

4) Calcule sen

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

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

7) Mostre que

n
n

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 + x 3 + 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

n 0.

0 k n

2n + 1 3 k

2 no mltiplo de 5 para qualquer


2k + 1

EUREKA! N33, 2011

41

Sociedade Brasileira de Matemtica

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 q q q ( 20002000 )

)) (Proposto por Ccero Soares Furtado,

de Reriutaba CE).
Como 20002000 = 22000 106000 , sua representao decimal a
representao decimal de 22000 seguida de 6000 zeros, e logo
SOLUO:

q ( 20002000 ) = q ( 22000 ) . Como 23 < 10, 22000 < 22001 = ( 23 )

tem no mximo 667 dgitos. Como


q ( 20002000 ) = q ( 22000 ) 9 667 = 6003.

((

Portanto, q q 20002000

cada

667

dgito

< 10667 , donde 22000

no

mximo

9,

) ) 6 + 9 + 9 + 9 = 33, e logo q ( q ( q ( 2000 ) ) ) 3 + 9 = 12.


2000

Por outro lado, como n e q(n) sempre deixam o mesmo resto na diviso por 9, o

((

)) ( (

resto da diviso de q q q ( 20002000 ) = q q q ( 20002000 )

))

por 9 igual ao resto

da diviso de 22000 por 9. Mas, como 26 = 64 deixa resto 1 quando dividido por 9,
22000 = 26333+ 2 = ( 26 )

333

22 = 4

quando

dividido

por

9.

Como

))
((
q ( q ( q ( 2000 ) ) ) = 4.

q q q ( 20002000 ) 12 e 4 + 9 = 13 > 12, conclumos que necessariamente


2000

2) (Problema 110 Grcia, 2000, proposto na Eureka! 11) Determine os nmeros


primo p para os quais o nmero 1 + p + p 2 + p 3 + p 4 um quadrado perfeito.
(proposto por Ccero Soares Furtado, de Rariutaba CE).
Vamos encontrar todos os naturais n tais que 1 + n + n 2 + n3 + n 4 quadrado
2

n +1
5n 2 n 1

4
3
perfeito. Note que n 2 +
+ + > n 4 + n3 + n 2 + n + 1 para
=n +n +
2
4
2 4

EUREKA! N33, 2011

42

Sociedade Brasileira de Matemtica

n2 n 3
> 0 para todo n > 3). Por outro lado, para todo
4 2 4
2
n
n2

n , n 2 + = n 4 + n3 +
< n 4 + n3 + n 2 + n + 1.
4
4

todo n > 3 (pois

n +1
n
, se n > 3 temos
ou k n 2 +
2
2
k 2 < n 4 + n3 + n 2 + n + 1 ou k 2 > n 4 + n 3 + n 2 + n + 1 Assim, basta olhar os
casos n {0,1, 2, 3} . Para n = 0, n 4 + n3 + n 2 + n + 1 = 1 = 12. Para n = 1,
Como, para todo k , temos k n 2 +

n = 2,
n 4 + n3 + n 2 + n + 1 = 5, que no quadrado perfeito. Para
4
3
2
para n = 3,
n + n + n + n + 1 = 31, que no quadrado perfeito, e,
4
3
2
2
Assim,
o
nico
primo
p
tal
que
n + n + n + n + 1 = 121 = 11 .
1 + p + p 2 + p3 + p4
quadrado perfeito p = 3.

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


so escolhidos 22 n1 + 1 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).
2

yx
. Em particular,
2

SOLUO: Se x < y so mpares e y divide x 2 , ento y


2

yx

y , donde y x 2 y , e logo
2

y 1 = y 2 y + 1 > x, donde

y > x + 1. Assim, se 22 n < x0 < x1 < ... < x22 n1 < 32 n so os nmeros em questo,
temos

x j +1 > x j + 1, para todo j 0, e logo

Em particular,

x22 n1 > 2n + 22 n 1 , donde

x j > 2n + j , j 0.
32 n > x22 n1 > ( 2n + 22 n 1 ) ,
2

e logo

3n > 2n + 22 n1 , mas isso falso para todo n 1 (para n = 1, 3 < 4, para


n = 2, 9 < 4 + 8 e, para n 3,3n < 22 n 1 : com efeito, 27 = 33 < 25 = 32 e, se
3n < 22 n 1 ,3n +1 = 3 3n < 3 22 n 1 < 4 22 n 1 = 22 n +1 = 22( n +1)1 ), absurdo.
4) (Problema 113 Polnia, 2000, proposto na Eureka! 11) Uma sequncia p1 , p2,...
de nmeros primos satisfaz seguinte condio: para n 3, pn o maior divisor
EUREKA! N33, 2011

43

Sociedade Brasileira de Matemtica

primo de pn 1 + pn 2 + 2000. Mostre que a sequncia


por Anderson Torres, de Santana de Parnaba SP).

( pn )

limitada. (Proposto

SOLUO: Vamos mostrar a seguinte afirmao, que implica o resultado:

k 0
existe
j
com
1 j 40
tal
que
2
max ( pk + j , pk + j +1 ) max ( pk , pk +1 ) + 40000 (de fato, a afirmao implica que
3
pn 160000, para todo n n0 ; note que
existe n0
tal que

Para

todo

pn + 2 max ( pn , pn +1 ) + 1000, n 1).

Suponhamos inicialmente que, para todo r, com 0 r 35, pk + r um primo mpar.


p
+ pk + r 2 + 2000
Ento, para todo r, com 2 r 36, pk + r k + r 1
. Definindo
2
q j 1 + q j 2 + 2000
q0 = pk , q1 = pk +1 e q j =
para 2 j 36, temos pk + r qr , para
2
0 r 36. Se, para algum r 36, pk + r qr , tomando um tal r mnimo temos
p
+ pk + r 2 + 2000
, e a afirmao vale para j = r. Temos ainda que q j
pk + r k + r 1
6
j
p + 2pk+1 4000 2pk 2pk+1 4000 1 2000 j
, para
dado pela expresso qj = k

+
+

+
3
9
3
9 2
3
0 j 42. Assim,
6j

1
9q6 j = ( 3 pk + 6 pk +1 4000) + ( 6 pk 6 pk +1 + 4000) + 6000 j 9 pk + 6000 j ( mod7) .
2
Portanto, existe s com 0 s 6 tal que 9q6 s (e logo q6 s ) mltiplo de 7. Se s = 0,
a afirmao j vale para j = 1. Se tivssemos pk + r = qr para 0 r 36, tomamos s
q
com 1 s 6 tal que q6 s mltiplo de 7, e teramos pk + 6 j 6 s , absurdo.
7
Se pk = 2, a afirmao j vale para j = 1. Finalmente, se pk + r = 2 para algum r
com 1 r 35, teremos pk + r +1 pk + r 1 + 2002 e pk + 2 + 2 pk +11 + 4004, mas um

desses nmeros ( pk + r 1 , pk + r 1 +2002 e pk + r 1 + 4004 ) mltiplo de 3, logo a


afirmao vale para j = r + 2.

EUREKA! N33, 2011

44

Sociedade Brasileira de Matemtica

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


k 2 ao jogador B . Quando A entrega um nmero m 2 a B, B pode devolver
m 1 ou m + 1 a A. Quando A recebe um nmero n 2 deve, se n for mpar
n
devolver 3n a B; se n for par mas no mltiplo de 4, pode devolver
ou 3n a B, e,
2
n n
se n for mltiplo de 4, pode devolver , ou 3n a B. Qualquer jogador ganha o
4 2
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 k 2 , se
algum dos jogadores tem estratgia vencedora, e, nesses casos, qual deles.
b) Resolva o item anterior supondo que A, ao receber um nmero n 2, deve
n
a B se n for par mas no mltiplo
devolver 3n a B se n for mpar, deve devolver
2
n
de 4 e deve devolver
a B se n for mltiplo de 4.
4

SOLUO DE JOS DE ALMEIDA PANTERA (RIO DE JANEIRO RJ)


a) Naturalmente A perde se entregar o nmero k = 2 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 4n + 1
ou
3

4n 1
, para algum n 1 , e se k > 2 no for de nenhuma dessas formas
3
nenhum dos jogadores tem estratgia vencedora.

da forma

2 41 + 1
a B, B pode devolver 2 ou 4 a A, e,
3
41+1 1
em qualquer caso, A pode devolver 1 a B e ganhar o jogo. Se A entrega 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.
Para isso, note que, se A entrega 3 =

EUREKA! N33, 2011

45

Sociedade Brasileira de Matemtica

2 4n +1 + 1
a B, com
3
2 4n+1 2
4n+1 1
a A, caso em que A pode devolver
a B,
n 1, B pode devolver
3
3
2 4n+1 + 4
a A, caso em que A pode devolver
ganhando o jogo, ou B pode devolver
3
2 4n + 1
4n+ 2 1
a B, ganhando o jogo. De modo similar, se A entrega
a B, com
3
3
4n+ 2 4
4n+1 1
a A, caso em que A pode devolver
a B,
n 1, B pode devolver
3
3
4n+ 2 + 2
a A , caso em que A pode devolver
ganhando o jogo, ou B pode devolver
3
2 4n+1 + 1
a B, ganahndo o jogo.
3
Notemos que A sempre pode no mnimo empatar o jogo se k 3. De fato, se em
algum momento do jogo A entrega m 3 a B, B devolve no mnimo m 1, e A
pode devolver o triplo, que no mnimo 3 ( m 1) > m.
Em geral, podemos argumentar por induo: se A entrega

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
n
n +1
2 4 +1
4 1

, n 0
, n 1 , ento B pode devolver um nmero a
X :=
3
3

partir do qual A no pode devolver nenhum nmero pertencente a X (note que


1 X ). Temos X = {1,3,5,11, 21,...} . 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 ( m 1) e 3 ( m + 1) 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 m 1 {2k , k X } {4k , k X } ou

m + 1 {2k , k X } {4k , 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
EUREKA! N33, 2011

46

Sociedade Brasileira de Matemtica

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 ( n 2 ) 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.
EUREKA! N33, 2011

47

Sociedade Brasileira de Matemtica

Para isso, note que se n = 2 isso claramente verdadeiro. Suponha agora que
m 2 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 C1 , intersecta s um dos

outros crculos, digamos C2 , seja C1 C2 = { p, q}.

Temos dois casos: no primeiro, C2 s intersecta C1. Ento associamos p a C1 , q a


C2 e usamos a hiptese de induo para os m 1 crculos restantes. No segundo
caso, C2 intersecta algum dos outros crculos. Ento associamos P a C1 e usamos a
hiptese de induo para os m crculos C2 , C3 ,..., Cm +1.
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 Cm +1 , e fixar uma injeco de

{C1 , C2 ,..., Cm } no

conjunto dos pontos que pertencem a pelo menos dois dos

crculos C j , j m tal que a imagem de cada Ci , que chamaremos de Pi , pertence a

Ci .

Para cada X {C1 ,..., Cm } , o conjunto dos pontos que pertencem a pelo menos
dois crculos de X {Cm +1} tem pelo menos X + 1 elementos. Se algum ponto

P { P1 ,..., Pm } pertence a Cm +1 e a algum dos outros crculos, simplesmente


estendemos a injeo associando P a Cm +1 . Seno, construmos uma sequncia de

conjuntos A1 , A2 ,... do seguinte modo: A1 = {i m Pi Cm +1}. Se A1 , A2 ,..., Ar j

esto definidos, se o conjunto (de pelo menos Ar + 1 ) pontos que pertencem a pelo
menos dois crculos de
definimos

{Cm +1} {C j , j Ar }

Ar +1 = Ar j m Pj

est contido em

{P1 ,..., Pm } ,

pertence a pelo menos dois crculos de

{Cm +1} {C j , j Ar }}. Note que Ar +1 > Ar . Em algum momento, haver


ponto P fora de { P1 ,..., Pm } que pertence a pelo menos dois crculos

um
de

Cm +1 {C j , j Ar } , e logo a dois crculos C j e C j , com j , j Ar , j Ar 1 .

Podemos ento alterar a injeo associando C j a P; como existe algum

jr 1 Ar 1 \ Ar 2 tal que Pj pertence a C jr 1 , associamos C jr 1 a Pj , e, em geral,


para cada s com 1 < s r 1, se j definimos js As \ As 1 , existe js 1 As 1 \ As 2
EUREKA! N33, 2011

48

Sociedade Brasileira de Matemtica

tal que Pjs pertence a C js1 ; associamos ento C js1 a Pjs . Fazemos isso at associar

C j1 a Pj2 . Como j1 A1 , podemos associar Cm +1 a Pj1 , estendendo nossa injeo a

{C1 , C2 ,..., Cm , Cm+1} ,

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 r 2 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 {C1 , C2 ,..., Cm } no conjunto desses
pontos, a qual ser uma bijeo. Sendo Pi a imagem de Ci , podemos considerar a

matriz ( aij ) ,1 i m + 1,1 j m, onde aij = 1 se Pj pertence a Ci e aij = 0, caso


contrrio.

Se,

} {

} {

i m + 1, si := j Pj Ci = j aij = 1 , temos,
si ni , i m, donde

s n ,
i =1

j m, n j = i Pj Ci = i aij = 1

para

i =1

mas

m +1
i =1

para

pelo que observamos acima,

s = n = {( i, j ) a
m

e,

j =1

ij

= 1 , e sm +1 > 0,

pois Cm +1 intersecta outros crculos, absurdo.

133) Considere um ngono regular inscrito em um crculo unitrio, fixe um


vrtice i e denote por dj a distncia entre este vrtice i e o vrtice j. Prove que
n 1

(5 d ) = F
j i
j =0

2
j

2
n

onde F1 = 0, F1 = 1 e Fn = Fn 1 , Fn 2 se n 2.

SOLUO DE ASDRUBAL PAFNCIO SANTOS (BOTUCATU SP)


Podemos supor sem perda de generalidade que i = 0 e que o vrtice j e 2 j i n , para

0 j n 1. Queremos ento provar que

n 1

2 j
n

3 + 2cos
j =1

Temos

e 2 j i n 1 = ( e 2 j i n 1)( e 2 j i n 1) = 2 e
2

queremos provar portanto que


EUREKA! N33, 2011

49

2 j i n

2
= Fn .

2 j
e 2 j i n = 2 2cos
n

Sociedade Brasileira de Matemtica


n 1

2 j
2
= Fn . Considere agora a sequncia de polinmios
n
dada por f 0 ( x ) = 2, f1 ( x ) = x e f n +1 ( x ) = xf n ( x ) f n 1 ( x ) , n 1.

3 + 2cos
j =1

( f ( x ))
n

n0

Temos, para todo n 0 e todo , f n ( 2cos ) = 2cos ( n ) . De fato isso vale


para n = 0 e n = 1 e, por induo,
f n+1 ( 2cos ) = 2cos f n ( 2cos ) f n1 ( 2cos ) = 4cos cos ( n ) 2cos ( ( n 1) ) =
= 2cos ( ( n + 1) ) . Alm disso, para todo n 1, f n ( x ) um polinmio mnico de

2 k
, k , temos
n
n 1
n 1

2 j f n ( x ) 2
2 k
donde

.
f n ( x ) 2 = x 2cos
,
n
1,

x 2cos
=

x2
n
n
j =1
k =0
O que queremos provar equivale a
n 1

2 j f n ( 3) 2
1
n 1
= ( f n ( 3) 2 ) , o que
( 1) Fn2 = 3 2cos
=

n
3
2
5

j =1

grau n. Como as soluo de 2cos ( n ) = 2 so dadas por =

equivalente a f n ( 3) = 2 + ( 1) 5 Fn2 . Como


n

n
n
1 1 + 5 1 5
Fn =

, n 0, temos
5 2 2

3 + 5 3 5
2 + ( 1) 5F =
+
. Por outro lado, a sequncia
2
2

xn = f n ( 3) satisfaz x0 = 2, x1 = 3 e xn +1 = 3xn xn 1 , n 1, e logo (usando o


n

2
n

fato de as razes de x 2 + 3 x + 1 = 0 serem

3+ 5 3 5
3 5
), xn =
+
,n 0,
2
2 2

o que prova a igualdade desejada.

136) Sejam R, r1 , r2 e r3 os raios dos crculos de centro O, O1 , O2 e O3 ,


respectivamente, conforme a figura abaixo. Prove que: R = r1r2 + r1r3 + r2 r3 .

EUREKA! N33, 2011

50

Sociedade Brasileira de Matemtica

O1
R
R2

O
O2

O3

SOLUO DE ANDERSON TORRES (SANTANA DE PARNABA SP)


A boa e velha trigonometria...
A
X
ra

OA
TA

Y
r
O
TB

OC

OB
C

Como sempre, A = , B = e C = , + + = .
Vamos calcular ra , para comear:
AOA + OATA + TAO = AO AOA + OATA = AO OTA
r
r
AOA X : AOA = a ; AOY ; AO =
. Substituindo:

sen
sen
2
2

EUREKA! N33, 2011

51

Sociedade Brasileira de Matemtica

1 sen
1 sen 2
ra
2
+r =
r ra = r
=
, ou
a

r
1 + sen
sen
sen
1 + sen
2
2
2

2
Como precisaremos de um quadrado, vamos aplicar um truque: a tangente do
meio arco.
ra

1 tan
1 + tan
Para

1 + tan

1 tan
1 + tan

escrever

4 +

1 2 tan

1 tan
1 + tan

menos,

1 tan
2 =
4 =
4
4 =
4 .

1 + tan
1 + sen
2 tan
1 + 2 tan + tan 2
2 1+
4
4
4
4
2
1 + tan
4
Com isto, j podemos substituir na igualdade que queremos demonstrar:
1 sen

2 tan

1 tan
1 + tan

+ tan 2

4+

a = tan

seja

1 tan
1 + tan

, b = tan

1 tan
1 + tan

4 =1

, c = tan .
4
4

Abrindo

os

denominadores,
(1 a )(1 b )(1 + c ) + (1 a )(1 + b )(1 c ) + (1 + a )(1 b )(1 c ) = (1 + a )(1 + b )(1 + c )
3 ( a + b + c ) ( ab + ac + bc ) + 3 ( abc ) = 1 + ( a + b + c ) + ( ab + ac + bc ) + ( abc )

1 ( a + b + c ) ( ab + ac + bc ) + ( abc ) = 0 .
Mas isto fcil?

+ tan +

4

4 4 =
1 = tan = tan + + =

4
4 4 4 1 tan tan +

4
4 4
tan

EUREKA! N33, 2011

52

Sociedade Brasileira de Matemtica

tan
=

tan

+ tan

1 tan

tan

4 =

tan 4 + tan 4
1 tan

4
1 tan

tan

tan

1 tan

+ tan

tan

+ tan

tan

tan
tan

tan

tan

tan

tan

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

137) Seja A um conjunto de quinze pontos de 2 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
1
um na origem cuja rea menor que .
4
SOLUO DE ITAMAR SALES DE OLIVEIRA FILHO (CEDRO CE)
1
x
y
3
2

15

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.
EUREKA! N33, 2011

53

Sociedade Brasileira de Matemtica

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, n > 24, 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:
1
rea XOY = OX OY sen1 . Contudo, OX e OY so menores do que 1 e
2
sen i sen24 < sen30, substituindo:
1
1 1
1
A < 1 1 sen30 A < A < .
2
2 2
4
1
Ento existe um tringulo como no enunciado cuja rea menor do que .
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 x 2 + y 2 = z 2 com
x y z 0.

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 x 2 + y 2 = z 2 com x y z 0.
Note que (3, 4, 5) soluo, logo temos que d 60.
AFIRMAO 1: Se uma tripla

( x, y , z )

soluo da equao x 2 + y 2 = z 2 ento

x y z mltiplo de 3.
PROVA: Suponhamos, por absurdo, que x e y no so mltiplos de 3. Ento

z 2 = x 2 + y 2 2 ( mod 3) , 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 x 2 + y 2 = z 2 ento

x y z mltiplo de 5.
EUREKA! N33, 2011

54

Sociedade Brasileira de Matemtica

PROVA: Suponhamos, por absurdo, que x e y no so mltiplos de 5. Ento

x 2 + y 2 0 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 x 2 + y 2 = z 2 ento x y z
mltiplo de 5.
AFIRMAO 3: Se uma tripla

( x, y , z )

soluo da equao x 2 + y 2 = z 2 ento

x y z mltiplo de 4.
Suponhamos, por absurdo, que x e y so mpares. Ento
x 2 + y 2 2 ( mod 4 ) , absurdo. Portanto x ou y tem que ser par. Se x for par, mas no

PROVA:

for mltiplo de 4, ento x 2 4 ( mod8 ) x 2 + y 2 4 , 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 x 3 y 3 = z 2 , 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.
(I)
Ento z 2 = x 3 y 3 = ( x y ) ( x 2 + xy + y 2 ) = ( x y )(( x y ) 2 + 3 xy )
Como z no divisvel por 3 e nem por y, e y um nmero primo, teremos por (I)
mdc( x, y ) = 1 e mdc( x y, 3) = 1.
Ento mdc ( x 2 + xy + y 2 , x y ) = mdc (3 xy, x y ) = 1

(II)

Agora (I) e (II) implicam que x y = m , x + xy + y = n e z = mn , para certos


inteiros positivos m e n.
Temos 4n 2 = 4 x 2 + 4 xy + 4 y 2 = (2 x + y ) 2 + 3 y 2 .
2

Ento 3 y 2 = (2n + 2 x + y )(2n 2 x y ). Sendo y um primo, ento existem trs


possibilidades:
a) 2n + 2 x + y = 3 y 2 , 2n 2 x y = 1

EUREKA! N33, 2011

55

Sociedade Brasileira de Matemtica

b) 2n + 2 x + y = 3 y, 2n 2 x y = y
c) 2n + 2 x + y = y 2 , 2n 2 x y = 3
Em (a), aps a subtrao das equaes temos:
3 y 2 1 = 2(2 x + y ) = 2(2m 2 + 3 y ).
Da, m 2 + 1 = 3 y 2 6 y 3m 2 0 (mod 3).
Por outro lado, temos sempre m 2 + 1 1 ou 2 (mod 3). Ns chegamos a uma
contradio.
Em (b), subtraindo as equaes chegamos x = 0, o que absurdo!
Subtraindo as equaes em (c), chegamos em y 2 3 = 2(2 x + y ) = 2(2m 2 + 3 y ),
que pode ser escrito assim:
( y 3) 2 4m 2 = 12, ou seja, ( y 3 + 2m)( y 3 2m) = 12.
Da equao chegamos a y = 7 e m = 1, pois devemos ter y 3 + 2m = 6 e

y 3 2m = 2 . Segue que x = y + m2 = 8 e z = 13 mn = m x + xy + y 2 .
Veja que de fato 83 73 = 132. Esta a nica soluo.

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

SOLUO DE MARCELO RIBEIRO DE SOUZA (RIO DE JANEIRO RJ)


LEMA: Sejam p1 , p2 dois nmeros inteiros primos entre si. Ento, se p1 a e

p2 a , ter-se- p1 p2 a .
DEMONSTRAO: p1 a k

como

a = kp1. No entanto, deve-se ter p2 a = kp1 , ora,

( p1 , p2 ) = 1, conclui-se

p2 k k1

que

= k1 p2 .

Finalmente,

a = k1 p1 p2 p1 p2 a .
Note-se, inicialmente, que 1897 = 7 271. Escreva-se, ento:

2903n 464n 803n + 261n ( 78) ( 78) ( 10) + ( 10) 0 ( mod271) , n


n

2903 464 803 + 261 5 2 5 + 2 0 ( mod 7 ) , n


n

(ii)

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

56

(i)

Sociedade Brasileira de Matemtica

141) Dado a {0,1, 2,3, 4,5,6,7,8,9} , seja X um conjunto finito de inteiros


positivos, tal que nenhum dos seus elementos possui o algarismo a em sua
1
representao decimal. Prove que < 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 8 9k 1 , caso a 0, e 9k , caso a = 0.
Seja N = max( X ) e d o nmero de dgitos de N. Seja S(T) a operao definida
sobre um subconjunto finito T qualquer de * , tal que:

1
nT n

S (T ) =

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

X = {`1, 2,3,..., N ,...,10d 1} {n a no dgito de n} , X X . Para


k 1

todo

inteiro

k 1

positivo n de k dgitos, n 10 1 n 1 10 , sendo que a desigualdade estrita


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

1
1
1 d 8 9k 1

2 1
d 1
+
8

+
...
+
8

=
(
)
(
)
11

1021
10d 1 k =1 10k 1

n < (8 9 ) 10
1

11

n X

( )

9k 1
k 1
k =1 10
d

S ( X ) S X < 8

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

S ( X ) < 8

1 ( 9 /10 )

1 ( 9 10 )

d
= 80 1 ( 9 10 ) < 80

EUREKA! N33, 2011

57

Sociedade Brasileira de Matemtica

Para o caso a = 0 necessrio um refinamento de anlise, pois o uso de processo


idntico ao acima s permitiria afirmar que S ( X ) < 90. Pra este caso, separou-se
cada conjunto dos nmeros de k algarismos em dois subconjuntos disjuntos: um
dos 4 9k 1 inteiros que satisfazem 10k 1 n < 5 10k 1 e outro dos 5 9k 1 inteiros
que satisfazem 5 10k 1 n < 10k . Assim, por um raciocionio anlogo ao do caso
anterior:

( )

d
d
9 k 1
9k 1
9 k 1
5
5
+
=

k 1
k 1
k 1
k =1 10
k =1 5 10
k =1 10
d

S ( X ) S X < 4

S ( X ) < 5

1 ( 9 10 )

d
= 50 1 ( 9 10 ) < 50 < 80 .

1 ( 9 10 )

Agradecemos o envio de solues e a colaborao de:


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

Prob. 140
Prob. 133, 137, 138, 139, 140, 141
Prob. 140
Prob. 137, 138, 140.
Prob. 136
Prob. 136
Prob. 138
Prob. 136
Prob. 138 e 140
Prob. 136
Prob. 140
Prob. 133 e 136
Prob. 136
Prob. 140

Continuamos aguardando solues para os problemas 134 e 135.

EUREKA! N33, 2011

58

Sociedade Brasileira de Matemtica

PROBLEMAS PROPOSTOS

Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos


problemas para prximos nmeros.

142) Seja A = {4,8,9,16, 25, 27,36,64,...} o conjunto das potncias no triviais


(nmeros da forma a b , com a 2, b 2 naturais). Prove que, para todo natural
n 1, existe um natural k tal que todos os termos da progresso aritmtica
k , 2k ,3k ,..., nk pertencem a A.

143)

Determime

todas

as

f , g,h :

funes

f ( xy ) = g ( x + y ) + h ( x + y ) , x, y .
3

tais

que

144) Seja x 1 um nmero racional tal que existe uma constante c 0 e uma
sequncia ( an )n1 de inteiros tal que lim ( cx n an ) = 0. Prove que x inteiro.
n

145)

Encontre

todos os nmeros
2
3
p cos + q cos
+ r cos
= 1.
7
7
7

racionais

p,

q,

146) Determine todos os subconjuntos no-vazios A, B, C de

de

modo

que

de modo que:

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

147) Demonstre que

( 1)
( 1)
=n+

2
( 2k + 1)
k =0
sen
n2

, para todo inteiro n 2.

4n 2

148) Sejam m e n inteiros positivos. Calcule

n k
.
m
k =0
n 1

149) a) Deseja-se organizar um torneio de futebol com n times ( n 2 ) 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.
EUREKA! N33, 2011

59

Sociedade Brasileira de Matemtica

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
S = {1, 2,3,..., 2n 1} . Sabe-se que, para todo i {1, 2,..., n} , a i-sima linha e a isima coluna contm juntas todos os elementos de S.
Quais os possveis valores de n?

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


3

Prove que

(a b)

( a b)

(c a)

3 3.

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

EUREKA! N33, 2011

60

Sociedade Brasileira de Matemtica

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

EUREKA! N33, 2011

61

Sociedade Brasileira de Matemtica

COORDENADORES REGIONAIS
Alberto Hassen Raad
Amrico Lpez Glvez
Antonio Carlos Nogueira
Benedito Tadeu Vasconcelos Freire
Bruno Holanda
Carmen Vieira Mathias
Claus Haetinger
Cludio de Lima Vidal
Denice Fontana Nisxota Menegais
Disney Douglas Lima de Oliveira
Edson Roberto Abe
Edney Aparecido Santulo Jr.
Fbio Brochero Martnez
Florncio Ferreira Guimares Filho
Francinildo Nobre Ferreira
Genildo Alves Marinho
Herivelto Martins
Gilson Tumelero
Ivanilde Fernandes Saad
Joo Bencio de Melo Neto
Joo Francisco Melo Libonati
Diogo Diniz
Jos Luiz Rosas Pinho
Jos Vieira Alves
Jos William Costa
Krerley Oliveira
Licio Hernandes Bezerra
Luciano G. Monteiro de Castro
Luzinalva Miranda de Amorim
Marcelo Dias
Marcelo Antonio dos Santos
Marcelo Rufino de Oliveira
Newman Simes
Nivaldo Costa Muniz
Osnel Broche Cristo
Uberlndio Batista Severo
Raul Cintra de Negreiros Ribeiro
Reginaldo de Lima Pereira
Reinaldo Gen Ichiro Arakaki
Ricardo Amorim
Ronaldo Alves Garcia
Rogrio da Silva Igncio
Rosangela Ramon
Srgio Cludio Ramos
Seme Gebara Neto
Tadeu Ferreira Gomes
Toms Menndez Rodrigues
Valdenberg Arajo da Silva
Vnia Cristina Silva Rodrigues
Wagner Pereira Lopes
Wanderson Breder
William Serafim dos Reis

(UFJF)
(USP)
(UFU)
(UFRN)
(CAEN UFC)
(UNIFRA)
(UNIVATES)
(UNESP)
(UNIPAMPA)
(UFAM)
(Colgio Objetivo de Campinas)
(UEM)
(UFMG)
(UFES)
(UFSJ)
(Centro Educacional Leonardo Da Vinci)
(USP So Carlos)
(UTFPR)
(UC. Dom Bosco)
(UFPI)
(Grupo Educacional Ideal)
(UFPB)
(UFSC)
(UFPB)
(Instituto Pueri Domus)
(UFAL)
(UFSC)
(Sistema Elite de Ensino)
(UFBA)
(Grupo Educacional Etapa)
FACOS
(Grupo Educacional Ideal)
(Cursinho CLQ Objetivo)
(UFMA)
(UFLA)
(UFPB)
(Colgio Anglo)
(Escola Tcnica Federal de Roraima)
(UNIFESP)
(Centro Educacional Logos)
(UFGO)
(Col. Aplic. da UFPE)
(UNOCHAPEC)
(IM-UFRGS)
(UFMG)
(UEBA)
(U. Federal de Rondnia)
(U. Federal de Sergipe)
(U. Metodista de SP)
(CEFET GO)
(CEFET RJ)
(UFT TO)

EUREKA! N33, 2011

62

Juiz de Fora MG
Ribeiro Preto SP
Uberlndia MG
Natal RN
Fortaleza CE
Santa Mara RS
Lajeado RS
S.J. do Rio Preto SP
Bag RS
Manaus AM
Campinas SP
Maring PR
Belo Horizonte MG
Vitria ES
So Joo del Rei MG
Taguatingua DF
So Carlos SP
Pato Branco PR
Campo Grande MS
Teresina PI
Belm PA
Campina Grande PB
Florianpolis SC
Campina Grande PB
Santo Andr SP
Macei AL
Florianpolis SC
Rio de Janeiro RJ
Salvador BA
So Paulo SP
Osrio RS
Belm PA
Piracicaba SP
So Luis MA
Lavras MG
Joo Pessoa PB
Atibaia SP
Boa Vista RR
SJ dos Campos SP
Nova Iguau RJ
Goinia GO
Recife PE
Chapec SC
Porto Alegre RS
Belo Horizonte MG
Juazeiro BA
Porto Velho RO
So Cristvo SE
S.B. do Campo SP
Jata GO
Nova Friburgo RJ
Arraias TO

Você também pode gostar