modificación 4

Teorema de Rolle
El teorema de Rolle dice lo siguiente:
Si:
es una función continua definida en un intervalo cerrado
es derivable sobre el intervalo abierto


Entonces: existe al menos unpunto perteneciente al intervalo tal que .

En palabras más sencillas, si una curva regular sale y llega a la misma altura, en algún punto tendrá tangente horizontal.
En la figura se ven trescasos distintos. Si la función empieza subiendo, tendrá luego que bajar para reencontrar su valor inicial, entre la subida y la bajada, hay un punto donde la función alcanza un máximo, y en éste, f ' seanula. Lo mismo sucede si la función empieza bajando, y f ' es nula en el mínimo de f. El tercer ejemplo muestra que no se garantiza la unicidad de c.
[editar]Prueba

Gracias a la continuidad de f,la imagen de [a, b], conjunto conexo es un conjunto conexo de R, y por lo tanto es un intervalo, el intervalo imagen.
La imagen por una función continua de un conjunto compacto es un conjuntocompacto, y por lo tanto el intervalo imagen es cerrado y de longitud finita: es de la forma [m, M], con m el valor mínimo de f y M su valor máximo.
Si m = M , la función es constante, y cualquier punto cde (a, b) conviene. Descartado este caso, m ≠ M significa que uno de los dos no es igual a F(x) = f(x). Supongamos que sea M. Entonces M > F(x) = f(x), y por lo tanto el máximo M está alcanzado en elinterior del intervalo (corresponde al primer ejemplo).
Sea c en [a, b] tal que f(c) = M. Por definición del máximo, M = f(c) ≥ f(x) para todo x de [a, b]. Entoces el cociente (F(x) - f(x)) / (c - x)es no negativo cuando x < c (porque su numerador es siempre no negativo y su denominador es positivo no nulo), y es no positivo cuando x > c (el denominador se vuelve negativo no nulo). Pero f '(c) espor definición el límite de este cociente cuando x tiende hacia c. El límite por la izquierda, f '(c-)positivo, tiene que ser igual al límite por la derecha, f '(c+). Por lo tanto este límite común...