c Christophe Bertault - MPSI

Petit manuel de bonne rdaction

Bien rdiger peut signier deux choses :
1) exposer sa pense clairement, cest--dire avec ordre et rigueur et si possible avec style ;
Un raisonnement faux peut tre bien rdig, et il est dans ce cas souvent facile de trouver lerreur commise.
Au contraire, un raisonnement correct mal rdig est souvent signe darnaque, volontaire ou non.
2) se conformer aux conventions de notation pratiques par la communaut des personnes auxquelles on
sadresse.
Par exemple, puisque tout le monde note R lensemble des rels, il faudrait avoir lesprit tordu pour le noter
autrement. On peut toujours contester la notation R et insister sur son caractre arbitraire, il nen demeure
pas moins quil est ncessaire de xer une notation si lon veut pouvoir communiquer.
Dans tout ce texte, les exemples de rdactions correctes sont prcdes des symboles et les exemples de rdaction
incorrectes des symboles .
Je vais employer ci-dessous un ton impratif et sr de lui, mais sachez tout de mme que les conventions de la bonne rdaction
ne sont pas graves dans le marbre dans les moindres dtails. Chaque mathmaticien a ses petites manies. Pour autant je sais
que les petites manies qui suivent sont partages par bon nombre de mes collgues.
1 Les grands principes de la rdaction mathmatique
Ne ngligez sous aucun prtexte les enseignements de cette premire partie.
Aussi trange que cela puisse paratre, ils sont bien des gards les plus importants de toute votre anne de MPSI.
Si les forts en maths ont un secret quils ignorent souvent eux-mmes il vous est en grande partie livr ci-dessous.
Si vous ne connaissez pas les quanticateurs universel et existentiel , vous en trouverez une brve exposition dans mon
chapitre de cours Pour bien commencer lanne .
1.1 Introduire tout ce dont on parle
La premire rgle de rdaction en mathmatiques, cest que toute notation quelle quelle soit doit tre
introduite. En franais, si vous dites : Ils ont travaill toute la soire sans avoir prcis qui sont ces ils travailleurs,
vous risquez de ntre pas compris. En maths, cest pareil : vous devez prsenter tout ce dont vous parlez.
Mais comment introduit-on concrtement un objet mathmatique ? Cela dpend du statut logique de lobjet introduire :
cet objet est soit un objet quelconque, une variable dcrivant un certain ensemble ; soit un objet prcis dj dni auquel on veut
seulement donner un nom par souci de concision.
1.1.1 Introduire une variable
Quand on veut introduire une variable dcrivant tout un ensemble, autrement dit un lment x quelconque, indtermin
dun ensemble E, on peut procder de deux manires :
Soit x E.
Pour tout x E : . . .
On peut bien sr utiliser nimporte quel symbole la place de x : y, z, , f. . .
Oublier ces petites phrases dintroduction est une faute grave faute de rdaction mais surtout faute logique. Par exemple,
imaginez quon vous demande dtablir la proposition : x R, sin
_
x +

4
_
=
sin x + cos x

2
. Premire rponse :
sin
_
x +

4
_
= sin xcos

4
+ cos xsin

4
=
sin x + cos x

2
.
1
c Christophe Bertault - MPSI
Rdaction incorrecte car vous nintroduisez pas votre x. Voici deux rponses correctes :
Soit x R. Alors : sin
_
x +

4
_
= sin xcos

4
+ cos xsin

4
=
sin x + cos x

2
.
Pour tout x R : sin
_
x +

4
_
= sin x cos

4
+ cos x sin

4
=
sin x + cos x

