Está en la página 1de 38

Revista Escolar de la Olimpada Iberoamericana de

Matemtica
Nmero 24 (Marzo -abril 2006)
ISSN 1698-277X

ndice

Artculos, notas y lecciones de preparacin de Olimpiadas

Carlos A.Gomes (Natal, Brasil): Polinomios simtricos

Francisco Bellot: Los libros de la Olimpiada Internacional de
Matemticas (IMO)

Problemas para los ms jvenes

Resueltos: solucin de 23.2, por Bruno Salgueiro Fanego (Vivero,
Espaa)
Propuestos: Tres problemas propuestos en la Olimpiada rumana
2006, fase municipal, Bucarest.

Problemas de nivel medio y de olimpiadas

Resueltos: Soluciones a los problemas propuestos en el nmero 23,
por Bruno Salgueiro Fanego.
Propuestos: Problemas propuestos en la fase nacional de la 42
Olimpiada Matemtica Espaola (Sevilla, marzo 2006)

Propuestos:
Cinco problemas de la Competicin Hngaro-Israel

Problemas resueltos:

Resueltos:
Soluciones recibidas despus de la aparicin del nmero 23:
Al problema 103, por Bruno Salgueiro Fanego (Vivero, Espaa)
Al problema 109, por Glauber Moreno Barbosa (Ro de Janeiro, Brasil)
y por Jos Jorge Rodrguez Prez (Oleiros, Espaa)
Al problema 110, por Jos Jorge Rodrguez Prez (Oleiros, Espaa)

Prob. 106 bis: recibidas soluciones de Jos Carlos Garca Barro
(Mondoedo, Espaa); Daniel Lasaosa Medarde (Pamplona, Espaa);
Marcos Martinelli (Brasil); Bruno Salgueiro Fanego (Vivero, Espaa) y
el proponente. Presentamos la solucin de Lasaosa.

Prob. 111: recibidas soluciones de Jos Carlos Garca Barro
(Mondoedo, Espaa); Daniel Lasaosa Medarde (Pamplona, Espaa);
Bruno Salgueiro Fanego (Vivero, Espaa) y el proponente.
Presentamos la solucin de Garca Barro.

Prob. 112: recibidas soluciones de Miguel Amengual Covas (Cala
Figuera, Espaa); Daniel Lasaosa Medarde (Pamplona, Espaa);
Bruno Salgueiro Fanego (Vivero, Espaa) y el proponente.
Presentamos la solucin de Amengual.

Prob. 113: recibidas soluciones de Miguel Amengual Covas (Cala
Figuera, Espaa); Ricardo Barroso Campos (Sevilla, Espaa); Jos E.
Espinoza Guevara (Lima, Per); Oscar Ferreira Alfaro (Valencia,
Espaa); Jos Carlos Garca Barro (Mondoedo, Espaa); Daniel
Lasaosa Medarde (Pamplona, Espaa); Cristbal Snchez Rubio
(Benicassim, Espaa) y el proponente. Presentamos las soluciones de
Snchez Rubio y Amengual.

Prob. 114: Recibidas soluciones de Jos Carlos Garca Barro
(Mondoedo, Espaa); Samuel Gmez Moreno (Jan, Espaa); Daniel
Lasaosa Medarde (Pamplona, Espaa) y el proponente. Presentamos
la solucin de Garca Barro.

Prob. 115: Recibidas soluciones de Daniel Lasaosa Medarde
(Pamplona, Espaa) y Bruno Salgueiro Fanego (Vivero, Espaa).
Presentamos la solucin de Lasaosa.

Problemas 116-120

Divertimentos matemticos

Algunas citas de Mathematical Circles, de H. Eves

Comentario de pginas web

La pgina web de Francisco Javier Garca Capitn


Editor: Francisco Bellot Rosado
POLINMIOS SIMTRICOS
Carlos A. Gomes, UFRN, Natal/RN.

* Nvel Intermedirio

Uma ferramenta bastante til na resoluo de problemas algbricos de fatorao, na
resoluo de sistemas de equaes no lineares, na resoluo de algumas equaes
irracionais so as funes polinomiais simtricas, que apesar de seu grande poder
algbrico so pouco divulgadas entre os nossos alunos. A finalidade deste breve artigo
exibir de modo sucinto como estas ferramentas podem ser teis na resoluo de alguns
problemas olmpicos.

I.Polinmios Simtricos

Um polinmio f, a duas variveis x, y, dito simtrico quando f (x, y) =f (y, x) para
todos os valores x, y.

Exemplos:

a)
1
=x +y e
2
=x . y , so evidentemente polinmios simtricos (chamados
polinmios simtricos elementares).

b) Os polinmios da forma S
n
=x
n
+y
n
, com n N tambm so simtricos. Um fato
importante a ser observado que um polinmio simtrico f (x, y) pode ser
representado como um polinmio em funo de
1
e
2
. Vejamos:

Se S
n
=x
n
+y
n
, n N, (n 2), ento:

S
n
=x
n
+y
n
=(x +y) (x
n-1
+y
n-1
) xy (x
n-2
+y
n-2
) =
1
. S
n-1

2
. S
n-2
(n 2)

Mas,

S
0
=x
0
+y
0
=1 +1 =2
S
1
=x
1
+y
1
=x +y =
1

Assim temos que:

S
0
=2
S
1
=
1
S
2
=
1
. S
1

2
. S
0
=
1
.
1

2
. 2 =
1
2
2
2
S
3
=
1
. S
2

2
. S
1
=
1
(
1
2
2
2
)
2
.
1
=
1
3
3
1
.
2

E da usando a lei de recorrncia S
n
=
1
S
n-1

2
S
n-2
(n 2) podemos determinar
S
n
em funo de
1
e
2
para qualquer nmero natural n.

Agora para garantirmos a afirmao anterior que todo polinmio simtrico f (x, y) pode
ser representado como um polinmio em
1
e
2
observemos o seguinte fato:

Num polinmio simtrico f (x, y) para os termos da forma a . x
K
. y
K
no temos
nenhum problema pois a . x
K
. y
K
= a (x . y)
K
= a .
2
K
. Agora com os termos da forma
b . x
i
. y
K
, com i <k devemos observar o seguinte fato: Como, por hiptese, f (x, y)
simtrico se b . x
i
. y
k
, com i <k estiver presente em f (x, y) temos que b . x
k
. y
i
tambm
deve estar presente em f (x, y), visto que deve ser satisfeita a condio f (x, y) =f (y, x).
Assim se agruparmos os termos b . x
i
. y
k
+ b . x
k
. y
i
(i <k) temos que:

b . x
i
. y
k
+ b . x
k
. y
i
= b . x
i
. y
i
(x
k-i
+ y
k-i
) = b.
2
i
. S
k-i
,

mas como j mostramos anteriormente S
k-i

pode ser escrito como um polinmio em
1
e

2
, pois k i N, visto que i <k.

II.Exemplos Resolvidos

01.(Funes simtricas elementares a 3 variveis)

Definido:

1
=x +y +z

2
=xy +xz +yz

3
=x . y . z
S
n
=x
n
+y
n
+z
n
, com n

N. (n 2)

Mostre que:

a) S
n
=
1
. S
n-1

2
. S
n-2
+
3
. S
n-3
(n 3 , com n N )

b) S
3
=
1
3
3
1

2
+3
3

Resoluo:

Observe inicialmente que:

x
n
+y
n
+z
n
=(x +y +z) (x
n-1
+y
n-1
+z
n-1
) (xy +xz +yz) (x
n-2
+y
n-2
+z
n-2
) +xyz (x
n-3
+y
n-3
+z
n-3
)

e da temos que:

S
n
=
1
. S
n-1

2
. S
n-2
+
3
. S
n-3
(n 3, com n N)

Agora temos que:

S
0
=x
0
+y
0
+z
0
=1 +1 +1 =3
S
1
=x +y +z =
1
S
2
=x
2
+y
2
+z
2
=(x +y +z)
2
2 (xy +xz +yz) =
1
2
2
2

Agora fazendo n =3 temos na lei de recorrncia S
n
=
1
. S
n-1

2
. S
n-2
+
3
. S
n-3

temos que:

S
3
=
1
. S
2

2
. S
1
+
3
. S
0
=
1
(
1
2
2
2
)
2
.
1
+
3
. 3
S
3
=
1
3
3
1
.
2
+3
3



02.
a) Fatore x
3
+y
3
+z
3
3xyz

Resoluo:

Essa velha e manjada questo continua ainda hoje pegando alguns bons
professores e alunos. A sua soluo pelos mtodos tradicionais envolve uma boa dose de
ateno e de pacincia para aplicar velhos truques de fatorao, por outro lado ela
imediata usando os polinmios simtricos. Vejamos:

x
3
+y
3
+z
3
3xyz =S
3
3 .
3

Mas de acordo com a questo anterior S
3
=
1
3
3
1

2
+ 3
3
e da temos que
S
3
3
3
=
1
3
3
1

2
. Assim:

