Exemples classiques
Introduction
Découvrez les problèmes fondamentaux en raisonnement logique
Contexte et motivation
Pourquoi ces exemples classiques ?
Imagine que tu doives démontrer que la somme de deux nombres impairs est toujours paire. Comment procéder ? Quelle méthode de raisonnement utiliser ? Quels exemples connus peuvent t'aider ?
Les exemples classiques en raisonnement logique sont des situations que tu rencontres souvent dans les exercices. Ils t'apprennent des techniques de preuve et des stratégies de raisonnement.
Apprendre ces exemples te permet de reconnaître des motifs et d'appliquer les bonnes méthodes de manière systématique.
- Apprendre des techniques de raisonnement éprouvées
- Reconnaître des motifs dans les problèmes
- Appliquer des méthodes de manière systématique
- Renforcer la compréhension des concepts
- Préparer à des démonstrations plus complexes
Somme de deux nombres impairs
Exemple fondamental
La somme de deux nombres impairs est toujours paire.
Soient a et b deux nombres impairs. Démontrer que a + b est pair.
Si a est impair, alors a = 2k + 1 pour un entier k.
Si b est impair, alors b = 2m + 1 pour un entier m.
Donc a + b = (2k + 1) + (2m + 1) = 2k + 2m + 2 = 2(k + m + 1)
Comme k + m + 1 est un entier, a + b est pair.
Produit d'un nombre pair et impair
Exemple fondamental
Le produit d'un nombre pair et d'un nombre impair est toujours pair.
Soient a un nombre pair et b un nombre impair. Démontrer que a × b est pair.
Si a est pair, alors a = 2k pour un entier k.
Si b est impair, alors b = 2m + 1 pour un entier m.
Donc a × b = 2k × (2m + 1) = 2k(2m + 1) = 2[k(2m + 1)]
Comme k(2m + 1) est un entier, a × b est pair.
Exemple 1 : 4 × 3 = 12 (pair) ✓
Exemple 2 : 6 × 5 = 30 (pair) ✓
Exemple 3 : 8 × 7 = 56 (pair) ✓
Ces exemples confirment la proposition démontrée.
Carré d'un nombre impair
Exemple fondamental
Le carré d'un nombre impair est toujours impair.
Soit a un nombre impair. Démontrer que a² est impair.
Si a est impair, alors a = 2k + 1 pour un entier k.
Donc a² = (2k + 1)² = (2k)² + 2×(2k)×1 + 1² = 4k² + 4k + 1 = 2(2k² + 2k) + 1
Comme 2k² + 2k est un entier, a² est de la forme 2m + 1 (où m = 2k² + 2k), donc a² est impair.
Exemple 1 : 3² = 9 (impair) ✓
Exemple 2 : 5² = 25 (impair) ✓
Exemple 3 : 7² = 49 (impair) ✓
Exemple 4 : 9² = 81 (impair) ✓
Ces exemples confirment la proposition démontrée.
Preuve par l'absurde
Méthode indirecte
La preuve par l'absurde consiste à supposer que la propriété à démontrer est fausse, puis à arriver à une contradiction.
Étapes :
1. Supposer que la propriété 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 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.
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.
Exemple : pour démontrer "si n² est impair, alors n est impair", on démontre "si n est pair, alors n² est pair".
Proposition : 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 récurrence
Méthode de récurrence
La preuve par récurrence est utilisée pour démontrer une propriété vraie pour tous les entiers naturels.
Étapes :
1. Initialisation : prouver que la propriété est vraie pour n = 0 (ou n = 1)
2. Hérédité : supposer que la propriété est vraie pour n, et prouver qu'elle est vraie pour n+1
3. Conclusion : la propriété est vraie pour tous les entiers naturels
Démontrer que pour tout entier naturel n ≥ 1 : 1 + 2 + 3 + ... + n = n(n+1)/2
Initialisation : Pour n = 1 : 1 = 1(1+1)/2 = 1 ✓
Hérédité : Supposons vraie pour n : 1 + 2 + ... + n = n(n+1)/2
Alors 1 + 2 + ... + n + (n+1) = n(n+1)/2 + (n+1) = (n+1)[n/2 + 1] = (n+1)(n+2)/2
C'est la formule pour n+1. Donc la propriété est héréditaire.
Conclusion : La formule est vraie pour tout n ≥ 1.
Applications concrètes
Utilisations pratiques
- 1 Informatique (algorithmes, complexité)
- 2 Sciences humaines (logique, argumentation)
- 3 Économie (modèles mathématiques)
- 4 Ingénierie (preuves de propriétés)
- 5 Philosophie (raisonnement logique)
En informatique, on utilise la preuve par récurrence pour montrer que les algorithmes sont corrects. Par exemple, pour prouver qu'un algorithme de tri fonctionne, on montre qu'il 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 par la méthode la plus appropriée :
1. La somme de deux nombres pairs est toujours paire.
2. Si n est impair, alors n² est impair.
3. Pour tout entier naturel n ≥ 1 : 1² + 2² + 3² + ... + n² = n(n+1)(2n+1)/6
4. Le produit de deux nombres impairs est impair.
Solution de l'exercice
Correction détaillée
Soient a et b deux nombres pairs.
Alors a = 2k et b = 2m pour des entiers k et m.
Donc a + b = 2k + 2m = 2(k + m).
Comme k + m est un entier, a + b est pair.
Soit n un nombre impair.
Alors n = 2k + 1 pour un entier k.
Donc n² = (2k + 1)² = 4k² + 4k + 1 = 2(2k² + 2k) + 1.
Comme 2k² + 2k est un entier, n² est impair.
Suite de la solution
Correction détaillée (suite)
Initialisation : Pour n = 1 : 1² = 1 et 1(1+1)(2×1+1)/6 = 1×2×3/6 = 1 ✓
Hérédité : Supposons vraie pour n : 1² + 2² + ... + n² = n(n+1)(2n+1)/6
Alors 1² + 2² + ... + n² + (n+1)² = n(n+1)(2n+1)/6 + (n+1)²
= (n+1)[n(2n+1)/6 + (n+1)] = (n+1)[n(2n+1) + 6(n+1)]/6
= (n+1)[2n² + n + 6n + 6]/6 = (n+1)[2n² + 7n + 6]/6
= (n+1)(n+2)(2n+3)/6
C'est la formule pour n+1. Donc la propriété est héréditaire.
Conclusion : La formule est vraie pour tout n ≥ 1.
Soient a et b deux nombres impairs.
Alors a = 2k + 1 et b = 2m + 1 pour des entiers k et m.
Donc a × b = (2k + 1)(2m + 1) = 4km + 2k + 2m + 1 = 2(2km + k + m) + 1.
Comme 2km + k + m est un entier, a × b est impair.
Deuxième exercice
Problème complet
Démontrer par l'absurde que si n² est divisible par 3, alors n est divisible par 3.
1. Énoncer la contraposée de la proposition.
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
La proposition à 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.
On va démontrer la contraposée par l'absurde.
Supposons que 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 la contraposée est vraie.
Par conséquent, la proposition initiale est vraie.
Suite de la solution exercice 2
Correction détaillée (suite)
La démonstration par l'absurde est particulièrement efficace pour les propriétés arithmétiques.
On a prouvé que si n² est divisible par 3, alors n est divisible par 3.
Exemples :
n = 6 : n² = 36, divisible par 3 ✓
n = 5 : n² = 25, non divisible par 3 ✓
n = 9 : n² = 81, divisible par 3 ✓
Cette propriété est importante en arithmétique et en algèbre.
On peut généraliser cette propriété : si n² est divisible par un nombre premier p, alors n est divisible par p.
Cela s'applique à tous les nombres premiers (p = 2, 3, 5, 7, 11, etc.).
La preuve par l'absurde est une méthode puissante pour démontrer ce type de propriété.
Elle permet de montrer qu'une propriété est nécessaire en supposant qu'elle ne l'est pas.
Résumé
Points clés
On part des hypothèses et on arrive à la conclusion par des arguments logiques.
Exemple : démontrer que la somme de deux nombres pairs est paire.
On exprime les nombres pairs et on calcule leur somme.
On démontre "non B ⇒ non A" au lieu de "A ⇒ B".
Exemple : si n² est impair, alors n est impair.
On démontre "si n est pair, alors n² est pair".
On suppose que la propriété est fausse et on arrive à une contradiction.
Exemple : √2 est irrationnel.
On suppose √2 rationnel et on arrive à une contradiction.
Utilisée pour les propriétés vraies pour tous les entiers naturels.
On initialise pour n = 0 ou n = 1, puis on prouve l'hérédité.
Exemple : 1 + 2 + ... + n = n(n+1)/2.
Conclusion
Félicitations !
Continuez à pratiquer pour renforcer vos compétences