Deje P(x,y) ser la afirmación de f(x+f(x)+2f(y))=f(2x)+f(2y) y deje a∈R ser tal que f(a)=0.
P(a,a):espacio\f(2a)=0P(a,y):espacio\f(2f(y)+a)=f(2y)\implicaP(x,y):espacio\f(x+f(x)+2f(y))=f(2x)+f(2f(y)+a)
Desde f es surjective, podemos sustituir el f(y) y y que la afirmación de que todavía tiene para todos los y∈R:
P(x,y):espacio\f(x+f(x)+2y)=f(2x)+f(2y+)\implicaP(2a,12):f(3a)=0P(x,−12f(x)):espacio\f(x)=f(2x)+f(−f(x)+a)=f(2f(x)+a)+f(−f(x)+a)\implicax=f(2x+a)+f(−x+a)
La última implicación es debido una vez más a surjectivity. Además, con x=a, obtenemos a=f(0). Ahora, nos fijamos en la ecuación original con x=y=0:
f(3f(0))=2f(0)\implicaa=f(0)=0
Por lo tanto, x=f(2x)+f(−x) e con y=−12x f(x+f(x)+2y)=f(2x)+f(2y+a) obtenemos f(f(x))=f(2x)+f(−x)=x. Por lo tanto, f es inyectiva. Ahora, con y=0, f(x+f(x))=f(2x)⟹f(x)=x y hemos terminado.