x
3
+y
3
+z
3
3xyz =S
3
3
3
=
=
1
3
3
1

2
=
=
1
(
1
2
3
2
) =
=[(x +y +z)
2
3 (xy +xz +yz)]
=(x +y +z) (x
2
+y
2
++z
2
xy xz yz)

Obs. (para os mais curiosos): Na RPM 41, pg.38 existe uma bela resoluo desse
problema usando um determinante.

b) Usando a fatorao obtida em (a), verifique a famosa desigualdade das mdias
aritmtica e geomtrica. Se a, b, c R
+
ento
3
c b a
bc . a
3
+ +
e a igualdade ocorre, se,
e somente se, a =b =c.

De fato, em (a) verificamos que

x
3
+y
3
+z
3
3xyz =(x +y +z) (x
2
+y
2
+z
2
xy xz yz).

Vamos mostrar inicialmente que se x, y, z so nmeros reais positivos ento:

(x +y +z) . (x
2
+y
2
+z
2
xy xy yz) 0
De fato,
x
2
+y
2
+z
2
xy xz +yz =
2
1
(2x
2
+2y
2
+2z
2
2xy 2xz 2zy)
=
2
1
(x
2
- 2xy +y
2
+x
2
2xz +z
2
+y
2
2yz +z
2
)
=
2
1
[(x-y)
2
+(x-z)
2
+(y-z)
2
] 0 (Soma de quadrados)
Ora, como estamos supondo x, y, z reais positivos temos que x +y +z 0 e da
(x +y +z) (x

2
+y
2
+z
2
xy xz yz) 0 (pois o produto de fatores 0). Assim temos
que:

x
3
+y
3
+z
3
3xyz =(x +y +z) (x
2
+y
2
+z
2
xy xz yz) 0
e da
3xyz x
3
+y
3
+z
3
xyz
3
z y x
3 3 3
+ +


fazendo x
3
=a, y
3
=b e z
3
=c temos que:
3
c b a
c . b . a
3 3 3
+ +

e da
3
c b a
abc
3
+ +


Com a igualdade ocorrendo se e somente se a =b =c, pois em (x +y +z).(x
2
+y
2
+z
2

xy xz yz) 0 a igualdade ocorre apenas quando x =y =z, visto que x +y +z >0,
uma vez que x, y, z so nmeros reais positivos e alm disso,
(x
2
+y
2
+z
2
xy xz yz) =
2
1
[(x-y)
2
+(x z)
2
+(y z)
2
] =0 x =y =z.

:03. Fatore (x +y +z)
3
(x
3
+y
3
+z
3
)

Resoluo:

(x +y +z)
3
(x
3
+y
3
+z
3
) =
1
3
S
3

Mas, no exemplo anterior vimos que S
3
=
1
3
3
1

2
+3
3
e da

(x +y +z)
3
(x
3
+y
3
+z
3
) =
1
3
(
1
3
3
1

2
+3
3
)
=3. (
1

2

3
)
=3. [(x +y +z) (xy +xz +yz) xyz]
=3.(x
2
y +x
2
z+xyz+xy
2
+xyz+y
2
z +xyz+xz
2
+yz
2
xyz)
=3. [xy (x +y) +xz (x +y) +yz (y +z) +xz (y +z)]
=3. [(x +y)(xy +xz) +(y +z)(yz +xz)]
=3. [(x +y) . x (y +z) +(y +z) . z (x +y)]
=3. (x +y)(y +z)(x +z)

04. Se x
1
e x
2
so as razes da equao x
2
6x +1 =0 determine o valor de x
1
5
+x
2
5
.

Resoluo:

Fazendo S
n
=x
1
n
+x
2
n
, n N , queremos determinar S
5
=x
1
5
+x
2
5


Temos que:

1
=x
1
+x
2
=6

2
=x
1
. x
2
=1
S
0
=x
1
0
+x
2
0
=1 +1 =2
S
1
=x
1
+x
2
=6
S
n
=
1
. S
n-1

2
. S
n-2
=6 S
n-1
S
n-2


e da

S
2
=6 . S
1
S
0
=6 . 6 2 =34
S
3
=6 . S
2
S
1
=6 . 34 6 =198
S
4
=6 . S
3
S
2
=6 . 198 34 =1.154
S
5
=6 . S
4
S
3
=6 . 1.154 198 =6.726
Assim x
1
5
+x
2
5
=6.726

04. Determine todas as solues reais do sistema

+ + + = + + +
= + +
1 z y x xyz z y x
1 z y x
4 4 4 3 3 3


De acordo com o sistema acima temos que:

+ + =
+ = +
=
N n , z y x S onde ,
1 S S
1
n n n
n
4 3 3
1


Mas, S
3
=
1
3
3
2

1
+3
3
e S
4
=
1
4
4
1
2

2
+2
2
2
+4
1
.
3
(verifique isto!)
e da

S
3
+
3
=S
4
+1
1
3
3
1

2
+3
3
+
3
=
1
4
4
1
2

2
+2
2
2
+4
1

3
+1

Como
1
=1 temos que:

1 3
2
+4
3
=1 4
2
+2
2
2
+4
3
+1 2
2
2

2
+1 =0

Como, =(-1)
2
4 . 2 . 1 =-7 <0, conclumos que existem razes reais.

Uma outra aplicao interessante dos polinmios simtricos pode ser encontrada na
resoluo de algumas equaes irracionais. Vejamos:

05.Determine todas as razes reais da equao abaixo:
6 x x 272
4 4
= +
Resoluo:

Fazendo z x 272 e y x
4 4
= = temos que

x =y
4
e 272 x =z
4

= +
= +
272 z y
6 z y
4 4

e agora lembrando que :
1
=y +z e
2
=y. z e S
n
=y
n
+z
n
, com n N

= +
=

=
=
272 2 . 4
6
272 S
6
2
2 2
2
1
4
1
1
4
1


Logo, 6
4
4 . 6
2
.
2
+2
2
2
=272
2
2
- 72
2
+512 =0
2
=64 ou
2
=8
Assim, se
2
=64 No existem solues reais.

=
= +
64 z . y
6 z y

Por outro lado, se
2
=8 y =2 e z =4 ou z =2 e y =4

=
= +
8 z . y
6 z y
Assim conclumos que:
y =2 x =16
y =4 x =256

Logo as razes reais da equao so 16 e 256.

III. Problemas:

01. Se e , so as razes da equao x
3
+3x
2
7x +1 =0. Determine o valor de
+
3 3 3
+ +
4 4 4
+ +
02.Mostre que se o sistema tem soluo, ento a

= +
= +
= +
c y x
b y x
a y x
3 3
2 2 3
3ab +2c =0
03. x, y, z so nmeros reais tais que x +y +z =5 e yz +zx +xy =3. Verifique que
3
13
z 1 .

04. Se x +y +z =0, verifique que, para n =0, 1, 2, ... vale a relao:
x
n+3
+y
n+3
+z
n+3
=xyz (x
n
+y
n
+z
n
) +
2
1
(x
2
+y
2
+z
2
)(x
n+1
+y
n+1
+z
n+1
)

05. Determine as razes reais da equao 3 x x 33
5 5
= + .

06. Verifique que:
(x +y +z)
3
(y +z x)
3
(x +z y)
3
(x +y z)
3
=24xyz.

