Revista Escolar de la Olimpada Iberoamericana de Matemtica

Nmero 30 (marzo - abril 2007)

ISSN 1698-277X

ndice

Artculos, notas y lecciones de preparacin olmpica

Ecuaciones funcionales (I parte), por Daniel Lasaosa Medarde

Problemas para los ms jvenes (29)
Algunos problemas propuestos en competiciones croatas.

Problemas de nivel medio y de olimpiadas (28)
Soluciones a tres problemas de la IMO 2007, por Daniel Lasaosa

Problemas
El editor presenta excusas al Prof. Vicente Vicario, por haber omitido su
nombre entre quienes resolvieron los problemas 138 y 139, y al mismo tiempo
recuerda que las soluciones a problemas distintos deben enviarse en ficheros
distintos, para evitar omisiones.
Problemas resueltos

Problema 141. Solucin con correccin al enunciado, por Ovidio Furdui,
Kalamazoo, USA.
Problema 142. Recibidas soluciones de Dan Dobrovolschi, Bucarest, Rumania;
Francisco Javier Garca Capitn, Priego, Espaa; Samuel Gmez Moreno, Jan,
Espaa; Daniel Daro Gngora Garca, Carabaillo, Lima, Per; Daniel Lasaosa
Medarde, Pamplona, Espaa; y el proponente. Presentamos la solucin de
Garca Capitn.

Problema 143. Recibidas soluciones de: Daniel Lasaosa Medarde, Pamplona,
Espaa; Paolo Perfetti, Universit degli studi Tor Vergara, Roma, Italia;
Miquel Roig, Valencia, Espaa; y el proponente. Se ha recibido adems otra
solucin con un pequeo error de clculo.
Presentamos tres soluciones: la del proponente, Ovidio Furdui; la de Perfetti y
la de Roig, las dos primeras excepcionalmente en ingls. Se deja a la
curiosidad del lector el verificar que desarrollando los dobles factoriales o
utilizando las propiedades de la funcin gamma se llega al mismo resultado
que en la tercera solucin publicada (de Roig).

Problema 144. Recibidas soluciones de: Jos A. Barrera Gmez, Matar,
Espaa; Angel Mario Gallegos Baos; Francisco Javier Garca Capitn, Priego,
Espaa; Daniel Daro Gngora Garca, Carabaillo, Lima, Per; Jos Hernndez
Santiago, Oaxaca, Mxico; Kee-Wai Lau, HongKong, China; Daniel Lasaosa
Medarde, Pamplona, Espaa; Antonio Ruiz Lozano, Sevilla, Espaa; Bruno
Salgueiro Fanego, Vivero, Espaa; y el proponente.
Presentamos la solucin de Garca Capitn.

Problema 145. Recibidas soluciones de: Miquel Roig, Valencia, Espaa; Daniel
Lasaosa Medarde, Pamplona, Espaa; Vicente Vicario Garca, Huelva, Espaa;
y el proponente. Presentamos la solucin de Lasaosa.



Problemas propuestos 146-150

Comentario de pginas web
Olimpada Mexicana de Matemtica.

Divertimentos matemticos
Gdel, ciudadano americano - Divulgamat

Editor: Francisco Bellot Rosado


Con el apoyo de la Subdireccin General de Cooperacin Internacional

Daniel Lasaosa Medarde (2007)
1


Algunas tcnicas de resolucin de ecuaciones
funcionales en problemas de Olimpiada (I):
Funciones reales de variable real

En esta leccion de preparacion olimpica se pretende presentar e ilustrar con
ejemplos algunas de las tecnicas basicas de resolucion de ecuaciones Iuncionales, o de
tecnicas para utilizar en problemas de Olimpiada en los que una ecuacion Iuncional
juega un papel clave. En esta primera entrega, consideramos el caso de Iunciones real
de variable real. Las Iunciones enteras de variable entera seran objeto de una segunda
entrega.

1.- Evaluacin de la ecuacin en valores ~simplificadores

En multitud de casos, la ecuacion Iuncional se simpliIica mucho al evaluar una o
mas de las variables involucradas en ciertos valores, tales como 0 o 1, o igualando entre
si alguna de las variables en Iuncion de las cuales se expresa la ecuacion Iuncional.
Este es un metodo 'basico, y la mayor parte de las veces se utiliza en conjuncion con
otros. Sin embargo, es importante no subestimar su potencia, ya que puede tener un
gran impacto a la hora de simpliIicar una ecuacion compleja, a la vez que, conociendo
el comportamiento de la Iuncion a hallar en ciertos casos concretos, podemos obtener
ideas que desemboquen en hipotesis sobre la Iorma o las propiedades de la Iuncion, que
despues pasaremos a demostrar Iormalmente. Se plantea como ejemplo el problema 4
de la XLII Olimpiada Matematica Espaola (2006):

Hallar todas las funciones :(0, ) que satisfacen la ecuacin
( ) ( ) ( ) 2



+ =




para todo par de nmeros reales e positivos, siendo un nmero real positivo
tal que ( )= == =1.
Daniel Lasaosa Medarde (2007)
2
Sustituyendo x=1, v=, se obtiene
( ) ( ) ( ) ( ) ( ) ( ) 2 1 1 1 2 2 f f f f f f = + = = ,
con lo que f(1)=1. Podemos entonces tomar v=1 en la ecuacion dada:
( ) ( ) 2 f x f f x
x

+ =


; ( ) f f x
x

=


.
Utilizando esta ultima relacion,
( ) ( ) ( ) 2 2 f x f v f xv = ,
y tomando Iinalmente sobre esta v=/x,
( ) ( ) ( ) ( )
2
1 f f x f f x
x

= = =


.
Esto nos deja con que f(x)=1 o f(x)=1. Pero para todo t>0, existe un :>0 real tal que
t=:
2
. Entonces, tomando x=v=:, se tiene que
( ) ( ) ( ) ( ) ( )
2 2
2
1 1 f t f : f : = = = = .
Luego la unica solucion posible es f(x)=1 para todo x.



Otro ejemplo similar puede verse en el problema 5 de la XLIII Olimpiada Matematica
Internacional (2002):

Hallar todas las funciones : tales que, para cualesquiera , , , reales,
( ) ( ) ( ) ( ) ( ) f x f v f u f v f xu vv + + =

.

Con la sustitucion x=v, v=u, se obtiene trivialmente que, para cualesquiera x, v reales,
( ) ( ) ( )
2
0 f x f v f + =

.
En particular, tomando ahora x=v=0,
( ) ( ) 4 0 1 0 0 f f =

.
Se tiene pues la solucion trivial f(0)=0, que lleva a f(x)=0 para todo x real tras tomar v=x
en la primera ecuacion que hemos hallado,
( ) ( )
2
4 0 0 f x f = =

,
Daniel Lasaosa Medarde (2007)
3
o bien f(0)=1/4. En este segundo caso, tomamos primero v=x, y luego v=0, en la
ecuacion que hemos hallado, y obtenemos respectivamente, para cualquier x real,
( ) ( )
2 1
4 0
4
f x f = =

