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

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

2
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

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

EUREKA! N33, 2011

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

5
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

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

7
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
2010
B1 , B2 , B3 , B4 , B5 vazias e a caixa B6 com exactamente 20102010 moedas. (Observe
c
que a b = a
(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

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

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

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 )
2 4 6
b) Determine inteiros a, b, c, d tais que cos , 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
= , logo 1,cos ,cos , cos so as razes dessa equao.
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, a equao (8t 3
+ 4t 2 4t 1) = 0 tem como
2 4 6
solues cos ,cos ,cos .
7 7 7

EUREKA! N33, 2011

11
Sociedade Brasileira de Matemtica

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


sec 400 + sec 800 + sec 1600 = 6.

SOLUO: Note que 400, 800 e 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

2 3 1
EXERCCIO RESOLVIDO 3 (IMO 1963): Prove que cos cos + cos = .
7 7 7 2
SOLUO: Note que
3 3 5 5 3 5
3 + 4 = ,3
+ 4 = 3 e 3 + 4 = 5 , logo , , so
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

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 3


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 3
20 + 14 2 2 + 3 20 14 2 2
real, logo 3
20 + 14 2 2 + 3 20 14 2 2 = 4.

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


a 7 + b7 + c 7
expresso .
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 = = .
abc ( a + b + c ) q ( 2 p ) 2
4 4 4 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.
p
PROVA: Como raiz do polinmio temos que
q
n 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

Soluo: Seja x = 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.

EXERCCIOS PROPOSTOS:
2 3 7
1) (EUA) Prove que sen sen
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.

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

tg

tg
2
tg
3
...tg
( n 1) tg n = 2n + 1.
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 + b3 + c 3 ) ( a 4 + b 4 + c 4 )
3 2

Calcule os possveis valores de .


(a + b5 + c5 )
5 2

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

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

1
11) Prove que cos 200. cos 400.cos 800 = .
8
12) Prove que:
2 3
a) tg tg
tg = 7.
7 7 7
2 3 4 5 6
b) tg tg tg tg tg tg = 13 .
13 13 13 13 13 13

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

14) Calcule as expresses:


2 3
a) tg 2 tg 2
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
3 5
16) Ache uma equao do terceiro grau cujas razes so cos ,cos ,cos .
7 7 7
17) Calcule as expresses:
3 5
a) cos cos 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
3 5
d) cos 2 + 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.

EUREKA! N33, 2011

16
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
20) Prove que cossec + cossec + cossec = 6.
18 18 18
21) Prove que tg 200. tg400. tg 600. tg 800 = 3.

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
23) Prove que sen20 sen40 sen80 = .
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
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.

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 (a)


