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
punto c (a, b) tal que f (c) 0 .

f (a) f (b) , entonces existe algn

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:
2

La funcin f (x) x 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) 2x 1 0

x 1/ 2 . Este es el valor c que asegura el teorema.

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

x
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

Ejemplo:

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

f (1) f (2) f (c) .
1 tal que

1 (2)
2

En efecto:

5 3x 6 3 3x 6
4

1 (2)

x 1 x = 1, x = 1.

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)
De

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)

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:
f (100) 2 f (100 2)
f (102)

102

100 2

, pues f (x)

2 100 2

1
2 x

1
1
1
Como f (100 2)

0,05 , el valor aproximado pedido ser:

2 100 2 2 100 20
1
102 100 2
10 + 2 0,05 = 10,1
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 ( verifican que f (x) g(x) para todo x de un intervalo, entonces

x)
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.

 Teorema de Cauchy
Si f ( x) y g ( son continuas en [a, b] y derivables en (a, b), y si g(b) g(a) y f (x) y
x)
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
g(c)
(a)
APLICACIN AL CLCULO DE LMITES. REGLA DE LHPITAL
Indeterminaciones:
En el clculo de lmites pueden aparecer siete expresiones (formas) indeterminadas. Son:

0
0
0

[0 ]
[ ] [1 ]
[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,
xa

xa

f ( x)
f (x)
f (x)
, se cumple que lm
= lm
xa g(x)
xa g (
xa g(x)
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:

x0 x
0
senx 0
cos x 1
lm

lm
1.
x0 x
x0 1
0
1
senx 0
cos xx xsenx
ERROR: lm

lm
(?) OJO: no se hace la derivada del
2
x0
x0 x
0
x
cociente.
3tag 2 x tagx 2 0 (recuerda que tag(/4) = 1)
lm

2tag 2 x 5tagx 3 0
Aplicando LH se tiene:
x / 4

lm

3tag x tagx22

6tagx (1 tag x) 1 tag x

lm
x / 4

2tag x 5tagx

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

10
2

f (x)
, se cumple que
lm
xa g(x)

Regla de LHpital para resolver la indeterminacin

Si lm

xa

f ( x) y lm g ( x) , entonces, si
existe
xa

f ( x)
f (x)
lm
= lm
xa g (
xa g(x)
x)
+
(Esto es vlido si a se sustituye por a , a , +, o .)
Ejemplos:
1
1

x

lm

lm

x ln x
x 1/ x

2
lm 2 x lm 2

0
x e x
x e x
x e x

lm

Resolucin de las formas [0 ] y [ ]

0 o

Para resolverlas se reducen, operando previamente, a alguna de las formas

Ejemplos:
lm(1 cos x) cot agx 0 . (Recuerda que cotag 0 = 1/tag 0 = 1/0 = )

x0

Sustituyendo cotag x por 1/tag x se tiene:

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

0
x0
x0 1 tag x
x0
tagx
0
1

1
1
lm x
= [ ].

x0 e
1 x
Haciendo la resta indicada se tiene:
x
1
1
1
xe 0
0
x e
1

lm
=
= (LH) = lm
=
= (LH) =
= lm

x
x
x
x
x0 e x e
x x0 (e 1) 0
x0 e 1
0
x
x
1

e
1
= lm x

x0 e x 2e x
2

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

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

lm

xa

0
lm f ( x) 0 0 , o lm
xa f ( x) ) se calcular, si se puede, el

xa

, o

f ( x) 1

lm ln( f ( x)) . Con

xa

lmite
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
lm f ( x) e L .
xa
vale
xa

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

xa
ln
f
xa
L

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

0
0
[1 ], [0 ] y [ ] a la forma [0 ]. Vase un caso: ln[1 ] L 1 [ 0])
Ejemplos:
x
x
1
1

lm 1

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

x
x
x
x
x
x

x
1

1
ln 1
1
x
1
0

x

= (transformando) = lm
lm
= (LH) = x
lm
1.
x
x
1
1
1
0
1
2
x
x
x

1
1
lm 1 e
e
Por tanto,
x
x

NOTA: Este resultado se toma como definicin de e.

x
0 Aplicando logaritmos:
x

lm x 0
lm ln x lm x ln x 0() =

x0

x0

= (transformando) =
x

Por tanto,

lm x e 1
.

lm ln x
x0

1/ x

x0

1/ x
(LH ) lm

x0 1/ x
2

lm ( x) 0
x0

x0

lm x 4
2

1 / ln x

Aplicando logaritmos:

lm ln x 2 4
ln

1/

lm

lnx 4 lm
2

ln x 4

= (LH) =

x
ln x
ln x

2 x /( x2 4)
2 x2
4x

lm
lm
= (LH) lm
2

2
x
= =
1/ x
x 2x
x 4

x
x

Por tanto, lm x 2 4
x

1 / ln x