ATLAS Ouvrir dans l'atlas →

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

Exercice 39

Démonstration

Montrer que, pour tout entier n⩾1n\geqslant 1 et tout réel x∈[0 ;2[x\in[0\,;2[ : (1+xn)n⩽2+x2−x\left(1+\frac{x}{n}\right)^{n}\leqslant\frac{2+x}{2-x}

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

Corrigé

Fixons un entier n⩾1n\geqslant 1. Pour x∈[0 ;2[x\in[0\,;2[, les nombres 1+xn1+\frac{x}{n}, 2+x2+x et 2−x2-x sont strictement positifs. La fonction ln⁡\ln étant strictement croissante, l'inégalité demandée équivaut à nln⁡(1+xn)⩽ln⁡(2+x)−ln⁡(2−x)n\ln\left(1+\frac{x}{n}\right)\leqslant\ln(2+x)-\ln(2-x) Posons donc, pour x∈[0 ;2[x\in[0\,;2[, h(x)=ln⁡(2+x)−ln⁡(2−x)−nln⁡(1+xn)h(x)=\ln(2+x)-\ln(2-x)-n\ln\left(1+\dfrac{x}{n}\right). La fonction hh est dérivable, et, la dérivée de x↦ln⁡(2−x)x\mapsto\ln(2-x) étant x↦−12−xx\mapsto-\dfrac{1}{2-x} : h′(x)=12+x+12−x−n×1n1+xn=44−x2−nn+x=4(n+x)−n(4−x2)(4−x2)(n+x)=x (nx+4)(4−x2)(n+x)h'(x)=\frac{1}{2+x}+\frac{1}{2-x}-\frac{n\times\frac{1}{n}}{1+\frac{x}{n}} =\frac{4}{4-x^{2}}-\frac{n}{n+x} =\frac{4(n+x)-n\left(4-x^{2}\right)}{\left(4-x^{2}\right)(n+x)} =\frac{x\,(nx+4)}{\left(4-x^{2}\right)(n+x)} Sur [0 ;2[[0\,;2[, tous les facteurs sont positifs : h′(x)⩾0h'(x)\geqslant 0, donc hh est croissante, et h(x)⩾h(0)=ln⁡(2)−ln⁡(2)−0=0h(x)\geqslant h(0)=\ln(2)-\ln(2)-0=0. Pour tout n⩾1 et tout x∈[0 ;2[,(1+xn)n⩽2+x2−x\boxed{\text{Pour tout } n\geqslant 1 \text{ et tout } x\in[0\,;2[,\quad \left(1+\frac{x}{n}\right)^{n}\leqslant\frac{2+x}{2-x}}

Remarque. D'après l'exercice 32, le membre de gauche tend vers ex\mathrm{e}^{x} quand nn tend vers +∞+\infty. Le passage à la limite dans les inégalités donne alors ex⩽2+x2−x\mathrm{e}^{x}\leqslant\dfrac{2+x}{2-x} sur [0 ;2[[0\,;2[. Cette fraction rationnelle est une approximation remarquable de l'exponentielle près de 00 : pour x=0,1x=0{,}1, elle vaut 1,105 261{,}105\,26, alors que e0,1≈1,105 17\mathrm{e}^{0{,}1}\approx 1{,}105\,17.

Ouvrir dans l'atlas interactif →