I started wondering if the following is true.
Consider a differentiable function $f:\mathbb R \to \mathbb R$. If $f'(\mathbb R) \cap \{-1,1\} = \emptyset$, then $f$ has a fixed point.
From Darboux theorem it is apparent that one of the following cases holds:
- $f'(\mathbb R) \subset (-1,1)$;
- $f'(\mathbb R) \subset (1,\infty)$;
- $(-f)'(\mathbb R) \subset (1,\infty)$.
However I don't see how to continue from there.
No.
$e^x+x$ has the derivative $e^x+1$ which is a function in case 2. But $e^x+x=x$ implies $e^x=0$.