Revista Escolar de la Olimpada Iberoamericana de Matemtica

Nmero 41 (diciembre 2010 febrero 2011)

ISSN 1698-277X

NDICE

Artculos, Notas y lecciones de preparacin de Olimpiadas 41

Pedro H.O. Pantoja, Univ. de Lisboa, Portugal: Nmeros de Fermat.
Jorge Mozo Fernndez, Univ. de Valladolid, Espaa: Comentarios sobre un
problema de la I.M.O. 2010.
Famosos problemas de la I.M.O. (2)
Francisco Bellot Rosado: 29 I.M.O. 1988, Canberra (Australia), Problema # 6.

Problemas para los ms jvenes 41

Cinco problemas de la Olimpiada Junior de Bucarest.

Recibidas soluciones a los problemas 1 y 3 de la Primera Olimpiada Junior de
Lituania, por Ricardo Espino Lizama (estudiante), Lima, Per, que
presentamos.

Problemas de Nivel Medio y de Olimpiadas 41

Problemas propuestos en la Universidad de Valladolid en la Fase local de la
XLVII Olimpiada Matemtica Espaola.
Recibida solucin al problema 1 de la Competicin Matemtica Mediterrnea
2010, por Angel Espino Lizama (estudiante), Lima, Per, que presentamos.

Problemas

Problemas propuestos 201 205

Problemas resueltos

Problema 191: Recibidas soluciones de Luis Blanco (estudiante) y Angel
Plaza, Univ. de Las Palmas de Gran Canaria, Espaa; Paolo Perfetti, Dipart. Di
Matematica, Univ. degli studi Tor Vergata, Roma, Italia; Daniel Lasaosa
Medarde, Univ. Pblica de Navarra, Pamplona, Espaa. Todas ellas se
recibieron cuando el nmero 40 ya estaba en lnea.

Problema 193: Recibida solucin de Daniel Lasaosa Medarde, Univ. Pblica de
Navarra, Pamplona, Espaa, que presentamos.

Problema 194: Recibida (cuando el nmero 40 ya estaba en lnea) una
solucin de Daniel Lasaosa Medarde, Univ. Pblica de Navarra, Pamplona,
Espaa.

Problema 195: Origen del problema: Competentza si performantza en
Geometrie, de Dan Branzei, S. Anitza y A. Anitza. Recibida solucin de Daniel
Lasaosa Medarde, Univ. Pblica de Navarra, Pamplona, Espaa, que
presentamos.

Problema 196: Recibidas soluciones de: Gustavo Espnola Mena (Capiat,
Paraguay), Vicente Vicario Garca (Huelva, Espaa); Daniel Lasaosa Medarde
(Pamplona, Espaa), y del proponente. Presentamos la solucin de Espnola.

Problema 197: Recibidas soluciones de: Daniel Lasaosa Medarde (Pamplona,
Espaa); Bruno Salgueiro Fanego (Vivero, Espaa); Vicente Vicario Garca
(Huelva, Espaa); y del proponente. Presentamos la solucin de Lasaosa.

Problema 198: Recibida solucin con correccin de Daniel Lasaosa Medarde,
que presentamos.
El problema 198 con el enunciado incluido en el vol. 40 de la REOIM, apareci
propuesto sin solucin en la Revista matematica din Timisoara (n1, 1978, p.
66), y posteriormente en Gazeta Matematica (serie B, n 2, 1979, p.56),
igualmente sin solucin. En ninguna de las dos revistas se public
posteriormente solucin alguna al problema. El autor del mismo, a pregunta de
este Editor, contest que ahora estaba muy ocupado para responder

Problema 199: Origen del problema: la revista rusa Matematika v. Skola,
1969; incluido en el libro rumano de Gh. Siretchi Analiza Matematica, vol.1,
pg. 135.
Recibidas soluciones de: Daniel Lasaosa Medarde (Pamplona, Espaa); Pedro
H. O. Pantoja (Univ. de Lisboa, Portugal); Xavier Ros (Barcelona, Espaa);
Vicente Vicario Garca (2 soluciones), Huelva, Espaa. Presentamos las
soluciones de Vicario.

Problema 200: Origen del problema: la publicacin de la Universidad
Lomonosov de Mosc, Problemas con parmetros, 1990, de Valeri Vavilov.
Recibidas soluciones (prcticamente iguales) de Xavier Ros (Barcelona,
Espaa), y Vicente Vicario Garca (Huelva, Espaa). Presentamos la solucin de
Ros.
Comentario de pginas web, noticia de congresos y resea de libros
Breve resea de tres libros recientes, por F. Bellot.

Divertimentos matemticos
Sobre la regla de Ruffini, por Francisco Bellot. Una breve nota sin el carcter
ldico que otras veces tiene esta seccin.

Editor: Francisco Bellot Rosado

Desarrollada en el Centro de Altos Estudios Universitarios de la
OEI con el apoyo de la Agencia Espaola de Cooperacin
Internacional para el Desarrollo (AECID)




Acceder
http://www.oei.es/oim/revistaoim/numero41.htm



NMEROS DE FERMAT
(Pedro H. O. Pantoja, Universidade de Lisboa, Portugal)

Intruduo:
O matemtico francs Pierre de fermat (1601-1665) famoso pelo seu
extensivo trabalho em teoria dos nmeros. Suas principais contribuies so o
pequeno teorema de Fermat, o ltimo teorema de fermat (demonstrado por A.
Wiles), nmeros de fermat, entre outros. Nesse trabalho vamos explorar
algumas propriedades elementares dos nmeros de Fermat.
Para aprofundar os conceitos aqui introduzidos, recomendamos a excelente
obra |].


Um nmero de Fermat um nmero da forma

n
=
2
n
+
Para n = , , , .
Fermat conjecturou que esses nmeros eram todos primos, de fato, para
n = , , , , do realmente nmeros primos
3, 5, 17, 257, 65537. Entretanto Euler mostrou que
5
divisvel por 641. O
argumento usado abaixo devido a Kratchik.
Note que =
4
+
4
=
7
+ da
2
S
=
32
=
4

28
= ( -

4
)

28
-
4

28
= -(
7
)
4
= -( -)
4
- (o )
Logo 641 divide
2
S
+. Atualmente os nicos nmeros primos de Fermat
conhecidos, so aqueles apresentados pelo prprio Fermat.

Proposio: A frmula
m
=
0

1
.
n
.
m-1
+ verdadeira para
todo e n < .
Prova:
Por induo, = temos que
1
=
0
+ = + = que verdadeiro.
Suponhamos que a expresso vlida para m, da
m+1
- =
2
m+1
- =
(
2
m
+)(
2
m
-) =
m
(
2
m
-) = (
0
.
m-1
+)(
m
-) =
0
.

m
.

Corolrio: H(
m
,
n
) = , para = n.
Prova:
Suponhamos que
m

n
tenham um fator primo p, ento pela proposio
anterior,
m
=
0

1
.
n
.
m-1
+
Como p divide ambos
m

n
p dever dividir 2, ou seja, p igual a 1 ou 2.
No pode ser 2, pois
m

n
so mpares.
Em particular, esse corolrio mostra que existem infinitos nmeros primos(
vide [2] ). Pode-se tambm provar que H(
m
, ) = para m maior ou
igual a 1.
muito conhecido que o
4
+ para o > composto (devido a Sophie
Germain). De fato, o
4
+ = (o
2
+o +)(o
2
-o +). Fazendo
o =
2
m-2
para , encontramos o
2
+ =
m-1
, o
4
+ =
m
e portanto

m
+ = (
m-1
+
m-2
-)(
m-1
-
m-2
+).

Exemplo 1: Para n o dgito das unidades de
n
7.
Soluo:
Para n ,
n
mltiplo de 4 ento existe k inteiro tal que
n
= da

n
=
2
n
+ = (
4
)
k
+ + = (o ) e como
n
(o ) o
dgito das unidades 2 ou 7, no pode ser 2 pois
n
no pode ser par.

Em particular, esse exemplo mostra que nenhum nmero de Fermat pode ser
quadrado perfeito. Com efeito, bem conhecido que o dgito das unidades de
um quadrado perfeito 0, 1, 4, 5, 6 ou 9, e como
0
= ,
1
= e para n

n
7, uma contradio. Mais geralmente fcil provar que nenhum nmero
de fermat uma potncia perfeita. O caso de cubo perfeito foi proposto na
Baltic Way.

Exemplo 2: (Baltic Way) Prove que nenhum dos nmeros

n
=
2
n
+ Para n = , , , .
o cubo de um inteiro.

Soluo:
Assuma que exista um inteiro K tal que
2
n
+ =
3
, k mpar e

2
n
=
3
- = ( -)(
2
+ +) da - =
s
e
2
+ + =

para
alguns s,r inteiros positivos com soma igual a
n
. Agora,
t
-
2s
= ,
contradio pois o lado esquerdo par e o direito mpar.

Exemplo 3: Cada nmero de Fermat maior do que 3 da forma n -.
Soluo:
suficiente provar que 6 divide
m
+ para . com efeito,

m
+ =
0
.
m-1
+ = (
1
.
m-1
+)
E o nmero entre parnteses par.

Exemplo 4: Resolva a equao diofantina

n
=
2
+
2
+
2
++
2
m
.

Soluo:
Temos que
2
+
2
+
2
++
2
m
=
2
+
2
+
2
++(
2
m-1
)
2
fazendo
q =
2
m-1
e portanto

n
=
q(q +)(q +)

= (
2
m-1
-1
)
(q +)(q +)

Como o ltimo fator sempre inteiro, conclumos que
n
par, absurdo.
Assim a equao proposta no possui soluo em inteiros.

Exemplo 5: Prove que existem infinitos inteiros positivos n tais que
n
+ no
primo.
Soluo:
Vamos mostrar que
2k+1
+ po . o q

1
+ = ,
3
+ = 9, so mltiplos de 7. Agora para n = , , , .

2
n
, , , , .(o )
oi poro n ipor
2
n
+ + + + (o ).


Os nmeros de Fermat podem ser generalizados. Define-se
I
p,m
(o) =
o
p
m+1
-
o
p
m
-

Onde p primo, o o qual generaliza tanto os nmeros de Fermat

m
= I
2,m
(), coo os nmeros de Mersenne H
p
= I
p,0
() =
p
-. Vamos
estudar alguns casos como, por exemplo,
I
3,m
() =
3
m
+ I
7,m
() =
7
m
+.