2
.
Bon, mais tout ceci nest-il pas un peu de la maniaquerie ? Sur un exemple aussi simple, sans doute. Mais un nombre consi-
drable derreurs mathmatiques, ct tudiants, provient dune indirence totale aux objets manipuls et leur introduction.
Pour cette raison, de nombreux raisonnements dtudiants ne sont ni corrects ni incorrects, mais nont tout simplement aucun
sens. Or il est grave de produire des phrases qui nont pas de sens ! Dans la vie courante, cela relve de la folie. Plus un problme
mathmatique est subtil, plus il exige de rigueur. En classe prparatoire, apprenez donc tre rigoureux tout le temps. Les
matheux professionnels ne le sont pas autant : mais eux savent bien quand ils peuvent se permettre un certain relchement sans
commettre derreur. Vous aussi, quand vous matriserez parfaitement la langue mathmatique, vous pourrez lcher du lest
mais pas avant !
Les Soit x E sont certes dabord une garantie de rigueur, mais ils sont en ralit davantage. Il arrive souvent que les
tudiants ne sachent pas du tout par quoi commencer la rsolution dun problme. La peur de la page blanche en quelque sorte.
Il leur surait pourtant dintroduire proprement quelques notations, avec mthode, pour sen sortir. Imaginez par exemple
quon vous demande de dmontrer le thorme suivant :
Toute fonction relle croissante dnie sur R possde une limite en .
Par o commencer ? Il faut dabord traduire lnonc au moyen de quanticateurs :
Pour toute fonction f : R R, si f est croissante, alors lim

f existe.
Ou encore, en rsum la rdaction suivante est incorrecte mais elle a pour elle une certaine clart :
f : R R fonction,
_
f croissante = lim

f existe
_
.
En voyant cela, on sait tout de suite par quoi la preuve doit commencer mme si on ne sait du tout ce quon va faire
derrire :
Soit f : R R une fonction. On suppose f croissante. Montrons qualors lim

f existe.
Tout lve mathmaticien digne de ce nom doit de lui-mme crire cela sur sa copie, mme si la suite de la preuve lui
chappe. Vous avez le droit de ne pas savoir nir, pas celui de ne pas savoir commencer. On vous demande de montrer un
rsultat de la forme Pour tout x E, . . . ? Commencez par Soit x E . Le rsultat est de la forme Pour tout x E,
si x a la proprit P, alors. . . ? Commencez par : Soit x E. On suppose que x vrie la proprit P.
Quel intrt ? Tant que vous ne vous tes pas donn une fonction f croissante xe, vous ntes pas en mesure de montrer
que toute fonction croissante possde une limite en . Au contraire, maintenant que vous avez commenc votre preuve comme
indiqu ci-dessus, vous avez une fonction f xe entre les mains et pouvez donc entamer une rexion son sujet. De mme quun
peintre ne peut pas peindre sans peinture ni toile, un mathmaticien ne peut pas rchir sans un matriau pour sa rexion.
Si cette mthode vous parat idiote parce quvidente, tant mieux ! Mais sachez que beaucoup dtudiants sont incapables de
penser mathmatiquement parce quils nont jamais compris cela.
Avez-vous bien compris ce qui prcde ?
Y penserez-vous quand vous serez seuls face un exercice?
1.1.2 Donner un nom un objet par souci de concision
Il arrive souvent en mathmatiques quon veuille donner un nom simple une quantit complique parce quon sait quon
va devoir souvent lcrire. Par exemple, si vous devez employer plusieurs fois dans un raisonnement lexpression ln
e
n
0
+ 1
_
n
2
0
+ 1
, o
n0 est un entier dj connu de votre lecteur, vous pouvez choisir de noter K cette quantit et proter de ce nom pour rendre
votre raisonnement plus lisible : plutt que ln
e
n
0
+ 1
_
n
2
0
+ 1
, vous crirez partout K. Mais comment rdige-t-on une telle dnition ?
Deux verbes nous permettent de le faire aisment : les verbes poser et noter .
On note K le rel ln
e
n
0
+ 1
_
n
2
0
+ 1
.
On pose K = ln
e
n
0
+ 1
_
n
2
0
+ 1
.
2
c Christophe Bertault - MPSI
Ces deux rdactions correctes, tout fait quivalentes, appellent quelques commentaires :
1) Il est impratif dans les deux cas que la lettre K nait pas dj t utilise ailleurs dans le raisonnement que
vous tes en train de faire : il faut quelle soit neuve. Si vous vous appelez Sarah ou Antoine, vous viterez
sans doute dappeler vos enfants Sarah ou Antoine pour viter les confusions. Cest pareil en maths.
2) Dans les deux cas galement, il est impratif que la quantit ln
e
n
0
+ 1
_
n
2
0
+ 1
soit parfaitement connue du lecteur
au moment de votre dnition. Ici cela suppose que vous avez dj introduit avant la lettre n0.
3) Remarquez pour nir que lusage bannit gnralement la construction suivante avec le verbe noter :
On note K = ln
e
n
0
+ 1
_
n
2
0
+ 1
.
Attention, lexemple suivant est incorrect. Admettons que vous ayez dj introduit un certain rel positif y. Dans ce cas
vous navez pas le droit dcrire, pour introduire la lettre x :
On pose y = x
2
.
Cette formulation sous-entend que cest y qui est introduit et que x est dj connu, alors que vous vouliez justement faire le
contraire. A gauche du symbole dgalit doit gurer le nouveau nom que vous tes en train dintroduire, et droite,
le contenu dj introduit auquel vous attachez ce nouveau nom.
Voici deux faons correctes dintroduire un rel x de carr y.
On pose x =