sen(a b) = sen a cos b sen b cos a (b)
cos(a + b) = cos a cos b sen a sen b (c)
cos(a b) = cos a cos b + sen a sen b (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 (g)

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

EUREKA! N33, 2011

18
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
2 2
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
( x x0 ) ( x x0 )
n k
n
P ( x) = f ( x0 ) + f ( x0 )( x x0 ) + + f ( ( x0 ) =f ( ( x0 )
n) k)
(i)
n! k =1 k!

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 + + + (j)
n
2 3! n! 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
Sociedade Brasileira de Matemtica

x3 x5
n 1
xn x3 x5
sen x = lim x + + (1) 2 = x + (k)
n
3! 5! n! 3! 5!
e que
x2 x4 n x
2n
x2 x4

cos x = lim1 + + + (1) = 1 + (l)
n
2 4! (2n)! 2! 4!

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 (m)
2 4! 3! 5!

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
difcil mostrar que e Z +W = e Z eW ,Z ,W de fato, se Z1 = X 1 + iY1 e
Z 2 = X 2 + iY2 , eZ1 +Z2 = ex1 + x2 ( cos (Y1 + Y2 ) + isen (Y1 + Y2 ) ) = ex1 + x2

( cosY cosY
1 2 senY1senY2 + i ( senY1cosY2 + senY2 cosY1 ) = )
=e x1
( 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 (1)


S 2 = cos x + cos 2 x + ... + cos nx (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 sen = 2 sen cos x
2 2 2
5x 3x x
sen sen = 2 sen cos 2 x
2 2 2
7x 5x x (3)
sen sen = 2 sen cos 3 x
2 2 2

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

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


ser dado por
(2n + 1) x x x n
sen sen = 2 sen cos jx
2 2 2 j =1
nx (n + 1) x
n sen cos
S 2 = cos jx = 2 2 (4)
x
j =1
sen
2
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 (5)
cos cos = 2 sen sen 3 x
2 2 2

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

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

EUREKA! N33, 2011

21
Sociedade Brasileira de Matemtica

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

nx (n + 1) x
n sen sen
S1 = sen jx = 2 2 (6),
x
j =1
sen
2
que a soma procurada.

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


ix
x x
Relao de Euler. Seja e 2 = C = cos + i sen , onde i 2 = 1 ; assim tem-se que
2 2
2
x x
C = cos + i sen = cos x + i sen x
2

2 2
4
x x
C 4 = cos + i sen = cos 2 x + i sen 2 x
2 2 (7)

2n
x x
C 2n
= cos + i sen = cos nx + i sen nx
2 2

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

(C 2 1)
= C
C C 1( =
)j =1

nx
sen
n
x x nx nx
(cos jx + i sen jx ) = cos + i sen cos + i sen 2 = S + iS
2 1
j =1 2 2 2 2 sen x
2
(n + 1) x nx (n + 1) x nx
cos sen sen sen
S 2 + iS1 = 2 2 +i 2 2 (8)
x x
sen sen
2 2
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 n
S1 = sen 2 jx e S 2 = cos 2 jx . Para tal, observa-se inicialmente, da
j =1 j =1

1 1 1 1
Trigonometria que sen 2 x = cos 2 x e cos 2 x = + cos 2 x , assim pode-
2 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 ) (9)
j =1 2 2 "n " 2 2

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 n C n C n )n
(cos 2 jx + i sen 2 jx )
C 2 + C 4 + + C 2 n = C.
(C C 1 ) =
j =1
n
cos(n +1)x.sennx sen(n +1)x.sennx
(cos2 jx + i sen2 jx) = +i = S+iS (10)
j =1 senx sen x
n
n 1
onde S= sen 2 jx . Sendo S1 = S
j =1 2 2
1 cos(n + 1) x. sen nx
S1 = n (11)
2 sen x

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

sen nx. cos(n + 1) x


S= , que exatamente o valor encontrado da parte real do
sen x
somatrio dado por (10).
1 1
Observando-se (9) e que cos 2 x =+ cos 2 x
2 2
n
1 1 cos(n + 1) x. sen nx
S 2 = cos 2 jx = [n + S] = n + (13)
j =1 2 2 sen x

que resolve o problema do clculo de S 2 .

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


n n
S1 = sen 3 kx e S 2 = cos 3 kx .
k =1 k =1

Seja C = cosx + isenx. Sendo C K = cos kx i sen kx pode-se escrever que


C k + C k
cos kx = (14)
2
C C k
k
sen kx = (15)
2i
Elevando-se a relao (15) ao cubo tem-se que

sen 3 kx =
C C
k k
=
3
C C ( 3 k
3 C C
3k
) ( k k
)
2i 8i
3 sen kx sen 3kx
sen 3 kx = (16)
4
n
1 n n

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

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

D D 2


(3n + 1) x (3n + 1) x
cos + i sen
2 2 3nx
SD = sen (18)
3x 2
sen
2
Tomando-se a parte imaginria da relao (18) tem-se que

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

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

nx (n + 1) x (3n + 1) x 3nx
3 sen sen sen sen
2
n
1
S1 = sen 3 kx = 2 2 2
(20)
4 x 3x
k =1
sen sen
2 2
n
Vale lembrar que a soma S = sen 3kx
k =1
tambm poder ser calculada

observando-se as igualdades a seguir, isto

EUREKA! N33, 2011

25
Sociedade Brasileira de Matemtica

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

3(2n 1) x 3(2n 3) x 3x
cos 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

cuja soma resultar em

3(2n + 1) x 3x 3x n
cos cos = 2 sen sen 3kx .
2 2 2 k =1
3nx 3(n + 1) x
n sen sen
sen 3kx = 2 2 , que exatamente a expresso (19).
3 x
k =1
sen
2
n
Para o clculo de S 2 = cos
k =1
3
kx elevando-se a expresso (14) ao cubo teremos

C k + C k
que cos kx =
3
=
3
( ) (
C 3 k + C 3 k + 3 C k + C k )
2 8
3 cos kx + cos 3kx
cos 3 kx = (21)
4
n
1 n n

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

EUREKA! N33, 2011

26
Sociedade Brasileira de Matemtica

n
Ressaltamos que a soma cos 3kx
k =1
tambm pode ser calculada atravs das

frmulas de Prostafrese, ou seja, fazendo


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

3(2n 1) x 3(2n 3) x 3x
sen 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
e somando-se as linhas teremos uma Soma Telescpica, cujo valor ser
3(2n + 1) x 3x 3x n
sen sen = 2 sen cos 3kx
2 2 2 k =1
3nx 3(n + 1) x
n sen cos
cos 3kx = 2 2 , que exatamente a parte real da
3x
k =1
sen
2
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 (A)


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
Sociedade Brasileira de Matemtica

Z 2 ( Z 6 1) sen 3 x
Z +Z +Z =
2 4 6
= (cos 4 x + i sen 4 x ) (B)
( Z 1)
2
sen x
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
Como (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 .

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

k ( 2k + 1 ) ( 2k + 1 )
S = x x= 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 . Multiplicando-
se ambos os termos por (1 Z ) teremos
2 n +1
n +1
Z + Z + Z + Z nZ
2 3 n
nZ 2
( Z n 1)
S1 + iS 2 = =
(1 Z ) 1

1 1

1
(Z Z
2 2
) (Z Z
2 2 2
)
2n + 1 2n + 1
n cos x + isen x
2 2 ( cosnx + isennx 1)
S1 + iS 2 = (1)
x x
2isen 4i 2 sen 2
2 2

EUREKA! N33, 2011

28
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 =
( n + 1) cosnx ncos ( n + 1) x 1 ,e
x
j =1
4sen 2
2

S2 =
n
jsenjx =
( n + 1) sennx nsen ( n + 1) x
x
j =1
4sen 2
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
2 4 6 2 n 1
cos + cos + cos + + cos = .
2n + 1 2n + 1 2n + 1 2n + 1 2

3) (URSS) Prove que

sen
( n + 1) sen + n

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

sen
2
sen
( n + 1) cos + n

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

sen
2
2 n
cos cos cos
4) Calcule o valor da soma S = 4+ 4 ++ 4 .
2 n
2 2 2

