Eureka 37

Você também pode gostar

Você está na página 1de 62

CONTEDO

17 OLIMPADA DE MAIO
Enunciados e resultado brasileiro

03

18 OLIMPADA DE MAIO
Enunciados e resultado brasileiro

06

23 OLIMPADA DE MATEMTICA DO CONE SUL


Enunciados e resultado brasileiro

09

24 OLIMPADA DE MATEMTICA DO CONE SUL


Enunciados e resultado brasileiro

11

54 OLIMPADA INTERNACIONAL DE MATEMTICA (IMO)


Enunciados e resultado brasileiro

13

3 OLIMPADA DE MATEMTICA DA COMUNIDADE DOS PASES DE LNGUA


PORTUGUESA
Enunciados e resultado brasileiro

16

27 OLIMPADA IBERO-AMERICANA DE MATEMTICA


Enunciados e resultado brasileiro

18

28 OLIMPADA IBERO-AMERICANA DE MATEMTICA


Enunciados e resultado brasileiro

20

ARTIGOS
TEOREMA DE MORLEY: O QUE OS TRINGULOS AINDA PODEM NOS
REVELAR
Daniel Cordeiro de Morais Filho (UFCG), Arthur Cavalcante Cunha (UFCG) e
Amauri da Silva Barros (UFAL)

22

JOGOS
Bruno Holanda (IMPA)

28

EQUAES FUNCIONAIS PARA OS MAIS JOVENS


Ricardo Csar da Silva Gomes (IFCE - Jaguaribe CE)

34

Sociedade Brasileira de Matemtica

COMO QUE FAZ?

46

SOLUES DE PROBLEMAS PROPOSTOS

47

PROBLEMAS PROPOSTOS

60

AGENDA OLMPICA

61

COORDENADORES REGIONAIS

62

Esta edio da Revista Eureka! dedicada memoria do professor Angelo Barone Netto,
que nos deixou neste ano de 2013. Barone foi uma das personalidades mais relevantes da
Olimpada Brasileira de Matemtica (OBM), com a qual colaborou ativamente desde seu
incio em 1979. Seu trabalho foi fundamental para o desenvolvimento da matemtica
olmpica no Brasil. Barone foi homenageado pela OBM durante a realizao da Semana
Olmpica em 2009.
A comunidade da Olimpada Brasileira de Matemtica (OBM)
EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

18 OLIMPADA DE MAIO
PRIMEIRO NVEL
PROBLEMA 1

Pablo disse: Somo 2 ao dia do meu aniversrio e multiplico o resultado por 2.


Somo 4 ao nmero obtido e multiplico o resultado por 5. Ao novo nmero obtido
somo o nmero do ms do meu aniversrio (por exemplo, se junho, somo 6) e
obtenho 342.
Qual a data do aniversrio de Pablo? Encontre todas as possibilidades.

PROBLEMA 2

Chamamos S (n) soma dos algarismos do inteiro n. Por exemplo,


S (327) = 3 + 2 + 7 = 12 .
Encontre o valor de
A = S (1) S (2) + S (3) S (4) + ... + S (2011) S (2012) .
(A tem 2012 termos).

PROBLEMA 3

A partir de um quadriltero de papel, como


o da figura ao lado, deve-se recortar um
novo quadriltero cuja rea seja igual
metade da rea do quadriltero original.
Somente podemos dobrar o papel uma ou mais vezes e cortar por algumas das
linhas das dobras.
Descreva as dobras e os cortes e justifique por que a rea obtida a metade.

PROBLEMA 4

Pedro tem 111 fichas azuis e 88 fichas brancas. Existe uma mquina que faz dois
tipos de operaes: uma trocar 14 fichas azuis por 11 fichas brancas e outra
trocar 7 fichas brancas por 13 azuis. Determine se Pedro pode conseguir, mediante
sucessivas operaes com a mquina, aumentar em 33 o nmero total de fichas, de
modo que a quantidade de fichas azuis seja igual a

5
da quantidade de fichas
3

brancas.
Se isto for possvel, indique como faz-lo. Se no possvel, explique por qu.
EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

PROBLEMA 5

Em uma reunio h 12 pessoas. Sabemos que para cada duas pessoas A e B da


reunio h (pelo menos) uma outra pessoa C da reunio que amiga de A e de B.
Determine o nmero mnimo de pares de amigos que h na reunio.
Obs: Cada pessoa pode integrar vrios pares de amigos. Se X amigo de Y ento Y
amigo de X.

SEGUNDO NVEL
PROBLEMA 1

Um nmero de quatro algarismos gago se tem os dois primeiros algarismos


iguais entre si e os dois ltimos algarismos iguais entre si. Por exemplo, 3311 e
2222 so nmeros gagos. Encontre todos os nmeros gagos de quatro algarismos
que so quadrados perfeitos.
PROBLEMA 2

Temos dois octgonos regulares de papelo. Os vrtices de cada octgono so


numerados de 1 a 8, em qualquer ordem (a ordem para um octgono pode ser
diferente da ordem do outro). Em seguida os octgonos so sobrepostos, de modo
que cada vrtice de um deles fique em contato com um vrtice do outro. Os
nmeros dos vrtices em contato so multiplicados, e soma-se os 8 produtos
obtidos.
Demonstre que, qualquer que seja a ordem em que tenham sido numerados os
vrtices, sempre possvel sobrepor os octgonos de maneira que a soma obtida
seja maior ou igual a 162.
PROBLEMA 3

 = 2C
 e 
No tringulo ABC , verificamos que B
A > 90o . Seja M o ponto mdio
de BC . A perpendicular por C ao lado AC corta a reta AB no ponto D. Demonstre
 B = DMC
 .
que AM
PROBLEMA 4

Temos seis pontos de maneira que no haja trs pontos colineares e que os
comprimentos dos segmentos determinados por estes pontos sejam todos distintos.
Consideramos todos os tringulos que tm seus vrtices nesses pontos. Demonstre
que um dos segmentos , ao mesmo tempo, o menor lado de um desses tringulos e
o maior lado de outro.

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

PROBLEMA 5

Temos 27 caixas em fila; cada uma delas contm pelo menos 12 bolinhas. A
operao permitida transferir uma bolinha de uma caixa para sua vizinha da
direita, se essa vizinha da direita tem mais bolinhas. Dizemos que uma distribuio
inicial das bolinhas feliz se possvel, mediante uma sucesso de operaes
permitidas, fazer com que todas as bolinhas fiquem numa mesma caixa. Determine
o menor nmero total de bolinhas de uma distribuio inicial feliz.
RESULTADO BRASILEIRO
2012: Nvel 1 (at 13 anos)
Nome
Pedro Henrique Sacramento de Oliveira
Bryan Diniz Borck
Julia Perdigo Saltiel
Lucas Iokio Kawahara
Bruno Kenzo Ozaki
Brendon Diniz Borck
Joo Guilherme Madeira Arajo
Lucas Diniz Gonalves Villas Boas
Laura Mello DUrso Viana
Italo Rennan Lima Silva

Cidade Estado
Vinhedo SP
Porto Alegre RS
Rio de Janeiro RJ
So Paulo SP
So Paulo SP
Porto Alegre RS
Sobral CE
Salvador BA
Rio de Janeiro RJ
Fortaleza - CE

Prmio
Ouro
Prata
Prata
Bronze
Bronze
Bronze
Bronze
M. Honrosa
M. Honrosa
M. Honrosa

Cidade Estado
Amparo SP
Eusbio CE
Teresina PI
Fortaleza CE
Fortaleza CE
Fortaleza CE
Teresina PI
Teresina PI
Rio de Janeiro RJ
Piraquara - PR

Prmio
Ouro
Prata
Prata
Bronze
Bronze
Bronze
Bronze
M. Honrosa
M. Honrosa
M. Honrosa

2012: Nvel 2 (at 15 anos)


Nome
Murilo Corato Zanarella
Daniel Lima Braga
Pedro Jorge Luz Alves Gronemberger
Pedro Henrique Alencar Costa
Felipe Brando Forte
Lucca Morais de Arruda Siaudizionis
Eduarda Ramos Bezerra de Alencar
Ocimar Mota dos Santos Filho
Daniel Santana Rocha
Estevo Waldow

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

19 OLIMPADA DE MAIO
PRIMEIRO NVEL
PROBLEMA 1

Encontre a quantidade de formas de escrever o nmero 2013 como soma de dois


inteiros maiores ou iguais a zero, de modo que ao somar no exista nenhum vaium.
OBSERVAO: Na soma 2008 + 5 = 2013 , por exemplo, existe vai-um das
unidades s dezenas.

PROBLEMA 2

Elisa soma os dgitos do seu ano de nascimento e observa que o resultado coincide
com os dois ltimos dgitos do ano em que nasceu o seu av. Alm disso, os dois
ltimos dgitos do ano em que ela nasceu so precisamente a idade atual do seu
av. Encontre o ano em que nasceu Elisa e o ano em que nasceu o av dela.

PROBLEMA 3

Seja ABCD um quadrado de papel de lado 10 e P um


ponto no lado BC. Ao dobrar o papel no comprimento da
reta AP, o ponto B determina o ponto Q, como vemos na
figura ao lado. A reta PQ corta o lado CD em R. Calcule
o permetro do tringulo PCR.

B
P
Q

PROBLEMA 4

Pablo escreveu 5 nmeros numa folha e logo aps escreveu os nmeros


6,7,8,8,9,9,10,10,11 e 12 em outra folha que este deu a Sofa, dizendo que esses
nmeros so as somas possveis de dois dos nmeros que ele tem escondidos.
Decida se com esta informao Sofa pode determinar os cinco nmeros que Pablo
escreveu.

PROBLEMA 5

Num quadro est desenhado um quadrado de 88 dividido em 64 quadradinhos de


11 mediante linhas paralelas aos lados.
Gustavo apaga alguns segmentos de comprimento 1 de modo que de cada
quadradinho de 11 apaga 0, 1 ou 2 lados.
EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

Gustavo afirma que apagou 6 segmentos de longitude 1 da borda do quadrado de


88 e que a quantidade de quadradinhos de 11 que tm exatamente 1 lado
apagado igual a 5. Decida se o que afirma Gustavo pode ser verdadeiro.
SEGUNDO NVEL
PROBLEMA 1

Sofa somou os nmeros das pginas de um livro comeando pelo nmero 1 na


primeira pgina e obteve 2013. Pablo viu como Sofia fez a soma e percebeu que ela
pulou uma pgina. Quantas pginas tem o livro e qual o nmero da pgina que
Sofia pulou?

PROBLEMA 2

Temos uma rgua sem nmeros e um trissector que marca em qualquer segmento
os dois pontos que o dividem em trs partes iguais. Construa o ponto mdio de um
segmento dado utilizando exclusivamente estas duas ferramentas.

PROBLEMA 3

Marcamos vrios pontos distintos no plano, e traamos todos os segmentos


determinados por esses pontos. Uma reta r no passa por nenhum dos pontos
marcados e corta exatamente 60 dos segmentos que foram traados. Quantos
segmentos no foram cortados por r? Encontre todas as possibilidades.

PROBLEMA 4

possvel escrever 100 nmeros mpares numa fila de tal forma que a soma de
cada 5 nmeros adjacentes seja um quadrado perfeito e que a soma de cada 9
nmeros adjacentes tambm seja um quadrado perfeito?

PROBLEMA 5

Temos 600 cartes. 200 deles tm escrito o nmero 5, 200 tm escrito o nmero 2 e
os outros 200 tm escrito o nmero 1. Usando estes cartes queremos formar
grupos de tal forma que em cada grupo a soma dos nmeros seja 9. Qual a maior
quantidade de grupos que podemos formar?

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

RESULTADO BRASILEIRO
2013: Nvel 1 (at 13 anos)
Nome
Bryan Diniz Borck
Lucas dos Anjos Dantas Teixeira
Bruno Brasil Meinhart
Brendon Diniz Borck
Andrey Jhen Shen Chen
Guilherme Goulart Kowalczuk
Davi Cavalcanti Sena
David Felipe Brochero Giraldo
Wanderson Ferreira de Almeida
Fernando Ribeiro de Senna

Cidade Estado
Porto Alegre RS
So Paulo SP
Fortaleza CE
Porto Alegre RS
So Paulo SP
Porto Alegre RS
Caruaru PE
Belo Horizonte MG
Paulista PB
Jundia SP

Prmio
Ouro
Prata
Prata
Bronze
Bronze
Bronze
Bronze
M. Honrosa
M. Honrosa
M. Honrosa

Cidade Estado
Passa Tempo MG
Vinhedo SP
Fortaleza CE
Pinheiros SP
Rio de Janeiro RJ
Porto Alegre RS
Porto Alegre RS
Osasco SP
Juazeirinho PB
So Paulo SP

Prmio
Ouro
Prata
Prata
Bronze
Bronze
Bronze
Bronze
M. Honrosa
M. Honrosa
M. Honrosa

2013: Nvel 2 (at 15 anos)


Nome
Joo Csar Campos Vargas
Pedro Henrique Sacramento de Oliveira
Lucca Morais de Arruda Siaudzionis
Lucas Pereira Galvo de Barros
Daniel Quinto de Morais
Pedro Henrique da Silva Dias
Ana Paula Lopes Schuch
Gabriel Toneatti Vercelli
Marcantnio Soares Figueiredo
Andr Yuji Hisatsuga

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

23 OLIMPADA DE MATEMTICA DO CONE SUL


Enunciados e resultado brasileiro
Os estudantes brasileiros tiveram uma participao destacada na Olimpada
de Matemtica do Cone Sul que foi realizada entre os dias 27 de outubro e 3 de
novembro de 2012 na cidade de Quito, Peru. A equipe foi liderada pelos
professores Francisco Bruno Holanda, do Rio de Janeiro (RJ) e Marcelo Tadeu de
S Oliveira Sales, de So Paulo (SP).
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4

Rodrigo Sanches ngelo


Henrique Gasparini Fiuza do Nascimento
Rafael Rodrigues Rocha de Melo
Tadeu Pieres de Matos Belfort Neto

Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Bronze

