E Cuac I Ones Funcional Es 2

Daniel Lasaosa Medarde (2007)
1

Algunas tcnicas de resolucin de ecuaciones
funcionales en problemas de Olimpiada (II):
Funciones enteras de variable entera

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 segunda entrega, consideramos el caso de Iunciones de
variable entera que toman valores enteros, despues de haber estudiado en la primera el
caso de Iunciones reales de variable real.

1.- Tcnicas comunes a las funciones reales de variable real

Las Iunciones enteras de variable entera suelen tener rasgos particulares que las
distinguen de las Iunciones reales de variable real, en el sentido de que algunas tecnicas
que se usan en las segundas no sirven para las primeras, o de que las primeras pueden
disponer de tecnicas especiIicas que no tienen sentido en las segundas. Sin embargo,
las tecnicas utilizadas en la resolucion de ecuaciones Iuncionales sobre Iunciones reales
de variable real tambien pueden ser muy utiles en el caso de Iunciones enteras de
variable entera; si bien no siempre nos van a proporcionar la solucion, si pueden
simpliIicar mucho la ecuacion a tratar, o por lo menos oIrecer resultados que nos
permitan caracterizar o realizar hipotesis sobre la Iuncion solucion buscada.
Comenzamos pues esta segunda parte de la leccion de preparacion olimpica
presentando algunos casos de resolucion de ecuaciones Iuncionales con Iunciones
objetivo enteras de variable entera, en los cuales las tecnicas presentadas para las
Iunciones reales de variable real, bien llevan directamente a la solucion, bien permiten
simpliIicar el problema hasta el punto de hacerlo 'casi trivial. Asi, el problema 6 de la
XXXVI Olimpiada Matematica Espaola (2000) se puede resolver utilizando
sustituciones:
2
Demuestra que no existe ninguna funcin : que cumpla (())= == =+ ++ +1.

