Sea $\mathbb{N}=\{1, 2, 3, \ldots \}$ el conjunto de los números enteros positivos. Sea $f:\mathbb{N} \rightarrow \mathbb{N}$ una función, la cual asigna a cada número entero positivo, un número entero positivo. Supón que $f$ satisface las siguientes condiciones:
- $f(1)=1$
- Para todos $a,b$ enteros positivos, se cumple que
$$f(a+b+ab)=a+b+f(ab)$$ .
Ver también:
Problema 1. 29a Olimpiada Mexicana de Matemáticas
Ver también:
Problema 2. 29a Olimpiada Mexicana de Matemáticas
Alguna sugerencia para
Para darte una sugerencia más
Para darte una sugerencia más apropiada, ¿nos podrías contar qué has intentado hacer?
Haciendo $a+b+ab=x$ y $ab=y$
Haciendo $a+b+ab=x$ y $ab=y$ la segunda condición se transforma en
$f(x)=x-y+f(y)$ o lo que es igual a $f(x)-f(y)=x-y$ donde $x,y$ son enteros positivos y, ádemas es claro que $x>y$
De aqui, tengo ciertas dudas, no se si al tener $f(x)-f(y)=x-y$ ya se podrian reemplazar valores, es decir, hallar directamente. $f(2015)-f(1)=2015-1$, lo que junto con $f(1)=1$ nos llevaria directamente a $f(2015)=2015$
Por otro lado, dado que $x > y$ tendriamos
$m=\frac{f(x)-f(y)}{x-y}=1$ que viene a ser la pendiente de la funcion lineal y
como $m=1$ se trata, entonces de la función identidad con esto tendríamos
que $f(x)=x$ por lo tanto $f(2015)=2015$
Es lo que por ahora tengo,....
Saludos.
Hola Weldesney, El problema
Hola Weldesney,
El problema es que la identidad así obtenida sólo se vale cuando existen enteros $a$ y $b$ tales que $x = ab+a+b$ y $y=ab$. De no existir esos enteros, no hay garantía de que tu identidad $f(x)-f(y) = x-y$ sea cierta.
Por ejemplo, si $y=1$ y $x=4$ no existen enteros $a$ y $b$ tales que $4=ab+a+b$ y $1=ab$ ya que en la última igualdad sólo es posible cuando $a=b=1$.
Mi recomendación es NO tratar de probar que $f(x) = x$, únicamente demostrar que $f(2015) = 2015$. No estoy seguro de poder probar que $f(x)=x$.
La estrategia para pensar este problema es observar que si $f(x)-f(y) = x-y$ entonces $f(x)=x$ si y sólo si $f(y)=y$. Por ello llamaré a $x$ e $y$ equivalentes (pueden llamarlos hermanos, o como quieran) y denotemos como $x \simeq y$.
Observé algunas reglas como:
\begin{eqnarray*}
2n +1 &\simeq& n\\
ab + a + b &\simeq& ab
\end{eqnarray*}
Aplicando la primera varias veces se sigue que $2015 \simeq 1007 \simeq \dots \simeq 62$, es decir, $2015 \simeq 62$.
Y le seguí buscando hasta probar que $62 \simeq 23 \simeq 15 \simeq 1$ De donde se sigue que $2015 \simeq 1$ y por lo tanto $f(2015) -f(1) = 2015 -1$, es decir, $f(2015)=2015$
Espero que les sirva la sugerencia.
Saludos
Hola, leí tu solución y me
Leyendo mi comentario, veo
Leyendo mi comentario, veo que no dejé muy claro el significado de $x \simeq y$. A continuación la definición precisa:
Diremos que $m \simeq n$ si se satisface que $f(m) -f(n) = m - n$.
Es evidentemente que $\simeq$ satisface las siguientes propiedades:
A quien le interese, estas tres propiedades convierten a $\simeq$ en una relación de equivalencia.
Lo importante aquí es sobre todo la propiedad transitiva. Por ejemplo, es fácil observar que $7 \simeq 3$ y que $3 \simeq 1$, y por la propiedad transitiva se sigue que $7 \simeq 1$ (Por eso me gusta escribir $7 \simeq 3 \simeq 1$). Luego, de que $7 \simeq 1$ se sigue que $f(7) - f(1) = 6$.
Espero haber sido más claro, saludos.
Hola Jesús, Como te diste
Hola Jesús,
Como te diste cuenta de que $2n+1\simeq n$ ?.... creo que una de las claves de tu solución pasa por ahí,
Una prueba de $2n+1\simeq n$ es inmediata por indución.
Luego con la propiedad transitiva (tambien fácil de probar) ya estaba hecha la solución.
Por cierto lo haces tan simple.... Que, dá la sensación de que no se trata de un problema 3 del naional.
Saludos.
Hola Weldersay, Qué bueno que
Hola Weldersay,
Qué bueno que te gustó mi forma de atacar el problema, pensé que te parecería muy técnica.
Sobre cómo obtuve la relación $2n+1 \simeq n$ pues es únicamente aplicando la general $ab+a+b \simeq ab$ en el caso $a=n$, $b=1$. Batallé más en encontrar las relaciones que hacen que $62 \simeq 1$.
Por cierto, estuve pensando en este problema y ya vi que es posible probar no sólo que $f(2015) = 2015$, si no que $f$ es la identidad ( que para todo entero $n$, $f(n) = n$).
La manera de probarlo consiste en observar que todo entero es equivalente a uno más pequeño. Para los impares es cierto gracias a la propiedad $2n+1 \simeq n$.
Para los pares hay que hacer un poco más de trabajo, por ejemplo, $$2^\alpha n \simeq 2^{\alpha}n + 2^{\alpha} + n \simeq 2^{\alpha-1}n +2^{\alpha-1} + (n-1)/2$$
Este último únicamente es una reducción de $2^\alpha n$ si $n>1$, es decir, no funciona para las potencias de 2.
Para el caso potencia de 2, hice lo siguiente: $$2^\alpha \simeq 3\times 2^{\alpha-1} + 2 \simeq 2^2 \times 2^{\alpha-3} +2 \simeq \cdots \simeq 3^{\beta} \times 2^{\alpha -(2\beta-1)} +2$$
No es muy difícil ver que si $\beta = \alpha/2$ (o el entero por arriba de \alpha/2), entonces habremos llegado a una reducción de $2^{\alpha}$. Bueno, en concreto llegaremos a que $2^{2\beta-1} \simeq (3^\beta +1)/2$ lo cuál es una reducción siempre que $\beta \geq 2$. Además $2^{2\beta} \simeq 2(3^{\beta}+1)$, lo cuál es una reducción siempre que $\beta \geq 3$.
Por los párrafos anteriores cualquier entero mayor a 1 (que no sea potencia de 2) será equivalente a una potencia de 2 menor que él. Y toda potencia de 2 será equivalente a un número más chico, siempre que esa potencia de dos no sea $1, 2, 4$ o $16$. Es decir, cada número se puede reducir bajo equivalencia hasta hacerlo equivalente a uno de los números $1, 2, 4$ o $16$.
Pero estos últimos cuatro número son efectivamente equivalentes.
Te mando saludos y es bueno saber que te han servido mis sugerencias.
f(62) es algo raro llegar
f(62) es algo raro llegar pero se puede:
Primero f(95)=48+f(47)
f(47)=24+f(23)
f(5+3+15)=8+f(15)
f(3)=3
f(3+1+3)=7
f(7+1+7)=f(15)=15
f(23)=23
f(47)=47
f(95)=95
f(95)=33+f(62)
f(62)=62
Y de ahi es facil ver que f(2015)=2015
Llegue un poco tarde jeje