1. Définition : la fonction réciproque de l'exponentielle
La fonction exponentielle réalise une bijection de sur . Sa fonction réciproque s'appelle la fonction logarithme népérien, notée . Ainsi, pour tout réel et tout réel : .
On en déduit immédiatement les égalités fondamentales : pour tout , , et pour tout réel , . En particulier et .
2. Domaine de définition
La fonction est définie uniquement sur . Un logarithme n'existe que pour un nombre strictement positif. Toute écriture impose la condition d'existence .
3. La propriété fonctionnelle : ln(ab)
C'est la propriété centrale, dite relation fonctionnelle : pour tous réels et ,
Le logarithme transforme un produit en somme. Exemple : .
4. Quotient, puissance, racine
De la relation fonctionnelle découlent, pour , et :
Exemple : et .
5. Dérivée
La fonction est dérivable sur et
Plus généralement, si est dérivable et strictement positive sur un intervalle, alors . Exemple : la dérivée de est .
6. Sens de variation
Comme sur , la fonction est strictement croissante sur son domaine. On en déduit deux équivalences très utiles, pour et :
7. Limites aux bornes
Aux extrémités du domaine :
La droite d'équation (l'axe des ordonnées) est asymptote verticale à la courbe.
8. Courbe représentative
La courbe de est la symétrique de celle de par rapport à la première bissectrice . Elle passe par les points et . La tangente au point a pour équation , ce qui donne l'encadrement classique pour tout .
9. Croissances comparées
L'exponentielle l'emporte sur les puissances, donc le logarithme est « écrasé » par elles :
Plus généralement, pour tout entier , . Ces résultats servent à lever des formes indéterminées ou .
10. Équations avec ln
Pour résoudre , on utilise l'équivalence (après avoir posé la condition ). Exemple : . Pour , on résout avec et .
11. Inéquations avec ln
La stricte croissance permet de « retirer » le en conservant le sens : (sur le domaine). Il faut toujours commencer par déterminer l'ensemble des où les expressions sont définies, puis intersecter avec les solutions trouvées.
12. Lien avec l'exponentielle
et sont réciproques : leurs courbes sont symétriques par rapport à , et l'une « défait » l'autre. C'est ce lien qui permet de passer d'une équation en à une équation en , et inversement, par exemple pour résoudre via .