En primer lugar, que P(x,y) sea la afirmación f(x)f(y)=2f(x+yf(x)) ∀x,y∈R>0 .
Ahora supongamos que podemos encontrar 0<u<v de tal manera que f(u)>f(v) . Esto nos permitiría establecer y=v−uf(u)−f(v) que cede: P(u,v−uf(u)−f(v)): f(u)f(v−uf(u)−f(v))=2f(vf(u)−uf(v)f(u)−f(v))P(v,v−uf(u)−f(v)): f(v)f(v−uf(u)−f(v))=2f(vf(u)−uf(v)f(u)−f(v)) Si combinamos estas ecuaciones, obtenemos f(u)=f(v) contradicción. Así que cuando 0<u<v tenemos f(u)≤f(v) así que f está aumentando la monotonía.
Ahora supongamos f es inyectable. Esto implica, por simetría, que f(x+yf(x))=f(y+xf(y))⟹yf(x)=xf(y)−x+y . Ahora podemos conectar y=1 lo que lleva a f(x)=(f(1)−1)x+1 así que f tiene que ser de la forma f(x)=ax+1 por alguna constante a . Conectando esto a la ecuación original, esto produce: (ax+1)(ay+1)=2(ax+ay(ax+1)+1)=2(ax+1)(ay+1)⟺(ax+1)(ay+1)=0 Esto no puede sostenerse para todos x,y∈R>0 así que f no puede ser inyectable.
Por lo tanto, existen 0<a<b de tal manera que f(a)=f(b) : P(a,y): f(a)f(y)=2f(a+yf(a))P(b,y): f(b)f(y)=2f(b+yf(b)) Esto implica f(a+yf(a))=f(b+yf(b)) y con y=z−af(a) esto produce f(z)=f(z+b−a⏟c) ∀z>a . Así, f es periódica en (a,∞) y monótono, y por lo tanto constante en (a,∞) . Deje que f(x)=d para x>a : P(x+a,y+a): d2=2d⟹d=2 Así que f(x)=2 para x>a . Por lo tanto: P(x+a,y): 2f(y)=4⟺f(y)=2 Por lo tanto, f(y)=2 es la única solución.