No, es necesario que $f$ ser continua en $[a,b]$ y $f^{\prime}$ simplemente existe por todas partes en $(a,b)$. El Valor medio Teorema es una sencilla consecuencia del Teorema de Rolle, así que hablar de la prueba del Teorema de Rolle. Así que supongamos que $f(a) = f(b)$, y esto es suficiente para demostrar que $f^{\prime}(c) = 0$ algunos $c \in (a,b).$
El punto esencial es que por la continuidad de $f$, con ninguna suposición sobre la $f^{\prime}$, pero con el hecho de que estamos tratando con un intervalo cerrado, hay algunos $c \in [a,b]$ tal que $f(x) \leq f(c)$ todos los $x \in [a,b].$ Si $c = a$ o $c = b,$ $f$ es constante en $[a,b]$ $f^{\prime} = 0$ todas partes en $(a,b)$. Supongamos entonces que $c \in (a,b)$. Ahora si $x < c$ $f(x) - f(c) \leq 0$ $\frac{f(x)-f(c)}{x-c} \geq 0$ y, por tanto, $\lim_{x \to c^{-}}\frac{f(x)-f(c)}{x-c} \geq 0 .$ del mismo modo, si $x > c$ $f(x) - f(c) \leq 0$ $\frac{f(x)-f(c)}{x-c} \leq 0$ y, por tanto, $\lim_{x \to c^{+}}\frac{f(x)-f(c)}{x-c} \leq 0 .$ Pero desde $f$ es diferenciable en a $c$, estos dos límites deben ser iguales. Ya que una es $\geq 0$ y la otra es $\leq 0$, ambas deben ser $0,$ $f^{\prime}(c) = 0.$