Teorema del valor medio de una variable de una funcin

Uno de los teoremas mas importantes del calculo diferencial de funciones

reales de una variable real es el Teorema del Valor Medio, del que se obtienen
consecuencias como el Teorema de Taylor y el estudio de extremos de una funci
on.
Este teorema se puede generalizar para funciones vectoriales de varias
variables.
Empezamos por recordar el Teorema del Valor Medio en el caso de
funciones reales de una variable:
Sea f : [a, b] R una funcion continua, derivable en (a, b); existe un
punto c (a, b) tal
que f (b) f (a) = f !(c)(b a) o
f (b) f
!
f (c) =
(a ) b
a

f (b)
f (a)

Geometricamente esto
significa que hay un punto del
intervalo en el que la recta
tangente a la

grafi de f tiene la misma

pendiente que la recta
secante que pasa por los
puntos (a, f (a)) y
(b, f (b))

Otro ejemplo: Si f (t) representa la longitud que hemos recorrido hasta el

f (b)f (a)
instante t, la velocidad media entre t = a y t = b es
, y la velocidad en
!
un instante t es f (t). Segun
ba
el teorema del valor medio, si la velocidad media es de 60 km/h, en algun
instante entre a y b
hemos circulado exactamente a 60 km/h.
En el caso de funciones vectoriales, F : [a, b] Rm , (m > 1) parece facil
generalizar el teorema: podramos estudiar si existe un punto c en (a, b) en el
que la recta tangente a la imagen de F sea paralela a la recta que pasa por F
(a) y por F (b)
F !(c) = F
F
(b) (a)
ba
a

F c)

F t c)
F (b)

F
F (a)
b

Rm

El dibujo parece convincente, sin embargo el resultado no es cierto:

Consideremos la funcion F (x) = (x2 , x3 ) definida en el intervalo [0, 1].
Buscamos un punto
x [0, 1] que verifique
F (1) F (0) = F !(x)(1 0)
donde F (1) = (1, 1), F (0) = (0, 0), y F ! (x) = (2x, 3x2 ). La ecuacion anterior
es realmente un sistema de dos ecuaciones, una por cada coordenada
(
1 0 = 2x
1 0 = 3x2

que no tiene solucion, ya que tendra que ser x = 1/2 y x = 1/ 3 a la vez.

En cambio el teorema si se puede generalizar al caso de funciones reales de
varias variables, y es lo que vamos a demostrar en este captulo.
Utilizaremos en el teorema el segmento entre dos puntos: dados x e y en
Rn, el segmento
[x, y] de x a y es el conjunto de puntos
[x, y] = {x + t(y x); t [0, 1]} = {ty + (1 t)x; t [0, 1]}

Teorema (Teorema del Valor Medio en R ).

n

Sea U un conjunto abierto de R , y f : U : R una funcion diferenciable en todo

U. Sean x e y dos puntos de U tales que el segmento [x, y] este totalmente contenido
en U . Entonces existe un punto z [x, y] tal que
f (y) f (x) = df (z)(y x) =< f (z), y x >

Demostracion:

.., (Saltar al final de la

demostracion) Escribimos el segmento

x + t(y x)y
x

[x, y]
como imagen de una funcion:
Sea : [0, 1] Rn
definida por (t) = x + t(y
x). es continua, su
imagen es el
segmento [x, y], y es
diferenciable, con d(t) =
(y x) en cualquier punto t
[0, 1].

Para estudiar el comportamiento de f sobre el segmento, consideramos la

composicion de las

dos funciones, g(t) = f (t). Esta funcion g es ahora una funcion de [0, 1]
en R, continua y derivable, por lo que podemos aplicar el teorema del Valor
Medio para ese tipo de funciones, y tenemos
g(1) g(0) = g!(c)(1 0) = g!(c)
donde c es algun punto en [0, 1].
Ahora bien, g(1) = f ((1)) = f (y), g(0) = f ((0)) = f (x), y aplicando la
regla de la cadena
dg(c) = df ((c)) d(c)
es decir, escribiendo la igualdad entre las matrices correspondientes
g!(c) =< f ((c)), y x >
Sustituyendo en la ecuacion anterior queda
f (y) f (x) =< f ((c)), y x >
donde (c) = z es un punto de [x, y], lo que prueba el resultado.

.,.(Volver al enunciado)

Como hemos visto por el ejemplo antes del teorema, no se puede

generalizar al caso de funciones vectoriales, con valores en Rm . En este caso, s
olo se puede aplicar a cada componente por separado: si F : U : Rm es
diferenciable, F (f1 , . . . , fm ), y [x, y] U , entonces para
cada componente fj existira un punto zj [x, y] tal que
fj (y) fj (x) = dfj (zj )(y x) =< fj (zj ), y x >
pero no se puede asegurar que sea el mismo punto zj para todas las
componentes de f .
Aun as, esto es suficiente para demostrar otra generalizacion a funciones
de varias variables de un resultado bien conocido de las funciones reales de una
variable real: si una funcion derivable tiene derivada cero en un intervalo,
entonces es constante en el.
Bibliografa:
Arturo Yl Martnez,Jos Alfredo Jurez Duarte. (2012). Clculo I,Clculo Diferencial por Competencias. En Clculo I (pg. 269).
Mxico.

Estudiante: Cristian Crespn Pacheco

Segundo Semestre:B
Consulta: de Calculo Integral