Contre-exemples
Introduction
Découvrez comment prouver qu'une affirmation est fausse
Contexte et motivation
Pourquoi les contre-exemples ?
Supposons que quelqu'un affirme : "Tous les nombres impairs sont des nombres premiers".
Comment prouver que cette affirmation est fausse ?
On pourrait essayer de démontrer qu'elle est vraie pour chaque nombre impair, mais cela serait impossible.
Il suffit de trouver un nombre impair qui n'est pas premier (comme 9 = 3×3) pour prouver que l'affirmation est fausse.
Ce nombre (9) est un contre-exemple à l'affirmation.
- Démontrer qu'une affirmation est fausse
- Identifier les limites d'une propriété
- Améliorer la compréhension des concepts
- Éviter les généralisations erronées
- Renforcer la rigueur mathématique
Définition du contre-exemple
Concept fondamental
Un contre-exemple est un cas particulier qui prouve qu'une affirmation générale est fausse.
Soit une affirmation du type : "Pour tout x dans un ensemble E, P(x) est vraie".
Un contre-exemple est un élément x₀ de E tel que P(x₀) est fausse.
Un seul contre-exemple suffit à prouver que l'affirmation générale est fausse.
- Il doit appartenir à l'ensemble de définition de l'affirmation
- Il doit vérifier les conditions de l'affirmation
- Il doit prouver que la conclusion est fausse
- Il doit être simple et clair
- Il doit être vérifiable
Exemples de contre-exemples
Applications numériques
Affirmation : "Tout nombre premier est impair".
Contre-exemple : 2 est un nombre premier mais il est pair.
Donc l'affirmation est fausse.
Affirmation : "Pour tout réel x, x² > 0".
Contre-exemple : x = 0, alors x² = 0, donc x² = 0 > 0 est fausse.
Donc l'affirmation est fausse.
Affirmation : "Tout triangle rectangle est isocèle".
Contre-exemple : un triangle de côtés 3, 4, 5 est rectangle (3² + 4² = 5²) mais pas isocèle.
Donc l'affirmation est fausse.
Contre-exemples en géométrie
Affirmations géométriques
Cette affirmation est vraie dans le plan, mais fausse dans l'espace.
Contre-exemple dans l'espace : deux droites perpendiculaires à une même droite peuvent être sécantes.
Par exemple, dans un cube, deux arêtes issues du même sommet sont perpendiculaires à une même arête mais ne sont pas parallèles.
Contre-exemple : un trapèze isocèle a des diagonales de même longueur mais n'est pas un rectangle.
Donc l'affirmation est fausse.
Contre-exemples en algèbre
Affirmations algébriques
Contre-exemple : a = 1, b = 2
(1 + 2)² = 3² = 9
1² + 2² = 1 + 4 = 5
Donc (1 + 2)² ≠ 1² + 2², donc l'affirmation est fausse.
Contre-exemple : a = 3, b = 4
√(3² + 4²) = √(9 + 16) = √25 = 5
3 + 4 = 7
Donc √(3² + 4²) ≠ 3 + 4, donc l'affirmation est fausse.
Contre-exemple : x = 0
0² + 1 = 1 ≠ 0
Donc l'affirmation est fausse.
Contre-exemples en probabilités
Affirmations probabilistes
Cette affirmation est fausse car elle suppose que les événements sont indépendants.
Contre-exemple : lançons un dé équilibré, A = "obtenir un chiffre pair", B = "obtenir un chiffre supérieur à 4".
P(A) = 3/6 = 1/2, P(B) = 2/6 = 1/3
A ∩ B = "obtenir 6", donc P(A ∩ B) = 1/6
Or P(A) × P(B) = (1/2) × (1/3) = 1/6
Dans ce cas, l'égalité est vraie, mais ce n'est pas toujours le cas.
Soit A = "obtenir un chiffre pair" et B = "obtenir 2".
P(A) = 1/2, P(B) = 1/6
A ∩ B = "obtenir 2" = B, donc P(A ∩ B) = 1/6
Or P(A) × P(B) = (1/2) × (1/6) = 1/12 ≠ 1/6
Donc P(A ∩ B) ≠ P(A) × P(B), ce qui prouve que l'affirmation générale est fausse.
Applications concrètes
Utilisations pratiques
- 1 Science (validation de théories)
- 2 Logique (vérification d'arguments)
- 3 Informatique (tests de programmes)
- 4 Économie (analyse de modèles)
- 5 Recherche (analyse de résultats)
Un programmeur affirme qu'une fonction retourne toujours un nombre positif. Pour tester cette affirmation, il suffit de trouver un contre-exemple : une entrée pour laquelle la fonction retourne un nombre négatif. Si on trouve un tel contre-exemple, l'affirmation est fausse et le programme contient un bug. Cette méthode est très efficace en test logiciel.
Exercice d'application
Problème complet
Étudier la validité des affirmations suivantes et, si elles sont fausses, fournir un contre-exemple :
1. Pour tout entier naturel n, n² + n + 41 est un nombre premier.
2. Pour tous réels a et b, |a + b| = |a| + |b|.
3. Tout triangle ayant deux angles égaux est isocèle.
4. Pour tout réel x, x² + x + 1 = 0.
Solution de l'exercice
Correction détaillée
Testons pour n = 0 : 0² + 0 + 41 = 41 → premier ✓
Testons pour n = 1 : 1² + 1 + 41 = 43 → premier ✓
Testons pour n = 2 : 2² + 2 + 41 = 47 → premier ✓
Testons pour n = 40 : 40² + 40 + 41 = 1600 + 40 + 41 = 1681 = 41² → non premier !
Donc n = 40 est un contre-exemple.
Testons avec a = 1, b = -2 :
|a + b| = |1 + (-2)| = |-1| = 1
|a| + |b| = |1| + |-2| = 1 + 2 = 3
Donc |a + b| ≠ |a| + |b|, donc a = 1, b = -2 est un contre-exemple.
L'égalité est vraie seulement si a et b sont de même signe.
Suite de la solution
Correction détaillée (suite)
Cette affirmation est vraie !
Un triangle ayant deux angles égaux est isocèle. En effet, dans un triangle, si deux angles sont égaux, alors les côtés opposés à ces angles sont égaux. C'est une conséquence du théorème des sinus.
Donc il n'existe pas de contre-exemple à cette affirmation.
Considérons l'équation x² + x + 1 = 0.
Calculons le discriminant : Δ = 1² - 4×1×1 = 1 - 4 = -3 < 0.
Donc l'équation n'a pas de solution réelle.
Donc pour tout réel x, x² + x + 1 ≠ 0.
Il n'existe donc aucun contre-exemple à cette affirmation, car l'affirmation est fausse : il n'existe pas de réel x tel que x² + x + 1 = 0.
Donc tout réel x est un contre-exemple à l'affirmation "∃x ∈ ℝ, x² + x + 1 = 0".
Deuxième exercice
Problème complet
Un étudiant affirme que pour tout entier n ≥ 1, la somme des n premiers entiers naturels est égale à n²/2.
1. Vérifier l'affirmation pour n = 1, n = 2, n = 3.
2. Trouver un contre-exemple.
3. Donner la formule correcte.
4. Expliquer pourquoi l'étudiant s'est trompé.
Solution du deuxième exercice
Correction détaillée
Soit S(n) = 1 + 2 + 3 + ... + n
Formule de l'étudiant : S(n) = n²/2
Pour n = 1 : S(1) = 1, n²/2 = 1/2 → 1 ≠ 1/2, donc faux
Pour n = 2 : S(2) = 1 + 2 = 3, n²/2 = 4/2 = 2 → 3 ≠ 2, donc faux
Pour n = 3 : S(3) = 1 + 2 + 3 = 6, n²/2 = 9/2 = 4.5 → 6 ≠ 4.5, donc faux
Le premier contre-exemple est n = 1 : S(1) = 1 ≠ 1²/2 = 0.5
On peut aussi utiliser n = 2 : S(2) = 3 ≠ 2²/2 = 2
Ou n = 3 : S(3) = 6 ≠ 3²/2 = 4.5
Suite de la solution exercice 2
Correction détaillée (suite)
La formule correcte pour la somme des n premiers entiers naturels est :
Vérification :
n = 1 : S(1) = 1×2/2 = 1 ✓
n = 2 : S(2) = 2×3/2 = 3 ✓
n = 3 : S(3) = 3×4/2 = 6 ✓
L'étudiant a probablement confondu avec la formule de l'aire d'un triangle rectangle de côtés n et n+1, qui est n(n+1)/2, ou avec la formule de l'aire d'un carré de côté n, qui est n².
Il a peut-être pensé que la somme des entiers était liée à une formule quadratique, mais il a oublié le facteur (n+1).
Le contre-exemple a permis de démontrer que l'affirmation était fausse et d'identifier l'erreur.
Techniques de recherche de contre-exemples
Stratégies de recherche
Commencer par tester l'affirmation avec des valeurs simples : 0, 1, -1, 2, etc.
Ces valeurs permettent souvent de détecter rapidement une erreur.
Par exemple, pour tester "∀x, x² > 0", on teste x = 0 et on trouve 0² = 0, donc 0 > 0 est faux.
Essayer des valeurs extrêmes : très grandes, très petites, ou des cas frontières.
Par exemple, pour tester "∀n, n² + n + 41 est premier", on teste n = 40.
Si l'affirmation contredit une propriété connue, on peut utiliser cette propriété pour construire un contre-exemple.
Par exemple, si on affirme que "√(a² + b²) = a + b", on sait que cela contredit le théorème de Pythagore.
Identifier les hypothèses et la conclusion, puis chercher des situations où les hypothèses sont vraies mais la conclusion est fausse.
Résumé
Points clés
Un contre-exemple est un cas particulier qui prouve qu'une affirmation générale est fausse.
Un seul contre-exemple suffit à invalider une affirmation universelle.
Le contre-exemple doit appartenir à l'ensemble de définition de l'affirmation.
- Essayer des cas simples (0, 1, -1)
- Rechercher des cas limites ou extrêmes
- Utiliser des propriétés connues
- Identifier des contradictions avec des théorèmes
- Mathématiques (vérification de théorèmes)
- Logique (validation d'arguments)
- Informatique (test de programmes)
- Sciences (validation de modèles)
- Économie (analyse de prévisions)
Conclusion
Félicitations !
Continuez à pratiquer pour renforcer vos compétences