Asumimos que =1,2,3,.} (la demostracion seria analoga si incluimos el 0 en el
conjunto de los naturales), y suponemos que existe una tal Iuncion. Sustituyendo n por
f(m) para cualquier m natural, dependiendo de si lo tomamos como la Iuncion aplicada a
f(f(m)), o como la Iuncion aplicada dos veces a f(m), tenemos
( ) ( ) ( ) ( ) ( ) 1 1 f m f f f m f m + = = + .
Se puede entonces demostrar Iacilmente por induccion que
( ) ( ) 1 1 f n f n + = + .
El resultado es trivialmente cierto para n=1 (nos basta hacer m=1 en la ecuacion
hallada), y si es cierto para n1, entonces
( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 1 1 1 1 1 1 f n f n f n n f n f + = + = + + = + + = + .
Luego
( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 1 1 1 1 1 1 2 2 1 n f f n f n f n f f n f + = = + = + + = + .
Luego f(1)=3/2, que es absurdo porque f(1) debe ser natural. Luego no existe ninguna
Iuncion con la propiedad pedida.

El problema 3 de la XL Olimpiada Matematica Espaola (2004) se puede
resolver tambien utilizando tecnicas conocidas para las Iunciones reales de variable real.
Se presenta una solucion que utiliza Iundamentalmente sustituciones de los valores de
las variables, inyectividad y suprayectividad:

Se representa por el conjunto de todos los enteros. Hallar todas las funciones
: tales que para cualesquiera , enteros se verifica:
(+ ++ +())= == =() .

Haciendo x=0, se tiene que, para todo entero v,
( ) ( ) ( ) 0 f f v f v = .
3
De esta relacion se deduce inmediatamente que f es inyectiva (pues si f(x)=f(v), entonces
f(0)x=f(0)v, luego x=v), y ademas que f es suprayectiva (nos basta tomar, para
cualquier entero :, v=f(0): en la relacion hallada para comprobar que f(f(0):) tiene por
imagen :). Por lo tanto, existe un unico tal que f()=0, con lo que haciendo v= en la
ecuacion original, se tiene que f(x)=f(x), con lo que queda probado que =0, y f(0)=0,
siendo ademas f(f(v))=v. Ahora bien, haciendo x=f(v) en el enunciado, se tiene que
( ) ( ) ( ) ( ) ( )
0 v v f f v v f f v f v = = = + ,
que por inyectividad nos lleva a que f(v)+f(v)=0, es decir, f(v)=f(v) para todo entero
v. Procedemos ahora por induccion para demostrar que, para todo entero no negativo n,
( ) ( ) ( ) f x nf v f x nv + = .
La relacion es trivialmente cierta para n=0, y esta dada en el enunciado para n=1. Si se
cumple para n=m1, entonces se cumple para m:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
1 1
1 .
f x mf v f x m f v f v f x m f v v
f x m v v f x mv
+ = + + = +
= =

Luego se cumple para todo entero no negativo. En particular, si x toma un valor entero
positivo cualquiera m, entonces haciendo n=m en la relacion demostrada,
( ) ( ) ( ) ( ) ( ) ( ) 1 f m mf v f m f v f m mv + = + = .
Ahora bien, por la suprayectividad de f, existe un entero tal que f()=1, con lo que
( ) ( ) ( ) ( ) ( ) 0 0 1 f f m f f m m = = + = ; ( ) f m m = .
Notese que esta relacion es valida para todo m no negativo, pero si m es negativo,
entonces m es positivo, con lo que f(m)=f((m))=f(m)=m, y la relacion tambien se
cumple. Se tiene entonces que, para todo entero v,
( ) ( ) ( )
2
v f f v f v v = = = ,
2
1 = .
Pero esta ultima relacion es imposible para entero, con lo que no existe ninguna
Iuncion con las caracteristicas dadas en el enunciado, y hemos terminado.

Combinando las tecnicas de sustitucion e inyectividad, se simpliIica considerablemente
el problema 3 de la VIII Olimpiada Iberoamericana de Matematica (1993). Este
problema se puede Iinalizar utilizando la acotacion superior e inIerior:
4
Sea
`
= == =1,2,3,.]. Halle todas las funciones f:
`

`
tales que:
i. Si x> >> >y entonces f(x)> >> >f(y),
ii. f(yf(x))= == =x
2
f(xy), para todos x,y en
`
.

La Iuncion es obviamente inyectiva, pues si f(x)=f(v), no puede ser ni x>v, ni v>x, luego
es x=v. Es entonces trivial constatar que, haciendo x=1, ha de ser f(vf(1))=f(v), luego
f(1)=1. Sustituyendo ademas v, primero por 1, y luego por f(:) para cualquier natural :,
en la condicion ii, se tiene que, para todo x y para todo :,
( ) ( ) ( )
2
f f x x f x = ,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2
2
f f : f x x f xf : x: f x: f f x: = = = ,
luego al ser f inyectiva, es f(x:)=f(x)f(:).
Ahora supongamos que f(x)>x
2
. Entonces,
( ) ( ) ( ) ( ) ( ) ( )
2
2 2
x f x f f x f x f x = > = , ( )
2
f x x < ,
llegandose a una contradiccion. De Iorma similar, supongamos que f(x)<x
2
. Entonces,
( ) ( ) ( ) ( ) ( ) ( )
2
2 2
x f x f f x f x f x = < = , ( )
2
f x x > ,
nuevamente contradictorio. Luego solo podria ser f(x)=x
2
para todo x. Pero esta
Iuncion es obviamente creciente estrictamente, y ademas hace que ambos miembros en
la condicion ii sean iguales a x
4
v
2
, luego es solucion, y es la unica.

Otra tecnica que tambien se vio en la primera leccion, y que puede ser muy
interesante tambien para Iunciones enteras de variable entera, es la de doble acotacion.
En el caso de Iunciones enteras de variable entera, esta acotacion puede ser incluso mas
potente, ya que al poder tomar la Iuncion solo valores enteros, si sabemos que f(n)>m
para enteros n y m cualesquiera, entonces f(n)m+1. Esta tecnica se ilustra con ayuda
del problema 1 de la XXIII Olimpiada Matematica Internacional (1982):

La funcin f(n) est definida para todos los enteros positivos n y toma valores
enteros no negativos. Adems, para cualesquiera m,n,
f(m+ ++ +n) f(m) f(n)= == =0 o 1,
5
f(2)= == =0, f(3)> >> >0, f(9999)= == =3333.
Determine f(1982).

Se comprueba Iacilmente que f(1)=0, f(3)=1:
( ) ( ) 0 2 2 1 0 o 1 f f = = + , ( ) 0 1 0 f , ( ) 1 0 f = ;
( ) ( ) ( ) 0 3 2 1 0 o 1 0 o 1 f f f < = + + = , ( ) 3 1 f = .
Se puede comprobar tambien Iacilmente por induccion que, dado cualquier entero
positivo p, y para cualquier entero positivo m, es f(mp)mf(p), dandose la igualdad si y
solo si f(np)=nf(p) para todo n=1,2,.,m. Este resultado es trivialmente cierto para m=1.
Si es cierto para m=n1, entonces
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
1 1 0 o 1 1
1 ,
f np f n p p f n p f p f n p f p
n f p f p nf p
= + = + + +
+ =

Dandose la igualdad en la ultima desigualdad si y solo si f(np)=nf(p) para todo
n=1,2,.,m1 por hipotesis de induccion. Por lo tanto, como f(3)=1, y
( ) ( ) 3333 3333 3 9999 3333 f f = = ,
entonces se tiene que f(3m)=mf(3)=m para todo m=1,2,3,.,3333, de donde se deduce
que f(1983)=f(3661)=661, luego f(1982)=f(1983)f(1)0 o 1=660 o 661. Ahora bien,
( ) ( ) ( ) ( ) ( ) 3304 3 3304 9912 9910 2 0 o 1 9910 f f f f f = = = + + ,
( ) ( ) ( ) 3304 9910 5 1982 5 1982 f f f = ,
( )
3304 3305
1982 661
5 5
f < = .
Luego f(1982)=660.

Las tecnicas basadas en la acotacion pueden ser extraordinariamente potentes
teniendo en cuenta propiedades especiIicas de los numeros enteros. El siguiente
ejemplo pone de relevancia dos de ellas: la existencia de un minimo o maximo en todo
conjunto acotado inIerior o superiormente de enteros, y el hecho de que dos enteros
distintos tienen diIerencia como minimo de 1. Ambas propiedades se utilizan en esta
solucion del problema 6 de la XIX Olimpiada Matematica Internacional (1977):
6
Sea f(n) una funcin definida sobre los enteros positivos y tomando valores enteros
positivos. Demuestre que si
f(n+ ++ +1)> >> >f(f(n))
para cada entero positivo n, entonces
f(n)= == =n para cada n.

DeIiniremos el conjunto F
m
como f(m),f(m+1),f(m+2),.}, y demostraremos por
induccion que f(m) es el unico minimo de F
m
(el que todo F
m
tiene minimo es
consecuencia trivial de ser un conjunto de enteros positivos, y por lo tanto acotado
inIeriormente la unicidad de cada uno de estos minimos se demuestra a lo largo de la
solucion que aqui se presenta).
El resultado es relativamente obvio para m=1, ya que para cualquier n>1, f(n)>f(f(n1)),
estando trivialmente f(f(n1)) en F
1
, pues F
1
contiene a todas las posibles imagenes de f,
con lo que el minimo no puede ser ningun f(n) con n>1, y el unico minimo es f(1).
Supongamos que el resultado es cierto hasta m. Entonces, f(m)m, ya que al ser f(p) el
unico minimo de F
p
para todo p=1,2,.,m, entonces es f(1)<f(2)<f(3)<.<f(m), y por ser
enteros, f(1)f(2)1f(3)2.f(m)(m1). Pero como f(1)1 por ser entero positivo,
es f(m)m. Supongamos que n>m+1, con lo que f(n1) esta en F
m+1
, al ser n1m+1.
Pero entonces, f(n1)>m, ya que si esta en F
m+1
, tambien esta en F
m
, y ademas es mayor
que f(m), que era el unico minimo de F
m
. Luego f(n1)m1, con lo que f(f(n1)) esta
en F
m+1
, y al ser f(n)>f(f(n1)), f(n) no puede ser minimo de F
m+1
. Luego el unico
minimo de F
m+1
solo puede ser f(m+1), y hemos acabado esta demostracion.
De la demostracion se deduce trivialmente que, si n>m, entonces f(n)>f(m), al ser f(m) el
unico minimo de F
m
, estando f(n) incluido en este conjunto. Supongamos entonces que
f(n)>n. Pero entonces, f(n)n+1, con lo que f(f(n))f(n+1)>f(f(n)), que es absurdo.
Luego f(n)n. Supongamos Iinalmente que f(n)<n. Al ser entero, entonces f(n)n1.
Pero como f(n)>f(n1)>.>f(1), y al ser enteros esto signiIica que
f(n)f(n1)+1f(n2)+2.f(1)+(n1), entonces f(1)f(n)(n1)0. Pero f(1) es
entero positivo, luego llegamos nuevamente a una contradiccion. Luego solo puede ser
f(n)=n para cada n, que ademas cumple trivialmente la condicion propuesta en el
enunciado, al ser f(n+1)=n+1>n=f(n)=f(f(n)).

7
La tecnica del punto Iijo es tambien aplicable en ciertos casos, como por
ejemplo en la resolucion del problema 3 de la XXXVII Olimpiada Matematica
Internacional (1996):

Sea S el conjunto de los enteros no negativos. Encuentre todas las funciones f:S S
tales que
( ) ( ) ( ) ( ) ( ) f m f n f f m f n + = + , , m n S .

Sustituyendo m=n=0, se encuentra que f(f(0))=f(f(0))+f(0), de donde f(0)=0. Haciendo
entonces n=0 en la ecuacion original, se tiene que
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0 f m f m f f f m f f f m = + = + = ,
Es decir, f(m) es punto Iijo de m para cualquier entero no negativo m. Como todas las
imagenes de la Iuncion son puntos Iijos, si no existen puntos Iijos positivos, entonces el
unico punto Iijo, y por lo tanto el unico valor que toma la Iuncion, es 0, dandonos la
solucion trivial f(n)=0 para todo n.
Si por el contrario existen puntos Iijos mayores que 0, entonces existe un punto Iijo
positivo minimo, que llamaremos m. Veremos en primer lugar que, para cualquier
entero no negativo a, f(am)=am, es decir, am es punto Iijo para todo entero no negativo
a. Esto se demuestra Iacilmente por induccion, siendo el resultado trivialmente cierto
cuando a=0, y consecuencia directa de la deIinicion de m cuando a=1. Si es cierto para
a1, entonces haciendo n=(a1)m en la ecuacion inicial, se tiene
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
1 1 1
1 ,
f am f m a m f m f a m f f m f a m
m a m am
= + = + = +
= + =

donde se ha usado que m y (a1)m son puntos Iijos por hipotesis de induccion. Sea
ahora cualquier entero n=am+b, donde b es un resto modulo m (b0,1,2,.,m1}).
Demostraremos que si n es un punto Iijo, entonces b=0, es decir, que no hay mas puntos
Iijos de f que los multiplos enteros positivos de m. Para ello, consideraremos que, al ser
f(b) punto Iijo por ser imagen de f, y am por ser multiplo de m, entonces sustituyendo m
por b, y n por am en la ecuacion dada en el enunciado,
( ) ( ) ( ) ( ) ( ) ( ) ( ) n am b f b am f b f am f f b f am f b am = + = + = + = + = + ,
( ) b f b = .
8
Ahora bien, como b<m y m es el menor punto Iijo positivo, entonces b=0.
Demostraremos tambien que, para cualquier a no negativo y b resto modulo m,
( ) ( ) f am b am f b + = + ,
ya que utilizando que f(b) y am son puntos Iijos de f, se tiene que
( ) ( ) ( ) ( ) ( ) ( ) ( ) f am b f b f am f f b f am am f b + = + = + = + .
Finalmente, demostraremos que, con tal de que f(b) sea un entero positivo multiplo de m
(y por lo tanto un punto Iijo de f), la Iuncion esta bien deIinida y cumple con la
condicion del enunciado. Para ello, escribimos u=am+b, v=cm+d para u y v enteros no
negativos cualesquiera, donde b y d son restos modulo m, y a y c son enteros no
negativos. Entonces, f(b)=pm, f(d)=qm, para algunos enteros no negativos p y q, y
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ),
f u f v f am b cm qm f a c q m b a c q m f b
am f b cm f d f am b f cm d f u f v
f f u f v
+ = + + + = + + + = + + +
= + + + = + + + = +
= +

y hemos demostrado que todas las Iunciones con la Iorma deIinida son solucion del
problema, y no hay otras. Es decir, las soluciones son todas las Iunciones tales que,
para algun m (Iijo para cada solucion, pero pudiendo tomar en principio cualquier
valor), escribimos cualquier entero no negativo como n=am+b, donde a es un entero no
negativo y b cualquier resto modulo m (0,1,2,.,m1). Entonces, f(n)=am+f(b), donde
f(b) es un entero no negativo multiplo de m, con la unica restriccion de que f(0)=0.

2.- Definicin de funciones auxiliares

La idea principal detras de esta tecnica es la simpliIicacion de la ecuacion a
traves de la deIinicion de una Iuncion auxiliar, resultado de aplicar alguna operacion o
transIormacion sobre la Iuncion a hallar, de Iorma que esta ultima satisIace la ecuacion
Iuncional dada, si y solo si la Iuncion auxiliar satisIace una ecuacion Iuncional mas
sencilla, resolviendose entonces esta segunda. Si bien esta tecnica no se ilustro a traves
de su uso con Iunciones reales de variable real, tambien seria aplicable a estas.
Se ilustra esta tecnica a traves de una posible solucion del problema 5 de la
XXXIV Olimpiada Matematica Espaola (1998):
9
Hallar todas las funciones f: estrictamente crecientes y tales que
f(n+ ++ +f(n))= == =2f(n)
para n= == =1,2,3,.

