ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 5 — Fonctions exponentielle et logarithme · Pour aller plus loin

Exercice 34

DémonstrationCalcul

1. Étudier la fonction ff définie sur ℝ\mathbb{R} par f(x)=ln⁡(1+ex)f(x)=\ln\left(1+\mathrm{e}^{x}\right).

2. Montrer que f(x)−xf(x)-x tend vers 00 lorsque xx tend vers +∞+\infty. Interpréter géométriquement.

Source : poly « Mathématiques : du lycée aux CPGE scientifiques » (LLG / H4), n° 163

Corrigé

1. Pour tout réel xx, 1+ex>01+\mathrm{e}^{x}>0 : ff est définie et dérivable sur ℝ\mathbb{R}, et f′(x)=ex1+ex>0f'(x)=\frac{\mathrm{e}^{x}}{1+\mathrm{e}^{x}}>0 La fonction ff est donc strictement croissante sur ℝ\mathbb{R}. En −∞-\infty, ex→0\mathrm{e}^{x}\to 0, donc 1+ex→11+\mathrm{e}^{x}\to 1 et f(x)→ln⁡(1)=0f(x)\to\ln(1)=0 : l'axe des abscisses est asymptote en −∞-\infty. En +∞+\infty, 1+ex→+∞1+\mathrm{e}^{x}\to+\infty, donc f(x)→+∞f(x)\to+\infty. On note enfin que f(0)=ln⁡(2)f(0)=\ln(2).

Figure

2. Comme x=ln⁡(ex)x=\ln\left(\mathrm{e}^{x}\right), on a, pour tout réel xx : f(x)−x=ln⁡(1+ex)−ln⁡(ex)=ln⁡(1+exex)=ln⁡(1+e−x)f(x)-x=\ln\left(1+\mathrm{e}^{x}\right)-\ln\left(\mathrm{e}^{x}\right)=\ln\left(\frac{1+\mathrm{e}^{x}}{\mathrm{e}^{x}}\right) =\ln\left(1+\mathrm{e}^{-x}\right) Quand x→+∞x\to+\infty, e−x→0\mathrm{e}^{-x}\to 0, donc 1+e−x→11+\mathrm{e}^{-x}\to 1 et lim⁡x→+∞(f(x)−x)=ln⁡(1)=0\boxed{\lim_{x\to+\infty}\big(f(x)-x\big)=\ln(1)=0} Interprétation. L'écart vertical entre la courbe de ff et la droite d'équation y=xy=x tend vers 00 : cette droite est asymptote oblique à la courbe en +∞+\infty. De plus, 1+e−x>11+\mathrm{e}^{-x}>1 donne f(x)−x>0f(x)-x>0 : la courbe est toujours au-dessus de son asymptote.

Figure

Cette figure montre les deux asymptotes : l'axe des abscisses en −∞-\infty, et la droite d'équation y=xy=x en +∞+\infty, que la courbe approche par au-dessus.

Remarque. Le calcul de la question 2 est un réflexe à retenir : pour comparer ln⁡(quelque chose)\ln(\text{quelque chose}) à xx, on écrit x=ln⁡(ex)x=\ln\left(\mathrm{e}^{x}\right) et l'on regroupe les deux logarithmes. En −∞-\infty, c'est la limite du cours ln⁡(1+t)t→1\frac{\ln(1+t)}{t}\to 1, appliquée à t=ex→0t=\mathrm{e}^{x}\to 0, qui donne f(x)ex→1\frac{f(x)}{\mathrm{e}^{x}}\to 1 : très à gauche, f(x)f(x) est « presque égal » à ex\mathrm{e}^{x}, au sens où leur quotient tend vers 11.

Ouvrir dans l'atlas interactif →