Exemplo 6: Prove que para todos os inteiros positivos n, o nmero
3
n
+
produto de pelo menos n + (no necessariamente distintos) primos.
Soluo:
Por induo, o caso n = evidentemente verdadeiro. Como

3
n+1
+ = (
3
n
+ )(
23
n
-
3
n
+)
Ento suficiente provar que
23
n
-
3
n
+ composto , j que por hiptese
de induo
3
n
+ tem n + fatores primos. Claramente,
(
3
n
+ )
2
-_
3
n
+1
2
]
2
= _
3
n
+ +
3
n
+1
2
] _
3
n
+ -
3
n
+1
2
].
o que completa a prova por induo.
Exemplo 7: (USAMO-2007) Prove que para todos os inteiros no-negativos n, o
nmero
7
n
+ produto de pelo menos n + (no necessariamente
distintos) primos.
Soluo:
Por induo, o caso n = trivial pois
7
0
+ =
3
. Como
n
mpar,

n
= - para algum inteiro m, agora
7
n+1
+ = (
7
n
)
7
+ =
7
+
onde =
2m-1
. Portanto suficiente provar que

7
+
+

composto, pois consequentemente
7
+ ter pelo menos dois fatores
primos a mais do que +. Assim
x

+1
x+1
=
(x+1)

-(x+1)

-(x

+1)
x+1
= ( +)
6
-
7x(x
S
+3x
4
+5x
3
+5x
2
+3x+1)
x+1
=
( +)
6
-(
4
+
3
+
2
+ +) = ( +)
6
-
2m
(
2
+ +)
2
=
(( +)
3
+
m
(
2
+ +))(( +)
3
-
m
(
2
+ +)).
O primeiro fator maior do que 1. Para o segundo,
( +)
3
-
m
(
2
+ +) = ( +)
3
-V(
2
+ +)
( +)
3
-(
2
+ +) =
2
+ + >
pos V .
a prova est completa.

Exerccios:

1) Prove que para qualquer n
m
-

n
divide
P
m
-.

2) (USAMO-1991) Mostre que, para qualquer inteiro fixo n , a sequncia
,
2
,
2
2
,
2
2
2
, .(o n) eventualmente constante.

3) (Iran-2009) Seja o um nmero natural fixo. Prove que o conjunto dos
divisores primos de
2
n
+o , para n = , , . infinito.

4) (China-2010) Suponhamos que so inteiros no-negativos, e
p =
2
m
+ um nmero primo. Prove que:
a)
2
m+1
p
k
(o p
k+1
);
b)
m+1
p
k
o menor inteiro positivo n que satisfaz a equao de
congruncia
n
(o p
k+1
)


REFERNCIAS

[1] MICHAL K. , F. LUCA, L. SOMER, 17 LECTURES ON FERMAT
NUMBERS, CANADIAN MATHEMATICAL SOCIETY.
[2] RIBENBOIM, P. THE BOOK OF PRIME NUMBERS RECORDS,
SPRINGER, 1991.
[3] DUBRER, H. GENERALIZED FERMAT PRIMES, J. RECREATIONAL
MATH. 1985.
COMENTARIOS SOBRE UN PROBLEMA DE LA IMO 2010
JORGE MOZO FERN

ANDEZ
Llamo mi atencion uno de los problemas propuestos en la 51 Olimpiada Internacional de Matematicas,
que se celebro en Astana (Kazakhstan), del 2 al 14 de julio de 2010. Concretamente se trata del problema
5, propuesto el segundo da de competicion (el jueves 8 de julio). Este problema, en su redaccion ocial
en castellano, dice lo siguiente:
En cada una de las seis cajas B
1
, B
2
, B
3
, B
4
, B
5
, B
6
, hay inicialmente solo una moneda.
Se permiten dos tipos de operaciones:
Tipo 1: Elegir una caja no vaca B
j
, con 1 j 5. Retirar una moneda de B
j
y a nadir
dos monedas a B
j+1
.
Tipo 2: Elegir una caja no vaca B
k
, con 1 k 4. Retirar una moneda de B
k
e
intercambiar los contenidos de las cajas (posiblemente vacas) B
k+1
, B
k+2
.
Determinar si existe una sucesion nita de estas operaciones que deja a las cajas B
1
,
B
2
, B
3
, B
4
, B
5
vacas, y a la caja B
6
con exactamente 2010
2010
2010
monedas (observe que
a
b
c
= a
(b
c
)
).
En esta nota voy a comentar algunas ideas utiles para abordar este problema, as como proponer
algunas cuestiones complementarias. No pretendo ser exhaustivo ni abordar todas las vas posibles de
ataque, simplemente compartir con los lectores algunas de las reexiones que he hecho estudiandolo.
En primer lugar parece sensato plantearnos el problema con un n umero inferior a 6 cajas, en la
esperanza de que exista alguna recurrencia comoda. Denotamos C el n umero de cajas. Si C = 2, solo
tiene sentido realizar una operacion de tipo 1:
(1, 1)
T
1
(0, 3).
La notacion que empleo es, creo, autoexplicativa: denotare (N
1
, N
2
, . . . , N
r
) una posicion en la que consi-
dero r cajas consecutivas, con N
i
monedas en la caja i-esima. Asimismo, T
1
, T
2
representara la aplicacion
de una operacion de tipo 1 o tipo 2, respectivamente. Con 2 cajas, solo pueden obtenerse 3 monedas en
la ultima de ellas.
Si C = 3, tambien pueden computarse todos los posibles movimientos. Estos son esencialmente los
siguientes:
(1, 1, 1)
T
1
(0, 3, 1)
T
3
1
(0, 0, 7)
(1, 1, 1)
T
1
(1, 0, 3)
T
2
(0, 3, 0)
T
3
1
(0, 0, 6)
(1, 1, 1)
T
2
(0, 1, 1)
T
1
(0, 0, 3).
As, en la ultima caja solo es posible obtener 3, 6 o 7 monedas. Obsrevemos que el hecho de poder
obtener N monedas en la ultima caja no implica necesariamente que pueda obtenerse cualquier cantidad
de monedas N

< N.
Para precisar las cosas daremos una denicion:
Denicion 1. Un n umero natural N se llamara C-accesible si a partir de una situacion inicial con C
cajas y una moneda en cada caja, es posible, mediante transformaciones de Tipo 1 y Tipo 2 llegar a una
situacion nal con N monedas en la ultima caja y ninguna en las anteriores.
As, 3 es el unico n umero 2-accesible y {3, 6, 7} es el conjunto de n umeros 3-accesibles. El problema es
determinar si N
0
:= 2010
2010
2010
es un n umero 6-accesible.
1
2 JORGE MOZO FERN

ANDEZ
En primer lugar veamos que es posible hallar n umeros 6-accesibles mayores que N
0
. Para ello esta-
blezcamos unas pautas sencillas:
(a) A partir de una situacion (N
1
, N
2
) se llega a (0, 2N
1
+ N
2
) tras N
1
operaciones T
1
.
(b) A partir de (N
1
, N
2
, N
3
) jugamos de la siguiente manera:
(N
1
, N
2
, N
3
) (N
1
, 0, 2N
1
+ N
3
)
T
2
(N
1
1, 2N
2
+ N
3
, 0) (N
1
1, 0, 2(2N
2
+ N
3
)).
Aplicando esto sucesivamente llegamos a
(N
1
, N
2
, N
3
) (0, 0, 2
N
1
(2N
2
+ N
3
)).
(c)
(N, 0, 0, M) (N 1, 2, 0, M)
(N 1, 1, M, 0)
(N 2, M, 1, 0)
(N 2, 0, 0, 2
M+1
).
Utilizando estas pautas, podemos lograr lo siguiente:
(1, 1, 1, 1, 1, 1) (0, 0, 7, 0, 0, 7) (0, 0, 6, 0, 0, 15)
(0, 0, 4, 0, 0, 2
16
) (0, 0, 2, 0, 0, 2
2
16
+1
)
(0, 0, 0, 0, 0, 2
2
2
16
+1
+1
).
El n umero 2
2
2
16
+1
+1
es 6-accesible. Comprobamos que es mayor que N
0
. Para ello, observemos que
2
10
< 2010 < 2
11
.
Por consiguiente,
2010
2010
10 < log
2
N
0
< 2010
2010
11.
Por tanto,
20103 = 3 + 2010 10 < log
2
10 + 2010 log
2
2010 < log
2
log
2
N
0
< log
2
11 + 2010 log
2
2010 < 4 + 11 2010 = 22114.
En consecuencia,
14 < log
2
log
2
log
2
N
0
< 15,
es decir,
2
2
2
14
< N
0
< 2
2
2
15
< 2
2
2
16
+1
+1
,
con lo que efectivamente hay n umeros 6-accesibles mayores que N
0
. Para ver que n umeros menores de
N
0
podemos conseguir, moderemos las pautas establecidas en (b). As, en lugar de empezar haciendo N
2
operaciones T
1
, hagamos una cantidad r
0
, con 0 r
0
N
2
, de estas operaciones.
(N
1
, N
2
, N
3
) (N
1
, N
2
r
0
, N
3
+ 2r
0
) (N
1
1, N
3
+ 2r
0
, N
2
r
0
).
Tomemos ahora 0 r
1
N
3
+ 2r
0
. El proceso es
(N
1
1, N
3
+ 2r
0
, N
2
r
0
) (N
1
1, N
3
+ 2r
0
r
1
)
(N
1
2, N
2
r
0
+ 2r
1
, N
3
+ 2r
0
r
1
).
Tras m pasos, llegamos a (N
1
m, N
2m
, N
3m
), donde:
Si m = 2k, par,
N
2m
= N
2
(r
0
+ + r
2k2
) + 2(r
1
+ + r
2k1
)
N
3m
= N
3
+ 2(r
0
+ + r
2k2
) (r
1
+ + r
2k1
).
Si m = 2k 1, impar:
N
2m
= N
3
+ 2(r
0
+ + r
2k
) (r
1
+ + r
2k1
)
N
3m
= N
2
(r
0
+ + r
2k
) + 2(r
1
+ + r
2k1
),
COMENTARIOS SOBRE UN PROBLEMA DE LA IMO 2010 3
siendo r
0
, r
1
, . . . , r
m1
enteros arbitrarios que satisfacen las desigualdades:
0 r
0
N
2
0 r
1
N
3
+ 2r
0
0 r
2
N
2
r
0
+ 2r
1
0 r
3
N
3
+ 2r
0
r
1
+ 2r
2
.
.
.
0 r
2k
N
2
(r
0
+ + r
2k2
) + 2(r
1
+ + r
2k1
)
0 r
2k+1
N
3
+ 2(r
0
+ + r
2k
) (r
1
+ + r
2k1
).
Prosiguiendo de esta forma, a partir de (N
1
, N
2
, N
3
) podemos llegar a (0, 0,

N), donde

