Archivo del Autor: Juan Manuel Naranjo Jurado

Cálculo Diferencial e Integral I: La regla de L’Hôpital

Por Juan Manuel Naranjo Jurado

Introducción

Esta entrada es la última de la unidad, y la dedicaremos a demostrar uno de los resultados ampliamente usado en el cálculo de límites para los casos donde existen indeterminaciones de los tipos $0 / 0$ e $\infty / \infty$ ; este tipo de límites es posible resolverlos mediante de la derivada.

Teorema del Valor Medio Generalizado

Antes de probar la Regla de L’Hôpital, probaremos una generalización del teorema del valor medio, también conocido como teorema del Valor Medio de Cauchy. Para ello, primero revisemos el siguiente teorema.

Teorema. Sean $f, g : [a, b] \to R$ , tal que $f (a) = g (a) = 0$ de tal manera que $g (x) \neq 0$ para $a < x < b$ . Si $f$ y $g$ son derivables en $a$ y $g^{'} (a) \neq 0$ , entonces el límite de $f / g$ en $a$ existe y es igual a $f^{'} (a) / g^{'} (a)$ . Por tanto,

$lim_{x \to a^{+}} \frac{f (x)}{g (x)} = \frac{f^{'} (a)}{g^{'} (a)} .$

Demostración.

Puesto que $f (a) = g (a) = 0$ , el cociente $\frac{f (x)}{g (x)}$ para $a < x < b$ puede escribirse como sigue

$\frac{f (x)}{g (x)} = \frac{f (x) - f (a)}{g (x) - g (a)} = \frac{\frac{f (x) - f (a)}{x - a}}{\frac{g (x) - g (a)}{x - a}} .$

Aplicando el límite, tenemos que

$lim_{x \to a^{+}} \frac{f (x)}{g (x)} = \frac{lim_{x \to a^{+}} \frac{f (x) - f (a)}{x - a}}{lim_{x \to a^{+}} \frac{g (x) - g (a)}{x - a}} = \frac{f^{'} (a)}{g^{'} (a)} .$

Teorema del Valor Medio de Cauchy. Sean $f, g : [a, b] \to R$ , ambas funciones continuas en $[a, b]$ y derivables en $(a, b)$ , y supongamos que $g^{'} (x) \neq 0$ para todo $x$ en $(a, b)$ . Entonces existe $c$ en $(a, b)$ tal que

$\frac{f (b) - f (a)}{g (b) - g (a)} = \frac{f^{'} (c)}{g^{'} (c)} .$

Demostración.

Notemos que como $g^{'} (x) \neq 0$ para todo $x \in (a, b)$ , del teorema de Rolle se sigue que $g (a) \neq g (b)$ . Para $x$ en $[a, b]$ , definimos

$h (x) = \frac{f (b) - f (a)}{g (b) - g (a)} (g (x) - g (a)) - (f (x) - f (a)) .$

De esta forma, se tiene que $h$ es continua en $[a, b]$ , derivable en $(a, b)$ y $h (a) = h (b) = 0$ . Nuevamente, por el teorema de Rolle se sigue que existe un punto $c \in (a, b)$ tal que

$0 = h^{'} (c) = \frac{f (b) - f (a)}{g (b) - g (a)} g^{'} (c) - f^{'} (c) .$

Puesto que $g^{'} (c) \neq 0$ , podemos dividir la expresión anterior entre $g^{'} (c)$ , con lo que obtenemos

$\begin{matrix} \frac{0}{g^{'} (c)} = \frac{\frac{f (b) - f (a)}{g (b) - g (a)} g^{'} (c) - f^{'} (c)}{g^{'} (c)} . \\ \Rightarrow 0 = \frac{f (b) - f (a)}{g (b) - g (a)} - \frac{f^{'} (c)}{g^{'} (c)} . \\ ∴ \frac{f^{'} (c)}{g^{'} (c)} = \frac{f (b) - f (a)}{g (b) - g (a)} . \end{matrix}$

Regla de L’Hôpital

Demostraremos la regla de L’Hôpital empleando límites por la derecha, pero los resultados se extienden de forma análoga al límite por la izquierda.

Regla de L’Hôpital. Sean $a$ , $b \in R$ tales que $a < b$ y sean $f$ , $g$ funciones derivables en $(a, b)$ tales que $g^{'} (x) \neq 0$ para todo $x \in (a, b)$ . Supongamos que

$lim_{x \to a^{+}} f (x) = 0 = lim_{x \to a^{+}} g (x) .$

$i)$ Si $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = L \in R$ , entonces $lim_{x \to a^{+}} \frac{f (x)}{g (x)} = L .$

$i i)$ Si $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = \infty$ , entonces $lim_{x \to a^{+}} \frac{f (x)}{g (x)} = \infty .$

De forma análoga, se tiene que si $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = - \infty$ , entonces $lim_{x \to a^{+}} \frac{f (x)}{g (x)} = - \infty .$

Demostración.

Si $a < α < β < b$ , entonces el teorema de Rolle implica que $g (β) \neq g (α)$ .

Por el teorema del Valor Medio de Cauchy, existe $u \in (α, β)$ , tal que

$\begin{matrix} (1) & \frac{f (β) - f (α)}{g (β) - g (α)} = \frac{f^{'} (u)}{g^{'} (u)} . \end{matrix}$

$i)$ Por hipótesis, sabemos que $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = L$

con $L \in R$ .

Sea $ε > 0$ . entonces existe $c \in (a, b)$ tal que

$| \frac{f^{'} (u)}{g^{'} (u)} - L | < ε para u \in (a, c) .$

Usando $(1)$ , se tiene que

$| \frac{f (β) - f (α)}{g (β) - g (α)} - L | < ε para a < α < β < c .$

Además, por hipótesis sabemos que $lim_{α \to a^{+}} f (α) = 0$ y $lim_{α \to a^{+}} g (α) = 0.$ Así, de la expresión anterior se sigue que

$| \frac{f (β)}{g (β)} - L | < ε para β \in (a, c) .$

$∴ lim_{x \to a^{+}} \frac{f (x)}{g (x)} = L .$

$i i)$ Veremos el caso $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = \infty$ . El caso $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = - \infty$ es análogo. Sea $M > 0$ , Como $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = \infty .$

Entonces existe $c \in (a, b)$ tal que

$\frac{f^{'} (u)}{g^{'} (u)} > M para u \in (a, c) .$

Nuevamente, por $(1)$ se tiene que

$\frac{f (β) - f (α)}{g (β) - g (α)} > M para a < α < β < c .$

Además, por hipótesis sabemos que $lim_{α \to a^{+}} f (α) = 0$ y $lim_{α \to a^{+}} g (α) = 0.$ Así, de la expresión anterior se sigue que

$\frac{f (β)}{g (β)} > M para β \in (a, c) .$

$∴ lim_{x \to a^{+}} \frac{f (x)}{g (x)} = \infty .$

Hay diversas extensiones de la regla de L’Hôpital. En particular, enunciaremos el siguiente.

Teorema. Sean $a$ , $b \in R$ tal que $a < b$ y sean $f$ , $g$ funciones derivables en $(a, b)$ tales que $g^{'} (x) \neq 0$ para todo $x \in (a, b) .$ Supongamos que

$lim_{x \to a^{+}} f (x) = \pm \infty = lim_{x \to a^{+}} g (x)$

$i)$ Si $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = L \in R$ , entonces $lim_{x \to a^{+}} \frac{f (x)}{g (x)} = L .$

$i i)$ Si $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = \infty$ , entonces $lim_{x \to a^{+}} \frac{f (x)}{g (x)} = \infty .$

