Présentation

La fonction exponentielle est continue et strictement croissante de ] ; + [ left ] -infinity nitalic ; +infinity right [ dans ] 0 ; + [ left ] 0 nitalic ; +infinity right [ . On en déduit que, quel que soit le réel strictement positif λ %lambda , l'équation e x = λ e^x = %lambda admet une solution unique dans setR .

Autrement dit : la fonction exponentielle est une bijection de ] ; + [ left ] -infinity nitalic ; +infinity right [ sur ] 0 ; + [ left ] 0 nitalic ; +infinity right [ .

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 ] 0 ; + [ left ] 0 nitalic ; +infinity right [ sur ] ; + [ left ] -infinity nitalic ; +infinity right [ . On note :

{ y = ln x x ] 0 ; + [ { x = e y y ] ; + [ left lbrace alignl matrix{ y=ln x ## ~ ## x in left ] 0 nitalic ; +infinity right [ } right none ~~dlrarrow~~ left lbrace alignl matrix{ x=e^y ## ~ ## y in left ] -infinity nitalic ; +infinity right [ } right none

Conséquences immédiates :

  • L'écriture : y = ln x y = ln x n'est possible que si x > 0 x > 0 .

  • On a : ln 1 = 0 ln 1 = 0 , ln e = 1 ln e = 1 et ln 1 e = 1 ln {1 over e} = -1

  • Pour tout x x réel, ln e x = x ln e^x = x

  • Pour tout x > 0 x > 0 , e ln x = x e^{ln x} = x