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
Problématique
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
Logarithme népérien d’un nombre réel strictement positif
Logarithme népérien et exponentielle
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 :
- Remarque
- En particulier, .
Exemples
<quiz display="simple"> {Calculer au centième près avec la calculatrice (utiliser la touche ln, et non log) : |type="{}"} ={ 0,69 _4 } ={ 2,30 _4 } ={ -2,30 _5 } ={ -0,69 _5 } ={ 6,91 _4 } </quiz>