Es cierto incluso si se ignora el supuesto de ser constante (que seguramente debe ser una errata.)
Tenga en cuenta que como $f'(x) \geq 0$ , $f$ es no decreciente. Por lo tanto, $f(x) \geq 0$ para $x \in [a,b]$ . Además, como $f$ es diferenciable, es continua.
Dejemos que $0 \leq a < b \leq 1$ entonces $f(b)-f(a) \leq \sup_{\xi \in (a,b)} f'(\xi) (b-a) \leq 2 f(b)(b-a)$ . Supongamos ahora que $f(a) = 0$ y $b-a < \frac{1}{2}$ . Entonces la desigualdad da $f(b) \leq 2 f(b) (b-a)$ o $0 \leq f(b)(2(b-a)-1)$ . Por lo tanto, $f(b) = 0$ .
Toma $a=0,b<\frac{1}{2}$ . Entonces lo anterior demuestra que $f(b) = 0$ para $b \in (0,\frac{1}{2})$ y la continuidad muestra $f(\frac{1}{2}) = 0$ . Ahora aplique el mismo argumento con $a=\frac{1}{2}, b<1$ , para conseguir $f(1) = 0$ de la que se desprende la conclusión deseada.
5 votos
Si $f$ es constante y $f(0)=0$ entonces $f\equiv 0$
0 votos
Así, sin más. Pero cuando demuestro que la función es constante sólo uso el teorema del valor medio. ¿Cuándo debo utilizar la desigualdad $0\le f'(x) \le 2f(x)$ ?
0 votos
No necesitas el MVT ni nada.
0 votos
Creo que se trata de una errata/vuelve a leer atentamente. Como se ha dicho, es obvio por el primer comentario.