y.
On pose x =

y.
Concrtement, quelle occasion utilise-t-on les verbes poser et noter ? Leur premier usage, prsent ci-dessus, vise
viter les rptitions dexpressions compliques : en donnant un petit nom simple une expression complique, on rend plus
lisible son travail. Mais on utilise aussi ces verbes pour une raison moins anecdotique. Imaginez quon vous demande de montrer
quil existe des rels x et y dont la somme est un entier mais qui ne sont pas eux-mmes des entiers autrement dit, avec des
quanticateurs :
x, y R/ x + y Z et x / Z et y / Z.
Ici, vous ne pouvez pas commencer par Soient x, y R tels que. . . car on ne vous demande pas de prouver un rsultat sur
des rels quelconques (), mais un rsultat dexistence (). Or pour montrer un rsultat dexistence, il faut trouver un exemple.
Ici, vous devez sortir de votre chapeau un x et un y qui vrient les proprits demandes. Exemple :
On pose x =
1
2
et y =
1
2
. Alors x et y sont deux rels non entiers. Pourtant x + y = 0 est un entier.
Bien sr,
1
2
et
1
2
ne sont pas les seuls exemples possibles, mais puisquon nous demande un rsultat dexistence, un simple
exemple sut : si on peut donner un exemple dobjet vriant les proprits demandes, cest quun tel objet existe. Vous
remarquerez bien que les verbes poser et noter sont lis au quanticateur existentiel alors que le Soit. . . tait
li au quanticateur universel .
1.2 Mettre en vidence les articulations logiques
Quand on rdige un raisonnement, il est trs important de distinguer clairement les hypothses des conclusions par exemple,
et dindiquer les rapports dimplication entre les direntes propositions. Cela se fait notamment au moyen de donc , alors ,
par consquent , ainsi , or , de plus , en outre , ensuite , enn , mais , cependant , toutefois ,
puisque , comme , car , etc. Liste non exhaustive ! Truez vos raisonnements de ces petits mots qui guideront votre
lecteur et, si possible, variez-les : cela donnera plus de style votre rdaction.
Par exemple, imaginez quon vous demande de montrer la proposition : x [0, 1],

1 x
2
[0, 1]. Prsentons deux
rponses :
0 x 1
0 x
2
1 (t t
2
est croissante sur R+)
0 1 x
2
1
0

1 x
2
1 (t

t est croissante sur R+)

Soit x [0, 1]. Par croissance de la fonction carre sur R+, 0 x
2
1, ou encore : 0 1 x
2
1. Mais
la fonction racine carre est aussi croissante donc : 0

1 x
2
1. Comme voulu,

1 x
2
[0, 1].
3
c Christophe Bertault - MPSI
Attention : quand vous faites un raisonnement, ne remplacez pas des mots comme donc ou alors par le symbole de
limplication =. Supposons par exemple que pour un certain x [0, 1] x dune faon ou dune autre, on veuille dmontrer
que

1 x
2
[0, 1]. En toute rigueur, la rponse suivante est tout fait incorrecte :
0 x 1 = 0 x
2
1 = 0 1 x
2
1 = 0

1 x
2
1.
Mais pourquoi incorrecte ? Cest un peu subtil mais pas inintressant. Une proposition de la forme p =q narme pas
que q est vraie, et ne part pas du principe que p lest non plus. Ainsi, quand on arme que p =q , il se peut trs bien que
p, voire q, soit fausse. Ce qui est arm avec certitude, cest que si p est vraie, alors q lest aussi.
Il ressort de cette remarque que 0 x 1 = 0

