Oublier « Soit x ∈ … » en début de démonstration

L'erreur #28, l'« Oubli du Soit x dans... », est une lacune rédactionnelle fondamentale qui compromet la validité formelle de toute démonstration. Elle se manifeste par l'absence d'une introduction claire des objets mathématiques manipulés. Par exemple, si vous écrivez directement « On a $f(x)=x^2$ donc $f^{\prime }(x)=2x$ » sans avoir préalablement défini $x$ ou $f$, votre propos est dénué de sens pour le lecteur. Le correcteur ne peut que supposer vos intentions, ce qui est inacceptable en mathématiques.

Considérez le cas d'une question demandant de prouver qu'une fonction est dérivable. Un élève pourrait écrire : « $\underset{h\to 0}{\lim }\frac{f(x+h)-f(x)}{h}=\underset{h\to 0}{\lim }\frac{(x+h{)}^2-x^2}{h}=\underset{h\to 0}{\lim }\frac{2xh+h^2}{h}=\underset{h\to 0}{\lim }(2x+h)=2x$. » Si la phrase introductive « Soit $x\in \mathbb{R}$ » est omise, la démonstration est formellement incorrecte. Le $x$ apparaît comme un élément non déclaré, rendant l'argumentation caduque. Ce n'est pas une erreur de calcul, mais une faute de logique et de rigueur.

La prévention de l'élision de contexte passe par l'adoption d'une heuristique simple et systématique : toujours commencer une démonstration, une résolution d'équation ou l'étude d'une propriété par l'introduction explicite de tous les objets mathématiques utilisés. Cela inclut les variables, les fonctions, les ensembles et les constantes non triviales. La règle d'or est : « Tout ce qui est utilisé doit être défini ou introduit. »

• Réflexe systématique : Avant d'écrire la première ligne de calcul, demandez-vous : « Quels sont les objets que je vais manipuler ? Sont-ils tous introduits ? »
• Check-list mentale : Pour chaque variable $x$, $y$, $n$, chaque fonction $f$, $g$, chaque ensemble $E$, $F$, assurez-vous qu'une phrase du type « Soit $x\in \mathbb{R}$ », « Soit $f$ une fonction dérivable sur $I$ » ou « Soit $n\in {\mathbb{N}}^{\ast }$ » précède son utilisation.
• Relecture ciblée : Lors de la relecture, parcourez votre copie en cherchant spécifiquement les occurrences de variables non introduites. Si vous en trouvez, c'est une erreur à corriger.

Au BAC SM, cette erreur est rédhibitoire et coûte des points précieux à toutes les échelles de la notation. Elle n'est pas une erreur de calcul, mais une faute de rigueur logique et de communication mathématique. Elle peut apparaître dans n'importe quelle partie de l'examen :

• Analyse : Lors de l'étude de fonctions (dérivabilité, limites, continuité), où l'oubli du « Soit $x\in D_f$ » avant de calculer une dérivée ou une limite est fréquent.
• Algèbre : Dans les démonstrations par récurrence, l'oubli de « Soit $n\in \mathbb{N}$ » avant d'énoncer la propriété $P(n)$.
• Géométrie dans l'espace : Lors de la manipulation de coordonnées ou de vecteurs, si les points ou vecteurs ne sont pas clairement définis comme appartenant à ${\mathbb{R}}^3$.
• Arithmétique : Quand on manipule des entiers, l'absence de « Soit $a,b\in \mathbb{Z}$ » avant d'appliquer des propriétés de divisibilité ou de congruence.

Les correcteurs du BAC SM sont formés pour évaluer non seulement l'exactitude des résultats, mais aussi la rigueur de la démarche. Une démonstration formellement incorrecte, même si le résultat final est juste, ne peut obtenir la totalité des points. L'omission du « Soit... » est perçue comme un manque de maîtrise des conventions mathématiques et de la logique déductive, compétences centrales évaluées au BAC SM.