5.

2 Teorema de Rolle
El teorema de Rolle dice lo siguiente:
Si:
es una funcin continua definida en un intervalo cerrado
es derivable sobre el intervalo abierto


Entonces: existe al menos un nmero perteneciente al intervalo tal
que .

En palabras ms sencillas, si una curva regular sale y llega a la misma altura,
en algn punto tendr tangente horizontal.
En la figura se ven tres casos distintos. Si la funcin empieza subiendo,
tendr luego que bajar para reencontrar su valor inicial, entre la subida y la
bajada, hay un punto donde la funcin alcanza un mximo, y en ste, f ' se
anula. Lo mismo sucede si la funcin empieza bajando, y f ' es nula en el
mnimo de f. El tercer ejemplo muestra que no se garantiza la unicidad de c.
Prueba
Gracias a la continuidad de f, la imagen de [a, b], conjunto conexo es un
conjunto conexo de R, y por lo tanto es un intervalo, el intervalo imagen.
La imagen por una funcin continua de un conjunto compacto es un
conjunto compacto, y por lo tanto el intervalo imagen es cerrado y de
longitud finita: es de la forma [m, M], con mel valor mnimo de f y M su
valor mximo.
Si m = M , la funcin es constante, y cualquier punto c de (a, b) conviene.
Descartado este caso, m M significa que uno de los dos no es igual a
f(a) = f(b). Supongamos que sea M. Entonces M > f(a) = f(b), y por lo tanto
el mximo M est alcanzado en el interior del intervalo (corresponde al
primer ejemplo).
Sea c en (a, b) tal que f(c) = M. Por definicin del mximo, M = f(c) f(x)
para todo x de [a, b]. Entonces el cociente (f(c) - f(x)) / (c - x) es no
negativo cuando x < c (porque su numerador es siempre no negativo y su
denominador es positivo no nulo), y es no positivo cuando x > c (el
denominador se vuelve negativo no nulo). Pero f '(c) es por definicin el
lmite de este cociente cuando x tiende hacia c. El lmite por la izquierda, f
'(c-) positivo, tiene que ser igual al lmite por la derecha, f '(c+). Por lo tanto
este lmite comn es nulo, o sea f '(c) = 0.
La prueba es muy parecida si es el mnimo que est alcanzado en (a, b).
Otra forma
De manera similar se puede considerar la siguiente prueba. Se sabe que
existen tres posibilidades: o bien la funcin que consideramos es constante, o
bien tiene algn punto x donde el valor de la funcin es es mayor o menor
mayor que en los extremos. Para el primer caso es trivial que en algn
punto la funcin tiene derivada nula (en la definicin de derivada el cociente
incremental es cero).
Para el segundo caso se puede probar lo siguiente:
Consideramos A como el conjunto imagen de f. Sabemos que A es un
compacto ya que es la imgen de una funcin continua en un compacto y por
lo tanto la funcin alcanza mximo evaluada en un punto x
0
dentro del
intervalo. Por ser la funcin derivable en (a,b), la funcin es derivable tambin
en x
0
.
Aproximamos entonces a la funcin en un entorno del punto x
0
considerando la
derivada de f, f'(x). Entonces tenemos que si la derivada es positiva, entonces hay
un entorno a la derecha de x
0
en donde los valores de f(x) son mayores a f(x
0
), lo
cual es absurdo por ser f(x
0
) = M el mximo del conjunto imagen. De manera
anloga, si la derivada fuera negativa tendramos un entorno a la izquierda de
x
0
en donde los valores de f(x) son mayores a f(x
0
), lo cual es absurdo por ser f(x
0
)
= M el mximo del conjunto imagen. La nica posibilidad que resta es que la
derivada sea nula, lo cual demuestra el teorema de Rolle. Basta tomar g(x) = -f(x)
y repetir la prueba para verificar que se verifica tambin cuando la funcin toma
algn valor por debajo de los valores funcionales de los extremos.

Teorema de Valor Medio, de Lagrange o de Incrementos Finitos
Artculo principal: Teorema del valor medio
Si:
f es una funcin continua definida en un intervalo [a, b]
f es derivable sobre el intervalo (a, b)
Entonces: existe al menos un nmero c en el intervalo (a, b) tal que :

Es decir que existe un punto en donde la tangente es paralela a
la cuerda AB.
Su prueba es sencilla, pues utiliza el teorema precedente.
Sea p la pendiente de la cuerda: p = (f(b) - f(a)) / (b - a), y se define la
funcin g(x) = f(x) - px. Entonces g(b) - g(a) = f(b) - pb - (f(a) - pa) = f(b)
- f(a) - p(b - a) = f(b) - f(a) -(f(b) - f(a)) = 0, y g como f, es continua sobre
[a, b] y derivable en su interior.
Segn el teorema anterior, existe un c en (a, b) tal que g '(c) = 0; pero
esto se escribe f ' (c) = p.