1 x
2
1 et 0

1 x
2
1 sont deux propositions
direntes. La premire arme en eet que si x [0, 1], alors

1 x
2
[0, 1]. Il se trouve ici quil est vrai que x [0, 1], cest
notre hypothse de dpart. On peut donc en dduire que

1 x
2
[0, 1]. La seconde proposition (de la forme q ) se dduit
donc de la premire (de la forme p =q ) parce quon sait par ailleurs que la proposition p est vraie.
En rsum, quand on veut dmontrer une proposition q , on ne peut se contenter de remarquer que p = q . Encore
faut-il que la proposition p soit vraie aussi. Le raisonnement eectu a la forme suivante :
La proposition p est vraie
La proposition p =q est vraie
_
donc la proposition q est vraie
et le donc ici prsent ne doit pas tre remplac par le symbole de limplication =.
Je prfre insister lourdement : quoi que vos anciens professeurs de mathmatiques aient tolr, le symbole = nest pas
lquivalent exact dun donc . La confusion nest pas trop gnante au lyce, mais puisquon fait le choix des mathmatiques
haut niveau en MPSI, elle nest plus tolrable !
1.3 Annoncer ce que lon fait
Rdiger correctement une dmonstration mathmatique, cest aussi expliquer ce que lon fait. Annoncez toujours quel rai-
sonnement vous tes sur le point de faire : Montrons que. . . , Nous allons maintenant prouver que. . . , Il ne nous reste
plus qu montrer que. . . , etc. Votre travail nen sera que plus lisible.
1.4 Citer une dfinition ou un thorme
Citer une dnition ou un thorme exige une prcision parfaite. Hypothses, notations et conclusions doivent tre nonces
clairement et sans faute. Un thorme peu prs correct mais pas tout fait, ou mal rdig, est un thorme mal appris et
un thorme mal appris, cest une impression trs ngative du correcteur.
Imaginez quon vous demande de dnir le nombre driv dune fonction en un point. Premire rponse :
Le nombre driv de f en a est f

(a) = lim
xa
f(x) f(a)
x a
.
Economique, certes, mais insusant. Qui sont f et a ? Pourquoi la limite du taux daccroissement existe-t-elle ? Correction :
Soient I un intervalle de R, f : I R une application et a I.
On dit que f est drivable en a si la limite lim
xa
f(x) f(a)
x a
existe et est nie. On appelle dans ce cas nombre driv
de f en a cette limite, que lon note f

(a) : f