N es un entero
de la forma siguiente:

N =

2N
2
+ N
3
+ 3(r
1
+ + r
2k1
), si N
1
= 2k, par ,
2N
3
+ N
2
+ 3(r
0
+ + r
2k
), si N
1
= 2k + 1, impar.
Observemos dos cosas:
1. El maximo valor posible que puede tomar r
l
, l 1, es 2
l1
(2N
2
+ N
3
). Solo puede alcanzarse
este valor si hemos tomado como r
0
, r
1
, . . . , r
l1
los maximos valores posibles en cada caso. La
vericacion de este hecho es simple: si l = 1, r
1
N
3
+ 2r
0
N
3
+ 2N
2
. Si l > 1, argumentamos
por induccion.
2. De esta manera, los valores que puede tomar

N son de la forma

N =

2N
2
+ N
3
+ 3r 2
2k
(2N
2
+ N
3
), si N
1
= 2k, par,
2N
3
+ N
2
+ 3r 2
2k+1
(2N
2
+ N
3
), si N
1
= 2k + 1, impar.
En particular, solo valores congruentes con 2
N
1
(2N
2
+ N
3
) modulo 3. Todo valor

N de este tipo,
anterior,es alcanzable: tomemos como r
i
el maximo posible mientras no se supere

N, y 0 de ah en
adelante.
Si aplicamos esto al proceso descrito, una vez llegados al paso (0, 0, 2, 0, 0, 2
2
16
+1
), tenemos que:
(0, 0, 2, 0, 0, 2
2
16
+1
) (0, 0, 1, 2, 0, 2
2
16
+1
) (0, 0, 1, 1, 2
2
16
+1
)
(0, 0, 0, 2
2
16
+1
, 1, 0),
de donde deducimos que es 6-accesible todo entero

N de la forma 2+3r comprendido entre 2 y 2
2
2
16
+1
+1
.
Todos estos enteros

N son congruentes con 2 modulo 3, mientros que N
0
es divisible por 3 y no esta,
pues, entre ellos. Modiquemos levemente el proceso como sigue:
(0, 0, 1, 1, 2
2
16
+1
, 0) (0, 0, 1, 1, 2
2
16
+1
2, 4) (0, 0, 0, 2
2
16
+1
2, 1, 4).
Los computos anteriores muestran que son 6-accesibles todos los enteros

N comprendidos entre 6 = 21+4
y 6 2
2
2
16
+1
2
, de la forma 6+3r, todos ellos m ultiplos de 3, y entre los que se encuentra N
0
. El problema
esta resuelto.
La tecnica expuesta ni es exhaustiva ni es optima. Por ejemplo, el n umero 2
2
2
16
+1
+1
no es, ni de lejos
el maximo n umero 6-accesible. La sucesion de operaciones
(1, 1, 1, 1, 1, 1) (0, 1, 5, 0, 0, 7) (0, 1, 3, 0, 0, 2
8
)
(0, 1, 2, 2, 0, 2
8
) (0, 1, 2, 1, 2
8
, 0)
(0, 1, 1, 2
8
, 1, 0) (0, 0, 2
8
, 1, 1, 0)
(0, 0, 2
8
, 0, 0, 6),
y una aplicacion sucesiva del punto (c) permite obtener enteros extraordinariamente mas grandes.
En mi opinion, parte de la belleza del problema anterior estriba en que permite plantearse nuevas
preguntas, as como distintas generalizaciones. Me permito sugerir algunas:
4 JORGE MOZO FERN

ANDEZ
1. Cual es el mayor entero M
C
C-accesible, para cualquier C? Hemos visto que M
2
= 3, M
3
= 7.
Es m as, podemos plantearnos si, para todo C. M
C
es nito (a priori no resulta evidente que si el
n umero de cajas es sucientemente grande, no puedan conseguirse cantidades arbitrariamente altas
de monedas en la ultima caja). Queda como ejercicio para el lector el probar que, efectivamente,
as es.
2. Que estructura tiene el conjunto de enteros C-accesibles? Hemos visto que, al menos para C = 2,
3, no todo entero menor que N
C
es C-accesible. Ocurre lo mismo para valores de C mayores que
3? Por ejemplo, si C 4, 0 es un entero C-accesible, como muestra la siguiente secuencia:
(1, 1, 1, 1) (1, 1, 0, 3) (1, 0, 3, 0) (0, 3, 0, 0)
(0, 2, 0, 0) (0, 1, 0, 0) (0, 0, 0, 0).
Es C-accesible todo entero menor o igual que M
C
? Dejamos al lector tratar de resolver primero
una pregunta mas simple: Es 1 un entero 4-accesible?
3. Otras preguntas mas complejas pueden formularse. Por ejemplo, sera de interes estudiar la suce-
sion M
1
, M
2
, M
3
, . . . de los maximos enteros C-accesibles. Puede plantearse la b usqueda de una
expresion, si existe, para el termino general de esta sucesion. O al menos, alguna regla de recu-
rrencia.
4. La ultima generalizacion que quiero plantear consiste en modicar las condiciones iniciales: en
lugar de empezar con una moneda en cada caja, puede empezarse con cantidades distintas. Cual
es la respuesta a las preguntas anteriores en estas condiciones?
Desde estas paginas, invito a los lectores de esta revista a aportar posibles soluciones a las preguntas
anteriores, ya sean totales o parciales, o a plantear nuevos interrogantes relacionados con este curioso
problema.
Referencias
[1] Olimpiada Internacional de Matem aticas. Sitio web: http://www.imo-ocial.org/.
[2] Tao, Terence. The Polymath blog. Minipolymath2 project: IMO 2010 Q5. Blog administrado por Terence Tao. Sitio
web: http://polymathprojects.org/2010/07/08/minipolymath2-project-imo-2010-q5/.
(Jorge Mozo Fernandez) Dpto. Matem atica Aplicada, Facultad de Ciencias, Universidad de Valladolid, Prado
de la Magdalena, s/n, 47005 Valladolid, Spain
Correo electronico: jmozo@maf.uva.es
FAMOSOS PROBLEMAS DE LA I.M.O. (2)
Francisco Bellot Rosado
29
a
I.M.O., Canberra (Australia) 1988, problema #6
Aparte de sus propios mritos como problema 6 en una Olimpiada Interna-
cional, el problema #6 de 1988 fu el, digamos, "responsable" de que a partir
de entonces se instituyera por el Jurado Internacional la "Mencin Honorca",
para premiar a los estudiantes que, no obteniendo puntos sucientes para recibir
medalla, tuvieran puntuacin mxima (7 puntos) en algn problema.
El problema fu propuesto por Alemania Federal, y el Comit Selector de
problemas australiano, presidido por David Hunt, estaba formado por otros
cinco matemticos de Sidney, entre los que se encontraban el matrimonio Szek-
eres (George y Esther), condiscpulos y amigos de Paul Erds, y autoridades
mundiales en Teora de Nmeros.
Parece (pero las deliberaciones del comit son secretas) que el problema
no fu resuelto por los miembros del Comit, pero una vez vista la solucin
"ocial", se decidi incluirlo entre los que forman la llamada lista corta (unos 30
problemas) que se presenta al Jurado Internacional, y ste lo eligi y lo propuso
como problema 6. Once participantes recibieron la calicacin de 7 puntos en
el problema (cinco de ellos, con puntuacin perfecta de 42 puntos). En la sesin
nal del Jurado, el delegado de la Repblica Democrtica Alemana dijo: Yo
creo que se debera dar un reconocimento especial a los once estudiantes que han
resuelto bien este problema, en vista de que destacados especialistas en Teora de
Nmeros no consiguieron hacer lo mismo. Claro que tampoco consigui resolver
el problema el 70% de los participantes, que obtuvieron 0 puntos en l.
El Jurado Internacional, a partir de entonces, concede Mencin Honor-
ca, en los trminos ms arriba descritos, dentro del captulo de Premios de
la Olimpiada. La idea ha sido despus incorporada a otros muchos concursos.
Enunciado del problema
Sean a y b enteros positivos tales que ab +1 divide a a
2
+b
2
: Demostrar que
a
2
+ b
2
ab + 1
es el cuadrado de un entero.
Las soluciones
He tenido acceso a trece fuentes distintas donde se incluyen soluciones a
este problema. Las enumero en la Bibliografa al nal de este artculo, pero
tambin ir mencionando las que efectivamente utilice a medida que desarrolle
esas soluciones. Naturalmente, las primeras en ser mostradas van a ser de dos
estudiantes: el blgaro Emmanouil Atanassou (que recibi un Premio Especial
del Jurado por su solucin durante el concurso) y el rumano Adrian Vasiu (uno
de los estudiantes con 42 puntos, antes mencionados).
1
1.Solucin de Atanassou (BUL 2)
Supongamos que
a
2
+ b
2
ab + 1
= k; un entero.
Entonces,
a
2
kab + b
2
= k (1).
Supongamos a partir de ahora que k no es un cuadrado. Toda solucin de
(1) tiene
a; b > 0 o bien a; b < 0 (2)
(Claramente, a; b ,= 0; y si fuera ab < 0; entonces a
2
kab + b
2
> k).
Consideremos una solucin (a; b) de (1) con a _ b > 0 y supongamos a
mnimo. Obsrvese que b < a; porque si fuera b = a; entonces (2 k) a
2
= k;
pero el primer miembro no es positivo. Consideremos (1) como una ecuacin
cuadrtica en a: Tiene dos races, a y a
1
: Se tiene a + a
1
= kb; luego a
1
es un
entero. Por (2), ya que b > 0; a
1
> 0:
Adems, aa
1
= b
2
k; luego
a
1
=
b
2
k
a
<
a
2
1
a
< a:
El par (a
1
; b) satisface (1) y a
1
> 0; b > 0; a
1
< a; b < a; lo que contradice la
minimalidad supuesta de a; y hemos terminado.
2. Solucin de Adrian Vasiu (ROM 1)
Tomada del artculo "A 29-a Olimpiada Internationala de matematica, Can-
berra, 9-21 iulie 1988", del Jefe de la delegacin rumana, Prof. Mircea Becheanu,
en la revista Gazeta matematica, nr. 11-12/1988.
Aunque la solucin de Vasiu es tambin por reduccin al absurdo, en un
momento dado utiliza la descomposicin en factores de un nmero de la forma
N = n
4
+ 1:
Supongamos que existieran parejas (a; b) de nmeros naturales tales que
a
2
+ b
2
ab + 1
= q N

