Sunteți pe pagina 1din 7

Teorema de Rolle

Veremos a continuación el teorema de Rolle, que nos asegura (bajo ciertas condiciones)
que existirá un punto interior de un intervalo para el cual la derivada de la función vale
cero.
Antes de enunciar el teorema de Rolle, veremos algunos ejemplos gráficos.

Sea f ( x ) = x 2 + x − 2 . El dominio de esta función es D f = \ , sin embargo


analizaremos sólo el intervalo [ −2,1] .

En el gráfico anterior se observa que existe un punto interior del intervalo [ −2,1] donde
la derivada vale cero, es decir que para ese valor de x la recta tangente a la curva es
horizontal.
⎛ 1⎞
f '⎜ − ⎟ = 0
⎝ 2⎠

Se observa que en ambos extremos del intervalo la función toma el mismo valor:
f ( − 2) = f (1) . Además, la función es continua y derivable en [ −2,1] .

Consideremos ahora la función f ( x) = 1 − x 2 . El dominio de esta función es


D f = [ −1,1] .

En este ejemplo se observa que además de ser f continúa en el intervalo cerrado, se


cumple que f (−1) = f (1) y ∃/ f '( − 1) ∃/ f '(1) , pero sí existe la derivada en todos los
puntos interiores del intervalo [ −1,1] .

Teoremas: ROLLE, LAGRANGE y CAUCHY Pág. 1/7


Carlos Berejnoi
En este ejemplo también se observa que existe un punto interior del intervalo
considerado, para el que la derivada de la función vale cero.

¿Qué cosas en común presenta este ejemplo con el anterior?


- la función es continua en el intervalo cerrado considerado
- la función en los dos extremos del intervalo toma el mismo valor
- la función es derivable en todos los puntos interiores del intervalo considerado

En ambos ejemplos, existe un punto interior del intervalo considerado donde la derivada
vale cero.

La existencia de un punto donde la derivada vale cero,¿se cumplirá siempre que se


cumplan las tres condiciones mencionadas?
No se pueden sacar conclusiones generales con ejemplos, debe demostrarse a través de
un teorema. Afortunadamente, existe un teorema que responde nuestra pregunta, y es el
Teorema de Rolle, también llamado Teorema sobre las raíces de la derivada.

Teorema de Rolle:

Si f es una función continua en [ a, b ] , con derivada finita en el intervalo ( a, b ) , y


además el valor de la función en x = a es igual al valor de la función en x = b ,
entonces existe un valor c que pertenece al intervalo ( a, b ) donde la derivada vale
cero.

Hipótesis: Tesis:
• f ( x ) ∈ C[0a ,b] ∃ c ∈ (a , b) / f '(c) = 0
• ∀x ∈ ( a, b ) , ∃ f '( x)
• f (a ) = f (b)

Demostración:
1. Caso en que la función es una constante: ∀x ∈ [ a, b ] , f ( x) = k

En este caso, ∀x ∈ [ a, b ] , f '( x) = 0 , por lo tanto


queda demostrado el teorema, ya que se cumple que la
derivada es cero para todo punto interior del intervalo.

Teoremas: ROLLE, LAGRANGE y CAUCHY Pág. 2/7


Carlos Berejnoi
2. Caso en que la función no es una constante:

En este caso se podrían presentar las siguientes situaciones,


en lo que respecta al valor de x donde la función presenta
los extremos absolutos:

(a) La función tiene un valor máximo absoluto en un punto


interior del intervalo [ a, b] , mientras que en x = a y en
x = b la función presenta su mínimo absoluto.

(b) La función tiene un valor mínimo absoluto en un


punto interior del intervalo [ a, b] , mientras que en
x = a y en x = b la función presenta su máximo
absoluto.

(c) La función tiene valores mínimos y máximos


absolutos en puntos interiores del intervalo [ a, b] .

Sea f una función como la presentada en el gráfico del caso 2(a), f (a ) = f (b) = y0 , y
∀x ∈ ( a, b ) , f ( x) > y0 . Por lo tanto existen puntos interiores del intervalo donde f ( x)
es superior al valor de la función en los extremos del intervalo.