PRIMEIRO DIA
PROBLEMA 1

Ao redor de uma circunferencia esto escritos 2012 nmeros, cada um deles e igual
a 1 ou a 1. Se no h 10 nmeros consecutivos cuja soma seja 0, ache todos os
valores possveis da soma dos 2012 nmeros.
PROBLEMA 2

Em um quadrado ABCD, seja P um posto sobre o lado CD, distinto de C e D. No


tringulo ABP traa-se as alturas AQ e BR, e seja S o ponto de interseco das retas
CQ e DR. Demosntre que ASB = 90 .
PROBLEMA 3

Demonstre que no existem inteiros positivos a, b, c, d, primos entre si dois a dosi,


tais que ab + cd , ac + bd , e ad + bc sejam divisores mpares de

( a + b c d )( a b + c d )( a b c + d ) .
SEGUNDO DIA
PROBLEMA 4

Encontre o maior inteiro positivo n, menor que 2012, que cumpra a seguinte
propriedade:
EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

Se p um divisor primo de n, ento p 2 1 um divisor de n.


PROBLEMA 5

A e B jogam alternadamente sobre um tabuleiro 2012 2013 com peas


suficientes dos tipos:

tipo 1

tipo 2

tipo 3

Em seu turno, A debe colocar uma pea do tipo 1 sobre casas vazias de tabuleiro B
em seu turno, debe colocar exatamente uma pea de cada tipo sobre casas vazias do
tabuleiro. Perde o jogadore que no puder realizar sua jogada. Se A o primeiro a
jogar, determine quem possui uma estratgia vencedora.
Observao: As peas podem ser rotacionadas, mas no podem se sobrepor, nem
sair do tabuleiro. As peas do tipo 1, 2 e 3 cobrem exatamente 3, 2 e 1 casas do
tabuleiro, respectivamente.
PROBLEMA 6

AB 3
< . Sejam M e N respectivamente
AC 2
MB NC
pontos variveis sobre os lados AB e AC, distintos de A, tais que

= 1.
AC AB
Considere um tringulo ABC com 1 <

Demonstre que a circunferncia circunscrita do tringulo AMN passa por um ponto


fixo distinto de A.

EUREKA! N37, 2013

10

Sociedade Brasileira de Matemtica

24 OLIMPADA DE MATEMTICA DO CONE SUL


Enunciados e resultado brasileiro
Os estudantes brasileiros tiveram uma excelente participao na Olimpada de
Matemtica do Cone Sul que foi realizada entre os dias 2 e 7 de junho de 2013, na
cidade de Assuno, Paraguai. A equipe foi liderada pelos professores Fabio
Brochero Martnez de Belo Horizente (MG) e Jos Armando Barbosa de Fortaleza
(CE).
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4

Victor Oliveira Reis


Murilo Corato Zanarella
Pedro Henrique Sacramento de Oliveira
Daniel Santana Rocha

Medalha de Ouro
Medalha de Ouro
Medalha de Prata
Medalha de Prata

PRIMEIRO DIA
PROBLEMA 1

Sobre uma reta marcamos quatro pontos distintos. Para cada ponto marcado
calculada a soma das distncias deste ponto aos outros trs, obtendo assim quatro
valores.
Decidir se possvel que os quatro valores sejam, em alguma ordem:
a) 29, 29, 35, 37 ; b) 28, 29, 35, 37 ; c) 28, 34, 34, 37.
PROBLEMA 2

Em um tringulo ABC, denotamos por M o ponto mdio do lado BC e por I o ponto


de interseo de suas bissetrizes. Se IM = IA, determinar o menor valor possvel
para a medida do ngulo AIM .
PROBLEMA 3

Semciclolndia um pas com 500 cidades e 2013 estradas de mo dupla, cada


uma conectando diretamente duas cidades. Duas cidades A e B so chamadas de
vizinhas se existe uma estrada que as conecta e duas cidades A e B so chamadas de
quase-vizinhas se existe uma cidade C tal que A vizinha de C e C vizinha de B.
Sabemos que em Semciclolndia no existem duas cidades conectadas diretamente
por mais de uma estrada e no existem quatro cidades A, B, C e D tais que
simultaneamente A vizinha de B, B vizinha de C, C vizinha de D e D vizinha
de A.
Demonstrar que existe uma cidade que quase-vizinha de pelo menos 57 cidades.
EUREKA! N37, 2013

11

Sociedade Brasileira de Matemtica

SEGUNDO DIA
PROBLEMA 4

Seja M o conjunto dos nmeros inteiros de 1 at 2013 inclusive. A cada um dos


subconjuntos de M atribumos uma das k cores disponveis, com a condio de que,
se dois conjuntos distintos A e B cumprem que A B = M , ento aos conjuntos A
e B so atribudas cores distintas. Qual o menor valor possvel que pode ter k?

PROBLEMA 5

Seja d ( k ) o nmero de divisores positivos do inteiro k. Um nmero n chamado


equilibrado se:

d ( n 1) d ( n ) d ( n + 1) ou d ( n 1) d ( n ) d ( n + 1) .
Demonstrar que existem infinitos nmeros equilibrados.

PROBLEMA 6

Seja ABCD um quadriltero convexo. Seja n 2 um nmero inteiro. Demonstrar


que existem n tringulos da mesma rea cumprindo todas as seguintes
propriedades:

Seus interiores so disjuntos, isto , os tringulos no se sobrepem;


Cada tringulo est contido em ABCD ou em seu interior;

A soma das reas dos tringulos pelo menos


quadriltero ABCD.

EUREKA! N37, 2013

12

4n
4n + 1

da rea do

Sociedade Brasileira de Matemtica

54 OLIMPADA INTERNACIONAL DE MATEMTICA (IMO)


Enunciados e resultado brasileiro
O Brasil obteve um timo resultado na 54a Olimpada Internacional de
Matemtica (IMO), que aconteceu entre os dias 20 e 28 de julho na cidade de Santa
Marta na Colmbia, conquistando trs medalhas de prata, uma de bronze e duas
menes honrosas. A equipe foi liderada pelos professores Edmilson Motta de So
Paulo (SP) e Onofre Campos da Silva Farias de Fortaleza (CE).
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4
BRA5
BRA6

Rodrigo Sanches ngelo


Rafael Kazuhiro Miyazaki
Victor Oliveira Reis
Franco Matheus de Alencar Severo
Alessandro de Oliveira Pacanowski
Victor de Oliveira Bitares

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

PRIMEIRO DIA
PROBLEMA 1

Demonstrar que, para qualquer par de inteiros positivos k e n, existem k inteiros


positivos m1 , m2 ,..., mk (no necessariamente distintos) tais que:

1+

2k 1
1
1
1
= 1 + 1 +
... 1 +
n
m1 m2 mk

PROBLEMA 2

Uma configurao de 4027 pontos do plano dos quais 2013 so vermelhos e 2014
azuis, e no h trs pontos colineares, diz-se colombiana. Traando algumas retas,
o plano fica dividido em vrias regies. Um conjunto de retas bom para uma
configurao colombiana se satisfaz as duas seguintes condies:

Nenhuma reta passa por algum ponto da configurao;


Nenhuma regio contem pontos de ambas as cores.

Encontrar o menor valor de k tal que, para qualquer configurao colombiana de


4027 pontos, h um conjunto bom de k retas.

EUREKA! N37, 2013

13

Sociedade Brasileira de Matemtica

PROBLEMA 3

Seja A1 o ponto de tangncia do excrculo do tringulo ABC oposto ao vrtice A


com o lado BC. Definem-se os pontos B1 em CA e C1 em AB , de modo anlogo,
uitilizando os excrculos opostos a B e a C, respectivamente. Suponha que o
circuncentro do tringulo A1 B1C1 pertence circunferncia circunscrita ao tringulo
ABC. Demonstrar que o tringulo ABC e retngulo.
O excrculo de ABC oposto ao A e a circunferncia que tangente ao segmento
BC, ao prolongamento do lado AB no sentido de A para B e ao prolongamento do
lado AC no sentido de A para C. Os excrculos opostos a B e a C definem-se de
modo semelhante.

SEGUNDO DIA
PROBLEMA 4

Seja ABC um tringulo acutngulo com ortocentro H e seja W um ponto do lado


BC, estritamente entre B e C. Os pontos M e N so os pes das alturas traadas desde
B e C, respectivamente.
Designa-se por w1 a circunferncia circunscrita ao tringulo BWN; seja X o ponto
de w1 tal que WX um dimetro de w1 . Analogamente, designa-se por w2 a
circunferncia circunscrita ao tringulo CWM; seja Y o ponto de w2 tal que WY
um dimetro de w2 . Demonstrar que os pontos X, Y e H so colineares.
PROBLEMA 5

Seja  >0 o conjunto dos nmeros racionais maiores do que zero. Seja

f :  >0  uma funo que satisfaz as trs seguintes condies:


(i)

f ( x ) f ( y ) f ( xy ) para quaisquer x, y  > 0 ;

(ii) f ( x + y ) f ( x ) + f ( y ) para quaisquer x, y  > 0 ;


(iii) Existe um nmero racional a > 1 tal que f ( a ) = a.
Demonstrar que f ( x ) = x para qualquer x  > 0 .

EUREKA! N37, 2013

14

Sociedade Brasileira de Matemtica

PROBLEMA 6

Seja n 3 um nmero inteiro. Considera-se uma circunferncia na qual esto


marcados n + 1 pontos igualmente espaados. A cada ponto atribui-se um dos
nmeros 0, 1,..., n de modo que cada nmero e usado exatamente uma vez; duas
atribuies de nmeros consideram-se a mesma se uma pode ser obtida da outra
por uma rotao da circunferncia. Uma atribuio de nmeros chama-se bonita se,
para quaisquer quatro nmeros a < b < c < d com a + b = b + c, a corda que une
os pontos correspondentes a a e a d no intersecta a corda que une os pontos
correspondentes a b e a c.
Sejam M o nmero de atribuies bonitas o N o nmero de pares ordenados ( x, y )
de inteiros positivos que x + y n e mdc ( x, y ) = 1. Demonstrar que

M = N + 1.

EUREKA! N37, 2013

15

Sociedade Brasileira de Matemtica

3 OLIMPADA DE MATEMTICA DA COMUNIDADE DOS PASES


DE LNGUA PORTUGUESA
Enunciados e resultado brasileiro
O Brasil conquistou uma medalha de ouro e trs de prata na 3 Olimpada
de Matemtica da Comunidade dos Pases de Lngua Portuguesa, realizada de 5 a
10 de agosto, na cidade de Maputo, Moambique. Com este resultado o pas ficou
pelo terceiro ano consecutivo com a primeira posio na classificao geral,
seguido pela equipe de Portugal. A equipe foi liderada pelos professores Carlos
Bahiano, de Salvador (BA) e Marcelo Xavier de Mendona, do Rio de Janeiro
(RJ).
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4

Gabriel Toneatti Vercelli


Lucca Morais de Arruda Siaudzionis
Lucas Pereira Galvo de Barros
Joo Csar Campos Vargas

Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Prata

PRIMEIRO DIA
PROBLEMA 1

Quantos cestos e quantas laranjas tem a Xiluva sabendo que se ela arruma duas
laranjas em cada cesto ficam quatro laranjas de sobra e se ela arruma cinco laranjas
em cada cesto fica um cesto vazio?
PROBLEMA 2

Seja ABC um tringulo acutngulo. A circunferncia de dimetro AB intercepta os


lados AC e BC nos pontos E e F respectivamente. As tangentes ao crculo nos
pontos E e F se cruzam em P. Mostre que o ponto P pertence altura do tringulo
ABC a partir do vrtice C.
PROBLEMA 3

Um evento ocorre h muitos anos, realizando-se regularmente em x anos


consecutivos seguidos de uma pausa de y anos consecutivos. Sabe-se que o evento
se realizou em 1964, 1986, 1996 e 2008 e no se realizou em 1976, 1993, 2006 e
2013. Qual o primeiro ano em que o evento se vai realizar novamente?

EUREKA! N37, 2013

16

Sociedade Brasileira de Matemtica

SEGUNDO DIA
PROBLEMA 4

Determine todos os pares ( x, y ) de inteiros positivos que satisfazem a equao

x 2 xy + 2 x 3 y = 2013.
PROBLEMA 5

Determine todos os nmeros de 5 algarismos no nulos tais que apagando


consecutivamente o algarismo da esquerda, em cada etapa, se obtm um divisor do
nmero anterior.
PROBLEMA 6

Considere um tringulo ABC. Seja S a circunferncia que tangencia internamente


os lados BC, CA e AB do tringulo nos pontos D, E e F, respectivamente.
Externamente ao tringulo constroem-se trs circunferncias S A , S B e SC . A
circunferncia S A tangente a BC no ponto L e aos prolongamentos das retas AB e
BC, nos pontos M e N, respectivamente. A circunferncia S A tangente a BC no
ponto L e aos prolongamentos das retas AB e AC nos pontos M e N,
respectivamente. A circunferncia S B tangente a AC no ponto E e ao
prolongamento da reta BC no ponto P. Prove que as retas EP, FQ e AL so
concorrentes em um nico ponto sobre S.

EUREKA! N37, 2013

17

Sociedade Brasileira de Matemtica

27 OLIMPADA IBERO-AMERICANA DE MATEMTICA


Enunciados e resultado brasileiro
A equipe brasileira formada por quatro estudantes do ensino mdio
conquistou duas medalhas de ouro e duas de prata na 27 Olimpada IberoAmericana de Matemtica (OIM), realizada entre os dias 29 de setembro e 6 de
outubro na cidade de Cochabamba, Bolvia. A equipe foi liderada pelos professores
Matheus Secco e Hugo Fonseca, ambos do Rio de Janeiro (RJ).
RESULTADOS DA EQUIPE BRASILEIRA
BRA1
BRA2
BRA3
BRA4

Rafael Kazuhiro Miyazaki


Rodrigo Sanches ngelo
Franco Matheus de Alencar Severo
Andr Macieira Braga Costa

