salam
montrer que f(x) = x + e^x est bijective de IR sur IR , d'accord .
mais expliciter la réciproque ?????????
........................
on pose y = x + e^x , g la réciproque
donc x= g(y)
g'(y) = 1/f'(x) = 1/(1+e^x) = 1/ (1+y-x) = 1/( 1+y-g(y))
g'(y) + y.g'(y) - g'(y).g(y) = 1 (équation différentielle)
voir fonction W de LAMBERT.
.