ATLAS Ouvrir dans l'atlas →

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

Exercice 22

DémonstrationCalcul

Irrationalité de la limite de ∑1k!\sum \frac{1}{k!}. Le cours a montré que les suites un=∑k=0n1k!\displaystyle u_{n} = \sum_{k=0}^{n} \frac{1}{k!} et vn=un+1n⋅n!v_{n} = u_{n} + \dfrac{1}{n \cdot n!}, pour n⩾1n \geqslant 1, sont adjacentes ; on note ℓ\ell leur limite commune, dont le chapitre 18 montrera qu'elle vaut e\mathrm{e}.

1. Montrer que (un)(u_{n}) est strictement croissante et (vn)(v_{n}) strictement décroissante, puis que un<ℓ<vnu_{n} < \ell < v_{n} pour tout n⩾1n \geqslant 1.

2. On suppose que ℓ=pq\ell = \frac{p}{q}, avec pp et qq entiers naturels non nuls. En multipliant l'encadrement précédent, pris au rang n=qn = q, par q⋅q!q \cdot q!, aboutir à une contradiction.

3. Conclure, et calculer u6u_{6} et v6v_{6} : combien de décimales de ℓ\ell obtient-on ?

Corrigé

1. La suite (un)(u_{n}) croît strictement, puisque l'on ajoute 1(n+1)!>0\frac{1}{(n + 1)!} > 0, et le calcul du cours donne vn+1−vn=−1n(n+1) (n+1)!<0v_{n+1} - v_{n} = -\frac{1}{n(n + 1)\,(n + 1)!} < 0. Pour tout n⩾1n \geqslant 1, le théorème 9 donne alors un<un+1⩽ℓ⩽vn+1<vnu_{n} < u_{n+1} \leqslant \ell \leqslant v_{n+1} < v_{n}. un<ℓ<vn\boxed{u_{n} < \ell < v_{n}} 2. Au rang n=qn = q, on multiplie l'encadrement par q⋅q!q \cdot q! : q⋅q! uq<p⋅q!<q⋅q! uq+1.q \cdot q!\,u_{q} < p \cdot q! < q \cdot q!\,u_{q} + 1. Or q! uq=∑k=0qq!k!q!\,u_{q} = \sum_{k=0}^{q} \frac{q!}{k!} est un entier, de même que p⋅q!p \cdot q! : on aurait un entier strictement compris entre deux entiers consécutifs. ℓ∉ℚ\boxed{\ell \notin \mathbb{Q}} 3. On calcule u6=1957720≈2,718 056u_{6} = \frac{1957}{720} \approx 2{,}718\,056 et v6=u6+14320=11 7434320≈2,718 287v_{6} = u_{6} + \frac{1}{4320} = \frac{11\,743}{4320} \approx 2{,}718\,287. 2,718 05<ℓ<2,718 29 : trois deˊcimales exactes, ℓ≈2,718\boxed{2{,}718\,05 < \ell < 2{,}718\,29 \text{ : trois décimales exactes, } \ell \approx 2{,}718} L'argument repose sur la vitesse de convergence : l'écart vq−uq=1q⋅q!v_{q} - u_{q} = \frac{1}{q \cdot q!} est trop petit pour laisser passer une fraction de dénominateur qq. C'est l'idée de nombreuses preuves d'irrationalité.

Dans l'édifice

Thèmes

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

Notions

suites adjacentes, limite d'une suite

Ouvrir dans l'atlas interactif →