;
y que q no sea cuadrado perfecto. Elegimos una de esas parejas con a mnimo.
Entonces
a
2
+ b
2
ab + 1
= q ==
a
4
+ a
2
b
2
ab + 1
= a
2
q N

==
ab 1 +
a
4
+ 1
ab + 1
N

==
a
4
+ 1
ab + 1
= c N

==
a
4
+ 1 = c (ab + 1) ==a [ c 1 ==c = ad + 1:
2
Si fuera d = 0; entonces c = 1 == a
4
+ 1 = ab + 1 == a
3
= b == q = a
2
;
contradiccin.
Luego d ,= 0: Entonces a
4
+ 1 = (ab + 1) (ad + 1) == ad + 1 [ a
4
+ 1 ==
ad + 1 [ a
2
d
2
+ a
4
:
Del hecho que mcd

ad + 1; a
2

= 1 y de ad + 1 [ a
2

a
2
+ d
2

resulta que
ad + 1 [ a
2
+ d
2
:
Adems
ad + 1 =
a
4
+ 1
ab + 1
_
a
4
+ 1
a
2
+ 1
< a
2
+ 1 ==0 < d < a:
Como
a
2
+ d
2
ad + 1
=
a
2
+ b
2
ab + 1
;
se tiene
a
4
+ a
2
b
2
ab + 1
= ab 1 + c = ab 1 + ad + 1 = ad 1 +
a
4
+ 1
ad + 1
=
a
4
+ a
2
d
2
ad + 1
:
Pero d < a y a era mnimo, luego q es cuadrado perfecto, contradiccin.
Soluciones de los matemticos profesionales
Las soluciones redactadas por profesionales arrojan luces inesperadas sobre
el problema, y en algunos casos son verdaderas obras maestras de la presentacin
didctica de un problema. Personalmente, las que ms me gustan son las del
Dr. John Campbell (Canberra), la del Prof. John Burns (en su excelente libro
Seeking solutions, AMT, 2000), la de Jean-Pierre Boudine, Franois Lo Jacomo
y Roger Cuculire (en su no menos excelente libro Olympiades Internationales
de Mathmatiques, noncs et solutions dtailles, Annes 1988 1997, Ed. du
Choix, 1998) y la de Marcin Kuczma en su libro International Mathematical
Olympiads 1986 - 1999, MAA 2003.
3. La solucin del Dr. J. Campbell (en 1988, en el Canberra
College of Advanced Education, hoy Universidad de Canberra)
Si comparamos la sorprendente semejanza entre la sustitucin
b qa b (v. las siguientes lneas)
que deja invariante
a
2
+ b
2
ab + 1
= q;
y la sustitucin bien conocida
3
b b qa (= resto de la divisin de b entre a),
que deja invariante el mximo comn divisor de a y b; hacemos la siguiente
conjetura:
CONJETURA
Si a; b son enteros no negativos tales que
q =
a
2
+ b
2
ab + 1
es entero, entonces
q = (mcd (a; b))
2
:
DEMOSTRACIN
Si ab = 0; entonces el resultado es claro. Esto sugiere usar la induccin sobre
el producto ab:
Si ab > 0; podemos suponer (por la simetra del problema) que a _ b; y que
el resultado est probado para valores pequeos de ab:
Primero encontraremos un entero c tal que
q =
a
2
+ c
2
ac + 1
(*)
y que cumpla
0 _ c < b (**).
De ah se deducir por induccin (puesto que ac < ab) que
q = (mcd (a; b))
2
: (***)
Para obtener c; resolveremos
a
2
+ b
2
ab + 1
=
a
2
+ c
2
ac + 1
= q:
Ya que las razones son iguales, restaremos numeradores y denominadores en
la proporcin, y resultar
q =
b
2
c
2
ab ac
==
b + c
a
= q (puesto que queremos que c ,= b),
y esto es lo mismo que
c = aq b:
Obsrvese que c es entero, y que mcd (a; c) = mcd(a; b):
Por lo tanto, la prueba estar terminada si conseguimos probar (**). Para
ello, por un lado se tiene
4
q =
a
2
+ b
2
ab + 1
<
a
2
+ b
2
ab
=
a
b
+
b
a
;
con lo cual resulta
aq <
a
2
b
+ b _
b
2
b
+ b = 2b (ya que a _ b),
y esto es lo mismo que
aq b < b; es decir, c < b:
Por otra parte,
q =
a
2
+ c
2
ac + 1
==ac + 1 > 0 ==c >
1
a
==c _ 0 (pues c es entero).
Algunas otras observaciones
Supongamos dado q = k
2
; con k entero positivo. Un estudio cuidadoso de la
anterior demostracin muestra que todas las soluciones (a; b) - con a; b enteros
no negativos - de
a
2
+ b
2
ab + 1
= q (****)
se pueden obtener aplicando una sucesin de los operadores (transforma-
ciones)
S : (a; b) (b; a)
T : (a; b) (a; aq b)
()
a la solucin (k; 0) : Puesto que S
2
(es decir, S aplicado dos veces) y T
2
dejan invariable (a; b), toda solucin de (****) tiene la forma
W (k; 0) ;
donde W denota una sucesin(podra ser vaca) de S
0
s y de T
0
s en la que
operadores adyacentes nunca son iguales. Recprocamente, si W es una tal
sucesin, entonces W(k; 0) es una solucin de (****) porque los operadores S y
T dejan invariable la funcin
a
2
+ b
2
ab + 1
:
Para identicar las soluciones (a; b) = W (k; 0) con a; b _ 0 mostramos las
primeras aplicaciones de S y T a la pareja (k; 0) :
Evidentemente, las soluciones (a; b) de la ecuacin (****), con a; b _ 0 son
5
(k; 0) ; (0; k) y W(k; 0)
donde la sucesin W termina en T (as que T se aplica primero a (k; 0)).
Una observacin nal (cuya vericacin se deja al lector):
Si q = 1 hay exactamente 3 soluciones.
Si q > 1 hay innitas soluciones.
Esta solucin est incluida en el folleto "Mathematical Olympiads: The 1988
Australian Scene", publicado por el Australian Mathematics Trust.
4. La solucin de Boudine, Lo Jacomo y Cuculire: el descenso
innito.
Sera bueno tener ejemplos de a; b y k tales que
a
2
+ b
2
ab + 1
= k:
Busqumoslos.
1) Si a = 1; tenemos b
2
+ 1 = k (b + 1) : Una buena idea consiste en restar
b
2
1: Se obtiene 2 = (b + 1) (k b + 1) : Como b _ 1; necesariamente es b =
1 = a = k:
2) Si a = b; entonces 2a
2
= k

1 + a
2

: Como a
2
+1 es primo con a
2
, 1 +a
2
divide a 2; y de nuevo obtenemos a = 1 = b = k: Ya que la ecuacin es simtrica
en a y b, supondremos que a > b > 1:
3) Observemos, por otra parte, que k no puede ser igual a 2:
6
En efecto, a
2
+ b
2
= 2 + 2ab implica (a b)
2
= 2; pero 2 no es un cuadrado
perfecto. Se puede entonces suponer k _ 3:
4) La igualdad a
2
+b
2
= k +kab se cumple si a = bk y b
2
= k: Esto nos lleva
a una familia innita de soluciones b = b; k = b
2
; a = b
3
: Los primeros ejemplos
son
8
2
+ 2
2
1 + 8 2
= 2
2
, solucin (8; 2; 4)
27
2
+ 3
2
1 + 27 3
= 3
2
, solucin (27; 3; 9)
125
2
+ 5
2
1 + 125 5
= 5
2
, solucin (125; 5; 25)
5) Siendo ms sistemticos, la ecuacin original se escribir como
x
2
kxy + y
2
k = 0;
ecuacin de segundo grado en x, o en y; la otra letra, como el entero k, juegan
el papel de parmetros. Considerada como ecuacin en x, su discriminante vale

k
2
4

y
2
+ 4k > 0 puesto que k > 2:
Por lo tanto, jado y; hay dos soluciones, x
0
y x
00
= ky x
0
, ya que la
suma de las races vale ky: Sabemos que existen pares (a; b) de enteros que son
soluciones, con a > b: Ponemos a = x
0
; b = y: De aqu surge el par (x
00
; y) ; es
decir (kb a; b) :
6) kb a es entero; ser positivo?
No puede ser negativo porque (a
0
; b) ; con a
0
= kb a es solucin, y b es
positivo. Pero el segundo miembro de la ecuacin se escribe como k (1 + a
0
b) y
es una suma de cuadrados: si un producto de enetros es negativo, ser menor o
igual que -1, de donde una contradiccin.
7) El nmero kb a puede ser 0, como en el apartado 4) anterior. Si es
nunlo, hemos probado que k era un cuadrado : basta reemplazar kb por a en la
ecuacin original. Si a
0
= kb a no es cero, (a
0
; b) es otra solucin del problema
inicial.
8) Vamos a demostrar que a
0
< b:
De la misma manera, a partir del par (b; a
0
), podemos formar el par (ka
0
b; a
0
)
donde a
00
= ka
0
b < a
0
: Probaremos que a
0
= kb a < b: Construimos de-
sigualdades equivalentes, empezando por la que deseamos probar:
kb < a + b ==kab < a
2
+ ab ==kab + k < a
2
+ ab + k;
pero como a
2
+ b
2
= k + kab; se tiene
a
2
+ b
2
< a
2
+ ab + k ==b
2
< ab + k;
y esta ltima es claramente cierta porque a > b:
7
En resumen, denimos
a
0
= a; a
1
= b; a
n+1
= ka
n
a
n1
;
para todo n, la pareja (a
n
; a
n+1
) es una solucin de la ecuacin. Si para todo
n fuera a
n
,= 0; la sucesin (a
n
) sera una sucesin estrictamente decreciente de
nmeros enteros positivos, lo cual es imposible. Por lo tanto, existe n tal que
a
n
= 0; y entonces k = a
2
n1
es efectivamente un cuadrado.
5. La solucin "con aire geomtrico" de Marcin Kuczma
Sea q un entero mayor que 1 (ver la observacin un poco ms adelante).
Vamos a examinar las soluciones enteras de la ecuacin
x
2
+ y
2
= q (xy + 1) (+)
y a demostrar que:
a) si q no es un cuadrado perfecto, la ecuacin (+) no tiene soluciones en
Z Z:
b) si q es un cuadrado perfecto, q = k
2
; k Z
+
; entonces la frmula de
recurrencia
x
0
= 0; x
1
= k; x
n1
+ x
n+1
= qx
n
; con n Z;
dene una sucesin estrictamente creciente de enteros, cuyos trminos con-
secutivos, a pares (x = x
n
; y = x
n+1
; o viceversa, n Z) conforman la solucin
completa de (+) en enteros.
Evidentemente, el aserto a) resuelve por s slo el problema; pero es ventajoso
estudiar conjuntamente a) y b), y examinar la ecuacin (+) sobre el retculo de
los enteros con total generalidad, porque arroja ms luz sobre el problema.
Reescribimos (astutamente) la (+) en la forma
(q + 2) (x y)
2
(q 2) (x + y)
2
= 4q;
lo que nos indica que describe una hiprbola, cuyos ejes de simetra son
y = x e y = x: Si q = 2; la hiprbola degenera en dos rectas paralelas. Sea H
la rama "superior" (x < y) de la hiprbola. Consideremos el punto Q
0

