Você está na página 1de 62

CONTEDO

17 OLIMPADA DE MAIO Enunciados e resultado brasileiro 18 OLIMPADA DE MAIO Enunciados e resultado brasileiro 23 OLIMPADA DE MATEMTICA DO CONE SUL Enunciados e resultado brasileiro 24 OLIMPADA DE MATEMTICA DO CONE SUL Enunciados e resultado brasileiro 54 OLIMPADA INTERNACIONAL DE MATEMTICA (IMO) Enunciados e resultado brasileiro 3 OLIMPADA DE MATEMTICA DA COMUNIDADE DOS PASES DE LNGUA PORTUGUESA Enunciados e resultado brasileiro 27 OLIMPADA IBERO-AMERICANA DE MATEMTICA Enunciados e resultado brasileiro 28 OLIMPADA IBERO-AMERICANA DE MATEMTICA Enunciados e resultado brasileiro 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) JOGOS Bruno Holanda (IMPA) EQUAES FUNCIONAIS PARA OS MAIS JOVENS Ricardo Csar da Silva Gomes (IFCE - Jaguaribe CE) 03

06

09

11

13

16

18

20

22

28

34

Sociedade Brasileira de Matemtica

COMO QUE FAZ? SOLUES DE PROBLEMAS PROPOSTOS PROBLEMAS PROPOSTOS AGENDA OLMPICA COORDENADORES REGIONAIS

46 47 60 61 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

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

5 da quantidade de fichas 3

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

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

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

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

C R

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

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

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

Demonstre que a circunferncia circunscrita do tringulo AMN passa por um ponto fixo distinto de A.

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 <

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.

4n 4n + 1

da rea do

EUREKA! N37, 2013

12

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+
PROBLEMA 2

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

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

o conjunto dos nmeros racionais maiores do que zero. Seja uma funo que satisfaz as trs seguintes condies:
>0

f:

(i)

f ( x ) f ( y ) f ( xy ) para quaisquer x, y

;
>0

(ii) f ( x + y ) f ( x ) + f ( y ) para quaisquer x, y Demonstrar que f ( x ) = x para qualquer x

(iii) Existe um nmero racional a > 1 tal que f ( a ) = a.


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

b = ABC e c = ACB. Consideremos tambm o tringulo DEF , formado pela


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

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

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 c b c 3 b c ( b c ) + 2 a + 2 C BD = , BCD = e BDC = = = = . 3 3 3 3 3 3 3
Agora, aplicando a Lei dos Senos ao tringulo BDC e usando a igualdade (6) obtemos:

BC sen b BC CD 3 = CD = a+2 sen a +32 sen b sen 3 3


CD =
a + a+2 b 8R sen a 3 sen 3 sen 3 sen 3 sen a +32

7.

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

Observando
2

com
2

bastante

cuidado

vemos

que

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

) (*) 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 ) =


Exemplo 02. Determine todas as funes f :

13 1000000 = 50. 2
(*)

tais que

f
2

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

2 xf ( y ) + y 2 .

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

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:

( f ( x ) x ) = ( f ( x ))
2 Caso:
2

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:

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

2 xf ( x ) + x 2 = f ( 0 ) = 1 f ( x ) = x + 1 ou f ( x ) = x 1. Assim,
Temos ento, de (*),

f ( x) = x + x ,

onde
2

x {1,1} , x .
2

( x y ) + ( x y)
2

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

( x y ) = 2 x ( x y ) + x2 , x, y . Como f ( 0 ) = 1, 0 = 1.
Se existe z com z 1, existe y
(1 y )2

com y 1 . Fazendo x = 1 na

igualdade acima, temos

2 = 2 (1 y ) + x , donde

2 2 2 ( 1 y ) = 1 y 2 x , absurdo, pois 2 ( 1 y ) = 4 e 1 y 2 x {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 (*)

f ( xf ( x ) + f ( y ) ) = ( f ( x ) ) + y
para quaisquer nmeros reais x e y.
Soluo: Fazendo x = 0 na equao acima obtemos:

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 x
Note que o lado esquerdo da ltima equao idntico ao lado esquerdo de (*), portanto
2

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

quadrado, obtemos

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

(y)+ f (y)
e logo

= x 4 + 2 xf ( x ) f

(y)+

y 2 , donde
ou seja,

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

f ( x ) f ( y ) = xy ,

f ( x ) x = ( f ( y ) y ) . Assim, f ( x ) x = 1, x
donde f ( x ) = x, x ou f ( x ) = x, x .

ou f ( x ) x = 1, 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)
Em seguida faremos x = 0 em (*), veja:

