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
Fiche d'exercices à imprimer

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}

Essaie tout de suite

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

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

Visuel interactif

Table de vérité

P ∧ Q
PQP ∧ Q
FFF
FVF
VFF
VVV

V= VraiF= Faux

Bac à sable interactif

Calculatrice d'expressions

Essaie ceux-ci :

Historique

Aucun calcul pour l'instant

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.

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

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
Défi du jourUn problème, trois essais

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