• Aucun résultat trouvé

n ][ () () () () () () () () u u u u u u u u u v − n n lim lim lim lim lim lim u ≥ ≤ ≤ ≤ ≤ ≥ > n u u u v v v u u v v L L = =+ = = =+ = ≤ l −∞ −∞ lim w ∞ ∞ w = l ⎤⎦⎡⎣ ⎤⎦⎡⎣ () A ; + ∞ u u u u u u u u L L n n n n 0 0 0 0 n n n 0 − − 1; 1; 0 n n n n n n n n n

N/A
N/A
Protected

Academic year: 2022

Partager "n ][ () () () () () () () () u u u u u u u u u v − n n lim lim lim lim lim lim u ≥ ≤ ≤ ≤ ≤ ≥ > n u u u v v v u u v v L L = =+ = = =+ = ≤ l −∞ −∞ lim w ∞ ∞ w = l ⎤⎦⎡⎣ ⎤⎦⎡⎣ () A ; + ∞ u u u u u u u u L L n n n n 0 0 0 0 n n n 0 − − 1; 1; 0 n n n n n n n n n"

Copied!
2
0
0

Texte intégral

(1)

Théorèmes de convergence sur les suites

1/ Théorèmes de comparaison.

Hypothèse 1

Inégalité valable à partir d’un certain rang

Hypothèse 2 Comportement en +∞

Conclusion

unvn lim

n→+∞un = +∞ lim

n→+∞vn = +∞

vnun lim

n→+∞un =−∞ lim

n→+∞vn =−∞

unvnwn lim

n→+∞un= lim

n→+∞wn =l lim

n→+∞vn =l

Démonstration du premier théorème (ROC) : reprendre la démonstration du théorème équivalent sur les fonctions, faire un schéma.

On rappelle la définition : la suite

( )

un admet +∞ pour limite quand n tend vers +∞, si tout intervalle ouvert du type

]

A;+∞

[

, avec A aussi grand que l’on veut, contient toutes les valeurs de un à partir d’un certain rang N.

2/ Rappel : comportement des suites géométriques.

Lemme :

(

1+a

)

n 1+na pour a réel positif et n entier naturel Démo : par récurrence

Théorème : Soit

( )

un une suite géométrique de raison q et de premier terme u0 positif.

Si q > 1 alors

( )

un diverge vers +∞ ;

Si q = 1 alors

( )

un est constante et converge vers u0; Si -1 < q < 1 alors

( )

un converge vers 0 ;

Si q = -1 alors

( )

un diverge, en alternant entre u0 et −u0;

Si q < -1 alors

( )

un diverge (en allant alternativement vers +∞ et -∞) ; Démonstrations : déjà faites, la 1ère est une ROC

3/ Convergence des suites monotones.

Théorème : Si une suite

( )

un est croissante et admet L pour limite, alors tous les termes de la suite sont inférieurs ou égaux à L.

Démonstration : par l’absurde. Supposons qu’il existe n0 tel que un0 >L (le contraire de la conclusion unL). Comme la suite admet L pour limite, l’intervalle L−1;un

⎤⎦ 0⎡⎣, qui est un intervalle ouvert contenant L, doit donc contenir tous les termes de la suite à partir d’un certain rang N.

Mais comme la suite est croissante, tous les termes tels que nn0 vérifient unun0 , et donc n’appartiennent pas à L−1;un

⎤⎦ 0⎡⎣. Absurde.

(2)

Théorème : toute suite croissante majorée converge.

Remarques :

• Théorème admis.

• De manière équivalente, toute suite décroissante minorée converge.

• Dans ce paragraphe, seul ce théorème est exigible en théorie. Dans les faits, les autres peuvent être utiles pour certains sujets du bac.

Théorème : une suite croissante non majorée admet +∞ pour limite.

Remarque : de même, une suite décroissante non minorée admet -∞ pour limite.

Démonstration : Soit A un réel quelconque, aussi grand que l’on veut. Dire que

( )

un est non majorée, cela signifie que un « dépasse » A pour un certain rang N (sinon

( )

un serait majorée par A). Comme de plus

un

( )

est croissante, on a unuN pour n ≥ N. Donc tous les termes de la suite

( )

un sont dans l’intervalle A;+∞

] [

à partir de N, CQFD (faire le schéma).

Remarque :

• pour vous entrainer, vous pouvez prouver le théorème : Toute suite convergente est bornée.

• La démonstration se fait par disjonction des cas :

o D’une part l’intervalle

]

l−1;l+1

[

contient tous les termes à partir d’un rang N (pourquoi ?) o et les premiers termes sont bornés par leur min et max.

• D’où la contraposée à écrire :

Références

Documents relatifs

Remarque : Ces résultats sont notamment utilisés en mécanique pour le travail exercé par une force lors d’un déplacement.. On dit que deux vecteurs

Dans chacun des cas suivants, calculer cos( AB , AC ) et déterminer la mesure principale en radians de l’angle ( AB , AC ).. On rappelle que les triangles formés par O et

[r]

[r]

On en déduit que le bénéfice actuel est inférieur au bénéfice maximum de

[r]

[2] Attention : cette question est à rendre par mail (e-lyco ou olivier.jaccomard@ac- nantes.fr), en envoyant le fichier fait sous Algobox (et donc pas un pdf, un doc, ou un

[r]