Bonjour,
f(x) = ln((exp(x) - 1)/x)
g(x) = (exp(x) - 1)/x
lim(x-->0) g(x) est une indétermination du type 0/0 --> Lhospital
lim(x-->0) g(x) = lim(x-->0) exp(x)/1 = 1
Et donc lim(x-->0) f(x) = ln(1) = 0
f(x) peut être prolongé en 0 par :
f(x) = ln((exp(x) - 1)/x) pour x dans R/{0}
f(0) = 0
Reste à vérifier si ainsi défini f est dérivable en 0.
lim( x--> 0) [(f(x) - f(0))/x] = lim( x--> 0) [(ln((exp(x) - 1)/x))/x] --> (Lhospital) = lim( x--> 0) [(x/(exp(x) - 1)) * ((x.exp(x) + 1 - exp(x))/(x²))]
= lim( x--> 0) [(((x.exp(x) + 1 - exp(x))/(x.(exp(x) - 1)))] --> (Lhospital) = lim( x--> 0) [(((exp(x) + x.exp(x) - exp(x))/((exp(x) - 1) + x.exp(x)))]
= lim( x--> 0) [(x.exp(x))/((exp(x) - 1) + x.exp(x)))] --> (Lhospital) = lim( x--> 0) [(exp(x) + x.exp(x))/(exp(x) + x.exp(x) + exp(x)] = 1/2
--> f est dérivable en 0 et f'(0) = 1/2
et donc f (prolongé par f(0) = 0) est dérivable sur R.
Et si on ne connait pas la règle de Lhospital .... reste à trouver une autre méthode.