07. Dados a, b e c nmeros reais positivos tais que
a b c
log b log c log a 0 + + =
)
3
,determine o
valor de ( ) . ( ) (
3 3
a b c
log b log c log a + +
08. Se , e so nmeros complexos tais que 1 + + = , e
, determine o valor de
2 2 2
3 + + =
3 3 3
7 + + =
21 21 21
+ + .

Referncias:

[1] Barbeau, E. J ., Polynomials Problems books in Mathematics Springer Verlag.
[2] Engel, Arthur , Problem-Solving Strategies Springer Verlag.
[3] www.obm.org.br, Mathematical Excalibur.
LOS LIBROS DE LA OLIMPIADA INTERNACIONAL DE MATEMTI-
CAS (IMO)
Francisco Bellot Rosado
Como es conocido, en 2008 la Olimpiada Internacional de Matemticas (IMO
en lo sucesivo) se celebrar en Espaa, concretamente en Granada. Qu.iz sea
interesante recordar a los lectores de la Revista Escolar de la OIM los libros que
se han publicado hasta este momento, conteniendo los problemas propuestos en
el concurso y, en algunos casos, los propuestos al Jurado Internacional (la "lista
corta", en la jerga de la IMO).
Es claro que cada Comit Organizador de la IMO ha publicado el folleto
con los problemas propuestos al Jurado; pero esta publicacin siempre tiene
una circulacin restringida y no suele estar al alcance del pblico. En este caso
nos proponemos comentar los libros que, hasta donde nosotros sabemos, se han
publicado sobre esta materia.
Tal vez los dos primeros, cronolgicamente hablando, sean los publicados en
1976:
D.Gerll, G.Girard:Les Olympiades internationales de mathmatiques; Ha-
chette, 1976; reeditado en 1994 por Ed. Jacques Gabay.
E.A.Morozova, I.S.Petrakov, V.A. Skvortzov: Mejdunarodnie matem-
aticeskie Olimpiadii, Mosc, Provescenie, 1976 (en ruso).
El libro de Gerll y Girard tiene resueltos los problemas de la IMO entre 1967
y 1975; los enunciados de los propuestos entre 1959 y 1966; y un cierto nmero
de otros problemas, tanto de la "lista corta" como de Olimpiadas de algunos
paises.
Por su parte, el libro de Morozova, que se puede descargar gratuitamente
de la direccin de Internet http://ilib.mccme.ru, incluye las soluciones de los
problemas de la lista corta y de otras olimpiadas, entre 1959 y 1976. En los
pases del Este, el libro siempre se consider un clsico.
En 1978 apareci en ingls el libro de Samuel L. Greitzer International
Mathematical Olympiads 1959-1977, publicado por la Mathematical Association
of America (de l se hizo una traduccin al espaol, en La Tortuga de Aquiles).
Tena la ventaja de estar escrito en ingls, pero solamente inclua los proble-
mas propuestos en la competicin. Tuvo un xito considerable, y Murray S.
Klamkin escribi International Mathematical Olympiads 1979-1985 and forty
supplementary problems, en 1986, publicado tambin por la M.A.A.
En 1981, Dimitrios Kontogiannis public en griego su primer tomo de
Matematikes Olimpiades, comprendiendo las 19 primeras olimpiadas Interna-
cionales. De cada problema propuesto se ofrecen casi siempre varias soluciones,
y extensiones y generalizaciones extraordinariamente interesantes. A mi enten-
der, junto con el libro rumano de Cuculescu (del que tengo un ejemplar, pre-
cisamente regalado por Kontogiannis en 1988), que comentar a continuacin,
es uno de los libros ms completos sobre las primeras IMOs.
En 1984, Ion Cuculescu public en la Editura Tehnica de Bucarest su
Olimpiadele internationale de matematica ale elevilor, comprendiendo las IMOs
de 1973 a 1982. Adems de las soluciones "ociales" comentadas, se describen
1
en esta obra nica en su gnero los reglamentos y costumbres de la IMO, los
resultados, las discusiones sobre la eleccin o rechazo de los problemas, algu-
nas soluciones destacadas de los propios alumnos participantes, y los criterios
empleados por los coordinadores durante la correccin y puntuacin.
En 1988, las Editions du Choix publicaron Olympiades Internationales de
mathmatiques, por J.P.Boudine, F.LoJacomo y R. Cuculire, que com-
prende los problemas propuestos entre 1988 y 1977 . En este libro no slo se da
la solucin de cada problema, sino que se indica el camino que conduce a sta.
Es un excelente ejemplo de cmo se deben exponer las soluciones a los alumnos.
Es lstima que no haya tenido continuacin.
En 2001, Anthem Press public International Mathematical Olympiad 1959-
1999, del profesor hngaro Istvn Reiman (premio Paul Erds, junto con quien
esto escribe, de la World Federation of National Mathematics Competitions del
ao 2000). La versin previa hngara de este libro tuvo un extraordinario xito
en su pas, nada extrao si se tiene en cuenta que los concursos de matemticas
son centenarios en Hungra.
En 2003, el polaco Marcin E. Kuczma public International Mathematical
Olympiads 1986-1999, editado por la M.A.A. Este libro es ms que la simple
continuacin de los escritos por Greitzer y Klamkin, ya comentados. En efecto,
las soluciones de Marcin tienen siempre un punto de originalidad que hace que
uno aprecie nuevos e interesantes puntos de vista, por conocido que pueda pare-
cer un problema. Adems, varios de los problemas propuestos en la IMO son
originales suyos, lo cual aade atractivo al libro.
Hace apenas unos meses que se ha publicado, en la coleccin Problem books
in Mathematics, de Springer, The IMO Compendium. A collection of problems
suggested for the IMO:1959-2004, compilado por cuatro profesores serbios, an-
tiguos concursantes en la Olimpiada Internacional: Dushan Djukic, Vladimir
Jankovic, Ivan Matic y Nikola Petrovic. Incluye los problemas propuestos
(con soluciones), los de la lista corta (con sluciones) y los enunciados de la "lista
larga", cuando les ha sido posible conseguirlos. Es propsito de los autores pub-
licar tambin las soluciones de estos ltimos, quiz en una prxima edicin o
como publicacin independiente. En total hay 1900 enunciados, de los que 864
estn resueltos.
En el momento de escribir este comentario todava no ha llegado a mis
manos el libro sobre la IMO del profesor rumano Mircea Becheanu, pero
espero conseguirlo pronto...
Valladolid, mayo 2006
Francisco Bellot Rosado
2


Problemas para os mis novos (23)

23.2. Demostrar que, para , se verifica 2 n

[ ]
( )( )
6
1 4 1
1
1
2
+
=

=
n n n
k
n
k
.


Solucin de Bruno Salgueiro Fanego (Viveiro, Espaa):

Agrupando os sumandos que teen a mesma parte enteira, resulta:
[ ] [ ] [ ] [ ] ( ) [ ] [ ] [ ] [ ] [ ] ( ) 8 7 6 5 4 3 2 1
1
1
2
+ + + + + + + =

=
n
k
k
[ ] [ ] [ ] [ ] [ ] [ ] [ ] ( ) 15 14 13 12 11 10 9 + + + + + + +
[ ] [ ] [ ] [ ] [ ] [ ] [ ]

+ + + + + + + +

+ 1 5 23 22 21 20 19 18 17 4
2 2
L +
( ) ( ) ( ) ( ) ( )

+ +

+ + +

+ +

+ +

+ 1 3 2 1 4 2 1 2 1 1 1 1
2 2 2 2 2 2
m m m m m m m m L
L +
( ) ( ) ( ) ( )

+ + +

+ +

+ +

+ +

+ +

+ 1 2 2 2 5 2 4 2 2 1 1 1 1
2 2 2 2 2 2 2
n n n n n n n n n n n L

( ) ( ) ( ) ( ) 4 4 4 4 4 4 4 4 4 3 3 3 3 3 3 3 2 2 2 2 2 1 1 1 + + + + + + + + + + + + + + + + + + + + + + + =
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 1 1 1 + + + + + + + + + + n n n m m m L L L L
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 1 1 1 4 9 3 7 2 5 1 3 + + + + + + + + + + + + + = n n n m m m L L L L
( ) ( ) ( ) ( ) L + + + + + + + + = 4 1 4 2 3 1 3 2 2 1 2 2 1 1 1 2 ( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 2 1 1 1 2 + + + + + n n m m L
( )
( ) ( ) ( ) ( ) ( ) ( )
( ) 1
2
1 1
6
1 1 2 1 1 1
2 2 1 2
1
1
1
1
2
1
1

+
+
+ +
= + = + =


=

=
n
n n n n
m m m m
n
m
n
m
n
m

( )
( ) ( )
( )( )
6
1 4 1
3 1 2 2
6
1 +
= +

=
n n n
n
n n
.
Problemas para los ms jvenes (24)
Presentamos tres problemas de la clase VII (12-13 aos de edad) propuestos
en marzo de 2006 en la fase municipal (Bucarest) de la Olimpiada rumana.
24.1. Demostrar que para todo nmero natural n > 1; el nmero
p
11 144 4,
donde la cifra 1 aparece n veces, y la cifra 4 aparece 2n veces, es irracional.
24.2. Un conjunto M de cuatro nmeros naturales se dice ligado, si para
todo elemento x 2 M; al menos uno de los nmeros x 1 y x + 1 pertenece a
M:
Sea U
n
el nmero de subconjuntos ligados del conjunto f1; 2; : : : ; ng :
a) Calcular U
7
:
b) Determinar el menor nmero n tal que U
n
2006:
24.3. Se considera el tringulo issceles ABC con AB = AC: Sea D el
punto medio del lado BC, M el punto medio del segmento AD y N el pie de la
perpendicular trazada desde D a BM. Demostrar que
d
ANC = 90
o
:
1


Problemas de nivel medio e de Olimpiadas (23)

23.1. Sobre unha semicircunferencia de raio 1, tmanse, nesta orde, os puntos , A B , C , D, E .
Probar que
4
2 2 2 2
+ + + + + DE CD BC CD BC AB DE CD BC AB .


Solucin de Bruno Salgueiro Fanego (Viveiro, Espaa):

Sexan , A E os puntos diametralmente opostos da semicircunferencia, nesta orde. Entn
DE CD BC CD BC AB DE CD BC AB + + + + +
2 2 2 2

( )
( ) ( E D CD BC E D CD CD BC B A BC B A + + + + +
2 2 2 2
1
)
)
( )
( ) ( E D CD C A E D CD E C BC B A BC B A + + + + +
2 2 2 2
2

( )
( ) ( ) E D CD E A C E D CD C E A BC B A BC B A + + + + + = cos 2 cos 2
2 2 2 2
3

( ) ( )
4
2
5
2 2
4
= = + = E A E C C A

( ) 1 B A AB e E D DE (igualdades se e s se A A , E E ).
( ) 2 (igualdade sse E C CD E E D ), C A BC (igualdade sse B A A ); as, en ( ) 2 dase
a igualdade se e s se B A A , E E D .
( ) 3
2

= E A C , por ser un ngulo inscrito nunha semicircunferencia; E A C C E A =


2

, por
ser a suma dos ngulos interiores de E C A ;
2
cos
E C
E A
E C
C E A

=


= ,

2
cos
C A
E A
C A
E A C

=

= .
( ) 4

+ = = = E A C C E A BC A
2

, por ser BC A inscrito e abarcar o trozo de


semicircunferencia que non abarcaba C E A , logo C E A BC A = cos cos , co cal
o teorema do coseno en implica que BC A BC A BC B A BC B A C A + = cos 2
2 2 2
; C E A BC B A BC B A + + = cos 2
2 2
analogamente, o teorema do coseno en E CD implica que E D CD C A E D CD E C + + =
2 2 2
. E A C E D CD E D CD + + = cos 2
2 2
( ) 5 Teorema de Pitgoras en . E C A

E dase a igualdade no enunciado se e s se d en ( ) 1 e ( ) 2 , dicir, se e s se B A A , E E D ,
ou sexa, s e cando os puntos tomados son, sumo, tres: os extremos da semicircunferencia e C
un punto calquera da mesma.
Polo tanto, se os cinco puntos tomados son distintos, dase a desigualdade estrita no enunciado.



Problemas de nivel medio e de Olimpiadas (23)

23.2. Tres crculos iguais, que pasan polo punto P , crtanse mutuamente ademais nos puntos , A
B e C . Os tres crculos estn contidos nun tringulo C B A cuxos lados son tanxentes a dous dos
crculos. Probar que a rea do tringulo C B A ao menos veces a rea de . 9 ABC


Solucin de Bruno Salgueiro Fanego (Viveiro, Espaa):

Sexan: , o centro do crculo que pasa por A P , B e ; C
B , o centro do crculo que pasa por P , C e ; A
C , o centro do crculo que pasa por P , e A B ;
r , o raio dos crculos.
( r C P B P A P = = = ) , logo P o circuncentro de C B A .
Ademais, , logo ( r B P A P = = ) P est na mediatriz de B A , r B C A C = = , e tamn est na
mediatriz de
C
B A , co cal a mediatriz de PC B A . Analogamente, a mediatriz de PA C B e
a mediatriz de PB A C . As, B A PC , C B PA e A C PB .
Supoendo que a notacin elidida para designar a C B A tal que B A B A // , C B C B // e
, resulta que e A C A C // C B A C B A teen os lados respectivamente paralelos, tendo polo
tanto os mesmos ngulos, co cal son semellantes.

Lema 1: igual a , e teen os lados respectivamente paralelos. C B A ABC
Proba:
Verase que B A AB un paralelogramo, co cal os lados opostos do mesmo sern paralelos e da
mesma lonxitude; en particular, e AB B A // AB B A = ; analogamente se probara para os outros
dous pares de lados dos tringulos.
Como B A e A B teen a mesma lonxitude ( r ), se se proba que son paralelos resultar que o
cuadriltero B A AB ter dous lados opostos paralelos e da mesma lonxitude, sendo polo tanto un
paralelogramo. Para ver que A B B A // , probarase que BA e B A forman o mesmo ngulo coa
recta comn B A , dicir, que os ngulos B BA e A B A son suplementarios.
Sexan e A C B = A C B = . Como C B A isscele con ( ) r B A C A = = , resulta que
e, por ser a suma dos ngulos interiores de = C B A C B A , que 2 = B A C . Como
e isscele, tense que BP A C BP C A C a altura desde C e a bisectriz de en dito
tringulo, co cal , de onde
P C B
= = A C B P C A 2 = P C B .
Analogamente, a bisectriz de B C A C P en PA C , logo = = A C B B C P e, por tanto,
. Entn 2 = A C P 2 2 + = + = A C P P C B BCA .
As, un tringulo isscele con ngulo no vrtice igual a B C A 2 2 + , sendo polo tanto os
outros dous ngulos ( )
( )
2
2 2 +
= = AB C C AB . Entn

2

2
2 2
2 + =

= = AB C B A C B BA .
Pero ( = C B A B C A isscele con B A C A = e con = A C B ) e ; como a
suma dos ngulos interiores de igual a , ser
= P B C
C B P 2 = C P B . Como isscele,
sendo un dos seus ngulos iguais, o ngulo no vrtice
A C P
= P C A P ser . 2 = A P C
Logo ( ) ( ) 2 2 2 2 2 2 + = + = + = A P C C P B B P A , sendo as B A P isscele
con B P A P = e ngulo no vrtice 2 2 + , co cal os outros dous ngulos son iguais a
( )

2

2
2 2
+ =
+
= A B P .

En resumo,
2

+ = B BA e
2

+ = A B P ; polo tanto, = + A B P B BA , como se


quera probar.
Sexan:
1
A : a proxeccin de sobre A B A ;
1
B : a proxeccin de B sobre B A ;
2
B : a proxeccin de B sobre ; C B
2
C : a proxeccin de C sobre C B ;
3
C : a proxeccin de C sobre ; A C
3
A : a proxeccin de A sobre A C ;
C B BC a = = ; ; A C CA b = = B A AB c = = ;
2
c b a
p
+ +
= ;
( ) ( ) ( ) r A C A Pot A A A A x , ,
3 1
= = = ;
2 1
B B B B y = = ;
3 2
C C C C z = = ; C A B C A B BAC = = = ; A B C A B C CBA = = = e
. B C A A B C CBA = = =
Hai que probar que
[ ]
[ ]
9

ABC
C B A
, ou equivalentemente, que
[ ]
[ ]
9


C B A
C B A
. Se a razn de
semellanza de a , tense que
k
C B A C B A
[ ]
[ ]
2
k
C B A
C B A
=


e que
A C C B B A
A C C B B A
A C
A C
C B
C B
B A
B A
k
+ +
+ +
=


=


=


=
( ) ( ) ( )
b a c
x b z z a y y c x
A C C B B A
A A A C C C C C C B B B B B B A A A
+ +
+ + + + + + + +
=
+ +
+ + + + + + + +
=
3 3 2 2 1 1

1 2 +
+ +
+ +
=
c b a
z y x
, co cal o resultado a demostrar c b a z y x + + + + .
Pero ( )
1
1
1
cot
A A
A A
A A A


= , dicir,

=
2

cot r x ; analogamente,

=
2

cot r y e

=
2

cot r z .
Ademais, por ser r o raio do crculo circunscrito a C B A , do teorema dos senos dedcese que
sin sin sin sin sin sin
2
+ +
+ +
= = = =
c b a c b a
r , co cal a desigualdade a verificar pasa a ser:
( ) sin sin sin 2
2

cot
2

cot
2

cot + +

.

Lema 2:

cot
2

cot
2

cot
2

cot
2

cot
2

cot .
Proba:
Dedcese de que , pois = + +

cot
2

cot
1
2

cot
2

cot
1
2

cot
2

cot
1
2

cot
2

cot
2

cot
2

cot
2

cot
2

cot

=
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
( )
1
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
2

tan
1
=

+
=

=



( ) 1

+
=

+
=

2

tan
1
2

2

tan
2

tan ;

+ =

+
2

tan
2

tan 1
2

tan
2

tan
2

tan
2

tan .
Lema 3:

= + +
2

cos
2

cos
2

cos 4 sin sin sin .


Proba:
Dedcese de que , pois = + +
( ) ( ) [ ] sin sin sin sin sin sin sin + + + + = + +

+ +

+
=
2
2
cos
2

sin 2
2

cos
2

sin 2

+ +

+ +
+

+
=
2
2
2
2

sin
2
2
2
2

sin 2
2

sin 2

+
=
2

cos
2

cos
2

cos 4
2

sin
2

sin
2

sin 4
2

sin
2

sin
2

sin 4 .

Dos lemas 2 e 3 dedcese que a desigualdade que hai que probar :

cos
2

cos
2

cos 8
2

cot
2

cot
2

cot , ou a sa equivalente:
8
1
2

sin
2

sin
2

sin

.

Lema 4:
( )( ) ( )( )
ca
a p c p
=

sin e
( )( )
ab
b p a p
=

sin .
bc
c p b p
=

sin ,
Proba:
( ) [ ] ( ) [ ] ( ) ( ) ( )( )
bc
c p b p
bc
c p b p
bc
a c b a c b
bc
a c b

=

=
+ + +
=
+
+
=

4
2 2
4 2
2
1
2
cos 1
2

sin
2 2 2
,
e similarmente para as outras das igualdades.

Entn
8
1
2

sin
2

sin
2

sin


( )( ) ( )( ) ( )( )
8
1


ab
b p a p
ca
a p c p
bc
c p b p

( ) ( ) ( )
8
1
2 2 2
2 2 2


c b a
c p b p a p

( )( )( )
8
1


abc
c p b p a p
.
Aplicando a desigualdade das medias xeomtrica e aritmtica por parellas aos nmeros positivos
a p , e b p c p (porque , c b a + < a c b + < e b a c + < ), obtense que
( )( )
( ) ( )
2 2
c b p a p
b p a p =
+
, con igualdade se e s se b p a p = , dicir, se e s se b a = ;
( )( )
( ) ( )
2 2
a c p b p
c p b p =
+
, con igualdade se e s se c b = ;
( )( )
( ) ( )
2 2
b a p c p
a p c p =
+
, con igualdade se e s se a c = .
Multiplicando membro a membro estas tres desigualdades, chgase a que
( )( )( )
8
abc
c p b p a p , con igualdade se e s se c b a = = , ou sexa, se e s se os centros dos tres
crculos son equidistantes, como se quera probar.


Problemas de nivel medio e de Olimpiadas (23)

23.3. Considranse os polinomios ( ) c bx ax x f + + =
2
con coeficientes reais e que verifican
( ) 1 x f para . Achar o mximo valor de 1 0 x c b a + + .


Solucin de Bruno Salgueiro Fanego (Viveiro, Espaa):

( ) c f = 0 ; c
b a
f + + =

2 4 2
1
; ( ) c b a f + + = 1 implican que
( ) ( )
( )

+ = +
+ = +
2
1
4 0 4 2
1 0
f f b a
f f b a
, de onde
( ) ( ) [ ] 1 , 4 , 3 1 1
2
1
4 0 3 =

+ =
def
f f f b , [ ] 2 , 4 , 2 = a e [ ] 0 , 0 , 1 = c . Sexa c b a s + + = .
Ao ser e ( ) 1 x f ( ) 1 x f para 1 0 x , tense que:

Se : 0 a
Se : 0 b
Se : 0 c [ ] [ ] [ ] [ ] ( ) 1 1 1 , 0 , 0 0 , 0 , 1 1 , 4 , 3 2 , 4 , 2 = = = = f c b a s ;
Se : . 0 c ( ) ( ) 3 1 1 2 1 0 2 = + = f f s
Se : 0 b
Se : 0 c [ ] 17 1 3 1 8 1 6 3 , 8 , 6 = + + = s (igualdade se e s se ( ) 1 0 = f , 1
2
1
=

f e ( ) 1 1 = f );
Se : 0 c 15 2 8 5 = + + s .

Se : aparecern casos simtricos dos anteriores; en efecto: 0 a
Se : Se : 0 b 0 b
Se : ; Se 0 c 15 s 0 c : 3 s ;
Se : . Se : 0 c 17 s 0 c 1 s .

Por tanto, o mximo valor de s 17, que aparece nun dos dous casos seguintes:
1) Cando , e , acadndose se e s se 0 a 0 b 0 c ( ) ( ) ( ) ( ) 1 3 1 8 1 6 1 3
2
1
8 0 6 + =

