Roc math
A l'attention du lecteur... Cette liste est non exhaustive et certaines autres démos de cours peuvent apparaître. Toujours penser à bien suivre les prérequis donnés par l'énoncé (qui ne sont pas nécessairement ceux donnés en classe pour des raisons de progression du cours)… L'auteur fournit une cote d'amour (qui n'engage que lui ! ) des démonstrations de théorèmes à connaître ou à maîtriser. ♥ ♥♥ ROC peu vraisemblable : il suffit d'avoir compris le principe ROC vraisemblable : il faut bien maîtriser le principe et savoir retrouver la méthode
♥♥♥ ROC probable : démonstration à savoir faire les yeux fermés et les mains attachés dans le dos...
Suites :
ROC 1 : Unicité de la limite d'une suite ♥♥
Prérequis : définition de la limite finie d'une suite Proposition : Si la suite (un ) a une limite finie L, alors cette limite L est unique. Démo : Par l'absurde Supposons que la suite (un ) admette deux limites distinctes L1 et L2 avec L1 < L2. On choisit un rayon ε suffisamment petit pour que les L1 L2 intervalles I 1= ] L 1− ε; L 1+ ε[ et I 2 = ] L 2 − ε; L 2 + ε[ soient ε ε disjoints (i.e. leur intersection est vide). La suite (un ) tend vers L1 donc à partir d'un certain rang N1, tous les termes un sont dans I 1 . La suite (un ) tend vers L2 donc à partir d'un certain rang N2, tous les termes un sont dans I 2 . Donc pour n supérieur à la fois à N1 et N2, un est à la fois dans I 1 et dans I 2 , ce qui impossible. Ce qui prouve que la limite est unique.
ROC 2 ♥♥
Prérequis : définition de la limite infinie d'une suite, d'une suite croissante, d'une suite majorée Proposition : Si une suite est croissante et non majorée alors elle diverge vers +∞ Démo : Soit (un ) une suite croissante et non majorée.
(un ) n'est pas majorée donc pour tout A > 0 , il existe n0 tel que un0 > A .
Or (un ) est croissante donc pour tout n ≥ n0 , un ≥ un0 > A . Donc pour tout A > 0 , il