5) Mostre que

EUREKA! N33, 2011

29
Sociedade Brasileira de Matemtica

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


a) 1+ a cos + a cos2 + + a cosk =
2 k

a2 2a cos +1
sen + asen ( + h) + + ak sen ( + kh) =
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

sen
( 2n + 1) x
1 2
7) (IME-92) Mostre que + cosx + cos2 x + + cosnx = .
2 x
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

2 z1
1
o Re

A rea S do tringulo acima dada por:


1 1
S= 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,

( z2 z1 z1 z2 )
2

4 S 2 = Im { z2 z1} =
2

( 2i )
2
=
1
4
(2 z2
2 2
z1 z22 z12 z12 z22 )

EUREKA! N33, 2011

31
Sociedade Brasileira de Matemtica

=
1
4
[ 2 2 2

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

=
1
4
[
z1 z 2 ( z1 z 2
2
) ] [( z
2
1 + z2 ) 2
z1 z 2
2
].
Notemos que:

( z1 z 2 ) = (z z 2 + z 2 z1 )( z1 z 2 + z1 z 2 ),
2 2
i) z1 z 2 1

E, do mesmo modo, temos que:

(
ii) z1 + z 2 )2
z1 z 2
2
= ( z1 + z 2 z1 z 2 )( z 1 + 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 )(2 p 2 z 1 z2 ) (2 p )
4
4 S 2 = 4( p z1 )( p z 2 )( p z 1 z2 ) ( p)
S 2 = ( p z1 )( p z 2 )( p z 1 z2 ) ( p)
S= ( 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 )
n
= cosn + i senn , na notao exponencial fica bem mais
conciso: ( e )
i n
= ei ( n ) . Mas, e as razes da unidade? Elas so os complexos que
zeram o polinmio P ( z ) = z n 1. Por De Moivre, sabemos que k = e 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 ),
0 k < n
k

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:

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

PROBLEMA 1: calcule a soma tenebrosa


k
sen
0 k < n n

SOLUO: Usando a nossa recente descoberta, esta soma se transforma numa