+ f f f ,
dicir, se e s se ( ) 1 0 = f , 1
2
1
=

f e ( ) 1 1 = f , condicins estas que definen un nico


polinomio: . ( ) 1 8 8
2
+ = x x x f
2) Cando , e , para o polinomio 0 a 0 b 0 c ( ) 1 8 8
2
+ = x x x f .




Problemas de nivel medio e de Olimpiadas (23)

23.4. Sexa O o circuncentro do tringulo acutngulo

. As rectas , , intersecan
aos lados opostos do tringulo en , , respectivamente. Supoamos que o raio do crculo
circunscrito a t , onde un nmero primo, e que , e teen lonxitudes
enteiras. Achar os lados do tringulo .
ABC AO BO CO
1
A
1
B
1
C
ABC t
1
OA
1
OB
1
OC
ABC


Solucin de Bruno Salgueiro Fanego (Viveiro, Espaa):

Sexan , , , C
1 1
OA a =
1 1
OB b =
1 1
OC c = o p da altura que parte de en e o p da altura
que parte de en .
C ABC
c
O
O ABO
Como , son semellantes (tringulos rectngulos co mesmo ngulo en ), teen os
lados respectivamente proporcionais; en particular,
1
C OO
c 1
C C C
1
C
1
1
CC
OC
C C
OO
c
=

