Exemple 1 — Une limite par la définition
Montrer, avec la définition, que tend vers .
Corrigé
Pour tout :
Soit et . Pour , on a , donc . Ainsi .
Mathématiques · Analyse 1 · chapitre 1 sur 6
Analyse 1, semestre 1 — programme commun ENSA, ENSAM, FST, FS, EST, APESA et CPGE
Le chapitre des suites est le premier contact avec la définition rigoureuse de la limite, celle qui utilise epsilon. Le reste de l'Analyse 1 s'appuie dessus : limites de fonctions, continuité, approximations. L'objectif est de savoir prouver une convergence, pas seulement de la deviner.
Sur MC² : 17 vidéos · 3 h 57 · 3 résumés de cours · 3 séries d'exercices corrigés du cours
Passer à la limite avant de savoir que la limite existe
On lit : « , donc à la limite , d'où ». Le calcul ne prouve rien : il dit seulement que si la suite converge, sa limite vaut . Avec et , le même raisonnement « donnerait » , donc , alors que la suite tend vers .
La bonne rédaction suit trois temps :
Montrer, avec la définition, que tend vers .
Corrigé
Pour tout :
Soit et . Pour , on a , donc . Ainsi .
On pose et . Montrer que converge et trouver sa limite.
Corrigé
Bornes. Montrons par récurrence que . C'est vrai pour . Si , alors , donc , et .
Monotonie. Pour :
Donc : la suite est croissante.
Limite. Croissante et majorée par , elle converge vers un réel . La fonction est continue en ; en passant à la limite, , soit . Comme , .
Montrer que la suite diverge.
Corrigé
On sépare les termes pairs et impairs :
Si convergeait vers , toutes ses suites extraites tendraient vers , donc et : impossible. La suite diverge, bien qu'elle soit bornée : « bornée » ne suffit pas pour converger.
Andek chi soual ?
Non. La suite (-1)^n est bornée et diverge. En revanche, une suite bornée admet toujours une suite extraite convergente (théorème de Bolzano-Weierstrass), et une suite monotone et bornée converge.
Il prouve qu'une suite converge sans connaître sa limite : il suffit que ses termes se rapprochent les uns des autres. Dans R, être de Cauchy et converger sont équivalents ; dans Q, ce n'est plus vrai, ce qui montre le rôle de la complétude de R.
On part de l'inégalité voulue, |u_n − ℓ| inférieur ou égal à epsilon, et on la résout en n, en majorant d'abord |u_n − ℓ| par une expression plus simple si besoin. On obtient une condition du type n supérieur à une quantité qui dépend d'epsilon, et on prend pour N la partie entière de cette quantité, plus un si nécessaire.
Oui. Sur MC² Academy, le chapitre « Suites numériques » du module Analyse 1 compte 17 vidéos (3 h 57), 3 résumés, 9 séries d'exercices corrigés, 3 QCM (30 questions) et 3 polys rédigés. L'inscription est gratuite.
Ton compte est gratuit, sans carte bancaire : tu retrouves le module Analyse 1 et tout ton programme.