Medalha de Ouro
Medalha de Ouro
Medalha de Prata
Medalha de Prata

PRIMEIRO DIA
PROBLEMA 1

Sobre o retngulo ABCD constroem-se os tringulos equilteros BCX e DCY, de


modo que cada um compartilhe pontos com o interior do retngulo. A reta AX
intersecta a reta DC em P. A reta AY intersecta a reta BC em Q. Demonstrar que o
tringulo APQ equiltero.
PROBLEMA 2

Um inteiro positivo diz-se bissomado se puder ser escrito como soma de dois
inteiros positivos que tenham a mesma soma dos algarismos. Por exemplo, 2012
bissomado, pois 2012 = 2005 + 7 e tanto 2005 como 7 tm soma dos algarismos
igual a 7.
Encontrar todos os inteiros positivos que no so bissomados.
PROBLEMA 3

Seja n um inteiro positivo. Dado um conjunto {a1 , a2 ,..., an } de inteiros entre 0 e

2n 1 inclusive, associados a cada um dos seus 2n subconjuntos a soma dos seus


elementos; em particular, o subconjunto vazio tem soma 0. Se estas 2n somas
deixam todas restos distintos na diviso por 2n , dizemos que o conjunto
{a1 , a2 ,..., an } n-completo. Determinar, para cada n, a quantidade de conjuntos
n-completos.
EUREKA! N37, 2013

18

Sociedade Brasileira de Matemtica

SEGUNDO DIA
PROBLEMA 4

Sejam a, b, c, d nmeros inteiros tais que a b + c d mpar e divide

a 2 b 2 + c 2 d 2 . Demonstrar que, para qualquer inteiro positivo n, a b + c d


divide a n b n + c n d n .
PROBLEMA 5

Seja ABC um tringulo e sejam P e Q os pontos de interseo da paralela a BC por


A com as bissetrizes exteriores dos ngulos B e C, respectivamente. A
perpendicular a BP por P e a perpendicular a CQ por Q intersectam-se em R. Seja I
o incentro de ABC. Demonstrar que AI = AR.
PROBLEMA 6

Demonstrar que, para qualquer inteiro positivo n, existem n inteiros positivos


consecutivos tais que nenhum deles divisvel pela soma dos seus respectivos
algarismos.

EUREKA! N37, 2013

19

Sociedade Brasileira de Matemtica

28 OLIMPADA IBERO-AMERICANA DE MATEMTICA


Enunciados e resultado brasileiro
A equipe brasileira formada por quatro estudantes do ensino mdio
conquistou, por segundo ano consecutivo, o primeiro lugar geral na 28 Olimpada
Ibero-Americana de Matemtica (OIM), realizada entre os dias 20 e 28 de
setembro na cidade do Panam, Panam. O evento contou com a participao de 78
jovens de 20 pases da Amrica Latina, Portugal e Espanha. A equipe foi liderada
pelos professores Eduardo Wagner do Rio de Janeiro (RJ) e Pablo Rodrigo
Ganassim de So Paulo (SP).

RESULTADOS DA EQUIPE BRASILEIRA


BRA1
BRA2
BRA3
BRA4

Rodrigo Sanches ngelo


Rafael Kazuhiro Miyazaki
Franco Matheus de Alencar Severo
Victor Oliveira Reis

Medalha de Ouro
Medalha de Prata
Medalha de Prata
Medalha de Prata

PRIMEIRO DIA
PROBLEMA 1

Um conjunto S de inteiros positivos distintos chama-se canaleiro se para quaisquer


trs nmeros a, b, c S , todos diferentes, se tem que a divide bc, b divide ca e c
divide ab.
a) Demonstrar que para qualquer conjunto finito de inteiros positivos
{c1 , c2 ,..., cn } existem infinitos inteiros positivos k, tais que o conjunto

{kc1 , kc2 ,..., kcn } canaleiro.


b) Demonstrar que para qualquer inteiro n 3 existe um conjunto canaleiro
que tem exatamente n elementos e tal que nenhum inteiro maior que 1
divide todos os seus elementos.
PROBLEMA 2

Sejam X e Y os extremos de um dimetro de uma circunferncia e N o ponto


mdio de um dos arcos XY de . Sejam A e B dois pontos do segmento XY. As
retas NA e NB cortam novamente nos pontos C e D, respectivamente. As
tangentes a em C e D encontram-se em P. Seja M o ponto de interseco do
EUREKA! N37, 2013

20

Sociedade Brasileira de Matemtica

segmento XY com o segmento NP. Demonstrar que M o ponto mdio do


segmento AB.
PROBLEMA 3

Seja A = {1, 2,3,..., n} com n > 5. Demosntrar que existe um conjunto finito B de
inteiros positivos distintos tal que A B e possui a propriedade:

x =x ,
2

xB

xB

Ou seja, o produto dos elementos de B igual soma dos quadrados dos elementos
de B.

SEGUNDO DIA
PROBLEMA 4

Sejam uma circunferncia de centro O, AE um dimetro de e B o ponto mdio


de um dos arcos de AE de . O ponto D E est sobre o segmento OE. O ponto
C tal que o quadriltero ABCD um paralelogramo com AB paralelo a CD e BC
paralelo a AD. As retas EB e CD cortam-se no ponto F. A reta OF corta o menor
arco EB de no ponto I.
Demonstrar que a reta EI a bissetriz do ngulo BEC.
PROBLEMA 5

Sejam A e B dois conjuntos tais que:


i) A B o conjunto dos inteiros positivos.
ii) A B vazio.
iii) Se dois inteiros positivos tm como diferena um primo maior que 2013,
ento um deles est em A e o outro em B.
Encontrar todas as possibilidades para os conjuntos A e B.
PROBLEMA 6

Uma configurao um conjunto finito S de pontos do plano entre os quais no h


trs colineares e tal que a cada ponto se atribui alguma cor, de modo que se um
tringulo cujos vrtices esto em S tem um ngulo maior ou igual a 120, ento
exatamente dois de seus vrtices so de uma mesma cor.
Encontrar o nmero mximo de pontos que pode ter uma configurao.
EUREKA! N37, 2013

21

Sociedade Brasileira de Matemtica

TEOREMA DE MORLEY: O QUE OS TRINGULOS AINDA PODEM


NOS REVELAR
Daniel Cordeiro de Morais Filho, UFCG
Arthur Cavalcante Cunha, UFCG
Amauri da Silva Barros, UFAL
Nvel Intermedirio
INTRODUO

Problemas de Geometria sempre encantaram os admiradores da Matemtica. Como


a Geometria uma das mais antigas manifestaes matemticas da humanidade,
era de se esperar, h alguns sculos atrs, que os mais importantes resultados sobre
tringulos j tivessem sido descobertos e estabelecidos. Mas isso no verdade. No
comeo do sculo passado ainda se estava descobrindo resultados envolvendo
tringulos, e sobre um desses belos resultados que falaremos neste artigo.
O PROBLEMA

Como sabemos, as bissetrizes de um tringulo qualquer, semirretas que dividem os


ngulos internos em dois ngulos congruentes, se intersectam em um ponto
chamado incentro. Esse ponto tem a interessante propriedade de ser o centro de
uma circunferncia inscrita no tringulo. O famoso matemtico grego Euclides
(c.325 a.C-c.365 a.C.) provou esse resultado no Livro IV dos seus Elementos
(Proposio 4), h pelo menos 24 sculos!
Nessa direo, a histria guardou uma pergunta bem natural que parece no ter sido
feita ao longo dos sculos: e se dividirmos os ngulos internos de um tringulo em
trs partes iguais? Encontraremos algum resultado tambm interessante? Vejamos.
As duas semirretas que dividem um ngulo interno de um tringulo em trs ngulos
congruentes chamam-se trissetrizes. As trissetrizes de um tringulo geram seis
pontos de interseo. H alguma propriedade interessante que envolve esses
pontos? Para ver o que ocorre, preciso distinguir um pouco mais essas
trissetrizes. Diremos que duas trissetrizes so adjacentes quando partem de vrtices
opostos pertencentes a um mesmo lado do tringulo e formam o menor ngulo que
uma trissetriz pode formar com esse lado.
Una os pontos de interseo das trissetrizes adjacentes de um tringulo qualquer.
Voc obter um tringulo. Observe melhor, mais do que isso, voc descobrir um
resultado surpreendente: o tringulo obtido sempre um tringulo eqiltero! Vide
figura a seguir.
EUREKA! N37, 2013

22

Sociedade Brasileira de Matemtica

Figura 1: O Tringulo equiltero DEF chamado Tringulo de Morley.

Esse o Teorema de Frank Morley (1860-1937), matemtico anglo-americano,


presidente da American Mathematical Society no binio 1919-1920, que provou
esse teorema no final do Sculo XIX (vide uma pequena bibliografia de Morley em
[1]). Na verdade, a demonstrao do teorema como conhecido hoje s foi publicada
em 1929 ([2]).
O enunciado do teorema o seguinte:
Teorema de Morley: Em um tringulo qualquer, a unio dos pontos de interseo das
trissetrizes adjacentes forma um tringulo equiltero.
Uma animao do teorema pode ser vista em [3].
Porque esse problema importante

Bem, alm de ser um belo resultado, esse problema envolve um dos antigos
problemas famosos da Matemtica, que a trisseco de um ngulo em trs
ngulos congruentes. Saber se possvel fazer isso para qualquer ngulo usando
apenas rgua e compasso um problema famoso, que levou 20 sculos para ser
EUREKA! N37, 2013

23

Sociedade Brasileira de Matemtica

resolvido, e a soluo negativa (vide [4]): no possvel, em geral, trissectar


ngulos com rgua e compasso. Por essa razo, talvez os resultados envolvendo
trisseco de ngulos tenham sido considerados desinteressantes, e velado o
teorema at ser descoberto e provado apenas no comeo do sculo XX. Mas,
convenhamos, na prtica, ningum precisa trissectar um ngulo para descobrir ou
provar o Teorema de Morley!
Em segundo lugar, das demonstraes possveis desse teorema (e h vrias, dos
mais variados gostos, e algumas at bem modernas. Vide [5].) optamos pela que
usasse certos resultados vistos na Trigonometria, que s vezes so apenas
memorizados pelos estudantes do Ensino Mdio. Na maioria das vezes, esses
resultados so apenas apresentados sem qualquer aplicao de destaque que
merecesse estud-los. Nossa demonstrao tambm fornece a oportunidade de usar
algumas identidades trigonomtricas como as que transformam produtos em soma,
bem como uma aplicao das Leis dos Senos e dos Cossenos em um nico
problema.
Demonstrao do Teorema de Morley

Consideremos o tringulo ABC, da Figura 1, com ngulos internos a = B 


AC ,

 e c = ACB
 . Consideremos tambm o tringulo DEF , formado pela
b = ABC
interseo das trissetrizes adjacentes relativas a esses ngulos.
A ideia dessa demonstrao calcular os comprimentos dos lados do
tringulo DEF , mostrando que so iguais. Como usaremos a Lei dos Senos, seja
R o raio da circunferncia inscrita ao tringulo ABC. Vamos mostrar que

a
b
c
DE = EF = FD = 8 R sen sen sen .
3
3
3
Iremos usar as seguintes identidades trigonomtricas:

x
x+
x + 2
sen x = 4sen sen
sen
3
3
3
1
2. sen 2 x = (1 cos 2 x )
2
1
3. sen x seny = cos ( x y ) cos ( x + y )
2
a + b + 2
2 + c
c
c

4. cos
= cos
= cos = cos
3
3
3
3

1.

EUREKA! N37, 2013

24

Sociedade Brasileira de Matemtica

5.

1
x+ y
x y
cos
( cos x + cos y ) = cos
2
2
2

Pela Lei dos Senos aplicada ao tringulo ABC, e pela identidade (1) temos

6.

BC
a
a+
a + 2
= 2 R BC = 8R sen sen
sen
.
sen a
3
3
3

Considere agora o tringulo BDC. As medidas de seus ngulos internos so:

 = b , BCD
 = c e BDC
 = b c = 3 b c = ( b c ) + 2 = a + 2 .
C BD
3
3
3 3
3
3
3
Agora, aplicando a Lei dos Senos ao tringulo BDC e usando a igualdade (6)
obtemos:

BC sen b3
BC
CD
=

CD
=

sen a +32 sen b3


sen a +32
CD =

7.

a+2
b
8R sen a3 sen a +
3 sen 3 sen 3

sen a +32

a
b
a+
CD = 8R sen sen sen
.
3
3
3

Fazendo o mesmo para o tringulo ACE, resulta em

8.

a
b
b+
CE = 8 R sen sen sen
.
3
3
3

Para encontrar o comprimento do lado DE, usaremos a Lei dos Cossenos ao


tringulo CDE, e por (7) e (8):

c
DE 2 = CD 2 + CE 2 2CD CE cos
3
EUREKA! N37, 2013

25

Sociedade Brasileira de Matemtica

( 9.)

a
b
a+
b+
a+
b+
c
DE 2 = 64R2sen 2 sen 2 sen 2
+ sen 2
2sen
sen
cos .
3
3
3
3
3
3
3

Para simplificar a escrita, chamemos

a
b
M = 8Rsen sen , donde
3
3
M 2 = 64R 2sen 2

a
b
sen 2 .
3
3

De (2) e (3), segue da expresso (9) que

1
2a + 2 1
2b + 2 1 a b
a + b + 2 c
DE2 =M 2 1 cos
cos
+ 1 cos
2 cos
cos .
3 2
3 2
3
3
3
2
De (4) e (5), obtemos

1
2a + 2
2b + 2
a b
c
c
c
DE 2 =M 2 1 + 1 cos
cos + cos cos =
cos
cos
3
3
3
3
3
3
2
c
ab
a b
c
c
c
c

= M 2 1 cos cos
cos cos 2 = M 2 1 cos 2 = M 2 sen 2 .
cos
3
3
3
3
3
3
3


Logo,

DE = Msen

