Matemticas II

Teoremas del valor medio y regla de LHpital

TEOREMAS DEL VALOR MEDIO

Teorema de Rolle

Si f (x) es continua en [a, b] y derivable en (a, b), y si f (a) f (b) , entonces existe algn
punto c (a, b) tal que f (c) 0 .
Interpretacin geomtrica: existe un punto al menos de ese intervalo, en el que la
tangente a la curva es horizontal.

En ese punto c (en alguno de ellos si hay varios) se da el mximo o el mnimo de f (x) en ese
intervalo.
Ejemplos:

La funcin f ( x) x 2 x 2 verifica las hiptesis del teorema de Rolle en el intervalo

[2, 1], pues:
es continua y derivable en todo R; en particular en el intervalo [2, 1].

f (2) 4 y f (1) 4 . Esto es, toma el mismo valor en los extremos del intervalo.
En consecuencia, existe un punto c (2, 1) en el que su derivada vale 0: f (x) 2 x 1 0
x 1 / 2 . Este es el valor c que asegura el teorema.

La funcin f ( x) 1 x no satisface las condiciones del teorema de

Rolle en el intervalo [1, 1], pues no es derivable en el punto x = 0 de
ese intervalo.

Teorema del valor medio (Lagrange)

Si f (x) es continua en [a, b] y derivable en (a, b), entonces existe algn punto c (a, b) tal
f (b) f (a)
f (c) .
que
ba
Interpretacin geomtrica: existe un punto perteneciente al
intervalo en el que la tangente a f (x) es paralela a la secante
que pasa por los puntos de abscisa a y b.
De otro modo: existe un punto del intervalo en el que la tasa
de variacin instantnea coincide con la tasa de variacin
media de todo el intervalo.
Interpretacin fsica: si se realiza un trayecto a velocidad media v, en algn instante de
ese trayecto se ha llevado esa velocidad v.

Jos Mara Martnez Mediano

Matemticas II

Teoremas del valor medio y regla de LHpital

Ejemplo:

La funcin f ( x) x 3 6 x es continua y derivable en el intervalo [2, 1] c, 2 < c <

f (1) f (2)
1 tal que
f (c) .
1 (2)
54
En efecto:
3x 2 6 3 3x 2 6 x 2 1 x = 1, x = 1.
1 (2)
El valor que cumple el teorema es x = 1, el nmero que pertenece a (2, 1)

Diversas formas de expresin del teorema

f (b) f (a)
f (c) f (b) f (a) f (c)(b a)
ba
Si se toma x (a, b) puede escribirse:
f ( x) f (a) f (c)( x a) , con c (a, x)
Si se hace b = a + h, se tendr:
f (a h) f (a) h f (c) , c (a, a + h)
Si se toma x = a + h, se tendr:
f ( x) f (a) h f (a h) , 0 < < 1, c (a, x)
De

Ejemplo:

Aplicamos el teorema de los incrementos finitos al clculo aproximado de 102 .

Si se toma f ( x) x , para x = 102, a = 100 y h = 2, se tiene:
1
1
, pues f (x)
f (102) f (100) 2 f (100 2) 102 100 2
2 100 2
2 x
1
1
1
Como f (100 2)

0,05 , el valor aproximado pedido ser:

2 100 2 2 100 20
1
10 + 2 0,05 = 10,1
102 100 2
2 100 2
NOTAS: 1. El valor obtenido con la calculadora es: 102 10,0995... La aproximacin es
muy buena.
2. Puede observarse que aplicando la diferencial (vase) se llega al mismo resultado.
Algunas consecuencias ms
A partir de cualquiera de estas expresiones pueden demostrarse fcilmente algunas
propiedades de uso frecuente. Entre ellas:
1. Si una funcin f (x) es tal que f (x) 0 para todo x de un intervalo, entonces
f (x) es constante en el intervalo.
Si f (x) 0 , de f ( x) f (a) f (c)( x a) f ( x) f (a) = cte.
2. Si f (x) y g (x) verifican que f (x) g(x) para todo x de un intervalo, entonces
f (x) y g (x) se diferencian en una constante. (Pues f g cumple que f g= 0)
3. Si una funcin f (x) es tal que f (x) 0 para todo x de un intervalo, entonces
f (x) es creciente en el intervalo.
Si f (x) 0 , de f (a h) f (a) h f (c) f (a h) f (a)
Anlogamente, si f (x) 0 para todo x de un intervalo, entonces f (x) es decreciente
en el intervalo.

Jos Mara Martnez Mediano

Matemticas II

Teoremas del valor medio y regla de LHpital

Teorema de Cauchy

Si f (x) y g (x) son continuas en [a, b] y derivables en (a, b), y si g (b) g (a) y f (x) y
f (b) f (a) f (c)

g(x) no son ceros a la vez, entonces, existe un punto c (a, b) tal que
g (b) g (a) g(c)
Otra forma del teorema:
Con las mismas hiptesis, si tomamos a < x < b, existe un punto c (a, x) tal que
f ( x) f (a) f (c)
f ( x) f (a)g(c) f ( x) g (a) f (c)

g ( x) g (a) g(c)
APLICACIN AL CLCULO DE LMITES. REGLA DE LHPITAL
Indeterminaciones:
En el clculo de lmites pueden aparecer siete expresiones (formas) indeterminadas. Son:
0
[ ] [1]
[00]
[0]
0 [0 ]
Las dos primeras pueden resolverse aplicando la regla de LHpital; las otras cinco formas
habr que transformarlas previamente para poder aplicar dicha regla.

