Présentation
La fonction exponentielle est continue et strictement croissante de 
dans 
. On en déduit que, quel que soit le réel strictement positif 
, l'équation 
admet une solution unique dans 
.
Autrement dit : la fonction exponentielle est une bijection de sur .
Définition :
La fonction logarithme népérien, notée ln, est la bijection réciproque de la fonction exponentielle, c'est une bijection de sur . On note :
Conséquences immédiates :
L'écriture :
n'est possible que si 
.On a :
, 
et 
Pour tout
réel, 
Pour tout
, 
