La Martinire Monplaisir BIEN RDIGER MPSI

Mettez-vous bien dans la tte que votre copie est la seule chose que le correcteur conna-
tra de vous lors dune preuve crite. Un correcteur vous notera en fonction de cette seule
copie quil aura sous les yeux. Il tentera dy valuer plusieurs lments : votre comprhen-
sion du sujet, vos connaissances mathmatiques, vos capacits exposer ces connaissances,
votre matrise de la langue franaise et enfin le soin dont vous saurez faire preuve.
Ngliger un seul de ces lments aura pour effet de faire diminuer votre note.

Les exemples introduits par le sigle 2

 sont des exemples o la rdaction est correcte. Ceux introduits
par 4 sont des exemples o la rdaction est incorrecte et sanctionne.

1 Introduire tous les objets utiliss

En mathmatiques, on agit comme lorsque lon est bien lev et que lon ramne un copain la
maison : on prsente toujours les nouveaux venus, cest--dire tous les objets que lon introduit dans la
rdaction.

4 x > 0. Qui est x ? Si x = 1, la proposition est juste, si x = 1, elle est fausse. Dans un cas pareil le
correcteur ne peut rien comprendre et ne met pas de points (voire mme en enlve pour une erreur aussi
abominable).

1.1 Le choix des lettres

Vous tes libres de donner absolument tous les noms que vous voulez aux objets que vous introduisez.
En gnral (pour ne pas dire toujours) on utilise des lettres seules, comme x, f ou . Les alphabets
les plus utiliss sont les alphabets latins et grecs. Les lettres grecques et leurs noms sont connatre
imprativement.
Une seule rgle primordiale : viter toutes les ambiguts possibles, en particulier ne jamais utiliser la
mme lettre pour dsigner deux objets diffrents.

1.2 Quantification
Quand vous noncez une proprit relative un type dobjets, il faut imprativement prciser si cette
proprit est vrifie par tous les objets de ce type, par une certaine partie de ces objets seulement, ou par au
moins un de ces objets. Pour cela on utilise les quantificateurs pour tout () et il existe () (cf. cours).

