Supongamos que tenemos una función $f:[a,b] \to \mathbb{R}$ que tiene un máximo local en $a$ y $f$ es derivable en $a$ . Quiero demostrar que
- $f'(a)\leq 0$
- $f'(a) <0$ basta con decir que $f$ tiene un máximo local en $a$ .
Para la primera tengo esto:
Porque $f$ tiene un máximo local en $a$ existe un $\delta >0$ de modo que para cada $x \in [a,b]$ con $|x-a| <\delta$ , $f(a) \geq f(x)$ . Podemos ver que para cada $x \in [a,b]$ , $x \geq a$ . Pensé que podría concluir de esto que $f'(a)\leq 0$
Para la segunda estoy atascado. Quiero utilizar el teorema del valor medio de lagrange en [a,x] para $x \in [a,b]$ al azar. Pero parece que no puedo probarlo.