c Christophe Bertault - MPSI

Petit manuel de bonne rdaction

Bien rdiger peut signifier 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 fixer une notation si lon veut pouvoir communiquer.
Dans tout ce texte, les exemples de rdactions correctes sont prcdes des symboles
incorrectes des symboles $ $ $.

  

et les exemples de rdaction

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.

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 quantificateurs 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 dfini 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,


sin x + cos x

imaginez quon vous demande dtablir la proposition : x R, sin x +

=
. Premire rponse :
4
2


sin x + cos x


= sin x cos + cos x sin =

.
$ $ $ sin x +
4
4
4
2

c Christophe Bertault - MPSI

Rdaction incorrecte car vous nintroduisez pas votre x. Voici deux rponses correctes :
  

Soit x R. Alors :

  

Pour tout x R :

sin x + cos x


= sin x cos + cos x sin =

sin x +
.
4
4
4
2


sin x + cos x


= sin x cos + cos x sin =

.
sin x +
4
4
4
2

Bon, mais tout ceci nest-il pas un peu de la maniaquerie ? Sur un exemple aussi simple, sans doute. Mais un nombre considrable derreurs mathmatiques, ct tudiants, provient dune indiffrence 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 suffirait 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 dfinie sur R possde une limite en .
Par o commencer ? Il faut dabord traduire lnonc au moyen de quantificateurs :
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 finir, 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 vrifie la proprit P.
Quel intrt ? Tant que vous ne vous tes pas donn une fonction f croissante fixe, 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 fixe entre les mains et pouvez donc entamer une rflexion son sujet. De mme quun
peintre ne peut pas peindre sans peinture ni toile, un mathmaticien ne peut pas rflchir sans un matriau pour sa rflexion.
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
en0 + 1
va devoir souvent lcrire. Par exemple, si vous devez employer plusieurs fois dans un raisonnement lexpression ln p
, o
n20 + 1
n0 est un entier dj connu de votre lecteur, vous pouvez choisir de noter K cette quantit et profiter de ce nom pour rendre
en0 + 1
, vous crirez partout K. Mais comment rdige-t-on une telle dfinition ?
votre raisonnement plus lisible : plutt que ln p 2
n0 + 1
Deux verbes nous permettent de le faire aisment : les verbes poser et noter .
  

en0 + 1
On note K le rel ln p
.
n20 + 1

  

en0 + 1
.
On pose K = ln p 2
n0 + 1

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.
en0 + 1
soit parfaitement connue du lecteur
2) Dans les deux cas galement, il est impratif que la quantit ln p
n20 + 1
au moment de votre dfinition. Ici cela suppose que vous avez dj introduit avant la lettre n0 .
3) Remarquez pour finir que lusage bannit gnralement la construction suivante avec le verbe noter :
en0 + 1
.
$ $ $ On note K = ln p
n20 + 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 = x2 .
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 figurer 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 =

  

On pose x = y.

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
quantificateurs :
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 vrifient les proprits demandes. Exemple :
  

On pose x =

1
1
et y = . Alors x et y sont deux rels non entiers. Pourtant x + y = 0 est un entier.
2
2

1
1
Bien sr, et ne sont pas les seuls exemples possibles, mais puisquon nous demande un rsultat dexistence, un simple
2
2
exemple suffit : si on peut donner un exemple dobjet vrifiant les proprits demandes, cest quun tel objet existe. Vous
remarquerez bien que les verbes poser et noter sont lis au quantificateur existentiel alors que le Soit. . . tait
li au quantificateur 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 diffrentes propositions. Cela se fait notamment au moyen de donc , alors ,
par consquent , ainsi , or , de plus , en outre , ensuite , enfin , mais , cependant , toutefois ,
puisque , comme , car , etc. Liste non exhaustive ! Truffez 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 x2 [0, 1]. Prsentons deux
rponses :
$$$

06x61
0 6 x2 6 1
0 61 x2 6 1
0 6 1 x2 6 1

(t 7 t2 est croissante sur R+ )

(t 7

t est croissante sur R+ )

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

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] fix dune faon ou dune autre, on veuille dmontrer

que 1 x2 [0, 1]. En toute rigueur, la rponse suivante est tout fait incorrecte :

$$$
0 6 x 6 1 = 0 6 x2 6 1 = 0 6 1 x2 6 1 = 0 6 1 x2 6 1.
Mais pourquoi incorrecte ? Cest un peu subtil mais pas inintressant. Une proposition de la forme p = q naffirme pas
que q est vraie, et ne part pas du principe que p lest non plus. Ainsi, quand on affirme que p = q , il se peut trs bien que
p, voire q, soit fausse. Ce qui est affirm avec certitude, cest quesi p est vraie, alors q lest
aussi.
Il ressort de cette remarque que 0 6 x 6 1 = 0 6 1 x2 6 1 et 0 6 1 x2 6 1 sont deux propositions
1 x2 [0, 1]. Il se trouve ici quil est vrai que x [0, 1], cest
diffrentes. La premire affirme en effet que si x [0, 1], alors