c
a
b
c
=8R sen sen sen .
3
3
3
3

Se fizermos o mesmo procedimento para os tringulos BDF e AFE, encontraremos


que o comprimento dos lados DF e EF do tringulo DEF tambm dado por

a
b
c
DF =EF = 8R sen sen sen .
3
3
3
Portanto, como DE, DF e EF so iguais, o tringulo DEF equiltero. Como
queramos demonstrar.
EUREKA! N37, 2013

26

Sociedade Brasileira de Matemtica

Concluso

Em [3] pode-se encontrar 23 demonstraes desse teorema. Nossa demonstrao


baseia-se no artigo [5], onde pode ser encontrado um detalhado histrico desse
teorema, que parece ter cado no gosto de muitos. Enfim, ficar famoso por provar,
em pleno Sculo XX, um teorema da Geometria Elementar um fato que muitos
gostariam de ter tido o privilgio de que ocorresse com eles. Coisas da Histria,
coisas da Matemtica...

BIBLIOGRAFIA
[1] http://faculty.evansville.edu/ck6/bstud/morley.html
[2] American Journal of Mathematics, F. Morley, 51 (1929), pp. 465-472.
[3] http://www.cut-the-knot.org/triangle/Morley/index.shtml
[4] Gonalves, Adilson; Introduo lgebra, IMPA (1999).
[5] Cletus O. Oakley e Justine Davis, The Morley Trisector Theorem, Amer. Math Monthly
(1978), p. 737-745.O artigo pode ser encontrado na pgina
http://www.haverford.edu/math/cgreene/399/morley/morley.pdf.
EUREKA! N37, 2013

27

Sociedade Brasileira de Matemtica

JOGOS
Bruno Holanda, Fortaleza CE

Nvel Iniciante
Problemas sobre jogos esto entre os mais atrativos para a maioria dos
alunos que esto iniciando o seu gosto pela matemtica e, por isso, vm ganhando
grande importncia nas provas da OBM. Neste artigo vamos mostrar as duas idias
que mais aparecem nas provas: a simetria e o uso das posies vencedoras.
1. Simetria

Uma das estratgias mais simples o uso de alguma simetria que pode ocorrer
durante o jogo em vantagem de um dos jogadores, forando sempre uma nova
rodada para o jogador destinado derrota. Para entender melhor, veja o seguinte
exemplo:
Exemplo 1.1: Pedro e Mnica jogam em um tabuleiro 1 11 . Cada um, em sua vez,
pode pintar um dos quadrados (que no foram pintados anteriormente), ou dois
quadrados consecutivos (se ambos estiverem brancos). Quem no puder mais jogar
perde. Sabe-se que Pedro ser o primeiro a jogar. Quem pode sempre garantir a
vitria?
Soluo. Pedro sempre poder ganhar se seguir a seguinte estratgia:
i. Inicialmente, Pedro deve pintar o quadrado do meio.

ii. Agora, depois que Mnica fizer sua jogada, Pedro deve jogar sempre
simetricamente em relao ao centro do tabuleiro (i.e. sempre deixando o tabuleiro
simtrico). Por exemplo, se Mnica jogar nas casas 9 e 10, Pedro deve jogar nas
casas 2 e 3.

iii. Assim, Mnica nunca poder ganhar, pois, na sua jogada, ela recebe uma
posio simtrica e quebra a simetria, e na configurao final do jogo, todas as
casas estaro pintadas, ou seja, a configurao simtrica.

EUREKA! N37, 2013

28

Sociedade Brasileira de Matemtica

O prximo exemplo um dos problemas que apareceu na prova da OBM de 2004.


Vamos apresentar uma soluo diferente da soluo proposta na Eureka! 22,
usando simetria:
Exemplo 1.2: Arnaldo e Bernaldo disputam um jogo em um tabuleiro 2 n :

As peas do jogo so domins 2 1 . Inicialmente Arnaldo coloca um domin


cobrindo exatamente duas casas do tabuleiro, na horizontal ou na vertical. Os
jogadores se revezam colocando uma pea no tabuleiro, na horizontal ou na
vertical, sempre cobrindo exatamente duas casas do tabuleiro. No permitido
colocar uma pea sobre outra j colocada anteriormente.
Quem no conseguir colocar uma pea no tabuleiro perde.
Qual dos dois jogadores tem uma estratgia vencedora, ou seja, uma estratgia que
o leva vitria quaisquer que sejam as jogadas de seu adversrio, para:
(a) n = 2004 ?
(b) n = 2005 ?
Soluo. Quando n = 2005 o primeiro jogador garante a vitria. Ele pode fazer isto
colocando um domin na vertical no meio do tabuleiro e, em seguida, jogar
simetricamente ao segundo jogador. Quando n = 2004 o tabuleiro possui um
nmero par de colunas. Desse modo, o segundo ganha jogando simetricamente ao
primeiro jogador.
PS: Quando falamos jogar simetricamente significa fazer um movimento para
deixar o tabuleiro simtrico em relao ao centro.
2. Posies vencedoras

Alguns tipos de jogos possuem certas configuraes que sempre levam um jogador
vitria. Essas configuraes so chamadas de posies vencedoras. O prximo
exemplo um jogo bastante simples em que essa estratgia aparece facilmente.

EUREKA! N37, 2013

29

Sociedade Brasileira de Matemtica

Exemplo 2.1: Na primeira casa de um tabuleiro 1 13 est um pino. Tiago e Maria

movem o pino alternadamente. Em cada turno permitido avanar 1,2,3,4 ou 5


casas. Quem colocar o pino na ltima casa o vencedor. Se Maria comear
jogando, ela pode ter certeza da vitria?
Soluo. Como em muitos problemas de olimpada, vamos analisar alguns casos
pequenos. Vamos supor que em vez de 13 casas o tabuleiro tivesse apenas quatro.
Neste caso, fica fcil ver que quem comea ganha: basta avanar trs casas. O
mesmo iria ocorrer se o tabuleiro tivesse 2,3,4,5 ou 6 casas. Porm, veja que em
um tabuleiro 7 1 o primeiro jogador perde. Isso acontece pois, aps sua jogada, o
pino ficar em uma das casas 2,3,4,5 ou 6. E j sabemos que essas casas levam o
jogador vitria.

Desse modo, vamos dizer que 7 uma posio perdedora e 6,5,4,3 e 2 so posies
vencedoras. Agora, se um o jogador que estiver em uma das casas 8,9,10,11 ou 12
pode garantir a vitria movendo o pino para a casa 7. Ou seja, deixando o seu
adversrio em uma posio perdedora. Assim, podemos afirmar que as posies
8,9,10,11 e 12 tambm so vencedoras. Resta analisar a 13 casa. Observe que a
partir desta casa podemos mover o pino apenas para uma das casas 8,9,10,11 ou 12,
que so vencedoras. Da, quem comear perde pois, inicia em uma posio
perdedora.
A grande dificuldade para a maioria dos alunos descobrir quais so as posies
vencedoras de um jogo. Para evitar esse tipo de problema, tenha sempre em mente
as seguintes definies:
Posio vencedora: A partir dela, podemos escolher um movimento e repassar uma

posio perdedora para o adversrio.


Posio perdedora: A partir dela, impossvel escolher um movimento e repassar

uma posio perdedora para o adversrio. Ou seja, no importa o movimento


escolhido, o adversrio ir receber uma posio vencedora.

EUREKA! N37, 2013

30

Sociedade Brasileira de Matemtica

E como fazer para descobrir quais so as posies vencedoras e perdedoras? A


melhor maneira de se fazer isto analisando o final do jogo e aplicar as definies
acima. Vamos praticar um pouco resolvendo o seguinte problema:
Exemplo 2.2: Em um tabuleiro 8 8 , uma torre est na casa a1. Dois jogadores

movem a torre com objetivo de colocar a torre na casa h8. Sabendo que a torre
pode mover-se apenas para cima ou para direita (quantas casas o jogador desejar) e
que no se pode passar a vez, determine qual jogador tem a estratgia vencedora.
Soluo. Primeiramente note que todas as casas da ltima linha e da ltima coluna

(exceto a h8) so vencedoras pois, a partir delas podemos escolher um movimento


que nos leve vitria. Com isso, a casa g7 se torna perdedora pois, a partir dela
qualquer movimento leva o outro jogador a uma posio vencedora (veja a figura
1).

Agora, como g7 perdedora, as demais casas da stima linha e da stima coluna


so vencedoras. Mais ainda, a casa f6 tambm deve ser perdedora (figura 2).
Continuando de maneira anloga, obtemos que a casa a1 perdedora (figura 3).
Logo, quem comear, perde.

EUREKA! N37, 2013

31

Sociedade Brasileira de Matemtica

3. Problemas

1. Sobre uma mesa existem duas pilhas (uma com 15 e outra com 16 pedras).
Em um jogo cada jogador pode, em sua vez, retirar qualquer quantidade de
pedras de apenas uma pilha. Quem no puder mais jogar perde. Quem
possui a estratgia vencedora?
2. Dois jogadores colocam alternadamente reis (de cores todas distintas) em
um tabuleiro 9 9 , de forma que nenhum rei ataque outro. Quem no
puder mais jogar perde. Quem possui a estratgia vencedora?
3. (OBM 2002) So dados um tabuleiro de xadrez ( 8 8 ) e palitinhos do
tamanho dos lados das casas do tabuleiro. Dois jogadores jogam
alternadamente e, em cada rodada, um dos jogadores coloca um palitinho
sobre um lado de uma das casas do tabuleiro, sendo proibido sobrepor os
palitinhos. Vence o jogador que conseguir completar primeiro um
quadrado 1 1 de palitinhos. Supondo que nenhum dos jogadores cometa
erros, qual dos dois tem a estratgia vencedora?
4. (Leningrado 1987) Dois jogadores colocam alternadamente 's e 's em
um tabuleiro 9 9 . O primeiro escreve 's e o segundo 's. Quando o
tabuleiro for completamente preenchido o jogo termina e os pontos so
contados. Um ponto dado ao jogador para cada linha ou coluna em que
ele possuir mais casas dos que o adversrio. O jogador que possuir mais
pontos vence. Quem pode sempre ganhar?
5. (Leningrado 1989) Um pino est no centro de um tabuleiro 11 11 . Dois
jogadores fazem alternadamente o pino saltar para qualquer outra casa do
tabuleiro, mas a cada movimento (a partir do segundo) o tamanho do salto
deve ser maior que o anterior. O jogador que no puder mais jogar perde.
Ache a estratgia vencedora.
6. Sobre uma mesa existem 2006 pedras. Em um jogo, cada jogador pode, em
sua vez, retirar de 1 a 10 pedras (mas sempre retirando pelo menos uma
pedra). Ganha o jogador que retirar a ltima pedra. Qual dos jogadores
possui a estratgia vencedora?
7. (Leningrado 1990) Tom e Jerry jogam um jogo e Tom faz a primeiro
passo. Em cada turno o jogador pode diminuir de um dado natural N um
EUREKA! N37, 2013

32

Sociedade Brasileira de Matemtica

dos seus dgitos no-nulos. Inicialmente o nmero N 1234. O jogador que


obtiver zero ganha. Quem pode garantir a vitria?
8. (Leningrado 1988) Uma pilha de 500 pedras dada. Dois jogadores jogam
o seguinte jogo: Em cada turno, o jogador pode retirar 1,2,4,8,... (qualquer
potncia de 2) pedras da pilha. O jogador que no puder mais jogar perde.
Quem possui estratgia vencedora?
9. Em uma caixa existem 300 bolinhas. Cada jogador pode retirar no mais
do que a metade das bolinhas que esto na caixa. O jogador que no puder
mais jogar perde. Quem possui estratgia vencedora?

Referncias:
[1] Dmitri Fomin, Alexey Kirichenkko, Leningrad Mathematical Olympiads 1987-1991,
1994
[2] Dmitri Fomin, Sergey Genkin e Ilia Itenberg, Mathematical Circles (russian
experience), 1996

EUREKA! N37, 2013

33

Sociedade Brasileira de Matemtica

EQUAES FUNCIONAIS PARA OS MAIS JOVENS


Ricardo Csar da Silva Gomes, IFCE, Jaguaribe CE

Nvel Intermedirio
Um dos temas mais desafiadores para um olmpico so os problemas sobre
equaes funcionais. Porm, existem poucos artigos escritos para iniciantes, o que
contribui para dificultar mais ainda a implantao de um treinamento para a OBM
numa escola que deseja se aventurar no encantador universo das Olimpadas de
Matemtica. Nosso objetivo neste artigo suprir um pouco essa carncia.
Inicialmente, vamos fazer um aquecimento com os exemplos abaixo.
1. Um bom comeo...
Exemplo 01. (Austrlia) Para todo inteiro positivo n, temos:

f ( n) =

1
3

n 2 + 2n + 1 + 3 n 2 1 + 3 n 2 2n + 1

Determine o valor da soma

f (1) + f ( 3) + f ( 5 ) + ... + f ( 999997 ) + f ( 999999 ) .


Soluo:

Observando

com

a b = ( a b ) ( a + ab + b
3

bastante

cuidado

vemos

que

) (*) nos ajudar a sair dessa aparente dificuldade.

Basta fazermos a = 3 n + 1 e b = 3 n 1
e a funo dada pode ser reescrita como

f ( n) =

1
a b
a b
= 3 3=
.
2
a + ab + b
a b
2
2

Escrevendo f desta forma fica bastante claro porque usaremos (*), em seguida
voltaremos varivel n. Veja que legal:

2 f ( n ) = a b = 3 n + 1 3 n 1.
Agora vamos tacada final,

2 f (1) = 3 2
2 f ( 3) = 3 4 3 2
2 f ( 5) = 3 6 3 4
2 f ( 999997 ) = 3 999998 3 999996
EUREKA! N37, 2013

34

Sociedade Brasileira de Matemtica

2 f ( 999999 ) = 3 1000000 3 999998


Adicionando, membro a membro, as equaes acima temos:

f (1) + f ( 3) + f ( 5 ) + ... + f ( 999997 ) + f ( 999999 ) =

