Demostración
Queremos encontrar la derivada de . Sea . Entonces, por definición, .
Tomando la derivada de ambos lados con respecto a :
Ahora, resolvemos para :
Usando la identidad y sabiendo que :
Por lo tanto, la derivada de es:
Explicación
Para encontrar la derivada de , comenzamos por dejar . Esto significa que , representando el ángulo cuya tangente es .
A continuación, diferenciamos ambos lados de la ecuación con respecto a . La derivada de con respecto a es simplemente .
En el lado derecho, la derivada de con respecto a es , y por la regla de la cadena, multiplicamos por , lo que nos da .
Igualando las derivadas, obtenemos:
Luego resolvemos para dividiendo ambos lados por :
Usamos la identidad trigonométrica . Dado que (de nuestra definición anterior), sustituimos por :
Por lo tanto, la expresión para la derivada se simplifica a:
Q.E.D.