Teorema del valor intermedio

Para el teorema de clculo diferencial, vase Teorema del valor medio.

En anlisis matemtico el teorema del valor intermedio (o ms correctamenteteorema de los valores intermedios, o TVI), es un teorema sobre funciones continuas reales definidas sobre un intervalo. Intuitivamente, el resultado afirma que, si una funcin es continua en un intervalo, entonces toma todos los intermedios comprendidos entre los extremos del intervalo. El teorema de los valores intermedios establece que:

Sea que que

una funcin continua en un intervalo , existe al menos un .

. Entonces para cada dentro de tal

tal

Si f es una funcin continua a valores reales definida sobre el intervalo [a, b], y u es un nmero entre f(a)y f(b), entonces existe unc [a, b] tal que f(c) = u.

El teorema fue demostrado por primera vez por Bernard Bolzano en 1817. Cauchy da una demostracin en 1821.1 Ambos perseguan el fin de formalizar el anlisis de funciones y el trabajo de Lagrange. La idea de que las funciones continuas poseen la propiedad del valor intermedio es de larga data. Simon Stevin prob el teorema del valor intermedio para polinomios por medio de un algoritmo para construir la expansin decimal de la solucin: el algoritmo subdivide el intervalo iterativamente en 10 partes, lo que produce un dgito decimal adicional en cada paso de la iteracin.2 Antes de que la definicin formal de

continuidad existiera, la propiedad del valor intermedio era dada como parte de la definicin de funcin continua. Otros autores asuman que el resultado es intuitivamente obvio, por lo que no requiere de prueba. La visin de Bolzano y Cauchy fue la de definir una nocin general de continuidad (en trminos deinfinitesimales en el caso de Cauchy, utilizando desigualdades reales en el caso de Bolzano), y la de proveer una prueba basada en tales definiciones. El recproco del teorema es falso. No es necesario que una funcin sea continua para que la conclusin del teorema de los valores intermedios sea cierta. En 1875, Darboux demuestra que las funciones que provienen de una derivada, sean continuas o no, poseen la propiedad de los valores intermedios (ver Teorema de Darboux).

.Teorema

de Bolzano

Es frecuente (en algunos cursos de clculo) demostrar independientemente el Teorema de Bolzano, y despus servirse de l para enunciar el TVI como un corolario. Enunciado:

Sea f una funcin real continua en un intervalo cerrado [a,b] con f(a) y f(b) de signos contrarios. Entonces existe al menos un punto c del intervalo abierto (a, b) con f(c) = 0.

El teorema como tal no especifica el nmero de puntos, solo afirma que como mnimo existe uno. Si f(a) y f(b) no son del mismo signo, existe al menos un real c comprendido entre a y b tal que f(c) = 0 (pues 0 est comprendido entre f(a) y f(b)).

Derivada de una funcin

Considerando la funcin f definida en el intervalo abierto I y un punto a fijo en I, se tiene que la derivada de la funcin f en el punto se define como sigue:

, si este lmite existe, de lo contrario, , la derivada, no est definida. Esta ltima expresin coincide con la velocidad instantnea del movimiento continuo uniforme acelerado en cinemtica. Aunque podran calcularse todas las derivadas empleando la definicin de derivada como un lmite, existen reglas bien establecidas, conocidas como teoremas para el clculo de derivadas, las cuales permiten calcular la derivada de muchas funciones de acuerdo a su forma sin tener que calcular forzosamente el lmite. Tales reglas son consecuencia directa de la definicin de derivada y de reglas previas, como puede apreciarse en todo buen texto de clculo infinitesimal. Tambin puede definirse alternativamente la derivada de una funcin en cualquier punto de su dominio de la siguiente manera:

, La cual representa un acercamiento de la pendiente de la secante a la pendiente de la tangente ya sea por la derecha o por la izquierda segn el signo de . El aspecto de este lmite est relacionado ms con la velocidad instantnea del movimiento uniformemente acelerado que con la pendiente de la recta tangente a una curva. No obstante su aparente diferencia, el clculo de la derivada por definicin con cualquiera de los lmites anteriormente expresados, proporciona siempre el mismo resultado.

Ejemplo
Sea la funcin cuadrtica f(x)= x definida para todo x perteneciente a los reales. Se trata de calcular la derivada de esta funcin para todo punto x R puesto que es continua en todos los puntos de su dominio , mediante el lmite de su cociente de diferencias de Newton. As,
2

[editar]

Derivada de una funcin en un punto. Dada la funcin f(x) contina en el intervalo abierto I, se define la derivada en el punto a como:

S en lugar de considerar h el incremento de la variable independiente x lo sustituimos por x tenemos que la definicin queda:

En el caso de que hagamos h=x-a tenemos a+h=x, y la definicin nos queda de la siguiente forma:

Funcin derivada. Dada la funcin f(x) contina en el intervalo abierto I denominamos funcin derivada a:

S en lugar de considerar h el incremento de la variable independiente x lo sustituimos por x tenemos que la definicin queda:

diciembre 12, 2