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.

Avancé25 minLeçon

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. Supposer que l'hypothèse est vraie 2. Appliquer des définitions, des axiomes et des théorèmes 3. Déduire la conclusion par raisonnement logique
Si nous voulons prouver "Si , alors " (écrit ) :
  • Commencer en supposant que est vrai
  • Utiliser des déductions logiques pour montrer que doit aussi être vrai

Essaie tout de suite

Quelle est la première étape d'une démonstration directe ?

Exemples résolus

Prouve : Si et sont des entiers pairs, alors est pair.

1

Énoncer l'hypothèse

Supposons que et sont des entiers pairsDonné : et sont pairs

2

Appliquer la définition de pair

Un entier pair peut s'écrire pour un entier et pour des entiers

3

Additionner les deux nombres

4

Factoriser le facteur commun

5

Appliquer à nouveau la définition de pair

Puisque est un entier, est pair par définition est pair

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é.

Visuel interactif

Table de vérité

P ∧ Q
PQP ∧ Q
FFF
FTF
TFF
TTT

T= VraiF= Faux

Bac à sable interactif

Calculateur d'expressions

Essayez ceux-ci:

Historique

Aucun calcul encore

Exercices pratiques

17 exercices
Problème 1 sur 17
Facile

Quelle est la première étape d'une démonstration directe ?

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.

1Essayez vous-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 : É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.

2Essayez vous-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 : É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

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.
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.
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.
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