Prova
Queremos encontrar a derivada de . Seja . Então, por definição, .
Derivando ambos os lados em relação a :
Agora, resolvemos para :
Usando a identidade e sabendo que :
Assim, a derivada de é:
Explicação
Para encontrar a derivada de , começamos deixando . Isso significa que , representando o ângulo cuja tangente é .
Em seguida, derivamos ambos os lados da equação em relação a . A derivada de em relação a é simplesmente .
No lado direito, a derivada de em relação a é , e pela regra da cadeia, multiplicamos por , o que nos dá .
Igualando as derivadas, obtemos:
Então resolvemos para dividindo ambos os lados por :
Usamos a identidade trigonométrica . Como (da nossa definição anterior), substituímos por :
Assim, a expressão para a derivada se simplifica para:
Q.E.D.