Teorema del Valor Intermedio

Teorema de los valores intermedios.

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

Enunciado

El teorema de los valores intermedios establece que:

1

3 DEMOSTRACIN

1.1

Enunciados equivalentes

Si f es una funcin continua a valores reales denida sobre el intervalo [a, b], y u es un nmero entre f(a)y f(b),
entonces existe un c [a, b] tal que f(c) = u.
Como consecuencia del teorema de Weierstrass, se puede generalizar diciendo que la imagen de un intervalo es
otro intervalo.
Si X y Y son espacios topolgicos, f : X Y es continua, y X es conexo, entonces f(X) es conexo.
Un subconjunto de R es conexo si y solo si es un intervalo.
Teorema de Bolzano: caso particular u = 0 .

Historia

El teorema fue demostrado por primera vez por Bernard Bolzano en 1817. Cauchy da una demostracin en 1821.[1]
Ambos perseguan el n 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 denicin formal de continuidad existiera, la propiedad del valor intermedio era dada como parte de la denicin
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 denir una nocin general de continuidad (en trminos de innitesimales en el caso
de Cauchy, utilizando desigualdades reales en el caso de Bolzano), y la de proveer una prueba basada en tales deniciones.
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).

Demostracin

El TVI hace parte de los llamados teoremas de existencia. A la pregunta: Existe un real c tal que f(c)=u?, el
teorema responde armativamente: S, existe. Se impone entonces la pregunta: Cul es ese nmero real?. Varias
demostraciones son posibles, dependiendo de las premisas iniciales. La prueba siguiente utiliza la nocin del supremo.

3.0.1

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:
El teorema como tal no especica el nmero de puntos, solo arma 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)).

3.1

Demostracin con la topologa

Es posible demostrar la propiedad en algunas lneas solamente, evocando nociones de la topologa matemtica. Tras esta
aparente simplicidad se encuentran resultados que hay que demostrar previamente, como el hecho que todo intervalo de
R es conexo, demostraciones que son del mismo grado de dicultad que la del TVI.

3
Los conjuntos conexos de R son los intervalos. Es el conjunto de partida. La imagen directa de un conexo
por una funcin continua es un conexo. De aqu se inere que la imagen por f de [a, b] es un intervalo, lo
cual demuestra el teorema.

Ejemplos de aplicacin

BIBLIOGRAFA

Demostrar que dos funciones continuas sobre un mismo intervalo toman el mismo valor en al menos un punto del
intervalo.
Sean f y g dos funciones continuas sobre un intervalo no vaco [a;b] de R, tales que g(a)-f(a) y g(b)-f(b) sean de signo
contrario. Existe al menos un real c comprendido entre a y b y tal que f(c) = g(c).
En efecto, sea = f - g. La funcin es continua, y el 0 est comprendido entre (a) y (b). Existe entonces al menos
un real c comprendido entre a y b y tal que (c) = 0, lo cual implica f(c) = g(c).
En el caso particular donde g es la identidad sobre el intervalo [a;b] y donde f(a) > a y f(b) < b, se obtiene un
teorema de punto jo (Teorema del punto jo de Brouwer en dimensin 1).
El problema se puede reformular como: Demostrar que dos funciones se cortan en un punto y aplicar el Teorema
de Bolzano deniendo la misma funcin f(x) - g(x).
Demostrar que para todo polinomio P a coecientes reales y de grado impar, existe al menos una raz real, es decir
un nmero real c tal que P(c) = 0
En efecto, se puede suponer (sin prdida de generalidad) que el coeciente del trmino de mayor grado de P es igual a
1. Al ser de grado impar, P(x) tiende a cuando x tiende a , y P(x) tiende a + cuando x tiende a + .
Se deduce que existe un real a tal que P(a) 0 y un real b tal que P(b) 0. Como la funcin polinmica P es continua,
existe al menos un real c comprendido entre a y b y tal que P(c) = 0.

Vase tambin
Teorema del valor medio
Teorema de Rolle
Teorema del punto jo de Brouwer

Notas y referencias
[1] Grabiner, Judith V. (marzo de 1983). Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus (3). The American
Mathematical Monthly. pp. 185-194. doi:10.2307/2975545. JSTOR 2975545. Archivado desde el original el 30 de marzo de
2003.
[2] Karin Usadi Katz, Mikhail Katz (2011), A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its
Historiography. Foundations of Science. doi: 10.1007/s10699-011-9223-1

Bibliografa
Bombal, Marin & Vera: Problemas de Anlisis matemtico: Clculo Diferencial, 1988, ed. AC, ISBN 84-7288-1016.
Clarke, Douglas A. (1971). Foundations of Analysis. Appleton-Century-Crofts. p. 284.

Enlaces externos
Intermediate value Theorem - Bolzano Theorem en cut-the-knot
Weisstein, Eric W. Teorema de Bolzano. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.
Weisstein, Eric W. Intermediate Value Theorem. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.
Demostracin interactiva. The Wolfram Demonstrations Project (en ingls). Wolfram Research.
Un ejemplo prctico del Teorema de Bolzano

9
9.1

ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

Texto
Teorema del valor intermedio Fuente: https://es.wikipedia.org/wiki/Teorema_del_valor_intermedio?oldid=90401060 Colaboradores: Pino,
Joseaperez, JorgeGG, Voise, Dodo, Triebjlr, Richy, Boticario, Magister Mathematicae, Alhen, Marb, JRGL, Hatrum, Gtz, KErosEnE, Alfredobi, BOTpolicia, Cuat, Messhia, CEM-bot, Pello~eswiki, Davius, Antur, Julian Mendez, Gafotas, Escarbot, JAnDbot, Kved, Dusan, VolkovBot, Belgrano, Matdrodes, Krayo~eswiki, BlackBeast, Hookdump, Muro Bot, Ctrl Z, Joelperez, Camiloalcubo2, Lightbringer~eswiki, Gabriel Vidal lvarez, Tirithel, Mutari, JaviMad, Farisori, Leonpolanco, Juan Mayordomo, Camilo, AVBOT, Lualalsa, LucienBOT, MastiBot,
MarcoAurelio, Luckas-bot, Xqbot, Jkbw, SassoBot, Ricardogpn, Torrente, Tmeyer, Jerowiki, Gonssse, Miss Manzana, EmausBot, Gimlinu,
Fouri87, Mjbmrbot, CocuBot, Lojano, MerlIwBot, Invadibot, Profeshermyguad, Rotlink, Legobot, Soy Juampayo, Addbot, Jarould, BenjaBot
y Annimos: 88

9.2

Imgenes
Archivo:Intermediatevaluetheorem.png Fuente: https://upload.wikimedia.org/wikipedia/commons/c/ce/Intermediatevaluetheorem.png Licencia: CC-BY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:TV_pic1.png Fuente: https://upload.wikimedia.org/wikipedia/commons/5/59/TV_pic1.png Licencia: Public domain Colaboradores:
? Artista original: ?

9.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0