ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 5 — Fonctions usuelles et dérivation pratique · Exponentielle et logarithme

Exercice 27

Démonstration

1. Montrer que, pour tout x⩾0x \geqslant 0, x−x22⩽ln⁡(1+x)⩽xx - \dfrac{x^{2}}{2} \leqslant \ln(1 + x) \leqslant x.

2. Montrer que, pour tout x⩾0x \geqslant 0, (x−2)ex+x+2⩾0(x - 2)\mathrm{e}^{x} + x + 2 \geqslant 0.

3. À l'aide de l'inégalité ln⁡(1+x)⩽x\ln(1 + x) \leqslant x du cours, montrer que, pour tout entier n⩾2n \geqslant 2, (1+1n)n⩽e⩽(1−1n)−n.\Big(1 + \frac{1}{n}\Big)^{n} \leqslant \mathrm{e} \leqslant \Big(1 - \frac{1}{n}\Big)^{-n}. En prenant n=100n = 100, en déduire un encadrement de e\mathrm{e} d'amplitude inférieure à 0,030{,}03.

Corrigé

1. La majoration est la proposition 6. Pour la minoration, posons φ(x)=ln⁡(1+x)−x+x22\varphi(x) = \ln(1 + x) - x + \frac{x^{2}}{2} sur [0 ,+∞[[0\,,+\infty[. Alors φ′(x)=11+x−1+x=x21+x⩾0\varphi'(x) = \frac{1}{1 + x} - 1 + x = \frac{x^{2}}{1 + x} \geqslant 0, et φ(0)=0\varphi(0) = 0. x−x22⩽ln⁡(1+x)⩽x  pour x⩾0\boxed{x - \frac{x^{2}}{2} \leqslant \ln(1 + x) \leqslant x \ \text{ pour } x \geqslant 0} 2. Posons g(x)=(x−2)ex+x+2g(x) = (x - 2)\mathrm{e}^{x} + x + 2. Alors g′(x)=(x−1)ex+1g'(x) = (x - 1)\mathrm{e}^{x} + 1 et g′′(x)=x ex⩾0g''(x) = x\,\mathrm{e}^{x} \geqslant 0 sur [0 ,+∞[[0\,,+\infty[. Donc g′g' y est croissante, et g′(x)⩾g′(0)=0g'(x) \geqslant g'(0) = 0 ; puis gg est croissante, et g(x)⩾g(0)=0g(x) \geqslant g(0) = 0. (x−2)ex+x+2⩾0  pour x⩾0\boxed{(x - 2)\mathrm{e}^{x} + x + 2 \geqslant 0 \ \text{ pour } x \geqslant 0} On a dû dériver deux fois, car le signe de g′g' n'était pas lisible directement.

3. L'inégalité ln⁡(1+1n)⩽1n\ln\big(1 + \frac{1}{n}\big) \leqslant \frac{1}{n} donne nln⁡(1+1n)⩽1n\ln\big(1 + \frac{1}{n}\big) \leqslant 1, puis, par croissance de l'exponentielle, (1+1n)n⩽e\big(1 + \frac{1}{n}\big)^{n} \leqslant \mathrm{e}. De même, ln⁡(1−1n)⩽−1n\ln\big(1 - \frac{1}{n}\big) \leqslant -\frac{1}{n}, puisque −1n>−1-\frac{1}{n} > -1, donc −nln⁡(1−1n)⩾1-n\ln\big(1 - \frac{1}{n}\big) \geqslant 1, et e⩽(1−1n)−n\mathrm{e} \leqslant \big(1 - \frac{1}{n}\big)^{-n}. (1+1n)n⩽e⩽(1−1n)−n\boxed{\Big(1 + \frac{1}{n}\Big)^{n} \leqslant \mathrm{e} \leqslant \Big(1 - \frac{1}{n}\Big)^{-n}} Pour n=100n = 100, on obtient 1,01100≈2,70481{,}01^{100} \approx 2{,}7048 et 0,99−100≈2,73200{,}99^{-100} \approx 2{,}7320. 2,704⩽e⩽2,733\boxed{2{,}704 \leqslant \mathrm{e} \leqslant 2{,}733} L'amplitude, environ 0,0270{,}027, convient. Elle diminue lentement, comme en\frac{\mathrm{e}}{n} : les développements limités du chapitre 10 l'expliqueront.

Dans l'édifice

Thèmes

exponentielle et logarithme, exponentielle, logarithme, inégalités

Notions

exponentielle, logarithme

Ouvrir dans l'atlas interactif →