ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites monotones et suites adjacentes

Exercice 21

Démonstration

La constante d'Euler. On pose, pour n⩾1n \geqslant 1, Hn=∑k=1n1k\displaystyle H_{n} = \sum_{k=1}^{n} \frac{1}{k}, un=Hn−ln⁡nu_{n} = H_{n} - \ln n et vn=Hn−ln⁡(n+1)v_{n} = H_{n} - \ln(n + 1).

1. À l'aide de l'inégalité ln⁡t⩽t−1\ln t \leqslant t - 1 (chapitre 5), appliquée à des valeurs bien choisies de tt, montrer que pour tout x>−1x > -1, x1+x⩽ln⁡(1+x)⩽x\dfrac{x}{1 + x} \leqslant \ln(1 + x) \leqslant x.

2. En déduire que (un)(u_{n}) et (vn)(v_{n}) sont adjacentes. Leur limite commune est la constante d'Euler, notée γ\gamma ; donner un encadrement de γ\gamma à l'aide de H10≈2,9290H_{10} \approx 2{,}9290.

3. Montrer que Hn→n→+∞+∞H_{n} \xrightarrow[n \to +\infty]{} +\infty et que Hnln⁡n→n→+∞1\dfrac{H_{n}}{\ln n} \xrightarrow[n \to +\infty]{} 1.

4. En écrivant H2n−Hn=u2n−un+ln⁡2H_{2n} - H_{n} = u_{2n} - u_{n} + \ln 2, retrouver la limite des suites de l'exercice 19 (a).

Corrigé

1. Avec t=1+x>0t = 1 + x > 0, l'inégalité ln⁡t⩽t−1\ln t \leqslant t - 1 donne ln⁡(1+x)⩽x\ln(1 + x) \leqslant x. Avec t=11+xt = \frac{1}{1 + x}, elle donne −ln⁡(1+x)⩽11+x−1=−x1+x-\ln(1 + x) \leqslant \frac{1}{1 + x} - 1 = -\frac{x}{1 + x}. x1+x⩽ln⁡(1+x)⩽x\boxed{\frac{x}{1 + x} \leqslant \ln(1 + x) \leqslant x} 2. Avec x=1nx = \frac{1}{n}, la minoration donne ln⁡(1+1n)⩾1n+1\ln\big(1 + \frac{1}{n}\big) \geqslant \frac{1}{n + 1}, et avec x=1n+1x = \frac{1}{n + 1}, la majoration donne ln⁡(1+1n+1)⩽1n+1\ln\big(1 + \frac{1}{n + 1}\big) \leqslant \frac{1}{n + 1}. D'où un+1−un=1n+1−ln⁡(1+1n)⩽0,vn+1−vn=1n+1−ln⁡(1+1n+1)⩾0,u_{n+1} - u_{n} = \frac{1}{n + 1} - \ln\Big(1 + \frac{1}{n}\Big) \leqslant 0, \qquad v_{n+1} - v_{n} = \frac{1}{n + 1} - \ln\Big(1 + \frac{1}{n + 1}\Big) \geqslant 0, et 0⩽un−vn=ln⁡(1+1n)⩽1n0 \leqslant u_{n} - v_{n} = \ln\big(1 + \frac{1}{n}\big) \leqslant \frac{1}{n}. (un) et (vn) sont adjacentes\boxed{(u_{n}) \text{ et } (v_{n}) \text{ sont adjacentes}} Avec H10≈2,928 97H_{10} \approx 2{,}928\,97, on obtient v10=H10−ln⁡11≈0,5311v_{10} = H_{10} - \ln 11 \approx 0{,}5311 et u10=H10−ln⁡10≈0,6264u_{10} = H_{10} - \ln 10 \approx 0{,}6264. 0,531⩽γ⩽0,627\boxed{0{,}531 \leqslant \gamma \leqslant 0{,}627} La valeur exacte est γ≈0,5772\gamma \approx 0{,}5772 ; on ne sait toujours pas si ce nombre est rationnel.

3. Comme un⩾γu_{n} \geqslant \gamma, on a Hn⩾ln⁡n+γ→n→+∞+∞H_{n} \geqslant \ln n + \gamma \xrightarrow[n \to +\infty]{} +\infty. Et Hnln⁡n=1+unln⁡n→n→+∞1\frac{H_{n}}{\ln n} = 1 + \frac{u_{n}}{\ln n} \xrightarrow[n \to +\infty]{} 1, puisque (un)(u_{n}) est bornée. Hn→n→+∞+∞Hnln⁡n→n→+∞1\boxed{H_{n} \xrightarrow[n \to +\infty]{} +\infty \qquad \frac{H_{n}}{\ln n} \xrightarrow[n \to +\infty]{} 1} 4. On a H2n−Hn=(u2n+ln⁡2n)−(un+ln⁡n)=u2n−un+ln⁡2H_{2n} - H_{n} = (u_{2n} + \ln 2n) - (u_{n} + \ln n) = u_{2n} - u_{n} + \ln 2, et (u2n)(u_{2n}), extraite de (un)(u_{n}), tend vers γ\gamma. ∑k=1n1n+k=H2n−Hn→n→+∞ln⁡2\boxed{\sum_{k=1}^{n} \frac{1}{n + k} = H_{2n} - H_{n} \xrightarrow[n \to +\infty]{} \ln 2}

Dans l'édifice

Thèmes

suites monotones et adjacentes, limites de suites, théorème d'encadrement, suites adjacentes, suites extraites, sommes

Notions

suites adjacentes, limite d'une suite, suite extraite

Ouvrir dans l'atlas interactif →