Mathématiques · Terminale · Géométrie de l'Espace · 3e Trimestre

Raisonnement par l'absurde

Les élèves maîtrisent la technique de preuve consistant à nier la conclusion pour aboutir à une contradiction.

• Programmes Officiels
• EDNAT: MAT.TLE.71
• EDNAT: MAT.TLE.72

À propos de ce thème

Le raisonnement par l'absurde consiste à supposer le contraire de ce qu'on veut démontrer, puis à en déduire une contradiction. Cette technique de preuve est indispensable pour certains résultats classiques comme l'irrationalité de racine de 2 ou l'infinité des nombres premiers. En Terminale, les élèves doivent savoir reconnaître quand cette méthode est appropriée et la mettre en oeuvre avec rigueur.

La difficulté principale réside dans la gestion de la négation : il faut formuler correctement l'hypothèse contraire et identifier clairement la contradiction obtenue. Ce raisonnement indirect déstabilise souvent les élèves habitués aux preuves directes. Les travaux en groupe, où les élèves décortiquent ensemble chaque étape d'une preuve par l'absurde et verbalisent la logique sous-jacente, sont particulièrement efficaces pour surmonter cette barrière conceptuelle.

Questions clés

1. Pourquoi aboutir à une contradiction valide-t-il l'hypothèse initiale?
2. Comment prouver l'irrationalité de racine de 2 par l'absurde?
3. Dans quels types de problèmes cette méthode est-elle indispensable?

Objectifs d'apprentissage

• Démontrer l'irrationalité de racine carrée de 2 en utilisant la méthode du raisonnement par l'absurde.
• Identifier les étapes clés d'une preuve par l'absurde pour réfuter une proposition mathématique.
• Analyser la structure logique d'une démonstration par l'absurde pour distinguer l'hypothèse initiale de la contradiction finale.
• Expliquer la nécessité du raisonnement par l'absurde dans des contextes mathématiques spécifiques où une preuve directe est complexe.
• Construire une preuve par l'absurde pour démontrer l'infinité des nombres premiers.

Avant de commencer

Logique élémentaire et connecteurs logiques

Pourquoi : Les élèves doivent comprendre la notion de négation et la structure des propositions pour formuler correctement une hypothèse contraire et identifier une contradiction.

Démonstrations par récurrence

Pourquoi : Bien que distincte, la récurrence implique une structure de preuve rigoureuse qui prépare les élèves à la formalisation exigée par le raisonnement par l'absurde.

Propriétés des nombres entiers et rationnels

Pourquoi : La compréhension des définitions et propriétés des nombres entiers, pairs, impairs, rationnels est essentielle pour suivre et construire des preuves comme celle de l'irrationalité de racine de 2.

Vocabulaire clé

Hypothèse contraire	Affirmation qui nie la proposition que l'on cherche à démontrer. Elle sert de point de départ au raisonnement par l'absurde.
Contradiction	Résultat logique incohérent ou impossible obtenu à partir de l'hypothèse contraire, qui prouve la fausseté de cette dernière.
Négation	Opération logique qui inverse la valeur de vérité d'une proposition. La négation de 'P' est 'non P'.
Démonstration directe	Type de preuve qui établit la vérité d'une proposition en partant d'axiomes ou de propositions déjà démontrées, sans passer par une hypothèse contraire.
Proposition indémontrable directement	Énoncé mathématique pour lequel une preuve directe est particulièrement ardue ou impossible avec les outils connus.

Attention à ces idées reçues

Idée reçue courante

Le raisonnement par l'absurde et la contraposée sont la même chose.

Ce qu'il faut enseigner à la place

La contraposée prouve « P => Q » en montrant « non Q => non P ». L'absurde suppose « non Q » (ou « non P ») et aboutit à une contradiction quelconque, pas nécessairement « non P ». Les exercices de classification de méthodes en binôme clarifient cette distinction.

Idée reçue courante

On peut toujours utiliser une preuve directe à la place de l'absurde.

Ce qu'il faut enseigner à la place

Certains résultats n'ont pas de preuve directe connue (ou celle-ci est beaucoup plus complexe). L'infinité des nombres premiers d'Euclide est un exemple classique où l'absurde fournit l'argument le plus élégant. Les discussions de groupe sur le choix de méthode développent ce discernement.