4 x > 0. Il ny a pas de quantificateurs. Que veut dire llve ? Cela pourrait tre : x R, x > 0,
ou x [2, 5[, x > 0, ou encore x R | x > 0. Toutes ces propositions ont des sens trs diffrents, et des
valeurs de vrit diffrentes.

1.3 Comment introduire un objet ou une notation

Introduire un objet quelconque : ceci se fait simplement avec le mot soit :
 Soit x R.
2
 Soit z C tel que |z| > 2.
2
Si lon veut dmontrer quune proprit est vraie pour tous les objets dun certain type, on introduit un
objet quelconque de ce type, et on dmontre quil vrifie la proprit. Cette proprit est alors automati-
quement vrifie par tous les objets de ce type.

1
 Introduire une nouvelle notation :

 on note le module de (2i + 3)e i 5 .
2

Mmes les notations les plus classiques doivent tre redfinies chaque fois :
4 Cherchons les racines du polynme X 2 3X + 2. = 1 donc les racines sont 1 et 2.
Qui est ? Le correcteur nest pas cens le savoir. Il faut crire :
2
 On note le discriminant du polynme. On a = 1 alors ...

Utiliser un quantificateur nintroduit pas un objet. Par exemple si vous crivez x R | x > 0, x
nest pas introduit pour autant, et vous ne pouvez pas utiliser la lettre x directement aprs :
4 x R | x > 1. Alors x > 0.
 x R | x > 1. Prenons x R tel que x > 1. Alors x > 0.
2

2 Se faire comprendre
Le meilleur moyen de persuader le correcteur que vous avez compris quelque chose au sujet est encore
de bien lui expliquer ce que vous faites dans votre copie. A contrario, mme si vous tes digne de la
mdaille Fields, une rdaction incomprhensible vous mnera immanquablement une mauvaise note.
On peut distinguer trois tapes, qui doivent apparatre dans cet ordre sur votre copie : annoncer votre
but, dtailler les tapes du cheminement et enfin expliciter la conclusion.

2.1 Annoncer ce que lon va faire

Imaginer un texte mathmatique qui commence bille en tte par une suite de calculs ou une succession
darguments, sans jamais dire quel rsultat en sortira : au bout dun quart de page vous vous demanderez
vraiment pourquoi vous lisez a. Cest ce que pensera le correcteur si vous ne lui annoncez pas la finalit de
vos crits. La consquence : le correcteur saute la question et passe directement la suivante ... Quelques
mots simples suffisent, du style : montrons que blablabla il suffit de montrer que ..
Si une question dun nonc est courte et que la rponse y apporter est directe, vous pouvez ventuellement
vous dispensez dannoncer le rsultat.

2.2 Tout justifier

Il faut toujours justifier chaque tape dun raisonnement. Il est trop facile dcrire on a tel rsultat
sans donner dexplication, et ceci est la porte du premier ignorant venu. Lancer des affirmations sans
les tayer est tout simplement interprt comme une tentative de bluff du candidat, et est toujours trs
mal peru par le correcteur. En gnral les statistiques montrent que lorsquun lve affirme un rsultat
sans le prouver, ce rsultat est incorrect la plupart du temps, et dans ce cas cela peut vous coter trs
cher. Il vaut mieux ne rien dire du tout que daffirmer sans preuve, surtout sil sagit dune nerie.

2.3 Utiliser les thormes

Noublier jamais de vrifier toutes les hypothses des thormes utiliss de manire explicite.
Lorsque lon utilise un thorme (ex : thorme de Pythagore, thorme des valeurs intermdiaires ...)
qui a un nom, il faut toujours donner son nom.

2.4 crire la conclusion et lencadrer

Pour finir, prciser toujours le rsultat auquel vous aboutissez, et encadrez-le . Cela revient souvent
rcrire la question de lnonc sur le mode affirmatif.

2
3 Articulations logiques
Une dmonstration mathmatique est une succession darguments et de calculs. Pour que tout cela ait
un sens, il faut relier ces arguments et ces calculs, la fois pour en faciliter la lecture mais galement
pour prciser les liens logiques entre eux (implication, quivalence ...).

3.1 Les petits mots

Cela se fait de manire trs simple, par lutilisation systmatique de mots qui reviennent constamment
dans les rdactions : do, alors, donc, par consquent, ainsi ... (pour les implications), id est (ou i.e. en
abrg), cest--dire, ce qui quivaut , ou encore ... (pour les quivalences), or, puisque, de plus ... (pour
faire intervenir un argument supplmentaire).

3.2 Pas de mlanges

On ne mlange pas les quantificateurs et la rdaction en franais :

4 x N, x est positif.
2
 x N, x > 0.
2
 Tout lment de N est positif.
2
 Pour tout x N on a x > 0.

4 Le module de 2e i/6 vaut 2. Or le module de i + 3 vaut 10 2e i/6 6= i + 3.
 Le module de 2e i/6 vaut 2. Or le module de i + 3 vaut 10 donc on a : 2e i/6 6= i + 3.
2

4 Quelques erreurs classiques

4.1 Utilisation du symbole
Vous avez souvent tendance utiliser le symbole tort et travers.
Dune part, ce symbole nest pas un raccourci que lon pourrait utiliser dans une phrase en franais pour
aller plus vite (cf. 3.2).
Dautre part ce symbole a une signification logique bien prcise. Lutiliser en lieu et place dune implication
est une erreur grave. Par exemple n N n Z est vrai mais n N n Z est faux.

Enfin voici un exemple reprenant des erreurs de rdaction trs frquentes et proscrire. Imaginons
que lors dune question on vous demande de prouver le rsultat R, sachant les hypothses H, et quune
dmonstration possible consiste dmontrer les rsultats intermdiaires R1 et R2 .
4 On a H R1 R2 R.

Plusieurs commentaires : tout dabord, les quivalences sont-elles justes ? Par exemple on pourrait
avoir R1 R2 et non linverse. De manire gnrale, si on vous demande juste de prouver R partir
de H, il ny a aucun intrt utiliser des quivalences : on vous demande H R, donc il est inutile et
risqu de dmontrer R H, mme si cest juste.
Dautre part cette rdaction ne prouve rien. Il faut prciser que H est une hypothse et R un rsultat.
Enfin, il ny a aucune justification. On peut donc envisager deux rdaction possibles :

3
 On a : H R1
2 car argument 1

R2 car argument 2

R car argument 3.
Or H est vraie, donc R lest aussi. On a donc R .

On prfrera la rdaction suivante, plus agrable lire.

2
 On a H. Ainsi, daprs largument 1, on a R1 .
Puisque argument 2, alors R2 .
Finalement, grce largument 3, on obtient R.
On a donc bien R.

4.2 Parler de fonctions

Soit f une fonction de R dans R. Lerreur classique est dutiliser la notation f (x) mauvais escient.
La fonction sappelle f et non f (x) : f est la fonction, f (x) est la valeur prise par f en un point x qui
doit tre dfini, ce qui na rien voir. Ainsi on ne doit surtout pas crire : f (x) est drivable, ou f (x) est
croissante, ce qui na aucun sens, mais f est drivable ou croissante.
De plus, chaque fois que vous crivez f (x), x doit avoir t introduit (cf. 1).
4 f est drivable et f 0 (x) = x 3.
 f est drivable et on a : x R, f 0 (x) = x 3.
2

Quand on utilise une fonction qui na pas de nom, les choses sont plus dlicates. Par exemple, x sin x
nest pas une fonction. La fonction laquelle on pense scrit x 7 x sin x (et non x x sin x). De mme il
ne faut jamais crire (x sin x)0 pour dsigner la drive de la fonction prcdente. On crit : la drive de
la fonction x 7 x sin x est la fonction x 7 sin x + x cos x. Dans le mme genre, la fonction sin0 (x) nexiste
pas.