Teorema de Rolle

Enunciamos el Teorema de Rolle y damos 5 ejemplos. En el quinto se demuestra el teorema.

Teorema 1. (De Rolle) Sea f : [a, b] R una funcion. Supongamos que se
verifica:
(i ) f es continua en [a, b].
(ii ) f es derivable en (a, b).
(iii ) f (a) = f (b).
Entonces, existe al menos un c (a, b) tal que f 0 (c) = 0.
Nota Los valores de c corresponden a los puntos de la grafica de y = f (x)
para los cuales la tangente es horizontal.
1. Verificar la validez del Teorema de Rolle para la funcion f (x) = x3 +
4x2 7x 10 en el intervalo [1, 2]. Hallar el c o los c correspondientes.
Resoluci
on Veamos que se verifican las hipotesis del teorema. (i ) f es evidentemente continua en [1, 2] (teoremas de continuidad de las funciones elementales). (ii ) f es derivable en (1, 2) (teoremas de derivacion de funciones
elementales) siendo su derivada f 0 (x) = 3x2 + 8x 7. (iii ) f (1) = . . . = 0
y f (2) = . . . = 0 , tenemos por tanto f (1) = f (2).
Como consecuencia del Teorema de Rolle existe al menos un c (1, 2) tal
que f 0 (c) = 0. Procedamos a hallar estos valores de c :

8 148
8 2 37
4 37
=0
=0c=
=
=
6
6
3

4 + 37
4 37
Por tanto c =
0,69 o c =
3,36 . El primer c
3
3
pertenece al intervalo (1, 2) y el segundo, no.
f 0 (c)

3c2 + 8c 7

4 + 37
Solucion: c =
3

2. Verificar la validez del Teorema de Rolle para la funcion f (x) = log(sin x)

en el intervalo [/6, 5/6]. Hallar el c o los c correspondientes.
Resoluci
on Veamos que se verifican las hipotesis del teorema. (i ) Para todo
x [/6, 5/6] tenemos sin x > 0 por tanto f (x) = log(sin x) esta definida
en dicho intervalo y es continua por el teorema de continuidad de las funciones elementales. (ii ) f es derivable en (/6, 5/6) (teoremas de derivacion de
funciones elementales) siendo su derivada f 0 (x) = cos x/ sin x. (iii ) f (/6) =
log sin(/6) = log(1/2) y por otra parte f (5/6) = log sin(5/6) = log(1/2)
por tanto f (/6) = f (5/6).
Como consecuencia del Teorema de Rolle existe al menos un c (/6, 5/6)
tal que f 0 (c) = 0. Procedamos a hallar estos valores de c :
f 0 (c) = 0

cos c

= 0 cos c = 0 c =
sin c
2

Este valor de c pertenece al intervalo (/6, 5/6).

Solucion: c =

3. Aplicar el Teorema de Rolle para demostrar que para todo m R la

ecuaci
on 2x5 + x + m = 0 no puede tener dos soluciones reales.
Resoluci
on Supongamos que la ecuacion dada tuviera dos soluciones reales
a, b con a < b. Consideremos la funcion f (x) = 2x5 + x + m definida en
el intervalo [a, b]. Entonces, tendramos f (a) = f (b) = 0 y es claro que f
cumple las otras dos hip
otesis del Teorema de Rolle. En consecuencia existira un c (a, b) tal que f 0 (c) = 0, es decir existira un c (a, b) tal que
10c4 + 1 = 0. Pero esto es absurdo pues el primer miembro es un n
umero
mayor que 0.
Por tanto, si suponemos que la ecuacion dada tiene dos soluciones reales
llegamos a un absurdo. Se concluye pues que la ecuacion no puede tener dos
soluciones reales.

4. (Propuesto en examen de Calculo, Ingeniera de Montes de la UPM)