; ( )
1 1
16 4
f x = = .
( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2 2 1 3
0 2 0 0 0
2 16
f x f f x f f f x f x = + + = +

.
Ahora bien, por simple sustitucion, comprobamos que 1/4 no es una raiz de la segunda
ecuacion, mientras que 1/4 si lo es. Luego en este segundo caso, f(x)=1/4 para todo x
real. Luego las soluciones de esta ecuacion son dos, f(x)=0 para todo x real, y f(x)=1/4
para todo x real, y no hay otras soluciones.



Otras veces, la simpliIicacion se obtiene a base de realizar un cambio de variable, como
en el caso del problema 1 de la II Olimpiada Iberoamericana de Matematica (1987):

Encontrar las () tales que
( )
2 1
64
1
x
f x f x
x
|
= (


'

para 0, 1, 1.

En este caso, es Iacil comprobar que la sustitucion x(1x)/(1+x) produce
1 2
1
1
1 1
1 2
1
1
1 1
x x
x
x x
x
x
x
x x

+ +
= =

+
+
+ +
,
donde la simpliIicacion es posible al no ser x=1. Realizando pues esta sustitucion en la
ecuacion del enunciado, se tiene que, para todo x distinto de 1,
( )
2
1 1
64
1 1
x x
f f x
x x
( |
=
(

'
.
Elevando al cuadrado la ecuacion dada, y dividiendo miembro a miembro por esta
ultima, se tiene
Daniel Lasaosa Medarde (2007)
4
( )
( )
( )
( )
2
4
2
2 2
3
2
1
64 1 1 64
1
1
1
64
1
1
x
f x f
x x x x
f x
x
x
x
f f x
x
x
( |
(

(

'
= = = (



( |

(

'
.
Notese que podemos simpliIicar el segundo termino de la cadena de igualdades ya que,
segun la ecuacion dada en el enunciado,
1
0 0
1
x
f x
x

= =

+

.
Finalmente, tomando la raiz cubica de los miembros primero y ultimo de la ecuacion
que acabamos de hallar, se llega a la solucion Iinal:
( )
( )
2
3
1
4
1
x x
f x
x
+
=

.
Esta expresion es valida para x1,0,1. No podemos decir nada cuando x toma uno de
estos ultimos tres valores, ya que aparte de la ecuacion inicial no tenemos mas datos.
Notese que, en este caso particular, lo unico necesario para resolver el problema
ha sido el cambio de variable adecuado y sencillas manipulaciones algebraicas; el paso
clave es dar con el cambio de variable apropiado que produce la maxima simpliIicacion.



2.- Inyectividad y suprayectividad

Una de las simpliIicaciones que nos permite utilizar el conocer que la Iuncion
incognita f(x) es inyectiva, es el que, ante una igualdad de la Iorma f(A)=f(B), se deduce
directamente que A=B, donde A y B pueden ser expresiones que contengan tanto a la
Iuncion incognita, como a variables y a constantes, Asi, si se nos pidiera calcular todas
las Iunciones inyectivas tales que
( ) ( ) ( ) ( )
f x f v f v f x + = + ,
sabriamos directamente que
( ) ( ) x f v v f x + = + .
Sustituyendo ahora v=0, habriamos acabado, pues tendriamos que
( ) f x x k = + ,
Daniel Lasaosa Medarde (2007)
5
donde k=f(0) puede tomar a priori cualquier valor. Sustituyendo esta solucion general
en la ecuacion dada, veriamos que es cierta para cualquier k, con lo que esta seria la
solucion general (y unica) del problema.
Si no sabemos a priori si una Iuncion incognita f(x) es inyectiva o no, puede ser
un avance muy importante en la resolucion del problema el demostrar que si lo es. Las
Iunciones inyectivas cumplen que, para cualesquiera x e v tales que f(x)=f(v), entonces
x=v. Esto nos ayuda a encontrar Iormas de probar la inyectividad, sobre todo si somos
capaces de encontrar una relacion de la Iorma f(f(x))=A, donde A es una expresion que
depende de Iorma inyectiva de x (por ejemplo, A=ax+b, donde a0 y b son constantes).
En este ultimo caso, podemos decir que, si x e v son tales que f(x)=f(v), entonces
( ) ( ) ( ) ( )
ax b f f x f f v av b + = = = + ,
de donde x=v, y la inyectividad queda demostrada.

Otra Iorma de poder llegar a simpliIicar mucho ciertas ecuaciones Iuncionales es
poder asignar ciertos valores a f(x) o a f(v) a voluntad. Por ejemplo, ciertas ecuaciones
Iuncionales pueden resolverse sin mas que hacer f(x)=0. Sin embargo, para eso es
necesario tener garantizado que existe un x tal que f(x)=0. Eso se puede conseguir de
dos Iormas: bien demostrando la suprayectividad de la Iuncion (es decir, que la Iuncion
toma todos los posibles valores reales), bien llegando a una relacion de la Iorma f(A)=0,
donde A es una expresion cualquiera. Por muy complicada que sea la expresion A, lo
que si tenemos garantizado es que la Iuncion f(x) toma el valor 0 para algun valor real
de la variable . Realizando entonces la sustitucion x=, y teniendo en cuenta que
ahora x ya no es una variable, sino que toma un valor concreto, podemos simpliIicar la
ecuacion Iuncional. A partir de esa sustitucion, es posible incluso que, tras la
simpliIicacion, nos quede una relacion de la cual seamos capaces de deducir el valor de
, con lo que seguiriamos avanzando hacia la solucion.
Notese Iinalmente que no es necesario que sea la Iuncion la que tome todos los
valores reales posibles; puede ser una expresion que depende de la Iuncion, la suma o
diIerencia de dos valores de la Iuncion, etc. De lo que se trata es de poder demostrar
que existe una expresion que depende de la Iuncion que puede tomar cualquier valor,
para poder asignarselo a voluntad.
Un ejemplo del uso de la suprayectividad lo podemos ver en el problema 6 de la
XL Olimpiada Matematica Internacional (1999):
Daniel Lasaosa Medarde (2007)
6
Encuentre todas las funciones : tales que
( ) ( ) ( ) ( ) ( ) ( ) 1 f x f v f f v xf v f x = + + para cualesquiera , .

Comenzamos en este caso haciendo x=f(v), encontrando que
( ) ( ) ( ) ( ) ( )
2
0 2 1 f f f v f v = + ;
( ) ( ) ( )
( ) ( )
2
1 0
2
f f v
f f v
+
= .
Sustituimos ahora, en la ecuacion inicial, x por f(:):
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( ) ( )
2
1
0 ,
2
f f : f v f f v f : f v f f :
f : f v
f
= + +

=

donde hemos aplicado la Iormula hallada para f(f(v)). Ahora bien, si f(:)f(v) pudiera
tomar todos los valores reales, habriamos acabado. Pero eso es cierto, ya que podemos
escribir, partiendo de la ecuacion dada en el enunciado,
( ) ( ) ( ) ( ) ( ) ( ) 1 f x f v f x f f v xf v = + .
Eligiendo ahora un v tal que f(v) sea no nulo (que existe, pues haciendo f(x)=f(v)=0 en la
ecuacion dada llegariamos a 0=1, que es obviamente Ialso), podemos tomar, para
cualquier t real,
( ) ( )
( )
1 t f f v
x
f v
+
= ,
( ) ( )
( )
( )
( ) ( )
( )
1 1 : f f v : f f v
f f v f t
f v f v
+ +
=


.
Notese que, por muy complicada que sea esta expresion, lo que si nos garantiza es que
cualquier real t se puede expresar como la diIerencia de la Iuncion en dos puntos, es
decir, existen u y v tales que t=f(u)f(v). Se tiene entonces que, para todo real t, existen
u y v reales tales que
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( )
2
2
0 0
2 2
f u f v
t
f t f f u f v f f

= = = .
Nos Ialta tan solo hallar el valor de f(0), para lo que podemos sustituir la expresion dada
en la ecuacion del enunciado, llegandose a
Daniel Lasaosa Medarde (2007)
7
( )
( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( )
( ) ( )
( ) ( )
2
2
2
2
2
0 1
2
0 0 1;
2 2
x f v xf v
f f x f v f f v xf v f x
f v
x
f xf v f
+
= = + +
= + +

Por comparacion directa de los miembros primero y ultimo, vemos que la mayor parte
de los sumandos se simpliIican, llegandose trivialmente a
( ) 0 1 f = .
Luego solucion (que es unica) es
( )
2
1
2
x
f x = .
para todo real x.



3.- Aditividad y multiplicatividad

Una Iuncion f se dice aditiva si para cualesquiera x e v se cumple que
( ) ( ) ( ) f x v f x f v + = + .
A partir de esta relacion, se puede demostrar trivialmente que f(0)=0 (basta hacer v=0),
y por induccion que, para cualquier natural n,
( ) ( ) f nx nf x = ;
( ) f x
x
f
n n

=


.
Como ademas, haciendo x=v,
( ) ( ) ( ) 0 0 f f x f v = = + , ( ) ( ) ( ) f v f x f v = = ,
el resultado se extiende trivialmente a n entero. De aqui se sigue que, para cualquier
racional q=m/n (m y n enteros).
( )
( )
( ) ( ) 1 1
f m
m m
f q f f q f
n n n

= = = =


.
Entonces, si f es continua, deIiniendo cualquier irracional x mediante el limite de una
sucesion de numeros racionales, se puede ver que f(x)=xf(1). Llamando pues f(1)=m,
hemos demostrado que la unica solucion posible para Iunciones f aditivas y continuas es
( ) f x mx = .
Daniel Lasaosa Medarde (2007)
8
Una relajacion nada desdeable en la condicion de continuidad es que esta puede
ser sustituida por la de monotonia; esto se debe a que podemos deIinir todo x irracional
como el limite de una sucesion de intervalos encajados de extremos racionales
(q
n,+
,q
n,
); entonces, la sucesion Iormada por (f(q
n,+
),f(q
n,
))=(q
n,+
f(1),q
n,
f(1)) deIine
f(x)=xf(1). Es decir, si tenemos una Iuncion f, real de variable real, y es monotona (es
decir, no decreciente o no creciente), y ademas es aditiva, entonces f(x)=mx para algun
m. Si ademas es estrictamente creciente o decreciente, entonces m es no nulo.

Una Iuncion se dice multiplicativa si para cualesquiera x, v reales,
( ) ( ) ( ) f xv f x f v = .
Es trivial comprobar que, si f(x)=0 para algun x no nulo, entonces f(:)=f(x)f(:/x)0 para
todo :, mientras que si f(0) es no nulo, entonces haciendo v=0 se concluye que f(x)=1
para todo x. Descartaremos en lo sucesivo estos dos casos triviales (que como se puede
comprobar, son las unicas Iunciones multiplicativas constantes).
Haciendo v=1, se comprueba que f(1)=1. Es trivial constatar, haciendo x=v=1,
que bien f(1)=1, bien f(1)=1. Haciendo v=1, se comprueba entonces que, en el
primer caso, f(x)=f(x) para todo x, y en el segundo que f(x)=f(x) para todo x. Es
tambien trivial comprobar que si :>0, tomando x=v= : , se tiene
( )
( ) ( )
2
f : f : = ,
es decir, f toma solo valores positivos para valores positivos de la variable. Nos basta
pues hallar la restriccion de f de Iorma que consideremos solo valores reales positivos
de la variable y de la Iuncion. Podemos entonces deIinir u=ln(x), v=ln(v), g(u)=ln(f(e
u
)),
para encontrar que g, deIinida para todos los reales (pues x e v recorren todos los reales
positivos) cumple
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
ln ln ln
ln ln .
u v
u v
g u v f e f xv f x f v
f e f e g u g v
+
+ = = =
= + = +

Entonces, si f es continua (o en su deIecto monotona), al ser el logaritmo natural una
Iuncion continua y estrictamente creciente, tambien g es continua (o en su deIecto
monotona). De aqui se obtiene Iinalmente que, para todo x>0,
( ) ( ) ( ) ( )
( )
( )
exp ln
m
g u u mu u m
f x f e e e e x = = = = = .
Daniel Lasaosa Medarde (2007)
9
Luego si f es una Iuncion multiplicativa, que ademas es continua, o por lo menos
monotona, entonces las unicas soluciones no triviales (no constantes) son f(x)=x
m
y
f(x)=,x
m
, para algun m no nulo, siendo las soluciones triviales f(x)=0 y f(x)=1.

Es muy importante la condicion de continuidad, o en su deIecto, de monotonia.
Obviamente, esta tecnica de resolucion se podria aplicar a Iunciones de variable entera,
natural o racional, pero solo si son monotonas (la continuidad obviamente no tendria
sentido en esos casos). Veremos asi, en la segunda entrega de esta serie de lecciones de
preparacion olimpica sobre ecuaciones Iuncionales, el caso de una Iuncion
multiplicativa, deIinida sobre los racionales positivos, no monotona, cuya solucion esta
muy lejos de tener la Iorma f(x)=x
m
.

Un ejemplo de la aplicacion de la aditividad, junto con otras tecnicas ya
descritas, se puede utilizar para resolver el problema 2 de la XXXIII Olimpiada
Matematica Internacional (1992):

Sea el conjunto de todos los nmeros reales. Encuentre todas las funciones :
tales que
( ) ( ) ( ) ( )
2
2
f x f v v f x + = + para cualesquiera , .

Para probar la inyectividad, nos basta con hacer x=0:
( ) ( ) ( ) ( )
2
0 f f v v f = + .
Como ya hemos visto, si ahora f(x)=f(v), entonces
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2 2
0 0 x f f f x f f v v f + = = = + , x v = .
Por otra parte, para cualquier valor real :, podemos tomar v=:(f(x))
2
:
( ) ( )
( ) ( )
( ) ( ) ( ) ( )
2 2 2
2
f x f : f x : f x f x : + = + = ,
con lo que f(x) es suprayectiva. En concreto, existe un real (unico por ser f inyectiva)
tal que f()=0. Entonces, haciendo x=v= en la ecuacion dada,
( ) ( ) ( ) ( ) ( )
2
2 2
f f f f = + = + = , ( ) ( ) ( ) ( )
( )
2
2 2
0 0 f f f f + = = = ,
Daniel Lasaosa Medarde (2007)
10
y como y f(0) son reales, y la suma de sus cuadrados es cero, entonces ambos son 0.
Luego f(0)=0, y por lo tanto f(f(v))=v. Ademas, haciendo v=0 en la ecuacion dada,
( ) ( ) ( )
2
2
f x f x = .
Esto implica que la imagen de cualquier valor real positivo es positiva, ya que cualquier
valor real positivo se puede escribir como x
2
con x no nulo. Por otra parte, haciendo
v=f(x
2
) en la ecuacion dada, tenemos que
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
2
2 2 2 2 2
0 0 f f x f f x f x f x f x f x = = + = + = + ,
de donde f(x
2
)=f(x
2
), o lo que es lo mismo, para todo : negativo, f(:)=f(:), y la
imagen de todo valor real negativo es negativa.
Sea ahora vf(:) en la ecuacion inicial. Entonces,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2
2 2
f x v f x f f v f v f x f v + = + = + ,
Con igualdad si y solo si f(x)=0, es decir, si y solo si x=0. Luego para cualquier :>v,
podemos encontrar x>0 tal que :=v+x
2
, y f(:)>f(v), con lo que f es estrictamente
creciente. Si llegamos pues a demostrar la aditividad de f (que parece relativamente
aparente a partir de la ecuacion Iuncional dada en el enunciado), entonces habremos
demostrado que la unica solucion es de la Iorma f(x)=mx con m>0. Veamos que es asi:
si al menos uno de u, v es positivo (sea u, sin perdida de generalidad), podemos tomar
u=x
2
, v=f(v) en la ecuacion Iuncional dada, con lo que
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2
2 2
f u v f x f f v f v f x f v f x f v f u + = + = + = + = + .
Si tanto u como v son negativos, entonces u y v son positivos, con lo que
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) f u v f u v f u f v f u f v + = + = + = + .
Luego f es aditiva, y como ya se ha visto, la unica solucion es de la Iorma f(x)=mx. Pero
entonces f(f(x))=m
2
x=x, con lo que m
2
=1. Como ademas ha de ser m>0, por ser f
estrictamente creciente, entonces f(x)=x es la unica solucion.






Daniel Lasaosa Medarde (2007)
11
4.- Puntos fijos

Un punto Iijo de una Iuncion f se deIine como aquel valor p de la variable tal que
f(p)=p. La existencia de puntos Iijos nos puede ayudar mucho a resolver la ecuacion
Iuncional, usualmente porque podemos expresar el valor de dicho punto Iijo a traves de
la propia Iuncion. Esta tecnica se combina en la mayoria de los casos con una de las
anteriores, a Iin de llegar a la solucion Iinal.
Un ejemplo de esta tecnica puede verse en una posible solucion del problema 1
de la XXIV Olimpiada Matematica Internacional (1983):

Encuentre todas las funciones definidas sobre el conjunto de los reales positivos y
que toman valores reales positivos, y que satisfacen las siguientes condiciones:
(i) (())= == =() para , reales positivos cualesquiera;
(ii) () 0 cuando .

Obviamente, f(x) es inyectiva; nos basta tomar x=1 en la condicion (i), con lo que
f(f(v))=vf(1) para todo real positivo v, con lo que si f(x)=f(v), entonces xf(1)=vf(1), y
como la Iuncion toma valores reales positivos, x=v. Al mismo tiempo, tambien es
suprayectiva, ya que nos basta con tomar v=:/f(1) en la anterior igualdad para cualquier
real positivo : (este valor de v existe y es real positivo, por serlo por deIinicion f(1)).
Ahora bien, tomando v=1 en la condicion (i), se tiene que f(x)=f(xf(1)), y por
inyectividad, x=xf(1) para todo x, con lo que f(1)=1. Entonces, tomando x=1 en la
condicion (i), se llega a que f(f(v))=v para todo real positivo v. Tomando Iinalmente
v=f(:) en la condicion (i), llegamos a que, para cualesquiera x,: reales positivos,
( ) ( ) ( ) ( ) ( ) ( ) f x: f xf f : f : f x = = ,
es decir, f es multiplicativa.
Sin embargo, no parece sencillo demostrar que f vaya a ser continua o monotona. De
ahi que elijamos un metodo alternativo para hallarlo, basado en que, sustituyendo v=x
en la condicion (i), se tiene que xf(x) es un punto Iijo de f para cualquier real positivo x.
Es decir, para cada x, existe un real positivo k(x) (no necesariamente el mismo para todo
x) tal que xf(x)=k(x), con f(k(x))=k(x). Hemos hallado ya un tal punto Iijo (f(1)=1).
Daniel Lasaosa Medarde (2007)
12
Veamos ahora que, si k es un punto Iijo, entonces tambien es punto Iijo k
2
. Para ello,
nos basta hacer x=k en xf(x), con lo que kf(k)=k
2
tambien es punto Iijo. Es trivial
entonces comprobar por induccion que
2
N
k es entonces un punto Iijo para todo entero
positivo N. Para N=1 ya se ha demostrado, y si
1
2
N
k

es un punto Iijo, tambien lo es
( ) ( )
1 1 1
2
2 2 2 2
N N N N
k f k k k

= = .
Supongamos entonces que existe un punto Iijo k>1. Entonces, existe una sucesion
{ }
2 4 8 2
, , , ,..., ,...
N
k k k k k ,
que obviamente tiende a inIinito, de puntos Iijos. Luego f(x) no tiende a 0 cuando x
tiende a inIinito, en contradiccion con el enunciado, pues f(x) tiende a inIinito al tender
x a inIinito dentro de esta sucesion. Luego no existe ningun punto Iijo mayor que 1.
Supongamos Iinalmente que existe un punto Iijo k<1. Por ser f(x) multiplicativa,
( ) ( )
1 1 1
1 1 f f k f k f kf
k k k

= = = =


,
1 1
f
k k

=


,
y 1/k seria un punto Iijo mayor que 1. Luego no hay mas puntos Iijos que 1, y por lo
tanto, para todo real positivo x, xf(x)=1, llegandose a la unica solucion f(x)=1/x.
Ahora bien, esta solucion lo es cuando hacemos v=x, pero debemos comprobar que
tambien lo es cuando vx, lo cual es cierto y Iacilmente demostrable:
( ) ( ) ( )
x v
f xf v f vf x
v x

= = =


.



Como se ha visto en el problema anterior, podemos encontrarnos con varios
potenciales puntos Iijos. Es necesario, en cada uno de estos casos, saber cuales de estos
potenciales puntos Iijos realmente lo son, y cual debemos utilizar en cada caso.
Ilustraremos este hecho nuevamente con ayuda del problema 5 de la XXXV Olimpiada
Matematica Internacional (1994):

Sea el conjunto de los nmeros reales estrictamente mayores que 1. Encuentre
todas las funciones : que satisfacen las dos siguientes condiciones:
1. (+ ++ +()+ ++ +())= == =+ ++ +()+ ++ +() para cualesquier , de ;
2. ()/ es estrictamente creciente en cada uno de los intervalos 1< << << << <0 y 0< << <.
Daniel Lasaosa Medarde (2007)
13
En primer lugar, vemos Iacilmente que f es inyectiva, haciendo x=0 en la condicion 1:
( ) ( ) ( ) ( ) ( ) 1 0 0 f f v v f f = + + .
Ahora bien, como f(0)+1>0 por hipotesis del enunciado, si f(x)=f(v), entonces
( ) ( ) ( ) ( ) ( ) ( ) ( )
0 1 0 f f x f f v x v f = = + ,
concluyendose que x=v. Utilizando la inyectividad, podemos hacer v=0, teniendose
entonces que
( ) ( ) ( ) ( ) 0 0 f x f xf f x + + = ; ( ) ( ) 0 0 x f xf x + + = .
De aqui se concluye que, para todo x>1, f(0)(1+x)=0, con lo que f(0)=0. Entonces,
haciendo x=0, en la condicion 1, obtenemos que f(f(v))=v para todo v de S, con lo que la
Iuncion es tambien suprayectiva, pues toma todos los valores de S.
Una vez establecidas estas propiedades, podemos hacer v=x en la condicion 1, para
obtener que para todo x de S,
( ) ( ) ( ) ( ) ( ) f x f x xf x x f x xf x + + = + + .
Es decir, x+f(x)+xf(x) es un punto Iijo de f para todo x de S. Notese sin embargo que
hay, como maximo, tres puntos Iijos de f. Uno es el ya hallado 0=f(0). En el intervalo
(1,0) puede haber como maximo uno, ya que si hubiera dos, f(x)/x=1 en ambos casos,
lo cual es imposible por la condicion 2. Finalmente, solo puede haber otro punto Iijo
mayor que 0 por la misma razon. Sean entonces k

el (posible) punto Iijo negativo, y k

+

el (posible) punto Iijo positivo. Para cualquier valor de x, lo que si esta claro sin
embargo es que
( ) ( ) x f x xf x k + + = ; ( )
1
k x
f x
x

=
+
,
donde para cada x, k puede tomar a priori cualquiera de los tres valores k

, 0, k
+
. Se
tiene entonces que
( )
1
k k
f k k
k
+
+ +
+

= =
+
; ( ) 2 k k k
+ +
+ = .
Obviamente, no puede ser 1<k0, pues entonces seria k
+
0 en contra de su deIinicion.
Luego ha de ser k=k
+
, de donde se deduce que k
+
=1 o k
+
=0, que es absurdo. Luego no
existe ningun punto Iijo mayor que 0. De Iorma analoga, y sabiendo ya que los unicos
posibles puntos Iijos son 0 y k

, se tiene que
( )
1
k k
f k k
k

= =
+
; ( ) 2 k k k

+ = .
Daniel Lasaosa Medarde (2007)
14
Pero si k=0, entonces k

=0 en contra de su deIinicion o k

=2, que no pertenece a S.

Luego k=k

, llegandose a que k

=1, que tampoco pertenece a S.

Luego el unico punto Iijo es k=0, y por lo tanto, para todo x de S,
( )
1
x
f x
x
=
+
.
Ahora bien, esta Iuncion es la unica Iorma que puede llegar a tomar la solucion de la
ecuacion Iuncional una vez que hacemos v=x, pero nadie nos garantiza que la vaya a
cumplir cuando vx. Por ello, debemos comprobarlo:
( ) ( ) ( )
( )
( ) ( ) ( )
1
1
1 1
1
1
1 .
1 1
x v
v x
x v v
f x f v xf v f x f
x v
v v
v
x v x
v v v f x vf x
x x

+ +
+ + = = =


+ +

+
+

= = + = + +
+ +

Notese ademas que, hasta ahora, solo hemos utilizado la condicion 2 para establecer el
numero de puntos Iijos de f. Veamos sin embargo que tambien se cumple:
( ) 1
1
f x
x x
=
+
.
Como esta expresion existe, y es continua y derivable, en los dos intervalos
considerados en la condicion 2, podemos tomar su derivada,
( )
( )
2
1
1
f x
d
dx x
x

=

+

,
Que al ser siempre positiva, garantiza el crecimiento de f(x)/x.



5.- Acotacin de la funcin

Otra Iorma de hallar la Iuncion deseada puede ser mediante acotacion de la
misma. La Iorma exacta de utilizar esta tecnica dependera de las condiciones exactas
impuestas sobre la Iuncion. En muchos casos, es posible que alguna condicion de las
impuestas sobre la Iuncion exija que su valor sea mayor o igual que una determinada
cota, mientras que alguna otra resulta en que su valor sea menor o igual que la misma
cota. Entonces, es obvio que la unica posibilidad es que la Iuncion tome el valor de
Daniel Lasaosa Medarde (2007)
15
dicha cota. Esta doble acotacion se puede utilizar, por ejemplo, en la resolucion del
problema 5 de la XXVII Olimpiada Matematica Internacional (1986):

Encuentre todas las funciones , definidas sobre el conjunto de los reales no
negativos, y tomando valores reales no negativos, tales que:
(i) (())()= == =(+ ++ +) para cualesquiera , 0,
(ii) (2)= == =0,
(iii) () 0 para 0 < << <2.

En primer lugar, es trivial constatar que, para todo :>2, podemos deIinir v=2, x=:2>0,
con lo que
( ) ( ) ( ) ( ) ( )
2 2 2 0 f : f x f f xf = + = = .
Luego f(x)=0 si y solo si x2.
Entonces, tomando x=2v para cualquier 0v<2 (con lo que f(v) es no nulo),
( ) ( ) ( ) ( ) ( ) ( )
0 2 2 f f x v f v f v f v = = + = , ( ) ( ) 2 2 v f v ,
( )
2
2
f v
v

.
Sin embargo, tomando x=2v, para cualquier 2>>0, se tiene que
( ) ( ) ( ) ( ) ( ) ( )
0 2 2 f f x v f v f v f v = + = , ( ) ( ) 2 2 v f v < ,

Entonces, no puede ser
( )
2
2
f v
v
>

,
como demostramos por reduccion al absurdo; en caso de que si lo Iuera, existiria un >0
tal que
( )
2
2
f v
v
= +

.
Pero entonces, tomando
( )
( )
2
0
v
f v

= > ,
resultaria que (2v)f(v)=2, que es absurdo. Luego solo puede ser, para todo 0x<2,
Daniel Lasaosa Medarde (2007)
16
( )
2
2
f x
x
=

.
Notese que entonces, para cualesquiera x,v cuya suma sea menor que 2,
( ) ( ) ( ) ( )
2 2 4 2
2 2 4 2 2 2
x
f xf v f v f f x v
v v v x v x

= = = = +



.
El metodo utilizado para hallar esta solucion ha sido el de doble acotacion; comprobar
que, para que se cumpla una de las condiciones, el valor de la Iuncion debe ser no
inIerior a un cierto valor, mientras que para que se cumpla otra, ha de ser no superior a
dicho mismo valor. Este metodo no deja de ser util en ciertas ocasiones, aunque no
necesariamente en la mayoria de los casos.



Hay veces que el valor la Iuncion es 'constante a trozos, o posee trozos en los que la
Iuncion es constante. En este tipo de situaciones, puede ser interesante acotar la
variable entre los dos extremos de un tal intervalo en el que la Iuncion sea constante, y
sabiendo cual es el valor en ambos extremos, sabemos cual es el valor en cualquier
punto de dicho intervalo. Esta tecnica puede ser especialmente util si todo lo que se
pide es hallar el valor de la Iuncion en un punto dado, como sucede en el problema 3 de
la VI Olimpiada Iberoamericana de Matematica (1991):

Sea una funcin creciente definida para todo nmero real , 0 1, tal que
a. (0)= == =0,
b. (/3)= == =()/2,
c. (1 )= == =1 ().
Encontrar (18/1991).

Es trivial comprobar que
( ) ( ) 1 1 0
2 1 1
1
3 3 2 2 2
f f
f f


= = = =


.
Luego como f(1/3)=f(2/3) y f es creciente, f(x)=1/2 para todo 1/3x2/3. De Iorma
analoga, se puede comprobar que f(x)=1/4 para todo 1/9x2/9, y que f(x)=3/4 para todo
7/9x8/9, y asi sucesivamente. Se tiene entonces que podemos encontrar, dentro del
Daniel Lasaosa Medarde (2007)
17
intervalo |0,1| en una serie de subintervalos cerrados en los cuales la Iuncion es
constante, y para los cuales el valor de f en los extremos se puede hallar tomando
intervalos cada vez mas pequeos, de longitudes sucesivas 1/3, 1/9, 1/27, etc. Entonces,
podemos intentar acotar 18/1991 para ver en cual de estos intervalos se halla.
Basandose en esta misma idea, podemos hallar el valor de I(x), multiplicando x por 3
tantas veces como sea necesario hasta llegar a o superar el valor de 1/3; si el valor v
obtenido tras estas multiplicaciones no supera 2/3, sabemos que f(v)=1/2, y dividiendo
f(v) por 2 tantas veces como hayamos multiplicado x por 3 para llegar a v, obtenemos el
valor de f(x). En caso contrario, tomamos 1v (que sera menor que 3) y repetimos el
proceso. Entonces,
18 1 54 1 162 1 486 1 1458 1 533
1
1991 2 1991 4 1991 8 1991 16 1991 16 1991
f f f f f f

= = = = =


;
533 1 1599 1 392
1
1991 2 1991 2 1991
f f f

= =


;
392 1 1176 1 1 1
1991 2 1991 2 2 4
f f

= = =


,
ya que 1/3<1176/1991<2/3 al ser 21991=3982>3528=31176>1991. Luego
533 1 1 3
1
1991 2 4 8
f

= =


;
18 1 3 5
1
1991 16 8 128
f

= =


.
Y hemos acabado.



6.- Otros problemas de ecuaciones funcionales

Existen Iinalmente otros problemas de ecuaciones Iuncionales, con Iunciones
reales de variable real, que no se ajustan completamente a ninguna de las tecnicas de
resolucion aqui planteadas. Pasamos Iinalmente a considerar algunos de ellos para
ampliar el rango de posibles tecnicas de resolucion:

Problema 5 de la X Olimpiada Matematica Internacional (1968):
Daniel Lasaosa Medarde (2007)
18
Sea una funcin real de variable real, tal que, para una constante positiva , la
relacin
( ) ( ) ( ) ( )
2 1
2
f x a f x f x + = +
se cumple para todo .
(a) Demuestre que la funcin es peridica (es decir, que existe una constante
tal que (+ ++ +)= == =() para todo ).
(b) Para = == =1, d un ejemplo de una funcin no constante con dicha propiedad.

Podemos restar 1/2 a ambos lados de la igualdad y elevar al cuadrado, para obtener,
reorganizando terminos, que
( ) ( ) ( ) ( ) ( )
2 2 1
4
f x a f x a f x f x + + + =

;
( ) ( )
2 2 2
1 1 1
2 2 2
f x a f x

+ + =


.
Sustituyendo ahora x por x+a, se tiene que, para todo x real,
( ) ( ) ( )
2 2 2 2 2
1 1 1 1 1
2
2 2 2 2 2
f x a f x a f x

+ = + =


;
( ) ( )
2 2
1 1
2
2 2
f x a f x

+ =


.
Ahora bien, para todo x real, f(x+a) es obviamente mayor o igual que 1/2, por ser igual
la suma de 1/2 y una raiz no negativa. Luego para todo x, tanto f(x) como f(x+2a) son
mayores o iguales que , de donde tomando la raiz cuadrada positiva (la negativa no
tiene sentido) en esta ultima igualdad, se tiene que, para todo x real,
( ) ( )
1 1
2
2 2
f x a f x + = ,
y tomando b=2a, hemos demostrado que la Iuncion es periodica de periodo b.
Para dar un ejemplo, es util comprobar que si la Iuncion Iuera periodica de periodo a,
entonces seria
( ) ( ) ( ) ( ) ( )
2 1
2
f x f x a f x f x = + = + ; ( ) ( ) ( ) ( ) ( ) ( )
2 2 1
4
f x f x f x f x + = ;
( )
1
1 1
1 2
2
2 2 4
f x
+
= = + ,
Daniel Lasaosa Medarde (2007)
19
que es constante (se ha tomado solo la raiz mayor porque la menor lleva a f(x)<1/2, que
como se ha visto es Ialso). Necesitamos pues, para f(x) no constante, buscar entre las
Iunciones periodicas de periodo 2 pero no de periodo 1. Ademas, ha de ser
( ) ( )
2 2 2
1 1 1
1
2 2 2
f x f x

+ + =


.
Es tambien importante darse cuenda de que, para cualquier real x, 1/2f(x)1. La
primera desigualdad se debe a que f(x+a) es la suma de 1/2 y un termino no negativo,
mientras que la segunda se debe a que, en caso contrario, f(x+a) seria complejo. De ahi
que podemos pensar en dos estrategias:
1) buscar entre las Iunciones de la Iorma f(x)=1/2+,cos(Bx+),/2, de las cuales se
puede comprobar trivialmente que, tomando B=/2 y para cualquier Iase , se
tratan de soluciones de la ecuacion dada, o
2) tomar soluciones 'constantes a trozos, donde durante un semiperiodo sea
f(x)=A, y en el siguiente un valor B. Se puede comprobar Iacilmente que, si
A=1/2 y B=1, se cumple la relacion dada, ya que
2 2
1 1 1
1 1
2 2 2
B B A + = + = = ,
2
1 1 1 1 1 1
1
2 2 2 4 2 2
A A B + = + = + = = .
Estas dos son, probablemente, dos de las soluciones mas sencillas, pero puede haber
muchas mas.
Notese que, al Iinal, la resolucion del problema comienza por una de las tecnicas ya
mencionadas antes, el cambio de variable, si bien no se utiliza ninguna de las otras
comentadas hasta ahora de ahi en adelante.



Problema 5 de la XIV Olimpiada Matematica Internacional (1972):
Sean y funciones reales de variable real, tales que para cualesquiera valores
reales ,, se cumple la ecuacin
( ) ( ) ( ) ( ) 2 f x v f x v f x g v + + = .
Demuestre que si () no es idnticamente nula, y [()[ 1 para todo , entonces
[()[ 1 para todo .
Daniel Lasaosa Medarde (2007)
20
El cambio de variable es una estrategia interesante tambien en este caso. La
aplicaremos para demostrar el resultado pedido por reduccion al absurdo. Supongamos
entonces que existe un valor de y tal que ,g(v),>1. Se tiene entonces, en virtud de la
desigualdad triangular, que
( ) ( ) ( ) ( ) ( ) ( ) ( ) 2 2 f x v f x v f x v f x v f x g v f x + + + + = > .
Es decir, al menos uno de los dos valores absolutos del miembro de la izquierda es
mayor que el valor absoluto presente en el miembro de la derecha. Sin perdida de
generalidad, sea ,f(x+v),=,f(x),+, donde >0, ya que siempre podemos cambiar a v de
signo sin aIectar a la premisa del problema o al resultado a demostrar. Entonces,
sustituyendo x por x+v en la relacion dada en el enunciado,
( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
2 2 2 2
2 2 ;
f x v f x f x v f x f x v g v f x v
f x
+ + + + = + > +
= +

( ) ( ) 2 2 f x v f x + > + .
Demostraremos entonces por induccion que, para todo n2,
( ) ( ) ( ) ( ) 1 f x nv f x n v f x n + > + + + .
La hipotesis de induccion ha sido ya probada para n=2. Si se cumple para un cierto
valor n, entonces sustituyendo x por x+nv en la relacion dada en el enunciado,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
1 1 1 1
2 2 ;
f x n v f x n v f x n v f x n v
f x nv g v f x nv
+ + + + + + + +
= + > +

Utilizando ahora la hipotesis de induccion,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 2 1 1 f x n v f x nv f x n v f x nv f x n + + > + + > + + > + + .
Entonces, para un entero positivo N>1/, que existe por ser >0, se tiene que
( ) ( ) 0 1 1 f x Nv f x N + > + > + = .
Hemos llegado a una contradiccion, luego siempre es ,g(v),1. Notese que esta es la
mejor acotacion posible, ya que g(v)=1 para todo v cuando f(x)=k, con k constante de
valor absoluto menor o igual que 1.

Referencias: Varios de los problemas propuestos en las Olimpiadas Matematicas Espaola,
Iberoamericana e Internacional se pueden encontrar en http://platea.pntic.mec.es/csanchez/olimmain.htm,
http://www.oei.es/oim/problemas.htm y http://imo.math.ca, respectivamente.

Problem 2
Consider five points A, B, C, D and E such that ABCD is a parallelogram and BCED is
a cyclic quadrilateral. Let l be a line passing through A. Suppose that l intersects the
interior of the segment DC at F and intersects line BC at G. Suppose also that
EF=EF=EC. Prove that l is the bisector of angle DAB.

Como CEF y CEG son issceles por ser EC=EF=EG, los pies de las perpendiculares
desde E sobre las rectas CD y BC son los puntos medios respectivos P y Q de CF y CG. La
recta que pasa por ellos (recta de Simson de E con respecto a BCD, por estar E en la
circunferencia circunscrita a BCD), pasa tambin por el pie de la perpendicular desde E
sobre BD. Ahora bien, por ser ABCD paralelogramo, DAF=CGF, mientras que
AFD=GFC por construccin. Luego FAD y FGC son semejantes, con lo que
DF DF CF
BC AD CG
= = ,
2 2 DP DF FP DF CF BC CG BC CQ BQ
CP CP CF CG CQ CQ
+ + + +
= = = = = ,
1
DP CQ BM
PC QB MD
= ,
donde M es el punto medio de BD. Luego la recta que pasa por P y Q corta a BD al mismo
tiempo en el pie de la perpendicular a BD desde E, y en el punto medio de BD, con lo que
ambos puntos coinciden y BED es issceles en E, de donde BE=DE.

Por lo tanto, las potencias de B y D respecto de la circunferencia circunscrita a CFG son
iguales, y
AD CG BC CG DF FC = = .
Luego unido a la relacin hallada por la proporcionalidad de FAD y FGC, obtenemos
que AD=DF, CF=CG, de donde ADF es issceles en D, y
2 2 2
ADF ADC DAB
DAF

= = = ,
qed, y donde se ha utilizado nuevamente que ABCD es paralelogramo.

Problem 4
In triangle ABC the bisector of angle BCA intersects the circumcircle again at R, the
perpendicular bisector of BC at P, and the perpendicular bisector of AC at Q. The
midpoint of BC is K and the midpoint of AC is L. Prove that the triangles RPK and
RQL have the same area.



Solucin de Daniel Lasaosa Medarde, Pamplona, Espaa

Como QLC es recto y QCL=C/2, es obvio que
2 2
C
RQL LQC QLC QCL

= = + = + .
Al mismo tiempo, nuevamente por ser QLC recto y QCL=C/2, y al ser L el punto medio
de AC, aplicando el teorema del seno se obtiene que
2
tan
2
C QL QL
LC b

= =


,
luego
( ) sen tan cos sen
2 2 2 2 2
b C C b C
QL RQL

= =


.
De forma completamente anloga se obtiene que
( ) sen sen
2 2
a C
PK RPK

=


.
Adems,
2 2 2
C A B
CAR CAB BAR A BCR A

= + = + = + = + ,
( ) 2 sen 2 cos
2
A B
CR r CAR r

= =


,
donde r es el circunradio de ABC, mientras que
cos 2cos
2 2
CL b
CQ
C C
= =



.
Luego
( ) cos cos 2 cos cos
2 2 2 2 2
C C A B C b
RQ CR CQ r

= =


.
Pero
( )
cos cos cos cos cos sen sen cos
2 2 2 2 2 2 2 2
cos cos cos sen sen sen sen cos
2 2 2 2 2 2 2 2
sen
sen
2 2
A B C A B C A B C
A B C A B C A B C
A B

= +


+
= + +

= +

( ) ( ) sen sen
sen ,
2 2 4
A B A C a b
r
+ + +
= =



luego
cos
2 2 2 2
C a b b a
RQ
+
= =


.
De forma enteramente anloga se obtiene que
cos
2 2
C b
RP

=


.
Luego
[ ] ( )
( )
[ ]
( ) [ ]
2
2
sen
1 1 1
sen sen
2 2 2 2 2
2cos 8cos
2 2
1
sen sen ,
2 2 2
8cos 2cos
2 2
ab C
b a C
RPK RP PK RPK
C C
ABC
a b C
RQ QL RQL RQL
C C

= = =






= = = =






qed.
Problem 5
Let a and b be positive integers. Show that if 4ab1 divides (4a
2
1)
2
, then a=b.

Solucin de Daniel Lasaosa Medarde, Pamplona, Espaa

Si 4ab1 divide a (4a
2
1)
2
=16a
4
8a
2
+1, tambin dividir a
( ) ( ) ( ) ( )
2
2 4 2 4 2 2 2 2 3 2
2 16 8 1 32 16 2 4 1 8 2 4 2 b a a a b a b b ab a b a ab a b + = + = + + .
Como 4ab1 es necesariamente impar, entonces ha de dividir a (ab)
2
. Luego siendo el
cociente en cuestin (que es obviamente no negativo al ser el cociente de un cuadrado entre
un nmero que es mayor o igual que 41=3 por ser a y b positivos), se tiene que
( )
2 2
2 4 1 a ab b ab + = , ( )
2 2
2 2 1 0 b ab a + + + = .
Para un valor dado, entero no negativo cualquiera de , consideremos esta ltima relacin
como una ecuacin diofntica en a y b, y supongamos que tiene al menos una solucin en
enteros positivos (a,b). Obviamente, si (a,b) es solucin, tambin lo es (b,a) por simetra
entre las variables. Es tambin trivial observar que, si tomamos la ecuacin diofntica
como de segundo grado en b, entonces la suma de las dos races es el entero positivo
2a(2+1), mientras que el producto de las dos races es el entero positivo a
2
+, luego si una
de las dos races es un entero positivo, entonces la otra tambin lo es. De todas las posibles
soluciones, elijamos aquella que tiene un valor mnimo de a (esta solucin existe ya que el
conjunto de valores que toma a es un subconjunto no vaco de los enteros positivos).
Entonces, ba, pues en caso contrario, (b,a) sera una solucin con un valor de a menor que
el mnimo (absurdo). La ecuacin cuadrtica en b tiene entonces dos races enteras
positivas no inferiores a a. Definiendo entonces c=ba, se tiene que la ecuacin cuadrtica
( ) ( )( ) ( )
2
2 2 2
0 2 2 1 4 4 1 c a a c a a c ac a = + + + + + =
debe tener dos races enteras no negativas. Pero el producto de dichas races es (4a
2
1),
que no es positivo. Luego ha de ser nulo, y como 4a
2
13, necesariamente ha de ser =0,
con lo que la ecuacin diofntica se transforma en (ab)
2
=0, con solucin nica a=b, qed.

Problemas para los ms jvenes 30
Problemas de competiciones croatas de 2007
Croacia 1. Simplicar todo lo posible la fraccin
bc

c
2
b
2

+ ca

a
2
c
2

+ ab

b
2
a
2

b
2
c
2
(c b) + a
2
c
2
(a c) + a
2
b
2
(b a)
:
Croacia 2. En el conjunto de los nmeros reales, resolver la ecuacin
jjx + 2j 2xj =
x + 3
2
:
Croacia 3. Sea p > 3 un nmero primo. Probar que su cuadrado da resto
1 al dividirlo por 24.
Croacia 4. Existe un tringulo rectngulo cuyos catetos sean enteros y la
hipotenusa valga
p
2006?
Croacia 5. En el tringulo ABC, las longitudes de los lados son BC =7,
AC=3, y el ngulo A mide 30
o
. Determinar la longitud del lado AB.
1
PROPOSED SOLUTION TO PROBLEMA 141
OVIDIU FURDUI
Sea

n
i

un numero combinatorio, n, i N n i. Demostrar entonces que

n
1

n
2

n
n

y e
1
2
n
2
son dos innitos asintoticamente equivalentes, es decir,
lim
n
e
1
2
n
2

n
1

n
2

n
n
= 1.
Solution. In what follows we are going to prove that
lim
n
e
1
2
n
2

n
1

n
2

n
n
= .
We need the following Lemma.
Lemma 0.1. Glaisher-Kinkelin constant. The following limit holds:
A = lim
n
1
1
2
2
n
n
n
n
2
/2+n/2+1/12
e
n
2
/4
,
where A = 1.282712 is the Glaisher-Kinkelin constant.
Let x
n
=
e
1
2
n
2
(
n
1
)(
n
2
)(
n
n
)
. We have
lnx
n
=
n
2
2

n

k=1
ln
n!
k!(n k)!
=
n
2
2
(n + 1) lnn! + 2
n

k=1
lnk!.
Date: May 7, 2007.
1
2 OVIDIU FURDUI
On the other hand, we note that
n

k=1
lnk! = nln1 + (n 1) ln2 + + 2 ln(n 1) + lnn =
n

k=1
(n + 1 k) lnk
= (n + 1) lnn!
n

k=1
k lnk.
Thus,
lnx
n
=
n
2
2
+ (n + 1) lnn! 2
n

k=1
k lnk
=
n
2
2
+ (n + 1) lnn! 2

k=1
k lnk

n
2
2
+
n
2
+
1
12

lnn +
n
2
4

n
2
+ n +
1
6

lnn +
n
2
2
= n
2
+ (n + 1) lnn!

n
2
+ n +
1
6

lnn 2A
n
,
where
A
n
=
n

k=1
k lnk

n
2
2
+
n
2
+
1
12

lnn +
n
2
4
.
Using Stirlings formula n!

2n

n
e

n
, we get that
n
2
+ (n + 1) lnn!

n
2
+ n +
1
6

lnn (n + 1) ln

2n n
lnn
6
.
It follows, based on Lemma 0.1, that
lnx
n
(n + 1) ln

2n n
lnn
6
2A
n
2 lnA = ,
and hence x
n
.
Western Michigan University, Kalamazoo, MI
E-mail address: ofurdui@yahoo.com, o0furdui@wmich.edu
Problema 142, propuesto por Jose Luis Daz Barrero, Barcelona,
Espa na.
Solucion de Francisco Javier Garca Capitan.
Sean a, b, c tres n umeros positivos distintos de suma 1. Demostrar que
(a + bc)bc
(a b)(a c)
+
(b + ca)ca
(b a)(b c)
+
(c + ab)ab
(c a)(c b)
<
1
3
.
En primer lugar, hacemos

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

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

cclica
(a + bc)bc(c b)
(a b)(b c)(c a)
.

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

cclica
abc(c b) +

cclica
b
2
c
2
(c b)
=abc

cclica
(c b)
. .
=0
+
_
b
2
c
3
b
3
c
2
+ c
2
a
3
c
3
a
2
+ a
2
b
3
a
3
b
2
_
.
La expresion = b
2
c
3
b
3
c
2
+ c
2
a
3
c
3
a
2
+ a
2
b
3
a
3
b
2
se anula cuando
alguna de las variables a, b, c son iguales, por lo que (a b)(b c)(c a) =
ca
2
ba
2
+ ab
2
cb
2
+ bc
2
ac
2
debe dividir a . Mediante una division
comprobamos que = (a b)(b c)(c a)(bc + ca + ab) y por tanto

cclica
(a + bc)bc
(a b)(a c)
= bc + ca + ab.
Ahora, teniendo en cuenta la identidad
(1 a)(1 b)(1 c) = 1 (a + b + c) + (bc + ca + ab) abc,
resulta que, usando la desigualdad
3

xyz
x+y+z
3
(desigualdad entre las
medias aritmetica y geometrica)
bc + ca + ab =(1 a)(1 b)(1 c) + ((a + b + c) 1) + abc

_
3 (a + b + c)
3
_
3
+ 0 +
_
a + b + c
3
_
3
=
8
27
+
1
27
=
1
3
,
cumpliendose la igualdad si y solo si a = b = c =
1
3
.
1
PROPOSED PROBLEM TO REVISTA ESCOLAR DE LA OLIMPIADA
IBEROAMERICANA DE MATEMATICA
OVIDIU FURDUI
Let l 0 be a natural number. Find:

n=1
(1)
n
_
1 +
1
2
+
1
3
+ +
1
n
ln(n + 2l + 1)
_
,
where =
n

k=1
lnn, is the Euler-Mascheronis constant.
Solution. The sum equals:

2
ln
2
l+1
l!
(2l + 1)!!

.
We need the following two well-known results.
Lemma 0.1. Abels summation by parts formula. Let (a
n
)
n1
and (b
n
)
n1
be two sequences of
real numbers and let A
n
=
n

k=1
a
k
. The following formula holds:
n

k=1
a
k
b
k
= A
n
b
n+1
+
n

k=1
A
k
(b
k
b
k+1
) .
Proof. The lemma can be proven by elementary calculations.
Lemma 0.2. Wallis formula. The following limit holds:
lim
n
(2n)!!
(2n 1)!!

2n + 1
=
_

2
.
Let S
n
=
n

k=1
(1)
k
_
1 +
1
2
+
1
3
+ +
1
k
ln(k + 2l + 1)
_
. An application of Lemma 0.1,
with a
k
= (1)
k
and b
k
= 1 +
1
2
+
1
3
+ +
1
k
ln(k + 2l + 1) , shows that
(0.1)
S
n
=
_
(1) + (1)
2
+ + (1)
n
_
_
1 +
1
2
+
1
3
+ +
1
n + 1
ln(n + 2l + 2)
_
+
+
n

k=1
_
(1) + (1)
2
+ + (1)
k
_
_
ln
k + 2l + 2
k + 2l + 1

1
k + 1
_
.
1
2 OVIDIU FURDUI
On the other hand, we have that
lim
n
_
(1) + (1)
2
+ + (1)
n
_
_
1 +
1
2
+
1
3
+ +
1
n + 1
ln(n + 2l + 2)
_
= 0,
since 1+
1
2
+
1
3
+ +
1
n+1
ln(n + 2l + 2) 0 as n , and A
n
= (1)+(1)
2
+ +(1)
n
=
0, for n even and A
n
= 1 for n odd.
Thus, letting n converge to in (0.1), we get that
S = limS
n
=

k=1,k=odd
(1)
_
ln
k + 2l + 2
k + 2l + 1

1
k + 1
_
=

p=0
_
ln
2p + 2l + 3
2p + 2l + 2

1
2p + 2
_
.
Let T
n
be the n
th
partial sum of the preceding series, i.e.,
T
n
=
n1

p=0
_
ln
2p + 2l + 3
2p + 2l + 2

1
2p + 2
_
= ln
(2l + 3)(2l + 5) (2l + 2n + 1)
(2l + 2) (2n + 2l)

1
2
_
1 +
1
2
+ +
1
n
lnn
_
ln

n.
It follows that,
T
n
= ln
_
(2l)!!
(2l + 1)!!
(2n + 2l 1)!!

2n + 2l + 1
(2n + 2l)!!
_
2n + 2l + 1
n
_

1
2
_
1 +
1
2
+ +
1
n
lnn
_
.
An application of Lemma 0.2 shows that
lim
n
T
n
= ln
(2l)!!
(2l + 1)!!
_
2

2

2
= ln
2
l+1
l!
(2l + 1)!!

2
.
The desired result follows.
Department of Mathematics, Western Michigan University, Kalamazoo, MI 49008
E-mail address: o0furdui@wmich.edu, ofurdui@yahoo.com
PROPOSED SOLUTION TO PROBLEMA 143, VOL 29,
JANUARY-FEBRUARY 2007
Sea l 0 un n umero natural. Calcular

n=1
(1)
n

1 +
1
2
+
1
3
+ +
1
n
ln(n + 2l + 1)

,
siendo la constante de Euler-Mascheroni.
Solution. The series equals

2
(2l + 1) ln2 +
1
2
ln ln
(l!)
2
(2l + 1)!
.
Let H
m
=
m

n=1
1
n
be the m
th
harmonic number. The rst step is to prove the convergence of
the series, so we break the series as

n=1
(1)
n
(H
n
lnn ) +

n=1
(1)
n
(lnn ln(n + 2l + 1)) ,
and show that both series are Leibniz series.
The rst series. We have that H
n
lnn 0 and H
n
lnn decreases with n. Indeed
H
n+1
ln(n + 1) < H
n
lnn, for all n 1, since
1
n+1
< ln
n+1
n
.
The second series. We have, based on straightforward calculations, that
lim
n
(lnn ln(n + 2l + 1)) = 0 and 0 > ln(n + 1) ln(n + 2l + 2) > lnn ln(n + 2l + 1).
The sum of the series. Let S
2m
be the 2m
th
partial sum of the series. We have
(0.1) S
2m
=
2m

n=1
(1)
n
(H
n
ln(n + 1 + 2l) ) =
1
2
H
m

2m

n=1
(1)
n
ln(n + 1 + 2l).
Also, if
m
= H
m
lnm, then lim
m

m
= . A calculation shows that
(0.2)
2m

n=1
(1)
n
ln(n + 1 + 2l) = ln

(2m+ 1 + 2l)!
2
2m
((m+l)!)
2

(l!)
2
(2l + 1)!

.
1
2
The Stirlings formula, m! =

2m

m
e

1 +O(m
1
)

, and the Taylors formula, ln(1 +x) =

x
x
2
2
+O(x
3
), for |x| < 1, yield (the straightforward calculations are left to the reader):
(0.3) ln
(2m+ 1 + 2l)!
2
2m
((m+l)!)
2
=
1
2
lnm+ (2l + 1) ln2
1
2
ln +O(m
1
).
Combining (0.1), (0.2) and (0.3), we get that
S
2m
=
1
2

m
(2l + 1) ln2 +
1
2
ln ln
(l!)
2
(2l + 1)!
O(m
1
),
whose limit, as m , shows that the desired result yields.
Perfetti Paolo, Dipartimento di Matematica, Universit a degli studi Tor Vergata Roma, Italy
E-mail address: perfetti@mat.uniroma2.it
Problema 143: sea 0 un n umero natural. Calcular

n=1
(1)
n
_
1 +
1
2
+
1
3
+ +
1
n
ln(n + 2 + 1)
_
,
donde es la constante de Euler-Mascheroni.
Solucion: sumemos los terminos 2k 1 y 2k. As,
(1)
2k1
_
1 +
1
2
+
1
3
+ +
1
2k 1
ln(2k 1 + 2 + 1)
_
+
+(1)
2k
_
1 +
1
2
+
1
3
+ +
1
2k
ln(2k + 2 + 1)
_
=
=
1
2k
+ ln(2k + 2) ln(2k + 2 + 1)
De esta manera, la suma propuesta, si la llamamos S, puede escribirse como
S =

k=1
_
1
2k
+ ln(2k + 2) ln(2k + 2 + 1)
_
Para ver cuanto vale esta suma, veremos primero como expresar una suma
parcial S
n
de los primeros n terminos e intentaremos despues calcular el
lmite para n . As,
S
n
=
1
2
+
1
4
+ +
1
2n
+
n

k=1
ln(2k + 2)
n

k=1
ln(2k + 2 + 1)
Recordemos en este punto que la constante de Euler-Mascheroni se dene
como
= lim
n
_
1 +
1
2
+
1
3
+ +
1
n
ln n
_
As, sumando y restando
1
2
ln n a S
n
obtenemos
S
n
=
1
2
_
1+
1
2
+
1
3
+ +
1
n
ln n
_
+
1
2
ln n+
n

k=1
ln(2k+2)
n

k=1
ln(2k+2+1)
Vemos claramente que el primer sumando de esta nueva expresion tiende a

2
, luego el problema se reduce a calcular
lim
n
_
1
2
ln n+
n

k=1
ln(2k+2)
n

k=1
ln(2k+2+1)
_
= lim
n
ln

n
n

k=1
(2k + 2)
(2k + 2 + 1)
1
Ahora intentaremos expresar este producto en una forma mas cerrada para n.
Si lo observamos, notemos que multiplicando y dividiendo por el numerador
obtenemos, mediante algunas manipulaciones, expresiones que solo dependen
de factoriales:
n

k=1
(2k + 2)
(2k + 2 + 1)
=
[(2 + 2)(4 + 2) (2n + 2)]
2
(2 + 2)(2 + 2 + 1)(4 + 2) (2n + 2)(2n + 2 + 1)
=
=
_
2
n
(+n)!
!
_
2
(2n+2+1)!
(2+1)!
=
2
2n
(2 + 1)![(n + )!]
2
[!]
2
(2n + 2 + 1)!
Si ahora volvemos al lmite que tenamos, usando las propiedades del loga-
ritmo tenemos
lim
n
ln

n
n

k=1
(2k + 2)
(2k + 2 + 1)
= lim
n
ln
_
(2 + 1)!
!
2

2
2n
(n + )!
2

n
(2n + 2 + 1)!
_
=
= ln
(2 + 1)!
!
2
+ lim
n
ln
2
2n
(n + )!
2

n
(2n + 2 + 1)!
Esto ultimo podemos hacerlo porque el primer sumando no depende de n,
luego puede salir fuera del lmite. Ahora, observemos que en la expresion que
nos ha quedado tenemos varios factoriales, una exponencial y un factor

n.
Esto nos motiva a usar la formula de Stirling para los factoriales. Recordemos
que esta formula nos dice que si x es entero y sucientemente grande entonces
(x + 1) = x!

2xx
x
e
x
,
donde representa la funcion gamma de Euler. Por claridad en la exposicion,
tendremos en cuenta tan solo el cociente para el calculo, de manera que
lim
n
2
2n
(n + )!
2

n
(2n + 2 + 1)!
= lim
n
2
2n
[e
n
(n + )
n+
_
2(n + )]
2

n
e
2n21
(2n + 2 + 1)
2n+2+1
_
2(2n + 2 + 1)
=
lim
n
2
2n
e
2n2
(n + )
2n+2
2(n + )

n
e
2n21
(2n + 2 + 1)
2n+2+1
_
2(2n + 2 + 1)
Ahora, multiplicamos y dividimos por 2
2
y reunimos convenientemente los
terminos, de forma que cada uno de los lmites sea facil de resolver, y obte-
nemos:
e
2
2
lim
n
_
2n + 2
2n + 2 + 1
_
2n+2
2(n + )

n
(2n + 2 + 1)
_
2(2n + 2 + 1)
2
Es ahora trivial ver que la primera fraccion tiende a
1
e
y la segunda a

2
,
por lo cual el cociente entero tiende a

2
2+1
. Volviendo atras,
lim
n
ln

n
n

k=1
(2k + 2)
(2k + 2 + 1)
= ln
(2 + 1)!
!
2
+ lim
n
ln
2
2n
(n + )!
2

n
(2n + 2 + 1)!
=
= lim
n
ln

n
n

k=1
(2k + 2)
(2k + 2 + 1)
= ln
(2 + 1)!
!
2
+ ln

2
2+1
= ln
(2 + 1)!

!
2
2
2+1
Y por n para acabar,
S = lim
n
S
n
=

2
+ ln
(2 + 1)!

!
2
2
2+1
3
Problema 144, propuesto por Vicente Vicario Garca, Huelva,
Espa na.
Dados los n umeros y siguientes, probar o refutar que = .
=

13 +

10 + 2

13
=

5 + 2

3 +

18 2

3 + 2

65 26

3
Solucion de Francisco Javier Garca Capitan. En primer lugar,

13

2
= 10 + 2

13
2
2

13 + 13 = 10 + 2

13

2
+ 3
2 + 2
=

13

4
+ 6
2
+ 9
4
2
+ 8 + 4
= 13
4
46
2
104 43 = 0.
Por otro lado,

5 + 2

2
= 18 2

3 + 2

65 26

3,

2
+ 5 + 2

3 2

5 + 2

3 = 18 2

3 + 2

65 26

3,

2
+ 4

3 13 = 2

5 + 2

3 +

65 26

.
Elevando al cuadrado, y tendiendo en cuenta que

65 26

5 + 2

3 =

13

5 2

5 + 2

3 = 13,
obtenemos

4
+ 48 + 169 26
2
+ 8

3
2
104

3 = 4

5
2
+ 2

3
2
+ 65 26

3 + 26

4
+ 48 + 169 26
2
+ 8

3
2
104

3 = 20
2
+ 8

3
2
+ 260 104

3 + 104,

4
46
2
104 43 = 0.
Por tanto, y son dos soluciones positivas del polinomio
P(x) = x
4
46x
2
104x 43.
Pero, seg un la regla de los signos de Descartes, al haber solo un cambio
de signo en los coecientes de P(x), dicho polinomio tiene a lo maximo una
raz positiva. Entonces, debe ser = .
1
Problema 145
Propuesto por 1os Hernndez Santiago, Oaxaca, Mxico

Demostrar que existen , tales que para cada se cumple
1
0
2
4

+
=

.

Solucin por Daniel Lasaosa Medarde, Pamplona, Espaa
Hallaremos todos los pares de naturales (,) tales que se da la desigualdad del
enunciado. Para =0, es trivial comprobar que debe cumplirse
0
0 1
0
2
4 4

+
=

= =

; 4 + .
Comprobaremos que con tal de que se de esta relacion entre y , la desigualdad se
cumple, dandose la igualdad, solo para =0, si y solo si +=4.
El que la igualdad se da para =0, si y solo si +=4, se deduce trivialmente de lo visto
hasta ahora. Es trivial comprobar que, para >0,
2
2
0
2 2
2 4

=

< = =

.
Por lo tanto, para >0,
( )
1
0 0
2
4 4 1
3

+
= =

< =



.
Por lo tanto, si =3, y =0 o 1, se cumple para >0 que
1 1
0
2
4 1 4

+ +
=

<

.
Si 02 y 04, se cumple para >0 que
( )
1
1 1 1 1
0
2
2 4 10
4 1 4 4 4 4 4
3 3

+
+ + + +
=

< = <

.
Luego siempre que y sean naturales tales que +4, se cumple estrictamente la
desigualdad para todo >0, y hemos terminado.

PROBLEMAS PROPUESTOS 146-150
Problema 146. Propuesto por Jos Luis Daz Barrero, Barcelona, Espaa.
Sean a; b; c los lados del tringulo ABC. Demostrar que
bc
a (b + c a)
+
ca
b (c + a b)
+
ab
c (a + b c)
3:
Problema 147. Propuesto por Daniel Lasaosa Medarde, Pamplona, Espaa.
Sean respectivamente O y H el circuncentro y el ortocentro del tringulo
ABC (no degenerado).
a)Demostrar que no existe ningn tringulo acutngulo tal que la longitud
de una de sus medianas sea igual a la distancia OH:
b)Caracterizar, si existen, los tringulos tales que la longitud de dos de sus
medianas sea igual a la distancia OH.
Problema 148. Propuesto por Luis Gmez Snchez Alfaro, Universidad de
Oriente, Venezuela.
Sea c un nmero natural mayor que 2. Cuntos tringulos de lados enteros
a; b; c existen tales que a b c?
Problema 149. Propuesto por Ovidiu Furdui, Kalamazoo, USA.
Sea n 1 un nmero natural. Calcular
1
Z
1
x
n
e
x
1 x
x
2
2!

x
n
n!
dx:
Problema 150. Propuesto por Ovidiu Furdui, Kalamazoo, USA.
Sea fag = a [a] la parte fraccionaria de a. Calcular
1
Z
0
1
Z
0

x
y

dxdy:
1
Gdel, ciudadano americano
Tras muchos aos de residencia en Estados Unidos, le haba llegado
la hora de adquirir la nacionalidad americana. Para ello tena que
responder a una serie de preguntas muy sencillas acerca de la
Constitucin: de esta forma, demostrara poseer un conocimiento
mnimo y general de su contenido y manifestar su consideracin
hacia ella. Adems, necesitaba dos avalistas que respondieran de su
reputacin y le acompaaran al examen oral ante un juez local.
Gdel tena unos padrinos de lujo: Albert Einsyein, que no necesita
presentacin alguna, y Oskar Morgenstern, economista matemtico y
coinventor, junto con John von Neumann, de la teora del juego.
Einstein cuenta que haba ido aumentando su preocupacin y la del
propio Morgenstern ante la inestabilidad y falta de sentido comn
que haba demostrado Gdel durante el periodo previo a esta simple
entrevista.
Parece ser que Gdel llam a Morgenstern la tarde anterior para
explicarle que haba encontrado un resquicio en el entramado de la
Constitucin que permita la instauracin de una dictadura.
Morgenstern le dijo que eso era completamente absurdo y que bajo
ningn concepto deba mencionarlo en la entrevista del da siguiente.
Cuando lleg la tan esperada cita, Einstein y Morgenstern intentaron
desviar la atencin de Gdel para que no pensara en lo que le
rondaba la cabeza y evitar as que se le escapara algn chiste
inconveniente o alguna ancdota fuera de lugar: confiaban en que se
limitara a presentarse, dar las respuestas de rigor y los tpicos
resabidos y marchar con la nacionalidad bajo el brazo. El siguiente
relato de John Casti sobre cmo discurri la entrevista confirma que
las sospechas de los dos testigos no eran infundadas:
Durante la misma, el juez qued gratamente impresionado por la
brillante personalidad y reputacin pblica de los testigos de Gdel, y
rompi con la tradicin al invitarles a sentarse el tiempo que durara
la entrevista. El juez empez por comentar a Gdel: Hasta ahora,
usted ha tenido nacionalidad alemana. Gdel corrigi esta ligera
ofensa, haciendo notar que era austraco. Impertrrito, su seora
prosigui: De todos modos, su pas tuvo que sufrir una dictadura
horrible pero afortunadamente eso no puede suceder en Amrica.
Al or la palabra mgica, dictadura Gdel no pudo contenerse y
grit: Todo lo contrario!, yo s cmo puede suceder eso, puedo
probarlo!. Calmarle y evitar que siguiera adelante con la explicacin
extensa y detallada de su descubrimiento requiri no slo los
esfuerzos de Einstein y Morgenstern, sino tambin los del juez.


Autor: Referencia: El curioso mundo de las matemticas, David
Wells, Editorial
Tomado de Divulgamat
Olimpada Mexicana de Matemtica
http://erdos.fciencias.unam.mx/omm/index.php

El Concurso Nacional de la Olimpiada Mexicana de Matemticas es la
competencia anual de matemticas para estudiantes preuniverstarios
ms importante en nuestro pas. Su objetivo es promover el estudio
de las matemticas en forma creativa, alejndose del estudio
tradicional que promueve la memorizacin y mecanizacin, y
buscando desarrollar el razonamiento y la imaginacin de los
jvenes.
Anualmente cada estado de la Repblica lleva a cabo, en forma
autnoma, su concurso Estatal y la preparacin del equipo que lo
representa en el Concurso Nacional. A este concurso asisten
aproximadamente 200 alumnos de todo el pas y uno o dos
profesores por cada delegacin estatal. Este evento se desarrolla en
el mes de noviembre en algn estado de la Repblica, mismo que
patrocina fuertemente el evento. Asiste tambin un equipo de 24
personas que integran el Tribunal de Coordinacin, encargado de la
calificacin de los exmenes presentados por los alumnos
concursantes. Este equipo est formado por prestigiados profesores
de todo el pas, as como alumnos de olimpiadas pasadas que han
destacado y que han continuado su preparacin en matemticas.
Los 16 alumnos con mejores calificaciones en el Concurso Nacional
constituyen la preseleccin nacional, la cual recibe entrenamientos
especiales durante varios meses. De esta preseleccin se eligen las
delegaciones que representarn a Mxico en las olimpiadas
internacionales del ao siguiente: Internacional, Iberoamericana,
Centroamericana y del Caribe y de la Cuenca del Pacfico.
Toda participacin de los alumnos en los concursos y entrenamientos
es gratuita. Los gastos de viajes y alimentacin de los alumnos para
asistir a los concursos nacionales e internacionales as como los
entrenamientos, son patrocinados por diversas instituciones, a travs
de la Sociedad Matemtica Mexicana, organizadora de la Olimpiada a
nivel nacional.
Para fortalecer el programa de la Olimpiada, el Comit Organizador
de la Olimpiada Mexicana de Matemticas realiza un examen de
prctica, cursos especiales para profesores, y la publicacin de
material acadmico y de difusin.
El esfuerzo de un gran nmero de personas que han trabajado para
las Olimpiadas a lo largo de varios aos se ha visto recompensado
por el papel destacado que ha tenido nuestro pas a nivel
internacional. Es importante sealar, sobre todo, el impacto en el
ambiente educativo de nuestro pas: muchos profesores y alumnos
que se han acercado en algn momento a las Olimpiadas han creado,
de manera espontnea y altruista, innumerables talleres de
resolucin de problemas de matemticas en los cuales han vertido
sus experiencias. Asimismo, las universidades involucradas en la
organizacin de las Olimpiadas de Matemticas han recibido el fruto
de su apoyo con el ingreso de alumnos que cuentan con una
excelente formacin tanto matemtica como humana, la cual han
obtenido gracias a sus experiencias durante los concursos, los
intercambios y entrenamientos que les ha ofrecido el programa de
las Olimpiadas.
La pgina de la Olimpada tiene secciones de mucho inters:
Olimpiada Nacional
Olimpiadas en las que participa Mxico
Entrnate!!
Fotos
Curiosidades
Directorio del comit y delegados
Produccin Bibliogrfica
Links

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