(a) = lim
xa
f(x) f(a)
x a
.
Connatre une dnition ou un thorme, cest tre capable de les rdiger ainsi et vite, bien sr.
1.5 Les dmonstrations par rcurrence
La rdaction des dmonstrations par rcurrence est prsente dans le chapitre de cours Pour bien commencer lanne .
Ny revenons pas ici.
Il est tentant souvent de remplacer un raisonnement par rcurrence par trois petits points . . . . A loral a peut passer,
car linterrogateur peut toujours exiger en direct une rdaction propre. A lcrit a passe nettement moins bien surtout sur
une copie bourre derreurs quon pourrait souponner de blu. . .
Par exemple, rappelons quune suite gomtrique de raison q C est une suite (un)
nN
telle que pour tout n N :
un+1 = qun. Un thorme arme qualors pour tout n N : un = q
n
u0. Pourquoi a ? Dabord avec trois petits points :
Soit n N. un = qun1 = q qun2 = q q qun3 = . . . =
n fois
..
q q . . . q u0 = q
n
u0.
4
c Christophe Bertault - MPSI
Ensuite par rcurrence :
Initialisation : Comme q
0
= 1, u0 = q
0
u0.
Hrdit : Soit n N. On suppose que un = q
n
u0. Comme la suite (un)
nN
est gomtrique : un+1 = qun. Or
un = q
n
u0 par hypothse, donc un+1 = q q
n
u0 = q
n+1
u0 comme voulu.
Fin de la rcurrence.
Il est vrai quon comprend souvent mieux la preuve avec trois petits points que la preuve par rcurrence. Seulement voil :
la preuve par rcurrence est rigoureuse et lautre non.
2 Cas particuliers de rdaction problmatique
2.1 Le mlange des genres
Ecrivez franais ou mathmatique, mais pas les deux la fois ! Par exemple, ncrivez pas :
m, n Z, la somme de m et n est un entier.
mais au choix :
m, n Z, m + n Z.
La somme de deux entiers est un entier.
De mme, ne remplacez pas, dans une phrase en franais, lexpression il existe par le symbole .
Le mlange autoris le plus courant concerne le symbole , comme dans Soit x E . On nest pas oblig dcrire : Soit
x un lment de E . Ce nest l quune question de convention.
2.2 Quelle diffrence entre f et f(x) ?
ou comment dfinir une fonction
Commenons par un exemple bien laid :
La fonction e
x
sin x est drivable donc continue sur R.
Le problme dans cet exemple, cest que e
x
sin x. . . nest pas une fonction! On dit plutt que e
x
sin x est une
expression.
Une fonction est un objet mathmatique qui associe tout lment dun certain ensemble un lment dun autre ensemble.
Dnir une fonction f revient donc dnir la faon dont un lment x appel argument est transform en un lment f(x)
dpendant de x. La fonction f nest pas lexpression f(x) elle-mme, mais lassociation du x et du f(x). Le f(x) tout seul na
pas de sens car nous avons vu quen mathmatiques il est essentiel que tout symbole soit introduit : ici, quel est ce x qui otte
en lair tout seul ? Pour toujours garder lesprit lassociation x/f(x), on note x f(x) ou tout simplement f la fonction qui
un objet x associe lobjet f(x).
Attention un dtail : ne confondez pas la che et la che !
En pratique, quand on veut faire rfrence une fonction prcise dans une phrase, soit la fonction a un nom et on peut
employer ce nom (par exemple f,

, exp, ln, sin, cos. . . ), soit la fonction na pas de nom mais est dnie par une expression
explicite et on la note alors x . . .. Naturellement, la lettre x peut tre remplace par nimporte quel symbole.
Voici nalement une version correcte de lexemple dont nous sommes partis :
La fonction x e
x
sin x est drivable donc continue sur R.
5
c Christophe Bertault - MPSI
Pour nir, tchons dapprendre dnir correctement une fonction. Supposons par exemple quon veuille introduire pro-
prement et appeler h la fonction qui envoie tout entier naturel sur son carr. On pourra procder ainsi :
On note h la fonction n

n dnie sur N.
On note h la fonction
_
N R
n

n
.
On note h la fonction dnie sur N par : n N, h(n) =

n.
Tous ces exemples sont corrects. Le second est tout de mme plus complet car on y prcise aussi lensemble darrive, qui
est seulement implicite dans les deux autres. Notez bien que la che, en haut, qui relie lensemble de dpart N lensemble
darrive R est et non . Allez savoir pourquoi.
2.3 Parler des proprits dune fonction
Les deux exemples suivants sont incorrectement rdigs :
La fonction x
x
x
2
+ 1
est drivable pour tout x R.
La fonction x e
e
x
est croissante pour tout x R.
Le problme, cest quon ne dit pas quune fonction est drivable/croissante pour tout x . . . . On dit :
La fonction x
x
x
2
+ 1
est drivable sur R.
La fonction x e
e
x
est croissante sur R.
Il y a de vraies justications cette apparence de maniaquerie, mais je ne dtaillerai pas ici.
2.4 Driver une fonction
Driver une fonction nest pas dicile, mais bien rdiger le calcul dune drive est parfois un exercice de rdaction prilleux.
Par exemple, soit lexercice consistant driver sur R la fonction f : x e
sin(x
2
)
. Voici une rponse :
Pour tout x R : f

(x) =
_
e
sin(x
2
)
_

=
_
sin(x
2
)
_

e
sin(x
2
)
= 2x cos(x
2
)e
sin(x
2
)
.
Cela ne va pas du tout : les notations de la forme
_
f(x)
_

sont absolument interdites. Notez f

(x) la place. Seules les

