Rédigé et vérifié par un professeur diplômé de l’École Polytechnique, avec le niveau d’exigence attendu en classe préparatoire. Découvrir le professeur
Face à un énoncé « Montrer que… », la vraie difficulté n’est presque jamais le calcul : c’est de choisir par quel bout attaquer. Direct ? Par l’absurde ? Par récurrence ? En prépa, un candidat perd des points non pas parce qu’il calcule mal, mais parce qu’il s’engage dans le mauvais type de raisonnement. Cette page est le carrefour du chapitre 1 des programmes de MPSI, PCSI, MP2I et PTSI : elle rassemble les 7 types de raisonnement, te donne un tableau de décision pour reconnaître lequel utiliser, et t’oriente vers chaque méthode détaillée. Tu y trouveras aussi le vocabulaire de la démonstration (axiome, lemme, corollaire), les erreurs de méthode qui coûtent cher, et des exercices corrigés.
I. Ce que « raisonner » veut dire en mathématiques
Raisonner, c’est enchaîner des propositions vraies pour en établir une nouvelle, sans jamais rien admettre d’autre que les axiomes et les résultats déjà démontrés. Trois objets fondent toute démonstration : la proposition, sa valeur de vérité, et l’implication qui relie une hypothèse à une conclusion.
Définition — Proposition et valeur de vérité
Une proposition est un énoncé mathématique auquel on peut attribuer sans ambiguïté une valeur de vérité : vraie (\(V\)) ou fausse (\(F\)). Ainsi « \(2\) est pair » est une proposition vraie, « \(\sqrt{2} \in \mathbb{Q}\) » une proposition fausse. En revanche « \(x\) est grand » n’est pas une proposition tant que \(x\) et « grand » ne sont pas définis.
À partir de propositions, on construit des énoncés composés à l’aide des connecteurs logiques (\(\neg\), \(\wedge\), \(\vee\), \(\Longrightarrow\), \(\Longleftrightarrow\)) et des quantificateurs (\(\forall\), \(\exists\)). Ces outils sont le socle du langage : ils font l’objet de pages dédiées, car les manipuler correctement (en particulier la négation) est la première compétence évaluée en colle. On y revient dans la section suivante.
La confusion à ne jamais faire : une implication \(P \Longrightarrow Q\) n’affirme rien sur la vérité de \(P\). Elle dit seulement : « si \(P\) est vraie, alors \(Q\) l’est ». Une implication à hypothèse fausse est toujours vraie. Démontrer \(P \Longrightarrow Q\) n’est pas démontrer \(Q\).
Une démonstration est une suite finie d’implications valides partant des hypothèses et aboutissant à la conclusion. Ce qui change d’un raisonnement à l’autre, c’est la stratégie employée pour construire cette chaîne : c’est précisément l’objet de cette page.
II. Le langage : symboles, connecteurs, quantificateurs
Avant de choisir une stratégie, il faut savoir écrire proprement ce que l’on veut démontrer. Deux briques sont incontournables et disposent chacune de leur cours complet sur le site.
A. Connecteurs et tables de vérité
Les connecteurs \(\neg\) (non), \(\wedge\) (et), \(\vee\) (ou), \(\Longrightarrow\) (implique) et \(\Longleftrightarrow\) (équivaut) se définissent rigoureusement par leur table de vérité. Retiens en particulier l’équivalence structurante \((P \Longrightarrow Q) \Longleftrightarrow (\neg P \vee Q)\), qui fonde le raisonnement par contraposée. Pour l’étude complète des tables, la négation d’une implication et les tautologies : voir le cours sur les tables de vérité et connecteurs logiques.
B. Quantificateurs
Les quantificateurs \(\forall\) (« pour tout ») et \(\exists\) (« il existe ») fixent la portée d’un énoncé. Leur ordre n’est pas commutatif : \(\forall x,\ \exists y,\ P(x,y)\) et \(\exists y,\ \forall x,\ P(x,y)\) ont des sens différents. La négation les échange : \(\neg\big(\forall x,\ P(x)\big) \Longleftrightarrow \exists x,\ \neg P(x)\). Cette règle est au cœur du raisonnement par contre-exemple. Détails et exercices sur la page dédiée aux quantificateurs ∀ et ∃, et sur les lois de De Morgan pour la négation des énoncés composés.
Réflexe de rédaction : avant toute démonstration, écris l’énoncé à prouver entièrement quantifié. Sa négation te donne immédiatement le point de départ d’un raisonnement par l’absurde ou d’une recherche de contre-exemple.
Les 7 raisonnements sur une seule fiche
Le tableau de décision, la négation des quantificateurs et le vocabulaire de la démonstration, prêts à réviser avant tes DS et tes colles.
📄 Télécharger la fiche PDFTout le chapitre 1 condensé en une page, à garder sous la main.
III. Les 7 types de raisonnement
Voici le cœur de cette page : le panorama des sept grandes stratégies de démonstration, et surtout le tableau de décision qui te dit laquelle déclencher selon la forme de l’énoncé. C’est l’outil que les dictionnaires et les cours classiques n’offrent jamais.
Le réflexe du bon élève : ne choisis pas ton raisonnement au hasard. La forme grammaticale de l’énoncé (« pour tout », « il existe un unique », « montrer que… est impossible », « déterminer tous les… ») t’indique presque toujours la stratégie à privilégier. Le tableau ci-dessous est à connaître par cœur.
| Indice dans l’énoncé | Raisonnement à déclencher | Idée directrice |
|---|---|---|
| « Montrer que \(P \Longrightarrow Q\) » | Direct (déduction) | On suppose \(P\), on enchaîne les implications jusqu’à \(Q\) |
| Implication difficile, hypothèse pauvre en info | Contraposée | Prouver \(\neg Q \Longrightarrow \neg P\) |
| « … est impossible », « irrationnel », « n’existe pas » | Absurde | Supposer le contraire, aboutir à une contradiction |
| « Pour tout \(n \in \mathbb{N}\), \(P(n)\) » | Récurrence | Initialisation + hérédité |
| Selon le signe, la parité, un intervalle | Disjonction de cas | Traiter séparément des cas exhaustifs |
| « La propriété est-elle vraie ? » (on doute) | Contre-exemple | Exhiber un objet qui la met en défaut |
| « Il existe un unique \(x\) tel que… » | Analyse-synthèse | Analyse (condition nécessaire) puis synthèse (vérification) |
A. Le raisonnement direct (déduction)
C’est le mode par défaut : on part des hypothèses et on avance par implications successives jusqu’à la conclusion. Pour prouver \(P \Longrightarrow Q\), on suppose \(P\) vraie et on construit une chaîne \(P \Longrightarrow R_1 \Longrightarrow \dots \Longrightarrow Q\). La plupart des démonstrations de calcul relèvent de ce schéma. On l’utilise dès que l’hypothèse fournit une information exploitable directement.
B. Le raisonnement par contraposée
Quand l’implication \(P \Longrightarrow Q\) est difficile à attaquer de front, on prouve sa contraposée \(\neg Q \Longrightarrow \neg P\), qui lui est logiquement équivalente. C’est souvent salvateur lorsque \(\neg Q\) est plus riche en information que \(P\) (typiquement « \(n^2\) pair \(\Longrightarrow n\) pair »). Méthode complète et exemples sur la page raisonnement par l’absurde et par contraposée.
C. Le raisonnement par l’absurde
Pour démontrer une proposition \(P\), on suppose \(\neg P\) et on en déduit une contradiction (\(0 = 1\), un objet à la fois pair et impair, etc.). L’archétype est l’irrationalité de \(\sqrt{2}\). Attention à ne pas confondre absurde et contraposée : le développement détaillé est traité sur la page dédiée à l’absurde et à la contraposée.
D. Le raisonnement par récurrence
Réservé aux propositions indexées par \(\mathbb{N}\) : on prouve \(P(n_0)\) (initialisation) puis \(\forall n \geq n_0,\ P(n) \Longrightarrow P(n+1)\) (hérédité). Il existe des variantes (récurrence double, forte). C’est LE raisonnement de la Terminale et de la Sup. Cours complet : le raisonnement par récurrence ; rédaction type : rédiger une démonstration par récurrence.
E. Le raisonnement par disjonction de cas
Quand une propriété ne se démontre pas uniformément, on partitionne le problème en cas exhaustifs que l’on traite séparément (par exemple selon le signe d’une expression, la parité d’un entier, ou les valeurs d’une valeur absolue). La rigueur exige que les cas couvrent toutes les situations. Méthode détaillée : disjonction de cas.
F. Le raisonnement par contre-exemple
Pour réfuter un énoncé universel « \(\forall x,\ P(x)\) », il suffit d’exhiber un seul \(x_0\) tel que \(P(x_0)\) soit fausse — c’est la négation d’un \(\forall\). Un contre-exemple ne prouve jamais une propriété, il ne fait que l’infirmer. Méthode « comment trouver un contre-exemple » : raisonnement par contre-exemple.
G. Le raisonnement par analyse-synthèse
Adapté aux problèmes d’existence et d’unicité (« il existe un unique… »). Dans la phase d’analyse, on suppose l’objet trouvé et on en déduit une forme nécessaire ; dans la synthèse, on vérifie que le candidat convient effectivement. C’est un raisonnement typiquement CPGE (décomposition d’une fonction en partie paire + partie impaire, par exemple). Voir raisonnement par analyse-synthèse.
Erreur de méthode classique : traiter un problème d’unicité par analyse-synthèse en oubliant la synthèse. L’analyse seule donne un candidat nécessaire mais pas suffisant. Sans la vérification, la démonstration est incomplète : le correcteur retire les points de l’existence.
IV. Conjecturer avant de démontrer
Une démonstration commence rarement par la démonstration. Elle commence par une conjecture : une affirmation qu’on pressent vraie, souvent après avoir observé des cas particuliers, calculé quelques termes ou tracé une courbe. Conjecturer est une compétence explicite des programmes du lycée (Seconde, Première).
Définition — Conjecture
Une conjecture est une proposition que l’on suppose vraie sur la base d’observations, mais qui n’a pas encore été démontrée. Tant qu’elle n’est pas prouvée, elle n’a aucune valeur de vérité établie : elle peut être confirmée par une démonstration (elle devient alors un théorème) ou infirmée par un contre-exemple.
Le piège n°1 vu en colle : croire que « ça marche pour \(n = 1, 2, 3\) » prouve la propriété. Trois exemples ne démontrent rien. Ils justifient qu’on conjecture, puis il faut démontrer. Certaines conjectures résistent des siècles avant d’être prouvées ou réfutées.
La frontière entre conjecture, hypothèse et théorème structure toute la démarche mathématique. Méthode complète, distinction conjecture / hypothèse, grandes conjectures (Fermat, Goldbach, Syracuse) et conjecture assistée par logiciel : voir la page conjecturer en maths.
V. Le vocabulaire de la démonstration
Théorème, proposition, lemme, corollaire, axiome, postulat : ces mots ne sont pas interchangeables. Les confondre en copie signale un défaut de maîtrise que les correcteurs de concours repèrent immédiatement. Voici la hiérarchie.
| Terme | Ce qu’on en fait | Place dans la démonstration |
|---|---|---|
| Axiome | On l’admet sans preuve | Point de départ de toute la théorie |
| Théorème | On le démontre | Résultat important, souvent nommé |
| Proposition | On la démontre | Résultat vrai, moins central qu’un théorème |
| Lemme | On le démontre | Résultat technique préparant un théorème |
| Corollaire | On le déduit | Conséquence quasi immédiate d’un théorème |
Attention à la polysémie : « corollaire » et « conjecture » ont aussi un sens courant. Distinction complète des six termes, axiome du choix et rédaction (où placer un lemme, comment annoncer un corollaire) : voir la page axiome, théorème, lemme, corollaire.
VI. Choisir son raisonnement : les erreurs de méthode
Le tableau de décision de la section III oriente ; encore faut-il éviter les fautes de méthode qui font échouer une démonstration pourtant bien engagée. Voici les trois plus fréquentes, telles qu’on les corrige en colle.
❌ Copie fautive : « Supposons par l’absurde que \(f\) est croissante… »
Diagnostic : l’élève confond absurde et contraposée. Il n’y a ici aucune implication à retourner : nier une conclusion ne suffit pas à justifier un raisonnement par l’absurde bien construit.
✅ Correction : identifier d’abord la forme de l’énoncé. Une implication \(P \Longrightarrow Q\) où \(\neg Q\) est exploitable \(\to\) contraposée. Une existence/impossibilité \(\to\) absurde.
Deuxième erreur classique : la disjonction non exhaustive. On traite le cas \(x \gt 0\) et le cas \(x \lt 0\) en oubliant \(x = 0\). Les cas doivent toujours recouvrir l’ensemble de définition.
Troisième erreur : utiliser un contre-exemple pour prouver. Un contre-exemple réfute un énoncé universel ; il ne peut jamais l’établir. Symétriquement, un exemple qui « marche » ne prouve pas un énoncé universel.
Le bon réflexe : avant d’écrire la première ligne, réponds à deux questions. Premièrement, quelle est la forme de l’énoncé (universel, existentiel, implication, unicité) ? Deuxièmement, l’hypothèse est-elle exploitable directement ? Ces deux réponses te désignent le raisonnement en quelques secondes.
VII. Logique et raisonnement selon ton niveau
Le même raisonnement ne s’exige pas de la même façon au lycée et en prépa. Voici la progression, du plus intuitif au plus rigoureux.
🟢 Lycée (Seconde – Terminale). On découvre les connecteurs, l’implication et l’équivalence, la récurrence en Terminale, le contre-exemple et la disjonction de cas (notamment en maths expertes). L’objectif est de conjecturer puis démontrer sur des cas concrets. La rédaction reste guidée.
🟡 Terminale maths expertes. On formalise davantage : négation d’énoncés quantifiés, disjonction de cas sur les congruences, premières démonstrations autonomes.
🔴 Prépa (MPSI, PCSI, MP2I, PTSI) et L1. Le chapitre 1 rassemble l’ensemble : quantificateurs manipulés symboliquement, analyse-synthèse pour l’existence et l’unicité, rigueur de rédaction évaluée en colle. Le raisonnement devient un objet d’étude à part entière, et non un simple outil.
Ce que le correcteur de concours attend : que ton choix de raisonnement soit annoncé (« Raisonnons par l’absurde », « Procédons par analyse-synthèse ») et que sa structure soit visible (initialisation/hérédité nettement séparées, cas numérotés, synthèse explicite). Un raisonnement juste mais mal structuré perd des points.
VIII. Exercices corrigés
Ces exercices ne testent pas le calcul : ils testent ta capacité à reconnaître et choisir le bon raisonnement. C’est exactement ce qui différencie un candidat rapide d’un candidat qui patine. Pour un entraînement complet (20 à 25 exercices étoilés avec PDF), rends-toi sur la page exercices de logique et raisonnement.
Exercice 1 ★ — Choisir le raisonnement. Pour chacun des énoncés suivants, indique le type de raisonnement le plus adapté, sans le rédiger :
a) « \(\sqrt{3}\) est irrationnel. »
b) « Pour tout \(n \in \mathbb{N},\ \displaystyle\sum_{k=0}^{n} k = \displaystyle\frac{n(n+1)}{2}\). »
c) « La fonction carré n’est pas croissante sur \(\mathbb{R}\). »
d) « Il existe un unique polynôme \(P\) de degré \(\leq 1\) tel que \(P(0)=1\) et \(P(1)=3\). »
Voir la correction de l’exercice 1
a) Absurde (impossibilité/irrationalité) : on suppose \(\sqrt{3} = \displaystyle\frac{p}{q}\) irréductible et on aboutit à une contradiction sur la parité.
b) Récurrence (énoncé universel sur \(\mathbb{N}\)).
c) Contre-exemple (réfuter un énoncé universel) : \((-2)^2 = 4 \gt 1\) alors que \(-2 \lt 1\).
d) Analyse-synthèse (existence et unicité).
Exercice 2 ★★ — Contraposée. Soit \(n \in \mathbb{N}\). Démontrer que si \(n^2\) est impair, alors \(n\) est impair.
Voir la correction de l’exercice 2
L’hypothèse « \(n^2\) impair » est peu maniable. On raisonne par contraposée : montrons que si \(n\) est pair, alors \(n^2\) est pair. Si \(n\) est pair, il existe \(k \in \mathbb{N}\) tel que \(n = 2k\). Alors \(n^2 = 4k^2 = 2(2k^2)\), donc \(n^2\) est pair. La contraposée étant établie, l’implication de départ est vraie. ∎
Exercice 3 ★★ — Disjonction de cas. Démontrer que pour tout \(n \in \mathbb{Z}\), le nombre \(n(n+1)\) est pair.
Voir la correction de l’exercice 3
On distingue deux cas exhaustifs selon la parité de \(n\).
Cas 1 : \(n\) pair, \(n = 2k\). Alors \(n(n+1) = 2k(2k+1)\), multiple de \(2\).
Cas 2 : \(n\) impair, \(n+1\) est pair, \(n+1 = 2k\). Alors \(n(n+1) = n \cdot 2k = 2(nk)\), pair.
Les deux cas couvrant tout \(\mathbb{Z}\), \(n(n+1)\) est toujours pair. ∎
Exercice 4 ★★★ — Analyse-synthèse. Montrer que toute fonction \(f : \mathbb{R} \to \mathbb{R}\) s’écrit de manière unique comme somme d’une fonction paire et d’une fonction impaire.
Voir la correction de l’exercice 4
Analyse. Supposons \(f = p + i\) avec \(p\) paire et \(i\) impaire. Alors pour tout \(x\) : \(f(x) = p(x) + i(x)\) et \(f(-x) = p(x) - i(x)\). En additionnant et soustrayant, on obtient nécessairement \(p(x) = \displaystyle\frac{f(x)+f(-x)}{2}\) et \(i(x) = \displaystyle\frac{f(x)-f(-x)}{2}\). Ceci prouve l’unicité.
Synthèse. Posons ces deux fonctions. On vérifie que \(p\) est paire, \(i\) impaire, et \(p + i = f\). L’existence est établie. Le couple \((p,i)\) existe et est unique. ∎
Exercice 5 ★★★ — Absurde. Démontrer qu’il n’existe pas de plus petit réel strictement positif.
Voir la correction de l’exercice 5
Raisonnons par l’absurde. Supposons qu’il existe un plus petit réel strictement positif, noté \(a\) : donc \(a \gt 0\) et pour tout \(x \gt 0\), on a \(a \leq x\). Considérons \(\displaystyle\frac{a}{2}\). Comme \(a \gt 0\), on a \(\displaystyle\frac{a}{2} \gt 0\), donc par hypothèse \(a \leq \displaystyle\frac{a}{2}\), ce qui donne \(a \leq 0\) : contradiction avec \(a \gt 0\). Il n’existe donc pas de plus petit réel strictement positif. ∎
IX. Questions fréquentes
C'est quoi un raisonnement en mathématiques ?
Un raisonnement mathématique est un enchaînement d’implications logiques valides partant des hypothèses (et des résultats déjà démontrés) pour aboutir à une conclusion. Selon la forme de l’énoncé à prouver, on choisit une stratégie : direct, par contraposée, par l’absurde, par récurrence, par disjonction de cas, par contre-exemple ou par analyse-synthèse.
Quels sont les différents types de raisonnement mathématique ?
On distingue sept grandes stratégies : le raisonnement direct (déduction), le raisonnement par contraposée, le raisonnement par l’absurde, le raisonnement par récurrence, le raisonnement par disjonction de cas, le raisonnement par contre-exemple et le raisonnement par analyse-synthèse. Chacune correspond à une forme d’énoncé précise, résumée dans le tableau de décision de cette page.
Comment savoir quel raisonnement utiliser ?
Regarde la forme de l’énoncé. « Pour tout \(n \in \mathbb{N}\) » appelle une récurrence. « Il existe un unique » appelle une analyse-synthèse. « Montrer que… est impossible/irrationnel » appelle l’absurde. Un énoncé qu’on veut réfuter appelle un contre-exemple. Une implication difficile appelle la contraposée. Une propriété dépendant du signe ou de la parité appelle une disjonction de cas.
Quelle est la différence entre le raisonnement par l'absurde et par contraposée ?
La contraposée démontre une implication \(P \Longrightarrow Q\) en prouvant sa forme équivalente \(\neg Q \Longrightarrow \neg P\) : on part de \(\neg Q\) pour arriver à \(\neg P\). L’absurde démontre une proposition \(P\) en supposant \(\neg P\) et en aboutissant à une contradiction. La contraposée ne suppose rien de faux ; l’absurde, si. On les confond souvent, mais leur logique diffère.
Un exemple suffit-il à prouver une propriété ?
Non. Un exemple ne prouve jamais un énoncé universel « pour tout \(x\) ». En revanche, un seul contre-exemple suffit à le réfuter, car c’est exactement la négation d’un « pour tout ». Trois exemples qui « marchent » justifient qu’on conjecture, jamais qu’on conclut.
Quelle est la différence entre un axiome et un théorème ?
Un axiome est admis sans démonstration : c’est un point de départ de la théorie. Un théorème est un résultat démontré à partir des axiomes et des résultats antérieurs. Un lemme est un résultat technique préparatoire, et un corollaire une conséquence quasi immédiate d’un théorème. La page vocabulaire de la démonstration détaille ces distinctions.
À quoi sert la logique en prépa ?
La logique est le chapitre 1 des programmes de MPSI, PCSI, MP2I et PTSI parce qu’elle conditionne tout le reste : sans manipulation correcte des quantificateurs, de la négation et des types de raisonnement, impossible de rédiger rigoureusement une démonstration d’analyse ou d’algèbre. C’est un investissement qui rapporte pendant deux ans.
Pour aller plus loin
Tu maîtrises maintenant le panorama des raisonnements et le tableau de décision qui les déclenche. Récupère la fiche de révision pour garder l’essentiel sous la main avant tes DS et colles :
- 20 exercices corrigés d’ensembles, applications et relations (Prépa)
- Théorème Fondamental de l’Arithmétique : Cours, Démonstration et Exercices Corrigés
- Continuité d’une Fonction (Tle) : Cours et Méthodes
- Injection, surjection et bijection : cours complet, méthodes et exercices
📄 Révise 2× plus vite — fiche PDF
Pour approfondir et t’entraîner :
- 20 exercices corrigés d’ensembles, applications et relations (Prépa)
- Théorème Fondamental de l’Arithmétique : Cours, Démonstration et Exercices Corrigés
- Continuité d’une Fonction (Tle) : Cours et Méthodes
- Injection, surjection et bijection : cours complet, méthodes et exercices
