Retour à la leçon

Guide de l'enseignant: Introduction aux preuves mathématiques

Apprends les fondements des preuves mathématiques et comment construire des arguments logiques.

Présenter la leçonPartager dans ClassroomVoir la page élève

Utiliser cette leçon en classe

Gratuit, sans compte élève.

Partager avec les élèves

Les élèves ouvrent la leçon et s'entraînent avec une correction immédiate.

Fiche d'exercices à imprimer

Tous les exercices sur papier, avec un corrigé séparé.

Fiche d'exercices Corrigé

Quiz de classe

10 questions sur Preuves mathématiques. Les élèves participent avec un prénom, vous voyez tous les scores.

Pour les enseignants

Objectifs d'apprentissage
  • Expliquer le but et la structure d'une preuve mathématique
  • Construire des preuves directes en utilisant des définitions et le raisonnement logique
  • Appliquer la preuve par l'absurde pour montrer que des énoncés sont vrais
  • Identifier les erreurs logiques courantes dans les arguments mathématiques
  • Justifier chaque étape d'une preuve avec un raisonnement approprié
Prérequis
  • • Compréhension des manipulations algébriques de base
  • • Familiarité avec les entiers, les nombres pairs et impairs
  • • Compréhension de base des connecteurs logiques (et, ou, si-alors)
Amorces de discussion
  • 1. Pourquoi les mathématiciens exigent-ils des preuves au lieu d'accepter simplement des régularités observées ?
  • 2. Peux-tu penser à une régularité qui semble vraie mais qui échoue pour de grands nombres ?
  • 3. En quoi une preuve mathématique diffère-t-elle d'une preuve scientifique ?
  • 4. Pourquoi supposer le contraire pourrait-il être une stratégie utile pour résoudre des problèmes ?
Idées reçues courantes

Plusieurs exemples prouvent qu'un énoncé est toujours vrai

Remédiation: Montre un contre-exemple : 'Tous les nombres premiers sont impairs' semble vrai pour 3, 5, 7, 11... mais 2 est pair ! Un contre-exemple réfute un énoncé universel.

La preuve par l'absurde fonctionne toujours

Remédiation: Explique que la contradiction doit vraiment découler de notre hypothèse, pas d'une erreur de raisonnement.

Les variables rendent les preuves plus difficiles, pas plus faciles

Remédiation: Démontre comment utiliser n=2kn = 2k pour 'n'importe quel nombre pair' nous permet de prouver des énoncés pour une infinité de nombres à la fois.

Idées de différenciation

Pour les élèves en difficulté:

  • • Fournir des modèles de preuves avec des blancs à remplir
  • • Commencer par des preuves très simples sur les nombres pairs/impairs
  • • Utiliser un code couleur pour distinguer hypothèse, étapes et conclusion

Pour les élèves au niveau:

  • • Pratiquer des preuves directes avec des propriétés des nombres
  • • Introduire la preuve par l'absurde avec des exemples guidés
  • • Demander aux élèves d'expliquer la justification de chaque étape

Pour les élèves avancés:

  • • Explorer la preuve par récurrence mathématique
  • • Prouver des propriétés des nombres premiers
  • • Analyser et critiquer des preuves complexes pour leur validité
Alignement aux standards
  • HSN-RN.B.3 (CCSS.MATH.CONTENT.HSN.RN.B.3)

    Expliquer pourquoi sommes et produits de rationnels sont rationnels et pourquoi un rationnel plus un irrationnel est irrationnel

  • MP3 (CCSS.MATH.PRACTICE.MP3)

    Construire des arguments viables et critiquer le raisonnement des autres

Ressources de la leçon
  • visualDiagramme de structure de preuve

    Décomposition visuelle des composants d'une preuve

  • activityTrouve l'erreur

    Les élèves identifient les défauts dans les preuves invalides

  • worksheetPratique de preuve directe

    Pratique guidée avec des preuves en théorie des nombres

Contenu de la leçon

Tout ce que voient les élèves : définition, exemples, erreurs fréquentes, applications. Touchez pour ouvrir.

Définition

