Prova
Começamos definindo , o que significa que .
Definição e diferenciação implícita:
Derivada de :
Diferenciando implicitamente em relação a :
Recíproco para encontrar :
Simplificando usando a identidade :
Então,
Expressar em termos de : A partir da identidade e sabendo que , temos . Assim,
Portanto,
Assim, a derivada de é:
Explicação
Para entender a derivada de , primeiro definimos , o que significa que é o tangente hiperbólico de . Esta relação pode ser escrita como .
A função é uma função hiperbólica, semelhante às funções trigonométricas, mas para ângulos hiperbólicos. Sua derivada em relação a é , onde é o secante hiperbólico, definido como .
Usando diferenciação implícita, diferenciamos ambos os lados de em relação a . Isso nos dá:
Para encontrar , tomamos o recíproco de :
Em seguida, simplificamos . Como , temos . Portanto,
Para expressar em termos de , usamos a identidade . Sabendo que , obtemos . Substituindo isso na identidade, obtemos:
Portanto, a derivada de é:
Q.E.D.