Démonstration
Soit . Pour trouver la dérivée, nous utilisons la définition du logarithme naturel :
Réécrivons comme .
Différencions les deux côtés par rapport à :
Cela donne :
En résolvant pour :
Remplaçons :
Ainsi, la dérivée de est :
Explication
La fonction logarithme naturel, , est l’inverse de la fonction exponentielle . Pour trouver la dérivée, nous commençons par poser . Cela signifie que peut être exprimé comme .
En différenciant les deux côtés par rapport à , le côté gauche devient simplement . Pour le côté droit, en utilisant la règle de la chaîne, la dérivée de par rapport à est .
En égalant ces expressions, on obtient l’équation . Nous résolvons alors pour , ce qui implique de diviser les deux côtés par . Cela se simplifie en .
Enfin, comme (d’après notre substitution initiale), nous pouvons substituer à nouveau pour obtenir .
Par conséquent, la dérivée de est .
CQFD