0;
_
q

- a priori,
_
q no tiene por qu ser entero - . Ya que Q
0
est en H, las asntotas
de H (semirrectas) forman un ngulo obtuso y entonces H es la grca de una
funcin f, continua y estrictamente creciente, que transforma el conjunto de
todos los nmeros reales en s mismo.
Elijamos un punto P
0
= (x
0
; f(x
0
)) H y consideremos la sucesin (en dos
sentidos) de iteradas x
n
= f
n
(x
0
) :
Aqu, para n Z
+
; el smbolo f
n
signica la nsima composicin de f;
para n = 0; f
0
es la identidad; y si n Z

; f
n
es la [n[-sima composicin de la
funcin inversa de f; f
1
:
A la sucesin de puntos
8
P
n
= (x
n
; x
n+1
) = (x
n
; f(x
n
)) H
le llamaremos la trayectoria que pasa por P
0
:En particular, tomando como
P
0
el punto Q
0

0;
_
q

se obtiene la trayectoria principal. El predecesor de Q

0
en el orden de la trayectoria es Q
1

_
q; 0

:
Sea ahora
P
n
= (x
n
; x
n+1
) : n Z
una trayectoria cualquiera. Sustituyendo en (+) en lugar de x; y las co-
ordenadas de P
n1
; P
n
y restando las ecuaciones resultantes obtenemos la re-
currencia anterior, posiblemente con otras condiciones iniciales (los datos ini-
ciales x
0
= 0; x
1
=
_
q caracterizan la trayectoria principal). La ecuacin re-
currente demuestra que si uno cualquiera de los puntos P
n1
= (x
n1
; x
n
) y
P
n
= (x
n
; x
n+1
) es un punto de Z Z; lo es tambin el otro. As (por induc-
cin ascendente y descendente) toda trayectoria o est contenida en Z Z o es
disjunta de Z Z:
Obsrvese que la ecuacin (+) no tiene soluciones enteras de distinto signo.
Luego si H contine un punto reticular P; entonces la trayectoria por P; formada
enteramente por puntos reticulares, no tiene representante entre Q
1
y Q
0
:
Por otra parte, una trajectoria no puede saltarse el arco cerrado Q
1
Q
0
(pues
eso requerira f(x) > 0 para algn x <
_
q; lo que es absurdo). As pues, la
trayectoria principal es el nico candidato para el conjunto de puntos reticulares
sobre H:
En otras palabras, la ecuacin (+) tiene soluciones en Z Z si y solamente
si la trayectoria principal est compuesta de puntos reticulares. Esto ocurre
cuando Q
0
Z Z; es decir, cuando q es un cuadrado perfecto, en cuyo caso
la recurrencia anterior, con k =
_
q; dene el conjunto completo de abscisas de
puntos reticulares en H; los asertos a) y b) quedan probados. Esta sucesin es
simtrica con respecto a 0; la otra rama de la hiprbola es simtrica de H con
respecto al origen. Los puntos reticulares sobre ella son los mismos que los de
H; pero con los papeles de x e y intercambiados. Estos puntos tambin han de
ser tomados en consideracin.
Observacin
Los trminos de la recurrencia pueden expresarse de manera explcita:
x
n
=
r
q
q
2
4
"
q +
p
q
2
4
2
!
n

q
p
q
2
4
2
!
n
#
; n Z:
Al principio nos limitbamos a considerar enteros q > 1: Porque si q = 1; la
ecuacin (+) es equivalente a (x y)
2
+x
2
+y
2
= 2; con las soluciones enteras
obvias (0; ) ; (; 0) y (; ) ; = 1:
BIBLIOGRAFA
9
[1] Australian Mathematics Trust: Mathematical Olympiads, The 1988 Aus-
tralian Scene, Canberra 1988.
[2] Becheanu, M.: International Mathematical Olympiads 1959-2000. Acad-
emic Distribution Center, Freeland, Maryland 2001.
[3] Bellot Rosado, F. y Lpez Chamorro, M
a
A.: Cien Problemas de Matemti-
cas, Combinatoria, lgebra, Geometra. I.C.E. U. de Valladolid, 1994.
[4] Boudine, J.P.; Cuculire, R.; Lo Jacomo, F.: Olympiades Internationales
de Mathmatiques. noncs et solutions dtailles. Annes 1988 1997. Ed.
du Choix, 1998
[5] Bourgade,P.: Olympiades Internationales de mathmatiques, 1976 - 2005.
Cassini 2005.
[6] Burns, J.C.: Seeking solutions. AMT 2000.
[7] Falk de Losada, M.; Arrieta Ortiz, E.; Berenstein, D.: 1981-1990 Diez
aos de Colombia en las Olimpiadas Internacionales de Matemticas. C.U.
"Antonio Nario", Bogot, 1991.
[8] Ferreol, R.; Cuculire, R.; Casiro, F.: Olympiades Internationales de
Mathmatiques & Concours Gneral 1988, 1989, 1990. Ed. du Choix, 1991.
[9] Galvin, W.P.; Hunt, D.C.; OHalloran, P.J. (editors): An Olympiad down
under. A report on the 29th International Mathematical Olympiad in Australia.
Australian Mathematical Foundation, 1989.
[10] Kuczma, M.: International mathematical Olympiads 1986-1999. M.A.A.
2003.
[11] Reiman, I.: International Mathematical Olympiad 1959 - 1999. Anthem
Press, 2001
[12] Djukic, D.; Jankovic V.; Matic, I.; Petrovic, N.: The IMO Compendium,
Springer 2006.
[13] Gazeta matematica, nr. 11-12/1988. Societatea de Stiintze matematice
din Republica socialista Romania, 1988.
10
Problemas para los ms jvenes 41
CINCO PROBLEMAS DE LA OLIMPIADA DE BUCAREST (JUNIOR)
J41.1. En el tringulo ABC, la mediana BD (D es el punto medio de
AC) es perpendicular a la bisectriz interior AE (E es un punto de BC).
Demostrar que el centro de gravedad del tringulo ABD es el punto
medio del segmento AE.
J41.2. i) Si a y b son nmeros reales tales que
2 2
0 a b a a + + = ,
demostrar que a = b = 0.
ii) Encontrar los nmeros reales x e y que verifican la relacin
( ) ( )
2 2
2 3 2 7 3 2 7 3 2 7 x y x y x y x y + + + + + =
J41.3. Tres nmeros positivos, x, y z son directamente
proporcionales a los nmeros 2; 3 y 5.
a) Hallar la razn entre el mayor de los tres nmeros y la suma
de los otros dos.
b) Si, adems, xy + yz + zx = 124, calcular los tres nmeros.
J41.4. Si los nmeros a y b verifican -1 < a < 1; -1< b < 1,
demostrar que
1 1
1
a b
ab
+
< <
+
.
J41.5. Sea O un punto interior al tringulo ABC. Se traza por O la
paralela a BC, que corta a AB en S y a AC en P; se traza
anlogamente la paralela a AC que pasa por O, que corta a BC en N y
a AB en R; y finalmente, la recta por O paralela a AB, que corta a AC
en Q y a BC en M.
i) Demostrar que
1
MN PQ RS
BC CA AB
+ + =
ii) Si se verifica
MN PQ RS
BC CA AB
= = , demostrar que O es el baricentro
(centro de gravedad) del tringulo ABC.
Solucin al Prob #1 y Prob #3 de la Primera Olimpiada de Lituania
Solucin por: Ricardo J unior Espino Lizama,(15 aos) Lima/Per



LIT1. En la multiplicacin siguiente, en los factores cada letra representa un
nmero, de modo que letras distintas corresponden a nmeros distintos. Pero
en los productos parciales, todos los numeros (iguales o no) han sido codificados
por la letra x :
F I N D
F I N D
__ __ __ __ __ __ __ __
x x x x
x x x x
x x x x
__ __ __ __ __ __ __ __
x x x x x x x x

SOLUCIN:

Como no se presenta el segundo producto parcial, deducimos que el valor de N es cero

Quedando lo siguiente:

F I 0 D
F I 0 D
__ __ __ __ __ __ __ __
x x x x
0 0 0 0
x x x x
x x x x
__ __ __ __ __ __ __ __
x x x x x x x x

Al analizar el cuarto producto parcial, el cual es resultado de la multiplicacin
FIODxF, este producto tiene 4 cifras, concluimos diciendo que el valor de F pueden ser {1,2,3}
Pero analizando el producto total, este presenta una cifra ms, lo que quiere decir que el valor de F
debe ser 3
ya que si toma el valor de 1 o 2, el producto final no sera posible.
Quedando asi:

3 I 0 D
3 I 0 D
__ __ __ __ __ __ __ __
x x x x
0 0 0 0
x x x x
x x x x
__ __ __ __ __ __ __ __
x x x x x x x x


Ahora, analizando los dos productos parciales restantes, se observa que estos son de 4 cifras, por
lo tanto
los productos 3I y 3D deben tener solo una cifra, osea, tanto I como D pueden tener como valores
{1,2,3}
pero no contemos al 3 ya que, a letras distintas, valores distintos (condicin del problema)
por lo tanto I y D solo podran ser 1 y 2, mas no se sabe el orden
Evaluando las dos posibles soluciones, se muestra que la nica solucin sl problema es si I=2 Y
D=1

Finalmente, reconstruyendo la multiplicvacin:

3 2 0 1
3 2 0 1
__ __ __ __ __ __ __ __
3 2 0 1
6 4 0 2
9 6 0 3
__ __ __ __ __ __ __ __
1 0 2 4 6 4 0 1


