Arguments et démonstrations
Introduction
Découvrez comment construire des arguments logiques et des démonstrations rigoureuses
Contexte et motivation
Pourquoi les arguments et démonstrations ?
Imagine que tu affirmes que "Pour tout entier naturel n, n² + n est pair". Comment prouver cette affirmation ? Comment convaincre ton professeur que ton raisonnement est correct ?
Comment démontrer que la somme des angles d'un triangle est égale à 180° ? Comment justifier qu'une propriété est vraie dans tous les cas ?
Les arguments et démonstrations permettent de justifier les affirmations mathématiques de manière rigoureuse et convaincante.
- Établir la vérité des propriétés mathématiques
- Convaincre les autres de la validité d'un raisonnement
- Renforcer la compréhension des concepts
- Apprendre à raisonner de manière logique
- Préparer à des démonstrations plus avancées
Définition des arguments
Concept fondamental
Un argument est une proposition ou une idée utilisée pour soutenir une affirmation ou une conclusion.
En mathématiques, un argument est une justification logique qui permet d'établir la validité d'une propriété.
Un bon argument doit être : logiquement valide, basé sur des faits connus, clair et convaincant.
Les arguments mathématiques utilisent des propriétés, des définitions, des théorèmes connus.
- Arguments basés sur des définitions
- Arguments basés sur des propriétés connues
- Arguments basés sur des exemples
- Arguments basés sur des contre-exemples
- Arguments basés sur des calculs
Définition des démonstrations
Processus de preuve
Une démonstration est une suite d'arguments logiques qui permet de prouver qu'une proposition est vraie.
Elle part d'hypothèses connues et arrive à une conclusion en utilisant des règles de logique et des propriétés mathématiques.
Une démonstration doit être rigoureuse, complète, et convaincante.
Elle doit respecter la logique mathématique et ne pas contenir d'erreurs de raisonnement.
- Énoncer clairement la propriété à démontrer
- Identifier les hypothèses de départ
- Appliquer des arguments logiques et mathématiques
- Arriver à la conclusion
- Vérifier la cohérence du raisonnement
Méthodes de démonstration
Techniques de preuve
On part des hypothèses et on arrive à la conclusion en utilisant des propriétés connues.
Exemple : Démontrer que si n est pair, alors n² est pair.
Si n est pair, alors n = 2k pour un entier k. Donc n² = (2k)² = 4k² = 2(2k²). Puisque 2k² est un entier, n² est pair.
On démontre que si non B alors non A pour prouver que A ⇒ B.
Exemple : Démontrer que si n² est impair, alors n est impair.
On démontre que si n est pair, alors n² est pair (ce qu'on a déjà fait), donc par contraposée, si n² est impair, alors n est impair.
On suppose que la conclusion est fausse et on arrive à une contradiction.
Exemple : Démontrer que √2 est irrationnel.
On suppose que √2 est rationnel, donc √2 = p/q avec p, q entiers. On arrive à une contradiction.
Démonstration directe
Méthode de preuve directe
1. Partir des hypothèses connues
2. Appliquer des propriétés mathématiques
3. Utiliser des arguments logiques
4. Arriver à la conclusion demandée
5. Vérifier la cohérence du raisonnement
Démontrer que pour tout entier naturel n, n² + n est pair.
Preuve : Soit n un entier naturel.
n² + n = n(n + 1)
Entre n et n + 1, l'un des deux est pair (car ce sont deux entiers consécutifs).
Donc le produit n(n + 1) est pair (produit d'un entier pair par un entier).
Donc n² + n est pair.
La démonstration directe est la plus intuitive et la plus courante.
Elle est particulièrement efficace pour les propriétés simples.
Elle suit une logique "hypothèse → conclusion".
Elle utilise des propriétés déjà démontrées.
Démonstration par contraposée
Méthode de preuve indirecte
Si on veut démontrer "A ⇒ B", on peut démontrer "non B ⇒ non A".
La contraposée est logiquement équivalente à l'implication initiale.
Cette méthode est utile quand la démonstration directe est difficile.
Elle consiste à supposer que la conclusion est fausse et à arriver à une contradiction sur l'hypothèse.
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.
Démonstration par l'absurde
Méthode de preuve indirecte
1. Supposer que la propriété à démontrer est fausse
2. Développer le raisonnement à partir de cette hypothèse
3. Arriver à une contradiction (par exemple, 0 = 1)
4. Conclure que l'hypothèse initiale est fausse
5. 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 (preuves d'algorithmes)
- 2 Physique (vérification de lois)
- 3 Ingénierie (justification de méthodes)
- 4 Sciences humaines (analyse logique)
- 5 Économie (modèles mathématiques)
En informatique, on doit souvent prouver qu'un algorithme est correct. Par exemple, pour prouver qu'un algorithme de tri fonctionne, on peut utiliser une démonstration par récurrence. On démontre que l'algorithme trie correctement une liste de taille 1, puis on suppose qu'il trie une liste de taille n, et on prouve qu'il trie une liste de taille n+1. Cela garantit que l'algorithme fonctionne pour toutes les tailles de listes.
Exercice d'application
Problème complet
Démontrer que pour tout entier naturel n, le produit n(n+1)(n+2) est divisible par 6.
1. Identifier les propriétés à utiliser.
2. Déterminer une méthode de démonstration.
3. Rédiger la démonstration.
4. Vérifier la validité du raisonnement.
Solution de l'exercice
Correction détaillée
Un nombre est divisible par 6 si et seulement s'il est divisible par 2 et par 3.
On va donc démontrer que n(n+1)(n+2) est divisible par 2 et par 3.
On utilisera le fait que parmi trois entiers consécutifs, il y en a toujours un divisible par 3, et au moins un divisible par 2.
Soit n un entier naturel. On considère le produit n(n+1)(n+2).
Divisibilité par 2 : Parmi les entiers n, n+1, n+2, il y a au moins un entier pair (car ce sont trois entiers consécutifs). Donc le produit est divisible par 2.
Divisibilité par 3 : Parmi trois entiers consécutifs, il y a toujours un entier divisible par 3. Donc le produit est divisible par 3.
Comme le produit est divisible par 2 et par 3, et que 2 et 3 sont premiers entre eux, il est divisible par 2×3 = 6.
Deuxième exercice
Problème complet
Démontrer par contraposée que si n² est divisible par 3, alors n est divisible par 3.
1. Identifier la contraposée de l'implication.
2. Supposer que n n'est pas divisible par 3.
3. Analyser les cas possibles pour n modulo 3.
4. Montrer que n² n'est pas divisible par 3 dans chaque cas.
5. Conclure.
Solution du deuxième exercice
Correction détaillée
L'implication à démontrer est : n² divisible par 3 ⇒ n divisible par 3.
La contraposée est : n non divisible par 3 ⇒ n² non divisible par 3.
Nous allons démontrer cette contraposée.
Si n n'est pas divisible par 3, alors n ≡ 1 (mod 3) ou n ≡ 2 (mod 3).
Cas 1 : n ≡ 1 (mod 3), donc n = 3k + 1 pour un entier k
Alors n² = (3k + 1)² = 9k² + 6k + 1 = 3(3k² + 2k) + 1
Donc n² ≡ 1 (mod 3), donc n² n'est pas divisible par 3.
Cas 2 : n ≡ 2 (mod 3), donc n = 3k + 2 pour un entier k
Alors n² = (3k + 2)² = 9k² + 12k + 4 = 3(3k² + 4k + 1) + 1
Donc n² ≡ 1 (mod 3), donc n² n'est pas divisible par 3.
Dans les deux cas où n n'est pas divisible par 3, n² n'est pas divisible par 3.
Donc, par contraposée, si n² est divisible par 3, alors n est divisible par 3.
Suite de la solution exercice 2
Correction détaillée (suite)
Exemple 1 : n = 6. Alors n² = 36. 36 est divisible par 3 (36 = 3×12), et 6 est divisible par 3 (6 = 3×2). ✓
Exemple 2 : n = 5. Alors n² = 25. 25 n'est pas divisible par 3, et 5 n'est pas divisible par 3. ✓
Exemple 3 : n = 4. Alors n² = 16. 16 n'est pas divisible par 3, et 4 n'est pas divisible par 3. ✓
La démonstration est correcte car elle préserve la relation d'implication dans tous les cas.
Cette propriété est importante en arithmétique. Elle permet de démontrer que certaines racines carrées sont irrationnelles.
Par exemple, pour démontrer que √3 est irrationnel, on suppose que √3 = p/q, donc 3 = p²/q², donc 3q² = p². Cela implique que p² est divisible par 3, donc p est divisible par 3. On arrive à une contradiction.
La démonstration par contraposée est particulièrement efficace pour les propriétés arithmétiques.
Propriétés importantes
Propriétés clés
- La plus naturelle et intuitive
- Utilisée pour les propriétés simples
- Suit une logique "hypothèse → conclusion"
- Utilise des propriétés déjà démontrées
- Équivalente à la démonstration directe
- Particulièrement utile pour les implications
- Souvent plus simple que la démonstration directe
- Se base sur la logique : A ⇒ B ≡ ¬B ⇒ ¬A
- Suppose la conclusion fausse
- Arrive à une contradiction
- Particulièrement efficace pour les propriétés d'existence
- Se base sur le principe du tiers exclu
Résumé
Points clés
- Démonstration directe : on part des hypothèses et on arrive à la conclusion
- Démonstration par contraposée : on démontre ¬B ⇒ ¬A pour prouver A ⇒ B
- Démonstration par l'absurde : on suppose la conclusion fausse et on arrive à une contradiction
- Doivent être logiquement valides
- Basés sur des propriétés connues
- Clairs et convaincants
- Précis et rigoureux
- Établir la vérité des propriétés mathématiques
- Justifier des méthodes de calcul
- Valider des résultats
- Préparer à des démonstrations plus avancées
Conclusion
Félicitations !
Continuez à pratiquer pour renforcer vos compétences