Retour à la leçon

Guide de l'enseignant: Démonstration directe

Apprends à construire des démonstrations directes en déduisant logiquement des conclusions à partir d'hypothèses données, en utilisant des définitions, des axiomes et des théorèmes prouvés.

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
  • Identifier l'hypothèse et la conclusion dans un énoncé conditionnel
  • Construire une démonstration directe en utilisant des définitions et la manipulation algébrique
  • Écrire des étapes claires et logiques qui relient l'hypothèse à la conclusion
  • Appliquer la démonstration directe aux énoncés de théorie des nombres
Prérequis
  • • Compréhension des énoncés conditionnels (si-alors)
  • • Algèbre de base et manipulation de variables
  • • Familiarité avec les définitions de nombres pairs et impairs
  • • Connaissance des propriétés des entiers
Amorces de discussion
  • 1. Pourquoi vérifier quelques exemples n'est-il pas la même chose qu'une preuve ?
  • 2. Peux-tu penser à un énoncé qui semble vrai mais pourrait être difficile à prouver directement ?
  • 3. En quoi la preuve mathématique diffère-t-elle de la preuve scientifique ?
  • 4. Qu'est-ce qui rend une preuve convaincante ?
Idées reçues courantes

Vérifier plusieurs exemples prouve un énoncé

Remédiation: Montre un contre-exemple : 'Tous les nombres inférieurs à 10 ne sont pas premiers' est faux (2, 3, 5, 7 sont premiers). Même 1000 exemples ne peuvent pas prouver un énoncé universel.

L'ordre des étapes n'a pas d'importance

Remédiation: Fais lire une preuve à l'envers aux élèves. Le flux logique se brise. Chaque étape dépend des précédentes.

Idées de différenciation

Pour les élèves en difficulté:

  • • Fournis des modèles de preuve avec des espaces à compléter
  • • Concentre-toi sur un type de preuve (nombres pairs/impairs) avant de diversifier
  • • Permets aux élèves de travailler en binômes pour discuter de chaque étape

Pour les élèves au niveau:

  • • Prouve des énoncés sur les sommes et produits de nombres pairs/impairs
  • • Écris des preuves sans modèles
  • • Identifie les erreurs dans des preuves défectueuses

Pour les élèves avancés:

  • • Prouve des énoncés sur la divisibilité et les nombres premiers
  • • Compare la démonstration directe à la preuve par contradiction
  • • Crée leurs propres conjectures et prouve-les
