Rédigé et vérifié par un professeur diplômé de l’École Polytechnique. Découvrir le professeur
Comment prouver qu’une chose est tout simplement impossible ? Comment démontrer qu’aucun nombre rationnel n’est égal à \(\sqrt{2}\), ou qu’il existe une infinité de nombres premiers ? Pour ces questions, l’attaque directe échoue souvent. Le raisonnement par l’absurde est alors l’arme idéale : on suppose le contraire de ce qu’on veut prouver, et on montre que cela mène à une contradiction. Dans cet article, tu vas comprendre le principe, apprendre une méthode en 4 étapes, voir des exemples résolus du lycée à la prépa, et savoir quand préférer la contraposée.
I. Le principe du raisonnement par l’absurde
L’idée est élégante et redoutablement efficace : pour montrer qu’une proposition est vraie, on commence par faire semblant de croire qu’elle est fausse. Si cette hypothèse mène à une impossibilité, à une contradiction logique, c’est qu’elle ne tient pas debout : la proposition de départ était donc bien vraie.
Principe — Raisonnement par l’absurde
Pour démontrer qu’une proposition \(P\) est vraie, on suppose que \(P\) est fausse (on suppose « non \(P\) »). À partir de cette hypothèse, on déduit logiquement une contradiction : un énoncé manifestement faux (par exemple \(0 = 1\), ou « \(n\) est à la fois pair et impair »).
Puisque supposer « non \(P\) » conduit à l’impossible, c’est que « non \(P\) » est fausse. Donc \(P\) est vraie. ∎
Une image aide à retenir le mécanisme : tu poses une hypothèse comme on lance un ballon d’essai, puis tu observes qu’elle fait exploser toute la logique. Le ballon est forcément troué : on le rejette, et la vérité opposée s’impose.
Comment retenir : raisonner par l’absurde, c’est dire « supposons que ce soit faux… eh bien c’est impossible ! ». Le mot-clé qui doit apparaître sur ta copie est « contradiction » (ou « absurde »), une fois la contradiction atteinte.
Cette technique s’appuie sur la logique des propositions. Si tu veux revoir comment fonctionnent la négation et les connecteurs (« et », « ou », implication), regarde le cours sur les tables de vérité. Et pour nier proprement un énoncé contenant « pour tout » ou « il existe », le cours sur les quantificateurs est un prérequis très utile.
II. Absurde, contraposée ou autre méthode ?
Le raisonnement par l’absurde n’est qu’une technique parmi d’autres. Avant de te lancer, pose-toi la bonne question : quelle est la forme de ce que je dois prouver ? Souvent, une méthode plus directe existe.
A. La contraposée, cousine proche
La contraposée est une méthode très voisine, qu’on confond souvent avec l’absurde. Elle ne s’applique que pour démontrer une implication du type « si \(P\) alors \(Q\) ».
Propriété — Contraposée
L’implication « \(P \Rightarrow Q\) » est logiquement équivalente à sa contraposée « (non \(Q\)) \(\Rightarrow\) (non \(P\)) » :
\((P \Rightarrow Q) \Leftrightarrow (\mathrm{non}\ Q \Rightarrow \mathrm{non}\ P)\)
Pour démontrer « \(P \Rightarrow Q\) », il suffit donc de démontrer « non \(Q \Rightarrow\) non \(P\) ».
Exemple classique : pour prouver « si \(n^2\) est pair alors \(n\) est pair », on démontre la contraposée « si \(n\) est impair alors \(n^2\) est impair », bien plus simple à calculer directement.
B. Quand utiliser quelle méthode ?
Voici un tableau de décision pour ne plus jamais hésiter. Garde-le en tête : la moitié du travail consiste à choisir la bonne arme.
| Méthode | Forme à démontrer | Idée | Quand l’utiliser |
|---|---|---|---|
| Raisonnement direct | \(P \Rightarrow Q\) | On part de \(P\) et on déroule jusqu’à \(Q\) | Par défaut, dès que c’est possible |
| Par l’absurde | N’importe quelle proposition \(P\) | On suppose « non \(P\) » et on cherche une contradiction | Pour prouver une impossibilité, une unicité, ou « il n’existe pas » |
| Par contraposée | Uniquement \(P \Rightarrow Q\) | On démontre « non \(Q \Rightarrow\) non \(P\) » | Quand la négation de \(Q\) est plus facile à manipuler |
| Par contre-exemple | Réfuter « pour tout \(x\), … » | On exhibe un seul cas qui met l’énoncé en défaut | Pour montrer qu’une affirmation universelle est fausse |
| Disjonction de cas | Toute proposition | On découpe en cas (pair/impair, signes…) | Quand l’objet a plusieurs « formes » possibles |
| Par récurrence | « Pour tout entier \(n\), \(P(n)\) » | Initialisation + hérédité | Propriété indexée sur les entiers naturels |
La fiche-méthode « Absurde & Contraposée » en recto-verso
Le tableau de décision, la méthode en 4 étapes et les pièges classiques, prêts à imprimer pour réviser avant un contrôle.
📄 Télécharger la fiche PDFGratuit — pour ne plus jamais hésiter sur la méthode à choisir.
Le bon réflexe : si tu dois prouver une implication « si… alors… », essaie d’abord la contraposée (elle donne une démonstration plus propre que l’absurde). Garde l’absurde pour les énoncés du type « il n’existe pas », « est irrationnel », « est unique ».
Pour réfuter une affirmation universelle, c’est le contre-exemple qu’il faut. Et pour les propriétés portant sur tous les entiers, c’est le raisonnement par récurrence qui prend le relais.
III. La méthode pas à pas en 4 étapes
Maintenant que tu sais quand l’utiliser, voici la marche à suivre pour rédiger un raisonnement par l’absurde sans te tromper.
- Identifier la proposition \(P\) à démontrer. Écris clairement ce que tu veux prouver.
- Supposer « non \(P\) ». Énonce explicitement l’hypothèse contraire, en commençant par « Supposons par l’absurde que… ». C’est ton point de départ provisoire.
- Dérouler les déductions. À partir de cette hypothèse, enchaîne les déductions logiques correctes, jusqu’à atteindre un énoncé impossible.
- Conclure. Annonce la contradiction (« ce qui est absurde »), rejette l’hypothèse, et affirme que \(P\) est vraie.
Point crucial : bien nier la proposition de départ. Nier « tout élément est positif », ce n’est pas « tout élément est négatif » mais « il existe un élément qui n’est pas positif ». C’est là que les lois de De Morgan et les quantificateurs sont indispensables.
IV. Exemples résolus
Place à la pratique, du plus simple au plus exigeant. Repère les badges de niveau pour t’orienter.
A. 🔵 Lycée — \(\sqrt{2}\) est irrationnel
Exemple : Démontrer que \(\sqrt{2}\) n’est pas un nombre rationnel.
Étape 1 — Proposition : \(\sqrt{2}\) est irrationnel.
Étape 2 — Hypothèse contraire : supposons par l’absurde que \(\sqrt{2}\) soit rationnel. On peut alors l’écrire sous forme d’une fraction irréductible \(\sqrt{2} = \displaystyle\frac{p}{q}\), où \(p\) et \(q\) sont des entiers sans diviseur commun.
Étape 3 — Déductions : en élevant au carré, \(2 = \displaystyle\frac{p^2}{q^2}\), donc \(p^2 = 2q^2\). Ainsi \(p^2\) est pair, donc \(p\) est pair (par contraposée !). On écrit \(p = 2k\), d’où \(4k^2 = 2q^2\), soit \(q^2 = 2k^2\). Donc \(q^2\) est pair, et \(q\) aussi.
Étape 4 — Conclusion : \(p\) et \(q\) sont tous deux pairs, ils ont donc le diviseur commun \(2\). C’est absurde, car la fraction était irréductible. L’hypothèse est fausse : \(\sqrt{2}\) est bien irrationnel. ∎
Remarque : on a utilisé la contraposée à l’intérieur de l’absurde (« \(p^2\) pair \(\Rightarrow\) \(p\) pair »). Les méthodes se combinent souvent.
B. 🔵 Lycée — Une démonstration par contraposée
Exemple : Soit \(n\) un entier. Montrer que si \(n^2\) est impair, alors \(n\) est impair.
Méthode par contraposée : on démontre « si \(n\) est pair, alors \(n^2\) est pair ».
Si \(n\) est pair, \(n = 2k\), donc \(n^2 = 4k^2 = 2(2k^2)\) : c’est bien un nombre pair.
La contraposée est démontrée, donc l’implication initiale aussi : si \(n^2\) est impair, alors \(n\) est impair. ∎
Tu vois la différence avec l’absurde : ici, pas d’hypothèse « contraire » ni de contradiction. On démontre directement une autre implication, équivalente.
C. 🟠 Prépa — L’infinité des nombres premiers
Exemple (Euclide) : Démontrer qu’il existe une infinité de nombres premiers.
Hypothèse contraire : supposons par l’absurde qu’il n’existe qu’un nombre fini de nombres premiers, notés \(p_1, p_2, \dots, p_n\).
Déductions : considérons l’entier \(N = p_1 \times p_2 \times \cdots \times p_n + 1\). Cet entier \(N\) est strictement supérieur à \(1\), il admet donc au moins un diviseur premier \(p\). Comme notre liste est censée contenir tous les nombres premiers, \(p\) est l’un des \(p_i\). Mais alors \(p\) divise \(N\) et divise aussi le produit \(p_1 \cdots p_n\) : il divise donc leur différence, c’est-à-dire \(N – p_1\cdots p_n = 1\).
Conclusion : un nombre premier \(p \geq 2\) diviserait \(1\), ce qui est absurde. Il existe donc une infinité de nombres premiers. ∎
Ce raisonnement, vieux de plus de deux mille ans, reste le modèle parfait de la démonstration par l’absurde : on suppose une liste complète, on construit un objet qui échappe à la liste, contradiction.
V. Erreurs fréquentes et pièges classiques
Le raisonnement par l’absurde est puissant, mais trois pièges font perdre des points à chaque contrôle. Voici comment les éviter.
A. Mal nier la proposition
❌ Copie fautive : « Pour montrer que tous les éléments sont positifs, supposons par l’absurde que tous les éléments sont négatifs. »
🔍 Diagnostic : la négation de « tous sont positifs » n’est pas « tous sont négatifs ». La vraie négation est : « il existe au moins un élément qui n’est pas positif ».
✅ Correction : « Supposons par l’absurde qu’il existe un élément \(x\) qui n’est pas positif, c’est-à-dire \(x\) < \(0\). »
B. Le « faux raisonnement par l’absurde »
❌ Copie fautive : on annonce « raisonnons par l’absurde », on suppose « non \(P\) »… puis on démontre \(P\) directement sans jamais utiliser l’hypothèse contraire.
🔍 Diagnostic : si l’hypothèse « non \(P\) » ne sert à rien dans le raisonnement, alors ce n’est pas un raisonnement par l’absurde : c’est une démonstration directe déguisée. L’absurde n’apporte rien et alourdit la copie.
✅ Correction : supprime l’habillage « par l’absurde » et rédige une preuve directe. Réserve l’absurde aux cas où l’hypothèse contraire est réellement exploitée pour produire la contradiction.
C. Confondre contraposée et réciproque
Erreur classique : confondre la contraposée et la réciproque de « \(P \Rightarrow Q\) ».
- Contraposée : « non \(Q \Rightarrow\) non \(P\) » — toujours équivalente à l’implication de départ. ✅
- Réciproque : « \(Q \Rightarrow P\) » — n’a aucune raison d’être vraie ! ⚠️
Démontrer la réciproque ne prouve PAS l’implication de départ. Ne les mélange jamais.
VI. Exercices d’application
À toi de jouer. Cherche chaque exercice avant de dérouler la correction.
Exercice 1 — 🔵 Lycée. Soit \(n\) un entier naturel. Démontrer que si \(n^2\) est pair, alors \(n\) est pair (par contraposée).
Voir la correction : contraposée : « si \(n\) est impair, alors \(n^2\) est impair ». Si \(n\) est impair, \(n = 2k+1\), donc \(n^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1\) : c’est impair. La contraposée est vraie, donc l’implication aussi. ∎
Exercice 2 — 🔵 Lycée. Démontrer par l’absurde qu’il n’existe pas de plus petit nombre réel strictement positif.
Voir la correction : supposons par l’absurde qu’il existe un plus petit réel strictement positif, noté \(a\), avec \(a\) > \(0\). Considérons \(\displaystyle\frac{a}{2}\). On a \(0\) < \(\displaystyle\frac{a}{2}\) < \(a\) : voilà un réel strictement positif plus petit que \(a\). C’est absurde, car \(a\) était censé être le plus petit. Un tel nombre n’existe donc pas. ∎
Exercice 3 — 🟠 Prépa. Soient \(a\) et \(b\) deux réels. Démontrer que si \(a\) est rationnel et \(a + b\) est irrationnel, alors \(b\) est irrationnel.
Voir la correction : supposons par l’absurde que \(b\) soit rationnel. Alors \(a + b\), somme de deux rationnels, serait rationnel. Cela contredit l’hypothèse selon laquelle \(a+b\) est irrationnel. Donc \(b\) est irrationnel. ∎
Pour t’entraîner davantage, notamment sur les versions concours (relations, quantificateurs, raisonnements combinés), file vers la page d’exercices corrigés du cocon.
VII. 🔴 Rédaction concours : ce que le correcteur attend
En classe préparatoire et aux concours (X, Mines-Ponts, Centrale), le raisonnement par l’absurde est ultra-fréquent. Le correcteur attend une rédaction rigoureuse et balisée.
À écrire sur la copie :
- Une phrase d’ouverture nette : « Supposons par l’absurde que… » (jamais implicite).
- La négation correcte de l’énoncé, en maniant proprement les quantificateurs (négation de \(\forall\) : un \(\exists\) ; négation de \(\exists\) : un \(\forall\)).
- Les déductions, justifiées et fléchées.
- Une phrase de fermeture explicite : « ce qui est absurde, donc… » suivie de la conclusion. Marque visiblement la fin par ∎.
Les attendus du correcteur :
- Que l’hypothèse contraire soit réellement utilisée (pas de faux absurde, cf. piège B).
- Que la contradiction soit explicitement nommée : préciser quel énoncé est contredit.
- Que la négation de l’énoncé soit logiquement exacte — l’erreur de négation est la faute la plus sanctionnée.
Astuce de stratégie : en colle comme en DS, tente toujours la preuve directe ou la contraposée en premier. L’absurde se réserve aux unicités, irrationalités et énoncés de non-existence.
VIII. Questions fréquentes
Quelle est la différence entre raisonnement par l'absurde et raisonnement par contraposée ?
La contraposée ne sert qu’à démontrer une implication « si P alors Q » : on démontre à la place « non Q implique non P », qui est équivalente. Le raisonnement par l’absurde, lui, s’applique à n’importe quelle proposition : on suppose le contraire de ce qu’on veut prouver, puis on cherche une contradiction. En pratique, quand tu as une implication à démontrer, essaie d’abord la contraposée : elle donne une rédaction plus directe et élégante.
Quand utiliser le raisonnement par l'absurde ?
Privilégie-le pour les énoncés d’impossibilité ou de non-existence (« il n’existe pas de… »), pour démontrer qu’un nombre est irrationnel, ou pour prouver une unicité. Dès qu’une preuve directe est possible, préfère-la : l’absurde est une arme de dernier recours, pas un réflexe systématique.
Le raisonnement par l'absurde est-il au programme de Seconde ?
Oui. Les différents types de raisonnement, dont le raisonnement par l’absurde et par contre-exemple, font partie du programme de logique transversal de Seconde. L’exemple de l’irrationalité de √2 est d’ailleurs souvent abordé dès le lycée, et devient incontournable en prépa.
Pourquoi suppose-t-on le contraire de ce qu'on veut démontrer ?
Parce qu’une proposition est soit vraie, soit fausse. Si l’on montre que la supposer fausse mène à une impossibilité, c’est qu’elle ne peut pas être fausse : elle est donc vraie. C’est tout le mécanisme du « tiers exclu » de la logique classique.
Comment bien rédiger un raisonnement par l'absurde ?
Ouvre par « Supposons par l’absurde que… », nie correctement l’énoncé (attention aux quantificateurs et aux lois de De Morgan), déroule des déductions justifiées jusqu’à une contradiction que tu nommes explicitement, puis conclus par « ce qui est absurde, donc… ». Vérifie surtout que l’hypothèse contraire est vraiment utilisée dans ta preuve.
Pour aller plus loin
Tu maîtrises maintenant le raisonnement par l’absurde et la contraposée. Pour consolider ton socle de logique et de raisonnement :
- Quantificateurs ∀ et ∃ : négation d’un énoncé quantifié
- Lois de De Morgan : négation de « et » et « ou »
- Connecteurs logiques et tables de vérité
- Le raisonnement par récurrence
- Théorie des ensembles : le cours complet
Tu veux progresser plus vite et gagner en rigueur ? Découvre les cours particuliers Excellence Maths, du lycée à la prépa.