Si deIinimos la Iuncion auxiliar g(n)=f(n)n, se tiene que, para todo entero positivo n,
( ) ( ) ( ) ( ) ( ) ( ) ( ) g n f n f n f n n f n f n n g n + = + = = .
Ahora bien, como la Iuncion f es estrictamente creciente, f(n)>f(n1), y como ambos
deben ser enteros, entonces f(n)f(n1)1=n(n1), es decir, g(n)g(n1), dandose la
igualdad si y solo si f(n) y f(n1) son enteros consecutivos. Se demuestra Iacilmente
por induccion que, para todo entero positivo m, g(n+m)g(n), dandose la igualdad si y
solo si g(n+p)=g(n) para todo p=1,2,.,m. La hipotesis de induccion ha sido ya
demostrada para m=1, y si es cierta para m1, entonces g(n+m)g(n+m1)g(n), siendo
cierta la segunda desigualdad si y solo si g(n+p)=g(n) para todo p=1,2,.,m1, es decir,
siendo el primer y el tercer terminos iguales si y solo si g(n+p)=g(n) para todo
p=1,2,.,m. Sea entonces la sucesion deIinida por n
m+1
=n
m
+f(n
m
) para m1, siendo
n
1
=1. Como g(n)=g(n+f(n)), es trivial que g(n
m
)=g(n
1
) para todo entero positivo m.
Como ademas la sucesion n
i
} es una sucesion estrictamente creciente de enteros (f(n)
es un entero positivo para todo n), entonces no esta acotada, y para todo N, existe un
n
i
N, con lo que al ser g(n
i
)=g(n
1
), es g(N)=g(1) para todo entero positivo N, es decir, g
es constante. Luego como g toma un valor entero constante k, entonces f(n)=n+k.
Como f toma valores enteros positivos cuando n toma valores enteros positivos, k debe
ser no negativo (en caso contrario f(1) seria no positivo). Sustituyendo esta expresion
en la ecuacion dada, se obtiene que
( ) ( ) ( ) ( ) ( ) 2 2 2 2 2 f n f n f n k n k n k f n + = + = + = + = ,
con lo que k puede tomar cualquier valor entero no negativo, y hemos acabado.

10
3.- Expresin del conjunto de imgenes como unin de
subconjuntos disjuntos

En principio esta tecnica no es exclusiva de Iunciones enteras de variable entera,
pero puede resultar mas sencilla de utilizar cuando el conjunto de valores que toma la
imagen es discreto (caso de enteros y racionales). La idea principal es comprobar que el
conjunto de imagenes (que puede ser desconocido a priori) puede dividirse, mediante
alguna condicion aplicada a la Iuncion, en diIerentes subconjuntos disjuntos, para a
traves de las propiedades de dichos conjuntos, poder acotar las soluciones, o bien probar
o reIutar hipotesis acerca del conjunto de valores que toma la Iuncion. Tambien puede
utilizarse esta tecnica de otra Iorma: dividiendo ciertos conjuntos de enteros (o todos
ellos), en diIerentes conjuntos disjuntos, segun sean o no imagenes de la Iuncion, y a
partir nuevamente de propiedades de estos conjuntos o de sus elementos, llegar a
comprobar cuales si podrian ser imagenes de la Iuncion, cuales no, o simplemente
probar o reIutar hipotesis acerca de dichos valores.
Un caso en el que la division del conjunto de los enteros en dos conjuntos disjuntos se
presenta en la siguiente solucion del problema 3 de la XX Olimpiada Matematica
Internacional (1978), aunque en este caso es el propio enunciado el que impone esta
division:

El conjunto de los enteros positivos es la unin de dos subconjuntos disjuntos
f(1),f(2),.,f(n),.], g(1),g(2),.,g(n),.], donde
f(1)< << <f(2)< << <.< << <f(n)< << <.,
g(1)< << <g(2)< << <.< << <g(n)< << <.,
y
g(n)= == =f(f(n))+ ++ +1 para todo n 1.
Determine f(240).

Sean F y G los conjuntos de las imagenes de f y g, respectivamente. Obviamente, un
entero pertenece a F si y solo si no pertenece a G. Es tambien obvio que, si un entero
positivo m pertenece a G, ni m+1 ni m1 pertenecen a G. Para ello, es trivial comprobar
que, si m pertenece a G, existe un entero positivo n tal que m1=g(n)1=f(f(n)), luego
m1 pertenece a F. Entonces, si m+1 perteneciera a G, entonces (m+1)1=m no podria
11
pertenecer a G. Es tambien obvio que 1 no puede pertenecer a G, pues entonces
existiria un entero positivo n tal que 0=g(n)1=f(f(n)), que es absurdo ya que 0 no
pertenece ni a F ni a G. Luego f(1)=1, ya que 1 es el minimo de F, y g(1)=f(f(1))+1=2.
Como no puede haber dos enteros consecutivos en G, entonces 3 esta en F, y es el
menor elemento de F distinto de f(1)=1, con lo que f(2)=3.
Sea ahora, para cualquier entero positivo n, f(n)=m. Entonces, g(n)=f(m)+1. Ahora
bien, hay n valores en G menores o iguales que g(n), que son obviamente
g(1),g(2),.,g(n), y m valores en F menores que f(m)+1, que son f(1),f(2),.,f(m), ya
que f(m+1)f(m)+1 pertenece a G, y no a F. Ademas, como f(p)>f(m+1) para todo p>m,
entonces hay exactamente m valores en F menores que f(m)+1, y como
g(p)>g(n)=f(m)+1, hay exactamente n valores en G menores o iguales que f(m)+1, con
lo que hay m+n valores en FG menores o iguales que f(m)+1. Luego al ser FG igual
al conjunto de los enteros positivos, y ser F y G disjuntos, entonces f(m)+1=m+n, y
f(m)=m+n1 donde m=f(n). Se tiene entonces que
( ) 3 3 2 1 4 f = + = , ( ) 4 4 3 1 6 f = + = , ( ) 6 6 4 1 9 f = + = ,
( ) 9 9 6 1 14 f = + = , ( ) 14 14 9 1 22 f = + = , ( ) 22 22 14 1 35 f = + = ,
( ) 35 35 22 1 56 f = + = , ( ) 56 56 35 1 90 f = + = , ( ) 90 90 56 1 145 f = + = ,
( ) 145 145 90 1 234 f = + = .
Ahora bien,
( ) ( ) ( ) ( ) 35 35 56 1 91 g f f f = = + = ,
con lo que 92 esta en F, y al ser el menor elemento de F mayor que f(56), es f(57), luego
( ) 57 92 f = , ( ) 92 92 57 1 148 f = + = , ( ) 148 148 92 1 239 f = + = ,
( ) 239 239 148 1 386 f = + = , ( ) ( ) ( ) ( ) 148 148 1 239 1 387 g f f f = + = + = ,
y al ser 388 el menor elemento de F (pues no puede estar en G) que es mayor que
f(239), entonces es f(240), luego el resultado buscado es f(240)=388.

Esta tecnica se aplica tambien en una posible solucion al problema 4 de la
XXVII Olimpiada Matematica Internacional (1987), tomandose las imagenes de un
conjunto de valores de la variable, y razonandose sobre su paridad:
12
Demuestre que no existe ninguna funcin f del conjunto de los enteros no negativos
en s mismo tal que, para cada n, f(f(n))= == =n+ ++ +1987.