13
1000000 = 50.
2

Exemplo 02. Determine todas as funes f :   tais que

(( x y ) ) = ( f ( x ))
2

2 xf ( y ) + y 2 .

(*)

Soluo. Fazendo x = y = 0 em (*), obtemos:


2

f ( 0 ) f ( 0 ) = 0 f ( 0 ) ( f ( 0 ) 1) = 0
H ento dois casos:
1 Caso: f ( 0 ) = 0. Escolhendo y = x em (*) teremos:
2

( f ( x ) x ) = ( f ( x ))

2 xf ( x ) + x 2 = f ( 0 ) = 0

da temos f ( x ) = x, onde x um nmero real qualquer.

f ( 0 ) = 1. Novamente escolhendo y = x em (*), teremos:

2 Caso:

( f ( x) x) = ( f ( x))
da temos que, para todo x ,

f ( x) = x + x ,

onde

( x y ) + ( x y)

2 xf ( x ) + x 2 = f ( 0 ) = 1
f ( x ) = x + 1 ou f ( x ) = x 1. Assim,

x {1,1} , x .

Temos

ento,

de

(*),

= ( x + x ) 2 x ( y + y ) + y 2 , donde

( x y ) = 2 x ( x y ) + x2 , x, y . Como f ( 0 ) = 1, 0 = 1.
2

Se existe z  com z 1, existe y  com y 1 . Fazendo x = 1 na


igualdade acima, temos

(1 y )2

= 2 ( 1 y ) + x2 , donde

2 ( 1 y ) = 1 y 2 x2 , absurdo, pois 2 ( 1 y ) = 4 e 1 y 2 x2 {0, 2} .


( )
(

Assim, devemos ter x = 1, x , donde f ( x ) = x + 1, x .


fcil ver que f ( x ) = x ou f ( x ) = x + 1 so solues de (*).
Nos prximos exemplos precisaremos de um pouco mais de criatividade!

EUREKA! N37, 2013

35

Sociedade Brasileira de Matemtica

Exemplo 03. (Balcnica) Encontre todas as funes

f :   tais que
2

f ( xf ( x ) + f ( y ) ) = ( f ( x ) ) + y

(*)

para quaisquer nmeros reais x e y.


Soluo: Fazendo x = 0 na equao acima obtemos:
2

f ( f ( y )) = ( f (0)) + y

(1)

para todo nmero real y. De (1) podemos ver que f sobrejetiva, portanto existe um
nmero real k tal que f ( k ) = 0. Fazendo x = k em (*), teremos f f ( y ) = y ,

para todo nmero real y. Por outro lado, vamos trocar x por f ( x ) em (*) e ver o
que acontece:

f f ( x ) f ( f ( x )) + f ( y ) = x2 + y



Note que o lado esquerdo da ltima equao idntico ao lado esquerdo de (*),
portanto

( f ( x ))

+ y = x 2 + y f ( x ) = x 2 , x .

Em particular, f ( 0 ) = 0.
Alm disso, se x 0, f ( x ) = x ou f ( x ) = x, isto , f ( x ) x {1,1} . Temos
ento, para

x, y 0, f ( xf ( x ) + f ( y ) ) = f ( x ) + y = x 2 + y. Elevando ao

quadrado, obtemos
2

x 4 + 2 x 2 y + y 2 = ( x 2 + y ) = f ( xf ( x ) + f ( y ) ) = ( xf ( x ) + f ( y ) ) =
2

= x 2 f ( x ) + 2 xf ( x ) f

2 xf ( x ) f ( y ) = 2 x 2 y ,

(y)+ f (y)
e

logo

= x 4 + 2 xf ( x ) f

(y)+

f ( x ) f ( y ) = xy ,

y 2 , donde
ou

seja,

f ( x ) x = ( f ( y ) y ) . Assim, f ( x ) x = 1, x  ou f ( x ) x = 1, x ,
donde f ( x ) = x, x  ou f ( x ) = x, x .
fcil ver que essas so as solues.
necessrio notar que de (1) concluimos que f devia ser sobrejetiva. Sugerimos ao
leitor no familiarizado com este fato que consulte [2], l ele encontrar a
demonstrao deste e de outros fatos interessantes sobre vrios teoremas
envolvendo composio de funes.
EUREKA! N37, 2013

36

Sociedade Brasileira de Matemtica

Exemplo 04. (RPM 77) Encontre todas as funes

f :   tais que

f ( f ( x ) y ) + f ( y ) = f ( x + f ( y )) y

(*)

Para quaisquer nmeros reais x e y.


Soluo: Faamos

x = y = 0 na equao dada e facilmente concluiremos

que f ( 0 ) = 0. Agora faamos somente y = 0, obtendo assim:

f ( f ( x)) = f ( x)

(1)

Em seguida faremos x = 0 em (*), veja:

f ( y ) + f ( y ) = f ( f ( y ) ) y = f ( y ) y,
donde f ( y ) = y, y . Assim, f ( t ) = t , onde t um nmero real qualquer.
fcil ver que esta a soluo da equao.
Antes de irmos para a prxima etapa exercite as idias anteriores nos seguintes
problemas:

4n + 4 n 2 1
2n + 1 + 2n 1
Calcule f (1) + f ( 2 ) + f ( 3) + ... + f ( 39 ) + ... + f ( 40 ) .
01. (Romnia) Para todo inteiro positivo n, seja

f ( n) =

2
para todo x real. Determine:
4 +2
1
2
2000
f
+ f
+ ... + f
.
2001
2001
2001
x2
04. (Brasil) Seja f ( x ) =
. Calcule
1 + x2
1
2
3
n
f + f + f + ... + f
1
1
1
1
1
2
3
n
+ f + f + f + ... + f
2
2
2
2
+ ...
03. (Coria) Seja

f ( x) =

1
+ f +
n

2
f +
n

3
f + ... +
n

EUREKA! N37, 2013

37

n
f .
n

Sociedade Brasileira de Matemtica

ax
05. (Crocia) Seja f uma funo definida por f ( x ) = x
, com a *+ .
a + a
Determine:

1
S= f
+
2001

2
f
+
2001

3
2000
f
+ ... +
.
2001
2001
1
06. (Holanda) Seja f uma funo definida por f ( x ) =
. Determine o
x + x2 1
valor de

f (1) + f ( 2 ) + f ( 3) + ... + f (1921) .


07. Considerando a funo

f : ]0, ]  tal que f ( a ) = 1, sendo a um nmero

real positivo. Prove que, se

a
f ( x) f ( y) + f
x

a
f = 2 f ( xy )
y

Para x e y ( 0, ) , ento f uma funo constante.


08. Seja f uma funo definida por

f ( n) =

Mostre que:

1
, para todo natural n.
n + n2 + 1
4

1
f (1) + f ( 2 ) + f ( 3) + f ( 4 ) + ... + f (100 ) < .
2
2. Caracterizando a funo afim

Apresentaremos a partir de agora uma ferramenta muito simples e bastante


poderosa que ser til na resoluo de equaes funcionais cujas solues sejam
funes afins. Suponha que em determinadas equaes funcionais cheguemos
seguinte expresso: f ( x + h ) f ( x ) = . O Teorema abaixo, garante que se
depender apenas de h, mas no de x, ou seja, = ( h ) , ento f uma funo
afim.
Teorema: Seja

f :   uma funo montona injetiva. Se o acrscimo

f ( x + h ) f ( x ) = ( h ) depender apenas de h, mas no de x, ento f uma


funo afim.
EUREKA! N37, 2013

38

Sociedade Brasileira de Matemtica

Prova: A demonstrao deste Teorema ir recorrer ao Teorema fundamental da

proporcionalidade (fica como exerccio para o leitor procurar sua demonstrao em


[1]). Suporemos que a funo f seja crescente, caso f seja decrescente o resultado
segue por analogia. fcil ver que :   tambm uma funo crescente e
que ( 0 ) = 0. Alm disso, para quaisquer h, k  temos:

(h + k ) = f ( x + h + k ) f ( x)
= f

(( x + k ) + h) f ( x + k ) + f ( x + k ) f ( x )

= ( h) + (k )
Logo, pelo Teorema fundamental da proporcionalidade, ( h ) = a h, onde

a = (1) para todo h . Da temos


f ( x + h) f ( x) = (h) = a h
Fazendo x = 0 na equao acima obtemos:

f ( h) f ( 0) = a h ,
o que nos mostra que

f ( h ) = a h + b, onde b = f ( 0 ) para todo h . A

recproca tambm verdadeira e fica como exerccio para o leitor a sua


demonstrao.
Vejamos agora alguns exemplos:
Exemplo 01 (Adaptado de um problema da Estnia) Encontre todas as funes

montonas f :   que satisfazem a equao

f ( x + f ( y ) ) = y + f ( x + 1) ,
para x, y .
Soluo: Fazendo x = 0 na equao dada temos

EUREKA! N37, 2013

39

Sociedade Brasileira de Matemtica

f ( f ( y ) ) = y + f (1) ,

(*)

o que nos mostra a bijetividade da funo f; portanto existe um nmero real k tal
que f ( k ) = 0. Voltando equao funcional dada e fazendo y = k , temos

f ( x + 1) f ( x ) = k .
Fazendo z = x + 1 e h = f ( y ) 1, temos

f ( z + h) = f ( x + f ( y) ) = y + f ( x +1) = f ( z) + ( h) , onde ( h) = f ( h +1) f (1) .


Pelo teorema anterior f do tipo f ( x ) = kx + b, e fcil ver que b = k 2 (pois

f ( k ) = 0 ). Agora vamos fazer y = 0 em (*):


f ( f ( 0 ) ) = f (1)
Sendo k 0 (seno f seria identicamente nula, o que no possvel) temos

f ( k 2 ) = f (1) k = 1.
Para concluirmos temos que as solues procuradas so

f ( x) = x +1 e

satisfazem perfeitamente as condies do problema.


Infelizmente nem sempre h no problema uma hiptese de monotonicidade, nem
possvel provar de modo fcil que a funo procurada montona, o que muitas
vezes torna a soluo do problema mais complicada tecnicamente.
Exemplo 02. (Equao de Cauchy) Encontre todas as funes

f :   que

satisfazem as seguintes condies:

(i ) f ( x + y ) = f ( x ) + f ( y ) ,

para quaisquer que sejam os nmeros reais x e y.

1 f ( x)
= 2 para x 0.
x
x

( ii ) f

( a b ) + b = a, f ( a b ) + f ( b ) = f ( a ) ,
f ( a b ) = f ( a ) f ( b ) , a, b .

Soluo:

Como

EUREKA! N37, 2013

40

logo

Sociedade Brasileira de Matemtica

1
1
para t {0,1} . Portanto,
1 =
1
1 t
1
t

1 2 f ( t )
f 1 t 2 f (1)
t
f (1 t )
t

f (1) = 2 =
2
2
(1t )
1
(1t )
1
t

Temos

f (1) f ( t ) (1 t ) f (1) = f (1 t ) (1 t ) f (1) = f ( t ) t 2 f (1)


2

2 f ( t ) = t 2 f (1) + f (1) (1 t ) f (1) = 2 f (1) t.

(*)

Assim, f ( t ) = f (1) t , t {0,1} ; naturalmente, essa igualdade tambm vale para

t = 1. Como f ( 0 ) = f ( 0 0 ) = f ( 0 ) f ( 0 ) = 0, a igualdade tambm vale para


t = 0. Assim, f ( t ) = ct , t , onde c = f (1) . fcil ver que todas essas
funes so solues.
Exemplo 03. (Austrlia) A funo f satisfaz as seguintes condies:

(i) para todo nmero racional x, f ( x ) assume um valor real;


(ii) f (1988 ) f (1987 ) ;
(iii) f ( x + y ) = f ( x ) f ( y ) f ( xy ) + 1,

1
1987
.
=
1988 1988

onde x e y so nmeros racionais quaisquer. Mostre que f


Soluo: Fazendo

x = y = 0 em (iii), teremos

( f ( 0 ) 1)

= 0 f ( 0 ) = 1.

Em seguida faremos a seguinte escolha: x = 1 e y = 1 e voltaremos condio


(iii),

f ( 0 ) = f (1) f ( 1) f ( 1) + 1
f ( 1) ( f (1) 1) = 0
Da temos duas possibilidades: f ( 1) = 0 ou f (1) = 1.
1 Caso:

f (1) = 1. Fazendo y = 1, em (iii):

EUREKA! N37, 2013

41

Sociedade Brasileira de Matemtica

f ( x + 1) = f ( x ) f (1) f ( x ) + 1 = 1
para todo x . Porm esta equao contradiz (ii), portanto f ( 1) = 0 .

f ( 1) = 0 . Fazendo x = y = 1, em (iii), obtemos:

2 Caso:

f ( 2 ) = f ( 1) f ( 1) f (1) + 1
f ( 2 ) = 1 f (1)

(*)

Fazendo x = 2, y = 1, , em (iii) temos:

f ( 1) = f ( 2 ) f (1) f ( 2 ) + 1

+ f (1)

f (1) f ( 2 ) + 1 = 0
Agora temos mais duas possibilidades.
Caso A: f (1) = 0. Voltando a (iii) faamos y = 1:

f ( x + 1) = f ( x ) f (1) f ( x ) + 1
f ( x + 1) = 1 f ( x )
trocando x por x + 1, obtemos

f ( x + 2) = f ( x )
Assim, f ( 2 ) = f ( 0 ) = 1, e tomando x =
contradio, veja:

(**)

1
e y = 2 em (iii) encontraremos uma
2

1
5
1
1
f = f = f f ( 2 ) f (1) + 1 = f + 1,
2
2
2
2
absurdo.
Caso B:

f ( 2 ) = 1. Usando este fato em (*) temos:


f (1) = 2

Por fim fazendo y = 1 em (iii) chegaremos seguinte concluso:

f ( x + 1) = f ( x ) + 1 (oba!).
Da segue que f ( x + k ) = f ( x ) + k para todo k inteiro; como f ( 0 ) = 1, temos

