Preuves directes et indirectes
Introduction
Découvrez les méthodes pour démontrer des propriétés mathématiques
Contexte et motivation
Pourquoi différentes méthodes de preuve ?
Comment démontrer qu'une propriété est vraie pour tous les entiers naturels ? Comment prouver qu'une propriété est fausse ? Comment prouver une implication ?
Il existe plusieurs méthodes de preuve : directe, par contraposée, par l'absurde, par récurrence, etc.
Le choix de la méthode dépend de la nature de la propriété à démontrer.
- Établir la vérité des propriétés mathématiques
- Apprendre à raisonner de manière logique
- Identifier les cas où chaque méthode est la plus efficace
- Renforcer la rigueur mathématique
- Préparer à des démonstrations plus avancées
Preuve directe
Méthode fondamentale
La preuve directe consiste à partir des hypothèses et à arriver à la conclusion par une suite d'arguments logiques.
Elle suit la logique : Hypothèses → Arguments logiques → Conclusion
C'est la méthode la plus naturelle et intuitive.
Elle est particulièrement efficace pour les implications simples.
- Identifier les hypothèses
- Identifier la conclusion
- Établir une chaîne d'arguments logiques
- Utiliser des propriétés connues
- Arriver à la conclusion
Exemple de preuve directe
Application numérique
Démontrer que pour tout entier naturel n, n² + n est pair.
Preuve directe : Soit n un entier naturel.
n² + n = n(n + 1)
Entre deux entiers consécutifs n et n + 1, l'un est pair et l'autre impair.
Donc le produit n(n + 1) est pair (produit d'un entier pair et d'un entier).
Donc n² + n est pair.
On a utilisé le fait que le produit d'un entier pair et d'un entier est pair.
Entre n et n+1, l'un est pair car ce sont deux entiers consécutifs.
La preuve est directe : on part de l'expression n² + n et on arrive à la conclusion qu'elle est paire.
Preuve par contraposée
Méthode indirecte
La contraposée de l'implication "A ⇒ B" est "non B ⇒ non A".
Ces deux implications sont logiquement équivalentes.
Parfois, il est plus facile de démontrer la contraposée que l'implication directe.
La preuve par contraposée est particulièrement utile pour les implications du type "si ... alors ...".
Démontrer que si n² est impair, alors n est impair.
Preuve par contraposée : Supposons que n est pair.
Alors n = 2k pour un entier k.
Donc n² = (2k)² = 4k² = 2(2k²).
Puisque 2k² est un entier, n² est pair.
Donc si n est pair, alors n² est pair.
Par contraposée : si n² est impair, alors n est impair.
Preuve par l'absurde
Méthode indirecte
- Supposer que la propriété à démontrer est fausse
- Développer le raisonnement à partir de cette hypothèse
- Arriver à une contradiction (par exemple, 0 = 1)
- Conclure que l'hypothèse initiale est fausse
- Donc la propriété est vraie
Démontrer que √2 est irrationnel.
Preuve par l'absurde : Supposons que √2 est rationnel.
Alors √2 = p/q avec p et q entiers non nuls et premiers entre eux.
Donc 2 = p²/q², soit p² = 2q².
Cela signifie que p² est pair, donc p est pair (p = 2k).
Donc (2k)² = 2q² → 4k² = 2q² → 2k² = q².
Donc q² est pair, donc q est pair.
Donc p et q sont pairs, donc ils ne sont pas premiers entre eux.
Cela contredit notre hypothèse. Donc √2 est irrationnel.
Applications concrètes
Utilisations pratiques
- 1 Informatique (vérification d'algorithmes)
- 2 Logique (vérification d'arguments)
- 3 Sciences (validation de théories)
- 4 Mathématiques (démonstration de propriétés)
- 5 Philosophie (arguments logiques)
En informatique, on peut utiliser la preuve par l'absurde pour montrer qu'un algorithme ne peut pas fonctionner dans certains cas. Par exemple, pour prouver qu'il est impossible de trier n éléments en moins de log(n!) comparaisons dans le pire des cas, on suppose que c'est possible et on arrive à une contradiction. La preuve directe est utilisée pour montrer que des propriétés sont vraies dans tous les cas, et la preuve par contraposée est utilisée pour montrer que certaines conditions sont nécessaires.
Exercice d'application
Problème complet
Démontrer par la méthode la plus appropriée :
1. Pour tout entier naturel n, n² + n + 1 est impair.
2. Si n est impair, alors n² est impair.
3. Démontrer par l'absurde que √3 est irrationnel.
4. Comparer les méthodes de preuve pour chaque cas.
Solution de l'exercice
Correction détaillée
Pour tout entier naturel n, n² + n + 1 est impair.
Preuve directe : Soit n un entier naturel.
On a n² + n = n(n + 1), qui est pair (comme vu précédemment).
Donc n² + n + 1 = (n² + n) + 1 est impair (pair + impair = impair).
Si n est impair, alors n² est impair.
Preuve directe : Si n est impair, alors n = 2k + 1 pour un entier k.
Donc n² = (2k + 1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1.
Puisque 2k² + 2k est un entier, n² est impair.
Suite de la solution
Correction détaillée (suite)
Démontrer que √3 est irrationnel.
Preuve par l'absurde : Supposons que √3 est rationnel.
Alors √3 = p/q avec p et q entiers non nuls et premiers entre eux.
Donc 3 = p²/q², soit p² = 3q².
Cela signifie que p² est divisible par 3, donc p est divisible par 3 (p = 3k).
Donc (3k)² = 3q² → 9k² = 3q² → 3k² = q².
Donc q² est divisible par 3, donc q est divisible par 3.
Donc p et q sont divisibles par 3, donc ils ne sont pas premiers entre eux.
Cela contredit notre hypothèse. Donc √3 est irrationnel.
- Question 1 : Preuve directe car on peut utiliser des propriétés connues (pair + impair = impair)
- Question 2 : Preuve directe car l'hypothèse est simple (n impair)
- Question 3 : Preuve par l'absurde car la preuve directe est difficile
- La méthode de preuve dépend de la structure de la propriété à démontrer
Deuxième exercice
Problème complet
Un fabricant de jouets a deux usines A et B. L'usine A produit 60% des jouets et l'usine B produit 40%. La probabilité qu'un jouet soit défectueux est de 2% dans l'usine A et de 5% dans l'usine B.
1. Calculer la probabilité qu'un jouet soit défectueux.
2. Sachant qu'un jouet est défectueux, quelle est la probabilité qu'il vienne de l'usine A ?
3. Quelle méthode de preuve est la plus adaptée pour justifier les calculs ?
Solution du deuxième exercice
Correction détaillée
Soit D l'événement "le jouet est défectueux", A l'événement "le jouet provient de l'usine A", et B l'événement "le jouet provient de l'usine B".
On a : P(A) = 0.6, P(B) = 0.4, P(D|A) = 0.02, P(D|B) = 0.05
Par la formule des probabilités totales :
P(D) = P(D|A) × P(A) + P(D|B) × P(B) = 0.02 × 0.6 + 0.05 × 0.4 = 0.012 + 0.02 = 0.032
On cherche P(A|D) : la probabilité que le jouet vienne de l'usine A sachant qu'il est défectueux.
Par la formule de Bayes :
P(A|D) = [P(D|A) × P(A)] / P(D) = (0.02 × 0.6) / 0.032 = 0.012 / 0.032 = 12/32 = 3/8 = 0.375
Pour ce type de problème, on utilise des formules connues :
- Formule des probabilités totales : preuve directe
- Formule de Bayes : preuve directe
Ces formules sont établies par des preuves directes ou par des raisonnements logiques.
La preuve directe est la plus adaptée car elle utilise des formules mathématiques établies.
Suite de la solution exercice 2
Correction détaillée (suite)
Seulement 3.2% des jouets sont défectueux au total.
Par contre, sachant qu'un jouet est défectueux, il a 37.5% de chances d'être produit par l'usine A.
Or l'usine A ne produit que 60% des jouets, donc proportionnellement, elle contribue moins aux défauts que son volume de production.
L'usine B, qui ne produit que 40% des jouets, est responsable de 62.5% des défauts (1 - 0.375 = 0.625).
Cela montre que l'usine B a un taux de défaut plus élevé (5% vs 2%) et est donc plus problématique.
Les formules de probabilité conditionnelle et de Bayes sont des résultats mathématiques établis par des preuves directes.
On peut démontrer la formule des probabilités totales par preuve directe : on part de la définition de la probabilité et on utilise les propriétés de base.
On peut démontrer la formule de Bayes par preuve directe : on part de la définition de la probabilité conditionnelle et on manipule les expressions.
Les preuves mathématiques permettent d'établir des formules fiables que l'on peut ensuite appliquer dans des contextes concrets.
Techniques avancées
Méthodes complémentaires
Très utile pour les propriétés vraies pour tous les entiers naturels.
Étape 1 : Initialisation (vérifier la propriété pour n = 0 ou n = 1)
Étape 2 : Hérédité (supposer vraie pour n, démontrer pour n+1)
Étape 3 : Conclusion (la propriété est vraie pour tous les entiers)
On suppose l'existence d'une solution, on analyse ses propriétés (analyse), puis on vérifie que ces propriétés définissent bien une solution (synthèse).
Exemple : déterminer les solutions d'une équation.
On examine tous les cas possibles pour démontrer une propriété.
Exemple : pour démontrer une propriété sur les entiers, on peut distinguer les cas pairs et impairs.
Résumé
Points clés
On part des hypothèses et on arrive à la conclusion par des arguments logiques.
Très utile pour les implications simples.
Exemple : démontrer que n² + n est pair pour tout entier n.
On démontre "non B ⇒ non A" au lieu de "A ⇒ B".
Équivalente à la preuve directe.
Parfois plus facile que la preuve directe.
On suppose que la propriété est fausse et on arrive à une contradiction.
Très puissante pour les propriétés d'existence.
Exemple : démontrer que √2 est irrationnel.
Conclusion
Félicitations !
Continuez à pratiquer pour renforcer vos compétences