Dans ce cours fondamental de la chaîne Mathtec, nous explorons en détail les concepts d'implication $(\implies)$ et d'équivalence $(\iff)$ dans la résolution d'équations, ainsi que leur traduction rigoureuse en théorie des ensembles.
Soient deux équations ou propriétés $(E)$ et $(F)$ d'inconnue $x \in \mathbb{R}$, d'ensembles de solutions respectifs $S_E$ et $S_F$ :
- Implication directe et Inclusion : $$(E) \implies (F) \iff S_E \subseteq S_F$$ Signification : Toute solution de $(E)$ est nécessairement solution de $(F)$, mais $(F)$ peut contenir des solutions supplémentaires (parasites).
- Équivalence logique et Égalité : $$(E) \iff (F) \iff S_E = S_F$$ Signification : Les deux équations ont rigoureusement le même ensemble de solutions (ni perte, ni ajout de candidats).
1. L'exemple fondateur : Pourquoi x² = 1 n'implique pas x = 1
Prenons l'exemple fondamental pour visualiser cette distinction :
- Équation $(E) : x = 1$. Son ensemble de solutions est le singleton : $$S_E = \{1\}$$
- Élevons au carré pour obtenir l'équation $(F) : x^2 = 1$. Factorisons par identité remarquable : $$x^2 - 1 = 0 \iff (x - 1)(x + 1) = 0 \iff x = 1 \quad \text{ou} \quad x = -1$$ Son ensemble de solutions est : $$S_F = \{-1, 1\}$$
Comparons les deux ensembles de solutions obtenus :
$$\{1\} \subset \{-1, 1\} \iff S_E \subset S_F$$Puisque $S_E \subseteq S_F$, nous avons bien l'implication :
$$x = 1 \implies x^2 = 1 \quad \text{(VRAI)}$$En revanche, la réciproque est fausse :
$$x^2 = 1 \centernot\implies x = 1 \quad \text{(FAUX, car } x = -1 \text{ est solution de } (F) \text{ mais pas de } (E)\text{)}$$2. Application pratique aux équations irrationnelles
Reprenons l'équation irrationnelle étudiée dans notre vidéo précédente :
$$(E) : \sqrt{2x^2 - 4x - 5} = x - 2$$Lorsque nous élevons les deux membres au carré sans condition préalable, nous établissons l'implication :
$$(E) \implies (F) : x^2 - 9 = 0$$D'après le théorème fondamental, cela signifie que :
$$S_E \subseteq S_F = \{-3, 3\}$$L'ensemble $S_F$ est un « réservoir » qui contient les seules valeurs possibles pouvant convenir. Il ne reste plus qu'à tester l'appartenance à $S_E$ :
- $3 \in S_E$ car $\sqrt{2(3)^2 - 4(3) - 5} = 1$ et $3 - 2 = 1$.
- $-3 \notin S_E$ car le membre de gauche vaut $5$ et le membre de droite $-5$.
Conclusion ensembliste :
$$S_E = \{3\}$$| Critère | Méthode par Équivalences $(\iff)$ | Méthode Analyse-Synthèse $(\implies)$ |
|---|---|---|
| Raisonnement | On pose la condition $x \geqslant 2$ pour garantir la stricte équivalence. | On élève au carré librement ($S_E \subseteq S_F$). |
| Ensemble trouvé | Directement l'ensemble $S_E$ final. | Un sur-ensemble $S_F$ avec des candidats à trier. |
| Étape finale | Intersection avec la condition de positivité. | Test obligatoire de chaque candidat dans l'équation. |
Vous souhaitez maîtriser la logique mathématique pour vos études de lycée et d'université ? Retrouvez toutes nos vidéos détaillées sur la chaîne YouTube @mathtecfr !