f ( k ) = k + 1 para todo k inteiro.


EUREKA! N37, 2013

42

Sociedade Brasileira de Matemtica

Se x = p q , com p, q inteiros, q 0, fazendo y = q em (iii), obtemos

f ( x) + q = f ( x + q) = ( q +1) f ( x) f ( qx) +1 = ( q +1) f ( x) f ( p) +1 = ( q +1) f ( x) p,


donde qf ( x ) = p + q, e logo f ( x ) =

p+q p
= + 1 = x + 1, para todo x .
q
q

1987
1
1987
+1 =
.
=
1988
1988
1988

Em particular, f

f : * * , tais

Exemplo 04. (Seletiva Blgara para a IMO) Encontre todas as funes

que
2

f ( x2 + y ) = ( f ( x )) +

f ( xy )
f ( x)

para quaisquer x, y * , com y x 2 .

Fazendo y = 1, obtemos f x 2 + 1 = f ( x ) + 1, x * .
2

Fazendo x = 1, obtemos f ( y + 1) = f (1) + f ( y ) f (1) , y * \ {1} .


2

Assim, f ( 2 ) = f (1) + 1 e f ( 5 ) = f 22 + 1 = f ( 2 ) + 1 = f (1) + 1 + 1.


2

Por outro lado, f ( 3) = f ( 2 + 1) = f (1) + f ( 2 )

f (1) + 1
f (1) = f (1) +
,
f (1)
2

f ( 4 ) = f ( 3 + 1) = f (1) + f ( 3) f (1) = f (1) + f (1) +

f (1) + 1
f (1)

f ( 5 ) = f ( 4 + 1) = f (1) + f ( 4 ) f (1) = f (1) + f (1) + 1 +


4

f (1) + 1
f (1)

donde f (1) + f (1) +1 =

, e logo
2

f (1) + 2 f (1) + 2 = f (1) + 1 + 1 = f ( 5 ) = f (1) + f (1) + 1 +


4

f (1) + 1
f (1)

f (1) + f (1) +1
f (1)

portanto f (1) = 1.
EUREKA! N37, 2013

43

, e, como f (1) + f (1) +1 > 0, f (1) = 1, e

Sociedade Brasileira de Matemtica


2

f ( y + 1) = f (1) + f ( y ) f (1) = f ( y ) + 1, y * ,

Assim, temos

( )

( )

y 1.

Assim, f x 2 + 1 = f x 2 + 1, x * , donde f x 2 + 1 = f ( x ) + 1, e logo


2

f ( x 2 ) = f ( x ) , x * . Em particular, f ( x ) > 0, x > 0.

( )
f ( x ) = f ( x 1 + 1) = f ( x 1) + 1,

Fazendo y = 1, obtemos f x2 1 = f ( x) + f ( x) f ( x) = f x2 + f ( x) f ( x) ,

x * \ {1,1} . Como

f ( x ) f ( x ) = 1, x * \ {1,1} , i.e.,

segue que

f ( x ) = f ( x ) , x * \ {1,1} .

Como f ( 1) = f ( 2 + 1) = f ( 2 ) + 1, e f ( 2) = f ( 2) = f (1) + 1 = 2,
temos tambm f ( 1) = 1 = f (1) . Assim, f ( x ) = f ( x ) , x * . Vamos
mostrar que f ( a ) = a, a > 0, donde f ( x ) = x, x * .

) ( )

) ( )
f ( x + y) + f ( x y) = 2 f ( x ),

Se x > 0, y < x2 , f x2 + y = f x2 + f ( xy) f ( x) e f x2 y = f x2 + f ( xy) f ( x)

( )

= f x 2 f ( xy ) f ( x ) , donde

u, u h, u + h > 0, f ( u + h ) + f ( u h ) = 2 f ( u ) . Assim, se
progresso aritmtica de termos positivos,

( f ( a ))
n

n 0

ou seja, se

( an )n0

uma

tambm uma progresso

aritmtica de termos positivos. Em particular, q * , f ( p q )


progresso aritmtica de termos positivos. Como

p *

uma

f ( q q ) = f (1) = 1 e

f ( 2q q ) = f ( 2 ) = 2, segue que f ( p q ) = p q , p, q * .
Dado a > 0, suponha por absurdo que f ( a ) a. Vamos supor que f ( a ) > a (o
caso

f ( a ) < a anlogo). Sejam p, q * com a < p q < f ( a ) . Seja

x = a > 0, e seja y = p q a > 0.

( )

( )

Temos p q = f ( p q ) = f x 2 + y = f x 2 + f ( xy ) f ( x ) > f x 2 = f ( a ) ,
absurdo. Assim, f ( a ) = a, a > 0, c.q.d..
Exerccios
01. Determine todas as funes

f : + + que satisfazem as condies abaixo:

(i) f ( x + 1) = f ( x ) + 1, para quaisquer que sejam os nmeros x e y + .


EUREKA! N37, 2013

44

Sociedade Brasileira de Matemtica

( ) (

(ii) f x 3 = f ( x ) , para x + .
02. (Austrlia) Prove que existe apenas uma funo

f : * * que satisfaz as

seguintes condies:

1
x
(i) f ( x ) + f ( y ) = 1 + f ( x + y ) , para todos os pares ( x, y ) de reais no-nulos
tais que x y.

(i) f ( x ) = xf para todo nmero real x no-nulo;

03. (Austrlia) So dados m e n inteiros maiores do que 1 com m par e uma funo f

que assume apenas valores reais, e que est definida nos reais no negativos,
satisfazendo as condies abaixo:
(i) para quaisquer x1 , x2 , x3 , x4 ,..., xn ,
m

x m + x2m + x3m + ... + xnm f ( x1 ) + f ( x2 ) + f ( x3 ) + ... + f ( xn )


f 1
;
=
n
n

(ii) f (1986 ) 1986;


(iii) f (1988 ) 0.
Prove que

f (1987 ) = 1.

Bibliografia:
[1] Lima, Elon Lages et al. A Matemtica do Ensino Mdio. Rio de Janeiro. SBM, Coleo
Professor de Matemtica-2000.
[2] Marcelo Rufino e Mrcio Rodrigo. Coleo Elementos da Matemtica, vol. 01. Editora
VestSeller-2010.
[3] www.obm.org.br

EUREKA! N37, 2013

45

Sociedade Brasileira de Matemtica

COMO QUE FAZ?


Descubra um quadrado n n, com n > 1 natural, dividido em n 2 quadrados
unitrios, preenchidos com quadrados perfeitos distintos e no nulos, de modo que
a soma dos valores de cada coluna e de cada linha tambm sejam quadrados
perfeitos. (Proposto por Marta de Ftima Severiano).
SOLUO

Por exemplo o quadrado correspondente matriz abaixo:

42
2
32
47 2

232
442
282

522 16
529 2704

2
17 = 1024 1936 289 para a qual as somas dos elementos
162 2209 784 256

de todas as linhas e de todas as colunas so iguais a 3249 = 572.


H infinitas matrizes com essas propriedades. Por exemplo, para qualquer inteiro k,
a matriz

22

2 2
(11 + 10k + 3k )

2
(10 + 10k + 4k 2 )

(14 + 10k )

2
2 2

( 2 + 10k + 4k )
( 5 + 10k + 3k )

2 2

2 2

( 5 + 14k + 5k )
(10 + 8k )

(10 + 6k )

tal que as somas dos elementos de todas as linhas e de todas as colunas so iguais

a 15 + 14k + 5k 2

EUREKA! N37, 2013

46

Sociedade Brasileira de Matemtica

SOLUES DE PROBLEMAS PROPOSTOS



143)

Publicamos aqui algumas das respostas enviadas por nossos leitores.

Determime

todas

as

funes

f , g,h :  

tais

que

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

SOLUO DE ZOROASTRO AZAMBUJA NETO (RIO DE JANEIRO RJ)

Chamemos de (*) a equao funcional f ( xy ) = g ( x3 + y ) + h ( x + y 3 ) .


Fazendo x = 0 em (*), obtemos f ( 0 ) = g ( y ) + h ( y 3 ) , y , e, fazendo y = 0,

temos f ( 0 ) = g ( x 3 ) + h ( x ) , x . Assim, h ( x ) = f ( 0 ) g ( x3 ) , e (*) se escreve

como f ( xy ) = f ( 0 ) + g ( x3 + y ) g ( x + y 3 ) , x, y . Fazendo x = 0, obtemos


f ( 0 ) = f ( 0 ) g ( y ) + g ( y 9 ) , donde g ( y 9 ) = g ( y ) , y . Segue facilmente por

( ) = g ( y ) , y , k .

induo que g y 9

Fazendo x = y 3 em (*), temos f ( y 4 ) = g ( y y 9 ) + h ( 0 ) , e trocando y por y,

temos f ( y4 ) = g ( y + y9 ) + h ( 0) , donde g ( y y9 ) = g ( y + y9 ) = g ( y y9 ) , y .

Como a funo t :   dada por t ( y ) = y y

sobrejetiva, segue que

g ( z ) = g ( z ) , z .

Dado a 0, 3 3 , vamos mostrar que existem x, y  com xy = a e

x3 + y = ( x + y 3 ) . Assim, teremos f ( a) = f ( xy) = f ( 0) + g ( x3 + y) g ( x + y3 ) = f ( 0) .

Como

3 3

(x + y )

escrita como

= x 3 + 3x 2 y 3 + 3xy 6 + y 9 , a igualdade x3 + y = ( x + y 3 ) pode ser


y 9 + 3xy 6 + 3 x 2 y 3 y = 0, e, de

xy = a,

temos

xy 6 = ay 5 e

x 2 y 3 = a 2 y, logo a igualdade se torna y 9 + 3ay 5 + ( 3a 2 1) y = 0. Dividindo por y


temos y8 + 3ay 4 + ( 3a2 1) = 0. Para y = 0 temos y 8 + 3ay 4 + ( 3a 2 1) = 3a 2 1 < 0,
e para y = 1 temos y 8 + 3ay 4 + ( 3a 2 1) = 3a + 3a 2 > 0. Assim, existe y com
0 < y <1

tal

que

y 8 + 3ay 4 + ( 3a 2 1) = 0 ,

EUREKA! N37, 2013

47

e,

tomando

x = a y,

temos

Sociedade Brasileira de Matemtica

y 9 + 3xy 6 + 3x 2 y 3 y = y ( y 8 + 3xy 5 + 3 x 2 y 2 1) = y y 8 + 3ay 4 + ( 3a 2 1) = 0. Isto


prova que f ( a ) = f ( 0 ) para todo a com 0 a < 3 3.
Assim, se c > 0, x, y 0, x + y 3 = c e xy < 3 3, temos, por (*),

g ( c y 3 ) + y = g ( x3 + y ) = f ( xy ) h ( x + y 3 ) = f ( 0 ) h ( c ) .
c = 24 25 e 0 y 3 10, temos xy c 103 =

x + y 3 = c.

Para

3 3

(c y )

y = 0,

y = 3 10, ( c y 3 ) + y = 24 25 ( 3 10 )
existe

9 10 z 11 10,

24
25

103 <

3
3

, sempre que x, y 0 e
3

+ y = c3 = ( 24 25 ) < 9 10,

Escolhendo

e,

para

+ 3 10 > 11 10. Assim, dado z com

y [ 0,3 10]

3 3

(c y )

com

logo

seja,

se

+ y = z,

g ( z ) = g ( c y 3 ) + y = f ( 0 ) h ( c ) = f ( 0 ) h ( 24 25 ) .

Ou

d = f ( 0 ) h ( 24 25 ) , temos g ( z ) = d , z [9 10,11 10].


Dado

w > 0,

existe

com

z [9 10,11 10] com z 9 = w. Assim,

9k

9k

( 9 10 ) < w < (11 10 ) , e logo existe


g ( w ) = g ( z 9 ) = g ( z ) = d . Tambm temos
k

g ( w ) = g ( w ) = d . Assim g ( w ) = d , w * . Analogamente, existe d  tal


~

que h ( w ) = d w  * (os papis de g e h em (*) so anlogos).


Assim,

f ( 16 ) = f ( 23 2 ) = g ( 2 29 ) + h ( 0 ) = d + h ( 0 ) , e, por outro lado,


~

f ( 16 ) = f ( 4 4 ) = g ( 4 43 ) + h ( 43 4 ) = d + d , donde

d + h ( 0) = d + d ,

logo h ( 0 ) = d . Analogamente, g ( 0 ) = d . Assim, g e h so constantes, donde


~

f ( x ) = f ( x 1) = g ( x3 + 1) + h ( x + 1) = d + d , x , ou seja, f constante. Como


~

dadas quaisquer constantes d , d , se


~

g ( x ) = d , x , h ( x ) = d , x  e

f ( x ) = d + d , x , a condio (*) do enunciado satisfeita, essas so todas as


solues da equao funcional (*).

EUREKA! N37, 2013

48

Sociedade Brasileira de Matemtica

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

SOLUO DE ASDRBAL PAFNCIO SANTOS (BOTUCATU SP)

Seja x =

p
, com p, q * , p q e mdc ( p, q ) = 1.
q

Se lim ( cx n an ) = 0, temos lim ( c p xn p an ) = 0, e lim ( c q x n +1 q an +1 ) = 0,


n

e, como

qx = p, c q x n +1 = c p x n ,

p an q an +1

sempre

inteiro,

segue

lim ( p an q an +1 ) = 0.
n

que

existe

n0

tal

p
an +1 = an , n n0 ,
q

Assim,

p an q an +1 = 0, n n0 .

p
an = an0
q

donde

Como
que
donde

n n0

, n n0 . Como mdc ( p, q ) = 1, q n n0 an0 , n n0 , e logo q = 1 ou

p
an0 = 0. Caso an0 = 0, teramos an = an0
q
n
n
pois lim ( cx an ) = 0 e cx c > 0.

n n0

= 0, n n0 , o que um absurdo,

Assim, q = 1 e x = p

inteiro.
q
Obs: importante a hiptese de x ser racional.

De

fato,

