Lycée · Terminale · Spécialité Mathématiques
Raisonnement par récurrence
Démontrer une propriété pour tout entier naturel : initialisation, hérédité, applications aux suites (programme de Terminale spécialité maths)
À propos de cette page
Exercices corrigés, classés du plus simple au plus complexe. Cherche d'abord seul au brouillon, puis déplie la correction détaillée pour vérifier ta méthode et tes raisonnements.
Exercice 1 — Somme des premiers entiers impairs
FacilePour tout entier , on note la somme des premiers entiers impairs.
- a) Calculer , , et , puis conjecturer une expression simple de en fonction de .
- b) Écrire l'hypothèse de récurrence au rang et l'égalité à démontrer au rang .
- c) Démontrer la conjecture par récurrence.
a) , , , . On reconnaît les carrés parfaits : on conjecture pour tout .
b) Hypothèse de récurrence au rang : . À démontrer au rang : (le terme suivant est ).
c) Soit : « ».
Initialisation. : est vraie.
Hérédité. Soit tel que . Alors : est vraie.
Conclusion. est vraie et est héréditaire : par le principe de récurrence, pour tout entier .
Exercice 2 — Formule explicite d'une suite
FacileOn considère la suite définie par et, pour tout entier naturel , .
- a) Calculer , et .
- b) Vérifier que ces valeurs sont compatibles avec la formule .
- c) Démontrer par récurrence que pour tout entier naturel , .
a) ; ; .
b) ; ; ; . La formule est compatible avec les quatre premiers termes, ce qui n'est pas encore une démonstration.
c) Soit : « ».
Initialisation. : est vraie.
Hérédité. Soit tel que . Alors : est vraie.
Conclusion. Par le principe de récurrence, pour tout entier naturel .
Exercice 3 — Divisibilité
FacilePour tout entier naturel , on pose .
- a) Calculer , , et vérifier que chacun est divisible par .
- b) Démontrer par récurrence que pour tout entier naturel , est divisible par .
- c) En déduire le reste de la division euclidienne de par .
a) ; ; . Les trois sont divisibles par .
b) Soit : « il existe un entier tel que ».
Initialisation. : est vraie.
Hérédité. Soit tel que avec entier. Alors . Comme est un entier, est divisible par : est vraie.
Conclusion. Par récurrence, est divisible par pour tout .
c) D'après b), pour un certain entier , donc avec . Le reste de la division de par est .
Exercice 4 — Suite minorée et décroissante
MoyenOn considère la suite définie par et, pour tout entier naturel , .
- a) Calculer et (valeurs arrondies au centième).
- b) Démontrer que pour tout entier naturel , .
- c) Démontrer que pour tout entier naturel , .
- d) En déduire que pour tout entier naturel , .
a) ; .
b) Soit : « ».
Initialisation. .
Hérédité. Soit tel que . Alors , et comme la fonction racine carrée est croissante sur , , soit .
Conclusion. Pour tout , : la suite est minorée par .
c) Soit : « ».
Initialisation. : est vraie.
Hérédité. Soit tel que . Alors ; ces deux nombres sont positifs d'après b), et la racine carrée est croissante, donc , c'est-à-dire : est vraie.
Conclusion. La suite est décroissante.
d) La suite est décroissante, donc pour tout , . Avec b), on obtient pour tout : la suite est bornée.
Exercice 5 — Une inégalité vraie à partir d'un certain rang
Moyen- a) Vérifier que l'inégalité est fausse pour , , , et vraie pour .
- b) Montrer que pour tout entier , .
- c) Démontrer par récurrence que pour tout entier , .
a) : et , pas d'inégalité stricte. : . : . : . L'inégalité est fausse pour et vraie pour .
b) . Pour , , donc . Ainsi pour tout .
c) Soit : « », pour .
Initialisation. : est vraie.
Hérédité. Soit tel que . Alors . Or , donc d'après b), . D'où : est vraie.
Conclusion. Par récurrence, pour tout entier . Le rang de départ est indispensable : l'hérédité est valable dès , mais la propriété est fausse en et .
Exercice 6 — Somme des carrés
MoyenPour tout entier , on pose .
- a) Calculer , , et vérifier que ces valeurs coïncident avec .
- b) Démontrer par récurrence que pour tout entier , .
- c) Calculer .
a) , , . Formule : ; ; . Les valeurs coïncident.
b) Soit : « ».
Initialisation. Vue en a) : est vraie.
Hérédité. Soit tel que est vraie. Alors . Or , donc , ce qui est bien la formule au rang puisque .
Conclusion. Par récurrence, pour tout .
c) .
Exercice 7 — Suite arithmético-géométrique
MoyenOn considère la suite définie par et, pour tout entier naturel , .
- a) Calculer , et .
- b) Démontrer par récurrence que pour tout entier naturel , .
- c) En déduire que pour tout , puis que la suite est décroissante.
- d) Déterminer le plus petit entier tel que .
a) ; ; .
b) Soit : « ».
Initialisation. .
Hérédité. Soit tel que . Alors : est vraie.
Conclusion. Pour tout , .
c) pour tout , donc . De plus : la suite est décroissante.
d) équivaut à . Or et . Comme croît avec , le plus petit entier convenable est .
Exercice 8 — Analyser deux copies d'élèves
DifficileCopie A. Pour montrer que « est divisible par », un élève écrit : « Supposons vraie : . Alors , donc est vraie. Par récurrence, est divisible par pour tout . »
Copie B. Pour la suite définie par et , un élève écrit : « Supposons que pour tout entier , . Alors . Comme , la formule est vraie pour tout . »
- a) Le calcul d'hérédité de la copie A est-il correct ? La conclusion est-elle vraie ? Expliquer.
- b) Montrer que est impair pour tout entier naturel . Qu'en déduire pour la propriété de la copie A ?
- c) Quelle est l'erreur de rédaction de la copie B ? La formule est-elle vraie pour autant ?
- d) Rédiger correctement la démonstration de la copie B.
a) Le calcul est juste : , et si alors . La propriété est donc bien héréditaire. Mais l'élève n'a jamais fait d'initialisation : n'est pas divisible par . La conclusion est fausse : une hérédité sans initialisation ne démontre rien.
b) est un produit de nombres impairs, donc impair ; est la somme d'un impair et d'un pair, donc impair. Un nombre impair n'est jamais divisible par : la propriété « divisible par » est fausse pour tout , bien qu'elle soit héréditaire. Aucune initialisation n'est possible, à aucun rang.
c) L'élève écrit « supposons que pour tout entier , » : il suppose exactement ce qu'il veut démontrer (erreur de quantificateur). L'hypothèse de récurrence doit porter sur un entier fixé. Malgré la rédaction fautive, la formule est vraie : , , et le calcul d'hérédité est exact.
d) Soit : « ».
Initialisation. : est vraie.
Hérédité. Soit un entier tel que . Alors : est vraie.
Conclusion. est vraie et est héréditaire : par le principe de récurrence, pour tout entier naturel .
Exercice 9 — Récurrence à deux pas
DifficileOn considère la suite définie par , et, pour tout entier naturel , .
- a) Calculer et .
- b) Vérifier que , , et sont donnés par la formule .
- c) Expliquer pourquoi la propriété : « » ne peut pas être démontrée par une récurrence simple avec l'hypothèse seule.
- d) Démontrer par récurrence que pour tout entier naturel , la propriété : « et » est vraie.
- e) En déduire la valeur de .
a) ; .
b) ; ; ; . La formule convient pour les quatre premiers termes.
c) Le calcul de fait intervenir deux termes précédents, et . Savoir seulement que ne dit rien sur , donc on ne peut pas calculer : l'hérédité est impossible à établir. Il faut une hypothèse portant sur deux rangs consécutifs.
d) Initialisation. : et , vrai d'après b).
Hérédité. Soit tel que est vraie : et . Alors . Ainsi (hypothèse) et : est vraie.
Conclusion. Par récurrence, est vraie pour tout , donc pour tout entier naturel .
e) .
Exercice 10 — Encadrement et convergence très rapide
DifficileOn considère la suite définie par et, pour tout entier naturel , .
- a) Calculer et sous forme de fractions.
- b) Démontrer que pour tout entier naturel , .
- c) En déduire le sens de variation de la suite .
- d) Montrer que pour tout , , puis démontrer par récurrence que .
- e) À partir de quel rang a-t-on ?
a) ; .
b) Soit : « ».
Initialisation. .
Hérédité. Soit tel que . Alors , donc comme produit de deux nombres strictement positifs. De plus car , donc . Ainsi .
Conclusion. Pour tout , .
c) . D'après b), et , donc : la suite est strictement croissante.
d) L'identité a été établie dans l'hérédité de b). Soit : « ».
Initialisation. .
Hérédité. Si , alors .
Conclusion. Pour tout , . (Vérification : donne .)
e) On cherche . Or et . Il faut donc , soit : à partir du rang , l'écart à est inférieur à . La suite converge extrêmement vite : le nombre de décimales exactes double à chaque étape.
Moi c'est Ben, j'ai créé ce site pour aider le plus d'élèves possible, partout en France. Je peux aussi reprendre avec toi ce qui coince en cours particulier : en visio, ou à domicile si tu es à Marseille.
Prof de maths à Marseille · Cours particuliers au lycée · Aide aux devoirs