Mathématiques · Seconde · Nombres et Calcul : Fondements de l'Analyse · 1er Trimestre

Raisonnement par l'absurde et contre-exemple

Les élèves apprennent à utiliser le raisonnement par l'absurde et à construire des contre-exemples pour invalider des conjectures.

• Programmes Officiels
• EDNAT: Lycee-LOG-01
• EDNAT: Lycee-LOG-02

À propos de ce thème

Le raisonnement par l'absurde est une technique de démonstration puissante : on suppose le contraire de ce qu'on veut prouver et on montre que cela mène à une contradiction. Le contre-exemple, lui, est l'outil le plus économique pour invalider une affirmation universelle : un seul suffit. Ces deux outils sont au coeur du programme de logique en Seconde selon l'Education Nationale.

Les élèves découvrent que nier une proposition, ce n'est pas simplement dire « non », mais formuler précisément la négation logique. La construction d'un contre-exemple exige de bien comprendre l'affirmation à réfuter et de cibler les cas limites.

Ces compétences se développent naturellement par la pratique collective : chercher un contre-exemple en groupe, ou construire ensemble les étapes d'un raisonnement par l'absurde, permet aux élèves de verbaliser leur logique et de repérer les failles de raisonnement.

Questions clés

1. Comment construire un contre-exemple efficace pour réfuter une affirmation mathématique ?
2. Expliquez les étapes du raisonnement par l'absurde et son utilité en démonstration.
3. Justifiez pourquoi un seul contre-exemple suffit à invalider une conjecture universelle.

Objectifs d'apprentissage

• Construire un contre-exemple valide pour réfuter une proposition mathématique universelle.
• Démontrer une proposition par l'absurde en identifiant la contradiction logique issue de la supposition initiale.
• Analyser la structure d'une conjecture pour identifier les cas potentiels menant à un contre-exemple.
• Expliquer la différence fondamentale entre une preuve directe et une preuve par l'absurde.
• Évaluer la pertinence d'un contre-exemple proposé par un pair.

Avant de commencer

Logique élémentaire : propositions et connecteurs logiques

Pourquoi : Les élèves doivent comprendre ce qu'est une proposition et comment utiliser les connecteurs logiques (ET, OU, NON, IMPLIQUE) pour manipuler des énoncés mathématiques.

Types de nombres et leurs propriétés

Pourquoi : La construction de contre-exemples et la compréhension des affirmations universelles nécessitent une bonne connaissance des ensembles de nombres (entiers, rationnels, réels) et de leurs propriétés spécifiques.

Vocabulaire clé

Conjecture	Une affirmation mathématique qui semble vraie mais qui n'a pas encore été prouvée. Elle peut être universelle (vraie pour tous les cas) ou existentielle (vraie pour au moins un cas).
Contre-exemple	Un cas spécifique qui, lorsqu'il est appliqué à une proposition universelle, montre que cette proposition est fausse. Un seul contre-exemple suffit à invalider une conjecture universelle.
Raisonnement par l'absurde	Une méthode de démonstration où l'on suppose que la proposition à prouver est fausse, puis on déduit logiquement une contradiction. Cette contradiction prouve que la supposition initiale était fausse, donc la proposition originale est vraie.
Négation logique	L'acte de reformuler précisément le contraire d'une proposition mathématique. Par exemple, la négation de 'pour tout x, P(x)' est 'il existe un x tel que non P(x)'.
Contradiction	Une situation où deux affirmations logiquement incompatibles sont affirmées simultanément, par exemple 'A et non A'. Elle signale une erreur dans le raisonnement.

Attention à ces idées reçues

Idée reçue courante

Penser qu'un seul exemple qui vérifie une affirmation la prouve.

Ce qu'il faut enseigner à la place

Un exemple confirme sans prouver ; un contre-exemple réfute définitivement. L'activité de chasse au contre-exemple en groupe aide les élèves à intérioriser cette asymétrie fondamentale.

Idée reçue courante

Croire que le raisonnement par l'absurde est un raisonnement « faux » puisqu'on part d'une hypothèse fausse.

Ce qu'il faut enseigner à la place

On part d'une hypothèse qu'on suppose vraie, et la contradiction montre qu'elle ne peut pas l'être. Reconstruire les étapes en binômes, en surlignant l'hypothèse et la contradiction, clarifie la structure logique.

Idée reçue courante

Confondre la négation d'une proposition avec son contraire intuitif.

