Teorema del valor intermedio (repaso)

Los siguientes dos teoremas son conocidos como teorema del valor intermedio,
teorema de
Bolzano-Cauchy, teorema de Bolzano.
1. Teorema del valor intermedio, caso especial. Sean a; b 2 R, a < b y sea f: [a;
b] ! R
una funcion continua que toma valores con signos opuestos en los exremos del
intervalo [a; b],
esto es, f(a)f(b) < 0. Entonces existe un punto c 2 (a; b) tal que f(c) = 0.
2. Teorema del valor intermedio, caso general. Sean a; b 2 R, a < b y sea f: [a;
b] ! R
una funcion continua tal que f(a) 6= f(b), esto es, f(a) < f(b) o f(a) > f(b).
Entonces para
todo u entre f(a) y f(b) existe al menos un c 2 (a; b) tal que f(c) = u.
Ejemplos numericos
3. Demuestre que la funcion f tiene al menos una raz real y encuentre un
intervalo de longitud
menor o igual a 1 que contenga por lo menos una raz de f.
f(x) = 2
x + 4x + 3:
4. Demuestre que la funcion f tiene al menos una raz real y encuentre un
intervalo de longitud
menor o igual a 1 que contenga por lo menos una raz de f.
f(x) = cos(2x) - 3x + 4:
Ejercicios teoricos
5. Explique el sentido geometrico del teorema del valor intermedio, primero en
el caso especial
y luego en el caso general.
6. Muestre que la primera version del teorema es un caso especial de la
segunda version.

7. Demuestre el teorema del valor intermedio en el caso general usando el

caso especial del
mismo teorema.
8. Sean f: [0; 1] ! [0; 1] y g: [0; 1] ! [0; 1] funciones continuas tales que
f(0) = 0; f(1) = 1; g(0) = 1; g(1) = 0:
Demuestre que existe por lo menos un punto c 2 [0; 1] tal que f(c) = g(c).
pagina 1 de 29. Sean f: [a; b] ! R y g: [a; b] ! R funciones continuas tales que
f(a) g(b) y f(b) g(a):
Demuestre que existe por lo menos un punto c 2 [a; b] tal que f(c) = g(c).
10. Sea f: [a; b] ! R funcion continua tal que
mn
x2[a;b]
f(x) = 3a + 5; max
x2[a;b]
f(x) = 3b + 5:
Demuestre que existe por lo menos un punto c 2 [a; b] tal que f(c) = 3c + 5.

Teorema del valor intermedio

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

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 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.
ndice
[ocultar]

1 Enunciado
1.1 Enunciados equivalentes

2 Historia

3 Demostracin

3.1 Teorema de Bolzano

3.2 Demostracin con la topologa

4 Ejemplos de aplicacin

5 Vase tambin

6 Notas y referencias

7 Bibliografa

8 Enlaces externos

Enunciado[editar editar cdigo]

El teorema de los valores intermedios establece que:

Sea
que

una

funcin

continua

en

un

, existe al menos un

intervalo
dentro de

Enunciados equivalentes[editar editar cdigo]

Entonces
tal que

para

cada
.

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 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

Historia[editar editar cdigo]

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 deLagrange. 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
de infinitesimales 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).

Demostracin[editar editar cdigo]

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 afirmativamente: 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.

[Expandir] Demostracin utilizando el supremo

Teorema de Bolzano[editar editar cdigo]

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)).

Demostracin con la topologa[editar editar cdigo]

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 es conexo, demostraciones que son del mismo
grado de dificultad que la del TVI.
Los conjuntos conexos de son los intervalos. Es el conjunto de partida. La imagen directa de
un conexo por una funcin continua es un conexo. De aqu se infiere que la imagen por
de

es un intervalo, lo cual demuestra el teorema.