LIT3. Robinson Crusoe, navegando por el proceloso Ocano de los Nmeros,
se aproxima a la isla donde habitan todos los nmeros con exactamente 100
dgitos. Quiere cumplir dos deseos:
a) Hallar un nmero de 100 dgitos divisible por 100 y tal que la suma de
sus cifras sea 100.
b) Encontrar el menor de tales nmeros.

SOLUCIN:

a) Si el nmero es divisible por 100, entonces deber acabar en dos ceros y la suma de sus otras
98 cifras deber ser 100
un nmero que cumpla esos requisitos es el siguiente

1 1 1 1 1 1 1 1 1 1 1 1 1..... 1 2200
-----------96 veces "1"-------------

b) Para encontrar el menor de todos los nmeros que cumplan los mencionados requisitos,
debemos contar con que
se vea mayor cantidad de numeros 1, aqul nmero sera el siguiente:

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1... 1300
----------98 veces "1"------------------




XLVII Olimpiada Matemtica Espaola
Primera Fase
Primera Sesin
Viernes, 21 de enero de 2011

1.- Hallar todos los enteros n tales que n 50 y n + 50 sean
simultneamente cuadrados perfectos.

2.- Sea { } 1, 2, 3, = el conjunto de los nmeros naturales. Se escriben en
el encerado n nmeros naturales. Si a y b son dos de los nmeros naturales
escritos, se realiza con ellos la siguiente operacin:
a b
a b
+

,
y si este nmero es entero, se aade al conjunto de nmeros escritos en el
encerado. Se pretende conseguir que, por este procedimiento, aparezca en
el encerado cualquier nmero natural.
Calcular el menor valor de n para que esto suceda, los nmeros inicialmente
escritos, y la forma de obtener as cualquier nmero natural.

3.- Un cuadrado C se recubre completamente con un nmero entero de
cuadrados de lado unidad, sin solapamientos. Si uno coloca dentro de C y
sin solapamientos tantos cuadrados de rea 2 como sea posible, con los
lados paralelos a los lados de C, se pueden cubrir las ocho novenas partes
del rea del cuadrado. Determinar todas las posibles dimensiones de tales
cuadrados.



No est permitido el uso de calculadoras
Cada problema se punta sobre 7 puntos
El tiempo de cada sesin es de 3 horas y media

XLVII Olimpiada Matemtica Espaola
Primera Fase
Segunda Sesin
Sbado, 22 de enero de 2011


4.- Sea f una funcin definida en el conjunto de los enteros positivos y que
verifica las dos condiciones siguientes:
f(1) = 2010
f(1) +f(2) + + f(n) = n
2
f(n), para todo n > 1.
Calcular el valor exacto de f(2010).

5.- Se ordenan los nmeros naturales en forma de tabla triangular, es
decir
1
2 3 4
5 6 7 8 9
10 11 12 13 14 15 16
. . . . . . .

Diremos que la posicin de un nmero N en la tabla viene dada por dos
coordenadas: el primer nmero de su fila y el primer nmero de su
columna. Por ejemplo, si N = 15, su posicin es (10,9). Cuando un nmero
N, en la posicin (n,m), verifica que N = n + m, diremos que N est bien
colocado en la tabla; as, 12 y 14 estn bien colocados, y 15 no lo est.
Est 2
2011
bien colocado?
6.- En un tringulo, llamaremos O al circuncentro, I al incentro y r al radio
de la circunferencia inscrita. Sea L uno de los dos puntos en que la
mediatriz del segmento OI corta a la circunferencia circunscrita, si LI vuelve
a cortarla en M, demostrar que IM = 2r.
No est permitido el uso de calculadoras
Cada problema se punta sobre 7 puntos
El tiempo de cada sesin es de 3 horas y media


PROBLEMA 1 de la MMC 2010
Solucin de Angel Espino Lizama, Lima, Per.
Dado los nmeros reales a, b, c, d, resolver el siguiente sistema de ecuaciones (incgnitas
x, y, z, u)

. (1)
(2)
(3)
(4)

Solucin

En (4) (2)



En (3)- (1)



En (4) (1)



En (3)-(2)



Hacemos el cambio de variable:


Reemplazando el cambio de variable:





Igualando:


Sumando:

(5)

Por el cambio de variable

Reemplazando en (5)


Finalmente









REOIM vol. 41
Problemas propuestos 201-205
Problema 201 (propuesto por Roberto Bosch Cabrera, C. de la
Habana, Cuba)
Sea ABCD un cuadriltero inscrito en una circunferencia c
0
de centro O
interior al cuadriltero. Se consideran las circunferencias c
1
(A; AO) (de centro
A y radio AO); c
2
(B; BO) ; c
3
(C; CO) y c
4
(D; DO) :
Sean c
1
\c
2
= fP; Og ; c
2
\c
3
= fQ; Og ; c
3
\c
4
= fR; Og ; y c
4
\c
1
= fS; Og :
Demostrar que PQRS es un paralelogramo.
Problema 202 (propuesto por Jos Luis Daz Barrero, Univ. Politc-
nica de Catalua, Barcelona, Espaa)
Sean a; b; c las longitudes de los lados de un tringulo de permetro 2. Demostrar
que
4
p
a
2
b
2
sinC +
4
p
b
2
c
2
sinA+
4
p
c
2
a
2
sinB 2
8
r
3
4
:
Problema 203 (propuesto por Vicente Vicario Garca, Huelva, Es-
paa)
Es bien conocido que existen nmeros irracionales ; tales que

es
racional. Para la demostracin clsica se parte del hecho de que
p
2 es ir-
racional, y se considera el nmero
p
2
p
2
: Si este nmero es racional, ya ten-
emos identicados los irracionales ; que cumplen la condicin del teorema.
Si no es racional, consideramos

p
2
p
2

p
2
, que es racional y se concluye la
demostracin.
Se pide dar una demostracin constructiva alternativa y construir innitas
parejas de nmeros irracionales y tales que

es un nmero racional.
Problema 204 (propuesto por Pedro H.O. Pantoja, Univ. de Lis-
boa, Portugal)
Demostrar que las ecuaciones 3
x
1 = y
4
; 3
x
+1 = y
4
no tienen socuciones
enteras positivas.
Problema 205 (propuesto por Juan Bosco Romero Mrquez, vila,
Espaa)
Sea ABC un tringulo rectngulo en A, con lados a > b c. Sean r el radio
del crculo inscrito, R el del crculo circunscrito, y w
a
la bisectriz interior del
ngulo A. Demostrar que
c

2 +
p
2

r
2bc
b +c
R+r b ()
c
p
2

1 +
p
2

r w
a

R +r
p
2

b
p
2
:
1
PROBLEMA 193, (propuesto por Mari del Rayo Perez Ros)
Demostrar que
q <
A
2
y q <
B
2
,
siendo
q = arctan
sinAsinBsinC
1 + cos Acos Bcos C
, A+B +C = , C < |B A|.
Solucion por Daniel Lasaosa Medarde, Universidad P ublica de Navarra, Pam-
plona, Espa na
Si tomamos A, B de signo negativo y C positivo, podemos encontrar q positivo,
y por lo tanto mayor que
A
2
< 0 y que
B
2
< 0; podramos tambien tomar A = B =
C = , con lo que no se podra denir q. Entenderemos pues que la condicion
A + B + C = ha de traducirse como A, B, C son los angulos de un triangulo,
donde sin perdida de generalidad A > B > 0, y A B > C, es decir, A es
obtusangulo. Entonces, sinC < sin(A B) y cos C > cos(A B), luego nos basta
con demostrar que, si A, B son dos angulos positivos que suman menos de , se
cumple
tan
B
2

sinAsinBsin(AB)
1 + cos Acos Bcos(AB)
Pero
sinB
tan
B
2
= 2 cos
2
B
2
= 1 + cos B,
de donde nos basta con demostrar que
(1 + cos B)(1 + cos Acos Bcos(AB)) sinAsinBsin(AB),
o equivalentemente tras algo de algebra, nos basta con demostrar que
(1 + cos B)
5 + cos(2A) + cos(2B) + cos(2A2B)
4

sin(2A2B) sin(2A) + sin(2B)

4
.
Ahora bien, como B es claramente acutangulo, tenemos que 1 + cos B > 1, luego
nos basta con demostrar que
5 + cos(2A) + sin(2A) + cos(2B) sin(2B) + cos(2A2B) sin(2A2B) 0,
es decir, usando que
1

2
= sin(45

) = cos(45

), nos basta con demostrar que

5

2
cos(2A45

) cos(2B + 45

) cos(2A2B + 45

),
siendo claramente el miembro de la derecha menor o igual que 3 por ser la suma de
tres elementos cuyo valor absoluto es a lo sumo 1, mientras que el miembro de la
izquierda es mayor que 3, pues 5 =

25 >

18 = 3

2, con lo que queda probado

el resultado pedido.
1
PROBLEMA 195, (original de Dan Branzei, Iasi, Rumana; propuesto por el
editor)
Dado el triangulo ABC, de semipermetro s, se dene t =
sr
R
(notaciones habit-
uales).
1) Demostrar que min(a, b, c) > t.
2) Demostrar que existe un triangulo de lados
a

=

a(a t), b

=

b(b t), c

=

c(c t).
Solucion por Daniel Lasaosa Medarde, Universidad P ublica de Navarra, Pam-
plona, Espa na
1) Como sr = S, siendo S el area de ABC, tenemos que t =
S
R
=
abc
4R
2
, con lo
que por el teorema del seno, c > t si y solo si 1 >
ab
4R
2
= sinAsinB, siendo esta
desigualdad claramente cierta.
2) Es conocido que a, b, c son los lados de un triangulo no degenerado si y solo si
2a
2
b
2
+2b
2
c
2
+2c
2
a
2
a
4
b
4
c
4
= (a+b +c)(b +c a)(c +ab)(a+b c) > 0,
siendo en ese caso, por la formula de Heron, el miembro de la izquierda igual a
16S
2
, donde S es el area del triangulo de lados a, b, c. Tenemos entonces que
2a
2
b
2
+2b
2
c
2
+2c
2
a
2
a
4
b
4
c
4
= 16S
2
+t
2

2ab + 2bc + 2ca a
2
b
2
c
2

+
+2t

a
3
+ b
3
+ c
3
ab(a + b) bc(b + c) ca(c + a)

.
Ahora bien,
(a + b + c)

a
3
+ b
3
+ c
3
ab(a + b) bc(b + c) ca(c + a)

