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.
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é.
Quiz de classe
10 questions sur Preuves mathématiques. Les élèves participent avec un prénom, tu vois tous les scores.
Pour les enseignants
- 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
- • 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
- 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 ?
Vérifier plusieurs exemples prouve un énoncé
L'ordre des étapes n'a pas d'importance
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
- HSN-CN.A.2 (CCSS.MATH.CONTENT.HSN.CN.A.2)
Utilise la relation 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
- 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.
Contenu de la leçon
Tout ce que voient les élèves : définition, exemples, erreurs fréquentes, applications. Touchez pour ouvrir.
Définition
- Commencer en supposant que est vrai
- Utiliser des déductions logiques pour montrer que doit aussi être vrai
Exemples résolus
Prouve : Si et sont des entiers pairs, alors est pair.
Énoncer l'hypothèse
Supposons que et sont des entiers pairs → Donné : et sont pairs
Appliquer la définition de pair
Un entier pair peut s'écrire pour un entier → et pour des entiers
Additionner les deux nombres
→
Factoriser le facteur commun
→
Appliquer à nouveau la définition de pair
Puisque est un entier, est pair par définition → est pair
Réponse: Donc, la somme de deux entiers pairs est toujours paire. CQFD
Erreurs courantes
Utiliser des exemples spécifiques au lieu d'une preuve générale
Pourquoi c'est faux: Montrer que (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 pour un entier ' 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 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
- 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
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.
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 : Écrivez l'expression mathématique
Si , alors
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.
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 : Écrivez l'expression mathématique
Structure l'argument logique
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 = )
- 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 ?
Que signifie CQFD ?
À quel point mes étapes doivent-elles être détaillées ?
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