an = 1 + 2

) + (1 2 )

satisfaz

a1 = 2, a2 = 6

an + 2 = 2an +1 + an , n 1, e logo inteiro, para todo n 1.

((

Por outro lado, como 1 2 < 1, lim 1 + 2


n

an = 0.

149) a) Deseja-se organizar um torneio de futebol com n times ( n 2 ) em que


cada time joga uma vez contra cada um dos outros, dividido em um certo nmero
de rodadas. Em cada rodada cada time joga no mximo uma partida.
Prove que, se n mpar, possvel organizar um tal torneio com n rodadas e, se n
par, possvel organizar um tal torneio com n 1 rodadas.
b) Uma matriz n n preenchida com elementos do conjunto
S = {1, 2,3,..., 2n 1}. Sabe-se que, para todo i {1, 2,..., n} , a i-sima linha e a
i-sima coluna contm juntas todos os elementos de S.
EUREKA! N37, 2013

49

Sociedade Brasileira de Matemtica

Quais os possveis valores de n?


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

a) Se n mpar, podemos organizar o torneio da seguinte forma: para 1 k n, na


rodada k so realizadas todas as partidas entre jogadores i e j (os jogadores so
numerados de 1 a n) tais que i + j k ( mod n ) . Nessa rodada exatamente um dos
jogadores no joga (fica bye): o jogador ak , com 2ak k ( mod n ) . Para cada par
de jogadores

i + j k ( mod

{i, j} , existe exatamente um k,


n ) : i joga contra j na k-sima rodada.

com 1 k n,

tal que

Se n par, n 1 mpar, e construmos um torneio de n 1 rodadas como acima,


em que os jogadores 1, 2,..., n 1 jogam entre si. Para cada k com 1 k n 1, o
jogador ak , com 1 ak n 1 tal que 2ak k ( mod n 1) , no joga contra nenhum
dos jogadores 1, 2,..., n 1. Completamos o torneio fazendo com que na rodada k,
para 1 k n 1, o jogador ak jogue contra o jogador n. Como

{ak ,1 k n 1} = {k ;1 k n 1} ,

o torneio satisfaz as condies do enunciado.

b) A resposta : os inteiros positivos pares.


De fato, se n par, existe um torneio de n 1 rodadas com n jogadores em que
todos jogam contra todos. Construmos uma matriz ( aij )
da seguinte forma:
1 i , j n

Se i > j , tomamos aij {1, 2,..., n 1} tal que os jogadores i e j se enfrentam na


rodada aij , e definimos a ji = aij + n. Finalmente, definimos aii = n para 1 i n.
fcil ver que esta matriz satisfaz as condies do enunciado.
Se n 3 mpar, suponha por absurdo que existe uma tal matriz. Como
2n 1 > n, existe k 2n 1 tal que a jj k , j n. Temos ento
n

({

n = 1 i n a ji = k + 1 i n aij = k
j =1

} {

= 2 {( i, j ) ;1 i, j n, aij = k} ,

absurdo, pois n mpar.

EUREKA! N37, 2013

50

})=

Sociedade Brasileira de Matemtica


12
1
151) Encontre todas as solues reais positivas de x x = .
2

SOLUO DE BRUNO PEDRA (RIO DE JANEIRO RJ)


12

Seja f :  +  + dada por f ( x ) = x x .


Temos
1

ln[ f ( x)] = x 2 ln x.
Derivando, obtemos
1
f '( x) 1 21
1
= x ln x + x 2
f ( x) 2
x
1
1
f '( x) = f ( x) x 2 (ln x + 2)
2
0 < x < e 2 f '( x) < 0 f decrescente em (0, e2 )
x > e2 f '( x) > 0 f crescente em (e2 , )
2

x = e 2 ponto de mnimo, f (e2 ) = e e .


1
1
2 < e < 4 4 < e2 < 16 < e 2 < .
16
4
1
1 1
f = f = .
4
16 2
1
1
(e2 , ) e
(0, e2 ).
4
16
Em (0, e 2 ) temos apenas x =
decrescente.

1
como raiz, uma vez que f estritamente
16

Em (e 2 , ) temos apenas x = 1 como raiz, uma vez que f estritamente


4
crescente.
Assim, o conjunto das solues reais positivas da equao S = 1 , 1 .
4 16

152) Sejam a, b, c nmeros reais positivos tais que a + b + c = 1.


a bc b ca c ab 3
Prove que
+
+
.
a + bc b + ca c + ab 2
EUREKA! N37, 2013

51

Sociedade Brasileira de Matemtica

SOLUO DE CARLOS ALBERTO DA SILVA VICTOR (NILPOLIS RJ)

a bc b ca c ab 3

equivalente
+
+

a + bc b + ca c + ab 2
2bc
2ac
2ab
3
1
+1
+1
que equivalente a
a + bc
b + ac
c + ab 2
ab
bc
ac
3
I)
+
+
, e j que
c + ab a + bc b + ac 4
c + ab = (1 a )(1 b )

a + b + c = 1, teremos: a + bc = (1 b )(1 c )

b + ac = (1 a )(1 c )
Da (I) ficar escrita da seguinte forma
ab
bc
ac
3
+
+
que equivalente a:
(1 a )(1 b ) (1 b )(1 c ) (1 a )(1 c ) 4
Provar

que

4 ( ab (1 c ) + bc (1 a ) + ac (1 b ) ) 3 (1 a )(1 b )(1 c )
ou
4 ( ab + bc + ac 3abc ) 3 ( ab + ac + bc abc ) ,

pois

a + b + c =1

ou

1 1 1
+ + 9.
a b c
Das desigualdades das mdias aritmtica e harmnica temos:
1 a+b+c
3
1 1 1
=

, ou seja + + 9.
1 1 1
3
3
a b c
+ +
a b c
ab + ac + bc 9abc, que equivalente a provar que

153) Quatro pontos P, Q, R, S pertencem a um crculo de tal forma que o ngulo

reto. Sejam H e K as projees de Q nos segmentos PR e PS,


PSR
respectivamente. Prove que a reta HK divide o segmento QS ao meio.
SOLUO DE MARCELO RIBEIRO DE SOUZA (RIO DE JANEIRO RJ)

Considere a semireta de origem em H passando por Q e tomemos um ponto T


qualquer, situado acima de Q. Tracemos tambm o segmento PQ. Chamemos M o
ponto de interseo entre o segmento QS e HK .
Agora vamos marcar os ngulos e nome-los: KQS = , KQT = , conforme o
desenho a seguir:
EUREKA! N37, 2013

52

Sociedade Brasileira de Matemtica

Note que a reta que contm o segmento KQ paralela reta que contm o
segmento SR, assim sendo, so alternos internos os ngulos KQS = QSR = .
Alm disso, QPR olha para o arco QR, portanto, temos QPR = . Como o
quadriltero KQHP circunscrvel, TQK = KPH = , portanto, podemos
escrever KPQ = . Ainda pelo fato de KQHP ser circunscrvel, devemos ter
KPQ = KHQ = . Finalmente, sabemos que QHK + QKH = , ou seja,
retngulo, devemos ter
QKM = . Como o tringulo QKS
QM = KM = MS , assim, temos M ponto mdio de QS .

154)

Determine

todas

as

funes

f :   [ 0, + )

tais

que

f ( xy ) = f ( x ) f ( y ) e f ( x + y ) f ( x ) + f ( y ) , x, y .
SOLUO DE BRUNO SALGUEIRO FANEGO (VIVEIRO ESPANHA)

Seja f :   [ 0, + ) uma funo verificando as duas propriedades do


enunciado, que denominaremos multiplicatividade e desigualdade triangular,
respectivamente.
EUREKA! N37, 2013

53

Sociedade Brasileira de Matemtica

Tomando

x = y =1

na

propriedade

de

multiplicatividade,

resulta

f (1) = f (1) f (1) . Assim, f (1) ( f (1) 1) = 0 f (1) = 0 ou f (1) 1 = 0.


n vezes
n vezes





Se f (1) = 0, ento 0 f ( n ) = f 1 + ... + 1 = f (1) + ... + f (1) = nf (1) = n 0 = 0

a
1
1
f ( n ) = 0 n f = f a = f ( a ) f = 0, a , b , b 0, quer
b
b
b
dizer, f a funo nula, que multiplicativa e verifica a desigualdade triangular,
logo uma soluo vlida.

Supomos ento, no que segue, que f (1) = 1.


Ento
2

1 = f (1) = f ( 1 ( 1) ) = f ( 1) f ( 1) = f ( 1) f ( 1) {1,1} f ( 1) = 1.

Da segue que f ( x ) = f ( 1) f ( x ) = f ( x ) , x .
1
Alm disso, 1 = f (1) = f b = f ( b ) f
b

a
f = f (a) f
b

1
f ( b ) 0,
b

1
1
f =
, b 0
b
f
(b )

1 f (a)
, a, b , b 0 e
=
b f (b )

n vezes
n vezes




n
f ( x ) = f x ... x = f ( x ) ... f ( x ) = f ( x ) x , n * .

Tambm temos f ( 0 ) = f ( 0 ) f ( 0 ) , donde f ( 0 ) = 0 ou f ( 0 ) = 1. Se f ( 0 ) = 1,


1 = f ( 0 ) = f ( 0; x ) = f ( 0 ) f ( x ) = 1 f ( x ) = f ( x ) , x .

Fixemos agora um

a
nmero primo p e um 0 < < 1 e escrevamos x * como x = p n , sendo n 
b
n a
e a, b coprimos com p e definamos f ( x ) = f p = n . Ento f satisfaz a
b
a
e
propriedade multiplicativa e a desigualdade triangular, pois se x = p m
b
c
ac

m+n
y = p n , ento f ( xy ) = f p m + n
= m n = f ( x ) f ( y ) e
=
d
bd

EUREKA! N37, 2013

54

Sociedade Brasileira de Matemtica

*
f ( x + y ) = f pmin{m,n} = f pmin{m,n} f min{m,n} = mx{ f ( x) , f ( y )} f ( x) + f ( y ) .
bd

bd
Portanto, um nmero racional pequeno em relao a f se e s se divisvel por
uma potncia grande de p.
Dizemos agora que duas funes f , g :   [ 0, + ) satisfazendo a

multiplicatividade e a desigualdade triangular so equivalentes se f = g c para


1
alguma contante c > 0. A funo para a qual = ser denotada por f p .
p
Provaremos a seguir que qualquer funo no nula no constante igual a 1
f :   [ 0, + ) verificando a multiplicatividade e a desigualdade triangular e
distinta da funo   [ 0, + ) dada por

0, x = 0,
que denominaremos funo trivial, equivalente funo valor
x
1, x 0
absoluto ou a uma funo f p para algum p, ficando assim resolvido o problema.
m

Sejam a, b, n , a 2, b 2 e escrevemos b n na base a : b n = c0 + ci a i , com


i =1

0 ci a 1. Seja M = max { f ( a 1) ,..., f (1)}; ento


m

f ( b ) f ( b n ) f ( c0 ) + f ( ci ) f ( a ) ( m + 1) M max 1, f ( a ) , f ( n ) ,..., f ( a )
n

i =1

( n log a b + 1) M max 1, f ( a )

}.

Tomando razes de ndice n e fazendo tender n a infinito, resulta

f ( b ) max 1, f ( a )
1)

log a b

}.

f (b ) > 1

Se

f ( b ) max 1, f ( a )

log a b

para

} = f (a)

log a b

algum

obtemos

b , b 2,

, donde f ( a ) > 1, a , a 2.

Intercambiando a e b em (*), resulta f ( a ) f ( b )

logb a

, logo f ( b ) log b = f ( a ) log a

ou equivalentemente, f ( a ) = a para todos os a 1 e algum independente de a,


sendo ento f equivalente funo valor absoluto. Para que a desigualdade
triangular seja verificada, necessrio e suficiente que 0 < 1. Temos ento

f ( x ) = x , x .

EUREKA! N37, 2013

55

Sociedade Brasileira de Matemtica

2) Caso contrrio, quer dizer, se f ( b ) 1 para todos os b , b 1, existe um


b 2 tal que f ( b ) < 1, pois em caso contrrio f a funo trivial ou a funo

constante igual a 1. Tomemos um desses bs e escrevamos b = p1n1 ... pknk . Ento


n

1 > f ( b ) = f ( p1 ) 1 ... f ( pk ) k , donde existe p primo igual a um dos p j tal que


f ( p ) < 1. Basta provar que f ( q ) = 1 para todos os primos q p, de onde se

deduzir que f equivalente a f p . Suponhamos que f ( p ) < 1 e f ( q ) < 1 para


1
1
e f ( q n ) < . Como p m e
2
2
para alguns x, y , donde

primos p q. Tomemos m, n 1 tais que f ( p m ) <


qn

so

co-primos,

ento

1 f ( x) f ( p) + f ( y) f (q)

xp m + yq n = 1
1 1
< + , o que uma contradio.
2 2

155) Sejam a, b e 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 .
ii) T tem rea racional e existem x, y inteiros com a = x 2 + y 2 .

iii) T tem rea racional e existem u, v inteiros com mdc ( a, b, c ) = u 2 + v 2 .


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

Vamos usar mais de uma vez a existncia e unicidade de fatorao para elementos
de  [i ] (Vejam o artigo de Guilherme Fujiwara na Eureka! N 14).
Lema 1: Seja D = { x 2 + y 2 , x, y }. Dado a D \ {0} , temos, para todo inteiro
b D ab D.
Prova: Se a D \ {0} ,

b D,b = u2 + v2
ab = ( x + y
2

)( u

temos
para

a = x2 + y 2

certos
2

para certos inteiros

x, y. Se

u, v

portanto

inteiros

+ v ) = ( xu yv ) + ( xv + yu ) D.
2

Vamos provar que ab D b D por induo em a.


Se a = 1 a implicao obvia. Suponha agora que > 1, D e a implicao vale
para todo a < .
Temos = x 2 + y 2 = ( x + iy )( x iy ) . Seja um fator irredutvel de x + iy.
Suponha que b = u 2 + v 2 = ( u + iv )( u iv ) .
EUREKA! N37, 2013