Supongamos que existe una tal Iuncion f. En primer lugar, es trivial constatar que la
Iuncion es inyectiva, ya que si f(n)=f(m), entonces n+1987=m+1987. Luego dado
cualquier conjunto X de enteros no negativos, X y f(X) tienen mismo cardinal (numero
de elementos), deIiniendose
( ) ( ) { }
f X f x x X = .
Ahora bien, es tambien sencillo constatar que
( ) ( ) ( ) ( ) ( ) 1987 1987 f n f f f n f n + = = + ,
donde se ha entendido el termino del medio, bien como la Iuncion aplicada dos veces a
f(n), bien como la Iuncion aplicada a f(f(n))=n+1987. Seria entonces sencillo, a partir de
los valores de f(A), donde A=0,1,2,.,1986} es el conjunto de restos modulo 1987,
hallar f(n) para cualquier n. Dividimos el conjunto A en dos subconjuntos disjuntos, B y
C, tales que si n esta en B, entonces n esta en A y f(n) esta en A, y si n esta en C,
entonces n esta en A y f(n) no esta en A. DeIinimos tambien el conjunto A+1987 como
{ } { } 1987 1987 1987,1988,1989..., 3973 A n n A + = + = .
Se tiene entonces que f(f(A))=A+1987, pues si mA+1987, existe nA tal que
m=n+1987=f(f(n)), y si nA, entonces f(f(n))=n+1987A+1987. Ahora bien,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1987 A f f A f f B C f f B f C f f B f f C + = = = = ,
Siendo ademas las uniones disjuntas siempre, por ser B y C disjuntos, y f inyectiva.
Ademas, f(f(B))A= y f(f(C))A=, por ser A+1987A=.
Sea ahora mB. Entonces, f(m)A, y f(f(m))A, luego f(m)C, y el cardinal de C es
mayor o igual que el cardinal de f(B), luego por inyectividad es mayor o igual que el
cardinal de B.
Sea Iinalmente mC. Obviamente, f(m)1987, pues no pertenece a A, luego existe un
entero no negativo n=f(m)1987 tal que f(f(n))=n1987=f(m), y por inyectividad m=f(n).
Supongamos que n1987. Entonces, existiria un entero no negativo p=n1987 tal que
f(f(p))=n. Luego m=f(f(f(p)))=f(p)+1987, que es absurdo pues mA y f(p) es un entero
no negativo. Luego pertenece a A el entero n tal que m=f(n). Pero m=f(n)A, luego
nB, y el cardinal de B es mayor o igual que el cardinal de C.
13
Luego B y C tienen el mismo cardinal, y al ser disjuntos, y su union igual a A, el
cardinal de A es el doble que el cardinal de B. Pero el cardinal de A es impar, y hemos
llegado a una contradiccion. Luego no existe ninguna tal Iuncion f.

Otro problema en el que la division de la imagen en conjuntos disjuntos puede
ayudar notablemente es el problema 6 de la X Olimpiada Iberoamericana de Matematica
(1995). En la solucion que se propone, se realiza una hipotesis sobre las propiedades de
la Iuncion f, y a partir de ahi se comprueba que el conjunto de imagenes queda dividido,
de Iorma natural, en ciertos subconjuntos, que a su vez se utilizan para probar o reIutar
la hipotesis inicial:

