Escolar Documentos
Profissional Documentos
Cultura Documentos
multiplicados, obtendo-se um
valor P e os nmeros das bolas que esto na caixa so
somados, obtendo-se um
valor S (se a caixa estiver vazia,
(2)
Pois,
( )( )( ) ( )( ) ( )( ) 2 2 2 ...2 2 1 2 3 ...1 2 2 2 1 2 2 ...2.1
! ! ! !
n n n n n n n n
n n n n n
( | |
= = =
|
\
( ) ( ) ( ) ( )( ) ( )( ) 2 ! 2 1 2 3 ...1 2 2 1 ...2 1 2 1 2 3 ...1
! ! ! !
n
n n n n n n n
n n n n
( (
= =
( )( ) ( )
1
2 2
2 1 2 3 ...1 2 1 .
! !
n n n
i
n n i
n n
=
| | | |
=
| |
\ \
Seja k No mximo expoente de 2 tal que 2 ,
k
n isto ,
1
2 2 .
k k
n
+
<
Assim,
2
log 1, k n k < + isto ,
2
log . k n = (
Note que em n! h
2
j
n
k
(
=
(
fatores que so mltiplos de 2 ,
j
para todo
{ } 1,..., . j k Logo o expoente do fator 2 em ! n dado por,
2
log
1 1
... .
2 2 2 2
n
k
k j j
j j
n n n n
(
= =
( ( ( (
+ + = =
( ( ( (
(3)
Portanto, da definio dada em (1) e das equaes (2) e (3) temos:
( )
2
log
1
2
n
j
j
n
f n n
(
=
(
=
(
(4)
e podemos escrever
( )
2
2 ,
f n
n
c
n
| |
=
|
\
em que 2 | c. (5)
Agora,
2 2
log log
1 1 1
1,
2 2 2
n n
j j j
j j j
n n n
n n
( (
= = =
( (
< =
( (
donde, da equao (4), resulta que
( ) ( ) 1 1. f n n n =
Logo, da equao (5),
2
2
n
n
| |
|
\
pois ( ) 1. f n
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
20
3. SOLUO POR ARGUMENTO COMBINATRIO
Teorema 1 Para todo
*
2
, 2 .
n
n
n
| |
|
\
N
Prova: Para todo
*
, nN o nmero de parties no-ordenadas de um conjunto de 2n
elementos em dois subconjuntos de n elementos cada, dado por
2
.
2!
n n
n n
| || |
| |
\ \
Claramente, o referido nmero de parties um inteiro positivo, donde segue que
*
2
,
2!
n n
n n
| || |
| |
\ \
N e portanto,
2
2 .
n
n
| |
|
\
4. COMENTRIOS
A soluo por argumento combinatrio claramente mais objetiva; por outro lado,
da soluo aritmtica podem ser obtidos os seguintes resultados:
O expoente da maior potncia de um primo p que divide n!
log
1 1
,
p
n
j j
j j
n n
p p
(
= =
( (
=
( (
(6)
pois o argumento do qual se obtm a equao (3) pode ser repetido para um primo
p qualquer. Este resultado foi provado por Legendre em 1808.
O expoente r da maior potncia, de um nmero no nulo
1
i
k
i
i
m p
=
=
=
(
= =
` ` (
) )
(7)
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
21
Na prova da paridade do nmero binomial mdio dada em [8], exerccio 39 pgina
235, usado um argumento combinatrio juntamente com propriedades aritmticas
da fatorao do nmero binomial mdio. Ei-la:
( ) ( )
( )
( )
( )
2 2 1 2 ! 2 2 1 ! 2 1 !
2 2
! ! 1 ! ! 1 ! !
n n n n n n
n n n n n n n n n
| | | |
= = = =
| |
\ \
par.
5. EXERCCIOS
Prove via argumentos combinatrios que:
a)
...
0 1 1 0
n m n m n m n m
r r r r
+ | | | || | | || | | || |
= + + +
| | | | | | |
\ \ \ \ \ \ \
Soluo: Consideremos um grupo de n + m pessoas em que h n homens e m
mulheres.
O nmero de subconjuntos de tamanho r do grupo das n + m pessoas .
n m
r
+ | |
|
\
Por outro lado, particionando os subconjuntos em relao quantidade de homens
e mulheres neles presentes, temos um total de
0
n m
r
| || |
| |
\ \
deles em que no h
nenhum homem presente e r mulheres,
1 1
n m
r
| || |
| |
\ \
em que h 1 homem presente e
1 r mulheres ...
0
n m
r
| || |
| |
\ \
em que h r homens presentes e nenhuma mulher.
b)
n n
p n p
| | | |
=
| |
\ \
c)
2
0
2
n
k
n n
n k
=
| | | |
=
| |
\ \
(Frmula de Lagrange)
Soluo: Do item a com m e r iguais a n e do uso da identidade dada em b, segue-se
o resultado, pois:
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
22
...
0 1 1 0
n n n n n n n n
n n n n
+ | | | || | | || | | || |
= + + +
| | | | | | |
\ \ \ \ \ \ \
2
0
...
0 0 1 1
n
k
n n n n n n n
n n k
=
| || | | || | | || | | |
= + + + =
| | | | | | |
\ \ \ \ \ \ \
d) ( )
1
1
1 1
n n n
k n k n
k k k
| | | | | |
= + =
| | |
\ \ \
Soluo: Considere um grupo de n pessoas pertencentes a uma empresa, dentre as
quais k constituem uma diretoria em que h um nico diretor-presidente e todos os
demais membros tm iguais poderes. Podemos configurar a diretoria das trs
seguintes formas, em que o total de possibilidades de cada uma delas representa,
respectivamente, cada um dos termos das igualdades dadas no item d.
1. Escolher a diretoria e depois o diretor-presidente;
2. Escolher os k 1 membros de iguais poderes pertencentes a diretoria e depois o
diretor-presidente.
3. Escolher o diretor-presidente entre as n pessoas pertencentes a empresa e depois
os k 1 indivduos que completaro a diretoria.
e)
1
1
n
i k
n i
k k
=
| | | |
=
| |
\ \
=
| |
=
|
\
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
23
Soluo: Considere uma empresa formada por n funcionrios dentre os quais ser
formada uma diretoria de no mximo n pessoas, a qual constituda de um nico
diretor-presidente escolhido entre os membros pertencentes diretoria.
O lado esquerdo da igualdade representa o total de configuraes das diretorias
possveis, obtidas primeiramente a partir da determinao dos k membros
pertencentes diretoria, seguindo-se da determinao de seu diretor-presidente
entre os k membros da diretoria.
O lado direito da igualdade representa o total de configuraes das diretorias
possveis, obtidas primeiramente escolhendo-se o diretor-presidente e em seguida
determinando-se para cada um dos demais n 1 membros se pertencero ou no
diretoria.
g) ( )
2 2
1
2 1
n
n
k
n
k n n
k
=
| |
= +
|
\
h) ( )
3 3 2
1
2 3
n
n
k
n
k n n
k
=
| |
= +
|
\
i) 2
n
n i
j i
n j n
j i i
=
| || | | |
=
| | |
\ \ \
j) (British Mathematical Olympiad [4]) Para todo ( ) , m n
+ +
Z Z
( ) ( ) ( ) { }
2 1 1
! ! !
n m
m n mn
+ +
Soluo: Sejam
1
P e
2
, P respectivamente, o nmero de maneiras de dividir mn
pessoas em n grupos de m pessoas e m grupos de n pessoas. Tem-se que:
( )
( )
( )
( )
1 2
! !
,
! ! ! !
n m
mn mn
P P
m n n m
+ +
= = Z Z e, portanto,
( ) { }
( ) ( )
2
1 2 1 1
!
,
! !
n m
mn
P P
m n
+
+ +
= Z isto , ( ) ( ) ( ) { }
2 1 1
! ! !
n m
m n mn
+ +
k) (XIV Olimpada Internacional de Matemtica [5]) Quaisquer que sejam os
inteiros naturais m e n, temos:
( ) ( )
( )
2 ! 2 !
.
! ! !
m n
m n m n
+
N
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
24
Soluo: Seja p um primo arbitrrio. A maior potncia de p que divide o numerador
da frao acima
a
p onde
1
2 2
i i
i
m n
a
p p
=
| | ( (
= +
|
( (
\
ao passo que a maior potncia de p que divide seu denominador
b
p com
1
.
i i i
i
m n m n
b
p p p
=
| | ( ( ( +
= + +
|
( ( (
\
Basta mostrar que . a b
Para qualquer k inteiro maior ou igual a 1 podemos escrever
1
m m k r = + e
1
n n k s = + em que
1 1
0 1, 0 1, e r k s k m n so inteiros.
Assim,
1 1
2 2 2 2
2 2
m n r s
m n
k k k k
( ( ( (
+ = + + +
( ( ( (
(8)
e
( )
1 1 1 1
m n m n r s r s
m n m n
k k k k k k
+ + ( ( ( ( ( (
+ + = + + + + + +
( ( ( ( ( (
(9)
1 1
2 2 .
r s
m n
k
+ (
= + +
(
Como
{ } 2max , 2 2
,
r s r s r s
k k k k
( + ( ( (
+
(
( ( (
por (8) e (9) temos
2 2 m n m n m n
k k k k k
+ ( ( ( ( (
+ + +
( ( ( ( (
para todo 1 k e, em particualr, para k da forma ,
i
k p = donde segue
imediatamente que . a b
l) Dada a srie
1
1
:
2
k
S
k
k
=
=
| |
|
\
l.1) mostre que a srie convergente, isto , ; S <
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
25
Soluo: A partir da Frmula de Lagrange, apresentada no item c) desta seo, tem-
se que
2 2
2
0
2
,
1
n
j
n n n
n
n j
=
| | | | | |
= > =
| | |
\ \ \
(10)
e portanto, segue de (10) que
2
2
1 1
1 1
.
2 6
n n
n n
n
= =
< =
| |
|
\
Ou ainda, da equao (2) tem-se que, para 1, n >
2
2 ,
n
n
n
| |
>
|
\
donde segue que
1 1
,
2 2
n
n
n
<
| |
|
\
e se n = 1, resulta que
1 1
.
2 2
n
n
n
=
| |
|
\
Portanto
1 1
1 1
1.
2 2
n
n n
n
n
= =
< =
| |
|
\
l.2) prove tambm que
2 8
;
3 9
S < <
Soluo: A partir da equao (2) tem-se que
( )
1
2
2 1
,
! 2
n
i
n
n
i
n
n
=
| |
|
\
=
| |
|
\
= < < = (11)
De (11) resulta que
2 1 2 1
1 1
,
2 2 2
n n
n
n
n
< <
| |
|
\
e portanto,
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
26
2 1 2 1
1 1 1
1 1
.
2 2 2
n n
n n n
n
n
n
= = =
< <
| |
|
\
(12)
Os limitantes so obtidos a partir do clculo das somas dadas em (12).
1
4
2 1 2
1
1 1
4
1 1 2
2 2
2 2 1 3
n n
n n
= =
| |
= = =
|
\
e
2 1 2 2 4 4 6 6 6
1 1
1 1 1 1 1 1
2 2 ...
2 2 2 2 2 2 2 2
n n
n n
n n
= =
( ( (
= = + + + + + + =
`
( ( (
)
2 4 6 4 6 6 8
1 1 1 1 1 1 1
2 ... ... ...
2 2 2 2 2 2 2
( ( (
+ + + + + + + + + =
`
( ( (
)
2 4 6
2 2 2
1 1 1
2 2 2
2 4 6
1 1 1
2 2 2
8 1 1 1
2 ... ...
1 1 1 3 2 2 2
+ + + = + + + =
` `
)
)
2
2
1
2
1
2
8 8
.
3 1 9
=
`
)
l.3) Finalmente, prove que 0, 73639 0, 73641. S < <
Soluo: Das desigualdades estabelecidas em (12), resulta que
*
k N
2 1 2 1
1 1 1 1 1
1 1 1 1
.
2 2 2 2 2
k k
n n
n n k n n n k
n
n n n
n n n
= = + = = = +
+ < < +
| | | | | |
| | |
\ \ \
(13)
Analogamente ao que foi feito no item 12, temos que:
2 1 2 1 2 3 2 1
1
1 1 1 1 1
...
2 2 2 3 2
n k k k
n k
+ +
= +
| |
= + + =
|
\
(14)
e tambm
2 1 2 1
1
4 1
.
2 3 9 2
n k
n k
n k
= +
| | (
= +
|
(
\
(15)
Pois,
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
27
2 1 2 1 2 3 2 5
1
1 2 3
...
2 2 2 2
n k k k
n k
n k k k
+ + +
= +
+ + +
= + + =
( )
2 1 2 3 2 3 2 5 2 5 2 7
1 1 1 1 1 1
1 ... ... ... ...
2 2 2 2 2 2
k k k k k k
k
+ + + + + +
( ( (
+ + + + + + + + + + =
( ( (
( )
2 1 2 3 2 5
1 1 1
2 2 2
1 ...
1 1 1
1 1 1
4 4 4
k k k
k
+ + +
( ( (
( ( (
+ + + + =
( ( (
( ( (
( )
2 1 2 3 2 5
4 1 4 1 1
1 ...
3 2 3 2 2
k k k
k
+ + +
( (
+ + + + =
( (
( )
2 3
2 1
1
1 1 4
2
1
1
3 2 3
1
4
k
k
k
+
(
(
(
+ + =
(
(
(
( )
2 1 2 1
1 1 1 1
1
3 2 9 2
k k
k
( (
+ + =
( (
2 1
4 1
.
3 9 2
k
k
| | (
+
|
(
\
De (14) e (15) resulta que
2 1 2 1
1 1 1
1 1 1 1 1 4 1
.
2 2 2 3 2 3 9 2
k k
k k
n n n
k
n n n
n n n
= = =
| | | | (
+ < < + +
| |
(
| | | | | | \ \
| | |
\ \ \
(16)
Para estabelecermos o resultado no item l.3, suficiente tomarmos k = 10 em (16).
Observao: A srie
1
1
2
n
n
n
=
| |
|
\
= =
Agora, busquemos tentar descobrir quantos empates os outros times tiveram. Como
cada vitria vale 3 pontos e cada empate vale 1 ponto, descobrir a quantidade de
empates fica fcil. Veja por que:
3 (vitrias) + empates = pontos
Empates = pontos 3 (vitrias) (6)
Da, aplicando a equao (6) para os times, exceto o Alianza Lima, temos que:
Cear: 10 3 3 = 1 empate
Palmeiras: 8 3 2 = 2 empates
Boca Juniors: 5 3 1 = 2 empates
America = 3 3 1 = 0 empates.
Os times, exceto o Alianza Lima, possuem: 3 + 2 + 1 + 1 = 7 vitrias.
Da, sendo x e y, respectivamente, a quantidade de vitrias e empates do Alianza
Lima, temos, pelas equaes anteriores, que:
Pela equao (1), derrotas = vitrias = x + 7
Pela equao (2), empates = y + 1 + 2 + 2 = y + 5 par, y mpar
Pela equao (3), (x + 7) + (y + 5) + (x + 7) = 2 10 = 20
2x + y + 19 = 20
2x + y = 1
Sabemos que x e y so nmeros positivos. Logo, x = 0 e y = 1.
Em outras palavras, o Alianza Lima venceu 0 jogos e empatou 1 jogo. Logo, ele
fez 1 ponto.
Para saber quantos gols o Boca Juniors fez, basta aplicar a equao (4) do comeo.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
39
Sendo z a quantidade de gols que o Boca Juniors fez, temos que:
Pela equao (4), 4 + 7 + 2 + 1 + 0 = 0 + 1 + z + 4 + 6 14 = z + 11 z = 3
b) Para comear, calculemos o nmero de derrotas de cada time, sabendo que cada
um jogou 4 jogos. Para facilitar, faamos a tabela abaixo, sabendo que j
calculamos o nmero de empates de cada time no item anterior:
Time Ptos Jogos V E D GF GC
Cear 10 4 3 1 4 3 -1 = 0 4 0
Palmeiras 8 4 2 2 4 2 2 = 0 7 1
Boca Juniors 5 4 1 2 4 1 2 = 1 2 3
Amrica 3 4 1 0 4 1 0 = 3 1 4
Alianza Lima 1 4 0 1 4 0 1 = 3 0 6
Da, como Cear e Palmeiras no perderam e, alm disso, o Cear no tomou gol,
logo teremos que o jogo entre Cear e Palmeiras terminou empate e, alm disso:
Cear 0 0 Palmeiras
Alm do empate com o Cear, o Palmeiras empatou outra partida. Alm desse
empate, houve mais 2 empates em jogos do Boca Juniors e outro empate do
Alianza Lima. Se Palmeiras e Alianza Lima empataram, o Boca Juniors ter
empatado 2 vezes contra no se sabe quem, o que absurdo. Logo, houve empates
entre Palmeiras e Boca Juniors e entre Boca Juniors e Alianza Lima. Como o
Alianza Lima no fez gol, logo temos que:
Boca Juniors 0 0 Alianza Lima
Alm do empate com o Boca Juniors, o Alianza Lima perdeu todas as outras
partidas. Inclusive o jogo contra o Amrica. O Amrica s fez um gol, logo s h
um resultado possvel para o jogo entre Amrica e Alianza Lima:
Amrica 1 0 Alianza Lima
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
40
Logo, nos jogos entre Alianza Lima ou Amrica contra Cear, Palmeiras ou Boca
Juniros, os times Alianza Lima e Amrica no fizeram gol. Portanto, o gol que o
Palmeiras levou foi contra o Boca Juniors em jogo que terminou empate. Logo,
temos mais um resultado:
Palmeiras 1 1 Boca Juniors
O Boca Juniors fez 2 gols e levou 3. Considerando que o Boca Juniors teve 1 gol a
favor e 1 gol contra, no jogo contra o Palmeiras e um empate de 0 a 0 contra o
Alianza Lima, falta considerar a derrota contra o Cear e a vitria contra o
Amrica. A nica forma disso acontecer :
Cear 2 0 Boca Juniors
Boca Juniors 1 0 Amrica
O Cear fez 4 gols e levou 0. Sendo que ele venceu Alianza Lima e Amrica e fez
2 gols contra o Boca Juniors, logo s h uma possibilidade:
Cear 1 0 Alianza Lima
Cear 1 0 Amrica
Faltam apenas os jogos do Palmeiras contra o Alianza Lima e o Amrica. Como
sabemos os placares de Alianza Lima e de Amrica contra dos demais e o resultado
do jogo entre eles, logo temos que:
Palmeiras 4 0 Alianza Lima
Palmeiras 2 0 Amrica
Portanto, os 10 jogos esto com os resultados especificados.
A questo 1 um exemplo de uma idia importante: dividir o problema em casos e
resolv-los. Algumas outras idias podem ser aplicadas para resolver propriamente
o problema ou apenas para conseguir novas equaes para resolver o problema.
Outras idias importantes podem ser necessrias para resoluo dos problemas.
Vejamos mais 2 problemas cujas solues dependiam um pouco de algum
conhecimento sobre campeonatos e mais algumas outras idias.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
41
Problema 2: (OBM Nvel 1 2 fase 2009)
Um campeonato de xadrez de 7 rodadas, com 4 jogos por rodada, tem 8
participantes, cujas pontuaes por jogo so as usuais: um ponto por vitria, meio
ponto por empate e nenhum ponto por derrota. Cada par de jogadores se enfrenta
exatamente uma vez.
a) Ao trmino da terceira rodada, possvel que um grupo de jogadores esteja em
primeiro lugar e o restante dos jogadores esteja em segundo lugar? Explique por
meio de um exemplo.
b) Ao trmino da terceira rodada, possvel que todos os jogadores tenham
pontuaes diferentes? Explique.
Soluo:
a) Sim, basta na primeira rodada 4 jogadores vencerem e nas seguintes rodadas ser
tudo empate.
b) Cada jogador fez no mximo 3 1 = 3 pontos (vencendo todas) e no mnimo 0
pontos.
As possibilidades de pontuao de cada jogador so: 0; 0,5; 1; 1,5; 2; 2,5; 3. So 7
possibilidades para 8 jogadores, logo haver, pelo menos, 2 jogadores com a
mesma quantidade de pontos, pelo Princpio das Casas dos Pombos.
Na questo acima, vemos que uma forma interessante pensar nos casos de todos
empatarem todas as vezes ou, pelo menos, em uma determinada rodada. Isso pode
nos ajudar a entender ou resolver uma questo.
Na prxima questo, note que no importa a pontuao atribuda a uma vitria.
Importa apenas que no h empates, ou seja, h apenas vitrias e derrotas.
Problema 3: (OBM Nvel 2 3 fase 2006)
Em um torneio de tnis de mesa (no qual nenhum jogo termina empatado), cada
um dos n participantes jogou uma nica vez contra cada um dos outros. Sabe-se
que, para todo k > 2, no existem k jogadores J1, J2, , Jk tais que J1 ganhou de
J2, J2 ganhou de J3, J3 ganhou de J4, , J(k 1) ganhou de Jk, Jk ganhou de J1.
Prove que existe um jogador que ganhou de todos os outros e existe um jogador
que perdeu de todos os outros.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
42
Soluo: Seja Jv o jogador que mais venceu. Suponhamos que o jogador Jv no
venceu todas. Ento, existe um jogador Jx que o venceu. Note que se existe um
jogador Ji que perdeu para Jv e venceu Jx, logo teremos que Jv ganhou de Ji que
ganhou de Jx que ganha de Jv, fato que no permitido pelo enunciado.
Logo todos os jogadores que Jv venceu, Jx venceu tambm. Mas, Jx venceu todos
os jogadores vencidos por Jv e o Jv, ou seja, ele venceu mais jogadores do que o
Jv. Absurdo! Portanto, se Jv o jogador que mais venceu, ele venceu todas.
A idia para mostrar que o jogador que mais perdeu, perdeu todas totalmente
anloga e fica como exerccio para o leitor.
Na questo acima, a ideia crucial para resoluo do problema olhar para os casos
de mximo e mnimo. Em questes alm desse assunto, essa idia, tambm, pode
fazer sentido e, por isso, ela de extrema importncia.
Em outras questes parecidas, podemos ter situaes onde pessoas conseguem
pontuaes em determinadas avaliaes. Geralmente, nesses casos, deve-se tentar
achar relaes, por meio de equaes. Nem sempre necessrio achar o valor das
variveis. Para exemplificar, veja o exemplo abaixo:
Problema 4: (Rioplatense Nvel A 2000)
As possveis pontuaes para um exame so 0, 1, 2, 3, 4. Depois da correo,
observou-se que o nmero de estudantes que obtiveram 3 pontos foi igual ao
nmero de estudantes que obtiveram 2 pontos. Alm disso, todos conseguiram,
pelo menos, 1 ponto. A soma de todos os pontos obtidos por todos os estudantes no
exame foi igual ao nmero de estudantes aumentado em 30. Encontre o nmero de
estudantes que conseguiram, pelo menos, 3 pontos.
Soluo:
Lembre-se que todo estudante fez, ao menos, 1 ponto.
Seja x o nmero de estudantes que conseguiram 1 ponto.
Seja y o nmero de estudantes que conseguiram 2 pontos.
Seja z o nmero de estudantes que conseguiram 3 pontos.
Seja w o nmero de estudantes que conseguiram 4 pontos.
Pelo enunciado, temos que:
y = z
x + 2y + 3z + 4w = x + y + z + w + 30
Substituindo a primeira equao acima na segunda acima, temos que:
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
43
x + 2z + 3z + 4w = x + z + z + w + 30 5z + 4w = 2z + w + 30 3z + 3w =
30z + w = 10
Logo, foram, pelo menos, 10 estudantes que conseguiram, pelo menos, 3 pontos.
Por ltimo, faamos mais uma questo que envolve achar relaes e equaes.
Note que na questo abaixo o resultado em gols de cada equipe no importa.
Problema 5: (Rioplatense Nvel A 2000)
Quatro equipes A, B, C e D disputam um torneio de futebol. Todos jogam contra
todos, uma nica vez. Em caso de vitria, a equipe vencedora obtm 3 pontos e o
perdedor 0 pontos. Em caso de empate, cada equipe obtm 1 ponto.
Ao final do torneio, as pontuaes das equipes A, B, C e D foram a, b, c e d.
Observou-se que a b c d e que a b = b c = c d
Encontre todas as possveis pontuaes finais das 4 equipes. Para cada uma dessas
possibilidades, construa uma tabela com os resultados dos jogos e justifique porque
estas so as nicas possveis pontuaes.
Por exemplo, uma pontuao final possvel : a = 3, b = 3, c = 3 e d = 3 e a tabela
:
A empata com B B empata com C
A empata com C B empata com D
A empata com D C empata com D
Soluo: Note que temos exatamente 6 partidas. Seja S = a + b + c + d; em outras
palavras, S igual soma total de pontos. Note que cada empate diminui o valor de
S, pois ao invs de somar 3 pontos, pontuao em caso de vitria, soma-se 2
pontos, 1 para cada time que empatou. Da, temos que S mximo acontece quando
no h empates e S mnimo acontece quando h somente empates. Ajeitando tudo
numa equao, temos que:
6 2 12 18 6 3 a b c d = + + + = (7)
Alm disso, temos que:
a b = b c a = 2b c
b c = c d d = 2c b
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
44
Substituindo as equaes acima na equao (7) e fazendo as contas, tem-se que:
12 < 2 (b + c) < 18
6 < b + c < 9
Agora, temos 4 casos:
1) b + c = 6. o caso onde tudo empate, pois corresponde minimalidade na
equao (7).
O caso que d certo aqui do enunciado.
2) b + c = 7. Como b > c, temos s 1 possibilidade:
2.1) b = 4, c = 3. Nesse caso, como a b = b c = c d = 1, logo temos que a = 5 e
d = 2. Como h, no mximo, 3 empates para cada equipe, logo, nesse caso,
podemos perceber que A tem 2 empates, B tem 1 empate, D tem 2 empates e h
uma quantidade par de empates (equao (2) l no comeo), logo C tem 3 empates.
Portanto, A tem 1 vitria, B tem 1 vitria e 1 derrota e D tem 1 derrota. O caso A
vence D absurdo, pois B no pode vencer a si mesmo. Logo A vence B e B vence
D. O resto das partidas termina empatado.
2.2) b=5, c=2. Nesse caso, d= -1. Absurdo. Logo, no temos mais casos.
3) b + c = 8. Como b > c, temos 2 possibilidades.
3.1) b = 4, c = 4. Nesse caso, como a b = b c = c d = 0, logo temos a = 4 e d =
4. Nesse caso, h 1 vitria, 1 empate e 1 derrota para cada equipe. Nesse caso,
podemos fazer, por exemplo, A vence B, que vence C, que vence D, que vence A e
empates entre A e C e entre B e D.
3.2) b = 5, c = 3. Nesse caso, como a b = b c = c d = 2, logo temos a = 7 e d =
1. Nesse caso, A tem 1 empate, B tem 2 empates e D tem 1 empate. C ter 3 empates
geraria uma quantidade mpar de empates, o que absurdo com a paridade de
empates (equao (2) do comeo). Logo, C no tem empates. Se A empata com D,
B fica sem ter com quem empatar, o que geraria um absurdo. Logo, A empata com
B e vence C e D, pois A faz 7 pontos. Alm disso, B vence C e empata com A e D,
pois B faz 5 pontos. Por ltimo, C vence D.
3.3) b = 6, c = 2. Nesse caso, d = 2. Absurdo. Logo, no temos mais casos.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
45
4) b + c = 9. o caso onde tudo vitria e derrota, pois corresponde a
maximalidade da equao (7).
Sabendo que a > b > c > d, logo temos que A vence todas, B vence C e D e, por
ltimo, C vence D.
Mais problemas:
Problema 6: Na questo anterior, seria possvel A fazer 8 pontos? Justifique sua
resposta.
Problema 7: Considere um campeonato brasileiro de futebol com 20 times. Pelas
regras de futebol, sabe-se que, em caso de vitria, o time vencedor soma 3 pontos e
o time perdedor soma 0 pontos. Em caso de empate, os times que empataram
somam 1 ponto cada um. No comeo do campeonato, todos comeam com nenhum
ponto ganho. Cada rodada composta por 10 jogos, com cada time jogando uma
nica vez por rodada. Sabe-se que ao final de 7 rodadas, nenhum time venceu todas
e nenhum time perdeu todas. Prove que, aps 7 rodadas, haver, ao menos, dois
times com a mesma pontuao.
Problema 8: Um campeonato de basquete acontece no estilo todos jogam contra
todos, uma nica vez. Prove que acontece, pelo menos, uma das situaes abaixo:
1. Um time vence todas.
2. Um time perde todas.
3. Dois times vencem uma quantidade igual de partidas.
Problema 9: (Olmpiada de Maio Nvel 1 1999)
Ana, Beatriz, Carlos, Diego e Emilia participam de um torneio de xadrez.
Cada jogador enfrenta s uma vez cada um dos outros quatro jogadores.
Cada jogador soma 2 pontos se vence a partida, 1 ponto se empata e 0 ponto se
perde.
No final do torneio, nota-se que as pontuaes dos 5 jogadores so todas distintas.
Ache o nmero mximo de empates que pode haver acontecido no torneio e
justifique por que no pode haver um nmero maior de empates.
Problema 10: (Olmpiada de Maio Nvel 1 2008)
No colgio Olmpico, as notas dos exames so, sempre, nmeros inteiros, sendo a
menor nota igual a 0 e a maior nota igual a 10. Na classe de aritmtica, o professor
aplica dois exames na sua turma de 15 alunos. Quando um de seus alunos obtm
menos que 3 no primeiro exame e mais que 7 no segundo, ele chamado de aluno
superado. O professor ao terminar de corrigir os exames, fez a mdia das 30 notas e
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
46
obteve a nota 8 de mdia. Qual a maior quantidade de alunos superados que pode
ter havido nessa classe?
Problema 11: (OBM Nivel 1 2 fase 2002)
No jogo pega-varetas, as varetas verdes valem 5 pontos cada uma, as azuis valem
10 pontos, as amarelas valem 15, as vermelhas, 20 e a preta, 50. Existem 5 varetas
verdes, 5 azuis, 10 amarelas, 10 vermelhas e 1 preta. Carlinhos conseguiu fazer 40
pontos numa jogada. Levando em conta apenas a quantidade de varetas e suas
cores, de quantas maneiras diferentes ele poderia ter conseguido essa pontuao,
supondo que em cada caso fosse possvel pegar as varetas necessrias?
Problema 12: (Seletiva de Fortaleza para a Olmpiada Rioplatense de Matemtica
2001)
Quatro problemas so propostos em uma Olmpiada de Matemtica. Cada
problema vale 4 pontos. Aps todas as provas terem sido corrigidas, notou-se que
quaisquer dois participantes no obtiveram mesma pontuao em mais de um
problema. (Cada estudante pode obter 0, 1, 2, 3 ou 4 pontos em cada problema).
a) Mostre que o nmero de participantes no pode ser igual a 26.
b) D um exemplo mostrando que podemos ter 25 estudantes.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
47
SOLUES DE PROBLEMAS PROPOSTOS
Publicamos aqui algumas das respostas enviadas por nossos leitores.
134) Considere a operao entre dois vetores do
3
R definida por:
( ) ( ) ( ) , , , , , , . x y z u v w xu yw zv xw zu yv xv yu zw = + + + + + +
Prove que, para todo 1, k se ( ) ( ) , , 0, 0, 0 ento 0.
k
x y z x y z = = = =
Obs.: Para qualquer ( ) ( ) ( )
1
3
, , , , , , , = R x y z x y z x y z e, para todo 1, > k
( ) ( ) ( )
1
, , , , , , .
=
k k
x y z x y z x y z
SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ)
Se ( ) , , , s x y z x y z = + + temos
( ) ( ) ( ) ( )( ) , , , , s x y z u v w xu yw zv xw zu yv xv yu zw x y z u v w = + + + + + + + + = + + + + =
( ) ( ) , , , , . s x y z s u v w = Assim, se ( ) ( ) , , 0, 0, 0 ,
k
x y z = temos
( ) ( ) 0 0, 0, 0 , , ,
k
s s x y z = = donde ( ) , , 0. s x y z =
Se ( ) ( ) { } ( ) { }
3
, , , , 0 , , , , , X x y z s x y z x y x y x y = = = R R temos
( ) ( ) ( ) ( ) , , , , , , , , , . x y z u v w X x y z u v w X
De fato, ( ) ( ) ( ) , , , , , , , x y x y u v u v a b a b = onde
( ) ( ) a xu y u v v x y = + + e ( ) ( ) . b x u v u x y yv = + + + Considere a
transformao linear
2 2
: T R R dada por
( ) ( ) ( ) ( ) ( ) ( )
, , . T u v xu y u v v x y x u v u x y yv = + + + + +
Se as duas primeiras coordenadas de um elemento X so ( ) , , u v as duas
primeiras coordenadas de ( ) , , x y x y so dadas por ( ) , . T u v Assim, para
1, k temos ( ) ( ) , , 0, 0, 0
k
x y z = se e somente se z x y = e ( ) ( )
1
, 0, 0 .
k
T x y
=
A matriz de T
( )
( )
2
,
2
x y x y
x y y x
| + |
|
+
\
cujo determinante
( ) ( )( ) ( )
2
2
2
2 2
3
2 2 3 3 ,
2 4
y y
x y x y x y x xy y x
| |
| |
+ + = + + = + + |
|
|
\
\
que s se
anula quando 0. x y = = Assim, se ( ) ( ) , 0, 0 , x y temos det 0 T e logo
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
48
( ) ( )
1
1
det det 0,
k
k
T T
(pois
( ) ( ) , 0, 0 x y ), e logo ( ) ( ) , , 0, 0, 0 ,
k
x y x y o que resolve o problema.
135) Considere um hemisfrio cuja base um crculo ( )
1
. C Um crculo ( )
2
C do
hemisfrio paralelo a ( )
1
, C de forma que existem n crculos do hemisfrio,
congruentes, tangentes entre si, a ( )
1
C e a ( )
2
. C Mostre que a razo K(n) entre os
raios de ( )
2
C e ( )
1
C igual a: ( )
2
2
cos
.
1
=
+
n
K n
sen n
SOLUO DE JOS DE ALMEIDA PANTERA (RIO DE JANEIRO RJ)
Sejam
, 0 1,
j
C j n os n crculos tangentes a
1
C e a
2
C . Podemos supor sem
perda de generalidade que o hemisfrio
( )
{ }
3 2 2 2
, , 0 e 1 , H x y z z x y z = + + = R ( ) [ ] { }
1
cos , , 0 , 0, 2 C sen = e
( ) [ ] { }
2
cos cos , cos , , 0, 2 , C sen sen = para um certo 0,
2
(
(e logo
o raio de
2
C cos ). Podemos tambm supor que
`
j C tangente a
1
C em
2 2
cos , , 0 ,
j j
sen
n n
| |
|
\
e (logo) a
2
C em
2 2
cos cos , cos , .
j j
sen sen
n n
| |
|
\
Assim, o centro de
`
j C
1 cos 2 1 cos 2
cos , , .
2 2 2
j j sen
sen
n n
| | + + | | | |
| | |
\ \ \
Considere os crculos
`
0 C e
`
1. C
Seus raios so iguais a
2 2
1 cos 1 cos 1 cos
,0,
2 2 2 2 2 2
sen sen
sen
| | | | | | | |
= + = =
| | | |
\ \ \ \
(que a distncia entre o centro de
`
0 C e o ponto de tangncia entre
`
0 C e
1
C ), e as
distncias entre o centro ( ) 0 0, 0, 0 = da esfera e os centros de
`
0 C e
`
1 C so iguais a
2 2
1 cos 1 cos
cos .
2 2 2 2
sen + + | | | | | |
+ = =
| | |
\ \ \
Considerando a reta r, interseo dos planos que contm os crculos
`
0 C e
`
1 C ,
temos que r tangente esfera e aos crculos
`
0 C e
`
1 C . O plano perpendicular a r
passando por P contm os centros
1
Q e
2
Q de
`
0 C e de
`
1 C e o centro O da esfera.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
49
Os tringulos OQ
1
P e
2
OQ P so retngulos com hipotenusa OP, e logo
1 2
QQ o
dobro da altura do tringulo retngulo
1
OQ P , que, como
1
1, cos
2
OP OQ
| |
= =
|
\
e
1
,
2
Q P sen
| |
=
|
\
igual a cos 1
2 2
sen
| | | |
| |
\ \
. Assim,
1 2
2cos ,
2 2
QQ sen
| | | |
=
| |
\ \
mas
1 2
QQ a distncia entre os pontos
1 cos
, 0,
2 2
sen + | |
|
\
e
1 cos 2 1 cos 2
cos , , ,
2 2 2
sen
sen
n n
| | + + | | | |
| | |
\ \ \
a qual igual a
2
2 2
1 cos 2 2 1 cos 2
1 cos 2 2cos cos 2 ,
2 2 2
sen sen
n n n n
+ + | | | | | | | | | | | |
+ = =
| | | | | |
\ \ \ \ \ \
e logo
2
2cos 2cos ,
2 2 2
sen sen
n
| | | | | | | |
=
| | | |
\ \ \ \
donde
2
tan .
2
cos
2
sen
sen
n
| |
|
| | | | \
= =
| |
| | \ \
|
\
Assim, o raio de
2
C
( )
( )
2 2
2
2
2 2
1 cos
1 tan 2
cos ,
1 tan 2
1 1
sen
n n
sen sen
n n
| | | |
| |
\ \
= = =
+ | | | |
+ +
| |
\ \
cqd.
142) Seja { } 4,8, 9,16, 25, 27, 32, 36, 49, 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.
SOLUO DE MARCELO RIBEIRO (RIO DE JANEIRO RJ)
Lema: ( ( )) ( ) 1 mod , 1. b ab n mdc a n = Z
Demonstrao: Artigo Divisibilidade, Congruncias e Aritmtica Mdulo n,
Eureka N2, ou qualquer texto sobre Teoria dos Nmeros.
Mostraremos que, dado 2, , n n N podemos escolher (n 1) nmeros naturais,
digamos
1 1
,..., ,
n
de forma a termos
1 1 2
2 3 ...
n
k n
= satisfazendo o
enunciado.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
50
Tomemos, para isso,
1 2
, ,...,
n
p p p nmeros primos, distintos. Basta, agora, mostrar
que o sistema de equaes
( )
( )
( )
1 2 1 1
1 2 1 2
1 2 1
... 0 mod
1 ... 0 mod
... 1 0 mod
n
n
n n
p
p
p
.
Apresenta soluo em inteiros.
De fato, { } 1, 2,..., 1 , i n tomemos
1, 1
, .
n
i j i i
j j i
p k k
+
= +
| |
=
|
\
Z
Este valor satisfar a todas as equaes, a menos talvez de
( )
1
1 0 mod .
i i
p
+
+
Contudo, pelo lema, podemos escolher ,
i
k de forma a termos
( )
1
1, 1
1 mod ,
n
i j i i
j j i
p k p
+
= +
| |
=
|
\
j que mdc
( ) ( ) 1
1,
, 1.
n
j i
j j i
p p
+
=
=
(Podemos supor
i
k naturais seno somamos
um mltiplo conveniente de
1 i
p
+
).
145) Encontre todos os nmeros racionais p, q, r de modo que
2 3
cos cos cos 1
7 7 7
p q r + + =
.
SOLUO DE MICHEL FALEIROS MARTINS (CAMPINAS SP)
Considere os polinmios
n
p tais que ( ) ( ) 2cos 2cos , 0.
n
P n n =
Como ( ) ( ) ( ) cos 1 cos 1 2cos cos , n n n + + = temos que
( ) ( ) ( )
1 1
,
n n n
P x x P x P x
+
= onde 2cos x = e 1. n
Agora, ( )
0
2 P x = e ( )
1
P x x =
( ) ( ) ( )
2 3 4 2
2 3 4
2, 3 , 4 2,... P x x P x x x P x x x = = = +
Afirmamos que, sendo 2cos ,
7
=
(I) raiz da equao
3 2
2 1 0; x x x + =
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
51
(II) irracional;
(III)
2 3
2cos 2cos 2cos 1.
7 7 7
+ =
Prova das afirmaes:
(I) ( ) ( )
3 4
3 4 3 4
cos cos 0 0
7 7 7 7
P P
= + = + =
( ) ( )
3 4 2 4 3 2
3 4 2 0 4 3 2 0 + + = + + =
( ) ( )
3 2 3 2
2 2 1 0 2 1 0. + + = + =
(II) Pelo Teorema da Raiz Racional, as possveis razes racionais no nulas de
3 2
2 1 0 x x x + = so 1. No entanto, nenhum desses dois valores , de fato, raiz.
(III) Como ( ) ( ) 2 cos , sen sen sen = + + temos que
2 3
2 cos cos cos
7 7 7 7
sen
| |
+
|
\
2 3 4 2
0
7 7 7 7 7 7
sen sen sen sen sen sen sen
( ( | | | | | |
= + + + + =
| | | ( (
\ \ \
2 3
2cos 2cos 2cos 1.
7 7 7
+ =
Lema: (0, 0, 0) o nico terno de racionais ( ) , , p q r que satisfaz
2 3
2 cos 2 cos 2 cos 0
7 7 7
p q r
+ = (1).
Prova: ( )
2
2
2
2cos 2
7
P
= =
( )
3 2 2
3
3
2cos 3 2 1 3 1
7
P
= = = + =
(1)
( ) ( )
2 2
2 1 0 p q r + =
( ) ( ) ( )
2
2 0 r q p r q r + + =
Temos os dois casos:
( ) 0. i r q =
Se 0, p r ento
2
,
r q
p r
absurdo.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
52
Se 0, p r = ento 2 0 0 q r p q r = = = = e obtemos a soluo trivial de
(1).
( ) 0. ii r q
Resolvendo a equao de segundo grau temos que
{ }
, s t s t + com , . s t
Se 0, t < complexo, absurdo.
Se 0 t = ou 0 t > e , t racional, absurdo.
Portanto, 0 t > e . t Mas
( ) ( ) ( )
3 2
2 1 s t s t s t + =
( ) ( )
3 2 2
3 2 1 3 2 2 s s st s t t s s t + + +
Como
3 2
2 1 0 + = e
*
, t
2
3 2 2 0 s s t + = (2) e
3 2
3 2 1 0 s s st s t + + = (3).
( )
2
2 3 2 2. t s s = + + Substituindo em (3),
( ) ( )
3 2 2 2
3 3 2 2 2 3 2 2 1 0 s s s s s s s s + + + + + + =
( ) ( ) ( )
3 2
2 2 2 2 1 0. s s s + =
Pelo Teorema da Raiz Racional, 2 1 s = so as nicas possibilidades de raiz
racional no nula, mas nenhum desses dois valores , de fato, raiz.
Portanto, 0 p q r = = = a nica soluo racional de (1).
Voltando ao problema original, se
2 3
cos cos cos 1
7 7 7
p q r
+ + = ento, de (III),
obtemos
( ) ( ) ( )
2 3
2 cos 2 cos 2 cos 0.
7 7 7
p q r
+ + + =
Pelo Lema, 2 2 2 0 2, 2 e 2. p q r p q r = + = = = = =
Portanto, a equao dada tem uma nica soluo racional: ( ) ( ) , , 2, 2, 2 . p q r =
146) Determine todos os subconjuntos no-vazios A, B, C de Nde modo que:
a) . A B B C C A = = =
b) . A B C = N
c) para quaisquer , a A b B e , c C temos: , e . a c A b c B a b C + + +
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
53
SOLUO DE MICHEL FALEIROS MARTINS (CAMPINAS SP)
{ } { } { } 1, 4, 7,... , 2, 5,8,... e 0, 3, 6,... A B C = = =
ou
{ } { } { } 2, 5,8,... , 1, 4, 7,... e 0, 3, 6,... . A B C = = =
Lema: Se S e T so dois subconjuntos no vazios dos naturais com a propriedade
que s t S + se s S e , t T ento s k t S + para todo { } 0,1, 2,... , k = N se
s S e . t T
Prova: Por induo sobre : k para k = 0, s S verdadeiro. Supondo que
s k t S + para algum , k N ento ( ) ( ) 1 , s k t s k t t S + + = + + o que completa
a induo.
Considere , a A b B e c C elementos quaisquer. Sejam , e os menores
elementos de A, B e C, respectivamente. Se 0, 0 , b C b C = + absurdo.
Analogamente se 0. = Logo, 0. = Como C + e 3 + ento C
admite um elemento mnimo 1. m
Se 1, m = pelo lema, e k m k A l B + = + + para quaisquer
, k l A + N e , B + absurdo.
Pela simetria do problema em relao a A e B, suponha 1. =
Se m = 2, pelo lema, A o conjunto dos naturais mpares e ento par. Mas a
C + e como 1 + = + mpar , A + absurdo.
Se m = 3, temos dois casos:
(i) 2 3 1, 3 2 A k k A + + para todo , k N pelo lema. Ento, 3l = para algum
1 1 3 , l l A + = + mas , C + absurdo.
(ii) 2 3 2 B k B + para todo , k N pelo lema; e 1 3 1 A l A + para todo
, l N pelo lema. Ento, ( ) ( ) ( ) 3 2 3 1 3 1 a b k l k l C + = + + + = + + para quaisquer
, . k l N Assim, { } { } 1, 4, 7,... , 2, 5,8... A B = = e { } 0, 3, 6,... . C = Esses conjuntos
satisfazem as condies dadas e, pela simetria, { } 2, 5,8,... , A = { } 1, 4, 7,... B = e
{ } 0, 3, 6,... C = tambm cumprem as condies do problema.
Se 4, m { } 1 3 1, 2, 3,... 2 . m m m A + Temos dois casos:
(i) 1 , m A pelo lema, todo natural n r k m = + com 1 1 r m e k N
pertence a A. Assim, l m = para algum ( ) 2 1 , l m k l A + = + + mas
, C + absurdo.
(ii) 1 . m B Ento 1 3 m = e ( ) 2 2 1 , A m C + mas
( ) 2 1 1 , m m A + = + absurdo.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
54
147) Demonstre que
( )
( )
( )
2
0
1 1 1
,
2 2 1
4 2
k n
n
k
n
k
sen
n
=
= +
| + |
|
para todo inteiro 2. n
SOLUO DE MICHEL FALEIROS MARTINS (CAMPINAS SP)
Seja
( )
( )
2
0
1
, 2.
2 1
4 2
k
n
n
k
S n
k
sen
n
=
| + |
|
Ento,
( )
( )
( ) ( )
( )
( )
( )
0 3 2
2 2
0
1 1 1 1
...
2 1 2 5 2 3
4 2
4 2 4 2 4 2
k n n
n
k
k n n
sen
sen sen sen
n
n n n
=
| |
|
|
= + + + +
|
| + | | | | | | |
|
|
| | |
|
\
\ \ \ \
( )
( )
( )
( )
( )
( )
( )
( )
1 1 2 2
1 1 1 1
...
2 1 2 1 2 3 4 3
4 2 4 2 4 2 4 2
n n n n
n n n n
sen sen sen sen
n n n n
+
| |
|
|
+ + + + +
|
| | | + | | + | | |
|
| | | |
|
\ \ \ \ \
( )
( )
( )
2 2
1
0
1
2 1 .
2 1
4 2
k
n
n
n
k
S
k
sen
n
= +
| + |
|
pois
( ) ( ) ( ) ( ) ( ) 2 1 2 3 2 3 2 5 4 3
, ,...,
4 2 4 2 4 2 4 2 4 2 4 2
n n n n n
n n n n n n
+ +
+ = + = + =
( ) ( )
2
, 1 1
n a n a
+
= = para 0 2, a n e ( ) ( ). sen sen =
Faamos m = 4n 2. Ento,
( ) ( )
1 1 1 1
...
3 3 1 m m
sen sen
sen sen
m m
m m
+ +
| | | | | | | |
| |
| |
\ \
\ \
( ) ( ) ( ) ( )
1 1 1 1
...
1 3 2 3 2 1 m m m m
sen sen sen sen
m m m m
= + +
| + | | + | | | | |
| | | |
\ \ \ \
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
55
( )
( )
( )
( )
( )
1 2 2
1
0 0
1 1
2 4 2 1 .
2 1 2 1
4 2
k k
m n
n
n
k k
S
k k
sen sen
m n
= =
= = +
| + | | + |
| |
\ \
J que
( ) ( ) ( ) ( ) ( )
( )
1 1 3 3 2 1
2 , 2 ,..., 2 , 2
m m m m m
sen
m m m m m m
+ +
+ = + = + = =
( ) ( ) sen sen = e m par.
Seja
k
i
m
k
e
| |
|
\
= com 1. k Como ( ) ,
2
i i
e e
sen
i
= temos que
( )
( )
( ) ( ) ( )
1 1 1
2 1
2
0 0 0
2 1 2 1 2 1
1 1 1 1
2 .
1 1 1 2 1
k k k k
m m m
k
k k k
k k k
i i
k
sen
m
+
= = =
+ + +
(
= = + (
+ | + |
(
|
\
Mas,
( ) ( ) 2 1 2 1
2 1 2 1 2 1
2 1
2
.
k m k
i i i
m m
k m k k m
k
e e
+ + + | | | |
+ | |
| |
\ \
+ + + + | |
+ +
|
\
= = = =
Assim,
2 0 1
2 0 1
2
21 1
2 1 1
2
2 1 1 2 1 1
2 2 2
m
m
m m m
+ | |
+ +
|
\
+
| |
+ +
|
\
| | | |
+ + +
| |
\ \
=
=
=
. .
( ) ( ) ( ) ( )
1 1 1 1
1 1 2 2
0 0 2 1 2 1 2 1 2 1
2 2
1 1 1 1
e .
1 1 1 1
m m
k k k k
m m
m m k k k k k k
k k
+ +
= = + + + +
= =
= =
Como 2 1
2
m
n = mpar, o expoente k teve de ser trocado por k + 1 em ambas as
igualdades, pois os ndices dos somatrios comeam em paridades diferentes.
Logo,
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
56
( ) ( )
( )
( )
1 1 1
1
0 0 0 2 1 2 1 2 1
1 1 1
4 2 1 2
1 1 1
k k k
m m m
n
n
k k k k k k
S i
= = = + + +
= + =
+
e
( ) ( ) ( )
1
1 1 1
2 2
0 0 0 2 1
1 1 1
1
i
k k k
m
m m m
i
m
k k
i i i i
k k k k
m m m m
e
e
e e e e
| |
|
+
| |
\
|
\
| | | | | | | |
| | | | = = = +
\ \ \ \
= =
Sejam ( )
1
0
1
m
k k
S x
x
+
=
=
e ( )
( )
1
1
0
1
,
k
m
k k
S x
x
+
onde
2k
i
m
k
e
| |
|
\
= com
0 1 k m so as msimas razes da unidade.
Observe que, para um polinmio ( ) ( )( ) ( )
0 1
... ,
j
P x x r x r x r =
( ) ( ) ( ) ( )
( )
( ) 0 0 0
1
ln ln ln .
j j j
k k
k k k k
P x
x r x r P x
x r P x
= = =
| |
= = = =
|
\
Agora, sendo ( ) ( )
2 2 2
1 1 1 1 ,
m m m
m
P x x x x x Q x
| || | | |
= = + =
| | |
\ \ \
as razes de
( )
( )
2
1
m
P x
x
Q x
= so
2
, 0 1,
2
k
m
k e as razes de ( ) Q x so
2 1
, 0 1,
2
k
m
k
+
pois
( )
( )
( )
2 2 1 2
2 1
2
2 1
1, 0 1.
2
m
k
i m
m i k
k
m
e e k
+ | |
|
|
+
\
+
| |
|
= = =
|
\
Ento, ( ) ( )
1
2
0 2 1
1
2
m
k k
S x S x
x
+
= +
+ =
( )
1
2 1
1
2
2
2
( ) ( )
2
2
( ) ( ) 1 1
1
m
m
m
m m m
m
x
Q x P x m x m x
S x
Q x P x x x
x
= = =
+
( )
1
2
1
4 2 1 2 2 4 2.
1
m
i
m
i i i
n
m m m
n m
i
m
m e
S i e S e i e m n
e
| |
|
| | | |
\
+ = = = =
| |
| | \ \
|
\
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
57
Portanto,
( ) 1 1
2
n
n
S n
= + para todo 2. n
148) Sejam m e n inteiros positivos. Calcule
1
0
.
n
k
n k
m
=
(
(
(
SOLUO DE CARLOS ALBERTO DA SILVA VICTOR (NILPOLIS RJ)
1
0
n
k
n k
s
m
=
(
=
(
(
+ + =
ento vamos l:
Fazendo ( ), z x y = + teremos
( ) ( )
3
3 3 3 3 3 2 2
3 3 3 3 9 3. x y z x y x y x y xy xy x y xyz xyz + + = + + = = + = = =
Agora basta usar a famosa desigualdade das mdias:
2
2 2 2
3
3
2 2 2 2 2 2
1 1 1
1 1 1 1 1 1 1
3
3
x y z
x y z x y z xyz
+ +
| |
+ +
|
\
2
3
3
2 2 2 2 2 2
1 1 1 1 1 1 1
3 3.
3 x y z x y z
| |
+ + + +
|
\
Agradecemos o envio de solues e a colaborao de:
Marcos Ferreira (Eunpolis BA) Prob. 134
Besaleel Jnior (Teresina PI) Prob. 144
Renato Carneiro (Belo Horizonte MG) Prob. 145, 146
Marcelo Ribeiro (Rio de Janeiro RJ) Prob. 150
Jean-Pierre Youyoute (Rio de Janeiro RJ) Prob. 150
Itamar Sales (Fortaleza CE) Prob. 150
Samuel Abdalla (Sorocaba SP) Prob. 150
Douglas Oliveira de Lima (Braslia DF) Prob. 150
Lucas Justo de Freitas Neto (Mossor RN) Prob. 149
Jos Armando Barbosa Filho (Fortaleza CE) Prob. 134
Carlos Alberto da Silva Victor (Nilpolis RJ) Prob. 146, 150
Continuamos aguardando solues para os problemas 143, 144, 149.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
59
PROBLEMAS PROPOSTOS
Convidamos o leitor a enviar solues dos problemas propostos e sugestes de novos
problemas para prximos nmeros.
151) Encontre todas as solues reais positivas de
1 2 1
.
2
x
x =
152) Sejam , , a b c nmeros reais positivos tais que 1. a b c + + =
Prove que
3
.
2
a bc b ca c ab
a bc b ca c ab
+ +
+ + +
153) Quatro pontos P, Q, R, S pertencem a um crculo de tal forma que o ngulo
`
PSR reto. Sejam H e K as projees de Q nos segmentos PR e PS,
respectivamente. Prove que a reta HK divide o segmento QS ao meio.
154) Determine todas as funes [ ) : 0, f + R tais que
( ) ( ) ( ) f xy f x f y = e ( ) ( ) ( ), , . f x y f x f y x y + +
155) Sejam , e a b c inteiros positivos, tais que existe um tringulo T de lados
, a b e . c Prove que so equivalentes:
i) Existe um tringulo congruente a T cujos vrtices tm coordenadas inteiras em
2
. R
ii) T tem rea racional e existem , x y inteiros com
2 2
. a x y = +
iii) T tem rea racional e existem u, v inteiros com ( )
2 2
, , . mdc a b c u v = +
156) Denominamos Mquina de Conway o par ( ) ; C e S = formado por uma entrada
1
1
2 , , e a
N
Dizemos que aN uma sada de C se, e somente se, existe um inteiro positivo k
tal que 2 .
a
k
p =
O conjunto de todas as sadas denominado conjunto gerado por C.
Exemplo: A mquina de Conway formada pela entrada
2
2 e pela sequncia
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
60
17 78 19 23 29 77 95 77 1 11 13 15 15
, , , , , , , , , , , , ,55
91 85 51 38 33 29 23 19 17 13 11 14 2
gera os nmeros primos.
Mostre que possvel construir uma Mquina de Conway que gere o conjunto dos
quadrados perfeitos.
Problema 151 proposto por Douglas Oliveira de Lima, de Braslia (DF). Problemas 152 e 153
propostos por Adriano Carneiro Tavares, de Caucaia (CE). Problema 156 proposto em uma
prova de seleo para a Olimpada Internacional de Matemtica (IMO) de 1996.
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
61
AGENDA OLMPICA
XXXIV OLIMPADA BRASILEIRA DE MATEMTICA
NVEIS 1, 2 e 3
Primeira Fase sbado, 16 de junho de 2012
Segunda Fase sbado, 22 de setembro de 2012
Terceira Fase sbado, 27 de outubro de 2011 (nveis 1, 2 e 3)
domingo, 28 de outubro de 2012 (nveis 2 e 3 - segundo dia de prova)
NVEL UNIVERSITRIO
Primeira Fase sbado, 22 de setembro de 2012
Segunda Fase sbado, 27 e domingo, 28 de outubro de 2012
V ROMANIAN MASTER OF MATHEMATICS (RMM)
29 de fevereiro a 4 de maro de 2012 (Bucareste, Romnia)
ASIAN PACIFIC MATH OLYMPIAD (APMO)
12 de maro de 2012
XVIII OLIMPADA DE MAIO
12 de maio de 2012
XXIII OLIMPADA DE MATEMTICA DO CONE SUL
27 de outubro a 03 de novembro (Lima, Peru)
LIII OLIMPADA INTERNACIONAL DE MATEMTICA
4 a 16 de julho de 2012 (Mar del Plata, Argentina)
II OLIMPADA DE MATEMTICA DA LUSOFONIA
20 a 28 de julho de 2012 (Salvador, Bahia)
XVIII OLIMPADA INTERNACIONAL DE MATEMTICA UNIVERSITRIA (IMC)
26 de julho a 1 de agosto de 2012 (Blagoevgrad, Bulgria)
XXVI OLIMPADA IBERO-AMERICANA DE MATEMTICA
29 de setembro a 6 de outubro de 2012 (Cochabamba, Bolvia)
IV COMPETIO IBERO-AMERICANA INTERUNIVERSITRIA DE MATEMTICA
1 a 5 de outubro de 2012 (Guanajuato, Mxico)
XIV OLIMPADA IBEROAMERICANA DE MATEMTICA UNIVERSITRIA
A confirmar
Sociedade Brasileira de Matemtica
EUREKA! N35, 2012
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
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
Wagner Pereira Lopes (CEFET GO) Jata GO
Wanderson Breder (CEFET RJ) Nova Friburgo RJ
William Serafim dos Reis (UFT TO) Arraias TO