ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 6 — Primitives et équations différentielles linéaires · Primitives et intégrales

Exercice 8

Démonstration

Encadrements d'intégrales.

1. Montrer que, pour tout entier n⩾1n \geqslant 1, 1−1n+1⩽∫01dt1+tn⩽1\displaystyle 1 - \frac{1}{n + 1} \leqslant \int_{0}^{1} \frac{\mathrm{d} t}{1 + t^{n}} \leqslant 1.

2. Montrer que, pour tout entier n⩾0n \geqslant 0, 1n+1⩽∫01(1+t22)ndt⩽2n+1\displaystyle \frac{1}{n + 1} \leqslant \int_{0}^{1} \Big(\frac{1 + t^{2}}{2}\Big)^{n}\mathrm{d} t \leqslant \frac{2}{n + 1}.

3. En comparant 1x\dfrac{1}{x} et 1e\dfrac{1}{\mathrm{e}} sur [e ,π][\mathrm{e}\,,\pi], montrer que ∫eπdxx<π−ee\displaystyle\int_{\mathrm{e}}^{\pi} \frac{\mathrm{d} x}{x} < \frac{\pi - \mathrm{e}}{\mathrm{e}}, puis que πe<eπ\pi^{\mathrm{e}} < \mathrm{e}^{\pi}.

Corrigé

1. Pour t∈[0 ,1]t \in [0\,,1], on a 0⩽tn⩽10 \leqslant t^{n} \leqslant 1, donc 11+tn⩽1\frac{1}{1 + t^{n}} \leqslant 1. D'autre part (1−tn)(1+tn)=1−t2n⩽1(1 - t^{n})(1 + t^{n}) = 1 - t^{2n} \leqslant 1, d'où 1−tn⩽11+tn1 - t^{n} \leqslant \frac{1}{1 + t^{n}}. Par croissance de l'intégrale (proposition 2 (iii)) : ∫01(1−tn) dt=1−1n+1,donc1−1n+1⩽∫01dt1+tn⩽1.\int_{0}^{1} (1 - t^{n})\,\mathrm{d} t = 1 - \frac{1}{n + 1}, \qquad\text{donc}\qquad \boxed{1 - \frac{1}{n + 1} \leqslant \int_{0}^{1} \frac{\mathrm{d} t}{1 + t^{n}} \leqslant 1}. Par encadrement, l'intégrale tend vers 11 quand nn tend vers +∞+\infty : la fonction t↦11+tnt \mapsto \frac{1}{1 + t^{n}} vaut presque 11 sur [0 ,1[[0\,,1[ dès que nn est grand.

2. Pour la minoration, on compare à tt : 1+t22−t=(1−t)22⩾0\frac{1 + t^{2}}{2} - t = \frac{(1 - t)^{2}}{2} \geqslant 0, donc (1+t22)n⩾tn\big(\frac{1 + t^{2}}{2}\big)^{n} \geqslant t^{n}, d'intégrale 1n+1\frac{1}{n + 1}. Pour la majoration, t2⩽tt^{2} \leqslant t sur [0 ,1][0\,,1], donc 1+t22⩽1+t2\frac{1 + t^{2}}{2} \leqslant \frac{1 + t}{2}, et l'on calcule avec la primitive 2n+1(1+t2)n+1\frac{2}{n + 1}\big(\frac{1 + t}{2}\big)^{n + 1} : ∫01(1+t2)ndt=2n+1(1−12n+1)⩽2n+1.\int_{0}^{1} \Big(\frac{1 + t}{2}\Big)^{n}\mathrm{d} t = \frac{2}{n + 1}\Big(1 - \frac{1}{2^{n + 1}}\Big) \leqslant \frac{2}{n + 1}.

1n+1⩽∫01(1+t22)ndt⩽2n+1\boxed{\frac{1}{n + 1} \leqslant \int_{0}^{1} \Big(\frac{1 + t^{2}}{2}\Big)^{n}\mathrm{d} t \leqslant \frac{2}{n + 1}} 3. Pour x∈[e ,π]x \in [\mathrm{e}\,,\pi], on a 1x⩽1e\frac{1}{x} \leqslant \frac{1}{\mathrm{e}}, avec égalité seulement en e\mathrm{e}. La fonction x↦1e−1xx \mapsto \frac{1}{\mathrm{e}} - \frac{1}{x} est continue, positive et non nulle sur [e ,π][\mathrm{e}\,,\pi] : son intégrale est strictement positive d'après l'exercice 5, question 1. ∫eπdxx=ln⁡π−1<π−ee=πe−1.\int_{\mathrm{e}}^{\pi} \frac{\mathrm{d} x}{x} = \ln\pi - 1 < \frac{\pi - \mathrm{e}}{\mathrm{e}} = \frac{\pi}{\mathrm{e}} - 1. On obtient ln⁡π<πe\ln\pi < \frac{\pi}{\mathrm{e}}, soit eln⁡π<π\mathrm{e}\ln\pi < \pi, et l'on compose par la fonction exp⁡\exp, strictement croissante. πe<eπ\boxed{\pi^{\mathrm{e}} < \mathrm{e}^{\pi}} Numériquement, πe≈22,46\pi^{\mathrm{e}} \approx 22{,}46 et eπ≈23,14\mathrm{e}^{\pi} \approx 23{,}14 : l'écart est faible, ce qui rend cette comparaison difficile à obtenir autrement.

Ouvrir dans l'atlas interactif →