- Théorème des suites adjacentes
-
En mathématiques, le théorème des suites adjacentes concerne les suites réelles et précise que deux suites adjacentes convergent vers la même limite.
Définition
Deux suites réelles (an) et (bn) sont dites adjacentes si l'une des suites est croissante (au sens large), l'autre suite décroissante au sens large et si la différence des deux tend vers 0.
On supposera par la suite que (an) est croissante et (bn) est décroissante.
On trouve souvent la condition supplémentaire : pour tout entier n, .
Cette condition permet de mieux visualiser ce que représentent deux suites adjacentes, elle n'est cependant qu'une conséquence des deux autres conditions. En effet, si (an) est croissante et (bn) décroissante alors (bn − an) est décroissante. Si la suite (bn − an) est décroissante et converge vers 0 alors (bn − an) est une suite à termes positifs. Donc, pour tout n, donc .
On peut même observer que pour tous entiers p, q (non nécessairement égaux), .
En effet, si alors , et si alors .
Énoncé
Théorème des suites adjacentes — Soient (an) et (bn) deux suites adjacentes (où (an) est croissante et (bn) est décroissante). Alors ces deux suites sont convergentes, et ont la même limite . De plus, pour tout entier naturel n, .
Ce théorème est une conséquence de la propriété de la borne supérieure : tout ensemble de réels non vide et majoré possède une borne supérieure. Ce théorème n'est donc pas valable si on travaille dans l'ensemble des rationnels et que l'on cherche une limite rationnelle.
On démontre même que cette propriété est équivalente à celle de la borne supérieure (voir l'article Construction des nombres réels). Elle offre l'avantage, par rapport à la propriété des suites croissantes majorées, de faire plus que prouver la convergence d'une suite. Elle en donne un encadrement aussi fin qu'on le souhaite.
DémonstrationLa suite (an) est croissante, et majorée par b0. Or on déduit de l'hypothèse de la borne supérieure que toute suite croissante et majorée converge. La suite (an) admet donc une limite . Puisque la suite (bn − an) converge vers 0, on en déduit que la suite (bn) converge également vers .
De plus, pour tout n, : la première inégalité se déduit, par passage à la limite, de , et la seconde se déduit de .
Utilisation
On rencontre le théorème des suites adjacentes dans tous les problèmes utilisant la méthode de la dichotomie, dans le développement décimal d'un réel, dans l'écriture en fraction continue ainsi que dans de nombreux problèmes de quadrature (quadrature du cercle, de la parabole).
On retrouve une variante des suites adjacentes dans le critère de Leibniz sur les séries alternées : si (un) est une suite à termes positifs décroissante et convergeant vers 0, la série converge.
- En effet, les suites (an) et (bn) définies par bn = S2n et an = S2n + 1 sont des suites adjacentes qui convergent donc vers la même limite .
Catégories :- Suite
- Théorème d'analyse
Wikimedia Foundation. 2010.