Teorema de Rolle

El teorema de Rolle dice lo siguiente:

Si:

  • \ f es una función continua definida en un intervalo cerrado \ [a, b]
  • \ f es derivable sobre el intervalo abierto \ (a, b)
  • \ f\left(a\right) = f\left(b\right)

Entonces: existe al menos un número \ c perteneciente al intervalo \ (a, b) tal que \ f'(c) = 0.
Teorema de Rolle 1.png

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 tres casos 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 ' se anula. 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.

Contenido

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 conjunto compacto, 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 c de (a, b) conviene. Descartado este caso, m ≠ M significa que uno de los dos no es igual a f(a) = f(b). Supongamos que sea M. Entonces M > f(a) = f(b), y por lo tanto el máximo M está alcanzado en el interior 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(c) - 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) es por 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 es nulo, o sea f '(c) = 0.

La prueba es muy parecida si es el mínimo que está alcanzado en (a, b).

Otra forma

De manera similar se puede considerar la siguiente prueba. Se sabe que existen tres posibilidades: o bien la función que consideramos es constante, o bien tiene algún punto x donde el valor de la función es es mayor o menor mayor que en los extremos. Para el primer caso es trivial que en algún punto la función tiene derivada nula (en la definición de derivada el cociente incremental es cero).

Para el segundo caso se puede probar lo siguiente:

Consideramos A como el conjunto imagen de f. Sabemos que A es un compacto ya que es la imágen de una función continua en un compacto y por lo tanto la función alcanza máximo evaluada en un punto x0 dentro del intervalo. Por ser la función derivable en (a,b), la función es derivable también en x0.

Aproximamos entonces a la función en un entorno del punto x0 considerando la derivada de f, f'(x). Entonces tenemos que si la derivada es positiva, entonces hay un entorno a la derecha de x0 en donde los valores de f(x) son mayores a f(x0), lo cual es absurdo por ser f(x0) = M el máximo del conjunto imagen.

De manera análoga, si la derivada fuera negativa tendríamos un entorno a la izquierda de x0 en donde los valores de f(x) son mayores a f(x0), lo cual es absurdo por ser f(x0) = M el máximo del conjunto imagen.

La única posibilidad que resta es que la derivada sea nula, lo cual demuestra el teorema de Rolle.

Basta tomar g(x) = -f(x) y repetir la prueba para verificar que se verifica también cuando la función toma algún valor por debajo de los valores funcionales de los extremos.

Teorema de Valor Medio, de Lagrange o de Incrementos Finitos

Artículo principal: Teorema del valor medio

Si:

  • f es una función continua definida en un intervalo [a, b]
  • f es derivable sobre el intervalo (a, b)
Entonces: existe al menos un número c en el intervalo (a, b) tal que :
Teorema de Rolle generalización.png

Es decir que existe un punto en donde la tangente es paralela a la cuerda AB.

Su prueba es sencilla, pues utiliza el teorema precedente.
Sea p la pendiente de la cuerda: p = (f(b) - f(a)) / (b - a), y se define la función g(x) = f(x) - p·x. Entonces g(b) - g(a) = f(b) - p·b - (f(a) - p·a) = f(b) - f(a) - p(b - a) = f(b) - f(a) -(f(b) - f(a)) = 0, y g como f, es continua sobre [a, b] y derivable en su interior.
Según el teorema anterior, existe un c en (a, b) tal que g '(c) = 0; pero esto se escribe f ' (c) = p.

Este teorema se escribe también, con las mismas hipótesis: f(b) = f(a) + f '(c)(b-a) lo que deja entrever el teorema de Taylor-Young:
f(b) = f(a) + (b-a)f '(a) + ... + (b-a)n/n! · f(n)(c), con f n veces derivable sobre (a, b).

Aplicación en Economía

El teorema de Rolle demuestra la veracidad de la Curva de Laffer


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Teorema de Rolle — El teorema de Rolle dice lo siguiente: <blockquote style= padding: 1em; border: 2px dotted purple; > Si: ● f es una función continua definidas en un intervalo [a, b] ● f es derivable sobre el intervalo abierto (a,b) ● f(a) = f(b) Entonces:… …   Enciclopedia Universal

  • Teorema de Taylor — La función exponencial y = ex (línea roja continua) y su aproximación mediante un polinomio de Taylor alrededor del origen de (línea verde discontinua). En cálculo, el teorema de Taylor, recibe su nombre del matemático británico Brook Taylor,… …   Wikipedia Español

  • Teorema de Gauss-Lucas — En análisis complejo, el teorema de Gauss Lucas aporta una relación geométrica entre las raíces de un polinomio P y las raíces de su derivada P . El conjunto de raíces de un polinomio real o complejo es un conjunto de puntos en el plano complejo …   Wikipedia Español

  • Teorema de Bolzano — Se ha propuesto fusionar este artículo o sección con Teorema del valor intermedio, pero otros wikipedistas no están de acuerdo. Por favor, lee la página de discusión de ambos artículos y aporta tus razones antes de proceder en uno u otro sentido …   Wikipedia Español

  • Rolle, teorema de — Caso especial de los teoremas del valor medio del cálculo diferencial. Afirma que si una curva continua cruza el eje x dos veces en un intervalo dado y tiene una tangente única en todo punto de ese intervalo, entonces tiene una tangente paralela… …   Enciclopedia Universal

  • Teorema del valor medio — En cálculo diferencial, el teorema de valor medio (de Lagrange), también llamado teorema de los incrementos finitos, teorema de Bonnet Lagrange o teoría del punto medio es una propiedad de las funciones derivables en un intervalo. Algunos… …   Wikipedia Español

  • Teorema — (Del gr. theorema, meditación.) ► sustantivo masculino 1 LÓGICA Proposición que afirma una verdad demostrable a través de un razonamiento. 2 LÓGICA, MATEMÁTICAS Expresión de un sistema formal, demostrable en el interior de dicho sistema. * * *… …   Enciclopedia Universal

  • Teorema del valor medio de Cauchy — En análisis matemático, y más concretamente en cálculo diferencial, el teorema del valor medio de Cauchy es una generalización del teorema del valor medio (de Lagrange). A partir del mismo puede demostrarse la regla de L Hôpital, fuerte ayuda… …   Wikipedia Español

  • Historia de la matemática — Página del Compendio de cálculo por el método de completado y balanceado de Muhammad ibn Mūsā al Khwārizmī (820 d.C.) La historia de las matemáticas es el área de estudio que abarca las investigaciones sobre los orígenes de los descubrimi …   Wikipedia Español

  • Apología de un matemático — (A Mathematician s Apology en inglés) es un ensayo escrito por el matemático británico G. H. Hardy en 1940. Trata sobre la estética de la matemática con algún contenido personal, y permite que el gran público llegue a comprender la mente de un… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”