Resumen
Esta clase deriva las funciones elementales que la clase anterior no alcanzó: el seno y el coseno, a partir de los límites trigonométricos de la unidad 1; la tangente, la cotangente, la secante y la cosecante, con las reglas del cociente y del recíproco; la exponencial natural y el logaritmo natural, a partir de sus límites notables; y las funciones hiperbólicas, a partir de la exponencial. Ninguna demostración usa la regla de la cadena ni la de la función inversa, que vienen después: en cada caso, una fórmula de suma o una ley de la exponencial o del logaritmo separa el cociente incremental en un factor que depende solo del punto y otro que es un límite ya conocido. Con estas derivadas y las reglas, la clase calcula tangentes y ángulos entre curvas trascendentes, y cumple lo anunciado en la clase anterior: la función , derivable en , tiene una derivada sin límite en .
Objetivos de aprendizaje
- Demostrar que la derivada del seno es el coseno y la del coseno es el opuesto del seno, y explicar por qué la variable se mide en radianes.
- Derivar la tangente, la cotangente, la secante y la cosecante con las reglas de la clase anterior, y precisar el dominio de cada derivada.
- Demostrar que la exponencial natural es su propia derivada y que la derivada de es , y obtener de ello las derivadas de las funciones hiperbólicas.
- Combinar las derivadas elementales con las reglas para hallar tangentes y ángulos entre curvas, y reconocer que una derivada puede no tener límite en un punto donde la función es derivable.
El seno y el coseno
La clase sobre las reglas de derivación derivó todas las funciones que se obtienen de la identidad y las constantes con las cuatro operaciones: los polinomios y las funciones racionales. El seno no es una de ellas, y su derivada debe salir de su cociente incremental. En ese cociente es , y el límite fundamental de la trigonometría, de la clase sobre el teorema del sándwich, da la derivada . Para un punto cualquiera, la fórmula del seno de una suma separa en una parte que depende solo de y otra que depende solo de ; los cocientes que quedan son dos límites del corolario de los límites trigonométricos derivados, de la misma clase: tiende a , y tiende a .
El seno y el coseno son derivables en todo , y para todo real :
Se usa la forma incremental de la derivada, de la clase sobre la derivada como límite, y las fórmulas de suma de la clase sobre las fórmulas de suma y diferencia. La figura sigue la tangente al gráfico del seno: su pendiente en cada punto es la ordenada del coseno en el mismo punto; al final, la tangente al gráfico del coseno tiene por pendiente el opuesto del seno.
Demostración
Sean un número real y . Por la fórmula del seno de una suma, el incremento del seno se separa en dos términos: uno con el factor y otro con el factor ; los factores y no dependen de .
Se divide por . Por el corolario de los límites trigonométricos derivados, los dos cocientes tienden a y a ; por el teorema del límite de una combinación lineal, del álgebra de límites, el cociente incremental tiene límite, y la forma incremental da la derivada del seno en .
Con la fórmula del coseno de una suma, , el mismo razonamiento da la derivada del coseno.
La demostración usa que la variable se mide en radianes: el límite fundamental compara el seno con la longitud del arco. Si el ángulo se midiera en grados, el seno de grados sería , y su derivada llevaría el factor (problema propuesto 1). Los radianes son, por tanto, la unidad en la que el seno tiene por derivada el coseno, sin factores. La lectura geométrica del teorema es la de la figura: el seno crece donde el coseno es positivo y tiene tangente horizontal donde el coseno se anula; la tangente al seno en el origen es la recta , y por eso, cerca de , se parece a , como ya decía la equivalencia de la clase sobre los infinitésimos equivalentes.
Cargando el contenido…