Raisonnement par récurrence
Apprends à démontrer une propriété pour tout entier naturel avec le raisonnement par récurrence : initialisation, hypothèse de récurrence, hérédité et conclusion.
Définition
- 1.Initialisation : est vraie.
- 2.Hérédité : pour tout , si est vraie, alors est vraie aussi. La supposition " est vraie" s'appelle l'hypothèse de récurrence.
Essaie tout de suite
Exemples résolus
Démontre que pour tout .
Initialisation : vérifie
Membre de gauche : . Membre de droite : → est vraie
Hypothèse de récurrence : suppose pour un
Supposons → On peut utiliser cette égalité
Hérédité : ajoute le terme suivant aux deux membres
→
Compare avec
affirme que la somme vaut → est vraie
Réponse: Par récurrence, pour tout . Par exemple, .
Erreurs courantes
Oublier l'initialisation
Pourquoi c'est faux: L'hérédité seule ne démontre rien : elle dit seulement que SI un domino tombe, le suivant tombe aussi. Exemple : l'affirmation fausse a une hérédité qui fonctionne, mais pour le membre de gauche vaut et celui de droite vaut .
Correct: Vérifie toujours le premier cas explicitement. Sans premier domino qui tombe, rien ne tombe.
Supposer ce que l'on veut démontrer
Pourquoi c'est faux: Écrire "supposons vraie pour tout " ou "supposons " est un raisonnement circulaire : on suppose la conclusion.
Correct: Suppose pour UNE valeur (l'hypothèse de récurrence) et démontre à partir d'elle.
Une erreur de calcul dans l'hérédité
Pourquoi c'est faux: Une erreur courante consiste à ajouter le mauvais terme suivant, par exemple au lieu de dans la somme des nombres impairs, ou à oublier d'ajouter le nouveau terme d'un côté.
Correct: Écris d'abord en entier (remplace chaque par ), puis travaille pour arriver exactement à cette expression.
Croire que vérifier beaucoup de cas est une démonstration
Pourquoi c'est faux: L'expression donne des nombres premiers pour , mais pour elle donne , qui n'est pas premier.
Correct: Les exemples aident à deviner une formule. Seules l'initialisation et l'hérédité la démontrent pour tout .
Visuel interactif
Explorateur de suites
Formule
a_n = 1 + 2(n - 1) = 2n - 1S_8 = 8/2 × (2×1 + 7×2) = 64Sommes partielles
1
9
19
39
Explorateur de suites
Formule
a_n = 1 × 2^(n-1)S_8 = 1 × (1 - 2^8) / (1 - 2) = 255Sommes partielles
|r| ≥ 1 : les sommes partielles ne se rapprochent d'aucune valeur, la série infinie n'a pas de somme.
1
16
512
524 288
Bac à sable interactif
Calculatrice d'expressions
Essaie ceux-ci :
Historique
Aucun calcul pour l'instant
Exercices pratiques
18 exercicesQuelles sont les deux parties que doit contenir toute démonstration par récurrence ?
Pourquoi c'est important
- Formules de sommes : tu peux démontrer que découle d'une formule générale et non du hasard
- Informatique : les programmeurs démontrent que les boucles et les fonctions récursives donnent le bon résultat pour toute taille de données
- Des motifs qui semblent vrais : un motif vérifié dans 40 cas peut échouer au 41e ; la récurrence indique quand un motif est vraiment vrai pour toujours
- Énigmes et jeux : les tours de Hanoï, les problèmes de pavage et beaucoup d'exercices de concours se résolvent par récurrence
- Mathématiques supérieures : presque tous les domaines des mathématiques utilisent la récurrence quelque part
Applications dans le monde réel
Vérifier des programmes informatiques
Les programmeurs utilisent la récurrence pour démontrer qu'une boucle donne la bonne réponse après n'importe quel nombre de tours : si c'est juste après $k$ tours, c'est juste après $k+1$ tours.
Exemple:
Une boucle ajoute à un total. La récurrence démontre qu'après tours, le total vaut .
Un programme additionne les nombres de à dans une boucle.
Quel total le programme affiche-t-il ?
Étape 1 : Écris l'expression mathématique
Utilise avec :
Les tours de Hanoï
Dans ce casse-tête, tu déplaces une pile de disques sur une autre tige, un disque à la fois, sans jamais poser un grand disque sur un plus petit. La récurrence démontre qu'il faut $2^n - 1$ coups pour $n$ disques.
Exemple:
Pour déplacer disques, on déplace les disques du haut, puis le plus grand disque, puis on remet les disques par-dessus : coups.
Une tour a disques. Déplacer disques demande coups.
Combien de coups faut-il pour disques ?
Étape 1 : Écris l'expression mathématique
Utilise coups pour 6 disques (coups pour 5 disques) :
Les grains de riz sur l'échiquier
Une vieille légende : on pose $1$ grain de riz sur la première case, $2$ sur la deuxième, $4$ sur la troisième, en doublant à chaque fois. La somme des puissances de 2 donne le total.
Exemple:
Sur les premières cases, il y a grains.
Tu remplis les premières cases. La case contient grains.
Combien de grains y a-t-il en tout sur les premières cases ?
Étape 1 : Écris l'expression mathématique
Utilise avec :
Points clés
- 1Le raisonnement par récurrence démontre une propriété pour tout entier à partir d'une valeur de départ
- 2Initialisation : montre que le premier cas, souvent , est vrai
- 3Hypothèse de récurrence : suppose que est vraie pour un quelconque
- 4Hérédité : utilise l'hypothèse pour démontrer
- 5Conclusion : comme une rangée de dominos, la propriété est vraie pour tout
- 6Les deux parties sont nécessaires : une hérédité sans initialisation, ou quelques cas vérifiés sans hérédité, ne démontrent rien
Questions fréquentes
Glossaire
- Raisonnement par récurrence
- Une méthode de démonstration qui prouve pour tout entier à partir d'une valeur de départ, grâce à une initialisation et une hérédité
- Initialisation
- Le premier cas de la propriété, souvent , vérifié directement
- Hypothèse de récurrence
- La supposition que est vraie pour un entier quelconque
- Hérédité
- La démonstration que implique pour tout à partir de la valeur de départ
- P(n)
- La propriété que l'on veut démontrer, écrite en fonction de l'entier
- Conclusion
- La dernière phrase d'une démonstration par récurrence : est vraie pour tout à partir de la valeur de départ
Carte des formules
Principe de récurrence
Initialisation plus hérédité démontrent la propriété pour tout $n$
Somme des n premiers entiers
Pour $n = 5$ : $15$
Somme des n premiers nombres impairs
Pour $n = 5$ : $25$
Somme des puissances de 2
Pour $n = 6$ : $127$