(1)

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

n f . n

EUREKA! N37, 2013

37

Sociedade Brasileira de Matemtica

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


Determine:

* +

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

1 S= f + 2001

2 f + 2001

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 1 , para todo natural n. n + n2 + 1


4

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


08. Seja f uma funo definida por

f ( n) =

Mostre que:

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 : para x, y .

que satisfazem a equao

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

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 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 ( x) = x +1 e

f:

que

satisfazem as seguintes condies:

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

para quaisquer que sejam os nmeros reais x e y.

1 f ( x) = 2 para x 0. x x
Como e logo

Soluo:

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

EUREKA! N37, 2013

Sociedade Brasileira de Matemtica

Temos

1 1 para t {0,1 1 = } . Portanto, 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


2 2 2

f (1) f ( t ) (1 t ) f (1) = f (1 t ) (1 t ) f (1) = f ( t ) t 2 f (1) 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, onde x e y so nmeros racionais quaisquer. Mostre que f
Soluo: Fazendo

1 1987 . = 1988 1988

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


41

EUREKA! N37, 2013

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 .
2 Caso:

f ( 1) = 0 . Fazendo x = y = 1, em (iii), obtemos: 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 ) = Em particular, f

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

1987 1 1987 +1 = . = 1988 1988 1988 f:


*

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

, tais

que

f ( x2 + y ) = ( f ( x )) +
para quaisquer x, y
*

f ( xy ) f ( x)
*

, 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


2

\ {1} .
2

Assim, f ( 2 ) = f (1) + 1 e f ( 5 ) = f 22 + 1 = f ( 2 ) + 1 = f (1) + 1 + 1. Por outro lado, f ( 3) = f ( 2 + 1) = f (1) + f ( 2 )


2 2 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) +


2 2

f (1) + 1 f (1)
2

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


4 2

f (1) + 1 f (1)
3

, e logo
2

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


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

f (1) + 1 f (1)
3

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


3

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

43

Sociedade Brasileira de Matemtica

Assim, temos

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

* 2

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.

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

\ {1,1} . Como
*

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

segue que
* 2

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

\ {1,1} , i.e.,

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 mostrar que f ( a ) = a, a > 0, donde f ( x ) = x, x
* *

. Vamos

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

) ( )

( )

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

ou seja, se uma

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

( an )n0
*

( f ( a ))
n

n 0

tambm uma progresso


*

aritmtica de termos positivos. Em particular, q progresso aritmtica de termos positivos. Como

, ( f ( p q ) ) p
*

uma

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

f ( 2q q ) = f ( 2 ) = 2, segue que f ( p q ) = p q , p, q
caso

Dado a > 0, suponha por absurdo que f ( a ) a. Vamos supor que f ( a ) > a (o

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

( ) (

. f:
*

02. (Austrlia) Prove que existe apenas uma funo

que satisfaz as

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

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.


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 m m x m + x2 + x3 + ... + xn f ( x1 ) + f ( x2 ) + f ( x3 ) + ... + f ( xn ) ; f 1 = n n (ii) f (1986 ) 1986; m m m m

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


2

(14 + 10k )

2 2 2

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

2 2

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

2 2

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


Publicamos aqui algumas das respostas enviadas por nossos leitores.

143)

Determime
3

todas
3

as

funes

f , g,h :

tais

que

f ( xy ) = g ( x + y ) + h ( x + y ) , x, y .
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

induo que g y 9

( ) = g ( y ) , y
k

,k .

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 : g ( z ) = g ( z ) , z .

dada por t ( y ) = y y

sobrejetiva, segue que

Dado a 0, 3 3 , vamos mostrar que existem x, y


3

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

(x + y )

3 3

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

escrita como

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 ,

e,

tomando

x = a y,

temos

EUREKA! N37, 2013

47

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 ) .
3 = c = 24 25 e 0 y 3 10, temos xy c 10 24 25 3 10 < 3 3 3 3

