Professional Documents
Culture Documents
BDC e F
um ponto do lado BC tais que
1
.
2
BAF CAE BAC = <
Seja G o ponto mdio do segmento IF. Mostre que as rectas DG e EI se intersectam
sobre .
PROBLEMA 3
Seja * N o conjunto dos inteiros positivos. Determine todas as funes
: * * g N N tais que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
8
( ) ( ) ( ) ( )
g m n m g n + +
um quadrado perfeito para todos , *. m nN
SEGUNDO DIA
PROBLEMA 4
Seja a circunferncia circunscrita ao tringulo ABC e P um ponto no interior do
tringulo. As rectas AP, BP e CP intersectam novamente nos pontos K, L, e M,
respectivamente.
A recta tangente a em C intersecta a recta AB em S. Supondo que SC = SP,
mostre que MK = ML.
PROBLEMA 5
Em cada uma das seis caixas
1 2 3 4 5 6
, , , , , B B B B B B h inicialmente s uma moeda.
Dois tipos de operaes so possveis:
Tipo 1: Escolher uma caixa no vazia ,
j
B com 1 5. j Retirar uma moeda da
j
B e
adicionar duas moedas a
1
.
j
B
+
Tipo 2: Escolher uma caixa no vazia ,
k
B com 1 4. k Retirar uma moeda da
k
B e
trocar os contedos das caixas (possivelmente vazias)
1 k
B
+
e
2
.
k
B
+
Determine se existe uma sucesso finita destas operaes que deixa as caixas
1 2 3 4 5
, , , , B B B B B vazias e a caixa
6
B com exactamente
2010
2010
2010 moedas. (Observe
que
( )
.
c
c b
b
a a = )
PROBLEMA 6
Seja
1 2 3
, , ,... a a a uma sucesso de nmeros reais positivos. Sabe-se que para algum
inteiro positivo s,
{ } max tal que 1 1
n k n k
a a a k n
= +
para todo n > s. Mostre que existem inteiros positivos / e N, com , s / tais que
n n
a a a
= +
/ /
para todo . n N
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
9
XXV OLIMPADA IBEROAMERICANA DE MATEMTICA
Enunciados e resultado Brasileiro
A XXV Olimpada Iberoamericana de Matemtica foi realizada na cidade
de Assuno, Paraguai no perodo de 20 a 30 de setembro de 2010. A equipe
brasileria foi liderada pelos professores Onofre Campos, de Fortaleza CE e
Luzinalva Miranda de Amorim, de Salvador BA. A equipe brasileira ficou em
primeiro lugar na soma dos pontos dos participantes.
RESULTADOS DA EQUIPE BRASILEIRA
BRA1 Marcelo Tadeu de S Oliveira Sales Medalha de Ouro
BRA2 Deborah Barbosa Alves Medalha de Ouro
BRA3 Matheus Secco Torres da Silva Medalha de Ouro
BRA4 Gustavo Lisboa Empinotti Medalha de Prata
PRIMEIRO DIA
PROBLEMA 1
Numa fila de dez moedas indistinguveis h duas delas que so falsas, ocupando
posies consecutivas. Para cada conjunto de posies, pode-se perguntar quantas
moedas falsas ele contm. possvel determinar quais so as moedas falsas
fazendo apenas duas destas perguntas? No se sabe a resposta da primeira pergunta
antes de se formular a segunda.
PROBLEMA 2
Determinar se existem nmeros inteiros positivos a e b tais que todos os termos da
suceso definida por
1 2
2010, 2011, x x = =
2 1 1
, 1,
n n n n n
x x x a x x b n
+ + +
= + + +
sejam inteiros.
PROBLEMA 2
A circunferncia inscrita ao tringulo escaleno ABC tangente aos lados BC,
CA e AB nos pontos D, E e F respectivamente. A recta EF corta a recta BC em G.
A circunferncia de dimetro GD corta em ( ). R R D Sejam P e Q
( ) , P R Q R as interseces de BR e CR com , respectivamente. As rectas BQ
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
10
e CP cortam-se em X. A circunferncia circunscrita a CDE corta o segmento QR
em M e a circunferncia circunscrita a BDF corta o segmento PR em N.
Demonstrar que as rectas PM, QN e RX so concorrentes.
SEGUNDO DIA
PROBLEMA 4
As mdias aritmtica, geomtrica e harmnica de dois nmeros inteiros positivos
distintos so nmeros inteiros. Encontrar o menor valor possvel para a mdia
aritmtica.
Nota: Se a e b so nmeros positivos, suas mdias aritmticas, geomtrica e
harmnica so respectivamente: ,
2
a b
a b
+
e
2
.
1 1
a b
+
PROBLEMA 5
Seja ABCD um quadriltero cclico sujas diagonais AC e BD so perpendiculares.
Sejam O o circuncentro de ABDC, K a interseco das diagonais, L O a
interseco das circunferncias circunscritas a OAC e OBD, e G a interseco das
diagonais do quadriltero cujos vrtices so os pontos mdios dos lados de ABCD.
Provar que O, K, L e G so colineares.
PROBLEMA 6
Ao redor de uma mesa circular sentam-se 12 pessoas e sobre a mesa h 28 vasos de
flores. Duas pessoas podem ver-se uma outra se, e somente se, no h nenhum
vaso alinhado com elas. Provar que existem pelo menos duas pessoas que podem
ver-se.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
11
ASSOCIANDO UM POLINMIO A EXPRESSES ALGBRICAS E
TRIGONOMTRICAS
Marclio Miranda, IFRN (Caic RN)
Nvel Intermedirio
O objetivo deste artigo mostrar uma tcnica que pode ser bastante til na
hora de resolver problemas de olimpadas de Matemtica.Tal tcnica consiste em
voc associar um polinmio a uma determina expresso. Com isso voc pode
calcular o valor de expresses trigonomtricas, expresses algbricas e mostrar que
um determinado nmero irracional.
Vejamos alguns exemplos disso:
I) EXPRESSES TRIGONOMTRICAS
Esse problema deixa bem clara a idia de associarmos um polinmio a uma
expresso trigonomtrica:
EXERCCIO RESOLVIDO 1 (BLGICA 2006):
a) Encontre todos os nmeros reais tais que ( ) ( ) cos 4 cos 3 =
b) Determine inteiros a, b, c, d tais que
2
cos ,
7
4
cos ,
7
6
cos ,
7
so solues da
equao
3 2
0. ax bx cx d + + + =
SOLUO:
a) ( ) ( ) cos 4 cos 3 4 3 2k = = + ou 4 3 2 2 k k = + = ou
2
,
7
k
=
logo
2 4 6
1, cos , cos , cos
7 7 7
so as razes dessa equao.
Por outro lado temos que ( )
4 2
cos 4 8 cos 8 cos 1 = + e
( )
3
cos 3 4 cos 3 cos . = Faa cos . t = Da temos que
( ) ( ) ( ) ( )
3 2 4 3 2
cos 4 cos 3 1 8 4 4 1 8 4 8 3 1 0. t t t t t t t t = + = + + =
Assim, a equao
( )
3 2
8 4 4 1 0 t t t + = tem como
solues
2 4 6
cos , cos , cos .
7 7 7
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
12
EXERCCIO RESOLVIDO 2 (MOCP, JULHO DE 2003): Prove que
sec 40
0
+ sec 80
0
+ sec 160
0
= 6.
SOLUO: Note que 40
0
, 80
0
e 160
0
satisfazem a equao
3
1
cos3 8cos 6cos 1 0,
2
= + = logo cos 40
0
, cos 80
0
, cos 160
0
so as
razes do polinmio 8cos
3
6 cos +1, e assim temos que:
6
cos 40 cos80 cos160 cos80 cos 40 160
8
+ + =
1
cos 40 cos80 cos160
8
=
1 1 1
sec40 sec80 sec160
cos40 cos80 cos160
+ + = + + =
cos 40 cos80 cos 40 cos80 cos 40 cos80
6.
cos160 cos80 cos 40
+ +
=
EXERCCIO RESOLVIDO 3 (IMO 1963): Prove que
2 3 1
cos cos cos .
7 7 7 2
+ =
SOLUO: Note que
3 3 5 5
3 4 , 3 4 3 e 3 4 5 ,
7 7 7 7 7 7
+ = + = + =
logo
3 5
, ,
7 7 7
so
solues da equao cos 4 cos3 . x x =
Essa equao equivale a
7 7
cos 4 cos3 0 2 cos cos 0 cos 0
2 2 2
x x x
x x + = = = ou
cos 0.
2
x
=
PARTE 1: Resolver a equao
7
cos 0
2
x
=
7 2 3 5 9 11 13
, , , , , , ,
2 2 7 7 7 7 7 7 7 7
x k
k x x = + = + =
mas
13 3 11 5 9
cos cos , cos cos , cos cos ,
7 7 7 7 7 7
= = =
logo h 4 solues distintas
entre 0 e 2 :
3 5
, , , .
7 7 7
PARTE 2: Resolver a equao cos 0
2
x
=
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
13
2 ,
2 2
x
k x k = + = +
+ + + + ento p um divisor de a
0
e q um divisor de a
n
.
PROVA: Como
p
q
raiz do polinmio temos que
1
1 1
1 1 0 1 1 0
... 0 ... 0,
n n
n n n n
n n n n
p p p
a a a a a p a p q a p q a q
q q q
| | | |
+ + + + = + + + + =
| |
\ . \ .
logo temos que p um divisor de a
0
e q um divisor de a
n
.
EXERCCIO RESOLVIDO 6: Prove que 2 3 + irracional.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
15
Soluo: Seja x = 2 3 + x 2 3 = x
2
1 = 2 2 x x
4
2x
2
+ 1 = 8x
2
x
4
10x
2
+ 1 = 0. Logo pelo teorema acima as razes racionais da equao s
podem ser 1 ou 1, que claramente no so solues (em ambos os casos o valor
numrico do polinmio 8). Logo esse polinmio s possui razes irracionais,
portanto 2 3 + irracional.
EXERCCIOS PROPOSTOS:
1) (EUA) Prove que
2 3 7
.
7 7 7 8
sen sen sen =
2) (Vietn 1982) Ache a, b, c inteiros tais que as razes da equao ax
2
+ bx + c = 0
so cos 72
0
e cos 144
0
.
3) (Prova de Seleo da Romnia para a IMO 1970): Prove que para todo inteiro
positivo n:
( ) 1 2 3
... 2 1.
2 1 2 1 2 1 2 1 2 1
n n
tg tg tg tg tg n
n n n n n
= +
+ + + + +
4) (Prova de Seleo da Sua para a IMO 2004): Sejam a, b, c, d nmeros reais
distintos satisfazendo as equaes:
45 21 , a a = 45 21 , b b = 45 21 , c c = 45 21 d d =
Prove que abcd = 2004.
5) (OBM 2003): Sejam a, b, c nmeros reais no-nulos tais que a + b + c = 0.
Calcule os possveis valores de
( ) ( )
( )
2
3 3 3 4 4 4
2
5 5 5
.
a b c a b c
a b c
+ + + +
+ +
6) (Blgica 1978): Encontre um polinmio com coeficientes inteiros tal que
2 3 + raiz.
7) (Moldvia 2000): Os nmeros a, b, c satisfazem a relao a + b + c = 0. Mostre
que o nmero 2a
4
+ 2b
4
+2c
4
um quadrado perfeito.
8) Prove que
3
2 3 + irracional.
9) Prove que x = 2cos
7
satisfaz a equao: x
3
+ x
2
2x + 1 = 0.
Use este fato para provar que cos
7
irracional.
10) Prove que tg
2
1
0
+ tg
2
3
0
+....+ tg
2
87
0
+ tg
2
89
0
= 4005.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
16
11) Prove que cos 20
0
. cos 40
0
.cos 80
0
=
1
8
.
12) Prove que:
a)
2 3
7
7 7 7
tg tg tg =
.
b)
2 3 4 5 6
13
13 13 13 13 13 13
tg tg tg tg tg tg =
.
13) Prove que cossec 6 + cossec 78 cossec 42 cossec 66 = 8.
14) Calcule as expresses:
a)
2 2 2
2 3
7 7 7
tg tg tg
.
b)
2 2 2
2 3
7 7 7
tg tg tg + +
.
c)
2 2 2 2 2 2
2 3 2 3
.
7 7 7 7 7 7
tg tg tg tg tg tg + +
15) Prove que
2 4 1
cos cos cos .
7 7 7 8
=
16) Ache uma equao do terceiro grau cujas razes so
3 5
cos , cos , cos .
7 7 7
17) Calcule as expresses:
a)
3 5
cos cos cos .
7 7 7
b)
3 5
cos cos cos
7 7 7
+
3 5
cos cos cos .
7 7 7
+
c)
3 5
cos cos cos .
7 7 7
+ +
d)
2 2 2
3 5
cos cos cos .
7 7 7
+ +
e)
1 1 1
.
3 5
cos cos cos
7 7 7
+ +
18) Prove que tg 81
0
tg 63
0
+ tg 9
0
tg 27
0
= 4.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
17
19) Sejam u, v, w as razes do polinmio x
3
10x + 11. Determine o valor de arctg u
+ arctg v + arctg w.
20) Prove que cossec
18
+ cossec
5
18
+ cossec
13
18
= 6.
21) Prove que tg 20
0
. tg40
0
. tg 60
0
. tg 80
0
= 3.
22) Sejam a, b, c nmeros reais tais que a + b + c = 0, prove que:
a) a
3
+ b
3
+ c
3
= 3abc.
b)
2 2 2 5 5 5 7 7 7
.
2 5 5
a b c a b c a b c + + + + + +
=
23) Prove que
3
sen20 sen40 sen80 .
8
=
24) Prove que
2 2 2
2 3
cot cot cot 5.
7 7 7
g g g + + =
25) Calcule o valor da expresso
4 7
.
9 9 9
tg tg tg + +
REFERNCIAS
[1] MIRANDA, Marclio. Problemas Selecionados de Matemtica ITA-IME Olimpadas,
Volume 1, Fortaleza (CE), Editora Vestseller, 2010.
[2] ANDREESCU, Titu; FENG , Zuming. 103 Trigonometry Problems from the Training
of the USA IMO Team, Birkhauser, 2004.
[3] ANDREESCU, Titu; GELCA, Razvan. Putnam and Beyond. New York: Springer-
Verlag, 2006.
[4] DOMINGUES, Hygino. Fundamentos de Aritmtica, So Paulo, Atual Editora, 1991.
SITES ACESSADOS
[1] The IMO Compendium, Disponvel em
<http://www.imomath.com/index.php?options=oth|other&p=0>, Acesso em: 10/08/2009.
[2] Treinamento do Cone Sul. Disponvel em: < http://treinamentoconesul.blogspot.com/>,
Acesso em: 12/08/2009.
[3]Notas de Aula de Kin Yin Li. Disponvel em:
<http://www.math.ust.hk/~makyli/190_2003Fa/lect-notes_03fa.pdf>, Acesso em:
15/08/2009.
[4] Pgina de Olimpada da Sociedade Canadense de Matemtica. Disponvel em:
< http://www.cms.math.ca/Olympiads/ >, Acesso em: 20/07/2009.
[5] Matemtica Nick Puzzles. Disponvel em: < http://www.qbyte.org/puzzles/>, Acesso
em : 15/11/2009.
[6] Olimpada Brasileira de Matemtica. Disponvel em: <http://www.obm.org.br >, Acesso
em: 20 /11/2009.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
18
SOMAS TRIGONOMTRICAS: DE PROSTAFRESE FRMULA
DE EULER
Rogrio Possi Junior
Nvel Intermedirio
INTRODUO
So apresentados fundamentos bsicos da matemtica elementar, cujos
conceitos somados podem auxiliar na resoluo de problemas mais elaborados,
como os que podem aparecer quando se depara com o incio do estudo das
Variveis Complexas e o uso dos teoremas de De Moivre.
Seja atravs das frmulas de Transformao de Soma em Produto, conhecidas
como Frmulas de Prostafrese, ou atravs da Relao de Euler, so calculados
alguns exemplos de somas de funes trigonomtricas aparentemente complexas.
AS FRMULAS DE TRANSFORMAO TRIGONOMTRICAS.
Admitamos conhecidas as frmulas da soma e diferena de arcos para as funes
seno e cosseno, isto
a b b a b a cos sen cos sen ) sen( + = + (a)
a b b a b a cos sen cos sen ) sen( = (b)
b a b a b a sen sen cos cos ) cos( = + (c)
b a b a b a sen sen cos cos ) cos( + = (d)
Somando-se (a) e (b) tem-se
b a b a b a cos sen 2 ) sen( ) sen( = + + (e)
Subtraindo-se (a) de (b) tem-se
a b b a b a cos sen 2 ) sen( ) sen( = + (f)
Somando-se (c) e (d) teremos
b a b a b a cos cos 2 ) cos( ) cos( = + + (g)
E por fim, subtraindo-se (c) de (d)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
19
b a b a b a sen sen 2 ) cos( ) cos( = + (h)
Fazendo = +b a e = b a teremos que
2
+
= a e
2
= b , cujos
valores substitudos nas relaes (e), (f), (g) e (h) fornecero as seguintes relaes
|
.
|
\
|
|
.
|
\
| +
= +
2
cos
2
sen 2 sen sen
|
.
|
\
| +
|
.
|
\
|
=
2
cos
2
sen 2 sen sen
|
.
|
\
|
|
.
|
\
| +
= +
2
cos
2
cos 2 cos cos
|
.
|
\
|
|
.
|
\
| +
=
2
sen
2
sen 2 cos cos
, que so as conhecidas
Frmulas de Transformao de soma em produto ou Frmulas de Prostafrese.
A FRMULA DE EULER
Segundo GUIDORIZZI (1987), seja ) (x f uma funo derivvel at a ordem n em
um intervalo aberto I e seja I x
0
. Define-se o polinmio ) (x P a seguir como o
polinmio de Taylor, de ordem n , de ) (x f em torno do ponto
0
x , isto
( ) ( ) ( )( )
( )
( )
( )
( )
( )
( )
0 0
0 0 0 0 0
1
n k
n
n k
k
x x x x
P x f x f x x x f x f x
n! k!
=
= + + + =
(i)
que, se fixado em torno de
0
0 x , = tambm pode ser chamado de polinmio de
Mac-Laurin. Tomando-se (i) ( )
x
f x e = e
0
0 x , = pode-se demonstrar que
+ + + + =
|
|
.
|
\
|
+ + + + + =
! 3 2
1
! ! 3 2
1 lim
3 2 3 2
x x
x
n
x x x
x e
n
n
x
(j)
A expresso da direita pode ser usada para definir
x
e para x para x complexo.
Analogamente demonstra-se que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
20
+ =
|
|
.
|
\
|
+ + =
! 5 ! 3 !
) 1 (
! 5 ! 3
lim sen
5 3
2
1
5 3
x x
x
n
x x x
x x
n
n
n
(k)
e que
+ =
|
|
.
|
\
|
+ + + =
! 4 ! 2
1
)! 2 (
) 1 (
! 4 2
1 lim cos
4 2 2 4 2
x x
n
x x x
x
n
n
n
(l)
Para R Y iY Z x = = , e observando-se (j), (k) e (l) teremos que
Y i Y
Y Y
Y i
Y Y
e
iY
sen cos
! 5 ! 3 ! 4 2
1
5 3 4 2
+ =
|
|
.
|
\
|
+ +
|
|
.
|
\
|
+ = (m)
que a conhecida frmula de Euler.
No obstante, tambm se demonstra que se
iY X Z
e e
+
= , onde 0 X , ento
( ) Y i Y e e
X Z
sen cos + = (n)
Se, alternativamente, adotssemos a expresso de (n) como definio de
Z
e , no
difcil mostrar que
Z W Z W
e e e , Z,W
+
= C de fato, se
1 1 1
Z X iY = + e
2 2 2
Z X iY , = + ( ) ( ) ( )
1 2 1 2 1 2
1 2 1 2
Z Z x x x x
e e cos Y Y isen Y Y e
+ + +
= + + + =
( ) ( )
1 2 1 2 1 2 2 1
cos cos sen sen sen cos sen cos Y Y Y Y i Y Y Y Y + + =
( ) ( )
1 2 1 2
1 1 2 2
cos sen cos sen
x x Z Z
e Y i Y e Y i Y e e . = + + =
PROBLEMAS DE APLICAO
PROBLEMA 1: Comearemos com um exemplo de problema anlogo ao proposto em
um exame de admisso ao Instituto Militar de Engenharia (IME). O problema pede
que se calcule as somas a seguir.
nx x x x S sen 3 sen 2 sen sen
1
+ + + + = (1)
2
2 S cos x cos x ... cos nx = + + + (2)
Utilizaremos a transformao de somas de funes trigonomtricas em produto,
conhecidas como Frmulas de Prostafrese. Observamos que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
21
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
x
x x x
cos
2
sen 2
2
) 1 2 (
sen
2
) 1 2 (
sen
) 1 cos(
2
sen 2
2
) 3 2 (
sen
2
) 1 2 (
sen
3 cos
2
sen 2
2
5
sen
2
7
sen
2 cos
2
sen 2
2
3
sen
2
5
sen
cos
2
sen 2
2
sen
2
3
sen
=
+
=
=
=
=
(3)
Somando-se as linhas acima encontraremos uma Soma Telescpica, cujo valor
ser dado por
jx
x x x n
n
j
=
=
+
1
cos
2
sen 2
2
sen
2
) 1 2 (
sen
2
sen
2
) 1 (
cos
2
sen
cos
1
2
x
x n nx
jx S
n
j
+
= =
=
(4)
Analogamente, para a soma das funes seno
1
S pode-se escrever que:
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
x
x x x
sen
2
sen 2
2
) 1 2 (
cos
2
) 1 2 (
cos
) 1 sen(
2
sen 2
2
) 3 2 (
cos
2
) 1 2 (
cos
3 sen
2
sen 2
2
5
cos
2
7
cos
2 sen
2
sen 2
2
3
cos
2
5
cos
sen
2
sen 2
2
cos
2
3
cos
=
+
=
=
=
=
(5)
Somando-se as linhas acima encontraremos outra Soma Telescpica, cujo valor
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
22
jx
x x x n
n
j
=
=
+
1
sen
2
sen 2
2
cos
2
) 1 2 (
cos
2
sen
2
) 1 (
sen
2
sen
sen
1
1
x
x n nx
jx S
n
j
+
= =
=
(6),
que a soma procurada.
No obstante, este problema tambm pode ser resolvido utilizando-se a conhecida
Relao de Euler. Seja
2
sen
2
cos
2
x
i
x
C e
ix
+ = = , onde 1
2
= i ; assim tem-se que
nx i nx
x
i
x
C
x i x
x
i
x
C
x i x
x
i
x
C
n
n
sen cos
2
sen
2
cos
2 sen 2 cos
2
sen
2
cos
sen cos
2
sen
2
cos
2
2
4
4
2
2
+ = |
.
|
\
|
+ =
+ = |
.
|
\
|
+ =
+ = |
.
|
\
|
+ =
(7)
( )
( )
( )
+ =
= + + +
n
j
n n n n
n
jx i jx
C C
C C C
C
C
C C
C C C
1
1 2
2 2
2 4 2
sen cos
) 1 (
) 1 (
( )
1 2
1
2
sen
2
sen
2
sen
2
cos
2
sen
2
cos sen cos iS S
x
nx
nx
i
nx x
i
x
jx i jx
n
j
+ = |
.
|
\
|
+ |
.
|
\
|
+ = +
=
2
sen
2
sen
2
) 1 (
sen
2
sen
2
sen
2
) 1 (
cos
1 2
x
nx x n
i
x
nx x n
iS S
+
+
+
= + (8)
de onde tiramos os valores de interesse
1
S e
2
S igualando-se as partes reais e
imaginrias da igualdade acima respectivamente.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
23
PROBLEMA 2: Considere agora o problema de se determinar as somas dadas por
=
=
n
j
jx S
1
2
1
sen e
=
=
n
j
jx S
1
2
2
cos . Para tal, observa-se inicialmente, da
Trigonometria que x x 2 cos
2
1
2
1
sen
2
= e x x 2 cos
2
1
2
1
cos
2
+ = , assim pode-
se reescrever
1
S e
2
S como sendo
( ) nx x x jx S
n
n
j
2 cos 4 cos 2 cos
2
1
2
1
2
1
2
1
sen
" "
1
2
1
+ + + |
.
|
\
|
+ + + = =
=
(9)
onde nx x x S 2 cos 4 cos 2 cos + + + = .
Com o auxlio da Relao de Euler, seja x i x C sen cos + = , assim
( )
( )
( )
+ =
= + + +
n
j
n n n
n
jx i jx
C C
C C C
C C C C
1
1
2 4 2
2 sen 2 cos .
( )
sen
sen . ) 1 sen(
sen
sen . ) 1 cos(
2 sen 2 cos
1
iS S
x
nx x n
i
x
nx x n
jx i jx
n
j
+ =
+
+
+
= +
=
(10)
onde
=
=
n
j
jx S
1
2 sen . Sendo
2
1
2
1
S
n
S =
+
=
x
nx x n
n S
sen
sen . ) 1 cos(
2
1
1
(11)
Outra soluo para o clculo da soma S consiste em transform-la segundo as
frmulas de Prostafrese. Para este caso tem-se que,
nx x x n x n
x n x x n x n
x x x x
x x x x
2 cos sen 2 ) 1 2 sen( ) 1 2 sen(
) 2 2 cos( sen 2 ) 3 2 sen( ) 1 2 sen(
4 cos sen 2 3 sen 5 sen
2 cos sen 2 sen 3 sen
= +
=
=
=
(12)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
24
Somando-se todas as linhas acima tem-se que sen 2 sen ) 1 2 sen( S x x x n = +
x
x n nx
S
sen
) 1 cos( . sen
+
= , que exatamente o valor encontrado da parte real do
somatrio dado por (10).
Observando-se (9) e que x x 2 cos
2
1
2
1
cos
2
+ =
| |
+
+ = + = =
=
x
nx x n
n S n jx S
n
j
sen
sen . ) 1 cos(
2
1
2
1
cos
1
2
2
(13)
que resolve o problema do clculo de
2
S .
PROBLEMA 3: Considere a seguir o problema do clculo das somas dadas por
=
=
n
k
kx S
1
3
1
sen e
=
=
n
k
kx S
1
3
2
cos .
Seja cos sen C x i x. = + Sendo kx i kx C
K
sen cos =
= (15)
Elevando-se a relao (15) ao cubo tem-se que
( ) ( )
i
C C C C
i
C C
kx
k k k k k k
8
3
2
sen
3 3
3
3
=
|
|
.
|
\
|
=
4
3 sen sen 3
sen
3
kx kx
kx
= (16)
= = =
|
.
|
\
|
= =
n
k
n
k
n
k
kx kx kx S
1 1 1
3
1
3 sen sen 3
4
1
sen (17)
Por (6) tem-se que
=
+
=
n
k
x
x n nx
kx
1
2
sen
2
) 1 (
sen
2
sen
sen e observando-se que se
x i x D 3 sen 3 cos + = teremos que:
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
25
nx i nx D
x i x D
x i x D
n
3 sen 3 cos
9 sen 9 cos
6 sen 6 cos
3
2
+ =
+ =
+ =
|
|
.
|
\
|
|
|
.
|
\
|
= + + + + =
2
1
2
1
2 2 2 2
1
3 2
.
D D
D D D D
D D D D S
n n n
n
D
2
3
sen
2
3
sen
2
) 1 3 (
sen
2
) 1 3 (
cos
nx
x
x n
i
x n
S
D
+
+
+
= (18)
Tomando-se a parte imaginria da relao (18) tem-se que
+
=
=
2
3
sen
2
3
sen
2
) 1 3 (
sen
3 sen
1
x
nx x n
kx
n
k
(19)
Logo, por (6) e (19) teremos que
= =
=
2
3
sen
2
3
sen
2
) 1 3 (
sen
2
sen
2
) 1 (
sen
2
sen 3
4
1
sen
1
3
1
x
nx x n
x
x n nx
kx S
n
k
(20)
Vale lembrar que a soma
=
=
n
k
kx S
1
3 sen tambm poder ser calculada
observando-se as igualdades a seguir, isto
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
26
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
3 sen
2
3
sen 2
2
) 1 2 ( 3
cos
2
) 1 2 ( 3
cos
) 1 3 sen(
2
3
sen 2
2
) 3 2 ( 3
cos
2
) 1 2 ( 3
cos
6 sen
2
3
sen 2
2
9
cos
2
15
cos
3 sen
2
3
sen 2
2
3
cos
2
9
cos
=
+
=
=
=
cuja soma resultar em
=
=
+
n
k
kx
x x x n
1
3 sen
2
3
sen 2
2
3
cos
2
) 1 2 ( 3
cos .
2
3
sen
2
) 1 ( 3
sen
2
3
sen
3 sen
1
x
x n nx
kx
n
k
+
=
, que exatamente a expresso (19).
Para o clculo de
=
=
n
k
kx S
1
3
2
cos elevando-se a expresso (14) ao cubo teremos
que
( ) ( )
8
3
2
cos
3 3
3
3
k k k k k k
C C C C C C
kx
+ + +
=
|
|
.
|
\
| +
=
4
3 cos cos 3
cos
3
kx kx
kx
+
= (21)
|
.
|
\
|
+ = =
= = =
n
k
n
k
n
k
kx kx kx S
1 1 1
3
2
3 cos cos 3
4
1
cos (22)
Utilizando-se a relao (4) e a parte real da relao (18) e substituindo-as em (22)
tem-se que
+
+
+
= =
=
2
3
sen
2
3
sen
2
) 1 3 (
cos
2
sen
2
) 1 (
cos
2
sen 3
4
1
cos
1
3
2
x
nx x n
x
x n nx
kx S
n
k
(23)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
27
Ressaltamos que a soma
=
n
k
kx
1
3 cos tambm pode ser calculada atravs das
frmulas de Prostafrese, ou seja, fazendo
nx
x x n x n
x n
x x n x n
x
x x x
x
x x x
3 cos
2
3
sen 2
2
) 1 2 ( 3
sen
2
) 1 2 ( 3
sen
) 1 3 cos(
2
3
sen 2
2
) 3 2 ( 3
sen
2
) 1 2 ( 3
sen
6 cos
2
3
sen 2
2
9
sen
2
15
sen
3 cos
2
3
sen 2
2
3
sen
2
9
sen
=
+
=
=
=
e somando-se as linhas teremos uma Soma Telescpica, cujo valor ser
=
=
+
n
k
kx
x x x n
1
3 cos
2
3
sen 2
2
3
sen
2
) 1 2 ( 3
sen
2
3
sen
2
) 1 ( 3
cos
2
3
sen
3 cos
1
x
x n nx
kx
n
k
+
=
, que exatamente a parte real da
expresso (18).
PROBLEMA 4 (IMO-62): Aqui proposto resolvermos a equao a seguir (observamos
que o segundo problema resolvido trata desta questo de forma generalizada).
1 3 cos 2 cos cos
2 2 2
= + + x x x (A)
Notando que x x 2 cos
2
1
2
1
cos
2
+ = segue que
( ) x x x x x x 6 cos 4 cos 2 cos
2
1
2
3
3 cos 2 cos cos
2 2 2
+ + + = + +
Sendo x i x Z sen cos + =
x i x Z
x i x Z
x i x Z
6 sen 6 cos
4 sen 4 cos
2 sen 2 cos
6
4
2
+ =
+ =
+ =
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
28
( )
x
x
x i x
Z
Z Z
Z Z Z
sen
3 sen
4 sen 4 cos
) 1 (
) 1 (
2
6 2
6 4 2
+ =
= + + (B)
Tomando-se a parte real de (B) tem-se que
( )
x
x x
x x x
sen
3 sen 4 cos
6 cos 4 cos 2 cos
= + + (C)
Como x x x x 4 cos . 3 sen ) sen 7 (sen
2
1
= , ento teremos que a equao (A)
reduz-se a 0 sen 7 sen = + x x .
0 3 cos . 4 sen 2 = x x
0 3 cos 0 4 sen = = x x
Logo, a soluo da equao proposta ser dada pelo conjunto
2 1 2 1
2 4 6
k ( k ) ( k )
S x x x x ,k
+ +
= = = =
`
)
R Z
PROBLEMA 5: Determinaremos agora o valor das somas
a) nx n x x x cos 3 cos 3 2 cos 2 cos + + + + e
b) sen 2sen2 3sen3 sen x x x n nx + + + +
Sejam nx n x x x S cos 3 cos 3 2 cos 2 cos
1
+ + + + = e
2
sen 2sen2 3sen3 sen S x x x n nx = + + + +
( ) ( ) ( )
1 2
cos sen 2 cos2 sen2 cos sen S iS x i x x i x n nx i nx + = + + + + + +
Sendo cos sen Z x i x = +
n
nZ Z Z Z iS S + + + + = +
3 2
2 1
3 2 . Multiplicando-
se ambos os termos por ) 1 ( Z teremos
2
2
1
2
1
2
1
2
1
2
1 2
1 3 2
2 1
) (
) 1 (
) (
) 1 (
+
+
+ + +
= +
Z Z
Z
Z Z
nZ
Z
nZ Z Z Z Z
iS S
n
n
n n
( )
1 2
2 2
2 1 2 1
cos sen
cos sen 1 2 2
2 sen 4 sen
2 2
n n
n x i x
nx i nx
S iS
x x
i i
+ + | | | |
+
| |
+
\ . \ .
+ = (1)
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
29
Observando-se que a parte real de (1) nos dar o valor de
1
S e que a parte
imaginria nos dar o valor de
2
S tem-se, aps alguma manipulao algbrica que
( ) ( )
1
2
1
1 cos cos 1 1
cos
4sen
2
n
j
n nx n n x
S j jx
x
=
+ +
= =
, e
( ) ( )
2
2
1
1 sen sen 1
sen
4sen
2
n
j
n nx n n x
S j jx
x
=
+ +
= =
PROBLEMAS PROPOSTOS:
1) (URSS) Calcule o valor das somas
a) x n C x C x
n
n n
) 1 cos( 2 cos cos
1
+ + + +
b) ( )
1
sen sen2 sen 1
n
n n
x C x C n x + + + +
Obs:
k
n
n
C
k
| |
=
|
\ .
denota o binomial n escolhe k.
2) (URSS) Mostre que
2
1
1 2
2
cos
1 2
6
cos
1 2
4
cos
1 2
2
cos =
+
+ +
+
+
+
+
+ n
n
n n n
.
3) (URSS) Prove que
a) ( ) ( ) ( )
( ) 1
sen sen
2 2
sen sen sen 2 sen
sen
2
n n
n
+ | |
+
|
\ .
+ + + + + + + =
b) ( ) ( ) ( )
( ) 1
sen cos
2 2
cos cos cos 2 cos
sen
2
n n
n
+ | |
+
|
\ .
+ + + + + + + =
4) Calcule o valor da soma
n
n
S
2
4
cos
2
4
2
cos
2
4
cos
2
+ + + = .
5) Mostre que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
30
a)
1 cos 2
1 cos ) 1 cos( cos
cos 2 cos cos 1
2
1 2
2
+
+ +
= + + + +
+ +
a a
a k a k a
k a a a
k k
k
b)
( ) ( )
( ) ( ) ( )
2 1
2
sen sen sen
sen sen 1 sen sen
2 cos 1
k
k k
a h a kh
a kh a k h a h
a a h
+ +
+ + + + + =
+ + + +
+
6) Mostre que
0
72 o menor ngulo positivo que satisfaz simultaneamente s
equaes:
1 cos cos2 cos3 cos4 0
sen sen2 sen3 sen4 0
x x x x
x x x x
+ + + + =
+ + + =
7) (IME-92) Mostre que
( ) 2 1
sen
1
2
cos cos2 cos
2
2sen
2
n x
x x nx .
x
+
+ + + + =
REFERNCIAS
[1] FADDEEV, D.; SOMINSKY, I. Problems in Higher Algebra, Moscou: Ed. MIR, 1968.
[2] GREITZER, S.L. International Mathematical Olympiads 1959-1977, Fifth Printing,
Washington D.C.: The Mathematical Association of America, 1978.
[3] GUIDORIZZI, H.L. Um curso de clculo Vol. 1, 2
a
Edio, So Paulo: Ed. Livros
Tcnicos e Cientficos, 1987.
[4] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 3 (Trigonometria), 6
a
Edio,
So Paulo: Editora Moderna, 1985.
[5] IEZZI, G. Fundamentos de Matemtica Elementar, Vol. 6 (Complexos Polinmios -
Equaes), 4
a
Edio, So Paulo: Editora Moderna, 1983.
[6] LIDSKI, V. B.; OVSIANIKOV, L. V.; TULAIKOV, A. N.; SHABUNIN M. I.
Problemas de Matematicas Elementales, Moscou: Ed. MIR, 1972.
[7] MORGADO, A. C; WAGNER, E.; DO CARMO, M. P., Trigonometria e Nmeros
Complexos, 4
a
Edio, Rio de Janeiro: Publicao da Sociedade Brasileira de Matemtica,
2001.
[8] SHKLARSKY, D.O., CHENTZOV, N.N., YAGLOM, I.M. The USSR Olympiad
Problem Book, New York, Dover Publications, Inc., 1994.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
31
UMA INTERESSANTE DEDUO PARA A
FRMULA DE HERO
Flvio Antonio Alves, Amparo SP
Nvel Intermedirio
Nesta nota sugerimos uma deduo para a fascinante frmula de Hero por meio
de aplicaes dos nmeros complexos geometria.
Sejam bi a z + =
1
e di c z + =
2
dois nmeros complexos no nulos e distintos.
Vamos considerar o tringulo de vrtices o,
1
z e
2
z (veja a figura abaixo).
o
z
2
z
1
Re
Im
1
A rea S do tringulo acima dada por:
( ) { }
1 2 2 1 2 1
1 1
2 2
S z z sen Im z z = = .
Vamos multiplicar essa expresso, membro a membro, por 2 e elevar ao quadrado
ambos os termos da igualdade. Assim,
{ }
( )
( )
( )
2
2 2 2
2 1 1 2 2 2 2 2 2
2 1 2 1 2 1 1 2 2
1
4 2
4
2
z z z z
S Im z z z z z z z z
i
= = =
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
32
( ) | | ( ) | | ( ) | |
2 1 1 2 1 2 2 1 1 2 1 2
2
2 1 1 2
2
1
2
2
2 2
4
1
4
4
1
z z z z z z z z z z z z z z z z z z + + + = + =
( ) | | ( ) | |
2
2 1
2
2 1
2
2 1
2
2 1
4
1
z z z z z z z z + = .
Notemos que:
i) ( ) ( ) ( )
2 1 2 1 1 2 2 1
2
2 1
2
2 1
z z z z z z z z z z z z + + = ,
E, do mesmo modo, temos que:
ii) ( ) ( ) ( )
2 1 2 1 2 1 2 1
2
2 1
2
2 1
z z z z z z z z z z z z + + + = + .
Substituindo (i) e (ii) na expresso acima, vem:
( ) ( ) ( ) ( )
2 1 2 1 2 1 2 1 2 1 2 1 1 2 2 1
4
1
z z z z z z z z z z z z z z z z + + + + + =
Nesse caso, pondo-se
( )
2
2 1 2 1
z z z z
p
+ +
= , onde p o semi-permetro,
conclumos que:
( ) ( ) ( ) ( ) = p z z p z p z p S 2 2 2 2 2 2 2
4
1
4
2 1 2 1
2
( ) ( ) ( ) ( ) = p z z p z p z p S
2 1 2 1
2
4 4
( ) ( ) ( ) ( ) = p z z p z p z p S
2 1 2 1
2
( ) ( ) ( ) ( )
2 1 2 1
z z p z p z p p S = , que a frmula de Hero.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
33
RAZES DA UNIDADE
Anderson Torres & Eduardo Tengan
Nvel Intermedirio
Para Ra Frmula de Euler nos permite escrever cos sen
i
e i .
= +
Ela nos fornece uma maneira prtica de multiplicar nmeros complexos. Por
exemplo, o Teorema de De Moivre, normalmente escrito
( ) cos sen cos sen
n
i n i n , + = + na notao exponencial fica bem mais
conciso:
( )
( )
n
i n i
e e .
= Mas, e as razes da unidade? Elas so os complexos que
zeram o polinmio ( ) 1
n
P z z . = Por De Moivre, sabemos que
2k i n
k
e
= so
razes deste polinmio (com 0 k n < ), e, como so n no total, elas so todas as
razes.
E assim temos o primeiro resultado do artigo:
( )
0
1
n k
k n
z z ,
<
=
em que
2k i n
e .
=
Razes da unidade tm um monte de aplicaes. Uma das mais imediatas
simplificar contas com funes trigonomtricas, usando estas frmulas aqui:
cos sen
2 2
i i i i
e e e e
;
i
+
= =
PROBLEMA 1: calcule a soma tenebrosa
0
sen
k n
k
n
<
SOLUO: Usando a nossa recente descoberta, esta soma se transforma numa
progresso geomtrica! Sendo
i n
e ,
= temos
( )
1
0 0 0 0
1
2 2
k k
k
k
k n k n k n k n
k
sen
n i i
<
| |
|
=
|
\ .
Talvez voc deva estar pensando: uma diferena de complexos dando um
real? Mas como?? Simples:
1
,
<
| | +
= + = =
|
+
\ .
Agora, uma aplicao da fatorao de 1
n
z :
PROBLEMA 2: Prove que, para todo inteiro positivo n existem polinmios
| |
n n
f , g x Z tais que
( )( ) ( )
( )
2
2
1 1 2
n
r
n n
f x x g x x + + + =
SOLUO: Primeiro, testar alguns casos pequenos: n = 1
( )( ) ( )( )
2
2
1 1
1 1 2 f x x g x x + + + =
Para eliminar
1
g , podemos aplicar x = i, o que nos d
( )( ) ( )
( )
2
1 1 2
2
1 2
1
f i i f i i
i
+ = = =
+
Podemos tomar ( )
1
f x x. = Mas e quanto a ( )
1
g x ? Calma, coisas so feitas para
funcionar! Veja que
( )( ) ( )
2 2
1
2 1 2 1 f x x x x + = + +
tem i com zero, e automaticamente i (conjugados, a-h!). Portanto o polinmio
acima mltiplo de
2
1 x + e basta efetuar a diviso com Briot-Ruffini para achar
1
g .
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
35
Para o caso geral, vamos considerar os zeros de
2
1
n
x . + Mas os zeros de
1
2
2
2
1
1
1
n
n
n
x
x
x
+
+ =
so justamente as razes
1
2
n+
-simas da unidade que no so
razes 2
n
-simas da unidade. Logo, se escolhermos
1
2 2
n
i
e
+
= uma raiz
1
2
n+
-sima
primitiva da unidade (isto , que no raiz t-sima da unidade para nenhum t
menor que
1
2
n+
), temos
( )
( )
2
1 2 1
1 mod2
1
n
n
k
k
k
x x
+
+ =
Escrevendo x = 1,
( ) ( )
( )
( )
( )
2
1 2 1 1 2 1
1 mod2 1 mod2
1 1 1 2 1
n
n n
k k
k k
k k
+ +
+ = =
Basta demonstrar que cada 1
k
+ mltiplo de 1+ . Moleza:
( )( )
2 3 2 1
1 1 1
k k k
...
+ = + + + +
Portanto, podemos escolher
n
f tal que ( )( )
2
2 1
n
n
f x x + admite razes
k
,k
mpar. Portanto, divisvel por
2
1
n
x , + o que acaba a demonstrao.
Agora, um problema de Geometria:
PROBLEMA 3: ABCDE um pentgono cclico de circuncentro O. Os ngulos
internos do pentgono so 70 120 120 130 100 A , B , C , D , E . = = = = =
Demonstre que as diagonais BD e CE encontram-se em um ponto pertencente
reta AO.
SOLUO: Como em qualquer problema de geometria, um bom arrasto para
comear. Inicialmente, vamos ligar o centro aos vrtices do pentgono.
Esta a melhor maneira de aproveitar a conciclicidade dos pontos.
Assim sendo, 80 40 80 20 140 AOB , BOC , COD , DOE , EOA . = = = = =
Mas ( ) 80 40 20 140 20 MDC , , , = e portanto os vrtices do pentgono esto entre os
vrtices de um 18-gono regular (afinal,
360
18
20
= )! Agora, vamos colocar as
coisas nos eixos: inicialmente, 0 1 O , A = = (podemos fazer isto por homotetia: se
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
36
1 OA , aplicamos uma homotetia de centro O e razo 1 OA ). Seja
2 18 i
e
= uma
raiz 18-sima (primitiva, por sinal) da unidade. Com isto, os vrtices esto
determinados. Vamos usar minsculas para os nmeros complexos associados aos
pontos.
4 6 10 11
1 a ,b ,c ,d ,e = = = = =
Temos que provar que AO,BD,CE so concorrentes. Dada a escolha
esperta que fizemos, basta demonstrar que as retas BD e CE se intersectam em um
ponto real puro. Ou, em outras palavras, que se z o complexo comum a BD e CE
ento z z = .
Bem, para calcular equaes de retas, vamos a uma tcnica, ou melhor, um
teorema, bastante til (e que fica como exerccio para o leitor, haha!): Dados os
complexos p, q do crculo unitrio, a reta pq tem equao dada por
z pqz p q + = +
Temos ento:
AO: z z
BD: z bdz b d
CE : z cez c e
=
+ = +
+ = +
que equivale a
14 4 1 10
17 6 11
AO: z z
BD: z z
CE : z z
=
+ = +
+ = +
Basta provar que
4 10 6 11
14 17
1 1
AO BD: z ; AO CE : z
+ +
= =
+ +
Antes de comear a calculeira, vamos estudar algumas propriedades interessantes
de . Bem, sabemos que ele zero do polinmio
18
1 x , e
2
18 2 3 . = A ideia ser
fatorar este polinmio at a exausto...
( )( )
18 9 9
1 1 1 x x x . = + Como raiz 18-
sima primitiva da unidade, o primeiro fator no contm como raiz. Assim
sendo, vamos pensar no outro fator:
( ) ( )( )
3
9 3 3 6 3
1 1 1 1 x x x x x . + = + = + + Pode-
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
37
se demonstrar (mas no ser necessrio) que este ltimo fator irredutvel. Ento
6 3
1 0, + = e de quebra
9
1. =
Depois dessa volta toda, vamos ao que interessa: comparar as duas expresses de z:
( )( ) ( )( )
( )( ) ( )( )
4 10 6 11
14 17
4 10 17 6 11 14
4 1 8 6 2 5
4 1 12 9 6 2 11 7
4 1 3 6 2 2 7
4 1 3 3 7
4 1 7
1 1
1 1
1 1
1
1 1
+ +
=
+ +
+ + = + +
=
+ = +
+ = + +
+ = +
=
3 6
1
0 0
=
=
E fim!
Outra aplicao interessante das razes da unidade como marcadores. Veja este
problema:
PROBLEMA 4: Determine uma frmula fechada para
3 k
n
k
| |
|
\ .
SOLUO: Bem, algum a conhece algo parecido? Que tal o Binmio de Newton?
( )
3
1
n
k
k
n
z z
k
| |
= +
|
\ .
Agora, j tem alguma ideia do que se pode fazer? Temos que filtrar os mltiplos de
3 desta expanso, e nada melhor que usar uma raiz cbica da unidade
2 3 i
e .
=
Substituindo z por 1, e
2
, temos
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
38
( )
( ) ( ) ( ) ( )
( )
2 2
2 2
1 1
1 1 2 1 1
1
n
k
n
n n
k k k n
k k
n
k
k
n
k
n n
k k
n
k
| |
= +
|
\ .
| | | |
= + + + = + + + +
| |
\ . \ .
| |
= +
|
\ .
Agora, se k mltiplo de
2
31 3
k k
, ; + + = caso contrrio, temos uma progresso
geomtrica de razo 1
k
, e portanto
3
2
1
1 0
1
k
k k
k
.
+ + = =
Ou seja, matamos todos os no mltiplos de 3!
( ) ( ) ( ) ( ) ( )
2 2
3
3 2 1 1 2 2 2 1
2
n n
n n
n n n
n n n
k
n
k
| | +
= + + + + = + + = +
|
\ .
( )
3
2
2 2 1
3
3
n
n
k
n
cos
n
k
| |
+
|
| |
\ .
=
|
\ .
Esta ltima tcnica tem um nome chique: multiseco. Vamos us-la em um
problema de, adivinha s, Combinatria Enumerativa!
PROBLEMA 5: (IMO 1995, Canad) Seja p um primo mpar, e seja { } 1 2 3 2 S , , ... p . =
Determine o total de subconjuntos A S que satisfazem as condies a seguir:
A p; =
x A
p x.
SOLUO: Este foi o problema 6 da Olimpada Internacional de 1995, em Montreal,
Canad. Ela foi tida como uma das mais interessantes pela riqueza de problemas
legais e divertidos daquele ano, algo comparvel apenas IMO da Argentina,
que aconteceria dois anos depois.
A soluo aqui apresentada uma pequena modificao daquela dada por Nikolai
Nikolov, ganhador de um Special Prize (prmio especial, dado pela originalidade).
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
39
Vamos pensar em uma raiz p-sima da unidade, primitiva por sinal:
2 i p
e .
= Veja
que
k
= tambm uma raiz p-sima da unidade, para { } 1 2 3 1 k , , ,..., p .
Exclumos o 1 propositalmente, pois ele no ter propriedades to interessantes
quanto as outras razes (logo vers o porqu).
Os complexos
{ }
( )
{ }
1 0 1 2 1 2
1
k p p k k
, , ,..., , , ,...,
= so razes p-simas da
unidade. Elas so distintas: de fato, se
ik jk
= para 0 i j p, < temos
( )
0
1
j i
e k e p j i k
Vamos abrir ( ) ( )
2
f z : ( ) ( )
2
2 2 1 2
0 1 2 2 1 2
p p p
p p p
f z a a z a z ... a z ... a z a z
= + + + + + + +
Agora, vamos observar como o
p
a produzido de uma maneira combinatria.
Primeiramente, escolhemos arbitrariamente p fatores, e coletamos o termo z deles;
isto nos dar o expoente 2p. J dos outros p fatores, escolhemos o termo
( )
j
. O
resultado ser ento
( )( ) ( )
1 2
1 2
0 1 1 2
p
p
j
j j r
p r
r p j j ... j p
a ... c
< <
= =
em que
r
c o total de p-tuplas
1 2 p
j j ... j < < < tais que
( )
1 2
mod
p
j j ... j r p . + + + A nossa tarefa achar
0
c !
Mas ( ) ( )
2
2
2 1 2
p p
p
f z z z a . = + = Assim,
1
0 1 2 1
2
p
p
c c c ... c
+ + + + =
Em outras palavras, zero do polinmio
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
40
( ) ( )
2 1
0 1 2 1
2
p
p
g z c c z c z ... c
= + + + +
Lembre-se que todo o raciocnio usado at aqui foi puramente combinatrio, e
vlido para qualquer que seja raiz p-sima da unidade (exceto o 1). Logo, todas
as razes p-simas primitivas da unidade so razes de g. Mas g tem grau p 1,
portanto:
( )
( )
( )
2 1
1 1
1
1
p
p p
f z
g z c c z z ... z
z
= = + + + +
Igualando os coeficientes,
0 1 2 1
2
p
c c c ... c .
= = = =
Mas
0 1 2 1
2
p
p
c c c ... c .
p
| |
+ + + + =
|
\ .
Contagem dupla: cada p-subconjunto de S
contado em exatamente um dos
i
c , justamente aquele correspondente soma de
seus elementos mdulo p.
Resolvendo as equaes acima, conclumos que
0
2
1
2 2
p
c
p p
| | | |
= +
| |
\ . \ .
E fim!
Bem, que tal uns exerccios?
EXERCCIOS PROPOSTOS:
1) Determine o valor numrico da srie
1 1 n j n
j
cos
n
2) Sejam x, y, z, A, B, C reais tais que
A B C + +
inteiro.
Defina ( ) ( ) ( )
r r r
r
K x sen rA y sen rB z sen rC . = + +
Prove que se
1 2
0 K K = = ento 0
n
K = para todo 0 n . >
3) Fixe um dos vrtices de um n-gono regular inscrito numa circunferncia de raio
1, e considere os segmentos que ligam este vrtice a todos os outros. Prove que o
produto das medidas de todos estes n 1 segmentos n.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
41
4) Calcule
2 4 8
7 7 7
sen sen sen .
+ +
Dica: sejam
2
2 4 3 5 6
7
i
e , p ,q .
em que
2i
m
e .
=
7) Mostre que ( )
2
0
2
2 2
k n
n
n
cos k cos cos
k
| | | | | |
=
| | |
\ . \ .
\ .
8) (Irlanda) Sabe-se que a, b, c so complexos tais que as razes da equao
3 2
0 x ax bx c + + + = tm mdulo 1. Prove que as razes de
3 2
0 x a x b x c + + + =
tambm tm mdulo 1.
9) Seja
( )
496
2 3 4 2 1984
0 1 2 1984
1 x x x x a a x a x ... a x . + + + + = + + + +
Determine MDC ( )
3 8 1983
a ,a ,...,a
Prove que
340 347
992
10 10 a < <
10) Determine todos os polinmios P tais que
( ) ( ) ( )
2
1 P x P x P x . =
11) Determine o nmero de polinmios de grau 5 com coeficientes entre 1 e 9
inclusive e que sejam divisveis por
2
1 x x . +
12) Prove que o nmero
3
0
2 1
2
2 1
k
k n
n
k
+ | |
|
+
\ .
=
a B, B pode devolver 4 ou 6 a A.
Se devolve 4, A pode devolver 1 a B e ganhar. Se devolve 6, A pode devolver 3 a B,
e ganhar a seguir, como vimos antes.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
46
Em geral, podemos argumentar por induo: se A entrega
1
2 4 1
3
n+
+
a B, com
1, n B pode devolver
1
2 4 2
3
n+
a A, caso em que A pode devolver
1
4 1
3
n+
a B,
ganhando o jogo, ou B pode devolver
1
2 4 4
3
n+
+
a A, caso em que A pode devolver
2 4 1
3
n
+
a B, ganhando o jogo. De modo similar, se A entrega
2
4 1
3
n+
a B, com
1, n B pode devolver
2
4 4
3
n+
a B,
ganhando o jogo, ou B pode devolver
2
4 2
3
n+
+
a A , caso em que A pode devolver
1
2 4 1
3
n+
+
a B, ganahndo o jogo.
Notemos que A sempre pode no mnimo empatar o jogo se 3. k De fato, se em
algum momento do jogo A entrega 3 m a B, B devolve no mnimo m 1, e A
pode devolver o triplo, que no mnimo ( ) 3 1 . m m >
Assim, A pode devolver nmeros cada vez maiores, que em algum momento
ultrapassaro 1000k, empatando o jogo.
Veremos agora que B pode garantir o empate se A entrega um nmero que no
das formas descritas anteriormente. Mais precisamente, veremos que, se A envia
um nmero que no pertence ao conjunto
1
2 4 1 4 1
: , 0 , 1 ,
3 3
n n
X n n
+
+
=
` `
) )
ento B pode devolver um nmero a
partir do qual A no pode devolver nenhum nmero pertencente a X (note que
1 X ). Temos { } 1, 3,5,11, 21,... . X = Se A envia a B um nmero par m, B pode
devolver m 1 ou m + 1, que so mpares, a A, que deve devolver o triplo a B.
Como no possvel que ( ) 3 1 m e ( ) 3 1 m+ pertenam ambos a X, isso mostra
nossa afirmao no caso m par. Se A envia a B um nmero mpar m, que no
pertence a X, no difcil ver que { } { } 1 2 , 4 , m k k X k k X ou
{ } { } 1 2 , 4 , . m k k X k k X + Isso implica a afirmao no caso m par.
b) No meio do jogo, B s recebe um nmero par se A tiver acabado de dividir um
nmero (necessariamente mltiplo de 8) por 4. E, se B recebe um mpar, devolver
um par, o que forar A a dividi-lo por 2 ou por 4. Assim, os nmeros tendem a
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
47
decrescer, e , nos casos que empatavam, B ganha o jogo. Por outro lado, A ganha o
jogo, com a mesma estratgia, nos mesmos casos que no item A, pois nesses casos
sempre devolve nmeros mpares.
132) a) Considere uma famlia de 2000 crculos de raio 1 no plano tal que dois
crculos de nunca so tangentes e cada crculo de intersecta pelo menos dois
outros crculos de . Determine o nmero mnimo possvel de pontos do plano
que pertencem a pelo menos dois crculos de .
SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ)
Mostraremos que esse nmero mnimo igual a 2000.
Para isso, consideramos um tringulo equiltero de lado 3 e os seguintes quatro
crculos: o crculo circunscrito ao tringulo e os trs crculos que contm o
circuncentro do tringulo e dois de seus vrtices. Esses quatro crculos tm raio 1, e
cada um deles intersecta os outros trs.
Considerando 500 cpias disjuntas dessa configurao de crculos, obtemos 2000
crculos como no enunciado tais que h 2000 pontos que pertencem a pelo menos
dois deles.
Para concluir, vamos mostrar que, numa configurao de n crculos de raio 1 no
plano ( ) 2 n em que cada crculo intersecta pelo menos outro crculo e no h
dois crculos tangentes, h sempre pelo menos n pontos que pertencem a pelo
menos dois dos crculos. Vamos mostrar, por induo em n, que, na situao acima,
no apenas h pelo menos n pontos que pertencem a pelo menos dois dos crculos,
mas tambm que existe uma funo injetiva do conjunto dos n crculos no conjunto
dos pontos que pertencem a pelo menos dois dos crculos tal que a imagem de cada
crculo pertence a ele.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
48
Para isso, note que se n = 2 isso claramente verdadeiro. Suponha agora que
2 m e que isso vale para todo n com 2 , n m e considere uma configurao
de m + 1 crculos como antes.
Suponha inicialmente que algum desses crculos, digamos
1
, C intersecta s um dos
outros crculos, digamos
2
C , seja { }
1 2
, . C C p q =
Temos dois casos: no primeiro,
2
C s intersecta
1
. C Ento associamos p a
1
, C q a
2
C e usamos a hiptese de induo para os m 1 crculos restantes. No segundo
caso,
2
C intersecta algum dos outros crculos. Ento associamos P a
1
C e usamos a
hiptese de induo para os m crculos
2 3 1
, ,..., .
m
C C C
+
Se, por outro lado, cada um desses m + 1 crculos intersecta pelo menos dois dos
outros, temos de novo dois casos:
Se h no total pelo menos m + 1 pontos que pertencem a pelo menos dois dos
crculos, podemos separar um dos crculos, digamos
1
,
m
C
+
e fixar uma injeco de
{ }
1 2
, ,...,
m
C C C no conjunto dos pontos que pertencem a pelo menos dois dos
crculos ,
j
C j m tal que a imagem de cada
i
C , que chamaremos de ,
i
P pertence a
.
i
C
Para cada { }
1
,..., ,
m
X C C o conjunto dos pontos que pertencem a pelo menos
dois crculos de { }
1 m
X C
+
tem pelo menos 1 X + elementos. Se algum ponto
{ }
1
,...,
m
P P P pertence a
1 m
C
+
e a algum dos outros crculos, simplesmente
estendemos a injeo associando P a
1 m
C
+
. Seno, construmos uma sequncia de
conjuntos
1 2
, ,... A A do seguinte modo:
{ }
1 1
.
i m
A i m P C
+
= Se
1 2
, ,...,
r
A A A j
esto definidos, se o conjunto (de pelo menos 1
r
A + ) pontos que pertencem a pelo
menos dois crculos de { } { }
1
,
m j r
C C j A
+
est contido em { }
1
,..., ,
m
P P
definimos
{ 1 r r j
A A j m P
+
= pertence a pelo menos dois crculos de
{ } { }} 1
, .
m j r
C C j A
+
Note que
1
.
r r
A A
+
> Em algum momento, haver um
ponto P fora de { }
1
,...,
m
P P que pertence a pelo menos dois crculos de
{ }
1
, ,
m j r
C C j A
+
e logo a dois crculos
j
C e
`
,
j
C com
`
1
, , .
r r
j j A j A
Podemos ento alterar a injeo associando
j
C a P; como existe algum
1 1 2
\
r r r
j A A
tal que
j
P pertence a
1
,
r
j
C
associamos
1 r
j
C
a
j
P , e, em geral,
para cada s com 1 1, s r < se j definimos
1
\ ,
s s s
j A A
existe
1 1 2
\
s s s
j A A
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
49
tal que
s
j
P pertence a
1
;
s
j
C
associamos ento
1 s
j
C
a .
s
j
P Fazemos isso at associar
1
j
C a
2
.
j
P Como
1 1
, j A podemos associar
1 m
C
+
a
1
,
j
P estendendo nossa injeo a
{ }
1 2 1
, ,..., , ,
m m
C C C C
+
o que prova nossa afirmao.
Finalmente, suponhamos que h apenas m pontos que pertencem a pelo menos dois
dos crculos. Observamos que, como os crculos tm raio 1, se um par de pontos
est contido em dois crculos de famlia, no estar contido em nenhum outro
crculo de famlia, e portanto, se um ponto pertence a 2 r crculos da famlia,
cada um desses r crculos intersecta os outros r 1 em outros r 1 pontos distintos,
e distintos do ponto comum aos r crculos. Assim, cada um desses r crculos
contm pelo menos r pontos que pertecem a pelo menos dois crculos da famlia.
Podemos considerar uma injeo que leva { }
1 2
, ,...,
m
C C C no conjunto desses
pontos, a qual ser uma bijeo. Sendo
i
P a imagem de ,
i
C podemos considerar a
matriz
( )
,1 1,1 ,
ij
a i m j m + onde 1
ij
a = se
j
P pertence a
i
C e 0,
ij
a = caso
contrrio. Se, para , j m
{ } { }
1
j j i ij
n i P C i a = = = e, para
{ } { }
1, : 1 ,
i j i ij
i m s j P C j a + = = = temos, pelo que observamos acima,
, ,
i i
s n i m donde
1 1
,
m m
i i
i i
s n
= =
mas ( )
{ }
1
1 1
, 1 ,
m m
i j ij
i j
s n i j a
+
= =
= = =
e
1
0,
m
s
+
>
pois
1 m
C
+
intersecta outros crculos, absurdo.
133) Considere um ngono regular inscrito em um crculo unitrio, fixe um
vrtice i e denote por d
j
a distncia entre este vrtice i e o vrtice j. Prove que
( )
1
2 2
0
5
n
j n
j i
j
d F
=
=
onde
1 1
0, 1 F F = = e
1 2
,
n n n
F F F
= se 2. n
SOLUO DE ASDRUBAL PAFNCIO SANTOS (BOTUCATU SP)
Podemos supor sem perda de generalidade que 0 i = e que o vrtice j
2
,
j i n
e
para
0 1. j n Queremos ento provar que
1
2
1
2
3 2cos .
n
n
j
j
F
n
=
| | | |
+ =
| |
\ . \ .
Temos
( )( )
2 2
2 2 2 2
2
1 1 1 2 2 2cos ;
j i n
j i n j i n j i n j i n
j
e e e e e
n
| |
= = =
|
\ .
queremos provar portanto que
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
50
1
2
1
2
3 2cos .
n
n
j
j
F
n
=
| | | |
+ =
| |
\ . \ .
Considere agora a sequncia de polinmios
( ) ( )
0
n
n
f x
dada por ( ) ( )
0 1
2, f x f x x = = e ( ) ( ) ( )
1 1
, 1.
n n n
f x xf x f x n
+
=
Temos, para todo 0 n e todo ( ) ( ) , 2cos 2cos .
n
f n = R De fato isso vale
para n = 0 e n = 1 e, por induo,
( ) ( ) ( ) ( ) ( ) ( )
1 1
2cos 2cos 2cos 2cos 4cos cos 2cos 1
n n n
f f f n n
+
= = =
( ) ( )
2cos 1 . n = + Alm disso, para todo ( ) 1,
n
n f x um polinmio mnico de
grau n. Como as soluo de ( ) 2cos 2 n = so dadas por
2
, ,
k
k
n
= Z
temos
( )
1
0
2
2 2cos , 1,
n
n
k
k
f x x n
n
=
| | | |
=
| |
\ . \ .
donde
( )
1
1
2
2
2cos .
2
n
n
j
f x
j
x
n x
=
| | | |
=
| |
\ . \ .
O que queremos provar equivale a
( )
( )
( ) ( )
1
1
2
1
3 2
2 1
1 3 2cos 3 2 ,
3 2 5
n
n
n
n n
j
f
j
F f
n
=
| | | |
= = =
| |
\ . \ .
o que
equivalente a ( ) ( )
2
3 2 1 5 .
n
n n
f F = + Como
1 1 5 1 5
, 0,
2 2 5
n n
n
F n
| |
| | | | | |
+
|
= | | |
| | |
|
\ . \ . \ .
\ .
temos
( )
2
3 5 3 5
2 1 5 .
2 2
n n
n
n
F
| | | |
+
+ = +
| |
| |
\ . \ .
Por outro lado, a sequncia
( ) 3
n n
x f = satisfaz
0 1
2, 3 x x = = e
1 1
3 , 1,
n n n
x x x n
+
= e logo (usando o
fato de as razes de
2
3 1 0 x x + + = serem
3 5
2
),
3 5 3 5
, 0,
2 2
n n
n
x n
| | | |
+
= +
| |
| |
\ . \ .
o que prova a igualdade desejada.
136) Sejam R,
1 2
, r r e
3
r os raios dos crculos de centro , O
1 2
, O O e
3
, O
respectivamente, conforme a figura abaixo. Prove que:
1 2 1 3 2 3
R r r r r r r = + + .
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
51
O
1
O
2
O
3
R
O
R
2
SOLUO DE ANDERSON TORRES (SANTANA DE PARNABA SP)
A boa e velha trigonometria...
O
T
A
T
B
O
C
O
A
O
B
r
Y
X
r
a
A
B
C
Como sempre, , A B = = e , + + = . C =
Vamos calcular
a
r , para comear:
A A A A A A A A
AO O T T O AO AO O T AO OT + + = + =
: ; ; .
2 2
a
A A
r r
AO X AO AOY AO
sen sen
= =
Substituindo:
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
52
1
2
,
1
2 2 2
a
a a
sen
r r
r r r r
sen sen sen
| |
|
+ = =
|
|
+
\ .
ou
1
2
1
2
a
sen
r
r
sen
=
+
Como precisaremos de um quadrado, vamos aplicar um truque: a tangente do
meio arco.
2
2 2
2
2
2tan
4
1
1 1 tan 1 2tan tan 1 tan
2 4 4 4 4
.
1 2tan 1 2tan tan 1 tan
2 4 4 4 4
1
1 tan
4
sen
sen
| |
+ +
|
= = =
|
|
+ + + +
\ .
+
+
Com isto, j podemos substituir na igualdade que queremos demonstrar:
1 tan 1 tan 1 tan 1 tan 1 tan 1 tan
4 4 4 4 4 4
1
1 tan 1 tan 1 tan 1 tan 1 tan 1 tan
4 4 4 4 4 4
+ + =
+ + + + + +
Para escrever menos, seja tan , tan , tan .
4 4 4
a b c = = =
Abrindo os
denominadores,
( )( )( ) ( )( )( ) ( )( )( ) ( )( )( ) 1 1 1 1 1 1 1 1 1 1 1 1 a b c a b c a b c a b c + + + + + = + + +
( ) ( ) ( ) ( ) ( ) ( ) 3 3 1 a b c ab ac bc abc a b c ab ac bc abc + + + + + = + + + + + + +
( ) ( ) ( ) 1 0 a b c ab ac bc abc + + + + + = .
Mas isto fcil?
tan tan
4 4 4
1 tan tan
4 4 4 4
1 tan tan
4 4 4
| |
+ +
|
| |
\ .
= = + + = =
|
| | \ .
+
|
\ .
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
53
tan tan
4 4
tan
4
1 tan tan tan tan tan tan tan tan
4 4 4 4 4 4 4 4
tan tan 1 tan tan tan tan tan tan
4 4 4 2 4 4 4 4
1 tan
4
1 tan tan
4 4
+
+
+ +
= =
+
( ) 1 , a b c abc ab ac bc + + = + + como esperado.
137) Seja A um conjunto de quinze pontos de
2
R tal que a distncia de cada ponto
origem positiva e menor do que 1 e que quaisquer dois deles nunca sejam
colineares com a origem. Mostre que existe um tringulo com dois vrtices em A e
um na origem cuja rea menor que
1
.
4
SOLUO DE ITAMAR SALES DE OLIVEIRA FILHO (CEDRO CE)
1
1 1
0
x
y
3
15
1
Distribumos aleatoriamente os 15 pontos. Como a distncia origem sempre
menor do que 1, com certeza todos esses pontos so interiores circunferncia de
raio 1 e centro na origem.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
54
Pelo fato de no existerem dois colineares com o centro, temos os 15 ngulos
representados na figura ( )
1 2 15
, ,..., . Obviamente:
1 2 15
, ,..., 360 . =
Vamos provar que existe pelo menos um ngulo menor do que ou igual a 24 . Para
isso, suponha o contrrio, ou seja, 24,
n
> para todo n Ento:
1 2 15
... 15 24 360 absurdo. + + + > =
Ento realmente existe pelo menos um ngulo 24 . Suponha .
i
XOY =
Olhando para o tringulo XOY:
rea
1
1
sen .
2
XOY OX OY = Contudo, e OX OY so menores do que 1 e
sen sen24 sen30 ,
i
< substituindo:
1 1 1 1
1 1 sen30 .
2 2 2 4
A A A < < <
Ento existe um tringulo como no enunciado cuja rea menor do que
1
.
4
138) Calcule o mximo divisor comum entre todos os nmeros da forma , x y z
onde ( ) , , x y z percorre todas as solues inteiras da equao
2 2 2
x y z + = com
0. x y z
SOLUO DE MARCLIO MIRANDA DE CARVALHO (TERESINA PI)
Seja d mdc entre todos os inteiros da forma x y z onde (x, y, z) percorre todas as
solues inteiras da equao
2 2 2
x y z + = com 0. x y z
Note que (3, 4, 5) soluo, logo temos que 60. d
AFIRMAO 1: Se uma tripla ( ) , , x y z soluo da equao
2 2 2
x y z + = ento
x y z mltiplo de 3.
PROVA: Suponhamos, por absurdo, que x e y no so mltiplos de 3. Ento
( )
2 2 2
2 mod3 z x y = + , absurdo!. Logo x ou y tem que ser mltiplo de 3. Assim
temos que x y z mltiplo de 3.
AFIRMAO 2: Se uma tripla ( , , ) x y z soluo da equao
2 2 2
x y z + = ento
x y z mltiplo de 5.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
55
PROVA: Suponhamos, por absurdo, que x e y no so mltiplos de 5. Ento
2 2
0 x y + ou 2 ou 3 (mod 5). No primeiro caso temos que z mltiplo de 5,
portanto x y z mltiplo de 5. No segundo e terceiro casos temos um absurdo,
pois um nmero quadrado perfeito s pode deixar restos 0, 1 ou 4 mdulo 5.
Assim, temos que se ( ) , , x y z soluo da equao
2 2 2
x y z + = ento x y z
mltiplo de 5.
AFIRMAO 3: Se uma tripla ( ) , , x y z soluo da equao
2 2 2
x y z + = ento
x y z mltiplo de 4.
PROVA: Suponhamos, por absurdo, que x e y so mpares. Ento
( )
2 2
2 mod4 , x y + absurdo. Portanto x ou y tem que ser par. Se x for par, mas no
for mltiplo de 4, ento ( )
2 2 2
4 mod8 4 x x y + , 5 ou 0 (mod 8). No primeiro
e terceiro casos temos que y par, portanto x y z mltiplo de 4. No segundo
caso temos um absurdo, pois um nmero quadrado perfeito s pode deixar restos 0,
1 ou 4 mdulo 8. E se y for par anlogo. Assim, temos que x y z mltiplo de
4.
Portanto d mltiplo de 3 4 5 60, = logo d = 60.
139) Determine todos os inteiros positivos x, y, z satisfazendo
3 3 2
x y z = , onde y
primo, z no divisvel por 3 e z no divisvel por y.
SOLUO DE ADRIANO CARNEIRO TAVARES (CAUCAIA CE)
Suponha que exista uma soluo.
Ento
2 3 3 2 2 2
( ) ( ) ( )(( ) 3 ) z x y x y x xy y x y x y xy = = + + = + (I)
Como z no divisvel por 3 e nem por y, e y um nmero primo, teremos por (I)
mdc( , ) 1 x y = e mdc( , 3) 1. x y =
Ento mdc
2 2
( , ) mdc (3 , ) 1 x xy y x y xy x y + + = = (II)
Agora (I) e (II) implicam que
2 2 2 2
, e x y m x xy y n z mn = + + = = , para certos
inteiros positivos m e n.
Temos
2 2 2 2 2
4 4 4 4 (2 ) 3 . n x xy y x y y = + + = + +
Ento
2
3 (2 2 )(2 2 ). y n x y n x y = + + Sendo y um primo, ento existem trs
possibilidades:
a)
2
2 2 3 , 2 2 1 n x y y n x y + + = =
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
56
b) 2 2 3 , 2 2 n x y y n x y y + + = =
c)
2
2 2 , 2 2 3 n x y y n x y + + = =
Em (a), aps a subtrao das equaes temos:
2 2
3 1 2(2 ) 2(2 3 ). y x y m y = + = +
Da,
2 2 2
1 3 6 3 0 (mod 3). m y y m + =
Por outro lado, temos sempre
2
1 1 ou 2 (mod 3). m + Ns chegamos a uma
contradio.
Em (b), subtraindo as equaes chegamos x = 0, o que absurdo!
Subtraindo as equaes em (c), chegamos em
2 2
3 2(2 ) 2(2 3 ), y x y m y = + = +
que pode ser escrito assim:
2 2
( 3) 4 12, y m = ou seja, ( 3 2 )( 3 2 ) 12. y m y m + =
Da equao chegamos a y = 7 e m = 1, pois devemos ter 3 2 6 y m + = e
3 2 2 y m = . Segue que x = y + m
2
= 8 e z = 13
2
mn m x xy y = + + .
Veja que de fato
3 3 2
8 7 13 . = Esta a nica soluo.
140) Mostre que 2903 803 464 261
n n n n
+ divisvel por 1897, para todo . nN
SOLUO DE MARCELO RIBEIRO DE SOUZA (RIO DE JANEIRO RJ)
LEMA: Sejam
1 2
, p p dois nmeros inteiros primos entre si. Ento, se
1
p a e
2
, p a ter-se-
1 2
. p p a
DEMONSTRAO:
1 1
. p a k a kp = Z No entanto, deve-se ter
2 1
, p a kp = ora,
como ( )
1 2
, 1, p p = conclui-se que
2 1 1 2
.
k
p k k k p = Z Finalmente,
1 1 2 1 2
. a k p p p p a =
Note-se, inicialmente, que 1897 7 271. = Escreva-se, ento:
( ) ( ) ( ) ( ) ( ) 2903 464 803 261 78 78 10 10 0 mod271 ,
n n n n
n n n n
n + + N (i)
( ) 2903 464 803 261 5 2 5 2 0 mod7 ,
n n n n n n n n
n + + N (ii)
Assim, temos, pelo Lema, que ( ) 2903 464 803 261 0 mod1897 ,
n n n n
n + N,
como se quis demonstrar.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
57
141) Dado { } 0,1, 2, 3, 4, 5, 6, 7,8, 9 , a seja X um conjunto finito de inteiros
positivos, tal que nenhum dos seus elementos possui o algarismo a em sua
representao decimal. Prove que
1
80.
<
n X
n
SOLUO DE FABRCIO VASCONCELLOS PUPPI (SO PAULO SP)
Por um simples raciocnio combinatrio, nota-se que a quantidade de inteiros
positivos com k algarismos que no apresentam algum dgito a em sua
representao decimal
1
8 9 ,
k
caso 0, e 9 ,
k
a caso a = 0.
Seja max( ) N X = e d o nmero de dgitos de N. Seja S(T) a operao definida
sobre um subconjunto finito T qualquer de * N , tal que:
( )
1
n T
S T
n
Pela definio de S, como cada elemento de T tem contribuio positiva no valor
da soma que caracteriza a operao, claramente S montona em relao ao seu
argumento, de tal modo que ( ) ( ) . T Q S T S Q Assim, para
{ } { }
`1, 2, 3,..., ,...,10 1 no dgito de , .
d
X N n a n X X = Para todo inteiro
positivo n de k dgitos,
1 1
10 1 1 10 ,
k k
n n
sendo que a desigualdade estrita
vale para todos os n de k dgitos exceto para um deles. Considerando inicialmente o
caso em que 0, a tem-se:
( ) ( ) ( )
1
1 1 2 1 1
1 1 2 1 1 1
1
1 1 1 1 8 9
8 9 8 9 ... 8 9
10 10 10 10
k d
d
d k
k n X
n
=
< + + + =
( )
( )
1
1
1
9
8
10
k d
k
k
S X S X
=
<
Como a somatria direita uma srie geomtrica, trivialmente tem-se que:
( )
( )
( )
( )
1 9/10
8 80 1 9 10 80
1 9 10
d
d
S X
< = <
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
58
Para o caso a = 0 necessrio um refinamento de anlise, pois o uso de processo
idntico ao acima s permitiria afirmar que ( ) 90. S X < Pra este caso, separou-se
cada conjunto dos nmeros de k algarismos em dois subconjuntos disjuntos: um
dos
1
4 9
k
inteiros que satisfazem
1 1
10 5 10
k k
n
< e outro dos
1
5 9
k
inteiros
que satisfazem
1
5 10 10 .
k k
n
( )
( )
( )
( )
1 9 10
5 50 1 9 10 50 80
1 9 10
d
d
S X
< = < <
.
Agradecemos o envio de solues e a colaborao de:
Adriano Carneiro Tavares (Caucaia CE) Prob. 140
Anderson Torres (Santana de Parnaba SP) Prob. 133, 137, 138, 139, 140, 141
Douglas Oliveira de Lima (Braslia DF) Prob. 140
Fabrcio Vasconcellos Puppy (So Paulo SP) Prob. 137, 138, 140.
Flvio Antonio Alves (Amparo SP) Prob. 136
Itamar Sales de Oliveira Fiolho (Cedro CE) Prob. 136
Jean Pierre Youyoute (Rio de Janeiro RJ) Prob. 138
Lucas Alves, Douglas Oliveira de Lima, Danillo Leal, Gustavo
Campelo, Jlio Castro (Braslia DF)
Prob. 136
Lucas Colucci Prob. 138 e 140
Marcelo Ribeiro de Souza (Rio de Janeiro RJ) Prob. 136
Marclio Miranda de Carvalho (Teresina PI) Prob. 140
Marcos Martinelli (Braslia DF) Prob. 133 e 136
Matheus Henrique Alves Moura (Fortaleza CE) Prob. 136
Renato Carneiro (Belo Horizonte MG) Prob. 140
Continuamos aguardando solues para os problemas 134 e 135.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
59
PROBLEMAS PROPOSTOS
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos
problemas para prximos nmeros.
142) Seja { } 4,8, 9,16, 25, 27, 36, 64,... A = o conjunto das potncias no triviais
(nmeros da forma ,
b
a com 2, a 2 b naturais). Prove que, para todo natural
1, n existe um natural k tal que todos os termos da progresso aritmtica
, 2 , 3 ,..., k k k nk pertencem a A.
143) Determime todas as funes , , : f g h R R tais que
( ) ( ) ( )
3 3
, , . f xy g x y h x y x y = + + + R
144) Seja 1 x um nmero racional tal que existe uma constante 0 c e uma
sequncia ( )
1
n
n
a
de inteiros tal que
( )
lim 0.
n
n
n
cx a
=
= +
| + |
|
\ .
para todo inteiro 2. n
148) Sejam m e n inteiros positivos. Calcule
1
0
.
n
k
n k
m
149) a) Deseja-se organizar um torneio de futebol com n times ( ) 2 n em que
cada time joga uma vez contra cada um dos outros, dividido em um certo nmero
de rodadas. Em cada rodada cada time joga no mximo uma partida.
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
60
Prove que, se n mpar, possvel organizar um tal torneio com n rodadas e, se n
par, possvel organizar um tal torneio com n 1 rodadas.
b) Uma matriz n n preenchida com elementos do conjunto
{ } 1, 2, 3,..., 2 1 . S n = Sabe-se que, para todo { } 1, 2,..., , i n a i-sima linha e a i-
sima coluna contm juntas todos os elementos de S.
Quais os possveis valores de n?
150) Sejam a, b e c nmeros reais tais que ( ) ( ) ( )
3 3 3
9. a b b c c a + + =
Prove que
( ) ( ) ( )
3
2 2 2
1 1 1
3.
a b a b c a
+ +
Problema 142 adaptado de um problema proposto por Anderson Torres (Santana de Parnaba
SP); 143 proposto por Anderson Torres (Santana de Parnaba SP); 144, 145 e 146
propostos por Carlos da Silva Ramos (Belm PA); 147 e 148 propostos por Marcos
Martinelli; 149 adapatado de um problema proposto por Anderson Torres (Santana de
Parnaba SP); 150 adaptado de um problema proposto por Adriano Carneiro (Caucaia CE).
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
61
AGENDA OLMPICA
XXXIII OLIMPADA BRASILEIRA DE MATEMTICA
NVEIS 1, 2 e 3
Primeira Fase sbado, 18 de junho de 2011
Segunda Fase sbado, 3 de setembro de 2011
Terceira Fase sbado, 15 de outubro de 2011 (nveis 1, 2 e 3)
domingo, 16 de outubro de 2011 (nveis 2 e 3 - segundo dia de prova)
NVEL UNIVERSITRIO
Primeira Fase sbado, 3 de setembro de 2011
Segunda Fase sbado, 15 e domingo, 16 de outubro de 2011
IV ROMANIAN MASTER OF MATHEMATICS (RMM)
23 a 28 de fevereiro de 2011(Bucareste, Romnia)
ASIAN PACIFIC MATH OLYMPIAD (APMO)
12 de maro de 2011
XVII OLIMPADA DE MAIO
7 de maio de 2011
XXII OLIMPADA DE MATEMTICA DO CONE SUL
14 a 20 de agosto de 2011(La Paz, Bolvia)
LII OLIMPADA INTERNACIONAL DE MATEMTICA
13 a 24 de julho de 2011(Amsterdam, Holanda)
I OLIMPADA DE MATEMTICA DA LUSOFONIA
20 a 31 de julho de 2011(Coimbra, Portugal)
XVII OLIMPADA INTERNACIONAL DE MATEMTICA UNIVERSITRIA (IMC)
24 a 30 de julho de 2011(Blagoevgrad, Bulgria)
XXV OLIMPADA IBEROAMERICANA DE MATEMTICA
23 de setembro a 1 de outubro de 2011(So Jos, Costa Rica)
II COMPETIO IBEROAMERICANA INTERUNIVERSITRIA DE MATEMTICA
2 a 8 de outubro de 2011(Quito, Equador)
XIII OLIMPADA IBEROAMERICANA DE MATEMTICA UNIVERSITRIA
Sociedade Brasileira de Matemtica
EUREKA! N33, 2011
62
COORDENADORES REGIONAIS
Alberto Hassen Raad (UFJF) Juiz de Fora MG
Amrico Lpez Glvez (USP) Ribeiro Preto SP
Antonio Carlos Nogueira (UFU) Uberlndia MG
Benedito Tadeu Vasconcelos Freire (UFRN) Natal RN
Bruno Holanda (CAEN UFC) Fortaleza CE
Carmen Vieira Mathias (UNIFRA) Santa Mara RS
Claus Haetinger (UNIVATES) Lajeado RS
Cludio de Lima Vidal (UNESP) S.J. do Rio Preto SP
Denice Fontana Nisxota Menegais (UNIPAMPA) Bag RS
Disney Douglas Lima de Oliveira (UFAM) Manaus AM
Edson Roberto Abe (Colgio Objetivo de Campinas) Campinas SP
Edney Aparecido Santulo Jr. (UEM) Maring PR
Fbio Brochero Martnez (UFMG) Belo Horizonte MG
Florncio Ferreira Guimares Filho (UFES) Vitria ES
Francinildo Nobre Ferreira (UFSJ) So Joo del Rei MG
Genildo Alves Marinho (Centro Educacional Leonardo Da Vinci) Taguatingua DF
Herivelto Martins (USP So Carlos) So Carlos SP
Gilson Tumelero (UTFPR) Pato Branco PR
Ivanilde Fernandes Saad (UC. Dom Bosco) Campo Grande MS
Joo Bencio de Melo Neto (UFPI) Teresina PI
Joo Francisco Melo Libonati (Grupo Educacional Ideal) Belm PA
Diogo Diniz (UFPB) Campina Grande PB
Jos Luiz Rosas Pinho (UFSC) Florianpolis SC
Jos Vieira Alves (UFPB) Campina Grande PB
Jos William Costa (Instituto Pueri Domus) Santo Andr SP
Krerley Oliveira (UFAL) Macei AL
Licio Hernandes Bezerra (UFSC) Florianpolis SC
Luciano G. Monteiro de Castro (Sistema Elite de Ensino) Rio de Janeiro RJ
Luzinalva Miranda de Amorim (UFBA) Salvador BA
Marcelo Dias (Grupo Educacional Etapa) So Paulo SP
Marcelo Antonio dos Santos FACOS Osrio RS
Marcelo Rufino de Oliveira (Grupo Educacional Ideal) Belm PA
Newman Simes (Cursinho CLQ Objetivo) Piracicaba SP
Nivaldo Costa Muniz (UFMA) So Luis MA
Osnel Broche Cristo (UFLA) Lavras MG
Uberlndio Batista Severo (UFPB) Joo Pessoa PB
Raul Cintra de Negreiros Ribeiro (Colgio Anglo) Atibaia SP
Reginaldo de Lima Pereira (Escola Tcnica Federal de Roraima) Boa Vista RR
Reinaldo Gen Ichiro Arakaki (UNIFESP) SJ dos Campos SP
Ricardo Amorim (Centro Educacional Logos) Nova Iguau RJ
Ronaldo Alves Garcia (UFGO) Goinia GO
Rogrio da Silva Igncio (Col. Aplic. da UFPE) Recife PE
Rosangela Ramon (UNOCHAPEC) Chapec SC
Srgio Cludio Ramos (IM-UFRGS) Porto Alegre RS
Seme Gebara Neto (UFMG) Belo Horizonte MG
Tadeu Ferreira Gomes (UEBA) Juazeiro BA
Toms Menndez Rodrigues (U. Federal de Rondnia) Porto Velho RO
Valdenberg Arajo da Silva (U. Federal de Sergipe) So Cristvo SE
Vnia Cristina Silva Rodrigues (U. Metodista de SP) S.B. do Campo SP
Wagner Pereira Lopes (CEFET GO) Jata GO
Wanderson Breder (CEFET RJ) Nova Friburgo RJ
William Serafim dos Reis (UFT TO) Arraias TO