fonctions tolrent la drivation. De fait, f(x) est une expression, pas une fonction. Si lon veut rdiger bien le calcul prcdent,
on crit le bon rsultat directement aprs tout vous tes grands, vous tes censs ne plus faire derreur de calcul quand vous
drivez :
Pour tout x R : f

(x) = 2xcos(x
2
)e
sin(x
2
)
,
Quiconque sait driver saura comprendre cette rdaction quel calcul vous avez fait. On nen demande pas plus.
Finissons ce paragraphe avec une prcision importante. Si vous voulez driver la fonction x sin(2x), nous venons de
dire que la notation
_
sin(2x)
_

est interdite. Mais ne la remplacez surtout pas par sin

(2x) !
1) Driver x sin(2x) revient driver la compose de x 2x suivie de y sin y. Le calcul dune telle
drive nous donne donc la fonction x 2 cos(2x).
2) Quant la fonction x sin

(2x), elle nest autre que la fonction x cos(2x), car sin

= cos.
6
c Christophe Bertault - MPSI
2.5 La navet des notations classiques
Pour que leurs lves retiennent bien les formules, les professeurs de mathmatiques utilisent tous les mmes notations. Par
exemple, dans leurs cours, ils notent unanimement x ax
2
+bx +c les fonctions polynomiales de degr 2 et le discriminant
associ quand ils vous prsentent la rsolution des quations du second degr. Vous connaissez tous la formule = b
2
4ac
avec les mmes symboles , a, b et c.
Imaginez un exercice o lon est oblig de rsoudre de sa propre initiative lquation du second degr x
2
+ 3x 2 = 0
dinconnue x R. Premier exemple de rdaction :
= b
2
4ac = 3
2
4 1 (2) = 17 > 0, donc x1 =
3 +

17
2
et x2 =
3

17
2
.
Cette rdaction est excessivement maladroite, mme si on la comprend parfaitement. O les quantits , a, b, c, x1 et
x2 sont-elles introduites dans cet exemple ? Nulle part. Comme nous lavons dj dit, tout symbole utilis doit tre introduit
proprement. Exemple de rdaction correcte :
Lquation x
2
+ 3x 2 = 0 peut scrire ax
2
+ bx + c = 0 avec a = 1, b = 3 et c = 2. Son
discriminant vaut alors : = b
2
4ac = 3
2
41(2) = 17 et est strictement positif. Finalement, lquation
tudie possde deux solutions x1 et x2 distinctes : x1 =
3 +

17
2
et x2 =
3

17
2
.
Cette premire rdaction est parfaitement correcte, mais quelle est longue! Au fond, est-il ncessaire dintroduire , a, b
et c ? Pas vraiment. La rdaction la plus limpide est ici la plus conomique :
Lquation x
2
+ 3x 2 = 0 dinconnue x R a pour discriminant 3
2
4 1 (2) = 17 strictement
positif. Elle possde donc deux solutions, savoir
3 +

17
2
et
3

17
2
.
Bref : librez-vous des , a, b, c !
Peut-tre ne comprenez-vous pas bien pourquoi il est maladroit dcrire = b
2
4ac mme quand , a, b et c nont
pas t introduits. Aprs tout, tout le monde comprend. Certes.
Souvenez-vous : une stalactite est une formation calcaire qui se dveloppe verticalement partir de la vote dune cavit
souterraine, gnralement en raison dun phnomne de ruissellement goutte goutte ; une stalagmite est une formation calcaire
analogue qui se dveloppe partir du sol et non de la vote. Vous connaissez sans doute le moyen mnmotechnique classique
utilis pour retenir la dirence entre ces deux notions : stalactite/tombe , stalagmite/monte .
Imaginez un gologue professionnel qui, dans ses articles de recherche ou devant ses pairs dans des confrences internationales,
crirait entre parenthses tombe chaque fois quil crit stalactite et monte chaque fois quil crit stalagmite .
On le jugerait ridicule. Il se passe la mme chose avec = b
2
4ac . Que vous ayez un moyen mnmotechnique pour retenir
une formule, pourquoi pas ? Mais nen faites pas proter tout le monde et gardez-le pour vous. On a sinon limpression que vous
navez aucun recul sur la formule en question. Evitez de donner cette impression aux gens qui vous lisent.
7