Escolhendo

, sempre que x, y 0 e
3

x + y 3 = c.

Para
3

y = 0,

(c y )

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

e,

para

y = 3 10, ( c y 3 ) + y = 24 25 ( 3 10 )
9 10 z 11 10,

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

existe
3

y [ 0,3 10]

(c y )

3 3

+ y = z, Ou

e seja,

logo se

g ( z ) = g ( c y 3 ) + y = f ( 0 ) h ( c ) = f ( 0 ) h ( 24 25 ) . d = f ( 0 ) h ( 24 25 ) , temos g ( z ) = d , z [9 10,11 10]. Dado


w > 0,

existe

k
k

com

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

( 9 10 ) < w < (11 10 ) , e logo existe g ( w ) = g ( z 9 ) = g ( z ) = d . Tambm temos


k

9k

9k

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

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 =
n

p , com p, q q

, p q e mdc ( p, q ) = 1.
n n

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, e, como qx = p, c q x n +1 = c p x n , sempre inteiro, Assim, donde segue
lim ( p an q an +1 ) = 0.
n

Como que donde

p an q an +1

que

existe

n0

tal

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

p an +1 = an , n n0 , q

p an = an0 q

n n0

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


n n0

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


n

= 0, n n0 , o que um absurdo,

Assim, q = 1 e x = p

inteiro. q Obs: importante a hiptese de x ser racional. fato, an = 1 + 2

De

) + (1 2 )
n

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

((

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 = 1 i n a ji = k + 1 i n aij = k
j =1 n

({

} {

})=

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

Seja f : Temos

dada por f ( x ) = x x .

12

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. 1 1 Assim, o conjunto das solues reais positivas da equao S = , . 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 ) ,


ab + ac + bc 9abc, que equivalente a provar que

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

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.
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 = 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.
f ( n ) = 0 n

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


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

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

a f = f (a) f b
n

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 . nmero primo p e um 0 < < 1 e escrevamos x


*

Fixemos agora um

a 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. Sejam a, b, n , a 2, b 2 e escrevemos b n na base a : b n = c0 + ci a i , com
i =1 m

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

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

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

}.
para
log a b

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

log a b

}.
algum
b , b 2,

f (b ) > 1

obtemos

f ( b ) max 1, f ( a )

log a b

} = f (a)

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

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

, 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
nk constante igual a 1. Tomemos um desses bs e escrevamos b = p1n1 ... pk . Ento

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 primos p q. Tomemos m, n 1 tais que f ( p m ) <
qn

so

co-primos,
m

ento
n

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

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

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

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
b D ab D. Prova: Se a D \ {0} ,

}.

Dado a D \ {0} , temos, para todo inteiro para certos inteiros


u, v x, y. Se

temos para
2

a = x2 + y 2

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

certos
2

inteiros

portanto

)( u

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

Assim,
b = < , e cb = = D (de 2 r +s = m + ni, = m 2 + n 2 D). Assim, por hiptese de induo, b D. c=
2

fato,

se

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

lados medam inteiras em


2

a, b e c

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


a d, b d e
2 2

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

e cujos lados medem

c d . Em particular, os

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

}.

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). Sejam em perda
2

( u, v )

( r, s )

os outros vrtices de T. Temos ento (digamos)


2 2

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

[i ].

Temos ento que a = u 2 + v 2 = ( u + iv )( u iv ) . Podemos supor sem de


2

generalidade
2

que
2

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

Portanto,

( u iv ) ( r is ) ,

logo

( u + iv ) ( r + is ) ,

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

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=

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

= 4ac,

donde

4a 2 d, 4ab d

4ac d , onde

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

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

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

58

Sociedade Brasileira de Matemtica

Agora, para ver que

( 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

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) Continuamos aguardando a soluo do problema 156. Prob. 151, 152, 153 Prob. 151 Prob. 151, 152 Prob. 149, 151 Prob. 151, 153 Prob. 151 Prob. 153 Prob. 152

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.

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
EUREKA! N37, 2013

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

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

62

Você também pode gostar