56

Sociedade Brasileira de Matemtica

Ento ( u + iv )( u iv ) , donde u + iv ou u iv.


Vamos supor sem perda de generalidade que u + iv , ou seja, u + iv = , com

 [i ]. Assim, temos b = ( u + iv ) u + iv = = . Como x + iy ,


xiy e logo ( x + iy )( x iy ) = . Se = r + si, = ( r + si )( r si ) = r 2 + s2 > 1.

b
=
< ,
e cb =
= D
(de
2
r +s

= m + ni, = m 2 + n 2 D). Assim, por hiptese de induo, b D.

Assim,

c=

fato,

se

Lema 2: Seja T um tringulo cujos vrtices tm coordenadas inteiras em  2 e cujos

lados medam

a, b e c

(com a, b, c inteiros positivos). Ento, se


d = mdc ( a, b, c ) , existe um tringulo T cujos vrtices tambm tm coordenadas

inteiras em  2 e cujos lados medem

a d, b d e

c d . Em particular, os

inteiros d , a d , b d e c d pertencem a D = { x + y , x, y }.


2

Prova: Vamos provar a afirmao por induo em d = mdc ( a, b, c ) .

Para d = 1 no h o que provar. Se d > 1, podemos supor sem perda de


generalidade que um dos vrtices de T ( 0,0 ) (seno fazemos uma translao).

( u, v )

Sejam

( r, s )

os outros vrtices de T. Temos ento (digamos)


2

u 2 + v 2 = a , r 2 + s 2 = b e ( u r ) + ( v s ) = c. Seja um fator irredutvel de d

em  [i ]. Temos ento que a = u 2 + v 2 = ( u + iv )( u iv ) . Podemos supor sem


perda

de
2

generalidade

que

u + iv .

Temos

tambm

que

b = r + s = ( r + is )( r is ) , donde r + is ou r is.
Alm

disso,

c = ( u r ) + ( v s ) = ( ( u + iv ) ( r + is ) ) ( ( u iv ) ( r is ) ) ,

donde ( u + iv ) ( r + is ) ou ( u iv ) ( r is ) . Temos dois casos:


i)

r + is

ii) /| r + is. Nesse caso, r is, donde r + is, e no podemos ter

( u + iv ) ( r + is ) , pois, como u + iv, teramos r + is , absurdo.

EUREKA! N37, 2013

57

Sociedade Brasileira de Matemtica

( u iv ) ( r is ) ,

Portanto,

( u + iv ) ( r + is ) ,

logo

donde,

como

r + is , u + iv .
Assim, no caso i), u + iv e r + is , e, no caso ii), u + iv e r + is .
Dividindo os vrtices de T (identificados com os nmeros complexos
0, u + iv e r + is, respectivamente) por , no caso i), ou por , no caso ii)
obtemos um tringulo T (cujos vrtices tm coordenadas inteiras) semelhante a T.
Se = m + in, e k = m 2 + n 2 > 1, T tem lados
a k , b k e c k . Temos
mdc ( a k , b k , c k ) = d k < d , e a afirmao segue por induo.

Se os vrtices de T so

( 0,0 ) ,

( u , v )

( r , s ) ,

2
2
temos u + v = a d . Assim,

a = u 2 + v 2 e a d pertencem a D, e, pelo lema 1, d = a ( a d ) tambm pertence a


D. Analogamente, b d e c d tambm pertencem a D.
Isto termina a prova do lema 2.
Vamos agora provar a equivalncia dos itens do enunciado:

1
us vr , e
2
2
2
seus lados so a , b e c , onde a = u 2 + v 2 , b = r 2 + s 2 e c = ( u r ) + ( v s )
so somas de dois quadrados.
Para as prximas implicaes, notemos que, se um tringulo tem lados
a , b e c , com a, b e c inteiros positivos, e rea racional, ento existe um
i ) ii ) : Se os vrtices de T so ( 0,0 ) , ( u , v ) e ( r , s ) , sua rea

tringulo semelhante a ele, com lados 2a, 2 ab e 2 ac , cujos vrtices tm


coordenadas inteiras: de fato, podemos colocar seus vrtices em
C = ( 0,0 ) , B = ( 2a,0 )

A = ( m, h ) ,

com

m 2 + h 2 = 2 ab

= 4ab

4ab 4ac + 4a 2
e
=bc+a
4a
h 2 = 4ab m 2 so inteiros, mas, como a rea do tringulo, que racional, igual a
2ah
= ah, h racional, e logo inteiro. Assim, segue do lema 2 que existe um
2
tringulo T cujos vrtices tm coordenadas inteiras e cujos lados so

( m 2a )

+ h 2 = 2 ac

4a 2 d, 4ab d

= 4ac,

donde

4ac d , onde

d = mdc ( a, b, c ) . Assim, os lados de T so


a d , b d e c d pertencem a D.
EUREKA! N37, 2013

58

m=

d = mdc ( 4a 2 , 4ab, 4ac ) = 4ad ,

onde

a d , b d e c d . Em particular,

Sociedade Brasileira de Matemtica

( ii ) ( iii ) basta usar o lema 1, pois, se a D, como


a d D, segue que d = mdc ( a, b, c ) D.
E, finalmente, para ver que ( iii ) ( i ) , vemos da discusso anterior que existe um

Agora, para ver que

tringulo T cujos vrtices tm coordenadas inteiras e cujos lados medem


a d , b d e c d . Se d = x 2 + y 2 , com x, y , multiplicando os vrtices de
T por x + iy , obtemos um tringulo T cujos vrtices tm coordenadas inteiras e
cujos lados medem

a , b e c , como queramos.

Agradecemos o envio de solues e a colaborao de:


Bruno Salgueiro Fanego (Viveiro, Espanha)
Daniel Vacaru (Pitesti, Romnia)
Marcelo Ribeiro
Lucas Justo de Freitas Neto (Mossor, RN)
Geraldo Perlino Jr. (Cotia, SP)
Ricardo Klein Hoffman (Rio de Janeiro, RJ)
Carlos Alberto da Silva Victor (Nilpolis, RJ)
Osvaldo Mello Sponquiado (Olmpia, SP)

Prob. 151, 152, 153


Prob. 151
Prob. 151, 152
Prob. 149, 151
Prob. 151, 153
Prob. 151
Prob. 153
Prob. 152

Continuamos aguardando a soluo do problema 156.

EUREKA! N37, 2013

59

Sociedade Brasileira de Matemtica

PROBLEMAS PROPOSTOS


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


problemas para prximos nmeros.
n

157) Sejam x e y inteiros positivos tais que x 2 1 divisvel por 2n y + 1 para todo
inteiro positivo n. Prove que x = 1.
158) Ache todas as funes f :   tais que
f ( xy + 1) = f ( x + y ) + f ( x ) f ( y ) , x, y .

159) Dizemos que um conjunto A progressista se, sempre que x, y A com


temos
2 y x A.
Prove que se A progressista e
x y,
com
e
ento
x, x + a1 , x + a2 ,..., x + ak A
k2
0 < a1 < a2 < ... < ak
x + a1 + ak 3d , x + a1 + ak 2d A, onde d = mdc ( a1 , a2 ,..., ak ) .

160) Considere a sequncia definida por an = n 2003 para n 1. Prove que,


para quaisquer inteiros positivos m e p, a sequncia contm m elementos em uma
progresso geomtrica de razo maior que p.
161) Um sapo faz um caminho infinito no plano euclidiano da seguinte forma: no
incio ele est no ponto (0, 0), e, se num dado momento est no ponto (x, y), no
segundo seguinte salta para o ponto (x + 1, y) ou para o ponto (x, y +1).
Prova que, para todo inteiro positivo n, existe uma reta l tal que o sapo passa por
pelo menos n pontos de l em seu caminho.
162) Uma prova da IMO tem 6 problemas, e cada problema de cada participante
recebe uma nota inteira n com 0 n 7. Dizemos que duas provas de dois
participantes so comparveis se uma delas, digamos a do participante A menor
ou igual prova do participante B, no seguinte sentido: em cada um dos 6
problemas a nota do participante A menor ou igual nota do participante B.
Determine o menor inteiro positivo m tal que, se houver m participantes numa
IMO, necessariamente haver duas provas comparveis.
O problema 157 foi proposto na shortlist da IMO de 2012, e o problema 158 uma generalizao de um problema
proposto na shortlist da IMO de 2012. Ambos foram sugeridos para publicao nesta seo por Luis Farias Maia. O
problema 159 uma generalizao de um problema proposto na IV Competio Ibero-Americana Interuniversitria de
Matemtica (CIIM), realizada em 2012 em Guanajuato no Mxico. O problema 160 foi proposto no teste de seleo da
IMO 2003. O problema 161 foi proposto originalmente por T. C. Brown para o American Mathematical Monthly, e foi
sugerido para esta edio por Fabio Brochero.
EUREKA! N37, 2013

60

Sociedade Brasileira de Matemtica

AGENDA OLMPICA
35 OLIMPADA BRASILEIRA DE MATEMTICA
NVEIS 1, 2 e 3
Primeira Fase sbado, 15 de junho de 2013
Segunda Fase sbado, 21 de setembro de 2013
Terceira Fase sbado, 19 de outubro de 2013 (nveis 1, 2 e 3)
domingo, 20 de outubro de 2013 (nveis 2 e 3 - segundo dia de prova)
NVEL UNIVERSITRIO
Primeira Fase sbado, 21 de setembro de 2013
Segunda Fase sbado, 19 e domingo, 20 de outubro de 2013
6 ROMANIAN MASTER OF MATHEMATICS (RMM)
27 de fevereiro a 3 de maro de 2013 (Bucareste, Romnia)
ASIAN PACIFIC MATH OLYMPIAD (APMO)
11 de maro de 2013
19 OLIMPADA DE MAIO
11 de maio de 2013
24 OLIMPADA DE MATEMTICA DO CONE SUL
1 a 7 de junho de 2013 (Assuno, Paraguai)
54 OLIMPADA INTERNACIONAL DE MATEMTICA
18 a 28 de julho de 2013 (Santa Marta, Colmbia)
3 OLIMPADA DE MATEMTICA DA COMUNIDADE DOS PASES DE LNGUA PORTUGUESA
5 a 10 de agosto de 2013 (Maputo, Moambique)
19 COMPETIO INTERNACIONAL DE MATEMTICA UNIVERSITRIA (IMC)
6 a 12 de agosto de 2013 (Blagoevgrad, Bulgria)
27 OLIMPADA IBERO-AMERICANA DE MATEMTICA
20 a 28 de setembro de 2013 (Cidade do Panam, Panam)
5 COMPETIO IBERO-AMERICANA INTERUNIVERSITRIA DE MATEMTICA
15 a 20 de outubro de 2013, (Armenia, Colmbia)
15 OLIMPADA IBERO-AMERICANA DE MATEMTICA UNIVERSITRIA
23 de novembro de 2013

EUREKA! N37, 2013

61

Sociedade Brasileira de Matemtica

COORDENADORES REGIONAIS
Alberto Hassen Raad
Amrico Lpez Glvez
Antonio Carlos Nogueira
Carlos Alexandre Gomes da Silva
Fabrcio Siqueira Benevides
Carmen Vieira Mathias
Claus Haetinger
Cludio de Lima Vidal
Denice Fontana Nisxota Menegais
Dbora de Jess Bezerra
Disney Douglas Lima de Oliveira
Edson Roberto Abe
Edney Aparecido Santulo Jr.
Eduardo Leandro
Emiliano Chagas
Fabio Brochero Martnez
Florncio Ferreira Guimares Filho
Francinildo Nobre Ferreira
Diego Marques
Herivelto Martins
Gisele Detomazi Almeida
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 Antonio dos Santos
Marcelo Rufino de Oliveira
Mrcio Fialho Chaves
Newman Simes
Nivaldo Costa Muniz
Uberlndio Batista Severo
Raul Cintra de Negreiros Ribeiro
Reinaldo Gen Ichiro Arakaki
Ricardo Amorim
Ronaldo Alves Garcia
Rosangela Ramon
Seme Gebara Neto
Tadeu Ferreira Gomes
Toms Menndez Rodrigues
Valdenberg Arajo da Silva
Wanderson Breder

(UFJF)
(USP)
(UFU)
(UFRN)
(UFC)
(UNIFRA)
(UNIVATES)
(UNESP)
(UNIPAMPA)
(Universidade Metodista de SP)
(UFAM)
(Colgio Objetivo de Campinas)
(UEM)
(UFPE)
(Grupo Educacional Etapa)
(UFMG)
(UFES)
(UFSJ)
(UnB)
(USP So Carlos)
(UFT)
(UTFPR)
(UC. Dom Bosco)
(UFPI)
(Grupo Educacional Ideal)
(UFPB)
(UFSC)
(UFPB)
(Instituto Pueri Domus)
(UFAL)
(UFSC)
(Sistema Elite de Ensino)
(UFBA)
FACOS
(Grupo Educacional Ideal)
(UFLA)
(Cursinho CLQ Objetivo)
(UFMA)
(UFPB)
(Colgio Anglo)
(UNIFESP)
(Centro Educacional Logos)
(UFGO)
(UNOCHAPEC)
(UFMG)
(UEBA)
(U. Federal de Rondnia)
(U. Federal de Sergipe)
(CEFET RJ)

EUREKA! N37, 2013

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
S.B. do Campo SP
Manaus AM
Campinas SP
Maring PR
Recife PE
So Paulo SP
Belo Horizonte MG
Vitria ES
So Joo del Rei MG
Braslia DF
So Carlos SP
Arraias TO
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
Osrio RS
Belm PA
Lavras MG
Piracicaba SP
So Luis MA
Joo Pessoa PB
Atibaia SP
SJ dos Campos SP
Nova Iguau RJ
Goinia GO
Chapec SC
Belo Horizonte MG
Juazeiro BA
Porto Velho RO
So Cristvo SE
Nova Friburgo RJ

Você também pode gostar