Démonstration
Nous commençons par définir , ce qui signifie .
Définition et différentiation implicite :
Dérivée de :
Différentiation implicite par rapport à :
Réciproque pour trouver :
Simplification en utilisant l’identité :
Donc,
Exprimer en termes de : À partir de l’identité et sachant que , nous avons . Ainsi,
Donc,
Ainsi, la dérivée de est :
Explication
Pour comprendre la dérivée de , nous définissons d’abord , ce qui signifie que est le tangente hyperbolique de . Cette relation peut être écrite comme .
La fonction est une fonction hyperbolique, semblable aux fonctions trigonométriques mais pour les angles hyperboliques. Sa dérivée par rapport à est , où est la sécante hyperbolique, définie comme .
En utilisant la différentiation implicite, nous dérivons les deux côtés de par rapport à . Cela nous donne :
Pour trouver , nous prenons le réciproque de :
Ensuite, nous simplifions . Étant donné que , nous avons . Donc,
Pour exprimer en termes de , nous utilisons l’identité . Sachant que , nous obtenons . En substituant cela dans l’identité, nous obtenons :
Par conséquent, la dérivée de est :
C.Q.F.D.