Como $f$ es continua en a $\mathbb{R}$, es así que en $[0,1]$. Deje $\alpha=\sup_{x\in [0,1]} f(x)$$\beta=\inf_{x\in [0,1]} f(x)$, luego por la continuidad existe alguna $x_0,x_1$ tal que $f(x_0)=\beta$, $f(x_1)=\alpha$. Si cualquiera de $x_0$ o $x_1$ se encuentra dentro de $[0,1]$ (es decir, no un punto final), a continuación, $f'$ desaparecer en ese momento, ya tendríamos los máximos locales/infima.
Así que supongamos que $x_0,x_1$ son extremos, y WLOG podemos suponer que la $x_1=1$ (a considerar de otra manera $f(-x)$ lugar). Además, podemos asumir $f'$ no se anula en los extremos.
Si $\alpha=\beta$ $f$ es constante en $[0,1]$, por lo que se hacen. Suponga $\alpha>\beta$.
Ahora suponga una contradicción que $f$ es inyectiva. De ello se desprende que $f(\mathbb{R}\setminus [0,1])\subseteq \mathbb{R}\setminus [\beta,\alpha]$. Por intermedio valor theore, (o por continuidad + conexión, cualquiera sea la forma que te gustaría) a continuación, se deduce que el $f(1,\infty)$ $f(-\infty,0)$ están conectados, es decir, los intervalos. Por lo tanto, cualquiera de las $f(1,\infty)\subset (\alpha,\infty)$ o $f(1,\infty)\subset(-\infty,\beta)$. Pero el segundo caso no puede ser posible, ya que los $\lim_{x\to 1+}f(x)=\alpha$ por la continuidad, lo que no puede suceder si $f(1,\infty)\subset(-\infty,\beta)$.
Simiarly, tenemos $f(-\infty,0)\subset (-\infty,\beta)$. Pero, a continuación, para lo suficientemente grande como $x$ (>1) tenemos que $f(x)-f(-x)>\alpha-\beta>0$, contradictoria de la asunción. Por lo $f$ no es inyectiva, y no existe $x_1,x_2$ distintas y $f(x_1)=f(x_2)$. Ahora concluir por el teorema de Rolle.