Ce qu'il faut enseigner à la place

La négation de « tous les nombres pairs sont divisibles par 4 » n'est pas « aucun nombre pair n'est divisible par 4 » mais « il existe au moins un nombre pair non divisible par 4 ». Le travail collaboratif sur la formulation des négations corrige cette erreur fréquente.

Idées d'apprentissage actif

Cercle de recherche: Chasse au contre-exemple

L'enseignant affiche cinq affirmations mathématiques (certaines vraies, d'autres fausses). Les groupes doivent trouver un contre-exemple pour chaque affirmation fausse en un temps limité. Le premier groupe qui invalide correctement une affirmation l'explique à la classe.

30 min·Petits groupes

Penser-Partager-Présenter: Raisonnement par l'absurde guidé

L'enseignant propose la démonstration de l'irrationalité de racine de 2. Individuellement, les élèves identifient l'hypothèse de départ. En binômes, ils reconstituent les étapes de la contradiction. En classe entière, ils vérifient la rigueur du raisonnement.

25 min·Binômes

Puzzle: Types de preuves

Chaque groupe expert étudie un type de preuve (directe, par l'absurde, par contre-exemple). Puis les groupes se reforment pour que chaque élève enseigne sa spécialité aux autres, avec un exemple concret du programme de Seconde.

45 min·Petits groupes

Liens avec le monde réel

• En informatique, la vérification de programmes utilise des techniques similaires au raisonnement par l'absurde pour prouver l'absence de bugs critiques. Un développeur pourrait supposer qu'une faille de sécurité existe, puis chercher à démontrer que cette supposition mène à une impossibilité logique dans le fonctionnement du code.
• Dans le domaine de la recherche scientifique, les hypothèses sont souvent testées par l'absurde. Un chercheur peut supposer qu'une nouvelle théorie est incorrecte et chercher des expériences ou des observations qui contredisent cette hypothèse. Si aucune contradiction n'est trouvée après des tests rigoureux, la théorie gagne en crédibilité.

Idées d'évaluation

Billet de sortie

Donnez aux élèves la conjecture : 'Pour tout entier naturel n, n(n+1) est pair'. Demandez-leur d'écrire un contre-exemple s'ils pensent que la conjecture est fausse, ou de commencer une preuve par l'absurde s'ils pensent qu'elle est vraie, en supposant que n(n+1) est impair.

Question de discussion

Présentez la conjecture : 'La somme de deux nombres premiers est toujours un nombre premier.' Demandez aux élèves : 'Comment pourriez-vous prouver que cette affirmation est fausse ? Décrivez les étapes pour trouver un contre-exemple.' Ensuite, demandez : 'Pourquoi un seul contre-exemple suffit-il à réfuter cette affirmation ?'

Vérification rapide

Proposez une série de propositions simples (par exemple, 'Tous les nombres pairs sont divisibles par 4', 'Si un triangle a deux côtés égaux, alors il a deux angles égaux'). Les élèves doivent rapidement indiquer 'Vrai' ou 'Faux' et, pour les affirmations fausses, esquisser le contre-exemple le plus simple.

Questions fréquentes

Comment fonctionne le raisonnement par l'absurde en mathématiques ?

On suppose que la proposition à démontrer est fausse. On développe les conséquences logiques de cette hypothèse jusqu'à obtenir une contradiction avec un fait connu ou un axiome. Cette contradiction prouve que l'hypothèse de départ était fausse, donc la proposition est vraie.

Pourquoi un seul contre-exemple suffit à invalider une conjecture ?

Une conjecture universelle affirme qu'une propriété est vraie pour tous les cas. Un seul cas où elle échoue prouve qu'elle n'est pas universelle. Par exemple, « tous les nombres premiers sont impairs » est réfuté par le nombre 2, qui est premier et pair.

Comment faire travailler les élèves sur le raisonnement par l'absurde en classe active ?

Proposer des démonstrations à reconstituer en binômes (couper les étapes, les remettre en ordre) permet de comprendre la structure. La chasse au contre-exemple en équipes développe le réflexe de chercher les cas limites et de tester les bornes d'une affirmation.

Quels sont les exemples classiques de raisonnement par l'absurde au lycée ?

Les deux plus classiques en Seconde sont la preuve que racine de 2 est irrationnel et la preuve qu'il existe une infinité de nombres premiers (Euclide). Ces démonstrations sont accessibles et permettent de travailler la logique formelle exigée par les programmes.