Este teorema se escribe tambin, con las mismas hiptesis: f(b) = f(a) + f
'(c)(b-a) lo que deja entrever el teorema de Taylor-Young:
f(b) = f(a) + (b-a)f '(a) + ... + (b-a)
n
/n! f
(n)
(c), con f n veces derivable
sobre (a, b)

5.4Anlisis de Variacin de funciones
Para el anlisis de variacin de funciones se ha diseado y elaborado un
"cuaderno interactivo" que, por medio de botones, permite al usuario introducir
diferentes funciones y para cada una de ellas, analizar aspectos tales como su
crecimiento, su concavidad , la determinacin de los valores mximos y valores
mnimos, as como su relacin con la derivada correspondiente.
En la tabla que sigue se observa, a la izquierda, parte del cuaderno y a la derecha
el resultado de hacer "click" en el botn de comparacin entre f y . Esta imagen
muestra la grfica de una funcin f junto con su primera derivada, destacando la
relacin que existe entre la funcin y la derivada con respecto a los valores
mximos y valores mnimos y en cuanto al crecimiento y decrecimiento de la
funcin. En forma similar, se puede activar el botn correspondiente a f y , por
medio del cual se puede apreciar la relacin entre la cocavidad del grfico de f y el
signo de .
El intervalo donde se dibuja el grfico de las funciones es escogido de manera
automtica de tal modo que incluya los puntos crticos.



Para ilustrar la relacin que existe entre el crecimiento o el decrecimiento de una
funcin con el signo de su derivada, tambin se elabor un cuaderno interactivo
que permite, por medio de un botn, animar el desplazamiento de la recta
tangente a lo largo de la grfica de la funcin, destacando la relacin que existe
entre el signo de la pendiente de la recta tangente (signo de ), y el crecimiento o
decrecimiento de la funcin.


Mximos y Mnimos Absolutos
Para reforzar el concepto de mximos y mnimos absolutos de funciones se dise
y elabor un "cuaderno interactivo" que, por medio de botones, permite al usuario
introducir una funcin y un intervalo para determinar sus valores mximos y sus
valores mnimos absolutos en el intervalo seleccionado, a la vez que permite el
clculo de las imgenes correspondientes a los puntos extremos del intervalo y los
puntos donde se alcanzan los valores mximos y mnimos relativos, permitiendo
as comparar y obtener los valores mximos y mnimos absolutos de la funcin.
En la tabla siguiente se muestra la aplicacin de este cuaderno para el caso de
una funcin especfica.


Razones Relacionadas
En este tema se resolvieron problemas elaborando animaciones que modelan las
diferentes situaciones con el fin de facilitar la comprensin del mismo por parte del
estudiante. A manera de ejemplo consideremos el siguiente problema. Dos barcos
A y B salen de un mismo punto. El barco se desplaza en direccin norte a una
velocidad de 39 millas por hora y el barco B se desplaza en direccin este a una
velocidad de 25 millas por hora. Con qu rapidez se separan los barcos 30
minutos despus? Para modelar la situacin descrita en el problema anterior se
elabor una animacin que permite ilustrar el recorrido de ambos barcos para
diferentes instantes de tiempo. Esta animacin permite al estudiante comprender
el enunciado del problema, facilitndole el planteo y la solucin del mismo.






5.6 Problemas de optimizacin y de fases relacionadas.

Es una aplicacin de la derivada efectivamente, la optimizacin se trata de por
medio del clculo averiguar la mxima o mnima capacidad que puede tener algo.
Por ejemplo, el problema ms usual es que se tiene un rectngulo de altura Y y
base X y 100mts de cable para cercarlo, y se quiere saber cul es el rea mxima
que puede abarcarse con los 100m de cable. Entonces se tiene que el permetro
est dado por: 2y + 2x y a su vez el permetro son los 100m de cable, as que 100
= 2x + 2y = 50 = x + y. Ahora despejamos en trminos de X (o Y, no importa): X =
50 - y. Pero el problema pide averiguar el rea mxima, y la frmula del rea es
base*altura, en nuestro caso. A = X * Y. Pero ya sabemos quien es X, entonces
remplazamos:

A = (50 - y) * y
A= 50y * -y^2
y sta funcin la derivamos para luego conocer su mximo absoluto:
A(y) = -2y + 50.
Hacemos cero la funcin:
-2y + 50 = 0......y = 25
Y ese resultado, lo remplazamos en la frmula del rea que es lo que se nos
solicita:
A = (50 - 25 ) * 25
A = 625
Luego, el rea mxima sern 625.

Es ms o menos la idea, aunque para ste tipo de problemas, siempre conviene
tener algn tipo de apoyo grfico para entenderlos bien.