Considere una función continua y diferenciable , que corta al eje
en
y
. Suponga que
es creciente en
. Dado que es continua, su gráfica tiene que subir, alcanzar un máximo y luego bajar para cortar el eje
nuevamente en
. Debido a que la función es diferenciable en el intervalo
, existe al menos un punto
en ese intervalo tal que la recta tangente a la gráfica de la función es horizontal. Esto es,
.
Desde luego, es posible que haya más de un punto en el intervalo que satisfaga
. A partir de este argumento, es fácil entender el siguiente teorema.
Teorema
Si







A partir de la representación geométrica de este teorema, se puede deducir una conclusión más general: para cualquier función continua y diferenciable que satisfaga
(donde
, y
no es necesariamente cero), entonces
para al menos un valor
.
Ejemplo 3.4.1
Muestre que la ecuación no puede tener más de dos raíces reales.
Sea . Primero observe que
, y que
. Por lo tanto, dado que la función es polinomial y el dominio de cualquier función polinomial es el conjunto de los números reales, se deduce que esta función tiene una raíz entre
y
.
El cambio en la concavidad de la función indicará si hay más de dos raíces. Para saber si la gráfica de la función es cóncava hacia arriba o hacia abajo, se usa el signo de la segunda derivada. La primera y la segunda derivada de esta función son, respectivamente:
es fácil ver que . Solo hay un punto crítico real (las otras dos raíces son números complejos:
y
.) El teorema de Rolle sugiere que puede haber otra raíz real, dependiendo de la concavidad de la gráfica de la función.
El signo de la segunda derivada en ,
, es positivo. Esto indica que la gráfica de la función es cóncava hacia arriba en el punto crítico y, por lo tanto, es un mínimo. Entonces, dado que
es negativo, la función polinomial tiene otra raíz real (en total 2 hasta ahora).
Como es positivo en todas partes (excepto en
) no hay cambio en la concavidad de la gráfica de la función, lo que indica que la función polinomial no tiene más raíces reales.
Para un caso más general del teorema de Rolle, considere una función continua y diferenciable en el intervalo cerrado
. Suponga que en este caso,
y
no son necesariamente cero. La pendiente de la línea secante que pasa por los puntos
y
es:
Debido a que la función es continua y diferenciable en el intervalo, hay al menos un punto en el que la recta tangente a la gráfica de la función es paralela a la secante. Es decir,
Gráficamente,
Concepto
Si

![Rendered by QuickLaTeX.com [a, b]](https://www.aprendematematicas.org.mx/wp-content/ql-cache/quicklatex.com-e048d77aac7f60f8b1f7b9996d27bf4f_l3.png)



Ejemplo 3.4.2
La media logarítmica de los números positivos
y
se define como:
para . Da una interpretación geométrica de este número y calcula el valor de la media logarítmica cuando
.
De la definición de media logarítmica, se sabe que es el recíproco de la pendiente de la recta secante que pasa por los puntos
y
. Para evitar la división entre cero, se requiere que tanto
como
sean números positivos y distintos entre sí.
Por el teorema del valor medio del cálculo diferencial, existe un número en el intervalo
para el cual
es igual a la pendiente de la recta secante que pasa por los puntos
y
.
La derivada de la función , es
. Evaluando en
, y aplicando el teorema del valor medio del cálculo diferencial, se tiene que
Esto es, el recíproco de es igual a la pendiente de la recta secante que pasa por los puntos
y
. Resolviendo para
, se obtiene:
Esto indica que es la media logarítmica. Por el teorema del valor medio sabemos que
está en el intervalo
.
Cuando , la recta secante se convierte en la recta tangente, por lo que en este caso, la media logarítmica es igual al recíproco de la pendiente de la recta tangente a la gráfica de la función
en
. Es decir, la media logarítmica de
y
cuando
es
Cabe mencionar que la media logarítmica se define para números positivos (porque el dominio de la función son todos los números reales positivos), por lo que, a pesar de que
está definida para
, al igual que para
, no se suelen considerar estos valores.
El teorema del valor medio del cálculo diferencial puede usarse para justificar la regla de L’Hôpital.
Add a note