Fonctions logarithme et exponentielle

Fonctions logarithme et exponentielle

.

Question

Etudier les variations de la fonction f ( x ) = ln ( e x + 1 ) f(x) = ln (e^x + 1 ) . On vérifiera que lorsque x x tend vers + "+"infinity , la courbe représentative de f f est asymptote à la droite d'équation y = x y = x . Montrer que cette fonction admet une réciproque f 1 f^{-1} et expliciter cette dernière.

Solution

D'après les théorèmes généraux, f f est définie et dérivable sur setR

On  a : f ' ( x ) = e x e x + 1 f'(x) = e^x over {e^x + 1 }

x forall x in setR , f ' ( x ) > 0 f'(x) > 0 , f f est donc continue et strictement croissante sur setR

On a : lim x + ( e x + 1 ) = + lim from {x toward + infinity } (e^x + 1 ) = + infinity donc lim x + f ( x ) = + lim from {x toward +infinity} f(x) = +infinity

De même : lim x ( e x + 1 ) = 1 lim from {x toward - infinity } (e^x + 1 ) = 1 donc lim x f ( x ) = 0 lim from {x toward -infinity} f(x) = 0

La droite d'équation : y = 0 y = 0 est asymptote à la courbe.

On a :

lim x + f ( x ) x = lim x + ln ( e x + 1 ) x = lim x + ln e x ( 1 + e x ) x = lim x + ln e x + ln ( 1 + e x ) x = lim x + [ 1 + 1 x × ln ( 1 + e x ) ] = 1 alignl matrix { lim from {x toward +infinity} {alignc {f(x)} over x} #{} = lim from {x toward +infinity} {alignc {ln(e^x+1)} over x} ##~#{} = lim from {x toward +infinity} {alignc {ln e^x(1+e^-x)} over x} ##~#{} = lim from {x toward +infinity} {alignc {ln e^x + ln(1+e^-x)} over x} ##~#{} = lim from {x toward +infinity} left[ alignc 1 +1 over x times ln(1+e^-x) right ] =1 }

De même :

lim x + [ f ( x ) x ] = lim x + [ ln ( e x + 1 ) x ] = lim x + [ ln ( e x ( 1 + e x ) ) x ] = lim x + [ x + ln ( 1 + e x ) x ] = lim x + [ ln ( 1 + e x ) ] = 0 alignl matrix { lim from {x toward +infinity} [f(x)-x] #{} = lim from {x toward +infinity} [ ln(e^x+1) - x] ##~#{} = lim from {x toward +infinity} [ln (e^x(1+e^-x)) - x] ##~#{} = lim from {x toward +infinity} [x+ ln(1+e^-x) - x] ##~#{} = lim from {x toward +infinity} [ln(1+e^-x)] = 0 }

La droite d'équation : y = x y = x est donc asymptote à la courbe représentative de f f .

f f est continue et strictement croissante sur setR , f f est donc une bijection de setR sur ] 0 ; + [ left ] 0 nitalic ; +infinity right [

Donc f 1 f^{-1} est une bijection de ] 0 ; + [ left ] 0 nitalic ; +infinity right [ sur setR

Soit y ] 0 ; + [ , y = f ( x ) y = ln ( e x + 1 ) e y = e x + 1 e x = e y 1 x = ln ( e y 1 ) alignl matrix{ y in left ] 0 nitalic ; +infinity right [, ` y=f(x) # {} dlrarrow~ y = ln(e^x +1) ##~#{} dlrarrow~ e^y = e^x +1 ##~#{} dlrarrow~ e^x = e^y -1 ##~#{} dlrarrow~ x = ln(e^y -1) }

Notons que si y ] 0 ; + [ y in left ] 0 nitalic ; +infinity right [ , alors e y 1 > 0 e^y -1 > 0 .

Donc :