Funkcja tożsamościowo równa zero spełnia równanie, załóżmy, że
\(\displaystyle{ f \not \equiv 0}\)
\(\displaystyle{ P(x,y): \quad f(x-y+f(y))=f(y)+f(x)}\)
\(\displaystyle{ f(0)=c}\)
\(\displaystyle{ (1) \quad P(x,0): \quad f(x+c)=c+f(x)}\)
\(\displaystyle{ P(-c,0): \quad f(-c)=0}\)
\(\displaystyle{ (2) \quad P(x,-c): \quad f(x+c)=f(x)}\)
\(\displaystyle{ (1) - (2) \Rightarrow \quad f(0)=0}\)
Załóżmy, że istnieje takie
\(\displaystyle{ c_1 \neq 0}\), że
\(\displaystyle{ f(c_1)=0}\). Wtedy
\(\displaystyle{ P(x,c_1): \quad f(x-c_1)=f(x)}\)
czyli funkcja jest okresowa, więc ma skończony zbiór wartości. Oczywiście
\(\displaystyle{ f(1) \neq 0}\), bo wtedy np.
\(\displaystyle{ c_1=1}\) i funkcja jest zerowa.
Niech
\(\displaystyle{ a=f(1)}\). Wtedy
\(\displaystyle{ P(1,1): \quad f(a)=2a}\)
\(\displaystyle{ P(a,a): \quad f(2a)=2f(a)=4a}\)
\(\displaystyle{ P(2a,a): \quad f(3a)=6a}\)
Czyli
\(\displaystyle{ f(ka)=2ka}\), gdzie
\(\displaystyle{ a\neq 0}\). Zatem zbiór wartości nie jest ograniczony, czyli funkcja nie może być okresowa. Mamy zatem
\(\displaystyle{ \boxed{f(x)=0 \Leftrightarrow x=0}}\)
Podstawmy
\(\displaystyle{ P(2y-f(y),y): \quad f(2y-f(y))=0}\)
Łatwo sprawdzamy, że funkcja
\(\displaystyle{ \red f(x)=2x}\) spełnia warunki zadania.