Lycée Saliège PCSI 2, 2021-2022 C) Raisonnement par récurrence

R AISONNEMENTS MATHÉMATIQUES
Objectif
⋆⋆ on considère une proposition P (n) portant sur un entier naturel n et on souhaite
I. Implication, équivalence ⋆⋆
⋆⋆ établir que cette proposition est vraie pour tout entier supérieur ou égal à un certain
L’implication A ⇒ B admet plusieurs expressions synonymes, à savoir : ⋆ entier n0 .
— Si A alors B,
— A est une condition suffisante pour B On procède théoriquement en trois étapes :
— B est une condition nécessaire pour A. — Initialisation : on vérifie que Pn0 est vraie.
— Hérédité : Soit n ≥ n0 . On montre que Pn ⇒ Pn+1 .
Remarque — Conclusion : on peut ainsi affirmer avoir démontré Pn pour tout entier n ≥ n0 .
Pour démontrer que A ⇔ B, on peut travailler par double implication : On a parfois à prouver une formule de récurrence double (il y a Pn+2 , Pn+1 et Pn ). Les
— il faut montrer l’implication directe A ⇒ B trois étapes sont :
— et sa réciproque B ⇒ A.
— Initialisation : on vérifie que P0 et P1 sont vraies.
— Hérédité : Soit n ≥ 0. On montre que (Pn et Pn+1 ) ⇒ Pn+2 .
— Conclusion : on peut ainsi affirmer avoir démontré Pn pour tout entier n ≥ 0.
La condition B est une condition nécessaire et suffisante à A (idem pour A CNS pour B).

II. Différents types de raisonnement D) Raisonnement par disjonction de cas

A) Raisonnement par contraposition Objectif

⋆ on veut prouver qu’une certaine proposition A est vraie.
Définition 1
Considérons l’implication A ⇒ B. L’implication non(B) ⇒ non(A) est dite contra- Principe : On effectue la démonstration en découpant en plusieurs cas (exemple : si n ∈ N,
posée de A ⇒ B. on peut faire les cas n pair, n impair ...)

E) Raisonnement par analyse-synthèse

Pour montrer l’implication A ⇒ B, on peut au choix utiliser l’implication directe ou la
contraposée.
Objectif
⋆⋆ on veut trouver l’ensemble des solutions d’une équation, montrer qu’il existe une
B) Raisonnement par l’absurde ⋆⋆ unique solution à un problème donné ...

Définition 2
La méthode pour traiter un tel problème est la suivante :
Le raisonnement par l’absurde consiste à supposer que la proposition P dont on veut — Analyse. On va supposer l’existence d’élements vérifiant la propriété et on en dé-
prouver qu’elle est vraie, est fausse. On veut ensuite en déduire une contradiction. duit leurs formes
— Synthèse. On teste les candidats obtenus.