. As,
[ ]
[ ]
1
1
1
1
2
2
c t
c
CC
OC
C C
OO
C C AB
OO AB
ABC
OAB
c
c
+
= =

= ; analogamente,
[ ]
[ ]
1
1
a t
a
ABC
OBC
+
= e
[ ]
[ ]
1
1
b t
b
ABC
OCA
+
= .
Entn
[ ] [ ] [ ]
[ ]
1
1
1
1
1
1
1
c t
c
b t
b
a t
a
ABC
OAB OCA OBC
+
+
+
+
+
=
+ +
= , de onde
( )( )( ) ( ) [ ] ( ) [ ] ( ) [ ]
1 1 1 1
2
1 1 1 1 1
2
1 1 1 1 1
2
1 1 1 1
b a t b a t c a c t a c t b c b t c b t a t c t b t a + + + + + + + + + + + = + + + ;
( ) ( ) ( ) ( )
1 1 1 1 1 1 1 1 1
2
1 1 1 1 1 1 1 1 1 1 1 1
2
1 1 1
3
3 2 c b a t a c c b b a t c b a c b a t a c c b b a t c b a t + + + + + + = + + + + + + + ;
( ) [ ]
1 1 1 1 1 1 1 1 1
2
2 c b a a c c b b a t t = + + t divide a

.
1 1 1
2 c b a
Como acutngulo, O interior a e as ABC ABC t a <
1
, t b <
1
, t c <
1
; polo tanto, ao ser primo
maior ca , e e dividir a , resulta que divide a 2. Como t primo, , co cal
divide a , deducndose disto que
t
1
a
1
b
1
c
1 1 1
2 c b a t 2 = t 2
1 1 1
2 c b a
1 1 1
1
c b a
un nmero enteiro, de onde , sendo
polo tanto equiltero. Pero o raio do crculo circunscrito ao tringulo equiltero

,
co cal, se , do teorema dos senos en resulta que
1
1 1 1
= = = c b a
ABC 2 = t ABC
AB CA BC a = = = ABC t
a

2
3

sin
=

, por ser t o raio


do crculo circunscrito a , logo ABC 3 2 = = = c b a a medida de cada un dos lados do tringulo . ABC


Problemas de nivel medio e de Olimpiadas (23)

23.5. Se c un enteiro positivo, defnese a sucesin ( )
n
a mediante
c a =
1
; ( )( ) 1 1
2 2
1
+ =
+ n n n
a c ca a para K , 2 , 1 = n
Demostrar que tdolos son enteiros positivos.
n
a


Solucin de Bruno Salgueiro Fanego (Viveiro, Espaa):

( ) ( )( )
2
2 2 2
1
1 1

=
+ n n n
a c ca a ;
1 2
2 2 2 2 2 2
1
2
1
+ = +
+ + n n n n n n
a c a c a c a ca a ;
( ) 0 1 2
2 2
1 1
2
= + +
+ +
c a a ca a
n n n n
;
( ) ( ) ( )
1 2
1 1 4 2 2
2 2
1
2
1 1

+
=
+ + +
c a ca ca
a
n n n
n
;
( )( )
2
1 1 2 2
2
1
2
1

=
+ + n n
n
a c ca
a ( )( ) 1 1
2
1
2
1
=
+ + n n n
a c ca a ; ;
o signo + non vlido, porque nese caso ( )( )( )
1 1 2
2
1
2
1
1 1
+ + + + +
> = + =
n n n n n n
a ca a a c ca a , o cal
contraditorio con que . ( )
n n n
a ca a >
+1
Entn ( )( ) ( )
1 2 1 + + +
=
n n n n
ca a ca 1 1
2
1
2
1
=
+ + n n n
a c ca a ; a ;
2 1
2
+ +
=
n n n
a ca a ;
n n n
a ca a =
+ + 1 2
2 .

Probarase agora o resultado, a partir destas consideracins e utilizando inducin en : n
1) un enteiro positivo (por hiptese); c a =
1
1 2 1
2 2 2
2
= + = c c c a un enteiro tamn
positivo porque . 0 1 1 1 2 1 2
2 2
2
> = = c a
2) Se e e son enteiros positivos, entn 1 n
n
a
1 + n
a
n n n
a ca a =
+ + 1 2
2 un enteiro (diferenza de
enteiros) que positivo porque 0 2 1 2 2
1 1 2
> = =
+ + + n n n n n n n n
a a a a a a ca a .

