Définition
La fonction logarithme népérien définie sur $]0 ; + \infty[$ est la fonction $x \mapsto \ln(x)$ où le nombre réel $\ln(x)$ est l’unique solution de l’équation $e^{y} = x$ d’inconnue $y$.
Elle est définie, continue, dérivable sur l’intervalle $]0~ ; + \infty[$.
Pour tout $x \in\:]0~ ; + \infty[$, $\ln’(x) = \dfrac{1}{x}$.
Propriétés
Pour tous les réels $a$ et $b$ strictement positifs :
$\ln(a \times b) = \ln(a) + \ln(b)$ ;
$\ln\left(\dfrac{1}{b}\right) = -\ln(b)$ ;
$\ln\left(\dfrac{a}{b}\right) = \ln(a) - \ln(b)$ ;
$\ln({a}^{n}) = n \ln(a)$ ($n$ entier naturel)
$\dfrac{1}{2} \ln(a) = \ln(\sqrt{a})$ ;
$\ln({a}^x) = x \ln(a)$ ($x$ réel)