notre hypothse de dpart. On peut donc en dduire que 1 x2 [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 effectu a la forme suivante :

La proposition p est vraie
donc la proposition q est vraie
La proposition p = 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 raisonnement 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 dfinition 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 dfinir 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)
.
xa

Economique, certes, mais insuffisant. 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.

f (x) f (a)
On dit que f est drivable en a si la limite lim
existe et est finie. On appelle dans ce cas nombre driv
xa
xa
f (x) f (a)
de f en a cette limite, que lon note f (a) : f (a) = lim
.
xa
xa
Connatre une dfinition 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 bluff. . .
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 affirme qualors pour tout n N : un = q n u0 . Pourquoi a ? Dabord avec trois petits points :
n fois

$ $ $ Soit n N.

un = qun1 = q qun2 = q q qun3

z
}|
{
= . . . = q q . . . q u0 = q n u0 .

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.

Cas particuliers de rdaction problmatique

2
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,

  

La somme de deux entiers est un entier.

m + n Z.

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 ex sin x est drivable donc continue sur R.
Le problme dans cet exemple, cest que ex sin x. . .
expression.

nest pas une fonction ! On dit plutt que ex sin x est une

Une fonction est un objet mathmatique qui associe tout lment dun certain ensemble un lment dun autre ensemble.
Dfinir une fonction f revient donc dfinir 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 flotte
en lair tout seul ? Pour toujours garder lesprit lassociation x/f (x), on note x 7 f (x) ou tout simplement f la fonction qui
un objet x associe lobjet f (x).
Attention un dtail : ne confondez pas la flche et la flche 7 !
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 dfinie par une expression
explicite et on la note alors x 7 . . .. Naturellement, la lettre x peut tre remplace par nimporte quel symbole.
Voici finalement une version correcte de lexemple dont nous sommes partis :
  

La fonction x 7 ex sin x est drivable donc continue sur R.

c Christophe Bertault - MPSI

Pour finir, tchons dapprendre dfinir correctement une fonction. Supposons par exemple quon veuille introduire proprement et appeler h la fonction qui envoie tout entier naturel sur son carr. On pourra procder ainsi :

  

On note h la fonction n 7

  

On note h la fonction

  

On note h la fonction dfinie sur N par :

N
n

n dfinie sur N.

R
.
n
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 flche, en haut, qui relie lensemble de dpart N lensemble
darrive R est et non 7. Allez savoir pourquoi.

2.3

Parler des proprits dune fonction

Les deux exemples suivants sont incorrectement rdigs :

$ $ $ La fonction x 7

x
est drivable pour tout x R.
x2 + 1

$ $ $ La fonction x 7 ee est croissante pour tout x R.

x

Le problme, cest quon ne dit pas quune fonction est drivable/croissante pour tout x . . . . On dit :
x
est drivable sur R.
x2 + 1

  

La fonction x 7

  

La fonction x 7 ee est croissante sur R.

Il y a de vraies justifications cette apparence de maniaquerie, mais je ne dtaillerai pas ici.

2.4

Driver une fonction

Driver une fonction nest pas difficile, mais bien rdiger le calcul dune drive est parfois un exercice de rdaction prilleux.
2
Par exemple, soit lexercice consistant driver sur R la fonction f : x 7 esin(x ) . Voici une rponse :
$ $ $ Pour tout x R :





2
2
2
f (x) = esin(x ) = sin(x2 ) esin(x ) = 2x cos(x2 )esin(x ) .



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) = 2x cos(x2 )esin(x ) ,

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 7 sin(2x), nous venons de
sin(2x) est interdite. Mais ne la remplacez surtout pas par sin (2x) !

dire que la notation

1) Driver x 7 sin(2x) revient driver la compose de x 7 2x suivie de y 7 sin y. Le calcul dune telle
drive nous donne donc la fonction x 7 2 cos(2x).
2) Quant la fonction x 7 sin (2x), elle nest autre que la fonction x 7 cos(2x), car sin = cos.

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 7 ax2 + 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 = b2 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 x2 + 3x 2 = 0
dinconnue x R. Premier exemple de rdaction :
$ $ $ = b2 4ac = 32 4 1 (2) = 17 > 0,

donc x1 =

3 17
3 + 17
et x2 =
.
2
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 x2 + 3x 2 = 0 peut scrire ax2 + bx + c = 0 avec a = 1, b = 3 et c = 2. Son
discriminant vaut alors : = b2 4ac = 32 4 1 (2) =
17 et est strictement positif.
Finalement, lquation

3 + 17
3 17
tudie possde deux solutions x1 et x2 distinctes : x1 =
et x2 =
.
2
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 :
  

dinconnue x
R a pour discriminant
32 4 1 (2) = 17 strictement

3 17
3 + 17
et
.
positif. Elle possde donc deux solutions, savoir
2
2
Lquation

x2 + 3x 2 = 0

Bref : librez-vous des , a, b, c !

Peut-tre ne comprenez-vous pas bien pourquoi il est maladroit dcrire = b2 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 diffrence 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 = b2 4ac . Que vous ayez un moyen mnmotechnique pour retenir
une formule, pourquoi pas ? Mais nen faites pas profiter 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.