Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teorema Del Valor Medio PDF
Teorema Del Valor Medio PDF
Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en
una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph Louis
de Lagrange (1736-1813), aunque se deduce fácilmente de un caso particular establecido sin
demostración por el matemático francés M. Rolle (1652-1719). Analizaremos las principales
consecuencias del Teorema del Valor Medio, que tienen en común la idea básica de obtener
información sobre el comportamiento de una función (monotonía, extremos relativos) a partir
del conocimiento de su función derivada.
76
6. Teorema del Valor Medio 77
Es fácil ver que f tiene un mínimo absoluto en 0 que no es un mínimo relativo, y un máximo
absoluto en 3 que tampoco es máximo relativo. Por otra parte, f tiene en 2 un mínimo absoluto
que también es relativo y en 1 un máximo relativo que no es absoluto.
Queda claro por tanto que si una función f : A → R tiene un extremo absoluto en un punto
a ∈ A , entonces a puede no ser un extremo relativo de f . Lo será si, y sólo si, a ∈ A◦ . En
sentido contrario, si f tiene un extremo relativo en un punto a ∈ A , puede ocurrir que f no
tenga en a un extremo absoluto. De hecho, la existencia de extremos relativos de una función
no implica siquiera que la función esté acotada.
Intuitivamente, es claro que si una función tiene un extremo relativo en un punto donde
es derivable, la recta tangente a la gráfica de la función en el punto correspondiente debe ser
horizontal. Esta idea nos lleva a la siguiente condición necesaria para que una función derivable
en un punto tenga un extremo relativo en dicho punto:
Sea f : A → R una función real de variable real. Supongamos que f tiene un extremo
relativo en un punto a ∈ A y que f es derivable en a . Entonces f 0 (a) = 0 .
(a) a ∈ A \ A◦ .
(b) a ∈ A◦ y f no es derivable en a .
(c) a ∈ A◦ y f es derivable en a con f 0 (a) = 0 .
Pues bien, llamemos B al conjunto de puntos de A que cumplan una de esas tres condiciones.
Como hemos dicho, si f tiene un máximo absoluto en un punto a ∈ A , entonces a ∈ B , luego
el conjunto f (B) también tiene máximo y máx f (B) = máx f (A) = f (a) . Análogamente, si
f (A) tiene mínimo, también lo tendrá f (B) y será mı́n f (A) = mı́n f (B) . Por tanto, optimizar
la función f en el conjunto A equivale a optimizarla en B . Ocurre frecuentemente en la práctica
que el conjunto B es finito, con lo que el conjunto f (B) también es finito y resulta bien fácil
encontrar su máximo y su mínimo.
Teorema de Rolle. Sean a, b ∈ R con a < b y f : [a, b] → R una función continua en [a, b]
y derivable en ]a, b[ verificando que f (a) = f (b) . Entonces existe c ∈ ]a, b[ tal que f 0 (c) = 0 .
Teorema del Valor Medio. Sean a, b ∈ R con a < b y f : [a, b] → R una función continua
en [a, b] y derivable en ]a, b[ . Entonces existe c ∈ ]a, b[ tal que f (b) − f (a) = f 0 (c)(b − a) .
También es inmediato que g(b) = g(a) . Por el Teorema de Rolle, existe c ∈ ]a, b[ tal que
g 0 (c) = 0 , es decir, f (b) − f (a) = f 0 (c)(b − a) como se quería.
6. Teorema del Valor Medio 79
Los dos resultados anteriores son en realidad equivalentes, el Teorema del Valor Medio es,
como se ha visto, consecuencia inmediata del de Rolle, pero lo incluye como caso particular:
si se supone f (b) = f (a) la igualdad f (b) − f (a) = f 0 (c)(b − a) implica obviamente que
f 0 (c) = 0 .
Merece la pena comentar que las hipótesis de los dos teoremas anteriores se presentan con
frecuencia, exactamente en la forma √ en que las hemos enunciado. Por ejemplo, la función
f : [−1, 1] → R definida por f (x) = 1 − x2 para todo x ∈ [−1, 1] es continua en [−1, 1] y
derivable en ] − 1, 1[ , pero no es derivable en 1 ni en −1.
El Teorema del Valor Medio tiene una clara interpretación geométrica: existe c ∈]a, b[ tal
que la recta tangente a la gráfica de f en el punto c, f (c) tiene
la misma pendiente que la
recta (secante a dicha gráfica) que pasa por los puntos a, f (a) y b, f (b) , es decir, ambas
rectas son paralelas. En el resto del tema obtenemos las primeras consecuencias importantes de
este teorema.
6.3. Monotonía
En lo que sigue vamos a trabajar preferentemente con funciones definidas en intervalos.
Para evitar repeticiones, siempre que hablemos de un intervalo, se entenderá que contiene al
menos dos puntos, con lo que su interior no es vacío. Para una función continua en un intervalo
y derivable en su interior, la función derivada nos permite caracterizar fácilmente la monotonía
de la función:
El resultado anterior es un criterio muy cómodo para estudiar la monotonía de una función.
Veamos un ejemplo en el que ese estudio se usa para obtener una desigualdad no trivial. Dado
α ∈ R con 0 < α < 1 , vamos a probar que
(a + b)α 6 a α + b α ∀ a, b ∈ R+
De hecho, basta considerar el caso a = 1 , pues si probamos que (1 + x)α 6 1 + x α para todo
x ∈ R+ , tomando x = b/a obtenemos inmediatamente la desigualdad buscada.
6. Teorema del Valor Medio 80
f (x) = (1 + x)α − x α ∀ x ∈ R+
0
que es continua en R+ + + ◦
0 y derivable en R = (R0 ) con
Por ser α − 1 < 0 tenemos (1 + x)α−1 < x α−1 , lo que junto con α > 0 nos da f 0 (x) < 0 para
todo x ∈ R+ . Por tanto f es decreciente en R+ +
0 , luego f (x) 6 f (0) = 1 para todo x ∈ R , que
era la desigualdad buscada.
Frecuentemente, al estudiar la monotonía de una función podemos detectar sus extremos
absolutos o relativos:
Para probar (i), fijamos x ∈ J y bastará ver que f (x) 6 f (a), pudiéndose dar dos casos. Si x 6 a
usamos que la restricción de f al intervalo ]a − δ, a] es creciente, mientras que si a 6 x usamos
que la restricción de f al intervalo [a, a + δ[ es decreciente. Obtenemos en ambos casos que
f (x) 6 f (a). Para probar (ii) se puede razonar análogamente o aplicar (i) a la función − f .
Consideremos por ejemplo la función racional f : R → R definida por
x
f (x) = ∀x ∈ R
1 + x2
que es derivable en R con
1 − x2
f 0 (x) = 2 ∀x ∈ R
1 + x2
Vemos que los puntos −1 y 1 son los únicos posibles extremos absolutos o relativos de f .
Observamos que f 0 (x) < 0 tanto si x < −1 como si x > 1 , y f 0 (x) > 0 para todo x ∈] − 1, 1[ .
Aplicando el resultado anterior con a = −1 y δ = 2 , obtenemos que f tiene un mínimo relativo
en −1 . Tomando a = 1 y δ = 2 vemos también que f tiene un máximo relativo en 1 .
De hecho podemos hacer un estudio más completo, teniendo en cuenta que
lı́m f (x) = lı́m f (x) = 0
x→−∞ x→+∞
Al ser f decreciente en ] − ∞, −1] tenemos 0 > f (x) > f (−1) = −1/2 para x 6 −1. Pero f
también es decreciente en [1, +∞[ , luego 0 6 f (x) 6 f (1) = 1/2 para x > 1. Finalmente, f es
creciente en [−1, 1] luego f (−1) 6 f (x) 6 f (1) para todo x ∈ [−1, 1] . En resumen, vemos que
f alcanza su mínimo absoluto en −1 y su máximo absoluto en 1 , siendo f (R) = [−1/2, 1/2] .
6. Teorema del Valor Medio 81
|x|
sgn (x) = ∀ x ∈ R∗
x
Es evidente que esta función es derivable en R∗ con sgn 0 (x) = 0 para todo x ∈ R∗ , es constante
en R+ y también en R− , intervalos en los que podemos aplicar el resultado anterior, pero no es
constante en R∗ .
Veamos un ejemplo en el que el resultado anterior se usa para obtener la solución general de
una ecuación diferencial, que en particular nos da una caracterización de la función exponencial.
Fijado α ∈ R y dado un intervalo I ⊂ R , intentemos encontrar todas las funciones f : I → R
derivables en I que verifiquen f 0 (x) = α f (x) para todo x ∈ I. Dada una tal función f ,
escribimos g(x) = f (x) e−α x para todo x ∈ I, obteniendo una función g : I → R que claramente
0 0
−α x
es derivable en I, con g (x) = f (x) − α f (x) e = 0 para todo x ∈ I, luego g es constante.
Deducimos que existe una constante C ∈ R tal que f (x) = C e α x para todo x ∈ I. Tenemos así
la solución general de la ecuación diferencial y 0 = α y en cualquier intervalo I ⊂ R , obtenida
a partir de una solución concreta, previamente conocida. Como caso particular obtenemos la
siguiente caracterización de la función exponencial:
Como otra aplicación interesante del último resultado, veremos que la fórmula de adición
para la función exponencial puede deducirse directamente de la caracterización recién obtenida.
Para ello, fijado a ∈ R , consideramos la función h : R → R definida por h(x) = e a+x e−x para
todo x ∈ R . Claramente h es derivable en R con h 0 (x) = e a+x e−x − e a+x e−x = 0 para todo
x ∈ R , luego h es constante. Puesto que h(0) = e a , tenemos h(x) = e a para todo x ∈ R , pero
a también era arbitrario, luego hemos probado que e a+x e−x = e a para cualesquiera a, x ∈ R .
Esta igualdad es claramente equivalente a la fórmula de adición, pues dados u, v ∈ R , basta
tomar a = u + v y x = −v para obtener e u e v = e u+v .
6. Teorema del Valor Medio 82
Para demostrarlo, tomados x, y ∈ I con x < y , aplicamos el Teorema del Valor Medio a la
restricción de f al intervalo [x, y] que es una función continua en dicho intervalo y derivable en
su interior. Obtenemos c ∈ ]x, y[ ⊂ I ◦ tal que f (y) − f (x) = f 0 (c)(y − x). Pero f 0 (c) 6= 0 , luego
f (y) 6= f (x) y hemos probado que f es inyectiva. Por ser f una función continua e inyectiva
en el intervalo I, concluimos que f es estrictamente monótona en dicho intervalo. Está claro
entonces que si f es creciente se tendrá f 0 (x) > 0 para todo x ∈ I ◦ , y si f es decreciente será
f 0 (x) < 0 para todo x ∈ I ◦ .
Conviene resaltar que la condición suficiente para la monotonía estricta de una función
derivable que acabamos de obtener, no es necesaria. Por ejemplo, la función f : R → R definida
por f (x) = x 3 para todo x ∈ R es estrictamente creciente y derivable en R , pero su derivada se
anula en un punto: f 0 (0) = 0 . En resumen, tenemos:
En efecto, el resultado anterior nos dice que f es inyectiva luego, por ser una función continua
e inyectiva en un intervalo, sabemos que J = f (I) es un intervalo y que f −1 es continua en J ,
con lo que basta aplicar la regla de derivación de la función inversa.
Teorema del valor intermedio para las derivadas: Sea I un intervalo y f : I → R una
función derivable en I. Entonces el conjunto f 0 (I) = { f 0 (x) : x ∈ I} es un intervalo.
Nótese que f puede ser constante, en cuyo caso el intervalo f 0 (I) se reduce a un punto. En
general, razonando por reducción al absurdo, supongamos que existen u, v ∈ f 0 (I), con u < v ,
y λ ∈]u, v[ tal que λ ∈/ f 0 (I). Considerando la función g : I → R definida por g(x) = f (x) − λ x
para todo x ∈ I , tenemos que g es derivable en I con g 0 (x) = f 0 (x) − λ para todo x ∈ I. Puesto
que λ ∈/ f 0 (I), tenemos g 0 (x) 6= 0 para todo x ∈ I. Ocurrirá por tanto que, o bien g 0 (x) > 0
para todo x ∈ I , o bien g 0 (x) < 0 para todo x ∈ I. En el primer caso tenemos f 0 (x) > λ para
todo x ∈ I, en contradicción con u ∈ f 0 (I), y en el segundo será f 0 (x) < λ para todo x ∈ I, en
contradicción con v ∈ f 0 (I).
Hemos obtenido una condición necesaria para que una función definida en un intervalo
pueda ser la derivada de otra: ha de tener la propiedad del valor intermedio. Por ejemplo, no
existe una función derivable en R cuya derivada coincida con la función parte entera.
Comparemos las dos familias de funciones definidas en intervalos que tienen la propiedad
del valor intermedio: las funciones continuas y las derivadas de funciones derivables. Veremos
más adelante que toda función continua en un intervalo es la derivada de una función derivable
en dicho intervalo. Por tanto, el recién obtenido teorema del valor intermedio para las derivadas
generaliza al teorema del valor intermedio para funciones continuas estudiado en su momento.
De hecho lo generaliza estrictamente, pues más adelante encontraremos también ejemplos de
funciones derivables en un intervalo cuya función derivada no es continua en dicho intervalo,
luego una función definida en un intervalo puede ser la derivada de otra, sin ser continua.
6. Teorema del Valor Medio 84
6.8. Ejercicios
1. Dar un ejemplo de una función f : R → R no constante, que tenga un máximo relativo
en todo punto de R .
9. Sea f : [0, 1] → R una función derivable en [0, 1] con f (0) = 0 . Supongamos que la
f (x)
función f 0 es creciente. Probar que la función g :]0, 1] → R , definida por g(x) =
x
para todo x ∈]0, 1] , también es creciente.
10. Sea f : [0, 1] → R una función derivable en [0, 1] tal que f (0) = 0 y | f 0 (x)| 6 | f (x)|
para todo x ∈ [0, 1] . Probar que f (x) = 0 para todo x ∈ [0, 1] .