ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 8 — Limites et continuité · Fonctions continues sur un intervalle

Exercice 39

DémonstrationCalcul

Soit f:x↦ln⁡(ex+2)f : x \mapsto \ln(\mathrm{e}^{x} + 2).

1. Déterminer le domaine de définition de ff, ses limites en ±∞\pm\infty et son sens de variation.

2. Montrer que ff réalise une bijection de ℝ\mathbb{R} sur un intervalle JJ que l'on précisera, et déterminer f−1f^{-1}. Justifier sans calcul que f−1f^{-1} est continue.

3. Montrer que lim⁡x→+∞(f(x)−x)=0\lim\limits_{x \to +\infty} \big(f(x) - x\big) = 0, et tracer sur une même figure les courbes de ff et de f−1f^{-1}, avec leurs asymptotes.

Corrigé

1. Comme ex+2>0\mathrm{e}^{x} + 2 > 0, la fonction ff est définie sur ℝ\boxed{\mathbb{R}}. Composée de fonctions strictement croissantes, elle est strictement croissante, et lim⁡x→−∞f(x)=ln⁡2,lim⁡x→+∞f(x)=+∞.\lim\limits_{x \to -\infty} f(x) = \ln 2, \qquad \lim\limits_{x \to +\infty} f(x) = +\infty. 2. Par le théorème de la bijection continue, ff réalise une bijection de ℝ\mathbb{R} sur J= ]ln⁡2 ,+∞[\boxed{J = \,]\ln 2\,,+\infty[}, et f−1f^{-1} est continue et strictement croissante. Pour y>ln⁡2y > \ln 2, on résout y=ln⁡(ex+2)y = \ln(\mathrm{e}^{x} + 2), soit ex=ey−2>0\mathrm{e}^{x} = \mathrm{e}^{y} - 2 > 0 : f−1(y)=ln⁡(ey−2).\boxed{f^{-1}(y) = \ln(\mathrm{e}^{y} - 2)}. 3. On a f(x)−x=ln⁡(ex+2)−ln⁡(ex)=ln⁡(1+2e−x)→x→+∞0f(x) - x = \ln(\mathrm{e}^{x} + 2) - \ln(\mathrm{e}^{x}) = \ln(1 + 2\mathrm{e}^{-x}) \xrightarrow[x \to +\infty]{} \boxed{0} : la droite y=xy = x est asymptote à la courbe de ff en +∞+\infty, et la courbe est au-dessus. La courbe de ff a aussi l'asymptote horizontale y=ln⁡2y = \ln 2 en −∞-\infty. Par symétrie par rapport à la première bissectrice, la courbe de f−1f^{-1} a l'asymptote y=xy = x en +∞+\infty, au-dessous, et l'asymptote verticale x=ln⁡2x = \ln 2.

Figure

Les deux courbes sont symétriques par rapport à la première bissectrice : l'asymptote horizontale de ff devient l'asymptote verticale de f−1f^{-1}, et la droite y=xy = x, invariante, est asymptote aux deux courbes, de part et d'autre.

Dans l'édifice

Thèmes

fonctions continues sur un intervalle, limites, bijection continue

Notions

continuité, limite d'une fonction

Ouvrir dans l'atlas interactif →