Sea f : [3, 5] R una funcion continua que es derivable en (3, 5) y tal que
f (3) = 6 y f (5) = 10.
f (x)
.
x
(3, 5) tal que g 0 (x0 ) = 0. Deducir que

(a) Consideremos la funcion g : [3, 5] R definida por g(x) =

Demostrar que existe un x0
f 0 (x0 )x0 f (x0 ) = 0.

(b) Demostrar que entre todas las rectas tangentes a la grafica de f , al menos
una de ellas pasa por el origen de coordenadas.
(c) Sea [a, b] un intervalo que no contiene al 0. Sea h : [a, b] R una
h(a)
h(b)
funci
on continua que es derivable en (a, b) y tal que
=
. Demostrar
a
b
que existe un x0 (a, b) tal que la tangente a la grafica de h en el punto
(x0 , h(x0 )) pasa por (0, 0).
Resoluci
on (a) Veamos que la funcion g cumple las hipotesis del Teorema
de Rolle.
(i ) g es continua en [3, 5] pues es cociente de continuas y el denominador no
se anula en [3, 5].
(ii ) g es derivable en (3, 5). Efectivamente, g 0 (x) = (xf 0 (x) f (x))/x2 con
x2 6= 0 en (3, 5).
(iii ) g(3) = f (3)/3 = 6/3 = 2, g(5) = f (5)/5 = 10/5 = 2, es decir
g(3) = g(2).
Existe pues x0 (3, 5) tal que g 0 (x0 ) = (x0 f 0 (x0 ) f (x0 ))/x20 = 0. Como
x20 6= 0 concluimos que x0 (3, 5) tal que f 0 (x0 )x0 f (x0 ) = 0.
(b) La ecuaci
on de la recta tangente a una curva y = f (x) en el punto
de abscisa x0 es r y y0 = f 0 (x0 )(x x0 ). Si x0 es el correspondiente al
apartado anterior entonces la recta r pasa por el origen de coordenadas pues
para x = y = 0 obtenemos la relacion f (x0 ) = f 0 (x0 )(x0 ) o equivalentemente f 0 (x0 )x0 f (x0 ) = 0, igualdad que se cumple seg
un lo ya demostrado.
(c) Veamos que se verifican las hipotesis del Teorema de Rolle para la funci
on = h(x)/x en el intervalo [a, b].

(i ) es continua en [a, b] pues es cociente de funciones continuas y el denominador no se anula (por hipotesis 0 6 [a, b]).
(ii ) es derivable en (a, b) pues 0 (x) = (xh0 (x) h(x))/x2 con x2 =
6 0 en
(a, b).
(iii ) Tenemos por hip
otesis h(a)/a = h(b)/b por tanto (a) = h(a)/a =
h(b)/b = (b).
Existe pues un x0 (a, b) tal que 0 (x0 ) = 0 o bien (x0 h0 (x)0 h(x0 ))/x20 o
bien x0 h0 (x0 ) h(x0 ) = 0 (pues x20 6= 0).
La ecuaci
on de la recta tangente a la grafica de h en este mismo x0 es
y h(x0 ) = h0 (x0 )(x x0 ). Pasa por (0, 0) pues 0 h(x0 ) = h0 (x0 )(0 x0 )
equivale a x0 h0 (x0 ) h(x0 ) = 0.

5. Demostrar el Teorema de Rolle

Resoluci
on Por el teorema de Weierstrass, la funcion f tiene un maximo y un
mnimo absolutos en el intervalo [a, b]. Si ambos se alcanzan en los extremos
del intervalo, llamemos K = f (a) = f (b.) Entonces K f (x) K para
todo x [a, b] lo cual implica que f (x) = K (funcion constante en [a, b]) y
en consecuencia f 0 (c) = 0 para todo c (a, b). Si alguno de ellos se alcanza
en un c (a, b) entonces tenemos en c un extremo relativo, con lo cual
f 0 (c) = 0. Queda pues demostrado el teorema.


Autor: Fernando Revilla