Supposer la réciproque vraie sans la démontrer

L'erreur consiste à affirmer qu'une implication est réciproquement vraie sans justification. Si vous démontrez que « A implique B » (A $\Rightarrow$ B), vous ne pouvez pas en déduire que « B implique A » (B $\Rightarrow$ A). C'est une confusion fondamentale entre condition nécessaire et condition suffisante. Par exemple, si « être un carré implique être un rectangle », l'inverse est faux : « être un rectangle n'implique pas être un carré ».

En mathématiques, cette erreur se manifeste souvent dans la résolution d'équations ou d'inéquations, où des opérations non équivalentes sont effectuées. Si vous élevez au carré les deux membres d'une équation comme $x=1$, vous obtenez $x^2=1$, ce qui est équivalent à $x=1$ ou $x=-1$. Vous avez introduit une solution parasite ($x=-1$) car l'implication $x=1\Rightarrow x^2=1$ est vraie, mais la réciproque $x^2=1\Rightarrow x=1$ est fausse.

Pour prévenir cette erreur, adoptez le réflexe systématique de questionner la réciproque de toute implication que vous utilisez. Chaque fois que vous écrivez une implication $A\Rightarrow B$, demandez-vous explicitement : « Est-ce que $B\Rightarrow A$ est également vrai ? » Si oui, utilisez le symbole d'équivalence $\iff$. Sinon, restez sur $\Rightarrow$.

Lors de la résolution d'exercices, surtout ceux impliquant des équations ou des démonstrations d'existence et d'unicité, décomposez chaque étape. Vérifiez la validité de chaque implication et de sa réciproque. Si vous effectuez une opération qui n'est pas une équivalence (par exemple, élever au carré, prendre le sinus, diviser par une expression qui peut être nulle), vous devez impérativement vérifier les solutions obtenues dans l'équation ou l'inéquation originale pour éliminer les solutions parasites.

• Checklist :
• Ai-je utilisé $\iff$ ou $\Rightarrow$ ?
• Si $\Rightarrow$, ai-je vérifié la réciproque ?
• Si j'ai résolu une équation par des opérations non équivalentes, ai-je testé les solutions candidates dans l'équation de départ ?

Cette erreur est particulièrement punitive dans les épreuves du BAC SM, notamment dans les questions d'algèbre et d'analyse. Elle apparaît fréquemment dans les démonstrations d'existence et d'unicité, où il faut souvent prouver $P\Rightarrow Q$ (existence) puis $Q\Rightarrow P$ (unicité, ou qu'une solution trouvée est bien l'unique). Confondre les deux ou supposer la réciproque vraie sans la prouver peut coûter cher.

Par exemple, dans l'étude des fonctions, lorsque vous dérivez pour trouver les points critiques ($f^{\prime }(x)=0\Rightarrow x_0$), vous ne pouvez pas conclure que tout $x_0$ tel que $f^{\prime }(x_0)=0$ est un extremum sans étudier le signe de $f^{\prime }(x)$ autour de $x_0$ ou le signe de $f^{\prime \prime }(x_0)$. L'implication « $x_0$ est un extremum $\Rightarrow$ $f^{\prime }(x_0)=0$ » est vraie (Théorème de Fermat sur les extrema locaux), mais la réciproque est fausse (pensez à $f(x)=x^3$ en $x=0$). Les correcteurs du BAC SM sont intraitables sur cette rigueur logique. Une démonstration incomplète ou fausse à cause de ce biais est sanctionnée lourdement.