De forma análoga, se tiene que si $lim_{x \to a^{+}} \frac{f^{'} (x)}{g^{'} (x)} = - \infty$ , entonces $lim_{x \to a^{+}} \frac{f (x)}{g (x)} = - \infty .$

Procederemos ahora a revisar algunos ejemplos de límite donde aplicaremos la regla de L’Hôpital.

Ejemplo 1. Calcula el límite $lim_{x \to 1} \frac{l n (x)}{x - 1} .$

Sabemos que las funciones $f (x) = l n (x)$ y $g (x) = x - 1$ son derivables en todo su dominio, en particular podemos considerar el intervalo $(0, b)$ con $b > 1$ para ambas. Y notemos que si $g (x) = x - 1$ , entonces $g^{'} (x) = 1$ . Por lo tanto, para todo $x \in (0, b)$ se tiene que $g^{'} (x) \neq 0.$

Además como ambas funciones son continuas, se tiene que

$lim_{x \to 1} l n (x) = 0 y lim_{x \to 1} x - 1 = 0.$

Aplicando la Regla de $L^{'} H ô p i t a l$ , tenemos

$\begin{aligned} lim_{x \to 1} \frac{l n (x)}{x - 1} & = lim_{x \to 1} \frac{(l n (x))^{'}}{(x - 1)^{'}} \\ = lim_{x \to 1} \frac{1 / x}{1} \\ = 1. \end{aligned}$

Ejemplo 2. Calcula el límite $lim_{x \to 0} \frac{e^{x} - 1}{x} .$

Sabemos que las funciones $f (x) = e^{x} - 1$ y $g (x) = x$ son derivables en todo su dominio, en particular podemos considerar el intervalo $(a, b)$ con $a < 0$ y $b > 0$ para ambas. Y notemos que si $g (x) = x$ , entonces $g^{'} (x) = 1$ . Por lo tanto, para todo $x \in (a, b)$ se tiene que $g^{'} (x) \neq 0.$

Además como ambas funciones son continuas, se tiene que

$lim_{x \to 0} e^{x} - 1 = 0 y lim_{x \to 0} x = 0.$

Aplicando la Regla de $L^{'} H ô p i t a l$ , tenemos

$\begin{aligned} lim_{x \to 0} \frac{e^{x} - 1}{x} & = lim_{x \to 0} \frac{(e^{x} - 1)^{'}}{(x)^{'}} \\ = lim_{x \to 0} \frac{e^{x}}{1} \\ = e^{0} \\ = 1. \end{aligned}$

Más adelante…

En la siguiente unidad estudiaremos las aplicaciones prácticas de la derivada con lo cual podrás relacionar toda la abstracción revisada con la «realidad». Se revisará la manera en que se puede usar el cálculo en ámbitos diversos, desde física hasta economía.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Sea $f (x) = x^{2} s e n (1 / x)$ para $x \neq 0$ y $f (0) = 0$ . Sea $g (x) = s e n (x)$ para $x \in R$ . Demuestra que $lim_{x \to 0} \frac{f (x)}{g (x)} = 0$ pero que el límite $lim_{x \to 0} \frac{f^{'} (x)}{g^{'} (x)}$ no existe.
Evalúa los límites donde el cociente está definido en el dominio $(0, π / 2)$
- $lim_{x \to 0^{+}} \frac{l n (x + 1)}{s e n (x)} .$
- $lim_{x \to 0^{+}} \frac{t a n (x)}{x} .$
- $lim_{x \to 0^{+}} (\frac{1}{x} - \frac{1}{s e n (x)}) .$
- $lim_{x \to 0^{+}} \frac{l n (c o s (x))}{x} .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Teorema de Rolle y Teorema del Valor Medio
Siguiente entrada del curso: Rectas tangente y normal a una curva
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Teorema de Rolle y teorema del valor medio

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

Hasta este punto nos hemos enfocado en estudiar la derivada para distintos tipos de funciones, orientando los esfuerzos principalmente en la ejecución, en derivar tal cual. En esta entrada estudiaremos dos teoremas que nos darán visibilidad de algunas propiedades que tienen las funciones que son derivables en un intervalo abierto.

Teorema de Rolle

En el bachillerato revisaste el tema de máximos y mínimos, donde uno de los criterios que se usaban para encontrarlos era usar el hecho de que si $x_{0}$ es un mínimo o máximo local, entonces la derivada en dicho punto es cero. De momento, formalizaremos tanto la definición de máximo y mínimo local, así como el criterio de la derivada antes mencionado. Sin embargo, será en una entrada de la siguiente unidad donde daremos la demostración del criterio de la derivada, esto con la finalidad de revisarlo junto con sus aplicaciones.

Definición: Consideremos una función $f$ continua en un intervalo $I$ y $x_{0} \in (x_{0} - r, x_{0} + r) \subset I$ con $r > 0$ tal que $f^{'} (x_{0})$ existe. Decimos que:

$x_{0}$ es un máximo local de $f \Leftrightarrow$ existe $r > 0$ tal que para todo $x \in (x_{0} - r, x_{0} + r)$ ocurre que:
$f (x) \leq f (x_{0}) .$
$x_{0}$ es un mínimo local de $f \Leftrightarrow$ existe $r > 0$ tal que para todo $x \in (x_{0} - r, x_{0} + r)$ ocurre que:
$f (x_{0}) \leq f (x) .$

Teorema: Consideremos una función $f$ continua en un intervalo $I$ que es derivable en el punto $x_{0} \in (x_{0} - r, x_{0} + r) \subset I$ . Si tenemos que $x_{0}$ es un máximo o un mínimo local de $f$ , entonces $f^{'} (x_{0}) = 0.$

Ahora veremos el Teorema de Rolle que menciona que si tenemos una función $f : [a, b] \to R$ continua en $[a, b]$ y derivable en el intervalo $(a, b)$ , que satisface que $f (a) = f (b)$ , entonces existe un punto $c$ cuya derivada es cero, es decir, si la función inicia y termina en el mismo punto, entonces existe al menos un máximo o un mínimo local.

Teorema de Rolle. Sea $f : [a, b] \to R$ tal que $f$ es continua en $[a, b]$ y derivable en $(a, b)$ . Si $f (a) = f (b)$ , entonces existe $c$ , $a < c < b$ tal que $f^{'} (c) = 0.$

Demostración.

Caso 1: Para todo $x \in [a, b]$ , $f (x) = k .$

Como $f$ es constante, entonces $f^{'} (x) = 0$ para todo $x \in [a, b] .$

Así, podemos considerar $c = \frac{a + b}{2}$ . Donde se cumple que $a < c < b$ y $f^{'} (c) = 0.$

Caso 2: Existe $x_{0} \in [a, b]$ , tal que $f (x_{0}) > f (a) .$

Por el teorema del máximo-mínimo, existe $c \in [a, b]$ tal que para todo $x \in [a, b]$ se tiene que $f (x) \leq f (c) .$ Entonces,

$\begin{matrix} f (a) < f (x_{0}) \leq f (c) . \end{matrix}$

Se sigue que
$\begin{matrix} f (c) > f (a) = f (b) . \\ ∴ & c \neq a, c \neq b . \\ ∴ & c \in (a, b), a < c < b . \end{matrix}$

Por tanto, para todo $x \in [a, b]$ , se cumple que $f (x) \leq f (c)$ . Donde se concluye que $f$ es un máximo local en $c .$

Además, $f$ es derivable en $(a, b)$ . Por tanto, es derivable en $c$ . Por el teorema anterior, se concluye que $f^{'} (c) = 0.$

Caso 3: Existe $x_{0} \in [a, b]$ tal que $f (x_{0}) < f (a)$ .

Este caso es análogo al anterior.

Teorema del Valor Medio

El siguiente teorema que probaremos indica que si una función es continua en $[a, b]$ y derivable en el intervalo $(a, b)$ , entonces existe un punto $c$ cuya derivada es $f^{'} (c) = \frac{f (b) - f (a)}{b - a} .$

Lo anterior indica que existe un punto $c$ de tal manera que la pendiente de la recta tangente es la misma que la pendiente de la recta que pasa por los puntos extremos del intervalo $a$ , $b$ . Esto se puede ver gráficamente en la siguiente imagen.

Teorema del Valor Medio. Sea $f : [a, b] \to R$ continua en $[a, b]$ , derivable en $(a, b)$ , entonces existe $c$ , $a < c < b$ tal que

$f^{'} (c) = \frac{f (b) - f (a)}{b - a} .$

Demostración.

Consideremos $g (x) = f (a) + (\frac{f (b) - f (a)}{b - a}) (x - a)$ y $ρ (x) = f (x) - g (x)$ . Así, se tiene que

$ρ (x) = f (x) - (f (a) + (\frac{f (b) - f (a)}{b - a}) (x - a)) .$

Notemos que $ρ : [a, b] \to R$ , cumple que

$ρ$ es continua en $[a, b]$ pues $f$ lo es.
$ρ$ es derivable en $(a, b)$ pues $f$ lo es.
$ρ (a) = f (a) - (f (a) + 0) = 0$ y $ρ (b) = f (b) - (f (a) + f (b) - f (a)) = 0$ . Por tanto, $ρ (a) = ρ (b)$ .

Por el teorema de Rolle, existe $c$ , $a < c < b$ tal que $ρ^{'} (c) = 0$ . Veamos que

$\begin{aligned} ρ^{'} (x) & = f^{'} (x) - {((f (a) + \frac{f (b) - f (a)}{b - a}) (x - a))}^{'} \\ = f^{'} (x) - (0 + \frac{f (b) - f (a)}{b - a} (1)) \\ = f^{'} (x) - (\frac{f (b) - f (a)}{b - a}) . \end{aligned}$

$∴ ρ^{'} (x) = f^{'} (x) - (\frac{f (b) - f (a)}{b - a}) .$

Considerando que $ρ^{'} (c) = 0$ , de la expresión anterior, se sigue que

$f^{'} (c) = \frac{f (b) - f (a)}{b - a} .$

Corolario. Si para todo $x \in (a, b)$ , $f^{'} (x) = 0$ , entonces existe $k \in R$ tal que $\forall x \in [a, b]$ se tiene que $f (x) = k .$

Demostración.

Si $x = a$ , entonces $f (x) = f (a)$ . Si $x \in [a, b]$ , con $x \neq a$ , entonces $x > a$ . Aplicando el Teorema del Valor Medio en $[a, x]$ , existe $c$ , $a < c < x \leq b$ tal que

$f^{'} (c) = \frac{f (x) - f (a)}{x - a} .$

Por hipótesis, $f^{'} (c) = 0$ y $x \neq a$ , entonces

$\begin{matrix} 0 = \frac{f (x) - f (a)}{x - a} . \\ \Leftrightarrow & f (x) - f (a) = 0. \\ \Leftrightarrow & f (x) = f (a) . \end{matrix}$

Por tanto, para todo $x \in [a, b]$ , se tiene que $f (x) = k$ , con $k = f (a) .$

Corolario. Sean $f, g : [a, b] \to R$ continuas en $[a, b]$ y derivables en $(a, b)$ . Si para todo $x \in (a, b)$ , $f^{'} (x) = g^{'} (x)$ , entonces $f (x) = g (x) + k .$

Demostración.

Consideremos $h (x) = f (x) - g (x)$ , entonces se tiene que $h^{'} (x) = f^{'} (x) - g^{'} (x) = 0$ para todo $x \in (a, b) .$

Por el corolario anterior, existe $k \in R$ , constante, tal que para todo $x \in [a, b]$ se tiene $h (x) = k .$ Se sigue que

$\begin{matrix} f (x) - g (x) = k . \\ ∴ & f (x) = g (x) + k \forall x \in [a, b] . \end{matrix}$

Más adelante…

La siguiente entrada será la última de la unidad y revisaremos un potente resultado de la derivada que nos permitirá hacer el cálculo de cierto tipo de límites con mayor facilidad, este resultado es conocido como la regla de L’Hôpital.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Comprueba el teorema de Rolle en los intervalos que se muestran y halla los valores de $c$ para las siguientes funciones:
- $f (x) = x^{2} - x - 6$ en el intervalo $[- 2, 3] .$
- $f (x) = x^{2} - 4$ en el intervalo $[- 2, 2] .$
- $f (x) = \sqrt{x} - 2 \sqrt[4]{x}$ en el intervalo $[0, 16] .$
Comprueba el teorema del valor medio en los intervalos que se muestran y encuentra el valor $c$ para las siguientes funciones:
- $f (x) = \sqrt{x + 1}$ en el intervalo $[- 1, 3] .$
- $f (x) = s e n (x)$ en el intervalo $[0, π / 4] .$
- $f (x) = l n (2 x + 5)$ en el intervalo $[0, 2] .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Derivadas implícitas y de orden superior
Siguiente entrada del curso: La regla de L’Hôpital
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Derivadas implícitas y de orden superior

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

En esta entrada estudiaremos dos conceptos que probablemente te suenen familiares: las derivadas implícitas y las derivadas de orden superior. Una vez los hayamos comprendido, tendremos muchos más casos en los cuales podremos aplicar la derivada empleando todas las herramientas que se han desarrollado hasta este punto.

Derivadas implícitas

A las funciones que se pueden expresar de la forma $y = f (x)$ definidas en un intervalo las llamamos funciones explícitas; sin embargo, en ocasiones nos encontramos con funciones que no están expresadas de esta forma. Por ejemplo, en un curso de geometría analítica se estudia la ecuación que describe una parábola vertical: $4 p (y - k) = (x - h)^{2}$ . Esta forma, la llamaremos función implícita, y aunque en este caso podríamos despejar $y$ para obtener una función explícita, no siempre es posible obtenerla.

Ejemplo 1.

En el siguiente ejemplo, $y$ depende de $x$ y se busca calcular la derivada de $y$ .

$x^{3} + 2 x^{2} y + x y^{2} + y^{3} = 0.$

Aunque no tengamos una función explícita, esto no limita la posibilidad de encontrar la derivada de $y$ .

$\begin{matrix} (x^{3} + 2 x^{2} y + x y^{2} + y^{3})^{'} = (0)^{'} . \\ (x^{3})^{'} + (2 x^{2} y)^{'} + (x y^{2})^{'} + (y^{3})^{'} = 0. \\ 3 x^{2} + 2 x^{2} (y)^{'} + 2 (x^{2})^{'} y + x (y^{2})^{'} + (x)^{'} y^{2} + 3 y^{2} y^{'} = 0. \\ 3 x^{2} + 2 x^{2} y^{'} + 4 x y + 2 x y y^{'} + y^{2} + 3 y^{2} y^{'} = 0. \\ \Rightarrow 3 x^{2} + 4 x y + y^{2} + y^{'} (2 x^{2} + 2 x y + 3 y^{2}) = 0. \\ \Rightarrow y^{'} = - \frac{3 x^{2} + 4 x y + y^{2}}{2 x^{2} + 2 x y + 3 y^{2}} . \end{matrix}$

Notemos que es complicado saber respecto a que variable estamos derivando, por ello, particularmente para las derivadas implícitas es usual emplear la notación $\frac{d y}{d x} = y^{'} .$

Ejemplo 2. Obtener la derivada implícita $y^{'} = \frac{d y}{d x}$ de $x s e n (y) - c o s (2 y) = 0$ .

$\begin{matrix} \frac{d}{d x} x s e n (y) + \frac{d}{d x} c o s (3 y) = 0. \\ x \frac{d}{d x} s e n (y) + s e n (y) \frac{d}{d x} x - s e n (3 y) \frac{d}{d x} 3 y = 0. \\ x c o s (y) \frac{d y}{d x} + s e n (y) - 3 s e n (3 y) \frac{d y}{d x} = 0. \\ \frac{d y}{d x} (x c o s (y) - 3 s e n (3 y)) = - s e n (y) . \\ \frac{d y}{d x} = - \frac{s e n (y)}{x c o s (y) - 3 s e n (3 y)} . \end{matrix}$

Derivadas de orden superior

Cuando derivamos una función, tenemos como resultado una nueva función y, por tanto, se podría buscar la derivada de la misma; de esta forma, tal proceso lo podemos hacer iterativamente siempre que la derivada exista y a ello se le conoce como derivadas de orden superior. Así, tenemos la siguiente definición.

Definición. Si $f : A \to R$ es una función derivable, entonces se tiene que

$f^{'} (x) = lim_{x \to x_{0}} \frac{f (x) - f (x_{0})}{x - x_{0}} .$

La función $f^{'}$ es derivable, conocida como segunda derivada y denotada como $f^{(2)}$ , si el siguiente límite existe

$f^{(2)} (x) = lim_{x \to x_{0}} \frac{f^{'} (x) - f^{'} (x_{0})}{x - x_{0}} .$

En general, denotaremos como $f^{(n)}$ a la $n$ -ésima derivada de $f$

$f^{(n)} (x) = lim_{x \to x_{0}} \frac{f^{(n - 1)} (x) - f^{(n - 1)} (x_{0})}{x - x_{0}} .$

La definición anterior resulta bastante natural y es análoga a la definición de derivada que revisamos anteriormente. Al igual que la primera derivada, puede suceder el caso donde las derivadas de orden superior no existan.

Ejemplo 3.

$f (x) = {\begin{cases} x^{2} s e n (\frac{1}{x}) & si x \neq 0 \\ 0 & si x = 0. \end{cases}$

Notemos que si $x \neq 0$ , podemos encontrar un intervalo $I$ tal que si $x \in I$ , entonces

$f (x) = x^{2} s e n (\frac{1}{x}) .$

Lo cual implica que su derivada es

$f^{'} (x) = 2 x s e n (\frac{1}{x}) - c o s (\frac{1}{x}) .$

Para el caso particular de $x = 0$ , se tiene que

$\begin{aligned} f^{'} (x) & = lim_{x \to 0} \frac{f (x) - f (0)}{x - 0} \\ = lim_{x \to 0} \frac{x^{2} s e n (\frac{1}{x}) - 0}{x} \\ = lim_{x \to 0} x s e n (\frac{1}{x}) \\ = 0. \end{aligned}$

Por tanto, se tiene que

$f^{'} (x) = {\begin{cases} 2 x s e n (\frac{1}{x}) - c o s (\frac{1}{x}) & si x \neq 0 \\ 0 & si x = 0. \end{cases}$

Observemos que $f^{'}$ no es continua en cero, puesto que, por las propiedades de continuidad, esto implicaría que la función

$g (x) = {\begin{cases} c o s (\frac{1}{x}) & si x \neq 0 \\ 0 & si x = 0. \end{cases}$

También es continua en cero, sin embargo, esto no sucede ya que el límite de $c o s (\frac{1}{x})$ cuando $x \to 0$ no existe (demostración análoga al tercer ejemplo revisado en esta entrada previa). Como $f^{'}$ no es continua en $x = 0$ , tampoco es derivable en tal punto.

A continuación se tiene un ejemplo donde se muestra el proceso que se sigue para encontrar una derivada de orden superior.

Ejemplo 4. Obtener la cuarta derivada de la función $f (x) = l n (x) + s e n (3 x)$ .

$\begin{matrix} f^{'} (x) = \frac{1}{x} + 3 c o s (3 x) . \\ f^{(2)} (x) = - \frac{1}{x^{2}} - 9 s e n (3 x) . \\ f^{(3)} (x) = \frac{2}{x^{3}} - 27 c o s (3 x) . \\ f^{(4)} (x) = - \frac{6}{x^{4}} + 91 s e n (3 x) . \end{matrix}$

Más adelante…

En la siguiente entrada probaremos dos populares resultados de las funciones que son derivables en un intervalo: el teorema de Rolle y el teorema del valor intermedio.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Encuentra en cada caso la derivada de $y$ respecto a $x$ :
- $\frac{x + y}{x - y} = x + 4.$
- $x^{2} y^{2} = l n (x y) .$
- $y = l n (s e n (x + y)) .$
- $\frac{y}{t a n (x y)} - x = 2.$
Encuentra la tercera derivada de las siguientes funciones:
- $f (x) = 3 x^{5} + 2 x^{3} + 7 x^{2} + 1.$
- $f (x) = c o s (x^{3}) .$
- $f (x) = s e n (x) c o s (x) .$
- $f (x) = \frac{l n (x)}{\sqrt{x}} .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Derivadas de las funciones trigonométricas
Siguiente entrada del curso: Teorema de Rolle y teorema del valor medio
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Derivadas de las funciones trigonométricas

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

En esta entrada estudiaremos las derivadas de las funciones trigonométricas, para lo cual haremos uso de las propiedades revisadas al momento de definirlas, así como de las propiedades vistas al momento de estudiar sus límites. Por esta razón se recomienda repasar dichas entradas en caso de no tenerlas presentes.

Funciones trigonométricas

Daremos inicio probando que las funciones trigonométricas $s e n (x)$ , $c o s (x)$ y $t a n (x)$ son derivables en todo su dominio.

Teorema. La función $f (x) = s e n (x)$ es derivable en $R$ , más aún $f^{'} (x) = c o s (x)$ .

Demostración.

En la entrada de funciones trigonométricas se revisó la siguiente identidad:

$s e n (α + β) = c o s (α) s e n (β) + c o s (β) s e n (α) .$

De la cual haremos uso para calcular el límite:

$\begin{aligned} f^{'} (x) & = lim_{h \to 0} \frac{f (x + h) - f (x)}{h} \\ = lim_{h \to 0} \frac{s e n (x + h) - s e n (x)}{h} \\ = lim_{h \to 0} \frac{c o s (x) s e n (h) + c o s (h) s e n (x) - s e n (x)}{h} \\ = lim_{h \to 0} \frac{c o s (x) s e n (h) + s e n (x) (c o s (h) - 1)}{h} \\ = lim_{h \to 0} (\frac{s e n (h)}{h} c o s (x) + \frac{c o s (h) - 1}{h} s e n (x)) \\ = lim_{h \to 0} \frac{s e n (h)}{h} c o s (x) + lim_{h \to 0} \frac{c o s (h) - 1}{h} s e n (x) \\ = c o s (x) lim_{h \to 0} \frac{s e n (h)}{h} + s e n (x) lim_{h \to 0} \frac{c o s (h) - 1}{h} \\ = c o s (x) \cdot 1 + s e n (x) \cdot 0 \\ = c o s (x) . \end{aligned}$

$∴ f^{'} (x) = c o s (x) .$

Teorema. La función $f (x) = c o s (x)$ es derivable en $R$ , más aún $f^{'} (x) = - s e n (x) .$

Demostración.

Haremos uso de la siguiente identidad (revisada anteriormente):

$c o s (α + β) = c o s (α) c o s (β) - s e n (α) s e n (β) .$

Así, tenemos lo siguiente

$\begin{aligned} f^{'} (x) & = lim_{h \to 0} \frac{f (x + h) - f (x)}{h} \\ = lim_{h \to 0} \frac{c o s (x + h) - c o s (x)}{h} \\ = lim_{h \to 0} \frac{c o s (x) c o s (h) - s e n (x) s e n (h) - c o s (x)}{h} \\ = lim_{h \to 0} \frac{- c o s (x) (1 - c o s (h)) - s e n (x) s e n (h)}{h} \\ = lim_{h \to 0} (- \frac{1 - c o s (h)}{h} c o s (x) - \frac{s e n (h)}{h} s e n (x)) \\ = - lim_{h \to 0} \frac{1 - c o s (h)}{h} c o s (x) - lim_{h \to 0} \frac{s e n (h)}{h} s e n (x) \\ = - c o s (x) lim_{h \to 0} \frac{1 - c o s (h)}{h} - s e n (x) lim_{h \to 0} \frac{s e n (h)}{h} \\ = - c o s (x) \cdot 0 - s e n (x) \cdot 1 \\ = - s e n (x) . \end{aligned}$

$∴ f^{'} (x) = - s e n (x) .$

Teorema. La función $f (x) = t a n (x)$ es derivable en todo su dominio, más aún $f^{'} (x) = s e c^{2} (x) .$

Demostración.

$\begin{aligned} f^{'} (x) & = (t a n (x))^{'} \\ = {(\frac{s e n (x)}{c o s (x)})}^{'} \\ = \frac{(s e n (x))^{'} c o s (x) - s e n (x) (c o s (x))^{'}}{c o s^{2} (x)} \\ = \frac{c o s^{2} (x) + s e n^{2} (x)}{c o s^{2} (x)} \\ = \frac{1}{c o s^{2} (x)} \\ = s e c^{2} (x) . \end{aligned}$

$∴ f^{'} (x) = s e c^{2} (x) .$

Como corolario, se tiene que estas tres funciones revisadas también son continuas en sus respectivos dominios.

Funciones trigonométricas inversas

Revisaremos qué sucede para el caso de las funciones inversas de $s e n (x)$ y $t a n (x)$ .

Teorema. Sea $f^{- 1} (x) = a r c s e n (x)$ , entonces $(f^{- 1})^{'} (x) = \frac{1}{\sqrt{1 - x^{2}}}$ para $x \in (- 1, 1) .$

Demostración

Sea $b \in (- 1, 1)$ . Existe un único real $a \in (- π / 2, π / 2)$ tal que $f (a) = s e n (a) = b$ , es decir, $a = a r c s e n (b)$ . Por el teorema de la derivada de la función inversa, tenemos que

$\begin{aligned} (f^{- 1})^{'} (b) & = (a r c s e n (b))^{'} \\ = \frac{1}{f^{'} (a)} \\ = \frac{1}{(s e n (a)^{'})} \\ = \frac{1}{c o s (a)} . \end{aligned}$

Como $s e n^{2} (a) + c o s^{2} (a) = 1$ y $c o s (a) > 0$ pues $a \in (- π / 2, π / 2)$ , entonces se sigue que $c o s (a) = \sqrt{1 - s e n^{2} (a)}$ . Es decir $(a r c s e n (x))^{'} = \frac{1}{\sqrt{1 - b^{2}}} .$

Teorema. Sea $f^{- 1} (x) = a r c t a n (x)$ , entonces $(f^{- 1})^{'} (x) = \frac{1}{1 + x^{2}}$ para $x \in (- π / 2, π / 2) .$

Demostración.

Sea $b \in (- π / 2, π / 2)$ . Existe un único real $a \in (- π / 2, π / 2)$ tal que $f (a) = t a n (a) = b$ . Nuevamente, por el teorema de la derivada de la función inversa, tenemos que

$\begin{aligned} (f^{- 1})^{'} (b) & = (a r c t a n (b))^{'} \\ = \frac{1}{f^{'} (a)} \\ = \frac{1}{(t a n (a))^{'}} \\ = \frac{1}{s e c^{2} (a)} . \end{aligned}$

Como $s e c^{2} (a) - t a n^{2} (a) = 1$ , se tiene que $s e c^{2} (a) = 1 + t a n^{2} (a)$ . Así, de la expresión anterior se sigue que $(a r c t a n (b))^{'} = \frac{1}{1 + b^{2}} .$

Ejemplos

Ejemplo 1. Encuentra la derivada de la función $f (x) = s e n (e^{x}) c o s (x)$ .

$\begin{aligned} f^{'} (x) & = (s e n (e^{x}) c o s (x))^{'} \\ = s e n (e^{x}) (c o s (x))^{'} + (s e n (e^{x}))^{'} c o s (x) \\ = - s e n (e^{x}) s e n (x) + c o s (e^{x}) (e^{x})^{'} c o s (x) \\ = - s e n (e^{x}) s e n (x) + e^{x} c o s (e^{x}) c o s (x) . \end{aligned}$

$∴ f^{'} (x) = - s e n (e^{x}) s e n (x) + e^{x} c o s (e^{x}) c o s (x) .$

Ejemplo 2. Encuentra la derivada de $f (x) = a r c s e n (x^{2})$ .

$\begin{aligned} f^{'} (x) & = (a r c s e n (x^{2}))^{'} \\ = \frac{1}{\sqrt{1 - (x^{2})^{2}}} \cdot (x^{2})^{'} \\ = \frac{2 x}{\sqrt{1 - x^{4}}} . \end{aligned}$

$∴ f^{'} (x) = \frac{2 x}{\sqrt{1 - x^{4}}} .$

Más adelante…

En la siguiente entrada estudiaremos dos nuevos conceptos: las derivadas implícitas y las derivadas de orden superior. Éstas nos permitirán extender los casos en los cuales podemos aplicar la derivada.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Prueba las siguientes derivadas en sus respectivos dominios:
- $c o t^{'} (x) = - c s c^{2} (x) .$
- $s e c^{'} (x) = t a n (x) s e c (x) .$
- $c s c^{'} (x) = - c o t (x) c s c (x) .$
Prueba que
- $(a r c c o s (x))^{'} = - \frac{1}{\sqrt{1 - x^{2}}}$ , con $x \in (- 1, 1) .$
- $(a r c c o t (x))^{'} = - \frac{1}{1 + x^{2}}$ , con $x \in (- \infty, \infty) .$
Encuentra la derivada de las siguientes funciones
- $f (x) = \frac{1}{1 + s e n (x)} .$
- $f (x) = c o s (2 x) t a n (2 x) .$
- $f (x) = a r c s e n (\frac{x}{4}) .$
- $f (x) = a r c c o s (\sqrt{1 - x^{2}}) .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: La derivada de la función inversa
Siguiente entrada del curso: Derivadas implícitas y de orden superior
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: La derivada de la función inversa

Por Juan Manuel Naranjo Jurado

Deja un comentario

Introducción

En esta entrada estudiaremos la relación que existe entre la derivada de una función y la derivada de su función inversa (en los casos donde esta última exista). Para ello, estableceremos una restricción, enfocándonos en las funciones que son estrictamente monótonas y, usando los resultados de la continuidad de la función inversa, podremos asegurar la continuidad de sus funciones inversas.

Derivada de la función inversa

Consideremos una función que sea estrictamente monótona y continua en un intervalo $A$ , entonces se tiene que la inversa $f^{- 1}$ está definida sobre el intervalo $B = f (A)$ . Con la finalidad de relacionar ambas funciones, usaremos el hecho de que la composición de ambas genera la función identidad, es decir, $f^{- 1} (f (x)) = x$ . Además, si ambas funciones son derivables y considerando $a \in A$ y $f (a) = b \in B$ , mediante la regla de la cadena obtenemos:

$\begin{matrix} (f^{- 1} (f (a)))^{'} = a^{'} . \\ \Rightarrow & (f^{- 1})^{'} (f (a)) \cdot f^{'} (a) = 1. \\ \Rightarrow & (f^{- 1})^{'} (b) = \frac{1}{f^{'} (a)} . \end{matrix}$

Es importante destacar que para aplicar la regla de la cadena se asumió que tanto $f$ como $f^{- 1}$ son derivables. Por lo que esto no nos ayuda a probar que $f^{- 1}$ es derivable, pero nos permite tener una noción de qué debería suceder en caso de serlo.

A continuación probaremos el Teorema de Carathéodory que quedó como tarea moral en esta entrada y que nos será de utilidad más adelante.

Teorema de Carathéodory. Sea $f$ definida en un intervalo $A$ y sea $a \in A$ . Entonces $f$ es derivable en $a$ si y solo si existe una función $ρ$ en $A$ que es continua en $a$ y satisface:
$f (x) - f (a) = ρ (x) (x - a) para x \in A .$
En este caso, se tiene que $ρ (a) = f^{'} (a)$ .

Demostración.

$\Rightarrow]$ Sea $A$ un intervalo y supongamos que $f : A \to R$ es derivable en $a \in A$ .

Como $f^{'} (a)$ existe, podemos definir la siguiente función.

$ρ (x) = {\begin{cases} \frac{f (x) - f (a)}{x - a} & si x \neq a y x \in A \\ f^{'} (a) & x = a . \end{cases}$

Podemos observar que la función tiene la estructura de la definición de límite en $a$ . Además, como $lim_{x \to a} ρ (x) = f^{'} (a)$ , se concluye que $ρ$ es una función continua en $a$ . Si $x \in A$ , podemos dividir el problema en dos casos.

Caso1: $x = a$ .

Como $x = a$ , entonces tanto para $f (x) - f (a)$ como para $ρ (x) (x - a)$ se obtiene cero, por lo cual se cumple que $f (x) - f (a) = ρ (x) (x - a)$ .

Caso 2: $x \neq a$ .

Se sigue que $x - a \neq 0$ , y por tanto

$\begin{aligned} ρ (x) (x - a) & = \frac{f (x) - f (a)}{x - a} (x - a) \\ = f (x) - f (a) . \end{aligned}$

De ambos casos, se concluye que $f (x) - f (a) = ρ (x) (x - a)$ .

$\Leftarrow]$ Sea $A$ un intervalo y supongamos que existe una función $ρ$ que es continua en $a$ y que cumple $f (x) - f (a) = ρ (x) (x - a) para x \in A .$

Consideremos $x \neq a$ . Al dividir la expresión anterior entre $x - a \neq 0$ y usando el hecho de que $ρ$ es continua en $a$ , se tiene que el siguiente límite existe

$\begin{aligned} ρ (a) & = lim_{x \to a} ρ (x) \\ = lim_{x \to a} \frac{f (x) - f (a)}{x - a} . \end{aligned}$

Se concluye que $f$ es derivable en $a$ y $f^{'} (a) = ρ (a)$ .

Ahora veremos un teorema que nos indica qué sucede con la derivada de la función inversa.

Teorema. Sean $A \subset R$ un intervalo y $f : A \to R$ , tal que $f$ es estrictamente monótona y continua en $A$ . Sean $B = f (A)$ y $f^{- 1} : B \to R$ la función estrictamente monótona y continua inversa de $f$ . Si $f$ es derivable en $a \in A$ y si $f^{'} (a) \neq 0$ , entonces $f^{- 1}$ es derivable en $b = f (a)$ y

$f^{- 1} (b) = \frac{1}{f^{'} (a)} = \frac{1}{f^{'} (f^{- 1} (b))} .$

Demostración.

Para $a \in R$ , por el teorema de Carathéodory, se obtiene una función $ρ$ en $A$ tal que $ρ$ es continua en $a$ y se cumple que

$f (x) - f (a) = ρ (x) (x - a), para x \in A .$

y $ρ (a) = f^{'} (a)$ . Puesto que $ρ (a) \neq 0$ por hipótesis, existe un intervalo alrededor de $a$ donde la función no es cero, es decir, existe $V = (a - δ, a + δ)$ tal que $ρ (x) \neq 0$ para todo $x \in V \cap A$ (por el primer teorema visto en esta entrada).

Por lo anterior, si $U = f (V)$ , entonces $f^{- 1}$ satisface que $f (f^{- 1} (y)) = y$ para todo $y \in U$ , así se tiene que

$\begin{matrix} y - b = f (f^{- 1} (y)) - f (a) = ρ (f^{- 1} (y)) \cdot (f^{- 1} (y) - f^{- 1} (b)) . \\ ∴ y - b = ρ (f^{- 1} (y)) \cdot (f^{- 1} (y) - f^{- 1} (b)) . \end{matrix}$

Dado que $ρ (f^{- 1} (y)) \neq 0$ para $y \in U$ , de la expresión anterior se sigue

$f^{- 1} (y) - f^{- 1} (b) = \frac{1}{ρ (f^{- 1} (y))} \cdot (y - b) .$

Como la función $1 / (ρ \circ f^{- 1})$ es continua en $b$ , se aplica el teorema de Carathéodory para concluir que $(f^{- 1})^{'} (b)$ existe, y además

$\begin{aligned} (f^{- 1})^{'} (b) & = \frac{1}{ρ (f^{- 1} (b))} \\ = \frac{1}{ρ (a)} \\ = \frac{1}{f^{'} (a)} . \end{aligned}$

$∴ (f^{- 1})^{'} (b) = \frac{1}{f^{'} (a)} .$

Es posible relajar los supuestos hechos respecto a la función $f^{- 1}$ , con lo que se obtiene el siguiente teorema.

Teorema. Sea $f : A \to R$ estrictamente monótona en $A$ . Sea $B = f (A)$ y sea $f^{- 1} : B \to R$ la función inversa de $f$ . Si $f$ es derivable en $A$ y $f^{'} (x) \neq 0$ para $x \in A$ , entonces $f^{- 1}$ es derivable en $B$ y

$(f^{- 1})^{'} (b) = \frac{1}{(f^{'} \circ f^{- 1}) (b)}, para b \in B .$

Demostración.

Si $f$ es derivable en $A$ , entonces se tiene que $f$ es continua en $A$ y por hipótesis es estrictamente monótona, por las propiedades revisadas en esta entrada, se sigue que $f^{- 1}$ es continua en $B$ y estrictamente monótona. Por el teorema anterior, podemos concluir que

$(f^{- 1})^{'} (b) = \frac{1}{(f^{'} \circ f^{- 1}) (b)} .$

Ejemplos de la derivada de la inversa

Ejemplo 1. Encuentra la derivada en $b = 8$ de la función inversa de $f (x) = x^{5} + 4 x + 3.$

Notamos que $f$ es continua y estrictamente creciente. Además, $f^{'} (x) = 5 x^{4} + 4$ nunca es cero. Por el teorema revisado en esta entrada, su función inversa es derivable en cada punto. Si se toma $b = 8$ , entonces, considerando que $f (1) = 8$ , se obtiene que

$\begin{aligned} (f^{- 1})^{'} (8) & = (f^{- 1})^{'} (f (1)) \\ = \frac{1}{f^{'} (1)} \\ = \frac{1}{9} . \end{aligned}$

$∴ (f^{- 1})^{'} (x) = \frac{1}{9} .$

Ejemplo 2.

Consideremos $f_{n} (x) = x^{n}$ para todo $x$ si $n$ es impar. Y $f_{n} (x) = x^{n}$ para todo $x \geq 0$ si $n$ es par. Para ambos casos, $f_{n}$ es una función continua y estrictamente monótona, cuya función inversa está dada por $f_{n}^{- 1} (y) = y^{1 / n}$ .

Así, por el teorema revisado en esta entrada, para $y \neq 0$ se tiene que

$\begin{aligned} (f^{- 1})^{'} (y) & = \frac{1}{f_{n}^{'} (f_{n}^{- 1} (y))} \\ = \frac{1}{n (f_{n}^{- 1} (y))^{n - 1}} \\ = \frac{1}{n (y^{1 / n})^{n - 1}} \\ = \frac{1}{n} \cdot \frac{1}{y^{1 - 1 / n}} \\ = \frac{1}{n} \cdot y^{1 / n - 1} . \end{aligned}$

$∴ (f^{- 1})^{'} (y) = \frac{1}{n} \cdot y^{1 / n - 1} .$

Por tanto, si $f (x) = x^{a}$ y $a$ es un entero o el recíproco de un número natural, entonces $f^{'} (x) = a x^{a - 1}$ . A continuación probaremos que esto también es cierto para cualquier racional.

Sea $a = m / n$ , donde $m$ es un entero y $n$ es un número natural. Si

$f (x) = x^{m / n} = (x^{1 / n})^{m} .$

Empleando la regla de la cadena tenemos

$\begin{aligned} f^{'} (x) & = m (x^{1 / n})^{m - 1} \cdot \frac{1}{n} \cdot x^{1 / n - 1} \\ = \frac{m}{n} \cdot x^{(m / n - 1 / n) + (1 / n - 1)} \\ = \frac{m}{n} x^{m / n - 1} . \end{aligned}$

$∴ f^{'} (x) = \frac{m}{n} x^{m / n - 1} .$

Más adelante…

En la siguiente entrada probaremos que las funciones trigonométricas son derivables en su dominio y estudiaremos también qué sucede para sus funciones inversas, para lo cual emplearemos lo que se ha visto en la presente entrada.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Explica por qué es fundamental la hipótesis de que $f^{'} (a) \neq 0$ en el primer teorema revisado en esta entrada.
Para cada función $f$ , encuentra su inversa $f^{- 1}$ :
- $f (x) = x^{3} + 1.$
- $f (x) = (x - 1)^{3} .$
- $f (x) = {\begin{cases} x, & x racional \\ - x, & x irracional . \end{cases}$
Dado que la función $h (x) = x^{3} + 2 x + 1$ para $x \in R$ tiene una inversa $h^{- 1}$ en $R,$ encuentra el valor de $(h^{- 1})^{'} (y)$ en los puntos correspondientes a $x = 0, 1, - 1.$
Supón que $f$ es derivable con derivada $f^{'} (x) = (1 + x^{3})^{- 1 / 2} .$ Demuestra que $g = f^{- 1}$ satisface $g^{(2)} (x) = \frac{3}{2} g (x)^{2} .$ Nota: $g^{(2)} (x)$ hace referencia a derivar dos veces la función $g,$ es decir, $g^{(2)} (x) = (g^{'} (x))^{'} .$
Halla una fórmula para $(f^{- 1})^{(2)} .$

Entradas relacionadas

Ir a Cálculo Diferencial e Integral I
Entrada anterior del curso: Derivadas de las funciones exponencial y logarítmica
Siguiente entrada del curso: Derivadas de las funciones trigonométricas
Resto de cursos: Cursos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»