Raisonnement par récurrence – Exercice corrigé © SOS DEVOIRS CORRIGES (marque d
Raisonnement par récurrence – Exercice corrigé © SOS DEVOIRS CORRIGES (marque déposée) 1 Imageons le principe du raisonnement par récurrence par la chute d’une suite de dominos, deux à deux régulièrement espacés. Si un premier domino tombe alors le domino suivant tombera et, par propagation en chaîne, tous les dominos suivants tomberont. Le raisonnement par récurrence comporte deux phases successives : 1) prouver qu’un premier domino tombe (initialisation) 2) établir que, si le domino tombe, alors le domino suivant, c’est-à-dire le domino, tombera (hérédité) Rappel : Principe du raisonnement par récurrence Soit une proposition définie sur un intervalle de . Soit . Si : 1) la proposition est initialisée à un certain rang , c’est-à-dire si est vraie au rang 2) la proposition est héréditaire à partir du rang , c’est-à-dire si, pour tout tel que , on a l’implication Alors : 3) La proposition est vraie à partir de tout rang plus grand que . On vérifie que est vraie On suppose que est vraie On vérifie alors que est vraie On conclut que, pour tout entier naturel , est vraie 1ère étape Initialisation 2ème étape Hérédité 3ème étape Conclusion rang rang rang Raisonnement par récurrence Exercice corrigé Introduction Une proposition est un énoncé, soit vrai, soit faux. Raisonnement par récurrence – Exercice corrigé © SOS DEVOIRS CORRIGES (marque déposée) 2 Démontrer que, pour tout entier naturel non nul, Soit la proposition définie sur par : Démontrons par récurrence que la proposition est vraie pour tout entier naturel non nul. 1) Initialisation : D’une part, on a : D’autre part, on a : Ainsi, on a : Donc est vraie, c’est-à-dire que la proposition est initialisée au rang . 2) Hérédité : Montrons que, pour tout , . C’est-à-dire supposons vraie au rang et montrons que, si est vraie, alors est vraie. Nous voulons donc aboutir à l’égalité suivante : ( ) Exercice 1 (1 question) Niveau : facile Correction de l’exercice 1 ∑ On peut simplifier l’écriture de l’expression à l’aide du symbole ∑ Raisonnement par récurrence – Exercice corrigé © SOS DEVOIRS CORRIGES (marque déposée) 3 Supposons vraie, c’est-à-dire supposons que : ⏟ Au rang , on a : ⏟ ⏟ ( ) ( ) Posons le discriminant du trinôme du second degré d’inconnue . . Comme , le trinôme est factorisable et admet deux racines réelles distinctes et telles que : √ √ Par ailleurs, est factorisable et on a : ( ) ⏟ ( ) Ainsi, ( ) On a donc bien vraie. On vient donc de montrer que, pour tout , si est vraie au rang , alors est vraie au rang . Autrement dit, la proposition est héréditaire. 3) Conclusion : On vient d’établir que est vraie et que, pour tout , . Autrement dit, on vient de montrer que la proposition est initialisée au rang et est héréditaire donc, d’après le principe du raisonnement par récurrence, la proposition est vraie pour tout entier naturel non nul. En définitive, quel que soit , on a par conséquent : uploads/Philosophie/ raisonnement-par-recurrence-exercice-corrige-pdf.pdf
Documents similaires
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/8kJlWA8pkUuRuoh1WegsMsXeSUZTrE5PbrwMOaIWUAE2NH3AKrQ3PAXD2EKpcYVmENJjV6cqVo20ra4lVaLlBvR4.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/cDyz1NDuv0yGfaVgAxuksL7ciDtywUWIYL10KUk2V7od7xmVWsmXoxtkTTz8Fk1aTeJmSuReDA0RLmD4HybOvkBX.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/KAutFWg2O2wkR1R2ZLgk9BRnv1oDPyPhj8zLQJMt4VuyJmao9nO7DLCNxrgTUC060bARbvYBxHfoYMyKEtnNQVu2.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/CQ5UipdbzYLdPGVtmAgCUhEwh3XNcR8HBHxytBFLmTYmzJ4JmGzneM6OneF6lKPxwU0HZBSBuG3IIUgEXqc1MByo.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/aE4s8IFMCDtXI9y9L7P3a2nVE4kfj0Ph5xs8HmxvORcaxBuA1D2clVUNqikrrxUVR95shkbnyxso0TIMPNuB2PJu.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/6hdSIl7MOyEqLJuQWVWCezA8MhxsxgmXjfTiiQUJpmlzXr4YAAeqsPsUNMj6Seg2NAfkciKWcUifZpeBnKk59pd0.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/zBJQtYR6VHJpetZcpoVgfwUBNF0OTiFvFMyn1arkoFF5vvmLqkoy4mc0E6czBp5OErBS922pIs8p3em7Yco3oNjQ.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/X45DKpmsb3yOl1nnoRXoY7hm11tiRcQGZm9GVc6DRriNrRuYdOgRCQHWoPcgR635xNfTSStPzatcHqvMetE02O3q.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/1HiRGedVjagc9yXppCU35kObNayuCTKp9Ccdc20ucaPDs6e1lLLxZ2uYtfu4BRcUoALCYhG8u2DInd8h8HUhiYwl.png)
![](https://b3c3.c12.e2-4.dev/disserty/uploads/preview/Lnpfm7wmxgyTjb86l8bHfXV6M6U4MV0WOlGDWONEB4debgWLvOAVeJRIThu7527Gaviam73nLTXBXudQxxej0hNA.png)
-
24
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Attribution requise- Détails
- Publié le Jan 01, 2022
- Catégorie Philosophy / Philo...
- Langue French
- Taille du fichier 0.3695MB