Supongamos que $f(x)$ es diferenciable en $(-\infty,a]$ , $f(a)f'_{-}(a)\lt0$ y $\lim_{x\to-\infty}f(x)=0$ . Demostrar que existe $\xi \in(-\infty,a) $ tal que $f'(\xi)=0$ .
Frome $f(a)f'_{-}(a)\lt0$ sabemos $f(a)\gt0 ,f'_{-}(a)\lt0$ o $f(a)\lt0 ,f'_{-}(a)\gt0$ . Supongamos que $f(a)\gt0 ,f'_{-}(a)\lt0$ entonces $f(x)$ es decreciente hasta $f(a)\gt 0$ . Pero $\lim_{x\to-\infty}f(x)=0$ Por lo tanto $f(x)$ alcanza el máximo al principio y luego disminuye a partir de $-\infty$ à $a$ . Por lo tanto la derivada al máximo es cero. Después de esta imaginación, todavía no sé cómo hacer una prueba estricta.