=
= a
4
+b
4
+c
4
2a
2
b
2
2b
2
c
2
2c
2
a
2
2abc(a +b +c) = 16S
2
2abc(a +b +c),
(a + b + c)
2

2ab + 2bc + 2ca a
2
b
2
c
2

=
= a
4
b
4
c
4
+2a
2
b
2
+2b
2
c
2
+2a
2
c
2
+8abc(a +b +c) = 16S
2
+8abc(a +b +c).
Sustituyendo la denicion de t, tenemos entonces que
2a
2
b
2
+ 2b
2
c
2
+ 2c
2
a
2
a
4
b
4
c
4
=
= 16S
2
+
r
2
(16S
2
+ 8abc(a + b + c))
4R
2

r(16S
2
+ 2abc(a + b + c))
R
=
4S
2
r
2
R
2
.
Como esta cantidad es positiva, tenemos que, en efecto, a

, b

, c

son los lados de

un triangulo. Notese ademas que hemos probado que el area S

de este triangulo
cumple S

= S
r
2R
; en el caso de que ABC fuera equilatero, se tendra que 2r = R,
con lo que sera S

=
S
4
, claramente cierto ya que tambien sera t =
s
2
=
3a
4
,
a

= b

= c

=
a
2
=
b
2
=
c
2
, siendo entonces a

, b

, c

los lados de un triangulo

equilatero de longitud mitad, con lo que el area en efecto sera la cuarta parte.
1
Problema 196
Gustavo Espnola Mena (Capiata, Paraguay)
Sea p un n umero primo. Demostrar que
p

k=0
(p + k 1)(p + k 2)...(k + 1) 2(modp) (1)
Demostracion: Se observa, en la ecuacion (1), que el miembro de la izquier-
da se puede escribir como
p

k=0
(k + 1)...(k + p 2)(k + p 1) (2)
As, para k = 0, se cumple el Teorema de Wilson:
(1)(2)...(p 2)(p 1) = (p 1)! 1(modp) (3)
Cuando k = 1, 2, ..., p 1, la sumatoria queda:
p1

k=1
p1

j=1
(k + j) (4)
Luego, existe alg un j = p k tal que la productoria resulta en un m ultiplo
de p:
p1

k=1
p1

j=1
(k + j) 0(modp) (5)
Y si k = p, el producto queda as:
(p+1)(p+2)...(p+p1) = p
n1
+a
1
p
n2
+...+a
n2
p+(p1)! 1(modp) (6)
Sumando (3), (5) y (6), se llega a la equacion (1), tal como se quera de-
mostrar.
1
PROBLEMA 197, (propuesto por Laurentiu Modan, Univ. de Bucarest, Ru-
mana)
Se considera un cuadrilatero inscrito en una circunferencia de radio R. Sean
, , , los angulos subtendidos por los lados en el centro de la circunferencia.
i) Hallar una expresion para el area S del cuadrilatero en funcion de , , , .
ii) Si en la expresion para S los terminos que dependen de los angulos son todos
iguales, y =

3
, hallar los valores de los lados y angulos del cuadrilatero.
Solucion por Daniel Lasaosa Medarde, Universidad P ublica de Navarra, Pam-
plona, Espa na
i) Supondremos sin perdida de generalidad que , , , son respectivamente los
angulos AOB, BOC, COD, DOA, siendo O el circuncentro de ABCD. Si O
es interior al cuadrilatero ABCD, entonces + + + = 2, y tenemos que el
area de ABCD es la suma de las areas de OAB, OBC, OCD, ODA, siendo ademas
el area de OAB igual a
[OAB] =
R
2
sin
2
,
y de forma similar para los otros tres triangulos. Llegamos entonces a la expresion
S =
R
2
(sin + sin + sin + sin)
2
.
Si el circuncentro O esta en un lado de ABCD, sin perdida de generalidad AB,
entonces el razonamiento y el resultado son identicos, salvo que = 180

, con lo
que el termino correspondiente se anulara. Finalmente, si el circuncentro O es
exterior al cuadrilatero ABCD, existe un lado, sin perdida de generalidad AB, tal
que los otros dos vertices C, D, estan en el lado opuesto al circuncentro O, respecto
de la recta AB. El area S es entonces la suma de las areas de BOC, COD, DOA,
menos el area de AOB. Sin embargo, si denimos el angulo AOB como el angulo
comprendido entre las semirrectas OA, OB y que no deja a C, D en su interior,
entonces AOB > , con lo que su seno sera negativo, y sigue siendo valida la
expresion anterior.
ii) Si los terminos que dependen de los angulos son todos iguales, tenemos en-
tonces que
sin = sin = sin = sin,
con lo que , , {

3
,
2
3
}, y ademas + + =
5
3
. Claramente, dos de entre
, , han de ser iguales a
2
3
, y el tercero igual a

3
. Ademas,
DAB =
+
2
, ABC =
+
2
, BCD =
+
2
, CDA =
+
2
,
al ser el angulo subtendido desde un vertice igual a la mitad del angulo subtendido
desde el circuncentro. Restaurando la generalidad, obtenemos que, bien DAB =
ABC = BCD = CDA =

2
, bien dos de ellos (opuestos) son rectos, siendo
los otros dos

3
y
2
3
. En el primer caso, los lados miden todos R

2 y ABCD
es un cuadrado, y en el segundo caso dos lados contiguos miden R

3, formando
entre ellos un angulo de

3
, y los otros dos lados (perpendiculares a los anteriores)
miden R, formando entre ellos un angulo de
2
3
; es un caso particular de lo que
en ingles se denomina kite (cometa, o cuadrilatero cuyas diagonales se cortan
perpendicularmente, y con simetra de reexion sobre una de ellas).
1
PROBLEMA 198, (propuesto por el editor)
Sea M un punto interior al triangulo ABC, y N, P, Q los puntos en que una recta
corta a los lados AB, BC y a la prolongacion de CA. Utilizamos la notacion [. . . ]
para representar el area del polgono cuyos vertices se escriben entre los corchetes.
Demostrar que si
[MAN]
[MBN]
+
[MBP]
[MCP]
= 2

[MAQ]
[MCQ]
,
entonces la recta NPQ es antiparalela de CA con respecto a AB y BC.
(el problema no es nuevo. Se dara noticia de su procedencia cuando se publique
la solucion)
Solucion por Daniel Lasaosa Medarde, Universidad P ublica de Navarra, Pam-
plona, Espa na
Sea =
AN
NB
, =
BP
PC
, claramente reales positivos ambos, con lo que por el
teorema de Menelao
AQ
QC
= . Ahora bien, la altura desde M sobre AB coincide
con la altura sobre AN y sobre BN, con lo que
[MAN]
[MBN]
=
AN
BN
= , y de forma
similar para los otros dos cocientes entre areas, de donde obtenemos
+ = 2

.
Por la condicion de igualdad en la desigualdad entre medias aritmetica y geometrica,
tenemos que la condicion dada en el enunciado es equivalente a = .
Ahora bien, el que la recta NPQ sea la antiparalela de AC respecto de AB y
BC es, por denicion, equivalente a que ABC sea semejante a PBN, o lo que es lo
mismo, que
BP
AB
=
BN
BC
. Pero
BC
BP
= 1+
PC
BP
=
+1

, mientras que
AB
BN
= 1+
AN
NB
= 1+
, con lo que el que NPQ sea la antiparalela de AC es equivalente a
AB
2
BC
2
=
(1+)
1+
.
Como podemos elegir independientemente la relacion entre los lados AB, BC, y los
parametros reales positivos y , el que = no implica necesariamente que las
rectas sean antiparalelas. Claramente, en la situacion descrita (en la que como ya
se ha visto es necesario que = ), las rectas mencionadas seran antiparalelas si y
solo si la recta NPQ se elige de forma que = =
AB
2
BC
2
.
1
Problema 199.- (Propuesto por el editor).
Demostrar que

=
<
1
2
2
1
arctan
n
n

.

Resolucin: Vicente Vicario Garca, Huelva, Espaa.