Alignement aux standards
  • HSN-CN.A.2 (CCSS.MATH.CONTENT.HSN.CN.A.2)

    Utilise la relation i2=−1i^2 = -1 et les propriétés commutatives, associatives et distributives pour additionner, soustraire et multiplier des nombres complexes

  • HSA-APR.C.4 (CCSS.MATH.CONTENT.HSA.APR.C.4)

    Prouve des identités polynomiales et utilise-les pour décrire des relations numériques

  • MP3 (CCSS.MATH.PRACTICE.MP3)

    Construis des arguments viables et critique le raisonnement des autres

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

    Montre le flux de l'hypothèse à la conclusion

  • activityPreuve à trous

    Les élèves complètent les étapes manquantes d'une preuve

  • worksheetExercices de démonstration directe

    Cinq théorèmes à prouver par démonstration directe

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 démonstration directe est une méthode pour prouver un énoncé mathématique en partant de faits connus (l'hypothèse) et en utilisant des étapes logiques pour arriver à la conclusion.
La structure d'une démonstration directe :
  1. 1.Supposer que l'hypothèse est vraie
  2. 2.Appliquer des définitions, des axiomes et des théorèmes
  3. 3.Déduire la conclusion par raisonnement logique
Si nous voulons prouver "Si PP, alors QQ" (écrit P⇒QP \Rightarrow Q) :
  • Commencer en supposant que PP est vrai
  • Utiliser des déductions logiques pour montrer que QQ doit aussi être vrai
P⇒Q signifie : chaque fois que P est vrai, Q est aussi vraiP \Rightarrow Q \text{ signifie : chaque fois que } P \text{ est vrai, } Q \text{ est aussi vrai}

Exemples résolus

Prouve : Si aa et bb sont des entiers pairs, alors a+ba + b est pair.
1

Énoncer l'hypothèse

Supposons que aa et bb sont des entiers pairs → Donné : aa et bb sont pairs
2

Appliquer la définition de pair

Un entier pair peut s'écrire 2k2k pour un entier kk → a=2ma = 2m et b=2nb = 2n pour des entiers m,nm, n
3

Additionner les deux nombres

a+b=2m+2na + b = 2m + 2n
4

Factoriser le facteur commun

a+b=2(m+n)a + b = 2(m + n)
5

Appliquer à nouveau la définition de pair

Puisque m+nm + n est un entier, 2(m+n)2(m + n) est pair par définition → a+ba + b est pair

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 (pair) ne prouve rien sur TOUS les nombres pairs. Une preuve doit fonctionner pour tous les cas possibles.

Correct: Utilise des variables et des définitions. Écris 'Soit a=2ma = 2m pour un entier mm' pour représenter N'IMPORTE QUEL nombre pair.

Supposer ce qu'on veut prouver

Pourquoi c'est faux: Tu ne peux pas utiliser la conclusion dans ton raisonnement. C'est une logique circulaire.

Correct: Commence seulement par l'hypothèse et avance. N'écris jamais 'Puisque a+ba + b est pair...' tant que tu ne l'as pas prouvé.

Sauter des étapes logiques

Pourquoi c'est faux: Chaque étape doit suivre logiquement des étapes précédentes. Les lacunes dans le raisonnement peuvent cacher des erreurs.

Correct: Justifie chaque étape avec une définition, un axiome ou un théorème déjà prouvé.

Pourquoi c'est important

La démonstration directe est la technique de preuve la plus fondamentale en mathématiques :
  • Fondement des mathématiques : Chaque théorème que tu utilises a été prouvé par démonstration directe ou des méthodes similaires
  • Informatique : Les preuves de correction d'algorithmes utilisent souvent le raisonnement direct
  • Arguments juridiques : Les avocats construisent des arguments des preuves vers la conclusion
  • Méthode scientifique : Déduire des prédictions à partir d'hypothèses utilise la même structure logique
  • Résolution de problèmes : Décomposer des problèmes complexes en étapes logiques
Maîtriser la démonstration directe développe une pensée rigoureuse applicable bien au-delà des mathématiques !

Applications dans le monde réel

Vérification de logiciel

Les programmeurs utilisent la logique de démonstration directe pour vérifier que leur code fonctionne correctement pour toutes les entrées.

Exemple:

Pour prouver qu'un algorithme de tri produit toujours une sortie triée, nous montrons : si l'entrée est une liste, la sortie a les mêmes éléments en ordre non décroissant.

1Essaie par toi-même

Un programme double chaque nombre dans une liste. Nous devons prouver : si tous les nombres en entrée sont positifs, tous les nombres en sortie sont positifs.

Complète cette démonstration directe.

Étape 1 : Choisis la bonne réponse

Si x>0x > 0, alors 2x>?2x > ?

Raisonnement juridique

Les avocats construisent des arguments qui mènent logiquement des preuves aux conclusions.

Exemple:

Si le contrat stipule que le paiement est dû à la livraison, et que la livraison a eu lieu le 1er mars, alors le paiement était dû le 1er mars.

2Essaie par toi-même

Loi : Tous les citoyens de plus de 18 ans peuvent voter. Fait : Alex est citoyen. Fait : Alex a 21 ans.

Prouve qu'Alex peut voter.

Étape 1 : Choisis la bonne réponse

Quelle comparaison de l'âge d'Alex avec 18 complète l'argument ?

Points clés

  • 1Une démonstration directe suppose que l'hypothèse est vraie et déduit la conclusion par des étapes logiques
  • 2Utilise des définitions pour traduire les mots en expressions mathématiques (par exemple, pair = 2k2k)
  • 3Chaque étape doit suivre logiquement des étapes précédentes en utilisant l'algèbre, des définitions ou des théorèmes
  • 4La preuve se termine quand tu atteins la forme exacte de la conclusion
  • 5CQFD (ce qu'il fallait démontrer) marque la fin d'une preuve

Questions fréquentes

Comment savoir quand utiliser la démonstration directe plutôt que d'autres méthodes ?

Essaie d'abord la démonstration directe pour les énoncés positifs comme 'Si A, alors B.' Si tu es bloqué, considère la preuve par contradiction ou la contraposée. La démonstration directe fonctionne bien quand tu peux manipuler l'hypothèse algébriquement.

Que signifie CQFD ?

CQFD signifie 'ce qu'il fallait démontrer'. Cela signale que la preuve est complète. Certains mathématiciens utilisent un symbole carré (pierre tombale) à la place.

À quel point mes étapes doivent-elles être détaillées ?

Chaque étape devrait être justifiée par une définition, une propriété ou un théorème. Si tu sautes des étapes, tu risques de cacher des erreurs. En cas de doute, inclus plus de détails.

Glossaire

Démonstration directe
Une méthode de preuve qui suppose l'hypothèse et utilise la déduction logique pour dériver la conclusion
Hypothèse
La partie 'si' d'un énoncé conditionnel ; ce que nous supposons être vrai
Conclusion
La partie 'alors' d'un énoncé conditionnel ; ce que nous voulons prouver
CQFD
Abréviation de 'ce qu'il fallait démontrer', marquant la fin d'une preuve
Théorème
Un énoncé mathématique qui a été prouvé comme vrai
Axiome
Un énoncé accepté comme vrai sans preuve ; un point de départ pour le raisonnement

Plus sur ce sujet

Introduction aux preuves mathématiques

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