Idées d'apprentissage actif

Cercle de recherche: Racine de 2 pas à pas

En petits groupes, les élèves reconstituent la preuve de l'irrationalité de racine de 2 à partir d'étapes mélangées. Ils doivent remettre les étapes dans l'ordre, identifier l'hypothèse niée, repérer la contradiction et rédiger une version propre. Comparaison entre groupes.

35 min·Petits groupes

Penser-Partager-Présenter: Quand utiliser l'absurde ?

Présentez trois énoncés : un se prête à une preuve directe, un à la contraposée, un à l'absurde. Individuellement, les élèves choisissent la méthode pour chacun. En binôme, ils justifient leur choix. La discussion collective fait émerger les critères de sélection de la bonne technique.

25 min·Binômes

Enseignement par les pairs: Les experts de l'absurde

Divisez la classe en trois groupes, chacun recevant une preuve par l'absurde différente (irrationalité, infinité des premiers, impossibilité géométrique). Chaque groupe maîtrise sa preuve puis envoie un « ambassadeur » expliquer aux autres groupes.

40 min·Petits groupes

Liens avec le monde réel

• En cryptographie, des algorithmes complexes reposent sur la difficulté de prouver certaines propriétés, parfois par l'impossibilité de les réfuter par l'absurde. Les experts en sécurité informatique utilisent ces principes pour concevoir des systèmes de chiffrement robustes.
• Dans le domaine de la logique formelle appliquée à l'intelligence artificielle, le raisonnement par l'absurde est utilisé pour la vérification de programmes et la résolution de problèmes complexes. Les ingénieurs en IA l'emploient pour garantir la cohérence des systèmes experts.

Idées d'évaluation

Billet de sortie

Distribuez une carte à chaque élève contenant une proposition simple (ex: 'Tous les nombres pairs sont divisibles par 4'). Demandez-leur d'écrire l'hypothèse contraire, puis la première étape logique qui mène à une contradiction. Ils doivent identifier la contradiction finale.

Vérification rapide

Présentez une preuve par l'absurde incomplète au tableau. Posez des questions ciblées : 'Quelle est l'hypothèse de départ ici ?', 'Quelle est la contradiction que nous rencontrons ?', 'Comment cette contradiction invalide-t-elle notre hypothèse initiale ?'.

Question de discussion

Lancez une discussion : 'Dans quels types de problèmes mathématiques le raisonnement par l'absurde semble-t-il être la seule voie possible ? Donnez un exemple concret que vous avez rencontré ou imaginé.' Encouragez les élèves à justifier leurs réponses.

Questions fréquentes

Comment structurer une preuve par l'absurde au baccalauréat ?

Quatre étapes : (1) Énoncer clairement ce qu'on veut prouver. (2) Supposer le contraire (« Supposons par l'absurde que... »). (3) Développer les conséquences de cette hypothèse jusqu'à obtenir une contradiction avec un fait établi. (4) Conclure que l'hypothèse contraire est fausse, donc la propriété initiale est vraie.

Pourquoi une contradiction valide-t-elle la propriété initiale ?

Si supposer le contraire d'une proposition mène à une impossibilité logique, alors le contraire est faux. Par le principe du tiers exclu (une proposition est soit vraie soit fausse), la proposition initiale est donc vraie. Ce principe fondamental de la logique classique sous-tend toute preuve par l'absurde.

Comment prouver que racine de 2 est irrationnel par l'absurde ?

On suppose racine de 2 = p/q avec p et q entiers premiers entre eux. En élevant au carré, p² = 2q², donc p² est pair, donc p est pair. En posant p = 2k, on obtient 4k² = 2q², soit q² = 2k², donc q est aussi pair. Contradiction : p et q ne sont pas premiers entre eux.

Comment aborder le raisonnement par l'absurde avec des activités collaboratives ?

La reconstruction de preuves à partir d'étapes mélangées est très efficace en petits groupes : les élèves doivent comprendre la logique pour remettre les étapes dans l'ordre. Le peer teaching, où chaque groupe maîtrise une preuve puis l'enseigne aux autres, renforce la compréhension en profondeur.