Μια λύση για τα α),β) και γ).
α)

Έστω

γν. αύξουσα.

Έστω

, άτοπο.
Ομοίως άτοπο αν

, άρα

.

, άτοπο.
Άρα δεν υπάρχει γν. αύξουσα συνάρτηση.

Έστω

γν. φθίνουσα.
Έστω

\displaystyle{f\left( x+f(y) \right)<f\left( y+f(x) \right),(2)

(1)

(2)

f

x<y\Rightarrow f(x)\le f(y)

f(x)<f(y)\Rightarrow x<y

f(0)>0\Rightarrow f\left( f(0) \right)-f(0)\ge 0\Rightarrow f\left( f\left( f(0) \right) \right)\le 0<f(0)\Rightarrow

f\left( f(0) \right)<0<f(0)\Rightarrow f(0)<0

f(0)<0

f(0)=0

x=0:f\left( f\left( f(x) \right) \right)=0,(1)

y=0:2f\left( f(x) \right)=f(x),(2)

(2):x=f(x):f\left( f(x) \right)=0\overset{(2)}{\mathop{\Rightarrow }}\,f(x)=0,\forall x\in \mathbb{R}

f

x<y\Rightarrow f(y)\le f(x)

f(x)<f(y)\Rightarrow x>y

\exists a\in \mathbb{R}:f(a)=a

x<y\Rightarrow f(y)\le f(x)\Rightarrow x+f(y)<y+f(x)\Rightarrow f\left( x+f(y) \right)\ge f\left( y+f(x) \right),(1)

\displaystyle{(1)\Rightarrow f\left( f\left( x+f(y) \right) \right)\le f\left( f\left( y+f(x) \right) \right)\Rightarrow f(x+y)-f(y+f(x))\le f(y+x)-f(x+f(y))\Rightarrow }}
Από

και

.
Άρα η αρχική γίνεται

.
άρα

και

από την αρχική άρα

, που ικανοποιεί και τα δεδομένα.