La fonction définie par est donc appelée
logarithme néperien.
Evidemment et
grâce au théorème sur la dérivée des
fonctions composées, on a .
La tangente au point L a pour équation
La distance BC vaut donc
Cette propriété suffit à
caractériser ln.