Voy a darle una oportunidad - sin la idea de que $f(x) = a \exp(x)$...
Dado
Deje $f(x)$ ser un verdadero valorado, función derivable tal que para cualquier $x,y \in \mathbb{R} ,f(x+y)=f(x)f(y)$. Supongamos que no existe $a,b$ tal que $f(a) \ne 0$ ,$f'(b) > 0$.
Mostrar que $f(x)$ es una función monotónica
Tenemos
$$\forall\ x \in \mathbb{R} : f(x) \in \mathbb{R},\tag{1}$$
$$\forall\ x,y \in \mathbb{R} : f(x+y) = f(x) f(y),\tag{2}$$
$$\exists\ a \in \mathbb{R} : f(a) \ne 0,\tag{3}$$
$$\exists\ b \in \mathbb{R} : f'(b) > 0.\tag{4}$$
Primero
$$
f(x) = f\left( \frac{x}{2} + \frac{x}{2} \right) = f^2\left( \frac{x}{2} \right) \ge 0.\la etiqueta{5}
$$
Segundo
$$\Big\{ \exists\ y: f(y) = 0 \Rightarrow \forall\ x: f(x) = f(x-y) f(y) = 0 \Big\}
\etiqueta{6}
$$
$$\Downarrow$$
$$\Big\{ \exists\ y: f(y) \ne 0 \Rightarrow \forall\ x: f(x) \ne 0 \Big\},\etiqueta{7}
$$
de dónde $f(x) \ne 0$, debido a $f(a) \ne 0$.
Combinación de $(5)$ $(7)$ rendimientos
$$
f(x) > 0.\la etiqueta{8}
$$
Tercera
$$
f'(x)
= \lim_{y \rightarrow 0} \frac{ f(x + \color{red}{y}) - f(x + \color{blue}{0})} de{y}
= f(x) \lim_{y \rightarrow 0} \frac{ f(\color{red}{y}) - f(\color{blue}{0})} de{y}
= f(x) f'(0),\etiqueta{9}
$$
de dónde
$$
f'(0) = \frac{f'(x)}{f(x)}.\la etiqueta{10}
$$
Como $f'(b) > 0$$f(b) > 0$$(8)$, obtenemos
$$f'(0) > 0.\tag{11}$$
Cuarto
Como $f(x) > 0 $$(8)$$f'(0) > 0$$(11)$, obtenemos
$$
f'(x) > 0,\etiqueta{12}
$$
de $(9)$.
Conclusión:
Como $f'(x) > 0$, la función de $f(x)$ es monótona. QED.