XLII Olimpiada Matemtica Espaola
Fase nacional 2006 (Sevilla)
Primera sesin (24 marzo)
Problema 1
Sea P(x) un polinomio con coeficientes enteros. Demostrar que si existe un entero k
tal que ninguno de los enteros P(1),P(2),...,P(k) es divisible por k, entonces P(x)
no tiene races enteras.
Problema 2
Las dimensiones de un paraleleppedo de madera son enteras. Pintamos toda su
superficie (las seis caras), lo cortamos en cubos de una unidad de arista y observamos
que exactamente la mitad de los pequeos cubos no tienen ninguna cara pintada. Probar
que el nmero de paraleleppedos con tal propiedad es finito.
(Puede resultar til tener en cuenta que
3
1
0,79... 0.8
2
= < ).
Problema 3
ABC es un tringulo issceles con AB = AC. Sea P un punto cualquiera de la
circunferencia tangente a los lados AB en B y a AC en C.
Llamamos a, b y c a las distancias desde P a los lados BC, AC y AB respectivamente.
Probar que:
a
2
=bc

No est permitido el uso de
calculadoras. Cada problema se
punta sobre 7 puntos. E1 tiempo
de cada sesin es de 3,5 horas.

XLII Olimpiada Matemtica Espaola
Fase nacional 2006 (Sevilla)
Segunda sesin (25 marzo)
Problema 4
Hallar todas las funciones f : (O, ) - que satisfacen la ecuacin

( ) ( ) ( ) ( ) 2 ( ) f x f y f f f xy
x y

+ + =
para todo par de nmeros reales x e y positivos, siendo A un nmero real positivo tal
que ( ) 1 f =
Problema 5
Probar que el producto de cuatro naturales consecutivos no puede ser ni cuadrado
ni cubo perfecto.
Problema 6
Las diagonales AC y BD de un cuadriltero convexo ABCD se cortan en E.
Denotamos por S
l
S
2
y S a las reas de los tringulos ABE, CDE y del cuadriltero
ABCD respectivamente.
Prueba que
1 2
S S + S .

Cundo se alcanza la igualdad?
No est permitido el uso de calculadoras.
Cada problema se punta sobre 7 puntos. El
tiempo de cada sesin es de 3,5 horas.
Problema 106
Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa.
Sean a, b, c tres nmeros positivos. Demostrar que
2 2
2 2
3
1 3 3
1
1
ciclica
b c
a b a a abc

+ +

+ +

.

Solucin de Daniel Lasaosa Medarde, Pamplona, Espaa.
El enunciado tal y como se presenta aqu contiene obviamente una errata, pues tomando
a=b=c=2, se tiene que la desigualdad del enunciado se convierte en
3 3
1 3 3 3 3 3 3
3
4 4 3
1 2 ciclica

= =

+

,
que es obviamente falso. Propongo y demuestro dos enunciados alternativos:
Enunciado alternativo 1:
Sean a, b, c tres nmeros positivos. Demostrar que
2 2
2 2
3
1 3 3
1
1 1
ciclica
b c
a a a abc

+ +

+ +

.
Se tiene que
( )
( ) ( ) ( )
2 2
2 2 2
2 2
2 2 2
1 1
1
1 1
1 1 1
.
1 1 1
ciclica ciclica
b c
a b c
a a a a a
a b c
a a b b c c


+ + = + +



+ +



= + + + +


+ + +



Luego como
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )( )
3
3 3
1 1 1 3 3
1 1 1
1 1 1 1 1 1
a a b b c c
abc a b c abc a b c
+ + =
+ + +
+ + + + + +
,
para demostrar el enunciado alternativo nos bastara con demostrar que
( )( ) ( )
2 2 2 3
3
3
1
3 1 1 1 1
a b c abc
abc a b c
+ +

+ + + +
.
Enunciado alternativo 2:
Sean a, b, c tres nmeros positivos. Demostrar que
2 2
2 2
3
1 3 3
1
1 1
ciclica
b c
b a a abc

+ +

+ +

.
Se tiene que
( )
( ) ( ) ( )
2 2
2 2 2
2 2
2 2 2
1 1
1
1 1
1 1 1
.
1 1 1
ciclica ciclica
b c
a b c
b a a a b
a b c
a b b c c a


+ + = + +



+ +



= + + + +


+ + +



Luego como
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )( )
3
3 3
1 1 1 3 3
1 1 1
1 1 1 1 1 1
a b b c c a
abc a b c abc a b c
+ + =
+ + +
+ + + + + +
,
nos bastara con demostrar, igual que antes, que
( )( ) ( )
2 2 2 3
3
3
1
3 1 1 1 1
a b c abc
abc a b c
+ +

+ + + +
.
Utilicemos ahora la siguiente notacin para las medias cuadrtica y geomtrica de a,b,c:
2 2 2
3
a b c
Q
+ +
= ;
3
G abc = .
Ahora bien,
( ) ( )( )
( )
3
3 2 2 2 3 2
1 1 1 1
3 1 3 3 1 1 ,
a b c abc ab bc ca a b c
G a b c Q Q Q Q Q
+ + + = + + + + + + +
+ + + + + + + + = +

donde se han utilizado la desigualdad del producto escalar, la desigualdad entre medias
aritmtica y cuadrtica y la desigualdad entre medias geomtrica y cuadrtica. Luego la
desigualdad que implica ambos enunciados alternativos se puede escribir como
( )( )( )
3 1
1 1 1
Q G
G
a b c

+
+ + +
.
Pero esto es siempre cierto por la desigualdad recin demostrada y la desigualdad entre
medias geomtrica y cuadrtica, ya que
( )( ) ( )
3
1 1
1 1
1 1
1 1 1
1 1
Q Q G
Q G
a b c
Q G
= =
+ +
+ + +
+ +
.
Luego se cumplen los dos enunciados alternativos propuestos, dndose la igualdad si y
slo si a=b=c, ya que todas las desigualdades utilizadas en la demostracin se
convierten en igualdades si y slo si a=b=c.

Jose Carlos Garca Barro
Problema 111.
Si x
1
, x
2
, . . ., x
m
son n umeros reales estrictamente positivos, m natural y x > 1, calcular
lim
x+
x

_
_
m

i=1
x
i
_
x

i=1
(x
i
)
x
m
x
m
(1)
Solucion:
Denotemos por L al lmite buscado.
En primer lugar, observamos que para m = 1 ocurre que tanto el numerador como el denominador de la
fraccion que interviene se anulan, por tanto supondremos m > 1.
Acotaremos el radicando, superior e inferiormente, por expresiones que tengan el mismo lmite, y se pueda
calcular de un modo sencillo, as el lmite buscado existira y coincidira con este ultimo.
a) Acotacion superior.
Puesto que los n umeros x
i
son todos estrictamente positivos y x > 1, tenemos la desigualdad
_
m

i=1
x
i
_
x

i=1
(x
i
)
x

_
m

i=1
x
i
_
x
. (2)
Ademas, dado que m > 1 y x > 1, tambien podemos acotar el denominador de la siguiente forma,
m
x
m m
x
m
x1
= m
x1
(m1). (3)
Sustituyendo estas dos ultimas desigualdades, (2) y (3), en la expresion inicial (1), deducimos
x

_
_
m

i=1
x
i
_
x

i=1
(x
i
)
x
m
x
m

x

_
_
m

i=1
x
i
_
x
m
x1
(m1)
=
m

i=1
x
i
m
x1
x
(m1)
1
x
,
de donde, tomando lmites, se sigue
L
1
m
m

i=1
x
i
. (4)
b) Acotacion inferior.
Sacando factor com un y operando, llegamos a
_
m

i=1
x
i
_
x

i=1
(x
i
)
x
=
_
m

i=1
x
i
_
x
_
1

m
i=1
(x
i
)
x
_

m
i=1
x
i
_
x
_
=
_
m

i=1
x
i
_
x
_
1
m

i=1
_
x
i

m
j=1
x
j
_
x
_
.
Entonces, dado que evidentemente m
x
m m
x
, podemos establecer
x

_
_
m

i=1
x
i
_
x

i=1
(x
i
)
x
m
x
m

1
m
_
m

i=1
x
i
_
x

_
1
m

i=1
_
x
i

m
j=1
x
j
_
x
. (5)
Ahora bien, el radicando del segundo miembro de la desigualdad anterior es un n umero real comprendido
entre 0 y 1, que ademas tiende a 1 cuando x tiende a +. Esto se debe a que, para cualquiera de los x
i
,
tenemos 0 <
x
i

m
j=1
x
j
< 1 y, si x

> x > 1,
0 <
m

i=1
_
x
i

m
j=1
x
j
_
x

<
m

i=1
_
x
i

m
j=1
x
j
_
x
<
m

i=1
x
i

m
j=1
x
j
= 1.
Deducimos entonces L
1
m
m

i=1
x
i
, desigualdad que junto con (4), nos conduce a
L =
1
m
m

i=1
x
i
,
es decir, el lmite buscado es la media aritmetica de los n umeros x
i
, i = 1, . . . , m.
Problema 112


Solucin de Miguel Amengual Covas, Cala Figuera, Mallorca, Espaa.