Por hipótesis sabemos que la función es continua en [ a, b] , por lo que está garantizada la
existencia de un máximo absoluto en el intervalo, es decir que existe un x = c tal
que f (c) es máximo. Por el teorema que relaciona la existencia de extremo relativo con
el valor de la derivada en el punto, como f (c) es máximo relativo y ∃ f '(c) , entonces
f '(c) = 0 .

La pregunta que surge ahora es si una función puede tener un punto interior de un intervalo
donde la derivada vale cero, y sin embargo no cumplir alguna de las partes de la hipótesis del
teorema de Rolle. La respuesta es SI, obviamente existen funciones discontinuas en un intervalo
[ a, b] , o no derivables en ( a, b ) , o donde f (a) ≠ f (b) , y sin embargo la función en un punto
interior del intervalo tiene derivada nula. Se propone al estudiante que plantee distintos ejemplos
de funciones donde se presenten estas situaciones.

Teoremas: ROLLE, LAGRANGE y CAUCHY Pág. 3/7


Carlos Berejnoi
Lo importante del teorema de Rolle es que si se cumplen las tres condiciones de la hipótesis, se
puede asegurar que en un punto interior de un intervalo la función tiene derivada nula. Este
teorema resulta útil para la demostración de otros teoremas que veremos en los siguientes
apartados.

Teorema del Valor Medio (Lagrange)


Sea f ( x ) = x 2 + x − 2 , definida en el intervalo [ −2, 2] . En este caso f ( − 2) = 0
y f (2) = 4 . Si trazamos una recta por los puntos (− 2,0) y (2,4) , la misma tendrá
4− 0
pendiente m = =1
2 − ( − 2)

¿Existirá algún punto del intervalo ( −2, 2 ) donde la recta tangente a la curva sea
paralela a la recta anterior? Es decir, ¿existirá x0 ∈ (− 2,2) donde f '( x0 ) = 1 ?

Veamos la respuesta en el siguiente gráfico, donde se graficaron la función, la recta por


los puntos (− 2,0) y (2,4) , y una recta tangente a la curva y paralela a la recta anterior.

Analíticamente: f '( x ) = 2 x + 1 , buscamos x tal que f '( x ) = 1

Por lo tanto, debemos resolver 2 x + 1 = 1

Resulta: x= 0

Se concluye que en el punto (0,− 2) la recta tangente tiene la misma pendiente que la
recta que pasa por los puntos (− 2,0) y (2,4) .

¿Siempre se podrán resolver problemas de este tipo? ¿Qué condiciones se deben


cumplir para asegurar la existencia del punto donde la recta tangente es paralela a la
recta secante? A continuación demostraremos el Teorema del Valor Medio o Teorema
de Lagrange, que responde estas preguntas.

Teoremas: ROLLE, LAGRANGE y CAUCHY Pág. 4/7


Carlos Berejnoi
Teorema del Valor Medio (Lagrange):

Si f es una función continua en [ a, b ] , y tiene derivada finita en el intervalo


( a, b ) , entonces existe un valor c que pertenece al intervalo ( a, b ) tal que
f (b) − f (a )
f ' ( c) =
b− a

Hipótesis: Tesis:
• f ( x ) ∈ C[0a ,b] f (b) − f (a )
∃ c ∈ (a , b ) / f ' ( c ) =
b− a
• ∀x ∈ ( a, b ) , ∃ f '( x)

Demostración

La ecuación de la recta secante a la curva por los


puntos A y B es:

⎛ f (b) − f (a) ⎞
y ( x) = ⎜ ⎟ . ( x − a ) + f (a)
⎝ b−a ⎠

Consideramos una función auxiliar F que mide la diferencia entre la función f y la


recta secante y para cada punto x :

F ( x) = f ( x) − y ( x)

⎡ ⎛ f (b) − f (a ) ⎞ ⎤
F ( x) = f ( x) − ⎢ ⎜ ⎟ . ( x − a ) + f (a ) ⎥
⎣⎝ b− a ⎠ ⎦

Como la función F en A y B coincide con la recta secante, F (a ) = F (b) = 0


Se puede verificar analíticamente, reemplazando x por a y por b en la expresión de
F(x):