Ejemplos de aplicacin[editar editar cdigo]

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 ccomprendido 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 fijo (Teorema del punto fijo 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 definiendo la misma funcin f(x) - g(x).

Demostrar que para todo polinomio P a coeficientes 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 coeficiente del trmino de mayor
grado de P es igual a 1. Al ser de grado impar, P(x) tiende a
tiende a

cuando x tiende a

cuando x tiende a

, y P(x)

. 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.

Teorema de residuo

Teorema que establece que si un polinomio de x, f(x), se divide entre (x - a),

donde a es cualquier nmero real o complejo, entonces el residuo es f(a).
Por ejemplo, si f(x) = x2 + x - 2 se divide entre (x-2), el residuo es f(2) = 2 2 + (2)
- 2 = 4. Este resultado puede volverse obvio si cambiamos el polinomio a una de
las siguientes formas equivalentes:
f(x) = (x-2)(x+3) + 4
Como se muestra, la expresin anterior nos puede llevar fcilmente a esperar que
4 sea el residuo cuando f(x) se divide entre (x-2).
El teorema del residuo nos puede ayudar a encontrar los factores de un
polinomio. En este ejemplo, f(1) = 12 + (1) - 2 = 0. Por lo tanto, significa que no
existe residuo, es decir, (x-1) es un factor. Esto puede mostrarse fcilmente una
vez que reacomodamos el polinomio original en una de las siguientes
expresiones equivalentes:
f(x) = (x-1)(x+2)

Como se muestra, (x-1) es un factor.

Teorema del factor

El pol i nomi o P( x) e s di vi si bl e por un pol i nomi o de l a fo rma (x - a) si y
sl o si P(x = a) = 0.

Al val o r x = a se l e l l ama ra z o ce r o de P (x ).

La s r a ces

c er o s

de

un

p o li no mi o son

l os va lo r e s q ue anul an

el

pol in om io .

Eje rc i ci o

Com pr ue ba que l os si gui ente s pol i nomi os ti enen co mo fa ctor es lo s q ue se

i ndi c an:

1 ( x 3 5x 1) ti ene por f ac tor ( x 3)

(x 3 5 x 1) e s di vi si bl e po r (x 3) si y sl o si P( x = 3) = 0.

P( 3) = 3 3 5 3 1 = 27 15 1 0

(x 3) no e s un fa ctor.

2 ( x 6 1) ti en e p or f act or ( x + 1)
(x 6 1) e s di vi si bl e p or ( x + 1) si y sl o si P( x = 1) = 0.

P( 1) = (1) 6 1 = 0

(x + 1) es un fa cto r.

3 ( x 4 2x 3 + x 2 + x 1) ti ene por f ac tor ( x 1)

(x 4 2 x 3 + x 2 + x 1) es di vi si bl e por ( x 1 ) si y sl o si P(x = 1) = 0.

P( 1) = 1 4 2 1 3 + 1

+ 1 1 = 1 2 + 1 + 1 1 = 0

(x 1) es un fa cto r.

4 ( x 1 0 10 24) ti ene po r fa cto r (x + 2)

(x 1 0 1 02 4) es di vi si bl e po r (x + 2) si y sl o si P (x = 2) = 0.

P( 2) = (2) 1 0 1 02 4 = 1 02 4 1 02 4 = 0

(x + 2) es un fa cto r.

Cal cul o l a s ra ce s del pol i nomi o:

Q(x ) = x 2 x 6

Lo s di vi sor es d el t rmi no i ndepe ndi ente s on 1, 2 , 3.

Q(1) = 1 2 1 6 0

Q(1) = (1) 2 (1 ) 6 0

Q(2) = 2 2 2 6 0

Q(2) = (2) 2 (2 ) 6 = 4 +2 +6 = 0

Q(3) = 3 2 3 6 = 9 3 6 = 0

x = 2 y x = 3 so n l as r a ce s o c er o s d e l po l in om io : P( x) = x 2 x
6, po rq ue P( 2 ) = 0 y P ( 3 ) = 0.

P( x) = (x + 2 ) ( x 3)

Teorema del numero de ceros

Una funcion polinomica no puede tener un numero mayor de ceros que su
grado.

Sea f(x) una funcion polinomica el numero real de ceros reales positivos de f(x)
es igual al numero de variaciones en los signos de los coeficientes distintos de
cero de f(x) o igual al numero de variaciones menos un numero natural par.

El numero de ceros reales negativos de f(x) es igual al numero de variaciones

en los signos de los coeficientes distintos de cero de f(-x) o igual al numero de
variaciones menos un numero natural par.

Funcin de mximo entero

Cuando se tiene una funcin mximo entero, la mejor forma de desarrollarla es a travs de los
intervalos, as se divide entonces este en varios intervalos para hacer ms rpido la solucin del
problema que se plantee. En una funcin de mximo entero, siempre se toma el mximo valor
entero que puede tomar un nmero, es decir, si se tiene el nmero 3,4, el mximo entero es 3.
Pero si se tiene un nmero negativo es diferente. De esta manera, el mximo entero de -3,6 es

-4. Siempre en los negativos es una unidad menos que el entero del nmero que se da.

Funcin mximo entero La funcin mximo entero tiene en su regla de correspondencia, una
ecuacin que se representa como; f (x) = [x], cuya regla de correspondencia es, f (x) = [x] =
mximo entero menor o igual a x. Para aplicar la regla de correspondencia a una ecuacin
especfica dada, es importante saber que para facilitar el desarrollo en cuanto a los lmites de la
funcin, Se debe probar entonces que los lmites laterales existen y deben ser iguales. Luego
empezar a despejar la x y dependiendo del valor de x se contina con el proceso. Es importante
resaltar tambin, que la expresin [[ ]] indica que se tome el nmero entero ms prximo por
debajo, es decir, si se tiene 4/5, lo que quiere decir 0.8, el entero ms cercano por debajo es 0,
luego [[ 4/5 ]] = 0. Graficar una funcin mximo entero Primero que todo cabe recordar que en
la definicin del mximo entero, se dice que para un nmero real en x como el mayor entero
menor o igual. La representacin de mximo entero no es continua, ya que la curva que
representa su grfica tiene rupturas.

Adems, la funcin de grfico entero es una funcin escalonada de 0.001 a 1, vale 1 y de 1.001
a 2 y vale 2. Para realizar la graficacin, es necesario seguir algunos pasos claves que dicho
objetivo se logre de manera fcil y efectiva. En primer lugar se debe eliminar la funcin mximo
entero, este proceso como ya se haba anunciado es muy fcil de realizar a travs los intervalos
0<=x< 1 , [[x]]= 0 y tu funcin seria h(x)=0.X = 0 cuyo dominio solo sera : 0<=x< 1 1<=x<
2 , [[x]]= 1 y la funcin seria h(x)=1.X cuyo dominio solo sera : 1<=x< 2 2<=x< 3 , [[x]]= 2 y
la funcin seria h(x)=2.X cuyo dominio solo sera : 2<=x< 3 3<=x< 4 , [[x]]= 3 y la funcin
seria h(x)=3.X cuyo dominio solo sera : 3<=x< 4. Finalmente y para los casos de graficacin o
de desarrollo de alguna actividad de este tipo, cabe decir, si la funcin se ve afectada por un
coeficiente y dems se le suma cualquier nmero. En resumidas cuentas, para trabajar con este
tipo especial de funcin mximo entero hay que seguir paso a paso cada uno de los consejos.