1.

Teorema del Valor Medio

Uno de los teoremas más importantes del cálculo 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ón.
Este teorema se puede generalizar para funciones vectoriales de varias variables.
Teorema de
Empezamos por recordar el Teorema del Valor Medio en el caso de funciones reales de una
Valor Medio en
variable:
Rn
Sea f : [a, b] −→ R una función continua, derivable en (a, b); existe un punto c ∈ (a, b) tal
que
f (b) − f (a)
f (b) − f (a) = f 0 (c)(b − a) o f 0 (c) =
Teorema del Valor . . . b−a

Geométricamente esto significa

f (b) que hay un punto del intervalo en
JJ II el que la recta tangente a la
α
J I f (a) gráfica de f tiene la misma
α pendiente que la recta secante que
pasa por los puntos (a, f (a)) y
a c
(b, f (b))
b
 Otro ejemplo: Si f (t) representa la longitud que hemos recorrido hasta el instante t, la
velocidad media entre t = a y t = b es f (b)−f
b−a
(a)
, y la velocidad en un instante t es f 0 (t). Según
el teorema del valor medio, si la velocidad media es de 60 km/h, en algún 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 fácil generalizar el
Teorema de teorema: podrı́amos estudiar si existe un punto c en (a, b) en el que la recta tangente a la imagen
Valor Medio en de F sea paralela a la recta que pasa por F (a) y por F (b)
Rn F (b) − F (a)
F 0 (c) = ∈ Rm
b−a

a F c) F
c)
Teorema del Valor . . .
c F (b)
F
F (a)
b
JJ II
J I
 El dibujo parece convincente, sin embargo el resultado no es cierto:
Consideremos la función 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 donde F (1) = (1, 1), F (0) = (0, 0), y F 0 (x) = (2x, 3x2 ). La ecuación anterior es realmente un
Valor Medio en sistema de dos ecuaciones, una por cada coordenada
Rn 
1 − 0 = 2x
1 − 0 = 3x2
√
Teorema del Valor . . . que no tiene solución, ya que tendrı́a 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 capı́tulo.
Utilizaremos en el teorema el segmento entre dos puntos: dados x e y en Rn , el segmento
JJ II
[x, y] de x a y es el conjunto de puntos
J I
[x, y] = {x + t(y − x); t ∈ [0, 1]} = {ty + (1 − t)x; t ∈ [0, 1]}
 Teorema (Teorema del Valor Medio en Rn).
Sea U un conjunto abierto de Rn, y f : U :−→ R una función
diferenciable en todo U . Sean x e y dos puntos de U tales que el
segmento [x, y] esté totalmente contenido en U . Entonces existe un
Teorema de
Valor Medio en punto z ∈ [x, y] tal que
Rn
f (y) − f (x) = df (z)(y − x) =< ∇f (z), y − x >
Demostración: I (Saltar al final de la demostración)
Teorema del Valor . . .
Escribimos el segmento [x, y]
como imagen de una función:
Sea Φ : [0, 1] −→ Rn definida por
x + t(y − x)
y Φ(t) = x + t(y − x). Φ es
JJ II x continua, su imagen es el
J I 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 composición de las

 dos funciones, g(t) = f ◦ Φ(t). Esta función g es ahora una función 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 donde c es algún punto en [0, 1].
Valor Medio en Ahora bien, g(1) = f (Φ(1)) = f (y), g(0) = f (Φ(0)) = f (x), y aplicando la regla de la
Rn 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 ecuación anterior queda

JJ II
J I 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)
N
 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ólo 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 existirá un punto zj ∈ [x, y] tal que

fj (y) − fj (x) = dfj (zj )(y − x) =< ∇fj (zj ), y − x >

Teorema de
Valor Medio en pero no se puede asegurar que sea el mismo punto zj para todas las componentes de f .
Rn Aún ası́, esto es suficiente para demostrar otra generalización a funciones de varias variables
de un resultado bien conocido de las funciones reales de una variable real: si una función derivable
tiene derivada cero en un intervalo, entonces es constante en él.

Teorema del Valor . . .

Corolario 1.
Sea U un conjunto abierto conexo de Rn , y F : U −→ Rm una función diferenciable en U , tal
que la diferencial dF (x) es cero en todos los puntos de U (esto es, dF (x) es la aplicación lineal
cero, cuya matriz está formada sólo por ceros). Entonces F es constante en U .

JJ II Demostración:
J I
Evidentemente bastará 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
hipótesis 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 , existirá un punto zj ∈ [x, y] tal que

fj (y) − fj (x) = dfj (zj )(y − x) = 0

luego fj (y) = fj (x)

Teorema de U Sean ahora x e y dos puntos

Valor Medio en x1 x2 cualesquiera de U . Como U es
Rn abierto conexo, existe una
poligonal
P = {x = x0 , x1 , x2 , . . . , xk = y}
x y que une x e y y está contenida en
Teorema del Valor . . . U.
Aplicando el paso anterior a cada segmento [xi−1 , xi ] tenemos fj (xi ) = fj (xi−1 ) para todo
i, 1 ≤ i ≤ k, luego

JJ II fj (y) = fj (xk ) = · · · = fj (x1 ) = fj (x0 ) = fj (x)

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