Considérons la fonction $f$ définie sur $\mathbb{R}$ par $f(x) = 1 - \ln\left(1 + e^{-x}\right)$.
1) a) Montrer que $\displaystyle\lim_{x \to +\infty} f(x) = 1$ et interpréter géométriquement le résultat.
b) Montrer que $\displaystyle\lim_{x \to -\infty} f(x) = -\infty$.
2) a) Vérifier que $(\forall x \in \mathbb{R})\ f(x) = x + 1 - \ln\left(1 + e^{x}\right)$.
b) En déduire que la droite $(D) : y = x+1$ est une asymptote oblique à $C_f$ au voisinage de $-\infty$.
c) Étudier la position de $C_f$ par rapport à la droite $(D)$.
3) a) Montrer que $(\forall x \in \mathbb{R})\ f'(x) = \dfrac{1}{1+e^x}$.
b) Étudier les variations de $f$ et dresser son tableau de variation.
c) Étudier la concavité de $C_f$.
d) Montrer que $C_f$ coupe l'axe des abscisses en un point à déterminer.
4) a) Montrer que $f$ admet une fonction réciproque définie sur un intervalle $J$ que l'on déterminera.
b) Déterminer $f^{-1}(x)$ pour tout $x \in J$.
Voir la correction
1) a) $\displaystyle\lim_{x \to +\infty} f(x) = \lim_{x \to +\infty} 1 - \ln\left(1 + \frac{1}{e^x}\right) = 1$ car $\displaystyle\lim_{x \to +\infty} \frac{1}{e^x} = 0$.
Interprétation géométrique : $y = 1$ est une asymptote à $(C_f)$ au voisinage de $+\infty$.
b) $\displaystyle\lim_{x \to -\infty} f(x) = \lim_{x \to -\infty} 1 - \ln\left(1 + \frac{1}{e^x}\right) = -\infty$ car $\displaystyle\lim_{x \to -\infty} \frac{1}{e^x} = +\infty$.
2) a)
$$f(x) = 1 - \ln\left(1 + \frac{1}{e^x}\right) = 1 - \ln\left(\frac{e^x+1}{e^x}\right) = 1 - \ln\left(e^x+1\right) + \ln\left(e^x\right) = x + 1 - \ln\left(e^x+1\right)$$
b) $f(x) - (x+1) = -\ln\left(e^x+1\right)$, donc $\displaystyle\lim_{x \to -\infty} f(x) - (x+1) = \lim_{x \to -\infty} -\ln\left(e^x+1\right) = 0$ car $\displaystyle\lim_{x \to -\infty} e^x = 0$. Par suite, la droite $(D) : y = x+1$ est une asymptote oblique à $C_f$ au voisinage de $-\infty$.
c) On a $e^x > 0$ pour tout $x \in \mathbb{R}$, donc $e^x + 1 > 1$, donc $\ln\left(e^x+1\right) > 0$, donc $-\ln\left(e^x+1\right) < 0$. Donc la courbe $C_f$ est au-dessous de la droite $(D) : y = x+1$.
3) a)
$$f'(x) = \left(x + 1 - \ln\left(e^x+1\right)\right)' = 1 - \frac{e^x}{1+e^x} = \frac{1 + e^x - e^x}{1+e^x} = \frac{1}{1+e^x} > 0 \quad \forall x \in \mathbb{R}$$
b)
$$\begin{array}{c|ccc}
x & -\infty & & +\infty \\
\hline
f'(x) & & + & \\
\hline
f(x) & -\infty & \nearrow & 1
\end{array}$$
c)
$$f''(x) = \left(\frac{1}{1+e^x}\right)' = -\frac{e^x}{\left(1+e^x\right)^2} < 0 \quad \forall x \in \mathbb{R}$$
Donc la courbe $C_f$ est concave sur $\mathbb{R}$.
d)
$$f(x) = 0 \iff \ln\left(1+e^{-x}\right) = 1 \iff \ln\left(1+e^{-x}\right) = \ln e \iff e^{-x} = e - 1 \iff x = -\ln(e-1)$$
Donc le point d'intersection de $C_f$ avec l'axe des abscisses est $A\big(-\ln(e-1) ; 0\big)$.
4) a) $f$ est continue et strictement croissante sur $\mathbb{R}$, donc $f$ admet une fonction réciproque $f^{-1}$ définie sur $J = f(\mathbb{R}) = \,]-\infty ; 1[$.
b)
$$1 - \ln\left(1+e^{-y}\right) = x \iff 1 - x = \ln\left(1+e^{-y}\right) \iff 1 + e^{-y} = e^{1-x}$$
$$e^{-y} = e^{1-x} - 1 \iff -y = \ln\left(e^{1-x}-1\right) \iff y = -\ln\left(e^{1-x}-1\right)$$
$$\text{Donc} \quad f^{-1}(x) = -\ln\left(e^{1-x}-1\right) \quad \forall x \in \,]-\infty ; 1[$$