Daremos dos soluciones diferentes al problema, una totalmente elemental y otra
en la que se recurre a la conocida suma de Euler para el famoso problema de Basilea
6
1
) 2 (
2
1
2

= =

= n
n
.

1 Demostracin. Utilizaremos dos lemas sencillos que demostramos a continuacin.
Lema 1: La funcin x x f arctan ) ( = es estrictamente creciente en el intervalo
( ) 2 / , 0 .
Basta con observar que 0
1
1
) (
2
>
+
=
x
x f en todo el intervalo considerado.
Lema 2:Si 0 > x se cumple que

=
=
+
1
2
2 ) 1 ( 1
arctan
n
x n n
x
.
Para la demostracin basta emplear la identidad
ab
b a
b a
+

=
1
arctan arctan arctan con
nx a arctan = y x n b ) 1 arctan( = , para obtener

x n nx
x n nx
x n nx
x n n
x
) 1 arctan( arctan
) 1 ( 1
) 1 (
arctan
) 1 ( 1
arctan
2
=
+

=
+


Por otra parte, la suma parcial n-sima de la serie anterior es claramente

nx x n nx
x x x x x S
n
arctan ) ) 1 arctan( (arctan
) 2 arctan 3 (arctan ) arctan 2 (arctan ) 0 arctan (arctan
=
+ + + + =


y, en consecuencia
0 ,
0 ,
0 ,
2 /
0
2 /
arctan
) 1 ( 1
arctan
1
2
<
=
>

= = =
+
+

x
x
x
nx lm S lm
x n n
x
n
n
n
n

Finalmente, considerando 1 = x en el lema anterior y como 1 n tenemos que
1
1 1
1
2 2
2 2
+
+
n n n
n n n , entonces aplicando lema 1, llegamos al resultado
pedido:
2 1
1
arctan
1
arctan
1
2
1
2

=
+
<


=

= n n
n n n
.

2 Demostracin. Emplearemos aqu la famosa suma de Euler y el siguiente lema que
demostramos a continuacin.

Lema: Tenemos la desigualdad x x < arctan , ( ) 2 / , 0 x .
Para la demostracin basta aplicar el teorema del valor medio de Lagrange a la funcin
x x f arctan ) ( = , en ) , 0 ( x y observar que

2
1
1
0
0 arctan arctan
c x
x
+
=

con 1
arctan
) , 0 ( <
x
x
x c , ( ) 2 / , 0 x

Ahora, basta aplicar el lema y observar la desigualdad

2
1
6 4
1
4
1 1
arctan
2
2
2
1
2
1
2

<
|
|
.
|

\
|
+ = + = <


=

= n n n
n n n


que es cierta ya que 12 3 2
2
+ < , (que se comprueba con una aproximacin sencilla
de ), lo que concluye la demostracin.

---oooOooo---


Problema 200
Xavier Ros
Problema. Determinar, en funcion del parametro real a, el n umero de
races de la ecuacion
a
x
= log
a
x.
Solucion. En primer lugar, notemos que la funcion log
a
x es por denicion
la inversa de la funcion a
x
, y que esta denida solo para a > 0, a = 1.
De este modo, denotando f(x) = a
x
, la ecuacion se puede escribir como
f(x) = f
1
(x), o equivalentemente,
f(f(x)) = x.
Ademas, la funcion f es creciente para a > 1 y decreciente para a < 1.
A continuacion demostraremos que si f es una funcion monotona, en-
tonces los puntos jos de f f son exactamente los puntos jos de f, es
decir, que si f es monotona y f(f(x)) = x, entonces f(x) = x.
Supongamos f(x) < x y f creciente, y veamos que f(f(x)) < x. Sea
I = (a, b) el maximo intervalo que contiene x y que cumple f(y) < y para
todo y I (puede ser a = y/o b = +). Si a > , entonces f(a) a
(por denicion de I) y, como f es creciente, tenemos que a < x implica
a f(a) < f(x). Analogamente, si b < +, entonces f(x) < b, y por lo
tanto, tendremos que f(x) I, y por denicion de I, f(f(x)) < f(x), de
donde f(f(x)) < x. De la misma forma, se demuestra que si f es creciente
y f(x) > x, entonces f(f(x)) > x, y lo mismo para f decreciente.
De este modo, el n umero de soluciones de la ecuacion f(f(x)) = x es
el mismo que el de soluciones de f(x) = x, por lo que hemos reducido el
problema a calcular el n umero de puntos jos de la ecuacion
a
x
= x.
Denimos la funcion auxiliar g(x) = a
x
x, y notemos que los ceros de
g seran los puntos jos de f.
Si 0 < a < 1, tendremos que g(0) = 1 > 0 y g(1) = a 1 < 0, y por
el Teorema de Bolzano g tiene un cero en (0, 1). Ademas, tendremos que
g

(x) = a
x
ln a 1 < 0 y por el Teorema de Rolle la funcion no podra tener
mas de un cero. Por lo tanto, si 0 < a < 1 el n umero de soluciones de la
ecuacion es 1, y dicha solucion se encuentra en el intervalo (0, 1).
Si a > 1, entonces g

(x) = a
x
ln a 1 y g

(x) = a
x
ln
2
a > 0. Como
la derivada segunda no se anula en ningun punto, entonces aplicando el
Teorema de Rolle dos veces obtenemos que g tiene a lo sumo dos ceros.
Como
lm
x
g(x) = +,
el mnimo absoluto de g se encuentra en el punto donde la derivada vale
cero, es decir, x
min
= ln ln a/ ln a. La funcion g tendra uno, dos o ningun
cero dependiendo de si este mnimo absoluto es cero, negativo o positivo,
respectivamente. Como
g(x
min
) =
1
ln a
+
ln ln a
ln a
=
ln(e ln a)
ln a
,
entonces el signo de este mnimo sera positivo si ln a > e, negativo si ln a < e
y cero si ln a = e, as que nalmente tendremos que la funcion f tiene dos
puntos jos si 1 < a < e
1/e
, un punto jo si a = e
1/e
, y ningun punto jo si
a > e
1/e
.
Comentario de libros, noticia de congresos y de pginas web 41
RESEA BREVE DE TRES LIBROS RECIENTES
C. Alsina & R. Nelsen, Charming Proofs ( A J ourney into Elegant
Mathematics, Dolciani Mathematical Expositions # 42, Mathematica
Association of America, 2010.
La fecunda colaboracin entre Alsina y Nelsen (han publicado, con ste, por
lo menos tres libros juntos) ha dado, en este caso, un libro a mi entender
indispensable en la biblioteca de cualquier profesor, sea del nivel que sea.
El adjetivo elegante, aplicado a una demostracin o una solucin es,
lgicamente, subjetivo, porque entre otras cosas depende de las fuentes
que los autores hayan podido consultar, pero el ttulo es sin duda
apropiado. Todas las soluciones y demostraciones han sido cuidadosamente
seleccionadas para formar un verdadero ramillete de ejemplos brillantes de
las Matemticas. No me resisto a reproducir la dedicatoria: Dedicado a
nuestros muchos estudiantes, con la esperanza de que hayan disfrutado de
la belleza de las matemticas, y que (quiz inconscientemente) nos han
inspirado a escribir este libro.
Le Hai Chau & Le Hai Khoi, Selected problems of the
VietnameseMathematical Olympiad ( 1969 2009) ; Mathematical
Olympiad Series, vol. 5; World Scientific, Singapore, 2010.
Los excelentes resultados obtenidos por VietNam en la I.M.O. hacan
largamente esperado un libro como ste. En su primer captulo, titulado The
Gifted Students, se da amplia informacin sobre la Olimpiada vietnamita, el
sistema educativo de ese pas, los centros de excelencia para los buenos
estudiantes y la participacin en la Olimpiada Internacional. Despus de
unos conceptos bsicos, se desarrollan 230 problemas de la Olimpiada de
VietNam, con sus soluciones, distribuidos de la manera siguiente: 63 de
lgebra, 62 de Anlisis, 42 de Teora de Nmeros, 15 de Combinatoria y 48
de Geometra. Dicen los autores: Debe observarse que los problemas
presentados en este libro son de un nivel de dificultad moderado. En el
futuro esperamos publicar otro libro con problemas de la Olimpiada de
VietNam verdaderamente difciles.
Ante esta confesin de parte, hay que reconocer que el concepto de nivel
de dificultad en el extremo Oriente es muy diferente del que se tiene aqu,
en el Suroeste de Europa. Claro que los niveles de exigencia a los
estudiantes en uno y otro lado tampoco tienen nada que ver
Elijo al azar uno de los problemas, del ao 2003, y de los que se proponen
como de serie B, para estudiantes de las ciudades pequeas y de las
reas rurales:
Dado el nmero real 0 , se define la sucesin ( )
n
x mediante
( )
1 1
0; 1, 1
n n
x x x n
+
= + = +
1) Encontrar una frmula general en funcin de n para el trmino
general de la sucesin.
2) Demostrar que es convergente y calcular su lmite.
Debo decir que estoy expectante ante los anunciados en el futuro
prximo problemas verdaderamente difciles.
Bruce Shawyer, Explorations in Geometry; World Scientific,
Singapore, 2010.
Los suscriptores de CRUX MATHEMATICORUM acabamos de recibir, en
papel, el nmero de octubre de 2010 de la revista. En l aparece un
comentario ms extenso que ste sobre el libro de referencia, a cargo de
J. Chris Fisher, de la Universidad de Regina (Saskatchewan, Canad
Central). Dicen que no hay peor cua que la de la misma madera
(Shawyer es Profesor emrito de la Universidad de Terranova).
El libro contiene un elevado nmero de problemas interesantes de
geometra eucldea y se supone dirigido a estudiantes del primer ao
universitario y de Olimpiadas. Las notas tericas que figuran al principio
son objeto de aceradas crticas por parte de Fisher, sobre todo por la
falta de detalles en las demostraciones de algunas proposiciones
importantes. Por otro lado, es un libro con un alto nmero de erratas de
imprenta, algo impensable si se tiene en cuenta que la editorial es la
misma que hace ya muchos aos public uno de los mejores libros de
Combinatoria, Principles and Techniques in Combinatorics, de Chen y
Koh (1992). Pero, pese a todo, el libro de Shawyer es interesante y
conviene tenerlo en nuestra biblioteca.
Valladolid, 24 de enero de 2011
Francisco Bellot Rosado
SOBRE LA REGLA DE RUFFINI
Una breve nota tomada del libro Higher Algebra, de Barnard y Child (MacMil-
lan 1936)
Francisco Bellot Rosado
En el tercer captulo del libro mencionado, adems de la regla de Runi en
el sentido clsico, se ofrecen algunas generalizaciones de inters.
1)Para dividir un polinomio A(x) por ax b :
Se halla el cociente Q y el resto R de la divisin de A(x) por x
b
a
; entonces
Q
a
y R son, respectivamente, el cociente y el resto buscados.
En efecto, se tiene
A(x) =

x
b
a

Q(x) + R = (ax b)
Q(x)
a
+ R:
Ejemplo:
Dividir x
3
+ 2x
2
3x 4 por 2x 1 :
1 2 3 4
1
2
)
1
2
5
4

7
8

1
5
2

7
4

39
8
Entonces el cociente buscado es
1
2

x
2
+
5
2
x
7
4

y el resto,
39
8
:
2) Si el divisor es de segundo grado, o mayor, el proceso a seguir es el
siguiente:
Supongamos que se quiere dividir 4x
4
+ 3x
3
+ x 1 por x
2
2x + 3:
Lo primero que se hace es escribir el divisor en la forma x
2
(2x 3) :
4 3 0 1 1
12 33 30 (a)
2; 3) 8 +22 +20 (b)

4 11 10 12 31 (c)
El primer trmino de la la (c) es 4; 4(2 3) = 8 12; se pone 8 en la la
(b) y -12 en (a); 8+3 = 11; 11 (2 3) = 22 33; se pone 22 en (b) y -33 en (a);
y as sucesivamente.
Se puede comparar la regla con el mtodo de la divisin "con caja", para
justicarlo.
El cociente es 4x
2
+ 11x + 10 y el resto 12x 31:
1
3) Expresar f(x) = 4x
4
+ 3x
3
+ x 1 en la forma
a

x
2
2x + 3

2
+ (bx + c)

x
2
2x + 3

+ dx + e;
donde a; b; c; d; e son constantes.
Se divide, como en 2), f(x) por x
2
2x +3: El cociente es 4x
2
+11x +10 y
el resto 12x 31:
A continuacin se divide 4x
2
+ 11x + 10 por x
2
2x + 3 :
4 11 10
12
(2 3) 8

4 19 2
El cociente es 4 y el resto 19x 2:Entonces
4x
4
+ 3x
3
+ x 1 = 4

x
2
2x + 3

2
+ (19x 2)

x
2
2x + 3

12x 31:
El libro de Barnard y Child es la nica fuente donde he encontrado estos
trucos algebraicos. Actualmente, los programas de clculo simblico realizan
estas operaciones con bastante rapidez.
2