Una funcin f: es circular si para cada p en existe n en con n p tal que
f
n
(p)= == =f(f(. n veces . f(p)))= == =p.
La funcin f tiene grado de repulsin k, 0< << <k< << <1, si para cada p en , f
i
(p) p para
i= == =1,2,.,kp].
Determine el mayor grado de repulsin que puede tener una funcin circular.
Nota (`): x] indica el mayor entero menor o igual que x.

Es trivial comprobar que, al ser la Iuncion circular, ha de ser f(1)=1, pues n=1 es el
unico natural menor o igual que p=1. Llamaremos C
0
=1}, y en general, deIiniremos
C
q
=2
q
,f(2
q
),f(f(2
q
)),.,f
n1
(2
q
)} donde f
n
(2
q
)=2
q
con n2
q
. Obviamente, el cardinal de
C
q
es igual a n2
q
, siendo ademas n1|2
q
k| por deIinicion de grado de repulsion. Por
circularidad, cualquier f
m
(2
q
) esta en C
q
, como se puede demostrar trivialmente por
induccion ya que, si p esta en C
q
, tambien lo esta f(p). Ademas, si p es un elemento
cualquiera de C
q
, entonces existe un entero no negativo m tal que 2
q
=f
m
(p).
Supongamos ahora que la Iuncion tiene grado de repulsion k1/2. Demostraremos que
C
0
,C
1
,C
2
,. y en general los C
q
, para todo entero no negativo q, son conjuntos disjuntos
(lema 1), siendo ademas (lema 2)
{ } { }
1 1
0 1 2
... 1, 2, 3,..., 2 1 2 1
q q
q
C C C C p p
+ +
= = .
El lema 1 es relativamente sencillo de demostrar: supongamos que existe un entero p
que pertenece a la vez a C
q
y C
r
con qr. Entonces, existen m y n tales que 2
q
=f
m
(p) por
14
circularidad, y a la vez p=f
n
(2
r
). Entonces f
m+n
(2
r
)=2
q
, y 2
q
C
r
, luego por circularidad,
2
r
C
q
, con lo que C
q
=C
r
. Podemos asumir, sin perdida de generalidad, que q>r, con lo
que al ser enteros, qr+1. Ahora bien, por tener la Iuncion grado de repulsion k1/2,
entonces el cardinal de C
q
=C
r
, que es n, cumple que n1|2
q
k||2
r+1
k|2
r
, mientras que
por ser f circular, el cardinal de C
r
debe ser n2
r
. Contradiccion, luego C
q
y C
r
son
disjuntos para cualesquiera enteros no negativos distintos q y r.
El lema 2 se cumple trivialmente para q=0, pues C
0
=1}. Supongamos que se cumple
para 1,2,3,.,q1, y veamos que se cumple tambien para q. Sea n el cardinal de C
q
.
Entonces, como C
q
no puede contener a ningun natural menor o igual que 2
q
1 (pues
todos estos elementos pertenecen por hipotesis de induccion a conjuntos que son
disjuntos con C
q
), entonces el maximo M de C
q
es mayor o igual que 2
q
+n1. Por tener
la Iuncion grado de repulsion k1/2, y al ser f
n
(m)=m para todo m de C
q
, y al ser M
entero (con lo que |M/2|=M/2 si M es par, |M/2|=(M1)/2 si M es impar), se tiene que
[ ]
2 1
1 1 1 1
2 2
q
M n
n kM kM
+
> , 2 1
q
n > .
Pero n2
q
por deIinicion de Iuncion circular, con lo que n=2
q
, y M2
q+1
1, con igualdad
si y solo si C
q
esta Iormado por n=2
q
enteros consecutivos. Supongamos Iinalmente que
M>2
q+1
1. Entonces, M2
q+1
, con lo que |kM|2
q
=n, que es absurdo, pues entonces
deberia ser f
n
(M)M, que es Ialso por estar M en C
q
. Luego C
q
esta Iormado por los 2
q

enteros positivos consecutivos comprendidos entre 2
q
y 2
q+1
1, ambos inclusive, de
donde trivialmente
{ } { }
1
0 1 2
... 1, 2, 3,..., 2 1 1, 2, 3,..., 2 1
q q
q q
C C C C C
+
= = .
Una Iuncion con las caracteristicas pedidas podria estar deIinida como sigue:
( )
1
1, si 2 1,
2 , si 2 1,
q
q q
n n
f n
n
+
=

=

siendo 2
q
la menor potencia entera de 2 mayor que n. Por lo tanto, existen Iunciones
con grado de repulsion k1/2, de las cuales se ha dado un ejemplo, y todas las cuales
cumplen los dos lemas probados. Veremos ahora que ninguna de tales Iunciones tiene
grado de repulsion k>1/2. Para ello, consideramos que, como M pertenece a C
q
, con lo
que f
n
(M)=M para n=2
q
, entonces por deIinicion del grado de repulsion,
[ ] ( ) ( ) ( )
1 1
2 1 1 2 1 2 1 2 1 2 1
q q q q q
n kM k k
+ +

= = = +

.
15
Por lo tanto, el contenido del ultimo corchete debe ser menor que 1, con lo que
( )
1 1
2 1 1
2 1 2 2 2 1
q
q q
k
+ +
< = +

.
Pero al tender q a inIinito, el segundo sumando se hace arbitrariamente pequeo, con lo
que existiran valores de q tales que el miembro de la izquierda sera menor que cualquier
k>1/2. Luego como ninguna Iuncion circular puede tener grado de repulsion k>1/2,
pero si puede tener grado de repulsion k=1/2 (como la Iuncion dada en el ejemplo), este
es el valor buscado, y hemos acabado.

Finalmente, se propone otro problema donde la division del conjunto de
imagenes se realiza de acuerdo a su pertenencia a determinadas sucesiones deIinidas
recursivamente, cuyas propiedades vienen establecidas por la propia ecuacion Iuncional.
Se trata del problema 5 de la XXXIV Olimpiada Matematica Internacional (1993):

Existe una funcin f: tal que f(1)= == =2, f(f(n))= == =f(n)+ ++ +n para todo n , y
f(n)< << <f(n+ ++ +1) para cada n ?

Es trivial comprobar que f(2)=f(1)+1=3, f(3)=f(2)+2=5, f(5)=f(3)+3=8, etc., pudiendose
demostrar Iacilmente por induccion que f(F
m
)=F
m+1
para m1 donde F
m
es el m-esimo
termino de la sucesion de Fibonacci, deIinida como F
0
=1, F
1
=1, F
m+1
=F
m
+F
m1
para
todo m1. Para demostrar que existe una Iuncion como la pedida en el enunciado,
dividiremos el conjunto de naturales en subconjuntos disjuntos, de tal Iorma que cada
uno de ellos sea una sucesion construida mediante la relacion recursiva G
m+1
=G
m
+G
m1
,
pero cada uno de ellos con condiciones iniciales G
0
y G
1
distintas. Para ello,
demostraremos el siguiente lema: todo entero positivo se puede expresar de una unica
Iorma como la suma de elementos distintos y no consecutivos de la sucesion de
Fibonacci. Es decir, todo natural se puede escribir de una unica manera como
1
i
I
n
i
F
=
,
con la condicion de que los n
i
sean enteros positivos distintos, no habiendo dos de ellos
consecutivos. El que todo natural se puede expresar como la suma de elementos
16
distintos no consecutivos de la sucesion de Fibonacci es relativamente sencillo por
induccion; supongamos que la hipotesis de induccion es cierta para todo entero menor o
igual que F
m
para algun m (la hipotesis es trivialmente cierta para m=1 pues 1=F
1
). Si
n=F
m+1
, la suma tiene un unico sumando, que es F
m+1
. Si F
m
<n<F
m+1
, entonces se tiene
que nF
m
<F
m+1
F
m
=F
m1
, luego por hipotesis de induccion nF
m
se puede expresar
como suma de terminos distintos y no consecutivos de la sucesion de Fibonacci.
Ademas, ninguno de ellos puede ser mayor o igual que F
m1
, luego ninguno de ellos
puede ser consecutivo con F
m
, y n se puede expresar como F
m
mas la suma que da lugar
a nF
m
. Para demostrar la unicidad, demostremos en primer lugar por induccion que
2 1 2
1
1
n
i n
i
F F
=
=
,
2 2 1
1
1
n
i n
i
F F
+
=
=
.
La hipotesis de induccion es trivialmente cierta para n=1, ya que F
2
1=F
2
F
0
=F
1
, y que
F
3
1=F
3
F
1
=F
2
. Si la hipotesis de induccion es cierta hasta n, entonces
( )
1
2 1 2 1 2 1 2 1 2 2 2 2 1
1 1
1 1 1
n n
i n i n n n n
i i
F F F F F F F
+
+ + + +
= =
= + = + = =

,
( )
1
2 2 2 2 2 2 2 1 2 3 2 1 1
1 1
1 1 1
n n
i n i n n n n
i i
F F F F F F F
+
+ + + + + +
= =
= + = + = =

.
Sea entonces m el menor entero que se puede escribir de dos maneras distintas como
suma de elementos distintos y no consecutivos de la sucesion de Fibonacci. Si el mayor
de los elementos en cada suma es el mismo (supongamos que es F
M
), entonces mF
M
se
puede expresar de dos Iormas como suma de elementos distintos y no consecutivos de
la sucesion de Fibonacci. Pero entonces m no seria el menor natural con esta propiedad.
Luego las dos sumas tienen un elemento mayor distinto. Supongamos que el maximo
de los elementos que intervienen en ambas sumas es F
M
. Entonces, mF
M
, por poder
ser expresado como la suma cuyo mayor elemento es F
M
. Pero al mismo tiempo,
1 3 5
... 1
M M M M
m F F F F

+ + + = ,
ya que esta es la maxima suma de elementos distintos no consecutivos de la sucesion de
Fibonacci tales que ninguno de ellos es mayor o igual que F
M
. Hemos llegado a una
contradiccion, luego la suma es unica para todo entero.
Sean ahora m
1,1
, m
2,1
, m
3,1
,. los enteros tales que, en dicha suma, interviene F
1
=1. Para
cada uno de ellos, construimos el siguiente conjunto: si
,1
1
i
I
f n
i
m F
=
=
,
17
donde sin perdida de generalidad los n
i
estan en sucesion creciente, con lo que n
1
=1,
entonces
, 1
1
i
I
f k n k
i
m F
+
=
=
.
Demostraremos entonces que el conjunto de naturales es la union disjunta de los
conjuntos m
f,1
,m
f,2
,m
f,3
,.}. El que todo natural pertenece a uno de estos conjuntos es
relativamente trivial: si la expresion de este natural N como suma de elementos distintos
de la sucesion de Fibonacci, no dos de ellos disjuntos, entonces bien F
1
=1 esta en la
suma, bien no esta. En el primer caso, N es uno de los m
f,1
. En caso contrario, sea F
k
el
menor de los elementos de la sucesion de Fibonacci que esta en la suma. Entonces,
podemos expresar
'
1
i
I
n
i
N F
=
=
,
donde cada uno de los n'
i
es mayor o igual que k, siendo todos ellos distintos y no
consecutivos, y habiendo exactamente uno que es igual a k. Sea entonces el numero
' 1 ,1
1 1
i i
I I
n k n f
i i
F F m
+
= =
= =

.
que obviamente esta bien deIinido asi porque, al ser uno de los n'
i
igual a k, entonces
uno de los n
i
=n'
i
k+1 es igual a 1, y todos los n
i
son distintos y no consecutivos.
Entonces, N=m
f,k
, y pertenece a uno de los conjuntos que hemos construido. Como
ademas la expresion de N como suma de elementos distintos no consecutivos de la
sucesion de Fibonacci es unica, tambien lo es el m
f,1
al que se llega por la anterior
manipulacion, con lo que los conjuntos son disjuntos, y hemos acabado.
Finalmente, deIinimos f tal que f(m
f,k
)=m
f,k+1
para todo k1, y hemos acabado, ya que
entonces, como todo n se puede escribir como m
f,k
para algun f, k, se tiene
( ) ( ) ( )
( ) ( ) ( )
( ) ( )
, , , 1 , 1 1
1 1 1
1 , 2 , 1 ,
1
.
i i i i
i
I I I
f k f k f k f k n k n k n k n k
i i i
I
n k f k f k f k
i
f n n f m m m m F F F F
F m f m f f m f f n
+ + + + +
= = =
+ + + +
=

+ = + = + = + = +

= = = = =

18
4.- Factorizacin en nmeros primos

Esta tecnica (exclusiva de Iunciones que tomen valores enteros y/o para
variables que tomen valores enteros, o a lo sumo racionales) es especialmente potente
cuando la Iuncion del producto de dos valores se puede relacionar con las imagenes de
dichos valores. Por ejemplo, cuando la Iuncion satisIace f(mn)=f(m)f(n), o
f(mn)=f(m)+f(n), para cualesquiera m y n, aunque ante otras posibles expresiones
similares tambien se podria utilizar esta tecnica. En este contexto, hay que tener
cuidado con la deIinicion de 'Iuncion multiplicativa, pues si bien para las Iunciones
reales de variable real se deIinian como aquellas para las que, para cualesquiera x, v
reales, f(xv)=f(x)f(v), en el contexto de los numeros enteros se deIinen como aquellas
para las que, para cualesquiera m y n primos entre si, f(mn)=f(m)f(n). Las Iunciones
para las que f(mn)=f(m)f(n) para cualesquiera m y n sin restricciones, se suelen
denominar completamente multiplicativas. En el contexto de Iunciones de variable
entera se suelen deIinir tambien las Iunciones aditivas como aquellas para las que, para
cualesquiera m y n primos entre si, f(mn)=f(m)+f(n), a diIerencia de la deIinicion que se
suele dar en el contexto de Iunciones reales de variable real.

Una primera Iorma de aplicar esta tecnica seria, caso de que f satisIaga alguna de
las relaciones anteriores o una similar, hallar el valor de f en todos los numeros primos,
y a partir de ahi, utilizando probablemente induccion, llegar a hallar el valor de f para
todo natural. Esto se ilustra con una posible solucion del problema 5 de la I Olimpiada
Iberoamericana de Matematica (1987):

A cada entero positivo n se le asigna un entero no negativo f(n) de tal manera que
se satisfagan las siguientes condiciones:
i. f(rs)= == =f(r)+ ++ +f(s),
ii. f(n)= == =0 siempre que la cifra en las unidades de n sea 3,
iii. f(10)= == =0.
Halle f(1985). 1ustifique su respuesta.

Haciendo s=1 en la condicion i se comprueba trivialmente que f(1)=0. Ademas, si
f(rs)=0 para enteros positivos r y s, entonces f(r)=f(s)=0, ya que f(r) y f(s) son enteros no
19
negativos de suma nula por la condicion i. En concreto, f(2)=f(5)=0 al ser f(10)=0. Sea
ahora p un primo cualquiera distinto de 2 y 5. Por ser distinto de 2, es impar, y por ser
distinto de 5, no acaba en 5, luego acaba en 1, 3, 7 o 9. Pero entonces 3p, p, 9p y 7p
respectivamente acaban en 3. Luego al ser respectivamente f(3p)=0, f(p)=0, f(9p)=0 y
f(7p)=0, entonces f(p)=0 para cualquier primo. De aqui es trivial comprobar, por
induccion sobre el numero de Iactores primos de n, que f(n)=0 para todo n. El resultado
es obvio cuando n tiene un unico Iactor primo (n seria primo). Si la hipotesis de
induccion es cierta para todo natural con q Iactores primos, y n tiene q+1 Iactores
primos, lo podemos escribir como n=pm, donde p es primo y m tiene q Iactores primos,
con lo que f(n)=f(p)+f(m)=0. Como caso particular, f(1985)=0.

Hay veces que no solo interesa considerar los Iactores primos de la variable;
tambien puede interesar considerar la descomposicion en Iactores primos de los valores
que toma la propia Iuncion. Como ejemplo, se presenta una posible solucion al
problema 6 de la XXXIX Olimpiada Matematica Internacional (1998):

Sean todas las funciones f del conjunto de todos los enteros positivos en s mismo,
y que satisfacen f(t
2
f(s))= == =s(f(t))
2
para cada s y t de . Determine el mnimo valor
posible de f(1998).

Llamemos f(1)=. Tomando t=1, se tiene que
( ) ( ) ( ) ( )
2
2
1 f f s s f s = = .
En particular, tomando s=1 se tiene que f()=
2
, y tomando s=f(1)=, se tiene que
f(f())=f(
2
)=
3
. Ahora bien,
( ) ( ) ( ) ( )
( )
( ) ( ) ( )
( ) ( )
2 2 2
3 2 2 2 2
1 f t f t f f t f t f f t = = = = , ( ) ( ) f t f t = .
Por induccion trivial, se comprueba que, para cualquier entero positivo n,
( ) ( )
n n
f t f t = .
El resultado esta demostrado para n=1, y si es cierto para n=m1, entonces
( ) ( ) ( ) ( ) ( ) ( )
1 1 1 m m m m m
f t f t f t f t f t

= = = = .
20
Ademas,
( ) ( ) ( ) ( ) ( ) ( )
2
2 2 2
1 f t f t f t f f t = = = .
A partir de aqui, no es complicado demostrar por induccion que
( ) ( ) ( ) ( )
1 1
n
n n n n
f t f t f t

= = .
El resultado es trivialmente cierto para n=1 y esta demostrado para n=2. Si es cierto
para n=m1, entonces
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1 2 2 2 1 2 2 1
2 1 2 1
2 1
.
m m m m m m m m
m m
m m
f t f t f t t f t f f t
f t f t f t f t f t

+ +
+

= = =
= = =

Sea entonces p un Iactor primo de con multiplicidad . Es obvio que, como divide
a (f(t))
2
para cualquier entero positivo t, entonces p divide a (f(t))
2
, luego divide a f(t),
parar cualquier entero positivo t. Supongamos que la menor multiplicidad con la que p
divide a cualesquiera de los f(t), es . Entonces, para todo entero positivo n,
( )
( ) ( ) ( )
1 1
n
n n n
p f t f t

= ; ( ) 1 n n ; ( ) n .
Pero como n puede tomar cualquier valor entero positivo, no puede estar acotado
superiormente, luego 0. Como cualquier primo que divide a , tambien divide a
f(t) con la misma o mayor multiplicidad, entonces divide a f(t) para todo t. Podemos
entonces deIinir, para todo entero positivo t, g(t)=f(t)/. Ahora bien, g tambien cumple
la condicion del enunciado, pues
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
2 2 2 2 2
f t f s f t g s f t g s g t g s = = = ,
( ) ( )
( ) ( ) ( ) ( )
( ) ( )
2 2
2
2
2 2
s g t s f t
s g t g t g s

= = = .
Supongamos que el valor minimo de f(1998) se alcanza cuando f(1)=>1. Entonces,
g(1998)=f(1998)/<f(1998), que es absurdo. Luego el minimo solo se puede alcanzar
cuando f(1)=1. Por una parte, haciendo entonces s=1 en el enunciado, se obtiene
( ) ( ) ( ) ( ) ( )
2
2 2
1 f t f t f f t = =
Por otra parte, f(f(s))=s, con lo que sustituyendo s por f(s
2
) en la relacion dada en el
enunciado,
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
2 2 2
2 2 2 2 2
f st f s t f t f f s f s f t f s f t = = = = ,
( ) ( ) ( ) f st f s f t = .
21
Se comprueba entonces trivialmente por induccion que expresando cualquier entero s
como producto de sus Iactores primos
( ) ( ) ( ) ( ) ( )
1 2 1 2
... ...
r r
f s f p p p f p f p f p = = .
Sustituyendo este resultado en la ecuacion del enunciado, se llega, despues de
simpliIicar los valores de las imagenes de los Iactores primos de t, a que
( ) ( ) ( ) ( ) ( ) ( )
1 2 1 2
... ...
r r
f f p f f p f f p p p p = .
Como este resultado debe ser cierto para todo entero positivo, y en particular para los
enteros positivos primos, se tiene que, para todo primo p
i
, f(f(p
i
))=p
i
.
Luego deIiniendo cualquier Iuncion f tal que su eIecto en los numeros primos sea el
descrito, y tal que la imagen de un entero sea igual al producto de las imagenes de sus
Iactores primos, esta cumplira la hipotesis del enunciado, y ademas, si f cumple la
hipotesis del enunciado y f(1998) toma un valor minimo, entonces es de esta Iorma.
Luego nos basta buscar el minimo valor que pueden tomar f(1998)=f(23
3
37).
Es trivial constatar que f(p) debe ser primo para todo primo p, pues si se pudiera
expresar como mn, con m y n enteros positivos, entonces f(f(p))=f(mn)=f(m)f(n), con lo
que una de estas dos imagenes debe ser 1 y la otra p. Como ademas f es inyectiva por
ser f(f(s))=s, entonces o m o n es 1.
Por lo tanto, f(1998)=pq
3
r=q
2
(pqr) donde p=f(2), q=f(3), r=f(37) son primos. Luego el
valor minimo que puede tomar f(1998) es igual al cuadrado de un primo (que sera por lo
tanto mayor o igual que 2
2
=4), multiplicado por el producto de tres primos distintos
(que sera por lo tanto mayor o igual que el producto de los tres menores primos, es
decir, mayor o igual que 235=30). Luego f(1998)120. Sea f(3)=2, f(2)=3, f(37)=5,
f(5)=37, y ordenando el resto de los numeros primos de Iorma aleatoria p
1
,p
2
,p
3
,.},
sea f(p
2n1
)=p
2n
, y f(p
2n
)=p
2n1
para todo entero positivo n. Esta Iuncion cumple
obviamente los requisitos pedidos, y f(1998)=2
3
35=120. Luego este es el minimo
valor posible.

Se propone como ultimo ejemplo de este apartado una ecuacion Iuncional donde
el objetivo es construir una Iuncion racional de variable racional. Sin embargo, se
comprueba inmediatamente que la construccion de la Iuncion se simpliIica
22
considerablemente deIiniendo una Iuncion para los numeros primos, extendiendola
luego a enteros y racionales. Es el problema 4 de la XXXI Olimpiada Matematica
Internacional (1990):

Sea
+ ++ +
el conjunto de los nmeros racionales positivos. Construya una funcin
f:
+ ++ +

+ ++ +
tal que
( ) ( )
( ) f x
f xf v
v
=
para cada x,y de
+ ++ +
.

Sea una Iuncion deIinida de la siguiente manera:
( )
( )
( )
( )
( )
( ) ( ) ( )
( ) ( ) ( )
1 2 1 2
1 2 1 2
... ...
... ...
r r
s s
f m f p p p f p f p f p
m
f x f
n f n f q q q f q f q f q

= = = =

,
donde m y n son enteros tales que x=m/n, p
1
p
2
.p
r
y q
1
q
2
.q
s
son las Iactorizaciones
respectivas de m y n, y sus imagenes respecto a f toman valores racionales, y distintos
para cada Iactor primo distinto (por coherencia se deIine f(1)=1). Notese que esta es de
hecho una Iuncion de los racionales en los racionales, ya que esta bien deIinida, pues
para cada dos posibles expresiones de m y n, las imagenes de los Iactores primos
comunes a ambos aparecen un numero de veces igual a la multiplicidad comun de dicho
Iactor en m y n, en numerador y denominador del ultimo miembro, cancelandose. Asi
mismo, al ser la imagen de cada primo un numero racional, el ultimo miembro es un
cociente de productos de racionales, luego es racional. Si ademas se tiene que
f(f(p))=1/p para cada primo p, entonces f satisIace la condicion del enunciado. Para
constatar este hecho, deIinimos x como cociente de productos de primos como antes, y
tomamos
'
1 2
1 2 '
' ' ... '
'
' ' ' ... '
r
s
p p p
m
v
n q q q

= =

.
Ademas, es sencillo constatar que la imagen de un cociente es igual al cociente de
imagenes, y la imagen de un producto es igual al producto de imagenes:
23
( )
( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( )
1 2 1 2 '
1 2 1 2 '
1 2 1 2 '
1 2 1 2 '
1 2 1 2
1 2
... ' ' ... '
'
' ... ' ' ... '
... ' ' ... '
... ' ' ... '
... ' ' .
...
r s
s r
r s
s r
r
s
f p p p q q q
x m n
f f
v n m f q q q p p p
f p f p f p f q f q f q
f q f q f q f p f p f p
f p f p f p f q f q
f q f q f q

= =

=

=

( )
( ) ( ) ( )
( )
( )
'
1 2 '
.. '
,
' ' ... '
s
r
f q f x
f p f p f p f v
=

y de Iorma similar para llegar a f(xv)=f(x)f(v). Por induccion sobre el numero de
Iactores en el producto, este ultimo resultado se puede extender al producto de un
numero arbitrario de racionales. Se tiene entonces que, para una Iuncion asi deIinida, y
si se cumpliera que f(f(v))=1/v para todo v racional, se tendria
( ) ( ) ( ) ( ) ( ) ( )
( ) 1
f x
f xf v f x f f v f x
v v
= = = .
Pero con las caracteristicas deIinidas,
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
1 2 '
1 2 '
1 2 '
1 2 '
1 2 '
1 2 '
1 2 ' 1 2 '
' ' ... '
'
' ' ' ... '
' ' ... '
' ' ... '
' ' ... '
' ' ... ' 1
,
' ' ... ' ' ' ... '
r
s
r
s
r
s
r s
f p f p f p
m
f f v f f f
n f q f q f q
f f p f p f p
f f q f q f q
f f p f f p f f p
q q q
p p p v f f q f f q f f q

= =

=

= = =

y la Iuncion asi deIinida eIectivamente cumple las condiciones del enunciado. Se
podria ademas demostrar, aunque no es necesario para la resolucion del problema, que
todas las Iunciones deIinidas de esta Iorma son ademas las unicas que cumplen la
condicion del enunciado. Para ello se comienza demostrando que existe algun valor
para el que la Iuncion toma valor 1 (basta hacer v=f(x) en la ecuacion inicial), y ver que
si f()=1 debe ser =1 (tomando v= en la ecuacion inicial). A partir de ahi, haciendo
x=1 en la ecuacion inicial, v=1/: en la ecuacion inicial, y v=f(1/:) en la ecuacion inicial,
se demuestra respectivamente que f(f(v))=1/v (este resultado debe ser cierto en particular
cuando v es un entero positivo primo), que f(x/:)=f(x)/f(:), y que f(x:)=f(x)f(:).
Expresando entonces x como cociente de dos enteros, y luego cada uno de ambos como
producto de primos, se llega necesariamente a la expresion que habiamos dado para la
Iuncion f que hemos construido.
24
Finalmente, para hacer entonces que f(f(p))=1/p para todo primo, numeramos los primos
en cualquier orden, p
1
,p
2
,p
3
,., y tomamos f(p
2r1
)=p
2r
, y f(p
2r
)=1/p
2r1
, para todo entero
positivo r, con lo que
( ) ( ) ( )
2 1 2
2 1
1
r r
r
f f p f p
p
= = , ( ) ( )
( )
( )
2
2 1 2 1 2
1
1 1
r
r r r
f
f f p f
p f p p

= = =

,
y hemos terminado la construccion de la Iuncion pedida.

5.- Expresin en bases distintas de la decimal

En ciertas ecuaciones Iuncionales con origen e imagen en el conjunto de los
naturales, puede ser conveniente realizar un cambio de base para simpliIicar su
resolucion, ya que, en la base adecuada, algunas Iunciones se expresan a traves de
relaciones muy sencillas. Obviamente, esta tecnica es de aplicacion por lo menos muy
diIicil en Iunciones reales de variable real. Como ejemplo se oIrece una posible
solucion del problema 6 de la XXXVII Olimpiada Matematica Espaola (2001):

Determinar la funcin f: (siendo = == =1,2,3,.] el conjunto de los nmeros
naturales) que cumple, para cualesquiera s,n , las siguientes condiciones:
f(1)= == =f(2
s
)= == =1, y si n< << <2
s
, entonces f(2
s
+ ++ +n)= == =f(n)+ ++ +1.
Calcular el valor mximo de f(n) cuando n 2001.
Hallar el menor nmero natural n tal que f(n)= == =2001.

La Iuncion f es aquella que, a cada numero n, le asocia el numero de unos que tiene la
expresion en base 2 de n. Vamos a demostrarlo por induccion sobre el numero de ciIras
en la expresion de n en base 2: el resultado es obvio para numeros de una ciIra en base
2, ya que solo existe n=1, y f(1)=1, y 1 tiene, en su expresion binaria (que es tambien 1),
un unico uno. Si el resultado se cumple para numeros cuya expresion binaria tiene m o
menos digitos, entonces n con expresion binaria de m+1 digitos se puede escribir como
2
m
+p, donde 0p2
m
, y p tiene como maximo m digitos. Por lo tanto, como la
expresion binaria de 2
m
+p, que es igual a un uno seguido de la expresion binaria de p
25
(completada con ceros entre el primer y el segundo uno si es necesario hasta que dicha
expresion binaria tenga m+1 digitos), entonces la expresion binaria de 2
m
+p tiene
exactamente un uno mas que la de p. Pero f(2
m
+p)=f(p)+1, luego como f(p) es el
numero de unos en la expresion binaria de p, f(2
m
+p) es el numero de unos en la
expresion binaria de 2
m
+p, y hemos acabado.
Ahora bien, si n2001, entonces la expresion binaria de n tiene como maximo 11 ciIras,
no todas las cuales pueden ser uno, ya que n<2047=2
11
1, siendo la expresion binaria de
2047 igual a once unos. Luego f(n) puede tomar como maximo el valor 10. Pero
1023=2
10
1 tiene por expresion binaria exactamente 10 unos, luego el valor maximo de
f(n) es 10 cuando n2001.
El numero 2
2001
1 es el menor tal que su imagen es 2001, ya que su expresion binaria
tiene 2001 ciIras, todas iguales a uno, y cualquier otro numero distinto, cuya expresion
binaria contenga 2001 ciIras, contendra al menos un cero, con lo que su expresion
binaria tendria por lo menos 2002 ciIras, y el numero seria mayor que 2
2001
1.

A veces puede ser interesante expresar los valores de la variable y de la imagen
en distinta base, como sucede en una posible solucion del problema 5 de la IV
Olimpiada Iberoamericana de Matematicas (1989):

Sea la funcin f definida sobre el conjunto 1,2,3,.] tal que
i. f(1)= == =1,
ii. f(2n+ ++ +1)= == =f(2n)+ ++ +1,
iii. f(2n)= == =3f(n).
Determinar el conjunto de valores que toma f.

La Iuncion f asocia, a un numero n, una imagen f(n), de tal Iorma que la expresion en
base 3 de f(n) coincide con la expresion en base 2 de n. Demostremoslo por induccion
sobre el numero m de ciIras binarias de n. Para m=1, el resultado es trivialmente cierto,
ya que 1 se expresa de igual Iorma en base 2 y en base 3. Si es resultado es cierto para
numeros cuya expresion binaria tiene m ciIras, sea p un numero cuya expresion binaria
tiene m+1 ciIras. Entonces, si es par, lo podemos escribir como 2n, en cuyo caso
26
f(p)=f(2n)=3f(n), es decir, la expresion ternaria de f(p) es igual a la expresion ternaria de
n seguida de un 0. Pero la expresion binaria de 2n es igual a la expresion binaria de n
seguida de un 0, luego como la expresion binaria de n y la ternaria de f(n) eran iguales,
tambien lo son la expresion binaria de p y la ternaria de f(p). De Iorma analoga, si p es
impar lo podemos escribir como 2n+1, en cuyo caso se tiene que f(p)=3f(n)+1, con lo
que la expresion ternaria de f(p) seria igual a la expresion ternaria de f(n) seguida de un
cero, a la cual se le sumaria uno, es decir, seria igual a la expresion ternaria de f(n)
seguida de un uno. Pero la expresion binaria de 2n+1 tambien es igual a la expresion
binaria de n seguida de un uno, y hemos acabado.
Por lo tanto, la expresion ternaria de cualquier f(n), al ser igual a la expresion binaria de
n, contiene solo ceros y unos. Reciprocamente, si un numero tiene en su expresion
ternaria solo ceros y unos, y n es el numero cuya expresion binaria es igual a dicha
expresion ternaria (que existe, al contener esta solo ceros y unos), entonces el numero
dado se puede escribir como f(n). Luego el conjunto de valores que toma f es igual al
conjunto de enteros positivos cuya expresion en base 3 contiene solo ceros y unos, es
decir, es el conjunto de numeros que se pueden escribir como suma de potencias
distintas de 3.

Como ultimo ejemplo para ilustrar la tecnica del cambio de base, se propone el
problema 3 de la XXIX Olimpiada Matematica Internacional (1988)

Una funcin est definida sobre los enteros positivos mediante
f(1)= == =1, f(3)= == =3,
f(2n)= == =f(n),
f(4n+ ++ +1)= == =2f(2n+ ++ +1) f(n),
f(4n+ ++ +3)= == =3f(2n+ ++ +1) 2f(n),
Para cada entero positivo n.
Determine el nmero de enteros positivos n, menores o iguales que 1988, para los
que f(n)= == =n.

27
Demostraremos por induccion que la expresion binaria de f(n) es el resultado de tomar
la expresion binaria de n (sin aadir ceros a la izquierda) e invertir su orden. Asi, por
ejemplo, f(11)=13, siendo la expresion binaria de 11 igual a 1011, y la de 13 igual a
1101; obviamente, tambien seria f(13)=11. Esto se puede comprobar sin mas que hallar
que f(11)=f(42+3)=3f(5)2f(2)=152=13, donde f(5)=f(41+1)=2f(3)f(1)=61=5, y que
f(13)=f(43+1)=2f(7)f(3)=143=11, donde f(7)=f(41+3)=3f(3)2f(1)=92=7. El
resultado se demuestra muy Iacilmente para numeros de hasta dos ciIras binarias, ya que
f(1)=f(2)=1, siendo las expresiones binarias de 1 y 2 respectivamente iguales a 1 y 10 (al
invertir el orden en esta segunda queda 01=1), y f(3)=3, siendo la expresion binaria de 3
igual a 11 (queda invariante al invertir su orden).
Supongamos entonces que la hipotesis de induccion se cumple para numeros de hasta m
ciIras binarias. Entonces, sea un entero con m+1 ciIras binarias. Si es par, lo podemos
llamar 2n, siendo n un entero positivo con m ciIras binarias, y siendo la expresion
binaria de 2n igual a la de n seguida de 0. Luego el resultado de invertir la expresion
binaria de 2n es igual al resultado de invertir la expresion binaria de n (salvo un 0 a la
izquierda), con lo que su valor es igual a f(n)=f(2n). Si el entero de m+1 ciIras binarias
es impar, lo podemos escribir como 4n+1 o 4n+3, donde n tiene m1 ciIras binarias y
2n+1 tiene m ciIras binarias. Ahora bien, por hipotesis de induccion, f(2n+1) es el
resultado de invertir la expresion binaria de 2n+1, siendo esta ultima, antes de la
inversion, igual a la expresion binaria de n seguida de un 1. Luego f(2n+1)=2
m1
+f(n),
ya que el resultado de invertir la expresion binaria de 2n+1 es igual a un 1 seguido de la
expresion binaria de n invertida, ocupando este 1 la primera posicion en una expresion
binaria de m ciIras. Por lo tanto,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 4 1 2 2 1 2 2 1 2
m
f n f n f n f n f n f n f n + = + = + + = + ,
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
1
1
4 3 3 2 1 2 3 2 1 3 2
2 2 .
m
m m
f n f n f n f n f n f n f n
f n
+ = + = + + = +
= + +

Pero como f(n) es el resultado de invertir la expresion binaria de n, y por lo tanto tiene
m1 ciIras binarias, entonces f(4n+1)=2
m
+f(n) tiene por expresion binaria 10 seguido
del resultado de invertir la expresion binaria de n, o lo que es lo mismo, el resultado de
invertir lo que queda tras aadir 01 al Iinal de la expresion binaria de n, es decir, el
resultado de invertir la expresion binaria de 4n+1. Ademas, f(4n+3)=2
m
+2
m1
+f(n) es el
28
resultado de invertir lo que queda tras aadir 11 al Iinal de la expresion binaria de n, es
decir, el resultado de invertir la expresion binaria de 4n+3, y hemos terminado.
Por lo tanto, los numeros tales que f(n)=n son aquellos cuya expresion binaria (sin
aadir ceros a la izquierda) es capicua o palindroma, es decir, que se lee igual al derecho
o al reves, y por lo tanto es invariante a inversion en su orden. Calculemos pues el
numero de enteros menores o iguales que 1988 con expresion binaria capicua, y esta es
la respuesta al problema. Para ello, consideremos que, si un numero tiene 2p ciIras
binarias (sin ceros a la izquierda), y es capicua, entonces sus p primeras ciIras
determinan biunivocamente las p ultimas, siendo ademas la primera y la ultima iguales
a 1. Luego hay p1 ciIras que pueden tomar cualquier valor, con lo que hay
exactamente 2
p1
tales numeros. Por lo tanto, como 1988 tiene expresion binaria
11111000010, con 11 ciIras, hay 2
4
+2
3
+2
2
+2
1
+2
0
=2
5
1=31 enteros cuya expresion
binaria es capicua y tienen 10, 8, 6, 4 y 2 ciIras binarias. Obviamente, solo hay un
entero (que es 1) con expresion binaria de 1 ciIra, y es capicua. Si un entero tiene un
numero impar 2p+1 de ciIras binarias (p1), entonces las p primeras determinan
biunivocamente las p ultimas, siendo ademas la primera y la ultima iguales a 1.
Ademas, la ciIra p+1-esima puede tomar valores 0 o 1, al igual que las p1 anteriores,
con lo que hay exactamente 2
p
enteros positivos distintos cuya expresion tiene 2p+1
ciIras binarias y son capicuas. Luego si tomamos los numeros capicuas con expresiones
binarias de 1, 3, 5, 7 y 9 ciIras binarias, obtenemos 1+2+2
2
+2
3
+2
4
=31 enteros menores
que 1988 y con expresion binaria capicua. Los unicos numeros enteros capicuas
mayores que 1986 (que tiene por expresion binaria 11111000000), tienen obviamente
por expresiones binarias 11111011111 y 11111111111, siendo iguales a 20472
5
=2015
y 2047, respectivamente, y son por lo tanto mayores que 1988. Cualquier otro numero
capicua de 11 ciIras binarias es menor que 1988. Luego hay 2
5
2=30 tales numeros,
con lo que hay un total de 31+31+30=92 numeros menores o iguales que 1988 y tales
que f(n)=n.

29
6.- Induccin

Cada vez que tenemos alguna cantidad o expresion que depende de numeros
enteros, y existe una deIinicion recursiva, la induccion puede ser un arma muy potente,
como se muestra en el ultimo ejemplo que se presenta en esta leccion de preparacion
olimpica, en concreto el problema 6 de la XXII Olimpiada Matematica Internacional
(1981):

La funcin f(x,y) satisface
(1)f(0,y)= == =y+ ++ +1,
(2)f(x+ ++ +1,0)= == =f(x,1),
(3)f(x+ ++ +1,y+ ++ +1)= == =f(x,f(x1,y)),
para cualesquiera enteros no negativos x,y. Determine f(4,1981).

Es trivial comprobar por induccion que
( ) 1, 2 f v v = + .
El resultado es obvio para v=0, ya que aplicando (2),
( ) ( ) 1, 0 0,1 1 1 0 2 f f = = + = + .
Si el resultado se cumple para x=1 y para un v dado, entonces aplicando (3),
( ) ( ) ( ) ( ) ( ) 1, 1 0, 1, 1, 1 2 1 1 2 f v f f v f v v v + = = + = + + = + + .
Utilizando este resultado, y aplicando nuevamente (2),
( ) ( ) 2, 0 1,1 1 2 2 0 3 f f = = + = + .
Se demuestra entonces de Iorma sencilla por induccion que
( ) 2, 2 3 f v v = + .
El resultado ha sido ya probado para v=0, y si se cumple para un v dado, entonces
aplicando (3) se obtiene
( ) ( ) ( ) ( ) ( ) 2, 1 1, 2, 2, 2 2 3 2 2 1 3 f v f f v f v v v + = = + = + + = + + .
Aplicando nuevamente (2),
( ) ( )
0 3
3, 0 2,1 2 1 3 2 3 f f
+
= = + = .
Se puede entonces demostrar por induccion que
30
( )
3
3, 2 3
v
f v
+
= .
El resultado ha sido ya probado para v=0, y si se cumple para un v dado, entonces
aplicando (3) se obtiene
( ) ( ) ( ) ( )
( ) 1 3 4
3, 1 2, 3, 2 3, 3 2 6 3 2 3
v v
f v f f v f v
+ + +
+ = = + = + = .
Tenemos entonces Iinalmente que
( ) ( )
2
1 3 2
4, 0 3,1 2 3 2 3 f f
+
= = = .
Se demuestra entonces por induccion que
( )
2
2
4, 2 3 f v =
,
donde la torre de doses tiene v+3 doses. El resultado ya ha sido probado para v=0, y si
es cierto para algun v, entonces aplicando (3),
( ) ( ) ( )
( )
2 2
4, 3 2 3 3 2
4, 1 3, 4, 2 3 2 3 2 3
f v
f v f f v
+ +
+ = = = =

,
donde la torre de doses tiene un dos mas que en el caso de v, es decir, tiene (v+1)+3
doses, y hemos acabado. Luego
( )
2
2
4,1981 2 3 f =
,
donde la torre de doses tiene 1984 doses.

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.

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

E Cuac I Ones Funcional Es 2

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

E Cuac I Ones Funcional Es 2

Enviado por

Direitos autorais:

Formatos disponíveis

Daniel Lasaosa Medarde (2007)

Você também pode gostar