⎡ ⎛ f (b) − f (a ) ⎞ ⎤
F (a ) = f (a ) − ⎢ ⎜ ⎟ . ( a − a ) + f (a ) ⎥ = 0
⎣⎝ b− a ⎠ ⎦
⎡ ⎛ f (b) − f (a ) ⎞ ⎤
F (b) = f (b) − ⎢ ⎜ ⎟ . ( b − a ) + f (a ) ⎥ = 0
⎣⎝ b− a ⎠ ⎦

Como f e y son continuas en [ a, b ] y derivables en ( a, b ) , la primera por hipótesis y


la segunda porque es una función lineal, resulta que la diferencia entre ambas también
es continua en [ a, b ] y derivable en ( a, b ) . Como además F (a ) = F (b) , resulta que F
cumple la hipótesis del Teorema de Rolle, y por lo tanto existirá un valor c
perteneciente al intervalo ( a, b ) tal que F '(c) = 0

Teoremas: ROLLE, LAGRANGE y CAUCHY Pág. 5/7


Carlos Berejnoi
Derivamos F :
⎛ f (b) − f (a ) ⎞
F '( x ) = f '( x ) − ⎜ ⎟
⎝ b− a ⎠

Evaluamos F' en el punto c :

⎛ f (b) − f (a) ⎞
F '(c) = f '(c) − ⎜ ⎟
⎝ b−a ⎠

Igualando a cero:

⎛ f (b) − f (a) ⎞
f '(c) − ⎜ ⎟=0
⎝ b−a ⎠

Despejando:
f (b) − f (a )
f '(c) = s.q.d.
b− a

Teorema del Valor Medio Generalizado (Cauchy)


Veremos a continuación el Teorema del Valor Medio Generalizado (T.V.M.G.), cuya
interpretación geométrica no es de interés para nuestra asignatura. Sin embargo, este
teorema nos permitirá demostrar el teorema de L’Hôpital, el cual nos permitirá resolver
0 ∞
límites indeterminados de la forma o utilizando derivadas.
0 ∞

Teorema del Valor Medio Generalizado (Cauchy):

Si las funciones f y g son continuas en [ a, b ] y derivables en ( a, b ) , con


g ' ( x ) ≠ 0 para todo punto interior del intervalo, entonces existe un valor c
perteneciente al intervalo ( a, b ) tal que
f '(c) f (b) − f (a )
=
g ' ( c) g (b) − g (a )

Demostración
Sabemos indirectamente de la hipótesis que g (a ) ≠ g (b) , ya que si sucediera que g (a ) = g (b) ,
entonces existiría un valor c ∈ (a , b) tal que g '(c) = 0 , que no es permitido por hipótesis.

Utilizaremos una función auxiliar H definida como:

Teoremas: ROLLE, LAGRANGE y CAUCHY Pág. 6/7


Carlos Berejnoi
⎛ f (b) − f (a) ⎞
H ( x ) = ( f ( x) − f (a ) ) − ⎜ ⎟ . ( g ( x) − g (a) )
⎝ g (b) − g (a) ⎠

Esta función vale cero en los extremos del intervalo:

⎛ f (b) − f (a) ⎞
H (a) = ( f (a ) − f (a ) ) − ⎜ ⎟ . ( g (a) − g (a) ) = 0
⎝ g (b) − g (a) ⎠
⎛ f (b) − f (a) ⎞
H (b) = ( f (b) − f (a) ) − ⎜ ⎟ . ( g (b) − g (a) ) = 0
⎝ g (b) − g (a) ⎠

Tenemos entonces que H (a) = H (b) , la función H es continua en [ a, b ] y derivable


en ( a, b ) . Es decir, la función H satisface las tres condiciones de la hipótesis del
teorema de Rolle, por lo que existe un punto c perteneciente al intervalo ( a, b ) tal que
H '(c ) = 0

La derivada de la función H es:


⎛ f (b) − f (a) ⎞
H '( x) = f '( x) − ⎜ ⎟ .g '( x)
⎝ g (b) − g (a) ⎠

Evaluando la derivada en x = c resulta:


⎛ f (b) − f (a) ⎞
H '(c) = f '(c) − ⎜ ⎟ .g '(c)
⎝ g (b) − g (a) ⎠

Igualando a cero y despejando:


f '(c) f (b) − f (a )
= s.q.d.
g '(c) g (b) − g (a )

Teoremas: ROLLE, LAGRANGE y CAUCHY Pág. 7/7


Carlos Berejnoi

S-ar putea să vă placă și