Démonstration
Nous voulons trouver la dérivée de . Soit . Alors, par définition, .
Prenons la dérivée des deux côtés par rapport à :
Maintenant, nous résolvons pour :
En utilisant l’identité et sachant que :
Ainsi, la dérivée de est :
Explication
Pour trouver la dérivée de , nous commençons par poser . Cela signifie que , représentant l’angle dont la tangente est .
Ensuite, nous dérivons les deux côtés de l’équation par rapport à . La dérivée de par rapport à est simplement .
Du côté droit, la dérivée de par rapport à est , et selon la règle de la chaîne, nous multiplions par , ce qui nous donne .
En égalant les dérivées, nous obtenons :
Nous résolvons ensuite pour en divisant les deux côtés par :
Nous utilisons l’identité trigonométrique . Puisque (d’après notre définition précédente), nous remplaçons par :
Ainsi, l’expression pour la dérivée se simplifie à :
C.Q.F.D.