Une preuve mathématique est un argument logique qui démontre pourquoi un énoncé mathématique doit être vrai. Les preuves utilisent des faits établis, des définitions et des règles logiques pour atteindre une conclusion indéniable.
Une preuve se compose de :
  • Informations données (prémisses ou hypothèses)
  • Étapes logiques (chacune justifiée par une règle ou un fait déjà prouvé)
  • Conclusion (l'énoncé à prouver)
La structure d'une preuve simple :
Si P alors Q\text{Si } P \text{ alors } Q
Où PP est notre hypothèse de départ et QQ est ce que nous voulons prouver.

Exemples résolus

Prouve que la somme de deux nombres pairs est paire.
1

Définir ce que signifie pair

Un nombre nn est pair si n=2kn = 2k pour un entier kk → Définition établie
2

Soient aa et bb deux nombres pairs

Par définition : a=2ma = 2m et b=2nb = 2n où m,nm, n sont des entiers → Expression selon la définition
3

Additionner les deux nombres

a+b=2m+2n=2(m+n)a + b = 2m + 2n = 2(m + n) → Factoriser par 2
4

Identifier la forme

2(m+n)2(m + n) est 2×(entier)2 \times (\text{entier}), ce qui est la définition de pair → Correspond à la définition
5

Énoncer la conclusion

Donc a+ba + b est pair → CQFD

Erreurs courantes

Utiliser des exemples spécifiques au lieu d'une preuve générale

Pourquoi c'est faux: Montrer que 2+4=62 + 4 = 6 est pair prouve seulement UN cas, pas TOUS les cas.

Correct: Utilise des variables (2m+2n2m + 2n) pour représenter N'IMPORTE QUELS deux nombres pairs.

Supposer ce qu'on veut prouver

Pourquoi c'est faux: Tu ne peux pas utiliser la conclusion dans ton raisonnement - c'est un raisonnement circulaire.

Correct: Commence seulement par les informations données et les définitions, puis dérive la conclusion.

Justification manquante pour les étapes

Pourquoi c'est faux: Chaque étape doit être justifiée par une définition, un axiome ou un théorème déjà prouvé.

Correct: Indique toujours POURQUOI chaque étape découle de la précédente.

Confondre la direction de l'implication

Pourquoi c'est faux: Si P⇒QP \Rightarrow Q, savoir QQ ne nous dit PAS que PP est vrai.

Correct: Attention : la réciproque (Q⇒PQ \Rightarrow P) et l'inverse (non P⇒non Q\text{non } P \Rightarrow \text{non } Q) d'un énoncé vrai peuvent être fausses. Seule la contraposée lui est équivalente.

Pourquoi c'est important

Les preuves mathématiques sont le fondement de toutes les mathématiques et de la pensée critique :
  • Certitude : Contrairement à la science qui s'appuie sur des preuves empiriques, les preuves offrent une certitude absolue
  • Informatique : La vérification de programmes et la correction des algorithmes reposent sur des preuves
  • Droit : Les arguments juridiques suivent des structures logiques similaires
  • Philosophie : Le raisonnement logique est essentiel pour les arguments philosophiques
  • Résolution de problèmes : Apprendre à prouver développe la pensée systématique
Chaque théorème que tu utilises en mathématiques a été prouvé par quelqu'un utilisant ces techniques !

Applications dans le monde réel

Informatique : Correction des algorithmes

Les ingénieurs logiciels utilisent des preuves pour vérifier que les programmes fonctionnent correctement pour toutes les entrées.

Exemple:

Prouver qu'un algorithme de tri produit toujours une liste triée se fait souvent par récurrence.

1Essaie par toi-même

Une boucle se répète nn fois. Chaque itération double un compteur commençant à 1.

Prouve que la valeur finale est 2n2^n.

Étape 1 : Écris l'expression mathématique

Après kk itérations, la valeur est :

Cryptographie : Preuves de sécurité

Les cryptographes utilisent des preuves pour montrer que casser un code est au moins aussi difficile que résoudre un problème mathématique bien étudié.

Exemple:

Le chiffrement RSA est sûr tant que factoriser de très grands nombres reste difficile. Personne ne connaît de méthode rapide, mais personne n'a prouvé qu'il n'en existe pas.

2Essaie par toi-même

Si tu peux factoriser le produit de deux nombres premiers, tu peux casser le code.

Pourquoi 15 est-il plus facile à factoriser que 437 ?

Étape 1 : Choisis la bonne réponse

Pour trouver un diviseur, tu ne testes que les nombres premiers jusqu'à la racine carrée. Quelle comparaison est vraie ?

Raisonnement juridique : Construction d'arguments

Les avocats construisent des arguments logiques similaires aux preuves mathématiques.

Exemple:

Le raisonnement juridique suit 'Si les preuves montrent X, et X implique la culpabilité, alors l'accusé est coupable.'

3Essaie par toi-même

Règle : Tous les contrats nécessitent une contrepartie (échange de valeur). La personne A a signé un document mais n'a rien reçu.

Est-ce un contrat valide ?

Étape 1 : Choisis la bonne réponse

Applique la règle logique :

Points clés

  • 1Une preuve mathématique est un argument logique montrant pourquoi un énoncé doit être vrai
  • 2Preuve directe : suppose l'hypothèse, dérive la conclusion étape par étape
  • 3Preuve par l'absurde : suppose le contraire, arrive à une contradiction
  • 4Chaque étape doit être justifiée par une définition, un axiome ou un théorème prouvé
  • 5Les preuves doivent fonctionner pour TOUS les cas, pas seulement des exemples spécifiques

Questions fréquentes

Quelle est la différence entre un théorème et un axiome ?

Un axiome est un énoncé accepté comme vrai sans preuve. Un théorème est un énoncé qui a été prouvé en utilisant des axiomes et d'autres théorèmes.

Pourquoi avons-nous besoin de preuves si nous pouvons tester des exemples ?

Tester des exemples montre seulement que des cas spécifiques fonctionnent. Une preuve garantit que TOUS les cas fonctionnent. Par exemple, nous ne pouvons pas tester une infinité de nombres, mais une preuve les couvre tous.

Que signifie CQFD ?

CQFD signifie 'ce qu'il fallait démontrer'. En latin, c'est QED pour 'quod erat demonstrandum'. Cela marque la fin d'une preuve.

Glossaire

Preuve
Un argument logique démontrant qu'un énoncé mathématique est vrai
Théorème
Un énoncé mathématique qui a été prouvé comme étant vrai
Axiome
Un énoncé accepté comme vrai sans preuve ; un point de départ pour le raisonnement
Hypothèse
L'hypothèse de départ dans un énoncé conditionnel (la partie 'si')
Conclusion
Le résultat qui découle de l'hypothèse (la partie 'alors')
Contradiction
Une impossibilité logique ; deux énoncés qui ne peuvent pas être vrais simultanément
CQFD
Abréviation marquant la fin d'une preuve (ce qu'il fallait démontrer)

Plus sur ce sujet

Démonstration directe

Avancé25 min

Démonstrations en deux colonnes

Intermédiaire25 min

Démonstrations rédigées

Avancé30 min

Démonstrations en géométrie

Avancé30 min