Fonction logarithme/Définition du logarithme néperien
À ce niveau, il y a deux manières d’aborder la fonction logarithme népérien. On peut la définir :
- soit à partir de la fonction inverse
- soit à partir de la fonction exponentielle
Nous allons présenter ces deux approches. Nous admettrons qu'elles sont équivalentes. La démonstration nécessite le théorème sur la dérivée d'une bijection réciproque (niveau 14).
Logarithme népérien et fonction inverse
[modifier | modifier le wikicode]
Problématique
[modifier | modifier le wikicode]Si , une primitive de est mais pour , on n'a rien de tel.
On ne trouve pas de primitive de parmi les fonctions usuelles. Pourtant, cette fonction étant continue sur , un théorème nous assure l’existence d’une primitive.
Définition de la fonction logarithme népérien
[modifier | modifier le wikicode]On appelle fonction logarithme népérien et on note l’unique primitive de sur qui s'annule en . Autrement dit :
- pour tout
Logarithme népérien d’un nombre réel strictement positif
[modifier | modifier le wikicode]Le logarithme népérien d’un nombre réel est son image par la fonction logarithme népérien définie ci-dessus. On le note donc .
Logarithme népérien et exponentielle
[modifier | modifier le wikicode]
Rappel : l'étude de la fonction exponentielle (définie par et ) montre que c'est une bijection strictement croissante de dans . En particulier, son tableau de variations est le suivant :
On appelle fonction logarithme népérien, et l'on note , la bijection réciproque, de dans , de la fonction .
Autrement dit :
- pour tout réel strictement positif, le nombre réel est caractérisé par :
Ou encore :
- pour tout
- Remarque
- En particulier, .
Exemples
[modifier | modifier le wikicode]