Escolar Documentos
Profissional Documentos
Cultura Documentos
Eureka33 PDF
Eureka33 PDF
ARTIGOS
ASSOCIANDO UM
TRIGONOMTRICAS
Marclio Miranda
POLINMIO
EXPRESSES
ALGBRICAS
E
11
18
31
RAZES DA UNIDADE
Anderson Torres & Eduardo Tengan
33
42
45
PROBLEMAS PROPOSTOS
59
AGENDA OLMPICA
61
COORDENADORES REGIONAIS
62
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
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
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
unitrios do tabuleiro igual ao seu prprio tamanho. Os lados das peas podem
coincidir com partes da borda do tabuleiro.
RESULTADO BRASILEIRO
2010: Nvel 1 (at 13 anos)
Nome
Murilo Corato Zanarella
Daniel de Almeida Souza
Viviane Silva Souza Freitas
Carolina Lima Guimares
Pedro Henrique Alencar Costa
Samuel Brasil de Albuquerque
Juliana Amoedo Plcido
Lucca Morais de Arruda Siaudjionis
Antonio Wesley de Brito Vieira
Cidade Estado
Amparo SP
Braslia DF
Salvador BA
Vitria ES
Fortaleza CE
Fortaleza CE
Salvador BA
Fortaleza CE
Cocal dos Alves PI
Prmio
Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Meno Honrosa
Meno Honrosa
Cidade Estado
So Paulo SP
Caucaia CE
Caucaia CE
Fortaleza CE
Rio de Janeiro RJ
Fortaleza CE
Braslia DF
Caucaia CE
Pirapora MG
Prmio
Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Medalha de Bronze
Meno Honrosa
Meno Honrosa
Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Bronze
PRIMEIRO DIA
PROBLEMA 1
Pedro tem que escolher duas fraes irrredutveis, cada uma com numerador e
denominador positivos, tais que:
PROBLEMA 3
PROBLEMA 5
Medalha de Prata
Medalha de Prata
Medalha de Bronze
Meno Honrosa
Meno Honrosa
Meno Honrosa
PRIMEIRO DIA
PROBLEMA 1
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
( g ( m) + n ) ( m + g ( n))
um quadrado perfeito para todos m, n *.
SEGUNDO DIA
PROBLEMA 4
que a b = a
2010
moedas. (Observe
(b ) . )
c
PROBLEMA 6
Seja a1 , a2 , a3 ,... uma sucesso de nmeros reais positivos. Sabe-se que para algum
inteiro positivo s,
an = max {ak + an k tal que 1 k n 1}
para todo n > s. Mostre que existem inteiros positivos e N, com s, tais que
an = a + an para todo n N .
Medalha de Ouro
Medalha de Ouro
Medalha de Ouro
Medalha de Prata
PRIMEIRO DIA
PROBLEMA 1
Numa fila de dez moedas indistinguveis h duas delas que so falsas, ocupando
posies consecutivas. Para cada conjunto de posies, pode-se perguntar quantas
moedas falsas ele contm. possvel determinar quais so as moedas falsas
fazendo apenas duas destas perguntas? No se sabe a resposta da primeira pergunta
antes de se formular a segunda.
PROBLEMA 2
xn + 2 = xn + xn +1 + a xn xn +1 + b , n 1,
sejam inteiros.
PROBLEMA 2
( P R, Q R )
SEGUNDO DIA
PROBLEMA 4
PROBLEMA 6
10
2
4
6
, cos
, cos
, so solues da
7
7
7
equao ax 3 + bx 2 + cx + d = 0.
SOLUO:
a)
cos ( 4 ) = cos ( 3 ) 4 = 3 + 2k
ou
4 = 3 + 2k = 2k
ou
2k
2
4
6
so as razes dessa equao.
, logo 1,cos
,cos
, cos
7
7
7
7
Por
outro
lado
temos
que
cos ( 4 ) = 8 cos 4 8 cos 2 + 1 e
cos ( 4 ) = cos ( 3 ) ( t 1) ( 8t 3 + 4t 2 4t 1) = 8 t 4 4 t 3 8 t 2 + 3 t + 1 = 0.
Assim,
solues cos
(8t
equao
2
4
6
,cos
,cos .
7
7
7
11
+ 4t 2 4t 1) = 0 tem
como
que
400,
800
1600
satisfazem a equao
1
cos3 = 8cos3 6cos + 1 = 0, logo cos 400, cos 800, cos 1600 so as
2
razes do polinmio 8cos3 6 cos +1, e assim temos que:
6
cos 40 cos80 + cos160 cos80 + cos 40 160 =
8
1
cos 40 cos80 cos160 =
8
1
1
1
sec 40 + sec80 + sec160 =
+
+
=
cos 40 cos80 cos160
cos 40 cos80 + cos 40 cos80 + cos 40 cos80
= 6.
cos160 cos80 cos 40
SOLUO:
+ 4
cos
2
3 1
+ cos
= .
7
7 2
3
3
5
5
3 5
so
+ 4
= 3 e 3
+ 4
= 5 , logo
, ,
7
7
7
7
7
7
7 7 7
solues da equao cos 4 x = cos3x.
7x
x
7x
Essa equao equivale a cos 4 x + cos3 x = 0 2 cos cos = 0 cos
= 0 ou
2
2
2
x
cos = 0.
2
7x
PARTE 1: Resolver a equao cos
=0
2
7x
2 k
3 5
9 11 13
= + k x = +
x = , , , , ,
,
, mas
2 2
7
7
7 7 7
7 7
7
13
3
11
5
9
cos = cos
,cos
= cos
,cos
= cos , logo h 4 solues distintas
7
7
7
7
7
7
3 5
entre 0 e 2 : , , , .
7 7 7
x
PARTE 2: Resolver a equao cos = 0
2
3
= ,3
12
x
= + k x = + 2k , logo x = a nica soluo entre 0 e 2 .
2 2
Por outro lado temos que cos 4 x = 8cos 4 x 8cos 2 x + 1 e cos3 x = 4cos3 x 3cos x.
cos4 x = cos3x 8cos4 x + 4cos3 x 8cos2 x 3cos x + 1 = 0 8t 4 + 4t 3 8t 2 3t + 1 = 0,
onde t = cos x.
Claramente 1 raiz desse polinmio, e temos 8t4 +4t3 8t2 3t + 1 =
(t +1) (8t3 4t2 4t + 1), donde o polinmio 8t3 4t2 4t + 1 tem como razes
3
5
cos ,cos ,cos . Logo temos pelas relaes de Girard que:
7
7
7
3
5 4 1
2
3
cos + cos
+ cos
= = = cos cos
cos .
7
7
7 8 2
7
7
7
II) CALCULANDO O VALOR DE UMA EXPRESSO ALGBRICA:
EXERCCIO RESOLVIDO 4: Prove que
20 + 14 2 2 + 3 20 14 2 2 = 4.
20 + 14 2 2 + 3 20 14 2 2
20 + 14 2 2 + 3 20 14 2 2 = 4.
expresso
a 7 + b7 + c 7
.
abc ( a 4 + b 4 + c 4 )
(iv)
13
b4 + pb2 + qb = 0 b4 = pb2 qb
(v)
4
2
4
2
c + pc + qc = 0 c = pc qc
(vi)
somando (iv) + (v) + (vi), temos que a4 + b4 + c4 = p.(a2 + b2 + c2) q.(a + b + c)
= 2 p2 .
Analogamente temos que:
a5 + pa3 + qa2 = 0 a5 = pa3 qa2 (vii)
b5 + pb3 + qb2 = 0 b5 = pb3 qb2 (viii)
c5+ pc3 + qc2 = 0 c5 = pc3 qc2
(ix)
somando (vii) + (viii) + (ix), temos que a5 + b5 + c5 = p (a3 + b3 + c3) q (a2 +
b2 + c2) = 5pq.
Proseguindo do mesmo modo, temos que:
a7 + pa5 + qa4 = 0 a7 = pa5 qa4 (x)
b7 + pb5 + qb4 = 0 b7 = pb5 qb4 (xi)
c7 + pc5 + qc4 = 0 c7 = pc5 qc4
(xii)
somando (x) + (xi) + (xii): a7 + b7 + c7 = p (a5 + b5 + c5) q (a4 + b4 +c4) =
7 p 2q .
a 7 + b7 + c7
7 p 2 q
7
=
= .
Com isso temos que
4
4
4
2
abc ( a + b + c ) q ( 2 p ) 2
III) PROVANDO A IRRACIONALIDADE DE UM NMERO:
p
raiz do polinmio temos que
q
n1
p
p
p
an + an1 + ... + a1 + a0 = 0 an pn + an1 pn1 q + ... + a1 p qn1 + a0 qn = 0,
q
q
q
logo temos que p um divisor de a0 e q um divisor de an.
EXERCCIO RESOLVIDO 6: Prove que 2 + 3 irracional.
EUREKA! N33, 2011
14
2 + 3 x 2 = 3 x2 1 = 2 2 x x4 2x2 + 1 = 8x2
x4 10x2 + 1 = 0. Logo pelo teorema acima as razes racionais da equao s
podem ser 1 ou 1, que claramente no so solues (em ambos os casos o valor
numrico do polinmio 8). Logo esse polinmio s possui razes irracionais,
portanto 2 + 3 irracional.
Soluo: Seja x =
EXERCCIOS PROPOSTOS:
2
3
7
sen
=
.
7
7
7
8
2) (Vietn 1982) Ache a, b, c inteiros tais que as razes da equao ax2 + bx + c = 0
so cos 720 e cos 1440.
1) (EUA) Prove que sen
sen
3) (Prova de Seleo da Romnia para a IMO 1970): Prove que para todo inteiro
positivo n:
( n 1) tg n = 2n + 1.
2
3
tg
tg
tg
...tg
2n + 1
2n + 1
2n + 1
2n + 1
2n + 1
4) (Prova de Seleo da Sua para a IMO 2004): Sejam a, b, c, d nmeros reais
(a
Calcule os possveis valores de
+ b3 + c 3 ) ( a 4 + b 4 + c 4 )
2
(a
+ b5 + c5 )
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.
irracional.
7
10) Prove que tg2 10 + tg2 30 +....+ tg2 870 + tg2 890 = 4005.
EUREKA! N33, 2011
15
1
.
8
2
3
tg
= 7.
7
7
7
2
3
4
5
6
b) tg tg
tg
tg
tg
tg
= 13 .
13
13
13
13
13
13
a) tg
tg
2
3
tg 2
.
7
7
7
2
3
b) tg 2 + tg 2
.
+ tg 2
7
7
7
2
3
2
3
c) tg 2 tg 2
+ tg 2
tg 2 + tg 2
tg 2
.
7
7
7
7
7
7
2
4
1
15) Prove que cos cos
cos
= .
7
7
7
8
a) tg 2
tg 2
3
5
cos .
7
7
7
3
5
3
5
b) cos cos
+ cos
cos .
cos + cos
7
7
7
7
7
7
3
5
c) cos + cos
+ cos .
7
7
7
5
+ cos 2
d) cos 2 + cos 2
.
7
7
7
1
1
1
e)
.
+
+
3
5
cos
cos
cos
7
7
7
18) Prove que tg 810 tg 630 + tg 90 tg 270 = 4.
a) cos
cos
16
,cos
3
5
,cos .
7
7
+ arctg v + arctg w.
5
13
+ cossec
+ cossec
= 6.
18
18
18
21) Prove que tg 200. tg400. tg 600. tg 800 = 3.
20) Prove que cossec
a) a3 + b3 + c3 = 3abc.
a 2 + b 2 + c 2 a 5 + b5 + c 5 a 7 + b 7 + c 7
=
.
b)
2
5
5
3
.
8
2
3
24) Prove que cot g 2 + cot g 2
+ cot g 2
= 5.
7
7
7
4
7
25) Calcule o valor da expresso tg + tg
+ tg
.
9
9
9
23) Prove que sen20 sen40 sen80 =
REFERNCIAS
[1] MIRANDA, Marclio. Problemas Selecionados de Matemtica ITA-IME Olimpadas,
Volume 1, Fortaleza (CE), Editora Vestseller, 2010.
[2] ANDREESCU, Titu; FENG , Zuming. 103 Trigonometry Problems from the Training
of the USA IMO Team, Birkhauser, 2004.
[3] ANDREESCU, Titu; GELCA, Razvan. Putnam and Beyond. New York: SpringerVerlag, 2006.
[4] DOMINGUES, Hygino. Fundamentos de Aritmtica, So Paulo, Atual Editora, 1991.
SITES ACESSADOS
[1] The IMO Compendium, Disponvel em
<http://www.imomath.com/index.php?options=oth|other&p=0>, Acesso em: 10/08/2009.
[2] Treinamento do Cone Sul. Disponvel em: < http://treinamentoconesul.blogspot.com/>,
Acesso em: 12/08/2009.
[3]Notas de Aula de Kin Yin Li. Disponvel em:
<http://www.math.ust.hk/~makyli/190_2003Fa/lect-notes_03fa.pdf>, Acesso em:
15/08/2009.
[4] Pgina de Olimpada da Sociedade Canadense de Matemtica. Disponvel em:
< http://www.cms.math.ca/Olympiads/ >, Acesso em: 20/07/2009.
[5] Matemtica Nick Puzzles. Disponvel em: < http://www.qbyte.org/puzzles/>, Acesso
em : 15/11/2009.
[6] Olimpada Brasileira de Matemtica. Disponvel em: <http://www.obm.org.br >, Acesso
em: 20 /11/2009.
EUREKA! N33, 2011
17
(a)
(b)
(c)
(d)
(e)
(f)
18
(g)
(h)
e b=
, cujos
valores substitudos nas relaes (e), (f), (g) e (h) fornecero as seguintes relaes
+
sen + sen = 2 sen
cos
2 2
+
sen sen = 2 sen
cos
2 2
+
cos + cos = 2 cos
cos
2 2
+
cos cos = 2 sen
sen
, que so as conhecidas
2 2
Frmulas de Transformao de soma em produto ou Frmulas de Prostafrese.
A FRMULA DE EULER
P ( x) = f ( x0 ) + f ( x0 )( x x0 ) + + f (
n)
( x0 )
( x x0 )
n!
=f (
k =1
k)
( x0 )
( x x0 )
k!
(i)
x 2 x3
xn
x 2 x3
e x = lim1 + x + + + + = 1 + x + + +
n
n!
2 3!
2 3!
A expresso da direita pode ser usada para definir ex para x para x complexo.
Analogamente demonstra-se que
19
(j)
x3 x5
xn
x3 x5
= x
+
+ (1) 2
sen x = lim x
+
n
n!
3! 5!
3! 5!
(k)
e que
2n
x2 x4
x2 x4
n x
cos x = lim1
+
+ + (1)
= 1
+
n
2
4!
(2n)!
2! 4!
(l)
Y2 Y4
Y3 Y5
e iY = 1
+
+ i Y
+
= cos Y + i sen Y
2
4!
3! 5!
(m)
e Z = e X (cos Y + i sen Y )
(n)
Z
( cosY cosY
1
=e
x1
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.
(1)
(2)
20
3x
x
x
sen = 2 sen cos x
2
2
2
5x
3x
x
sen
sen
= 2 sen cos 2 x
2
2
2
7x
5x
x
sen
= 2 sen cos 3 x
sen
2
2
2
sen
(3)
(2n 1) x
(2n 3) x
x
sen
= 2 sen cos(n 1) x
2
2
2
(2n + 1) x
x
(2n 1) x
sen
= 2 sen cos nx
sen
2
2
2
sen
x
x n
(2n + 1) x
sen = 2 sen cos jx
2
2
2 j =1
(n + 1) x
nx
sen cos
n
2
2
S 2 = cos jx =
x
j =1
sen
2
sen
(4)
(5)
(2n 1) x
(2n 3) x
x
cos
= 2 sen sen(n 1) x
2
2
2
x
(2n + 1) x
(2n 1) x
cos
cos
= 2 sen sen nx
2
2
2
cos
21
cos
(2n + 1) x
x
x n
cos = 2 sen sen jx
2
2
2 j =1
n
S1 = sen jx =
sen
j =1
(n + 1) x
nx
sen
2
2
x
sen
2
(6),
x
x
+ i sen , onde i 2 = 1 ; assim tem-se que
2
2
x
x
x
x
2n
x
x
= cos + i sen
2
2
(7)
2n
= cos nx + i sen nx
(
(
n
C 2 (C 2 n 1)
C n C n C n
(cos jx + i sen jx )
C + C ++ C =
=
C
(C 2 1)
C C 1
j =1
nx
sen
n
x
x
nx
nx
2 = S + iS
(cos jx + i sen jx ) = cos + i sen cos + i sen
2
1
2
2
2
2
sen x
j =1
2
nx
(n + 1) x
(n + 1) x
nx
sen
cos
sen
sen
2
2 +i
2
2
(8)
S 2 + iS1 =
x
x
sen
sen
2
2
2
2n
22
j =1
j =1
1 1
1 1
cos 2 x e cos 2 x = + cos 2 x , assim pode2 2
2 2
(9)
C 2 + C 4 + + C 2 n = C.
(
(
n
C n C n C n
(cos 2 jx + i sen 2 jx )
=
C C 1
j =1
2
sen x
n
(10)
(11)
23
S=
1 1
+ cos 2 x
2 2
n
1
1 cos(n + 1) x. sen nx
S 2 = cos 2 jx = [n + S] = n +
2
2
sen x
j =1
(13)
k =1
k =1
S1 = sen 3 kx e S 2 = cos 3 kx .
Seja C = cosx + isenx. Sendo C K = cos kx i sen kx pode-se escrever que
C k + C k
2
k
C C k
sen kx =
2i
cos kx =
Elevando-se
(14)
(15)
relao
3
(15)
) (
ao
cubo
tem-se
que
C C
C C
3 C C
=
sen 3 kx =
2i
8i
(17)
S1 = sen 3 kx = 3 sen kx sen 3kx
4 k =1
k =1
k =1
nx
(n + 1) x
sen sen
n
2
2
e observando-se que se
Por (6) tem-se que sen kx =
x
k =1
sen
2
D = cos 3 x + i sen 3 x teremos que:
k
3k
3 k
24
D 2 = cos 6 x + i sen 6 x
D 3 = cos 9 x + i sen 9 x
D n = cos 3nx + i sen 3nx
1
n
n
n
D 2 .D 2 D 2 D 2
S D = D + D 2 + D3 + + D n =
1
12
D D 2
(3n + 1) x
(3n + 1) x
+ i sen
cos
3nx
2
2
SD =
sen
3x
2
sen
2
(18)
(3n + 1) x
3nx
sen
sen
2
2
sen 3kx =
3x
k =1
sen
2
(19)
(n + 1) x
(3n + 1) x
3nx
nx
3 sen sen
sen
sen
1
2
2
2
2
S1 = sen 3 kx =
3x
x
4
k =1
sen
sen
2
2
(20)
sen 3kx
k =1
25
9x
3x
3x
cos = 2 sen sen 3x
2
2
2
15 x
9x
3x
cos
cos
= 2 sen sen 6 x
2
2
2
cos
3(2n 1) x
3(2n 3) x
3x
cos
= 2 sen sen(3n 1) x
2
2
2
3(2n + 1) x
3(2n 1) x
3x
cos
cos
= 2 sen sen 3nx
2
2
2
cos
3(2n + 1) x
3x
3x n
cos = 2 sen sen 3kx .
2
2
2 k =1
3nx
3(n + 1) x
sen
sen
n
2
2
sen 3kx =
, que exatamente a expresso (19).
x
3
k =1
sen
2
cos
Para o clculo de S 2 =
cos
k =1
) (
C k + C k
C 3 k + C 3 k + 3 C k + C k
=
que cos kx =
2
8
)
(21)
(22)
(n + 1) x
(3n + 1) x
3nx
nx
3 sen cos
cos
sen
1
2
2
2
2
S 2 = cos kx =
+
3x
x
4
k =1
sen
sen
2
2
26
(23)
cos 3kx
k =1
3x
3x
9x
sen
= 2 sen cos 3x
2
2
2
15 x
9x
3x
sen
sen
= 2 sen cos 6 x
2
2
2
sen
3(2n 1) x
3(2n 3) x
3x
sen
= 2 sen cos(3n 1) x
2
2
2
3(2n + 1) x
3(2n 1) x
3x
sen
sen
= 2 sen cos 3nx
2
2
2
sen
3x n
3x
3(2n + 1) x
sen
= 2 sen cos 3kx
2 k =1
2
2
3nx
3(n + 1) x
sen
cos
n
2
2
, que exatamente a parte real da
cos 3kx =
3x
k =1
sen
2
sen
expresso (18).
PROBLEMA 4 (IMO-62): Aqui proposto resolvermos a equao a seguir (observamos
27
(A)
Z 2 ( Z 6 1)
sen 3 x
Z +Z +Z =
= (cos 4 x + i sen 4 x )
2
( Z 1)
sen x
2
(B)
(C)
sen x
1
(sen 7 x sen x) = sen 3x. cos 4 x , ento teremos que a equao (A)
2
reduz-se a sen 7 x + sen x = 0 .
Como
2 sen 4 x. cos 3 x = 0
sen 4 x = 0 cos 3 x = 0
Logo, a soluo da equao proposta ser dada pelo conjunto
S = x
x=
k
( 2k + 1 )
( 2k + 1 )
x=
x=
,k
2
4
6
Z + Z + Z + Z nZ
S1 + iS 2 =
(1 Z )
2
n +1
nZ
1
2
2 n +1
2
(Z Z
1
2
( Z n 1)
1
2
(Z Z
1
2 2
2n + 1
2n + 1
n cos
x + isen
x
2
2 ( cosnx + isennx 1)
S1 + iS 2 =
x
x
2isen
4i 2 sen 2
2
2
EUREKA! N33, 2011
28
(1)
Observando-se que a parte real de (1) nos dar o valor de S1 e que a parte
imaginria nos dar o valor de S 2 tem-se, aps alguma manipulao algbrica que
n
S1 = jcosjx =
j =1
S2 =
j =1
( n + 1) cosnx ncos ( n + 1) x 1
x
2
( n + 1) sennx nsen ( n + 1) x
jsenjx =
x
4sen 2
2
,e
4sen 2
PROBLEMAS PROPOSTOS:
1) (URSS) Calcule o valor das somas
n
Obs: Cnk = denota o binomial n escolhe k.
k
2) (URSS) Mostre que
cos
2
4
6
2 n
1
+ cos
+ cos
+ + cos
= .
2n + 1
2n + 1
2n + 1
2n + 1
2
sen
( n + 1) sen + n
2
sen
sen
4+
5) Mostre que
29
n
2
cos
4 .
4 ++
2
n
2
2
cos
( n + 1) cos + n
sen
cos
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
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.
30
z2
z1
1
Re
1
1
z1 z2 sen ( 2 1 ) = Im { z2 z1} .
2
2
4 S 2 = Im { z2 z1} =
2
( z2 z1 z1 z2 )
2
( 2i )
31
1
2 z2
4
) ] [( z
1
1
2
2
2
4 z2 z1 (z2 z1 + z1 z2 ) = [2 z2 z1 (z2 z1 + z1 z2 )] [2 z2 z1 + (z2 z1 + z1 z2 )]
4
4
1
2
z1 z 2 ( z1 z 2
4
+ z2
z1 z 2
].
Notemos que:
i) z1 z 2
( z1 z 2
) = (z
2
z 2 + z 2 z1 )( z1 z 2 + z1 z 2 ),
ii) z1 + z 2
z1 z 2
= ( z1 + z 2 z1 z 2
)( z
+ z 2 + z1 z 2 ) .
1
( z1 z2 + z2 z1 )( z1 z2 + z1 z2 )( z1 + z2 z1 z2 )( z1 + z2 + z1 z2 )
4
( z1 + z 2 + z1 z 2 )
Nesse caso, pondo-se p =
, onde p o semi-permetro,
2
=
conclumos que:
4S 2 =
1
(2 p 2 z1 )(2 p 2 z 2
4
4 S 2 = 4( p z1 )( p z 2
S 2 = ( p z1 )( p z 2
S=
)(2 p 2 z
)( p z
)( p z
z2
z2
z2
) (2 p )
) ( p)
) ( p)
32
RAZES DA UNIDADE
( cos + i sen )
conciso: ( e
i n
zn 1 =
(z ),
k
0 k < n
em que = e 2k i n .
Razes da unidade tm um monte de aplicaes. Uma das mais imediatas
simplificar contas com funes trigonomtricas, usando estas frmulas aqui:
cos =
e i + e i
e i e i
; sen =
2
2i
sen
0 k < n
k
n
0 k < n
sen
k
k
k k 1
=
= k ( 1 )
n 0 k < n 2i
2i 0 k < n
0 k < n
33
k 1 n 1 ( ) 1
sen
=
1
n 2i 1
1
0 k < n
0 k < n
sen
k 1 2
2
1 2 + 1 2
=
+ 1 = i 1 2
= cotg
1 2
n 2i 1 1
+
2n
f n ,g n
[ x ] tais que
f n ( x )( x + 1) + g n ( x ) x 2 + 1 = 2
2r
f1 ( x )( x + 1) + g1 ( x ) ( x 2 + 1) = 2
2
f1 ( i )( i + 1) = 2 f1 ( i ) =
2
2
2
2 f1 ( x )( x + 1) = 2 + x ( x + 1)
2
= i
(1 + i )
g1 ( x ) ? Calma, coisas so feitas para
2
34
2n
x +1 =
x2 1
n
x2 1
x2 + 1 =
(x )
k
1 k 2n +1
k 1 ( mod 2 )
Escrevendo x = 1,
( 1)
2n
+1 =
( 1 ) 2 = ( 1 )
k
1 k 2n +1
k 1 ( mod 2 )
1 k 2n +1
k 1 ( mod 2 )
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
35
a = 1,b = 4 ,c = 6 ,d = 10 ,e = 11
Temos que provar que AO,BD,CE so concorrentes. Dada a escolha
esperta que fizemos, basta demonstrar que as retas BD e CE se intersectam em um
ponto real puro. Ou, em outras palavras, que se z o complexo comum a BD e CE
ento z = z .
Bem, para calcular equaes de retas, vamos a uma tcnica, ou melhor, um
teorema, bastante til (e que fica como exerccio para o leitor, haha!): Dados os
complexos p, q do crculo unitrio, a reta pq tem equao dada por
z + pqz = p + q
Temos ento:
=z
AO : z
BD : z + bd z = b + d
CE : z + cez = c + e
que equivale a
=z
AO : z
BD : z + 14 z = 4 + 110
CE : z + 17 z = 6 + 11
Basta provar que AO BD : z =
4 + 10
6 + 11
;
AO
CE
:
z
=
1 + 14
1 + 17
)(
fatorar este polinmio at a exausto... x18 1 = x9 1 x9 + 1 . Como raiz 18sima primitiva da unidade, o primeiro fator no contm como raiz. Assim
( )
36
+ 1 = ( x3 + 1)( x6 x3 + 1) . Pode-
se demonstrar (mas no ser necessrio) que este ltimo fator irredutvel. Ento
6 3 + 1 = 0, e de quebra 9 = 1.
Depois dessa volta toda, vamos ao que interessa: comparar as duas expresses de z:
4 + 10 6 + 11
=
1 + 14
1 + 17
( + )(1 + ) = (
( )(1 ) = (
4
10
17
+ 11 )(1 + 14 )
2 )(1 5 )
4 1 12 + 9 = 6 2 11 + 7
4 1 + 3 1 = 6 2 + 2 + 7
4 1 + 3 1 = 3 1 + 7
4 1 = 7
3 1 = 6
0=0
E fim!
Outra aplicao interessante das razes da unidade como marcadores. Veja este
problema:
PROBLEMA 4: Determine uma frmula fechada para
k
3k
SOLUO: Bem, algum a conhece algo parecido? Que tal o Binmio de Newton?
k z = (1 + z )
n
3k
Agora, j tem alguma ideia do que se pode fazer? Temos que filtrar os mltiplos de
3 desta expanso, e nada melhor que usar uma raiz cbica da unidade = e2 i 3 .
Substituindo z por 1, e 2 , temos
37
n
n
k = (1 + 1)
k
n k
n
n
n
2k
2 n
k
n
k = (1 + ) k (1 + + ) = 2 + (1 + ) + (1 + )
k
k
n
n
2 k = (1 + 2 )
k
k
Agora, se k mltiplo de 3,1 + k + 2 k = 3; caso contrrio, temos uma progresso
3k 1
= 0.
geomtrica de razo k 1, e portanto 1 + k + 2 k = k
1
Ou seja, matamos todos os no mltiplos de 3!
n
n
n
n
n
n
n
n +
3 = 2n + (1 + ) + (1 + 2 ) = 2n + ( 2 ) + ( ) = 2n + 2 ( 1)
2
3k k
n
2 n
2n + 2 ( 1) cos
n
3
=
3
3k k
A = p;
p xA x.
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
Vamos pensar em uma raiz p-sima da unidade, primitiva por sinal: = e2 i p . Veja
que = k tambm uma raiz p-sima da unidade, para k {1,2,3,..., p 1} .
Exclumos o 1 propositalmente, pois ele no ter propriedades to interessantes
quanto as outras razes (logo vers o porqu).
Os complexos
{ , , ,..., } = {1, ,
0
p 1
2k
jk
( f ( z )) = ( z
2
1) =
2
(z )
(z ) (z ) = (z ) (z ) =
j
0 j p 1
0 j p 1
1 j p
p +1 j 2 p
1 j 2 p
ap =
1 j1 j2 <...< j p 2 p
( )( ) ...( ) =
j1
j2
jp
0r p 1
c0 + c1 + c2 + ... + c p 1 p 1 = 2
Em outras palavras, zero do polinmio
39
cr r
g ( z ) = ( c0 2 ) + c1 z + c2 z 2 + ... + c p 1 p 1
Lembre-se que todo o raciocnio usado at aqui foi puramente combinatrio, e
vlido para qualquer que seja raiz p-sima da unidade (exceto o 1). Logo, todas
as razes p-simas primitivas da unidade so razes de g. Mas g tem grau p 1,
portanto:
f ( z)
= c p 1 (1 + z + z 2 + ... + z p 1 )
g ( z ) = c p 1
z 1
Igualando os coeficientes, c0 2 = c1 = c2 = ... = c p 1 .
2p
Mas c0 + c1 + c2 + ... + c p 1 = . Contagem dupla: cada p-subconjunto de S
p
contado em exatamente um dos ci , justamente aquele correspondente soma de
seus elementos mdulo p.
Resolvendo as equaes acima, conclumos que
c0 = 2 +
1 2p
2
p p
E fim!
Bem, que tal uns exerccios?
EXERCCIOS PROPOSTOS:
1) Determine o valor numrico da srie
j
n
n 1 1 j n
A+ B +C
2) Sejam x, y, z, A, B, C reais tais que
inteiro.
cos
40
4) Calcule sen
2
4
8
+ sen
+ sen .
7
7
7
2 i
com 0 l m, temos
k l ( mod m )
ak
0 k m
lk p ( k )
em que = e
2i
7) Mostre que
n
n
0 k n k
9) Seja 1 + x + x 2 + x 3 + x 4
496
( )
n 0.
0 k n
2n + 1 3 k
41
mundo.
1) (Problema 109 Sua, 2000, proposto na Eureka! 11) Seja q ( n ) a soma dos
((
de Reriutaba CE).
Como 20002000 = 22000 106000 , sua representao decimal a
representao decimal de 22000 seguida de 6000 zeros, e logo
SOLUO:
((
Portanto, q q 20002000
cada
667
dgito
no
mximo
9,
Por outro lado, como n e q(n) sempre deixam o mesmo resto na diviso por 9, o
((
)) ( (
))
da diviso de 22000 por 9. Mas, como 26 = 64 deixa resto 1 quando dividido por 9,
22000 = 26333+ 2 = ( 26 )
333
22 = 4
quando
dividido
por
9.
Como
))
((
q ( q ( q ( 2000 ) ) ) = 4.
n +1
5n 2 n 1
4
3
perfeito. Note que n 2 +
+ + > n 4 + n3 + n 2 + n + 1 para
=n +n +
2
4
2 4
42
n2 n 3
> 0 para todo n > 3). Por outro lado, para todo
4 2 4
2
n
n2
n , n 2 + = n 4 + n3 +
< n 4 + n3 + n 2 + n + 1.
4
4
n +1
n
, se n > 3 temos
ou k n 2 +
2
2
k 2 < n 4 + n3 + n 2 + n + 1 ou k 2 > n 4 + n 3 + n 2 + n + 1 Assim, basta olhar os
casos n {0,1, 2, 3} . Para n = 0, n 4 + n3 + n 2 + n + 1 = 1 = 12. Para n = 1,
Como, para todo k , temos k n 2 +
n = 2,
n 4 + n3 + n 2 + n + 1 = 5, que no quadrado perfeito. Para
4
3
2
para n = 3,
n + n + n + n + 1 = 31, que no quadrado perfeito, e,
4
3
2
2
Assim,
o
nico
primo
p
tal
que
n + n + n + n + 1 = 121 = 11 .
1 + p + p 2 + p3 + p4
quadrado perfeito p = 3.
yx
. Em particular,
2
yx
y , donde y x 2 y , e logo
2
y 1 = y 2 y + 1 > x, donde
y > x + 1. Assim, se 22 n < x0 < x1 < ... < x22 n1 < 32 n so os nmeros em questo,
temos
Em particular,
x j > 2n + j , j 0.
32 n > x22 n1 > ( 2n + 22 n 1 ) ,
2
e logo
43
( pn )
limitada. (Proposto
k 0
existe
j
com
1 j 40
tal
que
2
max ( pk + j , pk + j +1 ) max ( pk , pk +1 ) + 40000 (de fato, a afirmao implica que
3
pn 160000, para todo n n0 ; note que
existe n0
tal que
Para
todo
+
+
+
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
44
2 4n + 1
ou
3
4n 1
, para algum n 1 , e se k > 2 no for de nenhuma dessas formas
3
nenhum dos jogadores tem estratgia vencedora.
da forma
2 41 + 1
a B, B pode devolver 2 ou 4 a A, e,
3
41+1 1
em qualquer caso, A pode devolver 1 a B e ganhar o jogo. Se A entrega 5 =
3
a B, B pode devolver 4 ou 6 a A.
Se devolve 4, A pode devolver 1 a B e ganhar. Se devolve 6, A pode devolver 3 a B,
e ganhar a seguir, como vimos antes.
Para isso, note que, se A entrega 3 =
45
2 4n +1 + 1
a B, com
3
2 4n+1 2
4n+1 1
a A, caso em que A pode devolver
a B,
n 1, B pode devolver
3
3
2 4n+1 + 4
a A, caso em que A pode devolver
ganhando o jogo, ou B pode devolver
3
2 4n + 1
4n+ 2 1
a B, ganhando o jogo. De modo similar, se A entrega
a B, com
3
3
4n+ 2 4
4n+1 1
a A, caso em que A pode devolver
a B,
n 1, B pode devolver
3
3
4n+ 2 + 2
a A , caso em que A pode devolver
ganhando o jogo, ou B pode devolver
3
2 4n+1 + 1
a B, ganahndo o jogo.
3
Notemos que A sempre pode no mnimo empatar o jogo se k 3. De fato, se em
algum momento do jogo A entrega m 3 a B, B devolve no mnimo m 1, e A
pode devolver o triplo, que no mnimo 3 ( m 1) > m.
Em geral, podemos argumentar por induo: se A entrega
Assim, A pode devolver nmeros cada vez maiores, que em algum momento
ultrapassaro 1000k, empatando o jogo.
Veremos agora que B pode garantir o empate se A entrega um nmero que no
das formas descritas anteriormente. Mais precisamente, veremos que, se A envia
um
nmero
que
no
pertence
ao
conjunto
n
n +1
2 4 +1
4 1
, n 0
, n 1 , ento B pode devolver um nmero a
X :=
3
3
46
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.
47
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
{C1 , C2 ,..., Cm } no
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
esto definidos, se o conjunto (de pelo menos Ar + 1 ) pontos que pertencem a pelo
menos dois crculos de
definimos
{Cm +1} {C j , j Ar }
Ar +1 = Ar j m Pj
est contido em
{P1 ,..., Pm } ,
um
de
48
tal que Pjs pertence a C js1 ; associamos ento C js1 a Pjs . Fazemos isso at associar
Se,
} {
} {
i m + 1, si := j Pj Ci = j aij = 1 , temos,
si ni , i m, donde
s n ,
i =1
j m, n j = i Pj Ci = i aij = 1
para
i =1
mas
m +1
i =1
para
s = n = {( i, j ) a
m
e,
j =1
ij
= 1 , e sm +1 > 0,
(5 d ) = F
j i
j =0
2
j
2
n
onde F1 = 0, F1 = 1 e Fn = Fn 1 , Fn 2 se n 2.
n 1
2 j
n
3 + 2cos
j =1
Temos
e 2 j i n 1 = ( e 2 j i n 1)( e 2 j i n 1) = 2 e
2
49
2 j i n
2
= Fn .
2 j
e 2 j i n = 2 2cos
n
2 j
2
= Fn . Considere agora a sequncia de polinmios
n
dada por f 0 ( x ) = 2, f1 ( x ) = x e f n +1 ( x ) = xf n ( x ) f n 1 ( x ) , n 1.
3 + 2cos
j =1
( f ( x ))
n
n0
2 k
, k , temos
n
n 1
n 1
2 j f n ( x ) 2
2 k
donde
.
f n ( x ) 2 = x 2cos
,
n
1,
x 2cos
=
x2
n
n
j =1
k =0
O que queremos provar equivale a
n 1
2 j f n ( 3) 2
1
n 1
= ( f n ( 3) 2 ) , o que
( 1) Fn2 = 3 2cos
=
n
3
2
5
j =1
n
n
1 1 + 5 1 5
Fn =
, n 0, temos
5 2 2
3 + 5 3 5
2 + ( 1) 5F =
+
. Por outro lado, a sequncia
2
2
2
n
3+ 5 3 5
3 5
), xn =
+
,n 0,
2
2 2
50
O1
R
R2
O
O2
O3
OA
TA
Y
r
O
TB
OC
OB
C
Como sempre, A = , B = e C = , + + = .
Vamos calcular ra , para comear:
AOA + OATA + TAO = AO AOA + OATA = AO OTA
r
r
AOA X : AOA = a ; AOY ; AO =
. Substituindo:
sen
sen
2
2
51
1 sen
1 sen 2
ra
2
+r =
r ra = r
=
, ou
a
r
1 + sen
sen
sen
1 + sen
2
2
2
2
Como precisaremos de um quadrado, vamos aplicar um truque: a tangente do
meio arco.
ra
1 tan
1 + tan
Para
1 + tan
1 tan
1 + tan
escrever
4 +
1 2 tan
1 tan
1 + tan
menos,
1 tan
2 =
4 =
4
4 =
4 .
1 + tan
1 + sen
2 tan
1 + 2 tan + tan 2
2 1+
4
4
4
4
2
1 + tan
4
Com isto, j podemos substituir na igualdade que queremos demonstrar:
1 sen
2 tan
1 tan
1 + tan
+ tan 2
4+
a = tan
seja
1 tan
1 + tan
, b = tan
1 tan
1 + tan
4 =1
, c = tan .
4
4
Abrindo
os
denominadores,
(1 a )(1 b )(1 + c ) + (1 a )(1 + b )(1 c ) + (1 + a )(1 b )(1 c ) = (1 + a )(1 + b )(1 + c )
3 ( a + b + c ) ( ab + ac + bc ) + 3 ( abc ) = 1 + ( a + b + c ) + ( ab + ac + bc ) + ( abc )
1 ( a + b + c ) ( ab + ac + bc ) + ( abc ) = 0 .
Mas isto fcil?
+ tan +
4
4 4 =
1 = tan = tan + + =
4
4 4 4 1 tan tan +
4
4 4
tan
52
tan
=
tan
+ tan
1 tan
tan
4 =
tan 4 + tan 4
1 tan
4
1 tan
tan
tan
1 tan
+ tan
tan
+ tan
tan
tan
tan
tan
tan
tan
tan
137) Seja A um conjunto de quinze pontos de 2 tal que a distncia de cada ponto
origem positiva e menor do que 1 e que quaisquer dois deles nunca sejam
colineares com a origem. Mostre que existe um tringulo com dois vrtices em A e
1
um na origem cuja rea menor que .
4
SOLUO DE ITAMAR SALES DE OLIVEIRA FILHO (CEDRO CE)
1
x
y
3
2
15
53
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.
( x, y , z )
x y z mltiplo de 3.
PROVA: Suponhamos, por absurdo, que x e y no so mltiplos de 3. Ento
x y z mltiplo de 5.
EUREKA! N33, 2011
54
( x, y , z )
x y z mltiplo de 4.
Suponhamos, por absurdo, que x e y so mpares. Ento
x 2 + y 2 2 ( mod 4 ) , absurdo. Portanto x ou y tem que ser par. Se x for par, mas no
PROVA:
(II)
55
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 .
p2 a , ter-se- p1 p2 a .
DEMONSTRAO: p1 a k
como
( p1 , p2 ) = 1, conclui-se
p2 k k1
que
= k1 p2 .
Finalmente,
a = k1 p1 p2 p1 p2 a .
Note-se, inicialmente, que 1897 = 7 271. Escreva-se, ento:
(ii)
Assim, temos, pelo Lema, que 2903n 464n 803n + 261n 0 ( mod1897 ) , n
como se quis demonstrar.
EUREKA! N33, 2011
56
(i)
1
nT n
S (T ) =
todo
inteiro
k 1
1
1
1 d 8 9k 1
2 1
d 1
+
8
+
...
+
8
=
(
)
(
)
11
1021
10d 1 k =1 10k 1
n < (8 9 ) 10
1
11
n X
( )
9k 1
k 1
k =1 10
d
S ( X ) S X < 8
S ( X ) < 8
1 ( 9 /10 )
1 ( 9 10 )
d
= 80 1 ( 9 10 ) < 80
57
( )
d
d
9 k 1
9k 1
9 k 1
5
5
+
=
k 1
k 1
k 1
k =1 10
k =1 5 10
k =1 10
d
S ( X ) S X < 4
S ( X ) < 5
1 ( 9 10 )
d
= 50 1 ( 9 10 ) < 50 < 80 .
1 ( 9 10 )
Prob. 140
Prob. 133, 137, 138, 139, 140, 141
Prob. 140
Prob. 137, 138, 140.
Prob. 136
Prob. 136
Prob. 138
Prob. 136
Prob. 138 e 140
Prob. 136
Prob. 140
Prob. 133 e 136
Prob. 136
Prob. 140
58
PROBLEMAS PROPOSTOS
143)
Determime
todas
as
f , g,h :
funes
f ( xy ) = g ( x + y ) + h ( x + y ) , x, y .
3
tais
que
144) Seja x 1 um nmero racional tal que existe uma constante c 0 e uma
sequncia ( an )n1 de inteiros tal que lim ( cx n an ) = 0. Prove que x inteiro.
n
145)
Encontre
todos os nmeros
2
3
p cos + q cos
+ r cos
= 1.
7
7
7
racionais
p,
q,
de
modo
que
de modo que:
a) A B = B C = C A = .
b) A B C = .
c) para quaisquer a A, b B e c C , temos: a + c A, b + c B e a + b C.
( 1)
( 1)
=n+
2
( 2k + 1)
k =0
sen
n2
4n 2
n k
.
m
k =0
n 1
59
Prove que
(a b)
( a b)
(c a)
3 3.
Problema 142 adaptado de um problema proposto por Anderson Torres (Santana de Parnaba
SP); 143 proposto por Anderson Torres (Santana de Parnaba SP); 144, 145 e 146
propostos por Carlos da Silva Ramos (Belm PA); 147 e 148 propostos por Marcos
Martinelli; 149 adapatado de um problema proposto por Anderson Torres (Santana de
Parnaba SP); 150 adaptado de um problema proposto por Adriano Carneiro (Caucaia CE).
60
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
61
COORDENADORES REGIONAIS
Alberto Hassen Raad
Amrico Lpez Glvez
Antonio Carlos Nogueira
Benedito Tadeu Vasconcelos Freire
Bruno Holanda
Carmen Vieira Mathias
Claus Haetinger
Cludio de Lima Vidal
Denice Fontana Nisxota Menegais
Disney Douglas Lima de Oliveira
Edson Roberto Abe
Edney Aparecido Santulo Jr.
Fbio Brochero Martnez
Florncio Ferreira Guimares Filho
Francinildo Nobre Ferreira
Genildo Alves Marinho
Herivelto Martins
Gilson Tumelero
Ivanilde Fernandes Saad
Joo Bencio de Melo Neto
Joo Francisco Melo Libonati
Diogo Diniz
Jos Luiz Rosas Pinho
Jos Vieira Alves
Jos William Costa
Krerley Oliveira
Licio Hernandes Bezerra
Luciano G. Monteiro de Castro
Luzinalva Miranda de Amorim
Marcelo Dias
Marcelo Antonio dos Santos
Marcelo Rufino de Oliveira
Newman Simes
Nivaldo Costa Muniz
Osnel Broche Cristo
Uberlndio Batista Severo
Raul Cintra de Negreiros Ribeiro
Reginaldo de Lima Pereira
Reinaldo Gen Ichiro Arakaki
Ricardo Amorim
Ronaldo Alves Garcia
Rogrio da Silva Igncio
Rosangela Ramon
Srgio Cludio Ramos
Seme Gebara Neto
Tadeu Ferreira Gomes
Toms Menndez Rodrigues
Valdenberg Arajo da Silva
Vnia Cristina Silva Rodrigues
Wagner Pereira Lopes
Wanderson Breder
William Serafim dos Reis
(UFJF)
(USP)
(UFU)
(UFRN)
(CAEN UFC)
(UNIFRA)
(UNIVATES)
(UNESP)
(UNIPAMPA)
(UFAM)
(Colgio Objetivo de Campinas)
(UEM)
(UFMG)
(UFES)
(UFSJ)
(Centro Educacional Leonardo Da Vinci)
(USP So Carlos)
(UTFPR)
(UC. Dom Bosco)
(UFPI)
(Grupo Educacional Ideal)
(UFPB)
(UFSC)
(UFPB)
(Instituto Pueri Domus)
(UFAL)
(UFSC)
(Sistema Elite de Ensino)
(UFBA)
(Grupo Educacional Etapa)
FACOS
(Grupo Educacional Ideal)
(Cursinho CLQ Objetivo)
(UFMA)
(UFLA)
(UFPB)
(Colgio Anglo)
(Escola Tcnica Federal de Roraima)
(UNIFESP)
(Centro Educacional Logos)
(UFGO)
(Col. Aplic. da UFPE)
(UNOCHAPEC)
(IM-UFRGS)
(UFMG)
(UEBA)
(U. Federal de Rondnia)
(U. Federal de Sergipe)
(U. Metodista de SP)
(CEFET GO)
(CEFET RJ)
(UFT TO)
62
Juiz de Fora MG
Ribeiro Preto SP
Uberlndia MG
Natal RN
Fortaleza CE
Santa Mara RS
Lajeado RS
S.J. do Rio Preto SP
Bag RS
Manaus AM
Campinas SP
Maring PR
Belo Horizonte MG
Vitria ES
So Joo del Rei MG
Taguatingua DF
So Carlos SP
Pato Branco PR
Campo Grande MS
Teresina PI
Belm PA
Campina Grande PB
Florianpolis SC
Campina Grande PB
Santo Andr SP
Macei AL
Florianpolis SC
Rio de Janeiro RJ
Salvador BA
So Paulo SP
Osrio RS
Belm PA
Piracicaba SP
So Luis MA
Lavras MG
Joo Pessoa PB
Atibaia SP
Boa Vista RR
SJ dos Campos SP
Nova Iguau RJ
Goinia GO
Recife PE
Chapec SC
Porto Alegre RS
Belo Horizonte MG
Juazeiro BA
Porto Velho RO
So Cristvo SE
S.B. do Campo SP
Jata GO
Nova Friburgo RJ
Arraias TO