progresso geomtrica! Sendo = ei n , temos

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

EUREKA! N33, 2011

33
Sociedade Brasileira de Matemtica

k 1 n 1 ( ) 1
1 n

0 k < n
sen =
n 2i 1
1
1

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

k 1 2 2 1 2 + 1 2

0 k < n
sen = + 1 = i 1 2
n 2i 1 1 + 1 2
= cotg
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 n

)
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

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

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


funcionar! Veja que
2 f1 ( x )( x + 1) = 2 + x ( x + 1)
2 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 x2 1
x +1 = n
so justamente as razes 2n +1 -simas da unidade que no so
x2 1
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
(x )
n
x2 + 1 = k

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

Escrevendo x = 1,

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

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

n
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
vrtices de um 18-gono regular (afinal, = 18 )! Agora, vamos colocar as
20
coisas nos eixos: inicialmente, O = 0 , A = 1 (podemos fazer isto por homotetia: se

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:
AO : z =z
BD : z + bd z = b + d
CE : z + cez = c + e
que equivale a
AO : z =z
BD : z + 14 z = 4 + 110
CE : z + 17 z = 6 + 11

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

Antes de comear a calculeira, vamos estudar algumas propriedades interessantes


de . Bem, sabemos que ele zero do polinmio x18 1, e 18 = 2 32. A ideia ser
( )( )
fatorar este polinmio at a exausto... x18 1 = x9 1 x9 + 1 . Como raiz 18-
sima primitiva da unidade, o primeiro fator no contm como raiz. Assim
( ) + 1 = ( x3 + 1)( x6 x3 + 1) . Pode-
3
sendo, vamos pensar no outro fator: x9 + 1 = x3

EUREKA! N33, 2011

36
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 + ) = (
4 10 17 6
+ 11 )(1 + 14 )

( )(1 ) = (
4 1 8 6
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

n
k
3k

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

n
k z = (1 + z )
k 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
k = (1 + 1)
n

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

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

k
k

Agora, se k mltiplo de 3,1 + k + 2 k = 3; caso contrrio, temos uma progresso


3k 1
geomtrica de razo k 1, e portanto 1 + k + 2 k = k = 0.
1
Ou seja, matamos todos os no mltiplos de 3!

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

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

n
3

3k k
=
3

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 1 2 p 1 k 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 1) = (z ) (z ) = (z ) (z ) =
2 p 2 j j j j

0 j p 1 0 j p 1 1 j p p +1 j 2 p

= (z )
1 j 2 p
j

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 2

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


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

ap = ( )( ) ...( ) =
j1 j2 jp
cr r
1 j1 j2 <...< j p 2 p 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
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)
g ( z ) = c p 1 = c p 1 (1 + z + z 2 + ... + z 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

1 2p
c0 = 2 + 2
p p
E fim!
Bem, que tal uns exerccios?

EXERCCIOS PROPOSTOS:

1) Determine o valor numrico da srie


j
cos
n 1 1 j n 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 ) .
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

2 4 8
4) Calcule sen + 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 ,

lk p ( k ) 2i
com 0 l m, temos
k l ( mod m )
ak = 0 k m

m
em que = e m
.

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

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.

( )
496
9) Seja 1 + x + x 2 + x 3 + x 4 = 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.

2n + 1 3 k
12) Prove que o nmero 2 no mltiplo de 5 para qualquer
2k + 1
0 k n

n 0.

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

SOLUO: Como 20002000 = 22000 106000 , sua representao decimal a


representao decimal de 22000 seguida de 6000 zeros, e logo
q ( 20002000 ) = q ( 22000 ) . Como 23 < 10, 22000 < 22001 = ( 23 )
667
< 10667 , donde 22000
tem no mximo 667 dgitos. Como cada dgito no mximo 9,
q ( 20002000 ) = q ( 22000 ) 9 667 = 6003.

((
Portanto, q q 20002000 ) ) 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 ( 20002000 ) 12 e 4 + 9 = 13 > 12, conclumos que necessariamente

q ( q ( q ( 2000 ) ) ) = 4.
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
perfeito. Note que n 2 + =n +n +
4 3
+ + > n 4 + n3 + n 2 + n + 1 para
2 4 2 4

EUREKA! N33, 2011

42
Sociedade Brasileira de Matemtica

