Rédaction en mathématiques.
0. Principe général. Un texte mathématique doit être rédigé comme on rédigerait n’importe quel
autre texte. Les phrases sont donc rédigées en suivant les règles de grammaire française. Chaque
phrase doit être constituée d’au moins un sujet et un verbe, et éventuellement d’un complément.
Lorsque des formules doivent être intégrées au texte, elles sont apposées à un mot du texte.
1. On ne commence jamais une phrase par un symbole et la première lettre d’une phrase est
obligatoirement une majuscule.
— Commencer par « X n − 1 possède n racines » est mauvais, on écrira « Le polynôme X n − 1
possède n racines. »
— Commencer par « f est dérivable. . . » est mauvais, on écrira « La fonction f est déri-
vable. . . »
Lorsqu’ils viennent en début de phrase, les quantificateurs doivent être rédigés en toutes
lettres.
— Pour tout n ∈ N. . .
— Quels que soient les réels x et y. . .
2. On n’emploie jamais les symboles ∀, ∃, =⇒, ⇐⇒ dans du texte, excepté les signes ∈, =, ≥, >
, ≤, < qui sont tolérés. Dans ce cas, les formules mathématiques doivent former des phrases
correctes lorsque les symboles sont lus.
— On n’écrira pas « D’après le théorème des valeurs intemédiaires, ∃x ∈ [a, b] tel que f (x) = θ »
mais « D’après le théorème des valeurs intemédiaires, il existe x ∈ [a, b] tel que f (x) = θ »
— On n’écrira pas « On a donc ∀n ∈ N, un ≤ 1 » mais « On a donc, pour tout n ∈ N, un ≤ 1. »
— On n’écrira pas « Soit k > 0 un entier » mais « Soit un entier k > 0. »
— On n’écrira pas « Soit u ∈ R2 un vecteur » mais « Soit un vecteur u ∈ R2 » ou encore mieux
« Soit u un vecteur de R2 . »
— On se souviendra que le symbole =⇒ n’a pas le sens de « donc », on écrira « donc »si on
pense « donc ».
Une suite de plusieurs déductions introduites toutes par « donc » n’est pas gênant pour la
compréhension du raisonnement. Mais pour exprimer une déduction ou une conséquence, on
peut aussi utiliser (à souhait) les expressions : « donc, ainsi, par conséquent, il s’ensuit, il en
découle, etc. »
3. On ne commence jamais une phrase par une formule : les formules sont toujours intro-
duites par du texte.
— Commencer par « f (x) = 0 admet deux solutions. . . » est mauvais, on écrira « L’équation
f (x) = 0 admet deux solutions. . . »
— Commencer par « y = tan x avec x ∈] π2 , 3π 2 [ donc x = π + Arctany » est mauvais, on écrira
« La relation y = tan x avec x ∈] π2 , 3π
2 [ implique x = π + Arctany. »
4. Une formule doit tenir sur une seule ligne sauf si elle est exceptionellement longue.
— D’après la formule de Leibniz, pour tout t ∈ R,
n
dn n dk dn−k 2t
X !
2 2t 2
((1 + t )e ) = (1 + t ) × (e ).
dt n k dt k dt n−k
k=0
1
— D’après la formule de Taylor avec reste intégral, pour tout x ∈ R
n x
xk (x − t)n t
X Z
x
e = + e dt.
k! 0 n!
k=0
5. Il est préférable de passer à la ligne pour écrire une formule (cf. le point 4.).
— La fonction cos est indéfiniement dérivable sur R et
π
∀x ∈ R, cos(n) x = cos x + n .
2
— L’espace vectoriel E est de dimension finie, donc d’après le théorème du rang,
dim ker(f − λIE ) + rg(f − λIE ) = dim E.
— Comme le polynôme X n −1 est unitaire, de degré n et a pour racines les nombres complexes
2ikπ
e noù k ∈ ~0, n − 1, on a
n−1
2ikπ
Y
Xn − 1 = (X − e n )
k=0
6. Les abréviations mathématiques ne doivent pas figurer dans le texte.
Les abréviations — Mq. (Montrons que), Odq. (On dit que), dc (donc), apcr. (à partir d’un
certain rang), jacr. (jusqu’à un certain rang), pcq. (parce que), pr tt (pour tout), qq st (quel que
soit), cv (converge), cva (converge absolument), dv. (diverge), thm (théorème), etc. — ne sont pas
universelles et sont destinées à vos notes seulement (éventuellement au tableau pour aller vite).
Pour les abréviations désignant des résultats importants — TAF (théorème des acroissements
finis ), FTRI (formule de Taylor avec reste intégral), CCSTP (critère de comparaison des séries
à termes positifs), etc. — il faut les écrire en toutes lettres, la première fois, en indiquant entre
parenthèses l’abréviation utilisée. S’il y a besoin de citer un résultat par la suite, on pourra utiliser
l’abréviation introduite.
Les abréviations mathématiques (les vraies) — ssi, tq., ev., ron, rond, bon, bond, cns — sont
tolérées mais il est préférable de ne pas les employer dans les phrases en français.
En revanche, les abréviations latines — ie., id., cf., etc — sont autorisées.
7. Il est préférable que la cause précède la conséquence. L’utilisation de la conjonction de
coordination "car" doit être réservé aux arguments tenant sur une ligne.
— Croissante et majorée, la suite (un )n∈N est convergente.
— L’endomorphisme u est involutif donc il est bijectif.
— Par surjectivité de f , il existe x0 ∈ E tel que f (x0 ) = h.
Zb
— L’intégrale f (t)dt existe car la fonction f est continue sur [a, b].
a
8. Les formules consécutives sont séparés par des mots.
— « Considérons f (x) − f (y), x ≤ y » est mauvais, on écrira « Considérons f (x) − f (y) avec
x ≤ y ».
— « Soit p ∈ N, p ≥ 2 » est mauvais, on écrira « Soit p ∈ N tel que p ≥ 2. »
2
9. Ne pas faire apparaître un objet qui n’est pas introduit.
La lettre S (ou S) n’est pas reconnue (universellement) pour désigner un ensemble de solu-
tions.
Pour l’utiliser, il faut l’introduire « Désignons par S l’ensemble des solutions de l’équa-
tion. . . . »
De même, les symboles Df ou Df ne sont pas reconnus (universellement) pour désigner l’en-
semble de définition d’une fonction.
Pour l’utiliser, il faut l’introduire « Désignons par Df l’ensemble de définition de la fonction
f.»
On évitera tout recours à des notations inutiles qui alourdissent le texte. On préfèrera
écrire « la fonction f est définie sur . . . par f (x) = . . . » plutôt que d’introduire Df ou « l’ensemble
des solutions de l’équation est . . . » plutôt que d’introduire un symbole S .
10. De l’importance de quantifier ses variables
Lorsque vous faites un calcul avec des expressions algébriques faisant intervenir des variables,
vous devez préciser le domaine de validité de ce calcul en quantifiant les variables qui y figurent.
Sans cette précision, le calcul n’est pas rigoureux.
Pour montrer qu’une propriété est vraie, quelle que soit la variable t de l’ensemble T , on
commencera au choix par
— Quel que soit t ∈ T ,
— Pour tout t ∈ T ,
— Soit t ∈ T .
C’est le cas par exemple, lorsqu’on mène une étude de monotonie, lorsqu’on établit une égalité
entre fonctions, etc.
11. Rédaction d’un raisonnement par récurrence
Quatre étapes doivent apparaître sur la copie.
— La définition de la propriété, qui se fait par la phrase :
Pour tout n ∈ N, on note Pn la propriété « . . . . . . »
On prendra garde à ne pas placer la quantification « pour tout n ∈ N » ou « ∀n ∈ N » dans la
définition entre guillemets de Pn et qui aurait pour effet de rendre la propriété indépendante de
n!
— L’initialisation, qui consiste à vérifier que la propriété est vraie pour le ou les premiers
rangs : n = 0, 1, 2.
Pour les raisonnements par récurrence portant sur des relations de récurrence à un pas du
type « un+1 = f (un ) », une initialisation suffit.
Pour les raisonnements par récurrence portant sur des relations de récurrence à deux pas du
type « Pn+1 = 2XPn − Pn−1 », deux initialisations sont nécessaires.
De manière générale, autant d’initialisations sont nécessaires qu’il y a de pas dans la relation
de récurrence.
— La preuve de l’hérédité : elle consiste à établir que pour tout n ∈ N, si Pn est vraie alors
Pn+1 est vraie.
On fait donc l’hypothèse (dite de récurrence) que la propriété Pn est vraie pour un certain
rang n au moins égal au dernier rang d’initialisation et on cherche à établir que la propriété est
vraie aussi au rang n + 1, c’est à dire que Pn+1 est vraie.
3
Cette étape peut débuter par l’un des encadrés 1 ci-dessous suivant qu’on envisage une récur-
rence faible ou une récurrence forte :
Soit n ∈ N tel que Pn est vraie. Montrons que Pn+1 est vraie.
ou
Supposons que Pn est vraie à un certain rang n ≥ 0. Montrons que Pn+1 est vraie.
ou
Soit n ∈ N tel que P0 , P1 , . . . , Pn sont vraies. Montrons que Pn+1 est vraie.
ou
Supposons que la propriété est vraie jusqu’ à un certain rang n ≥ 0. Montrons qu’elle est vraie au rang n + 1.
Pour éviter de rater une « marche » dans la récurrence, on s’assurera toujours que l’hypothèse
de récurrence est faite au moins au dernier rang d’initialisation.
— La conclusion qui doit faire appel au principe de récurrence sur N :
D’après le principe de récurrence sur N, la propriété Pn est vraie pour tout n ∈ N.
Exemple de raisonnement par récurrence.
q ! !
X p+j p+q+1
Montrons que pour tout q ∈ N, = .
p p+1
j=0
— Définition de la propriété :
q ! !
X p+j p+q+1
Pour tout q ∈ N, on note Pq la propriété « = »
p p+1
j=0
— Initialisation :
Pour q = 0, on a
0 ! ! !
X p+j p p+1
= = 1 et =1
p p p+1
j=0
donc P0 est vraie.
Pour q = 1, on a
1 ! ! ! !
X p+j p p+1 p+2
= + = 1 + p + 1 = p + 2 et = p+2
p p p p+1
j=0
donc P1 est vraie.
— Hérédité :
Soit q ∈ N tel que Pq est vraie. Montrons que Pq+1 est vraie.
q+1 ! Xq ! !
X p+j p+j p+q+1
= +
p p p
j=0 j=0
D’après l’hypothèse de récurrence :
q ! !
X p+j p+q+1
=
p p+1
j=0
1. le rang de l’hypothèse de récurrence est à adapter en fonction du dernier rang d’initialisation.
4
donc
q+1 ! ! !
X p+j p+q+1 p+q+1
= +
p p+1 p
j=0
et d’après la formule de Pascal :
! ! !
p+q+1 p+q+1 p+q+2
+ =
p+1 p p+1
donc
q+1 ! !
X p+j p+q+2
=
p p+1
j=0
donc Pq+1 est vraie.
— Conclusion :
D’après le principe de récurrence sur N, la propriété Pq est vraie pour tout q ∈ N.
