TEOREMA DEL VALOR MEDIO

Si f (x) es una funcin continua en el intervalo cerrado [a, b] y diferenciable en el

intervalo abierto ]a, b[, entonces existe por lo menos un nmero c, a c b, tal que:

f (b) - f ( a )
f (c ) =
b-a

La figura de al lado puede servir como y

interpretacin geomtrica de este
teorema. Donde se puede observar que,
B
f (b ) - f ( a )
es la pendiente de AB,
b-a
A
y f '(c) es la pendiente de la recta tangente

en x = c. Por tanto AB y son paralelas. x

a c b
Representacin de una parte de f (x) en [a,b]

Demostracin del teorema del valor medio

Se introduce la funcin, g ( x ) = f ( x ) + l x . Se hallan los valores de la funcin para

a y b: g ( a ) = f ( a ) + l a , g ( b ) = f ( b ) + lb . Se hace, g(a) = g(b), con lo cual queda,

f (b ) - f ( a )
f ( a ) + l a = f ( b ) + lb , de donde se obtiene el valor, l = - .
b-a
f (b) - f ( a )
Sustituyndolo en la funcin original queda, g ( x ) = f ( x ) - x . Ahora,
b-a
f (b ) - f ( a )
derivando se obtiene, g ( x ) = f ( x ) - . Como, g(a) = g(b), por el
b-a
teorema de Rolle ha de existir un x = c entre a y b tal que, g'(c) = 0, entonces,
 f (b) - f ( a ) f (b ) - f ( a )
g ( c ) = f ( c ) - y f (c ) - = 0 luego, despejando f '(c) se
b-a b-a
f (b) - f ( a )
llega finalmente a f ( c ) = .
b-a

Observaciones
La principal dificultad de esta demostracin es encontrar la funcin que se debe
introducir, a la que hay que aplicar el teorema de Rolle para llegar al resultado que
queremos demostrar.
f (b) - f ( a )
Manipulando la expresin, f ( c ) = , obtenemos, f ( a ) - f ( c ) a =
b-a
= f ( b ) - f ( c ) b . Haciendo, g ( a ) = f ( a ) - f ( c ) a y g ( b ) = f ( b ) - f ( c ) b ,
introducimos una funcin g(x), que toma para x los valores a y b. El coeficiente
- f '(c), puede denotarse por l = - f '(c). Se tiene entonces que, la funcin buscada

sera, g ( x ) = f ( x ) + l x . Luego se ve en todo el proceso que el objetivo principal es

hallar el parmetro l para que la funcin g(x) cumpla el teorema de Rolle en el
intervalo [a, b]. Como consecuencia, se llega a la expresin del teorema del valor
medio para la funcin f (x). Hay que decir que la forma de la funcin g(x) no es nica.