Sea la afirmación dada $P(m,n)$ $$P(0,n) \implies f(f(n))=n+f(0)$$ Entonces, supongamos que $f(a)=f(b)$ $$f(a)=f(b)\implies f(f(a))=f(f(b)) \Leftrightarrow a+f(0)=b+f(0) \Leftrightarrow a=b$$ Esto significa que $f$ es inyectiva (uno a uno), por lo que $f(a)=f(b)\Leftrightarrow a=b$ Ahora, $$P(0,0)\implies f(f(0))=f(0) \Leftrightarrow f(0)=0$$ Así, (por $P(0,n)$ ) $$f(f(n))=n$$ Ahora, $$P(m,f(n))\implies f(m+n)=f(m)+f(n)$$ Se trata de una conocida ecuación funcional llamada ecuación funcional de Cauchy.
Una forma de afrontarlo: $$\underbrace{f(n)+f(n)+\dots+f(n)}_\text{$ k $ times}=f(\underbrace{n+n+\dots+n}_\text{k times})$$ $$\Leftrightarrow kf(n)=f(kn)$$ y poniendo $n=1$ obtenemos $f(k)=kf(1)$ para todos $k \geq 1$
Otra forma de afrontarlo:
Dejemos que la conclusión anterior sea $H(m,n)$ $$H(1,1)\implies f(2)=2f(1)$$ $$H(2,1)\implies f(3)=f(2)+f(1)=2f(1)+f(1)=3f(1)$$ $$H(3,1)\implies f(4)=f(3)+f(1)=3f(1)+f(1)=4f(1)$$ y así sucesivamente, por simple inducción, podemos decir que
$f(x)=xf(1)$ para todos $x \geq 1$ y $f(0)=0$
Así que, para ambas formas, necesitamos extenderlo sobre los enteros negativos, demostrando que $f$ es impar. Bien, $$H(m,-m) \implies f(m)+f(-m)=0 \Leftrightarrow f(-m)=-f(m)$$ O (de otra manera) $$P(-f(n),n)\implies f(-f(n))+n=0 \Leftrightarrow f(-f(n))=-n$$ $$P(0,-f(n)) \implies f(f(-f(n)))=-f(n) \Leftrightarrow f(-n)=-f(n)$$ Así que, $f$ es impar, lo que significa que $f(x)=xf(1)$ se aplica a todos los enteros $x$
Dejemos que $f(1)=c$ dando $f(x)=cx$ sustituyendo en la ecuación original, obtenemos $$cm+{c^2}n=cm+n$$ $$\Leftrightarrow c^2=1 \implies c=\pm 1$$ Así que, $$f(x)= \pm x$$
1 votos
Esto me resulta muy familiar. Posiblemente hay una respuesta en el sitio en alguna parte :)
1 votos
Por lo general, la idea para este tipo de problemas es buscar $f(0)$ entonces $f(f(0))$ etc.
1 votos
Tomando $n=0$ nos da $f(m)=f(m+f(0))$ o $f(0)=0$ . A continuación, tomando $m=0$ tendremos $f(f(n))=n$
0 votos
@rschwieb Gracias por la edición. Me resulta familiar porque quizá hayas visto algún problema de estructura similar. Yo no he visto ninguno en esta web, pero si encuentras alguno, por favor, házmelo saber. Gracias :)
2 votos
@gev, f no es necesariamente biyectiva.
0 votos
Oh sí, debo preguntar esto. ¿Qué significa biyectivo y suryectivo y esos términos? Gracias.
0 votos
Sí, no se puede concluir que $f(0)=0$ de $n=0$ , @gev.
1 votos
@mathsnoob Definitivamente similar, tal vez idéntico. Lamentablemente no he podido encontrarlo buscando. Puedes probar por ti mismo, quizás tengas suerte.
0 votos
@Biswanath, mira la respuesta de abajo, explica por qué puedes concluir f(0)=0.
0 votos
@rschwieb No, a mí tampoco me ha dado suerte. Pero seguro que este problema se ha dado en muchos concursos de matemáticas porque parece la típica pregunta de olimpiada... De todas formas ¡gracias! :)