La condicin reduce la identidad 0
3 3 3
= + + c b a
( ) ( )( )( ) a c c b b a c b a c b a + + + + + + = + + 3
3 3 3 3
a la igualdad
( ) ( )( )( ) a c c b b a c b a + + + = + + 3
3

la cual implica 0 +b a , , 0 + c b 0 + a c y 0 + + c b a . (En efecto, si, p. e.,
resultara o, equivalentemente, 0 = +b a 0
3
= c 0 = c que es contrario a la
hiptesis).

A su vez,
( )( )
( ) ( ) [ ] bc c b c b
c bc b c b
c b a c b a
+ + =
+ + =
+ = = + +
2
2 2
3 3 3 3 3 3
0


y siendo, segn se ha visto, 0 + c b , obtenemos
( )
c b
a
bc c b
+

= +
3
2
,

( )( ) ( )
( )
c b
c b a a
a
c b
a
bc a c b bc a c b a c b
+
+ +
=
+

= + = + +
2
2
3
2 2


y, por sustitucin,

( )
( )( )
1
cclica cclica
2
=
+ +
=
+ +
+

c b a
a
bc a c b a c b
bc c b
.
Problema 113


Solucin de Miguel Amengual Covas, Cala Figuera, Mallorca, Espaa.

Pues , A AB AE cos = A CA AF cos = , B BC BF cos = y , la
condicin del enunciado, habida cuenta del teorema de los senos, se escribe
C BC CE cos =
( ) ( ) A C B A C B sin cos cos cos sin sin + = + ,
de donde
2
cot
2
tan
2
cos
2
cos 2
2
cos
2
sin 2
cos cos
sin sin
cos
sin
tan
A
C B
C B C B
C B C B
C B
C B
A
A
A
=
+
=
+
+
=
+
+
= =

que implica
o
90
2
= +
A
A
y
o
60 = A









B C
A
E
F
Problema 113
Propuesto por K.R.S.Sastry, Bangalore, India
En el tringulo ABC; BE y CF son alturas, con , E AC F AB
Si AE + AF = BF + CE; calcular el ngulo A del tringulo.

Solucin:
Siendo E y F los pies de las alturas, los puntos B, C, E, F son
concclicos siendo BC el dimetro de la circunferencia que los
contiene.
Trivialmente se tiene
( )
( )
cos
cos
AE AF BF A
AF AE EC A
= +
= +

sumando y teniendo en cuenta la condicin del enunciado.
( ) ( )
1
cos 2 cos cos 60
2
AE AF AF BF AE EC A AE AF A A A + = + + + = + = =

A
C
E
F
B
Jose Carlos Garca Barro
Problema 114.
Hallar los menores n umeros naturales x, y, z; , , que verican el sistema de ecuaciones
x + y = z, y + z = x, z + x = y,
siendo > > .
Solucion:
Sumando las tres igualdades, obtenemos
2(x + y + z) = z + x + y > (x + y + z),
de donde deducimos = 1 .
Si sumamos ahora solamente las dos primeras igualdades, llegamos a
x + 2y + z = z + x.
Teniendo en cuenta que = 1, la tercera igualdad del enunciado es z + x = y, y sustituyendo en la
igualdad anterior, deducimos
3(x + z) > (x + z),
de donde concluimos < 3, es decir, = 1 o = 2, pero como debe ser mayor que , la unica solucion
es = 2 .
Ahora bien, considerando estos valores de y , si sumamos las dos ultimas igualdades del enunciado,
tenemos
x + y + 2z = 2x + y,
siendo, pues, 2z = x y, por tanto, a partir de la tercera igualdad, y = 3z, relaciones que sustituidas en la
primera igualdad nos aseguran que = 5 .
Por tanto, el sistema se ha simplicado:
x + y = 5z, y + z = 2x, z + x = y,
y nalmente, como ya sabemos que y = 3z y 2z = x, la solucion con los naturales mas peque nos sera
evidentemente z = 1, y = 3 y x = 2 .
Problema 115
Propuesto por el editor
Un tringulo est inscrito en la elipse
2 2
2 2
1
x y
a b
+ ,
y tiene su baricentro en el centro de la elipse. Determinar el lugar geomtrico del
circuncentro del tringulo.

Solucin de Daniel Lasaosa Medarde, Pamplona, Navarra, Espaa.
Dada cualquier elipse de la forma
( ) ( )
2 2
1 1
2 2
x x y y
k
a b

+ ,
con k positivo, tiene 0, 1 o 2 puntos comunes con la elipse dada, pero nunca ms. Esto
es trivial considerando que una misma transformacin de coordenadas convertira a las
dos elipses en circunferencias, preservando los puntos de tangencia o coincidencia.
Constryase entonces una tal elipse con k3, y siendo (x
1
,y
1
) un punto cualquiera de la
elipse dada. Se comprueba trivialmente que (x
1
,y
1
) es exterior a la elipse construida
pero est sobre la elipse dada. Sin embargo, (x
1
,y
1
) es obviamente interior a la elipse
construida estando tambin sobre la dada. Luego ambas elipses deben cortarse en
exactamente dos puntos.
Sean ahora (x
2
,y
2
) y (x
3
,y
3
) dos puntos tales que el tringulo formado por estos dos
puntos y (x
1
,y
1
) est inscrito en la elipse dada y tiene su baricentro en el centro de la
elipse dada. Entonces, han de ser nulas la suma de los x
i
y la suma de los y
i
, luego
( ) ( ) ( ) ( )
( ) ( )
2 2 2 2 2 2 2 2
2 1 2 1 2 1 2 1 2 1 2 1
2 2 2 2
2 2
2 2 2 2
3 3 2 2 1 1
2 2 2 2 2 2
2 2 2 2
2 2 3.
x x y y x x x x y y y y
a b a b
x y x y x y
a b a b a b
+ + + +
+ +
_
_ _
+ + + +


, ,
,

Luego (x
2
,y
2
) es uno de los dos puntos de interseccin de la elipse dada y la construida,
siendo el otro obviamente (x
3
,y
3
), pues tambin debe satisfacer la anterior relacin. Se
concluye entonces que, dado un punto cualquiera de una elipse, existen exactamente
otros dos puntos de la elipse que forman con el primero un tringulo inscrito en la elipse
y cuyo baricentro es el centro de la elipse.

Hallemos ahora dichos puntos, que por lo tanto deben satisfacer las ecuaciones de la
elipse dada y la construida:
2 2 2 2
1 1 1 1
2 2 2 2 2 2
2 3 1
x x y y x y x y
a b a b a b
_
+ + + +

,
;
1
2
1
1
2
y b x x
b y a
_
+

,
;
2 2 2 2 2 2 2 2 2 2 2
1 1 1
2 2 2 2 2 2 2 2 2 2 2 2 2
1 1 1 1 1 1
1 1
4 4
x y b x x b x x b b x b x x b
a b a a y a y y a y a y y
_
+ + + + + +

,
;
2
2 2 2 2 2
1 1 1 1 1 1
2 2 2 2 2
1 3
2 4 4 4 2
x x x x x x y x y
a a a a a b a b
_
_
+ + + +



,
,
.
Luego sin prdida de generalidad, podemos tomar
2 1 1
3
2 2
x x y
a a b
+ ;
2 1 1
3
2 2
y y x
b b a
;
3 1 1
3
2 2
x x y
a a b
;
3 1 1
3
2 2
y y x
b b a
+ .

Ntese que cuando (x
1
,y
1
) recorre el arco corto entre los puntos de coordenadas
( ) , 0 a y
3
,
2 2
a b
_



,
,
entonces (x
2
,y
2
) y (x
3
,y
3
) recorren respectivamente los arcos cortos entre los puntos
3
,
2 2
a b
_



,
y ( ) , 0 a ;
3
,
2 2
a b
_



,
y
3
,
2 2
a b
_



,
.
3 b
3 a
a
b
( )
1 1
, x y
( )
2 2
, x y
( )
3 3
, x y
3 b
3 a
a
b
( )
1 1
, x y
( )
2 2
, x y
( )
3 3
, x y
Luego los tres puntos recorren toda la elipse. Calculamos ahora las mediatrices de los
lados cuyo vrtice comn es (x
1
,y
1
). Las pendientes sern
( )
2 2 2 2
2 2 3
1 1 1 1
2,3 1
1 1 1 1
2 2 2 2 2 2 2 2 2
2,3 1 1 1 1 1 1
4 3
3 4 3
3 4 3 3
abx y a y b x
x x
abx a y a a x y a b
y y b b x a y b x a b aby b x
+


t
m
m m
.
Debern adems dichas mediatrices pasar por los puntos medios de dichos lados:
( )
( )
2 3 2 3 2 2 3 2
1 2,3 1 2,3
1 1 1 1 1 1 1
2 2 2 2 2 2 2
1 1
2 2
1 1 2
4 3 3 4 4 3 3 3
2 2 4 4 3 4 3
3 .
4
y y x x
a x y a b a b a y ax y bx a bx
h
ab b x a b x a
a b
ay bx
ab
+ +
t


