ATLAS Ouvrir dans l'atlas →

ExerciceTerminale, chapitre 3 — Fonctions numériques · Convexité

Exercice 20

Calcul

Soit ff la fonction exponentielle, définie sur ℝ\mathbb{R} par f(x)=exf(x)=\mathrm{e}^{x}.

1. Calculer f′′f'' et en déduire que ff est convexe sur ℝ\mathbb{R}.

2. Déterminer une équation de la tangente TT à la courbe de ff au point d'abscisse 00.

3. Que peut-on en déduire, sans aucun calcul supplémentaire, sur la position de la courbe de ff par rapport à TT ?

4. Retrouver ce résultat en étudiant les variations de la fonction gg définie sur ℝ\mathbb{R} par g(x)=ex−x−1g(x)=\mathrm{e}^{x}-x-1.

5. En déduire un encadrement de e0,1\mathrm{e}^{0,1} par un nombre décimal simple, puis comparer à la valeur donnée par la calculatrice.

Corrigé

1. f(x)=exf(x)=\mathrm{e}^{x} donne f′(x)=exf'(x)=\mathrm{e}^{x} puis f′′(x)=exf''(x)=\mathrm{e}^{x}. Or l'exponentielle est strictement positive sur ℝ\mathbb{R}, donc f′′(x)>0f''(x)>0 et f est convexe sur ℝ.\boxed{f \text{ est convexe sur } \mathbb{R}.}

2. f(0)=e0=1f(0)=\mathrm{e}^{0}=1 et f′(0)=1f'(0)=1, donc : y=1×(x−0)+1soitT:y=x+1y=1\times(x-0)+1 \qquad\text{soit}\qquad \boxed{T : y=x+1}

3. Le cours définit une fonction convexe comme une fonction dont la courbe est située au-dessus de chacune de ses tangentes. On en déduit donc, sans aucun calcul : pour tout reˊel x,ex⩾x+1\boxed{\text{pour tout réel } x,\quad \mathrm{e}^{x}\geqslant x+1}

4. Posons g(x)=ex−x−1g(x)=\mathrm{e}^{x}-x-1. Alors g′(x)=ex−1g'(x)=\mathrm{e}^{x}-1, et g′(x)⩾0  ⟺  ex⩾1  ⟺  x⩾0g'(x)\geqslant 0 \iff \mathrm{e}^{x}\geqslant 1 \iff x\geqslant 0 La fonction gg est donc décroissante sur ]−∞ ;0]]-\infty\,;0] et croissante sur [0 ;+∞[[0\,;+\infty[ : elle atteint son minimum en 00, et g(0)=e0−0−1=0g(0)=\mathrm{e}^{0}-0-1=0 Ainsi g(x)⩾g(0)=0g(x)\geqslant g(0)=0 pour tout réel xx, c'est-à-dire ex−x−1⩾0\mathrm{e}^{x}-x-1\geqslant 0 : on retrouve bien l'inégalité précédente.

5. L'inégalité appliquée en x=0,1x=0{,}1 donne une minoration : e0,1⩾1+0,1=1,1\mathrm{e}^{0,1}\geqslant 1+0{,}1=1{,}1 Pour obtenir une majoration, on applique la même inégalité en x=−0,1x=-0{,}1 : e−0,1⩾1−0,1=0,9soit1e0,1⩾0,9soite0,1⩽10,9=109\mathrm{e}^{-0,1}\geqslant 1-0{,}1=0{,}9 \quad\text{soit}\quad \frac{1}{\mathrm{e}^{0,1}}\geqslant 0{,}9 \quad\text{soit}\quad \mathrm{e}^{0,1}\leqslant \frac{1}{0{,}9}=\frac{10}{9}

1,1⩽e0,1⩽109≈1,111\boxed{1{,}1\leqslant \mathrm{e}^{0,1}\leqslant \frac{10}{9}\approx 1{,}111} La calculatrice donne e0,1≈1,10517\mathrm{e}^{0,1}\approx 1{,}10517 : l'encadrement est correct, et la minoration 1,11{,}1 est déjà excellente (erreur inférieure à 6×10−36\times 10^{-3}).

Ouvrir dans l'atlas interactif →