ExerciceMaths Sup – MPSI, chapitre 7 — Nombres réels et suites numériques · Suites monotones et suites adjacentes
Exercice 22
Irrationalité de la limite de . Le cours a montré que les suites et , pour , sont adjacentes ; on note leur limite commune, dont le chapitre 18 montrera qu'elle vaut .
1. Montrer que est strictement croissante et strictement décroissante, puis que pour tout .
2. On suppose que , avec et entiers naturels non nuls. En multipliant l'encadrement précédent, pris au rang , par , aboutir à une contradiction.
3. Conclure, et calculer et : combien de décimales de obtient-on ?
Corrigé
1. La suite croît strictement, puisque l'on ajoute , et le calcul du cours donne . Pour tout , le théorème 9 donne alors . 2. Au rang , on multiplie l'encadrement par : Or est un entier, de même que : on aurait un entier strictement compris entre deux entiers consécutifs. 3. On calcule et . L'argument repose sur la vitesse de convergence : l'écart est trop petit pour laisser passer une fraction de dénominateur . C'est l'idée de nombreuses preuves d'irrationalité.