1.

Teorema del Valor Medio

Teorema de
Valor Medio en
Rn

Teorema del Valor . . .

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 funcion.
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 0 (c)(b a)

f (b)
JJ

II

f (a)

f 0 (c) =

f (b) f (a)
ba

Geometricamente esto significa

que hay un punto del intervalo en
el que la recta tangente a la
grafica de f tiene la misma
pendiente que la recta secante que
pasa por los puntos (a, f (a)) y
(b, f (b))

Teorema de
Valor Medio en
Rn

Otro ejemplo: Si f (t) representa la longitud que hemos recorrido hasta el instante t, la
(a)
velocidad media entre t = a y t = b es f (b)f
, y la velocidad en un instante t es f 0 (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 0 (c) =

F (b) F (a)
Rm
ba

F c)

F
c)

Teorema del Valor . . .

F (b)
F

JJ

II

F (a)

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 0 (x)(1 0)
Teorema de
Valor Medio en
Rn

Teorema del Valor . . .

JJ

II

donde F (1) = (1, 1), F (0) = (0, 0), y F 0 (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 de
Valor Medio en
Rn

Teorema (Teorema del Valor Medio en Rn).

Sea U un conjunto abierto de Rn, 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 >
I (Saltar al final de la demostracion)

Demostracion:
Teorema del Valor . . .

x + t(y x)
JJ

II

Escribimos el segmento [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 0 (c)(1 0) = g 0 (c)
Teorema de
Valor Medio en
Rn

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)

Teorema del Valor . . .

es decir, escribiendo la igualdad entre las matrices correspondientes

g 0 (c) =< f ((c)), y x >
Sustituyendo en la ecuacion anterior queda

JJ

II

f (y) f (x) =< f ((c)), y x >

donde (c) = z es un punto de [x, y], lo que prueba el resultado.
J(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, solo 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
Teorema de
Valor Medio en
Rn

Teorema del Valor . . .

JJ

II

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.
Corolario 1.
Sea U un conjunto abierto conexo de Rn , y F : U Rm una funcion diferenciable en U , tal
que la diferencial dF (x) es cero en todos los puntos de U (esto es, dF (x) es la aplicacion lineal
cero, cuya matriz esta formada solo por ceros). Entonces F es constante en U .
Demostracion:
Evidentemente bastara demostrar que cada componente de F es constante, as que vamos
a utilizar el teorema del valor medio aplicado a cada componente fj de F por separado. De la
hipotesis dF (x) = 0 para todo x de U , se deduce que las filas de la matriz de la diferencial son
todas cero, es decir, dfj (x) = (0, . . . , 0) para todo x
En primer lugar, supongamos que x e y son dos puntos de U tales que el segmento [x, y] U .

Aplicando el Teorema del Valor Medio a fj , existira un punto zj [x, y] tal que
fj (y) fj (x) = dfj (zj )(y x) = 0
luego fj (y) = fj (x)
Teorema de
Valor Medio en
Rn

U
x1

x
Teorema del Valor . . .

x2

Sean ahora x e y dos puntos

cualesquiera de U . Como U es
abierto conexo, existe una
poligonal
P = {x = x0 , x1 , x2 , . . . , xk = y}
que une x e y y esta contenida en
U.

Aplicando el paso anterior a cada segmento [xi1 , xi ] tenemos fj (xi ) = fj (xi1 ) para todo
i, 1 i k, luego
JJ

II

fj (y) = fj (xk ) = = fj (x1 ) = fj (x0 ) = fj (x)

Es decir, fj vale lo mismo en todos los puntos de U : es constante.