n2 n 3
todo n > 3 (pois > 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
n n +1
Como, para todo k , temos k n 2 + ou k n 2 + , se n > 3 temos
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,
n 4 + n3 + n 2 + n + 1 = 5, que no quadrado perfeito. Para n = 2,
n + n + n + n + 1 = 31, que no quadrado perfeito, e,
4 3 2
para n = 3,
n + n + n + n + 1 = 121 = 11 .
4 3 2 2
Assim, o nico primo p tal que 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
SOLUO: Se x < y so mpares e y divide x 2 , ento y . Em particular,
2
2
yx
( )
2
y , donde y x 2 y , e logo y 1 = y 2 y + 1 > x, donde
2
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 x j > 2n + j , j 0.

32 n > x22 n1 > ( 2n + 22 n 1 ) ,


2
Em particular, x22 n1 > 2n + 22 n 1 , donde 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 ( pn ) limitada. (Proposto


por Anderson Torres, de Santana de Parnaba SP).

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


Para todo 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
existe n0 tal que pn 160000, para todo n n0 ; note que
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
pk + r k + r 1 , e a afirmao vale para j = r. Temos ainda que q j
6
j
p + 2pk+1 4000 2pk 2pk+1 4000 1 2000 j
dado pela expresso qj = k + + +
, para
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
devolver 3n a B se n for mpar, deve devolver a B se n for par mas no mltiplo
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.
2 4n + 1
Vamos mostrar que A ganha se entregar a B um nmero de k da forma ou
3
4n 1
da forma , para algum n 1 , e se k > 2 no for de nenhuma dessas formas
3
nenhum dos jogadores tem estratgia vencedora.
2 41 + 1
Para isso, note que, se A entrega 3 = 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.

EUREKA! N33, 2011

45
Sociedade Brasileira de Matemtica

2 4n +1 + 1
Em geral, podemos argumentar por induo: se A entrega a B, com
3
2 4n+1 2 4n+1 1
n 1, B pode devolver a A, caso em que A pode devolver a B,
3 3
2 4n+1 + 4
ganhando o jogo, ou B pode devolver a A, caso em que A 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
n 1, B pode devolver a A, caso em que A pode devolver a B,
3 3
4n+ 2 + 2
ganhando o jogo, ou B pode devolver a A , caso em que A 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.
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
2 4 +1
n
4 1
n +1

X := , n 0 , n 1 , ento B pode devolver um nmero a
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 {Cm +1} {C j , j Ar } est contido em {P1 ,..., Pm } ,
definimos {
Ar +1 = Ar j m Pj pertence a pelo menos dois crculos de

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


ponto P fora de { P1 ,..., Pm } que pertence a pelo menos dois crculos 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, para {


j m, n j = i Pj Ci = i aij = 1 } { } e, para

{ } {
i m + 1, si := j Pj Ci = j aij = 1 , temos, } pelo que observamos acima,
m +1

s = n = {( i, j ) a }
m m m
si ni , i m, donde s n ,
i =1
i
i =1
i mas
i =1
i
j =1
j 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
2
j n
2
onde F1 = 0, F1 = 1 e Fn = Fn 1 , Fn 2 se n 2.
j =0

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
n 1
2 j
0 j n 1. Queremos ento provar que 3 + 2cos
j =1 n
= Fn .

2

2 j
e 2 j i n 1 = ( e 2 j i n 1)( e 2 j i n 1) = 2 e
2 2 j i n
Temos e 2 j i n = 2 2cos ;
n
queremos provar portanto que

EUREKA! N33, 2011

49
Sociedade Brasileira de Matemtica

n 1
2 j
3 + 2cos
j =1 n
= Fn . Considere agora a sequncia de polinmios
2

( f ( x ))
n n0
dada por f 0 ( x ) = 2, f1 ( x ) = x e f n +1 ( x ) = xf n ( x ) f n 1 ( x ) , n 1.
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
grau n. Como as soluo de 2cos ( n ) = 2 so dadas por = , k , temos
n
n 1
2 k n 1
2 j f n ( x ) 2
f n ( x ) 2 = x 2cos , n 1, donde x 2cos = .
k =0 n j =1 n x2
O que queremos provar equivale a
n 1
2 j f n ( 3) 2
( 1) Fn2 = 3 2cos
1
= ( f n ( 3) 2 ) , o que
n 1
=
j =1 n 3 2 5
equivalente a f n ( 3) = 2 + ( 1) 5 Fn2 . Como
n

1 1 + 5 1 5
n n

Fn = , n 0, temos
5 2 2

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

xn = f n ( 3) satisfaz x0 = 2, x1 = 3 e xn +1 = 3xn xn 1 , n 1, e logo (usando o
n n
3 5 3+ 5 3 5
fato de as razes de x 2 + 3 x + 1 = 0 serem ), 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
O
R2
O2
O3

SOLUO DE ANDERSON TORRES (SANTANA DE PARNABA SP)


A boa e velha trigonometria...
A

X
OA
ra

TA

Y
r
O

TB OC
OB
B 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


ra r 1 sen 2 ra
1 sen
2
+r = r ra = r , ou =
a
1 + sen r
sen sen 1 + sen
2 2 2 2
Como precisaremos de um quadrado, vamos aplicar um truque: a tangente do
meio arco.

2 tan
1 4 2

1 sen 1 + tan 2
1 2 tan 1 tan + tan 2
2 = 4 = 4 4 = 4 .

1 + sen 2 tan 1 + 2 tan + tan 2 1 + tan
2 1+ 4 4 4 4
2
1 + tan
4
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 a = tan , b = tan , c = tan . Abrindo os
4 4 4
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 + tan
4 4 4 =
1 = tan = tan + + =
4 4 4 4 1 tan tan +


4 4 4

EUREKA! N33, 2011

52
Sociedade Brasileira de Matemtica


tan + tan
4 4
tan +
4
1 tan tan tan + tan + tan tan tan tan
= 4 4 = 4 4 4 4 4 4

tan 4 + tan 4 1 tan
4
tan
2
tan
4
tan
4
tan
4
tan
4
1 tan
4
1 tan tan
4 4

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)

y
3
2
1
0 15 1
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.

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.

PROVA: 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
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.
Ento z 2 = x 3 y 3 = ( x y ) ( x 2 + xy + y 2 ) = ( x y )(( x y ) 2 + 3 xy ) (I)
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
2 2 2 2

inteiros positivos m e n.
Temos 4n 2 = 4 x 2 + 4 xy + 4 y 2 = (2 x + y ) 2 + 3 y 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 a = kp1. No entanto, deve-se ter p2 a = kp1 , ora,


( p1 , p2 ) = 1, conclui-se
k
como que p2 k k1 = 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 n n n
(i)
2903 464 803 + 261 5 2 5 + 2 0 ( mod 7 ) , n
n n n n n n n n
(ii)

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

EUREKA! N33, 2011

56
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
S (T ) =
nT 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
X = {`1, 2,3,..., N ,...,10d 1} {n a no dgito de n} , X X . Para todo inteiro
k 1 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 1 d 8 9k 1
n < (8 9 ) 10
11
11
+

( 8 9 2 1
)
1021
+ ... +

( 8 9 d 1
) =
10d 1 k =1 10k 1
n X

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

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

1 ( 9 /10 )
d

S ( X ) < 8 = 80 1 ( 9 10 ) < 80
d

1 ( 9 10 )

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:

9 k 1 9k 1 9 k 1
( )
d d d
S ( X ) S X < 4 k 1
+ 5 k 1
= 5 k 1
k =1 10 k =1 5 10 k =1 10

1 ( 9 10 )
d

S ( X ) < 5 = 50 1 ( 9 10 ) < 50 < 80 .


d

1 ( 9 10 )

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 Prob. 136
Campelo, Jlio Castro (Braslia DF)
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.

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 funes f , g,h : tais que


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

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) Encontretodos os nmeros racionais p, q, r de modo que


2 3
p cos + q cos + r cos = 1.
7 7 7

146) Determine todos os subconjuntos no-vazios A, B, C de 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.

( 1) ( 1)
k n
n2 1
147) Demonstre que
k =0 ( 2k + 1)
=n+
2
, para todo inteiro n 2.
sen
4n 2
n 1
n k
148) Sejam m e n inteiros positivos. Calcule
k =0 m
.

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 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 ( a b ) + ( b c ) + ( c a ) = 9.


3 3 3

1 1 1
Prove que + + 3 3.
(a b) ( a b) (c a)
2 2 2

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

EUREKA! N33, 2011

62

Você também pode gostar