0
Regla de LHpital para resolver la indeterminacin
0
Supongamos que lm f ( x) 0 y lm g ( x) 0 , siendo g(x) 0 en un entorno de a, entonces,

x a

x a

f (x)
f ( x)
f (x)
, se cumple que lm
= lm
xa g ( x )
xa g(x )
xa g(x )
+
(Esto es vlido si a se sustituye por a , a , +, o .)
si existe lm

NOTA: La regla dice que el lmite de un cociente es igual al lmite del cociente de las
derivadas; y NO al lmite de la derivada del cociente.
Ejemplos:
senx 0

lm
aplicando la regla de LHpital (LH) se tiene:
x 0 x
0
senx 0
cos x 1
lm
lm
1.
x 0 x
1
0 x0 1
senx 0
cos xx xsenx
lm
(?) OJO: no se hace la derivada del
ERROR: lm
x 0 x
x2
0 x0
cociente.
3tag 2 x tagx 2 0
lm
(recuerda que tag(/4) = 1)

x / 4 2tag 2 x 5tagx 3
0
Aplicando LH se tiene:
3tag 2 x tagx 2 0
6tagx (1 tag 2 x) 1 tag 2 x
10
lm
lm

5
2
2
2
x / 4 2tag x 5tagx 3
2
0 x / 4 4tagx (1 tag x) 5(1 tag x)

Jos Mara Martnez Mediano

Matemticas II

Teoremas del valor medio y regla de LHpital

Regla de LHpital para resolver la indeterminacin

f (x)
Si lm f (x) y lm g (x) , entonces, si existe lm
, se cumple que
x a
x a
xa g(x )
f ( x)
f (x)
= lm
lm
xa g ( x )
xa g(x )
(Esto es vlido si a se sustituye por a+, a, +, o .)
Ejemplos:
x
1
1

lm
lm

x ln x
x 1 / x 0

x2
2x
2
2
lm x lm x 0
x e x
x

e
e

lm

Resolucin de las formas [0 ] y [ ]

0
Para resolverlas se reducen, operando previamente, a alguna de las formas o
0
Ejemplos:
lm (1 cos x) cot agx 0 . (Recuerda que cotag 0 = 1/tag 0 = 1/0 = )

x 0

Sustituyendo cotag x por 1/tag x se tiene:

lm (1 cos x) cot agx 0 lm

x 0

x 0

1 cos x 0
senx
0
( LH ) lm
0
2
x

0
tagx
1 tag x 1
0

1
1
lm x
= [ ].
x 0 e 1
x
Haciendo la resta indicada se tiene:
1 ex
x ex 1 0
1
1
0
= = (LH) = lm x
= = (LH) =
lm x
= lm x
x
x 0 e x e 1 0
x 0 e 1
x x0 (e 1) x 0

ex
1

x 0 e x x 2e x
2

= lm

Jos Mara Martnez Mediano

Matemticas II

Teoremas del valor medio y regla de LHpital

Resolucin de las formas [1], [00] y [0]

Si al intentar calcular lm f (x) aparece alguna de estas formas (esto es: lm f (x) 1 , o
xa

x a

lm f ( x) 0 0 , o lm f ( x) 0 ) se calcular, si se puede, el lmite lm ln( f ( x)) . Con

x a

x a

xa

esto, la indeterminacin inicial se transforma en otra del tipo [0 ], que se resolver como se
ha indicado antes.
Una vez resuelto, si lm ln( f ( x)) L , se tiene que el lmite buscado vale lm f ( x) e L .
xa

x a

NOTAS: 1. Los lmites cumplen la siguiente propiedad: lm ln f ( x) ln lm f ( x) .

xa

x a
L
p
2. Recurdese la definicin de logaritmo, ln A = L A = e ; y la propiedad: ln(B ) = p ln B.
(Aunque resulte matemticamente chirriante, esta propiedad justifica el paso de las formas
[1], [00] y [0] a la forma [0 ]. Vase un caso: ln[1] L 1 [ 0])
Ejemplos:
x

1
lm 1 1
x
x

1
1
Aplicando logaritmos: lm ln 1 lm x ln 1 0 =
x
x
x
x

1
x2
1
1
ln 1
1
x 0
x lm 1 1 .
= (LH) = lm
= (transformando) = lm
x
x

x
1
1
1
0
2
1
x
x
x
x

1
Por tanto, lm 1 e1 e
x
x

NOTA: Este resultado se toma como definicin de e.

lm x x 0 0

x 0

Aplicando logaritmos: lm ln x x lm x ln x 0() =

x 0

= (transformando) = lm
x 0

x 0

ln x
1/ x
( LH ) lm
lm ( x) 0
x

0
1/ x
1 / x 2 x 0

Por tanto, lm x x e 0 1 .
x 0

lm x 2 4
x

1 / ln x

Aplicando logaritmos:

1
ln x 2 4
ln x 2 4 lm
= (LH) =
x
x ln x
x
ln x

2
2
2 x /( x 4)
2x
4x

lm 2
= (LH) = lm
2
= lm
x

x
x

2x
1/ x
x 4
lm ln x 2 4

1 / ln x

Por tanto, lm x 2 4
x

1 / ln x

lm

e2

Jos Mara Martnez Mediano