Real Sociedad Matemtica Espaola

MATHpines

XL OLIMPIADA MATEMTICA ESPAOLA

Ao 2004 . Fase nacional
Prof. M.Daz-Pins
Unas soluciones a los problemas

Problema 3
Se representa por Z el conjunto de todos los enteros. Hallar las funciones f : Z Z ,
tales que para cualesquiera x, y enteros se verifica :
f( x + f( y ) ) = f( x ) y
Resolucin
La conclusin final es que no hay tales funciones
Procederemos primeramente por va de
Eliminacin de presuntas funciones
Vamos a estudiar un primer caso
f : Z Z | f( a ) = a
f( b ) = b
f( b ) = b
f( a + f( b ) ) = f( a ) f( 1 )( b ) = a ( b ) = a + b
Pero este resultado del desarrollo del primer miembro es distinto del alcanzado para el segundo :
f( a ) b = a b
Por tanto la funcin f( x ) = x , ( opuesta : a cada valor entero x le corresponde su entero opuesto )
no cumple con la condicin dada

Podemos descartar funciones como f( x ) = k x , f( x ) = k x , f( x ) = x + k f( x ) x + k

Las polinmicas de grado n > 1 no cumplen la condicin
Caso de f( x ) = k x
f( a ) = k a
f( b ) = k b
f( a + f( b ) ) = f( a k b ) = k ( a k b ) = k a + k2 b
b
b
f( a ) f( 1 )( b ) = k a = k a +
k
k
b
2
k a + k b k a +
k
Por tanto :
k2 b =

b
k

=> k2 =

1
k

=> k = 1 , nico valor real

Ese valor nos llevara a la funcin f( x ) = x ya desechada anteriormente

De paso, hemos obtenido que no puede ser ninguna funcin lineal f( x ) = k x
Vamos a corroborar ese resultado, directamente:

Si f( x ) = k x => f( a ) = k a y f( b ) = k b
f( a + f( b ) ) = f( a + k b ) = k ( a + k b ) , f( a ) b = k a b => k2 b = b =>
k2 = 1 : No hay solucin real
k
nos sacaran de los nmeros enteros
Las funciones del tipo f( x ) =
x
Con la funcin f( x ) = x a que a + b = a b lo que es un absurdo
Con la funcin f( x ) = 0 legaramos que y = 0 que no tiene sentido pues y es cualquier entero
Si se tratase de una funcin afn f( x ) = k x + h
f( a + f( b ) ) = f( a + k b + h ) = k ( k b + a + h ) + h = k2 b + k( a + h ) + h
f( a ) b = k a + h b
Volvemos a obtener resultados distintos
Si tomamos la funcin cuadrtica f( x ) = x2 llegaramos a que :
2

( a + b2 ) = a2 b que es un absurdo
x
Si tomsemos la funcin f( x ) = m , exponencial de base entera m , tendremos :
f( a + f( b ) ) = f( a + m b ) = m ( a + m

f( a ) b = ma b que implicara :

m( m ) = b que es un absurdo
Una demostracin formal
En la expresin f( x + f( y ) ) = f( x ) y tomamos y = 0
f( x + f( 0 ) ) = f( x ) 0 = f( x )
Si notamos f( 0 ) = T =>
f( x + T ) = f( x )
Ello supone que f( x ) ha de ser peridica , de perodo T = f( 0 )
Deducimos que :
f( T ) = f( 0 + T ) = f( 0 + f( 0 ) ) = f( 0 ) 0 = T
f( T + T ) = f( T + f( 0 ) ) = f( T ) 0 = f( T ) = T
y as sucesivamente
Consideramos la funcin en el intervalo [ 0, T ]
Sean u = max( f( x ) ) y v = min( f( x ) )
Tomamos y > u v => y < v u
Ha de cumplirse que
v f( y ) , f( y ) u
Volvemos a la expresin definitoria :
f( x + f( y ) ) = f( x ) y u y , u y = u + [ y ] < u + v u = v
Por tanto ,
f( x + f( y ) ) < v
Llegamos a un absurdo : que la imagen del valor inicial x + f( y ) sea inferior al mnimo : f( x + f( y ) ) < min( f( x ) )
Conclusin : No encontramos ninguna funcin f : Z Z que cumpla la condicin definitoria dada
Solucin
No existen tales funciones