m m
m

Por lo tanto, el circuncentro (x
0
,y
0
) ha de cumplir
( )
2 3 2 2
1 1
0 0 1 1 2 2 2 2 2
1
4 3
3
4 4 3
a x y a b a b
y x ay bx
ab b x a b

m
m ;
3 2 2
0 1 2 2 2 2
1
2 3
3
2 4 3
a b a b
x x
ab b x a b

;
2 2 2
0 1 1
2
4 3
4
x a b x x
b ab a a
_



,
;
2 2 2
1 1
0 0 1 2 2 2 2 2
1
4
4 4 3
a x y a b
y x y
b b x a b

;
2 2 2
0 1 1
2
4 1
4
y a b x y
a ab a b
_



,
.
Ahora bien, de aqu se obtiene que
2
2 2 6 4 2 4 2 2 2 2 2 2
0 0 1 1 1 1 1 1 1 1
2 2 6 4 2 4 2 2 2 2
2 2 2
4 2 2 2 2 2 2 2 2 2 2 2 2
1 1 1 1 1 1 1
4 2 2 2 2 2 2
16 24 9 16 8
4
8 8 9 .
4 4 4
x y a b x x x x y x y y
b a ab a a a a b a b b
a b x x y x y a b x y a b
ab a a b a b ab a b ab
1 _
+ + + +
1
, ]
_ _ _ _ _
+ + +

, , , , ,

Luego el circuncentro del tringulo est sobre una elipse cuyo centro coincide con el de
la elipse dada y cuyos semiejes en las direcciones x e y miden, respectivamente,
2 2
4
a b
a

,
2 2
4
a b
b

.
Es decir, es una elipse que se puede obtener a partir de la dada mediante una rotacin de
/2 alrededor de su centro y una homotecia sobre el mismo punto de razn
2 2
4
a b
ab

.
Al recorrer (x
1
,y
1
) el arco antes mencionado de la elipse dada, se comprueba
trivialmente que (x
0
,y
0
) recorre toda la elipse descrita. Luego todo punto de dicha elipse
es el circuncentro de un tringulo inscrito en la elipse dada en el enunciado, y cuyo
baricentro es el centro de dicha elipse.


Recprocamente, dado un punto cualquiera de la elipse que hemos hallado, podemos
resolver la ecuacin cbica en x
0
2 2
2 3 2 3
4
x x x x
a b a a a
a
_ _
+

, ,
,
cuyas tres soluciones corresponden a las coordenadas x de los tres vrtices de dicho
tringulo.

( )
1 1
, x y
( )
2 2
, x y
( )
3 3
, x y
( )
0 0
, x y
( ) 0, 0
( )
1 1
, x y
( )
2 2
, x y
( )
3 3
, x y
( )
0 0
, x y
( ) 0, 0
Problemas 116-120
Problema 116. Propuesto por Doru Popescu Anastasiu y Miguel Amengual
Covas (Slatina, Rumania, y Cala Figuera, Espaa)
Si los nmeros reales x; y verican la condicin
_
x
2
3x + 3 +
_
y
2
3y + 3 = 1;
demostrar que
x
2
+ y
2
2 (x + y) :
Problema 117.Propuesto por Jos Luis Daz Barrero (Barcelona, Espaa)
Sean a; b; c los lados del tringulo ABC, y sean r; r
a
; r
b
; r
c
los radios del
crculo inscrito y de los exinscritos al tringulo. Demostrar que
_
a
3
r
a
+
b
3
r
b
+
c
3
r
c
_
_

c{clica
cos
2
(A=2)
(b + c)
3
_

1
2r
_
1
3
Problema 118. Propuesto por Jos Luis Daz Barrero (Barcelona, Espaa)
Resolver, en el conjunto de los nmeros reales, el sistema de ecuaciones
x + y + z = 6
xy + yz + zx = 9
x
3
+ y
3
+ z
3
= 63
_
_
_
Problema 119. Propuesto por el editor.
Demostrar que las ecuaciones
ax
3
+ 3bx
2
+ d = 0;
bx
3
+ 3dx
2
+ e = 0
tienen una raz comn si
(ae 4bd)
3
= 27
_
ad
2
+ b
2
e
_
2
:
Problema 120.Propuesto por el editor.
Demostrar que el cuadrado del dimetro del crculo circunscrito al tringulo
formado por las rectas
ax
2
+ 2hxy + by
2
= 0;
lx + my + 1 = 0
es
_
(a b)
2
+ 4h
2
_
_
l
2
+ m
2
_
(am
2
2hlm + bl
2
)
2
:
1
DIVERTIMENTOS MATEMTICOS (24)

Citas de Mathematical Circles, de Howard W.Eves
Howard W. Eves public en la coleccin de la Mathematical
Association of America una enorme cantidad de ancdotas
relacionadas con las matemticas. Recogemos algunas de ellas.

- Leo Moser comenta: Se dice que solamente tres personas
han ledo los Principia Matemtica, de Bertrand Russell y
Alfred Whitehead.ellos dos y el corrector de pruebas
- G.Hardy (1877-1947) no sola perder tiempo repitiendo algn
concepto presentado en su clase anterior, pues daba por
sentado que sus estudiantes lo recordaban. En una ocasin,
uno de sus cursos fue interrumpido por unas vacaciones
largas. En su primera clase despus de las vacaciones, subi
al encerado con la tiza en la mano y comenz la clase: .De
ah se deduce que.
- Helmut Hasse visit a Hardy en 1933. En su cuarto de Trinity
College vi los retratos de Lenin, J esucristo y Hobbs (un
famoso jugador de cricket, deporte al que Hardy era muy
aficionado). Cuando le pregunt por qu precisamente esos
tres personajes, Hardy contest: Porque, en mi opinin, son
las tres nicas personalidades que han conseguido al 100% lo
que queran.
- Una noche, en Nueva York, Albert Einstein asisti a un
banquete al que haba sido especialmente invitado. Su
esposa, resfriada, no pudo acompaarle. Era un banquete de
gala, con los caballeros de corbata blanca y las seoras con
generosos escotes bajo las capas. Cuando volvi a casa, su
mujer empez a preguntarle como haba estado el festejo.l
empez a hablarle de los importantes cientficos presentes,
pero ella le interrumpi en seguida: No me importa eso.
Cmo iban vestidas las seoras?
Realmente, no lo s, respondi Einstein. Por encima de la
mesa no llevaban nada, y no iba a mirar por debajo
- Una frase atribuida a Polya: Las matemticas consisten en
probar las cosas ms obvias de la manera menos evidente
posible
- Terminamos con la famosa cita en Latn de san Agustn: Bono
christiano sive mathematici sive quilibet inpie divinantium,
maxime dicentes vera, cavendi sunt, ne consortio
daemonicorum animam pacto quodam societatis inretiant.
Aqu, la palabra mathematici debe traducirse por astrlogos.
COMENTARIO DE PGINAS WEB (24)
La pgina web de Francisco Javier Garca Capitn
http://garciacapitan.auna.com

Francisco J avier Garca Capitn, profesor del I.E.S. lvarez
Cubero, de Priego de Crdoba, ha incluido en su interesantsima
pgina web, desde los ejercicios propuestos a sus alumnos de
Educacin Secundaria Obligatoria y Bachillerato hasta artculos
sobre coordenadas baricntricas, una herramienta muy utilizada en
el siglo XIX y comienzos del XX para obtener resultados sobre
geometra del tringulo, y cuya utilizacin en la actualidad podra
resultar increble, pero que los lectores de la revista Forum
Geometricorum (es digital y tambin, como la nuestra, gratuita) o los
miembros del grupo Hyacinthus conocen bien y emplean
profusamente en sus investigaciones sobre puntos notables del
tringulo. Tambin la conocern los lectores de Crux
Mathematicorum.
Hay tambin un enlace con la pgina de Ricardo Barroso,
Laboratorio virtual de tringulos con Cabri (comentada en un
nmero anterior de esta revista) y una preciosa coleccin de
problemas San Gaku, japoneses. Pero la mejor recomendacin que
se puede hacer al lector de esta nota es que la visite. No quedar
defraudado, sin ninguna duda. La pgina es un excelente ejemplo
de cmo combinar la Geometra clsica con las nuevas tecnologas.
Los alumnos del I.E.S. lvarez Cubero son afortunados por contar
entre sus profesores a Garca Capitn.

Valladolid, mayo de 2006
Francisco Bellot Rosado
R Re ev vi is st ta a E Es sc co ol la ar r d de e l la a O Ol li im mp p a ad da a I Ib be er ro oa am me er ri ic ca an na a d de e
M Ma at te em m t ti ic ca a


h ht tt tp p: :/ // /w ww ww w. .c ca am mp pu us s- -o oe ei i. .o or rg g/ /o oi im m/ /r re ev vi is st ta ao oi im m/ /



E Ed di it ta a: :