Raisonnement par l'absurde et contre-exemple

L'abstraction de la logique mathématique demande aux élèves de manipuler des concepts qui ne sont pas toujours tangibles. Les activités actives transforment ces notions en manipulations concrètes, ce qui rend le raisonnement par l'absurde et le contre-exemple accessibles et mémorables. Ces méthodes ne sont pas seulement des outils, mais des réflexes de pensée que les élèves doivent s'approprier par la pratique.

• Seconde
• Mathématiques : Raisonnement et Modélisation
• 3 activités
• 25 min–45 min

Objectifs d’apprentissage

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

Cercle de recherche

⏱ 30 min·Petits groupes

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.

Préparation et détails

Comment construire un contre-exemple efficace pour réfuter une affirmation mathématique ?

Conseil de facilitation: Pendant le Puzzle sur les types de preuves, insistez pour que chaque expert restitue non seulement la méthode mais aussi un exemple de proposition où cette méthode s'applique, afin de renforcer la contextualisation.

Setup: Groupes en îlots avec accès aux ressources documentaires

Materials: Corpus de documents sources, Fiche de suivi du cycle de recherche, Protocole de formulation de questions, Canevas de présentation des résultats

• Analyser
• Évaluer
• Créer
• Autogestion
• Conscience de soi

Penser-Partager-Présenter

⏱ 25 min·Binômes

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.

Préparation et détails

Expliquez les étapes du raisonnement par l'absurde et son utilité en démonstration.

Setup: Disposition de classe standard ; les élèves se tournent vers leur voisin

Materials: Consigne de discussion (projetée ou distribuée), Optionnel : fiche de prise de notes pour les binômes

• Comprendre
• Appliquer
• Analyser
• Conscience de soi
• Compétences relationnelles

Puzzle

⏱ 45 min·Petits groupes

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.

Préparation et détails

Justifiez pourquoi un seul contre-exemple suffit à invalider une conjecture universelle.

Setup: Aménagement flexible pour faciliter les regroupements successifs

Materials: Dossiers documentaires pour les groupes d'experts, Fiche de prise de notes, Organisateur graphique de synthèse

• Comprendre
• Analyser
• Évaluer
• Compétences relationnelles
• Autogestion

Enseigner ce sujet

Commencez par des affirmations simples et concrètes pour ancrer les concepts. Évitez de présenter la logique comme une suite de règles abstraites : privilégiez des exemples où la contradiction est évidente ou amusante. Les recherches en didactique montrent que les élèves maîtrisent mieux ces outils quand ils les utilisent pour résoudre des énigmes ou des paradoxes plutôt que des exercices formels.

À quoi s’attendre

Les élèves distinguent clairement la puissance d'un contre-exemple pour invalider une affirmation de la simple vérification d'un exemple. Ils structurent correctement un raisonnement par l'absurde en identifiant l'hypothèse initiale, la contradiction obtenue et la conclusion qui en découle. Leur langage devient précis : ils utilisent 'négation' et non 'contraire' pour formuler des propositions logiques.

Attention à ces idées reçues

Idée reçue courante

Pendant la Chasse au contre-exemple, surveillez les élèves qui confondent 'vérifier un exemple' avec 'prouver une affirmation'.

Ce qu'il faut enseigner à la place

Interrompez le groupe et demandez : 'Si je vous donne un nombre pair comme 2, est-ce que cela prouve que tous les nombres pairs sont divisibles par 4 ? Que faudrait-il faire pour montrer que c'est faux ?' puis recentrez sur la recherche d'un contre-exemple.

Idée reçue courante

Pendant le Penser-Partager-Présenter sur le raisonnement par l'absurde, surveillez les élèves qui pensent que l'hypothèse de départ est 'fausse' au sens courant.

Ce qu'il faut enseigner à la place

Demandez à chaque binôme de reformuler l'hypothèse en utilisant 'On suppose que... est vrai' et de souligner cette phrase dans leur production, puis de repérer où la contradiction apparaît.

Idée reçue courante

Pendant le Jeu de rôle sur les types de preuves, surveillez les élèves qui confondent la négation d'une proposition avec son contraire intuitif.

Ce qu'il faut enseigner à la place

Faites réécrire la proposition originale et sa négation sur des post-it de couleurs différentes, puis demandez aux élèves de vérifier que la négation est bien incompatible avec l'affirmation initiale.

Idées d'évaluation

Billet de sortie

Après la Chasse au contre-exemple, 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

Pendant le Penser-Partager-Présenter sur le raisonnement par l'absurde, 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

Après le Jeu de rôle sur les types de preuves, 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.

Extensions et étayage

• Proposez aux élèves qui terminent rapidement de créer une nouvelle conjecture sur un autre thème (géométrie, probabilités) et de préparer à la fois un contre-exemple et une preuve par l'absurde.
• Pour les élèves en difficulté, fournissez des affirmations déjà formulées en négation claire et guidez-les pour trouver le contre-exemple en leur demandant 'Quel nombre simple ne satisfait pas cette condition ?'.
• Offrez un temps supplémentaire pour explorer des cas où plusieurs contre-exemples existent ou où la négation nécessite une reformulation complexe, comme en théorie des ensembles.

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.