Vous êtes sur la page 1sur 14

c Christophe Bertault - MPSI

Raisonner, rdiger
Ce chapitre douverture a quatre objectifs :
vous apprendre ou vous rappeler les rgles de base de la grammaire mathmatique,
vous apprendre ou vous rappeler quelques rudiments de thorie des ensembles,
vous apprendre ou vous rappeler les raisonnements de base utiliss en mathmatiques,
vous convaincre quil est essentiel de savoir rdiger : un peu pour faire joli , mais surtout pour bien penser.

Connecteurs logiques

Nous appellerons proposition toute phrase p au sujet de laquelle on peut poser la question : p est-elle vraie ? La
plupart des phrases grammaticalement correctes sont des propositions, mais par exemple, Dis-le-moi ! , Bonjour ou
Comment vas-tu ? nen sont pas : la question Est-il vrai que bonjour ? na aucun sens.
La valeur de vrit dune proposition est soit le vrai (V), soit le faux (F). Deux propositions qui ont la mme valeur
de vrit sont dites quivalentes : elles sont soit toutes les deux vraies, soit toutes les deux fausses. Quand vous devez
dmontrer une proposition p, vous ntes pas obligs de dmontrer p elle-mme : il sut que vous dmontriez nimporte
quelle proposition quivalente.
Exemple
Socrate nest pas immortel et Socrate est mortel sont deux propositions quivalentes. Dmontrer lune,
cest dmontrer lautre.
A partir des propositions Jai faim et Jai soif , on peut construire une nouvelle proposition Jai faim et (jai)
soif . Plus gnralement, nous appellerons connecteur logique tout procd de construction dune proposition partir
dune ou plusieurs autres propositions. Exemples courants : et , ou , si, alors , parce que . . .
Un connecteur logique est dit vrifonctionnel si la valeur de vrit dune proposition construite laide
de ce connecteur dpend seulement de la valeur de vrit des propositions utilises dans la construction.
Pour savoir, par exemple, si la proposition p et q est vraie, on na pas besoin de savoir exactement ce
que cachent p et q, leur signication. Seules leurs valeurs de vrit respectives importent : si les deux sont
vraies, p et q est vraie ; si lune est fausse, p et q est fausse.

V V

V F

En mathmatiques, les connecteurs logiques sont tous vrifonctionnels. Lintrt de tels connecteurs rside
dans la facilit avec laquelle on peut les dnir : au moyen dun simple tableau appel table de vrit.

F V

F F

q p et q

Pour votre culture, remarquez bien que certains connecteurs logiques ne sont pas vrifonctionnels. Cest le cas du connecteur
parce que . Imaginez un contexte dans lequel il est vrai que Je me suis dpch parce que jtais en retard . Les deux
propositions Je suis en retard et Je me suis dpch sont vraies. Pourtant, si on remplace Jtais en retard
par La glace est un solide proposition galement vraie la nouvelle proposition Je me suis dpch parce que
la glace est un solide est fausse. Si parce que tait vrifonctionnel, cette proposition serait aussi vraie que celle dont
nous sommes partis.

1.1

Ngation non, conjonction et, disjonction ou

Dnition

(Ngation, conjonction, disjonction)

La proposition non p est vraie si p est fausse, et fausse si p


est vraie.
La proposition p et q est vraie si p et q sont vraies toutes les
deux, et fausse sinon.
La proposition p ou q est vraie si lune au moins des propositions p et q est vraie (ventuellement les deux, donc), et fausse dans
le seul cas o p et q sont fausses toutes les deux.

q p et q p ou q

p non p

V V

V F

F V

F F

Attention ! Dans le langage usuel, ou oppose parfois les termes quil connecte. Dans lexpression fromage ou
dessert , ou est exclusif car il exclut la possibilit quon choisisse les deux (fromage et dessert). En mathmatiques, ou
est toujours inclusif : p ou q est vraie mme quand p et q sont vraies.

c Christophe Bertault - MPSI

Thorme

(Double ngation, ngation dune conjonction/disjonction)

Les propositions p et non (non p) sont quivalentes.


Les propositions non (p et q) et (non p) ou (non q) sont quivalentes.
Les propositions non (p ou q) et (non p) et (non q) sont quivalentes.
Dmonstration
p
p non p non (non p)

q non p non q p et q non (p et q)

(non p) ou (non q) p ou q non (p ou q)

(non p) et (non q)

V V

V F

F V

F F

Colonnes identiques
Colonnes identiques

Colonnes identiques

1.2

Dis-moi, tu aimes la vanille ou le chocolat, nest-ce pas ?

Ah non, ni lun ni lautre.

Est-il vrai que p ou q ?

Exemple

Non, (non p) et (non q)

Implication =, quivalence

Dnition

(Implication, quivalence)

p q

p = q

V V
V F

F V

F F

La proposition p q , quon lit p si et seulement si q ou p et q


sont quivalentes , est vraie si p et q ont la mme valeur de vrit, et fausse sinon.

Explication

La proposition p = q , quon lit p implique q ou si p, alors q ,


est fausse dans le seul cas o p est vraie et q fausse. On appelle p son antcdent et
q son consquent.

Un petit point de vocabulaire.

On dit que q est une condition ncessaire pour que p soit vraie si lorsque p est vraie, q lest aussi ncessairement, forcment,
obligatoirement, autrement dit si limplication p = q est vraie.
On dit que q est une condition susante pour que p soit vraie sil sut que q soit vraie pour que p le soit aussi, autrement
dit si limplication q = p est vraie et non pas p = q !
Attention !
Armer que p = q est vraie nimplique ni que p est vraie, ni que q est vraie. Il est vrai que Si Pinocchio est Prsident
de la Rpublique, alors il est chef des armes , mais en ralit Pinocchio nest pas plus Prsident de la Rpublique quil
nest chef des armes.
Une implication p = q peut tre vraie alors que p et q nont rien de commun, car aprs tout seules leurs valeurs de
vrit comptent vrifonctionnalit oblige. Par exemple il est vrai que Si 0 = 0, alors les oiseaux ont des plumes . Il
en rsulte, au contraire de ce que vous croyez sans doute, que limplication na rien voir avec la causalit du connecteur
parce que . Dans p = q , p nest pas la cause de q, pas du tout. La proposition Sil y a de la fume, alors il y a
du feu est vraie, par exemple, et pourtant cest le feu la cause et la fume leet.
Limplication p = q est toujours vraie quand p est fausse. Par exemple il est vrai que Si 0 = 0, alors 0 = 0 .
p = q

V V

V F

F V

F F

Explication
Les exemples prcdents peuvent donner limpression lgitime que limplication a t
mal dnie ci-dessus, et pourtant non. Avions-nous le choix en ralit ? Seules les deux
dernires lignes p est fausse de la table de vrit de limplication nous drangent.
Le tableau ci-dessous montre que tout autre choix pour ces lignes nous aurait ramen
un autre connecteur de sens dirent.

p q p et q
V

c Christophe Bertault - MPSI

Dnition

(Contrapose, rciproque)

On appelle rciproque de limplication p = q la proposition q = p .


On appelle contrapose de limplication p = q la proposition (non q) = (non p) .
Attention !

Thorme

Dans une contrapose, on ajoute certes des ngations, mais on permute aussi les deux propositions.

(Rgles de calcul sur limplication et lquivalence)

Les propositions p = q et (non p) ou q sont quivalentes.


Par simple ngation, les propositions non (p = q) et p et (non q) sont aussi quivalentes.
Toute proposition est quivalente sa contrapose : les propositions p = q et (non q) = (non p) sont
quivalentes.
Lquivalence est une double implication : les propositions p q et (p = q) et (q = p) sont quivalentes.
Explication
En vertu du dernier point, au lieu de dire que p et q sont quivalentes, on dit souvent que q est une
condition ncessaire et susante pour que p soit vraie.

q non p non q (non p) ou q

p = q

Dmonstration

(non q)
= (non p)

q = p

(p = q)
et (q = p)

p q

V V

V F

F V

F F

Colonnes identiques

Colonnes identiques

Exemple
p = q

p est vraie

Est-il vrai que si jai 18 ans, alors jai le droit de vote ? En fait non, car je peux trs bien avoir 18 ans mais un casier
judiciaire tel que le droit de vote ma t supprim. Ceci illustre lquivalence de non (p = q) et p et (non q) .
q est fausse

Il est quivalent de dire : Sil pleut, alors il y a des nuages et : Sil ny a pas de nuages, alors il ne pleut pas .
p = q

(non q) = (non p)

Quantificateurs

On appelle prdicat toute proprit portant sur un ou plusieurs objets donns en arguments. Par exemple, tre un oreiller
est un prdicat : si nous le notons O, la notation O(x) signie que x est un oreiller . De mme, tre plus g que est un
prdicat deux arguments : si nous le notons A, la notation A(x, y) pourra signier x est plus g que y et nous aurons
peut-tre dailleurs intrt prfrer la notation x A y. Les symboles bien connus =, et < sont des prdicats deux arguments.
Dnition

(Quanticateur universel , quanticateur existentiel )

La proposition x, P(x) est vraie si tout objet quel quil soit a la proprit P, et fausse sinon, cest--dire si
au moins un objet na pas la proprit P.
On a plutt aaire, en fait, des propositions de la forme x E,

nest quun rsum pour x,

P(x) o E est un ensemble. Une telle proposition

x E = P(x) et signie donc que tout lment de E a la proprit P.

La proposition x/ P(x) est vraie si au moins un objet, quel quil soit, a la proprit P, et fausse sinon,
cest--dire si aucun objet na la proprit P.
On a plutt aaire, en fait, des propositions de la forme x E/

nest quun rsum pour x/

P(x) o E est un ensemble. Une telle proposition

x E et P(x) et signie donc quau moins un lment de E a la proprit P.

c Christophe Bertault - MPSI

Exemple
x R,

Il est vrai que :

Il est vrai galement que :


Thorme

x2 = 1
z C/

car le carr dun rel est toujours positif.


z 2 = 1

car en particulier i2 = 1.

(Ngation des quanticateurs)

Les propositions non x E,

P(x) et x E/

non P(x) sont quivalentes.

Les propositions non x E/

P(x) et x E,

non P(x) sont quivalentes.

Exemple
non x E, P(x)

x E/ non P(x)

Il est quivalent de dire : Il est faux que tout homme a les yeux bleux et Certains hommes nont pas les yeux bleus .
Il est quivalent de dire : Il est faux que certains hommes ont des cornes et : Tout homme est sans cornes .
x E, non P(x)

non x E/ P(x)

En pratique
Pour nier une phrase contenant un ou plusieurs quanticateurs, on rcrit cette phrase : 1) en
remplaant tous les par des et tous les par des , et 2) en niant le prdicat nal.
Exemple

La ngation de la proposition :
> 0,

> 0/

x R,

|x| <

x
<
x2 + 1

Ngation

est :

> 0/

> 0,

x R/

|x| <

et

x
x2 + 1

Autre opration courante : la permutation des quanticateurs. On peut toujours permuter les quanticateurs universels
entre eux, et les quanticateurs existentiels entre eux.
Exemple
Les propositions
Les propositions
Attention !

x R+ , y R , x

x R+ / y R / x

et

y R , x R+ , x

y R / x R+ / x

et

sont quivalentes.
y

sont quivalentes.

La permutation dun et dun nest pas automatique en revanche. Voyons cela sur deux exemples.

Dans toute cerise il y a un noyau , proposition vraie. Formellement : c cerise, n noyau/ n est dans c . La
proposition n noyau/ c cerise, n est dans c obtenue par permutation des quanticateurs est clairement fausse :
Il existe un noyau qui se trouve dans toutes les cerises .
Conclusion : quand une proposition est vraie, la proposition correspondante peut tre fausse. Napprenez
pas ce rsultat par cur : vous le retrouverez rapidement au feeling dans chaque cas particulier.
La proposition Il existe une salle de classe dans laquelle les MPSI ont tous leurs cours de maths est vraie, bien sr.
Formellement : s salle de classe/ x MPSI, x a tous ses cours de maths dans s . Mais la proposition permute
x MPSI, s salle de classe/ x a tous ses cours de maths dans s est vraie elle aussi : Chaque MPSI a tous ses
cours de maths dans une certaine salle de classe , mais elle a une signication plus faible que la proposition de dpart car
elle nexclut pas que chaque MPSI ait tous ses cours de maths tout seul dans une salle bien lui.
Conclusion : quand une proposition est vraie, la proposition lest aussi.

Dnition
(Pseudo-quanticateur !)
exactement un lment de proprit P.

Exemple

Il est vrai que :

! n N/

1
2

La proposition ! x E/

3
2

P(x) est vraie si lensemble E contient

et lentier n en question est tout simplement 1.

c Christophe Bertault - MPSI

Rudiments de thorie des ensembles

3.1

Appartenance et inclusion

Les notions intuitives densemble et dappartenance sont supposes connues : les ensembles sont des sacs de billes dont les
lments sont les billes. Pour tout ensemble E, la relation x est un lment de E ou x appartient E est note
x E. On note x E sa ngation x nappartient pas E . Lensemble vide, celui qui na pas dlment, est not .
/
Un ensemble peut tre dni de deux manires : soit en extension, soit en comprhension.
Dnir un ensemble en extension, cest donner la liste complte explicite de tous ses lments. On note
cette liste entre accolades, lordre des lments lists nayant aucune importance. Par exemple, 0, 1, 2
est un ensemble, le mme que 2, 1, 0 . Un ensemble de la forme x est appel un singleton tandis quun
ensemble de la forme x, y avec x = y est appel une paire. Il est bien vident quon ne peut dnir en
extension que des ensembles finis, incapables que nous sommes dcrire une liste innie de symboles.
Dnir un ensemble en comprhension, cest le dnir par une proprit P que ses lments vrient et
sont seuls vrier. On note x/ P(x) un tel ensemble : lensemble des x pour lesquels P(x) est
vraie .
Si E est un ensemble, lensemble
plutt not

x E/

P(x)

Un ensemble comme
2n

est aussi not

x/

nN

x E et P(x)

x/

des x qui sont la fois dans E et vrient P est

: lensemble des x de E pour lesquels P(x) est vraie .

n N/

x = 2n , qui nest autre que lensemble des entiers 20 , 21 , 22 , 23 . . . ,

: lensemble des 2n , n dcrivant N . Plus gnralement, si I est un ensemble,

lensemble des objets xi , i dcrivant I, est not

xi

iI

Que ce soit bien clair : il ny a pas deux sortes densembles en mathmatiques. Un mme ensemble, ni, peut tre prsent
en extension ou en comprhension. Par exemple :
0, 1 = n N/

Dnition

n2 = n = z C/

z2 = z

= n Z/

0 et n < 2 .

(Egalit et inclusion) Soient E et F deux ensembles.

Les ensembles E et F sont gaux sils ont exactement les mmes lments, i.e. si :

x,

x E x F .

On dit que E est inclus dans F , ou que F contient E, ou que E est une partie de F si tout lment de E est lment
de F , i.e. si : x,
x E = x F , ou encore, en rsum : x E, x F . On note cette relation E F .
Clairement :

E=F

Exemple
Rappelons quelques notations courantes sous la
forme dun dessin.
En rsum :

Autre notation importante et utile : pour tous


a, b R tels que a
b, on note a, b lensemble
des entiers compris entre a et b :

Par exemple :

F E.

et

Nombres complexes

i 2

1
2

2
3
1

b .

0, 2 = 0, 1, 2 .

Nombres rels

2
1

3 + 4i

N Z Q R C.

a, b = n Z/

EF

ln 3

Nombres rationnels

7
25

Q
Entiers relatifs

3
2

Entiers naturels

c Christophe Bertault - MPSI

Attention !

Les notions dappartenance et dinclusion se ressemblent, prenez soin de ne pas les confondre.

Sur la gure ci-contre,


il est vrai que x E, que E F et que x F .
En revanche, a priori, E F , x E et x F .
/
Plus subtil prsent. Lensemble

est lensemble dont les lments sont exactement 0 et 0 .

0, 0

Il est donc vrai que 0 0, 0

et que 0 0, 0

Il est galement vrai que 0

0, 0

car cela revient dire que 0

, et que

0, 0

car cela

0, 0

revient dire que 0 0, 0

Dnition

(Ensemble des parties) Soit E un ensemble. Lensemble des parties de E est not P(E).

Pour tout ensemble A :

A P(E)

A E.

Attention !
Dire que A appartient P(E) quivaut dire que A est incluse dans E. Il est ici
particulirement important de comprendre la dirence entre appartenance et inclusion.
R

La gure ci-contre illustre dans un cas particulier cette dualit : ce qui dans R apparat
comme une partie apparat dans P(R) comme
un lment, un point .

Exemple

[0, 1]

[0, 1]

P(R)

Pour tout ensemble E, E P(E) et P(E).


En eet

Montrer que E P(E), cest montrer que E E, i.e. :

Montrons maintenant que P(E), i.e. E, i.e. :

x E,

x E.

x = x E

x,

Bien sr cest vrai !


Et voil.

Faux. . .
. . . donc vrai. . .
. . . donc vrai.

Exemple

0, 1, 2

0 lment

3.2

0 , 1 , 2

0, 1 , 0, 2 , 1, 2

1 lment

0, 1, 2

2 lments

3 lments

Oprations sur les ensembles

Dnition

(Runion, intersection) Soient A et B deux ensembles.

On appelle runion de A et B, note A B, lensemble des x tels que :

xA

On appelle intersection de A et B, note A B, lensemble des x tels que :


AB

xA

x B.
et

x B.

AB
B

Association dides

/ou/

ou

Ces dnitions se gnralisent au cas de plus de deux ensembles. Soit Ai


I est un ensemble, et que pour tout i I, Ai est un ensemble.
On appelle runion des Ai , i dcrivant I, note

Association dides

/et/

iI

un ensemble densembles cela veut dire que

Ai , lensemble des x tels que :


iI

i I/

x Ai ,

i.e. tels que x est dans lun des Ai .


On appelle intersection des Ai , i dcrivant I, note

Ai , lensemble des x tels que :


iI

i I,

x Ai ,

i.e. tels que x est dans tous les Ai .

c Christophe Bertault - MPSI

Dnition (Ensembles disjoints) Soient E et F deux ensembles. On dit que E et F sont disjoints si E F = ,
autrement dit si E et F nont aucun lment commun.

Dnition

(Dirence, complmentaire)

Soient A et B deux ensembles.


On appelle dirence de B dans A, note A \ B, lensemble des x tels que :

xA

x B.
/

et

Soient E un ensemble et A une partie de E. Lensemble E \ A est appel le complmentaire de A dans E. Il est not
Ac ou A quand il ny a pas dambigut concernant lensemble E.
Ac = E \ A

A\B
A

Thorme

(Proprits de la runion, de lintersection et du passage au complmentaire)

Soient Ai

iI

un ensemble densembles et B un ensemble.


B =

Ai
iI

Soient E un ensemble et Ai

iI

iI

Ai B

et

Ai
iI

Ai B

iI

un ensemble de parties de E.
c

Ai

Ac
i

iI

Explication

B =

et

Ai
iI

iI

Ac .
i

=
iI

Ces galits gagnent tre comprises sur des dessins. Par exemple :
B

B
... C

AB
B

(A B) C
B

B
... ...

AC

BC

(A C) (B C)

Dnition (Produit cartsien) Soient E1 , E2 , . . . , En des ensembles non vides. Lensemble des familles (x1 , x2 , . . . , xn )
dans lesquelles x1 E1 , x2 E2 , . . . , xn En est appel le produit (cartsien) de E1 , E2 , . . . , En et not E1 E2 . . . En .
Dans le cas o E1 = E2 = . . . = En = E, ce produit est plutt not E n .
Exemple Lensemble R2 est lensemble des couples de rels, i.e. lensemble des (x, y) avec x et y rels. On peut le reprsenter
graphiquement comme un plan muni dun repre avec lide que (x, y) est le point de coordonnes (x, y) dans ce repre.
Attention !

Ne confondez pas la famille (x1 , x2 , . . . , xn ) avec lensemble

x1 , x2 , . . . , xn . Dans un ensemble,

les lments sont donns sans ordre alors que dans une famille lordre compte. Ainsi 1, 2, 3 = 2, 3, 1 , mais (1, 2, 3) = (2, 3, 1).

Explication Il revient au mme de commencer une proposition par x E, y F ou par (x, y) E F .


A noter galement : x, y E est un simple rsum de x E, y E .

c Christophe Bertault - MPSI

Raisonnement et rdaction

La n de ce chapitre est en un sens le moment le plus important de lanne en mathmatiques.


La premire rgle de rdaction, cest que tout objet dont on parle doit tre introduit. En franais, si vous
dites : Elle me les a donns hier sans avoir prcis auparavant qui sont elle et les , personne ne vous comprendra. En
maths, cest pareil : vous devez prsenter tout ce dont vous parlez.
Quelles consquences pratiques en termes de rdaction ? Un calcul de drive par exemple ne doit jamais ressembler
f (x) = . . . , mais se prsenter proprement ainsi, avec un x parfaitement introduit :
Pour tout x . . . :

4.1

f (x) = . . .

Introduire une variable, montrer une proposition universelle

On introduit souvent des variables en mathmatiques parce quon a souvent prouver des propositions x E,
Quand on veut montrer que :

x E,

P(x),

on crit sans rflchir :

Introduction de la
Soit x E.
Montrons que P(x).

.
.
.

P(x) .

variable x.

Preuve de P(x).

Lessentiel dans cet encadr et dans les suivants, cest la distinction rflchir/ne pas rflchir. Les modles de
rdaction proposs ici doivent devenir des rexes. Vous ne pourrez pas vous en sortir en maths tant que cela ne sera pas le cas.
Exemple

x R,
En eet

4.2

x
x2 + 1

1
.
2

Soit x R. Montrons que

x
x2 + 1

1
. Or (x 1)2
2

0, donc x2 + 1

2x, et enn

x
x2 + 1

1
.
2

Donner un nom un objet, montrer lexistence dun objet

en0 + 1
,
n2 + 1
0
o n0 est un nombre parfaitement introduit. Il est naturel alors de vouloir rsumer cette expression par un petit nom plus simple,
en0 + 1
partout, on crira simplement K, cest plus court.
disons K. Au lieu dcrire
n2 + 1
0
Admettons quon soit amen dans une preuve rpter de nombreuses fois une quantit un peu complique, disons

Pour donner le nom K la quantit

Posons K =

en0 + 1
, on crit :
n2 + 1
0

en0 + 1
.
n2 + 1
0

ou bien :

A gauche, le choix du nom K suppose


que la lettre K nest pas dj
le nom dun autre objet.

Notons K le rel

en0 + 1
.
n2 + 1
0

A droite, la quantit laquelle


on donne un nom ne doit contenir
que des objets dj introduits, ici n0 .

Cette rdaction du Posons/notons est employe souvent pour montrer une proposition existentielle.
Quand on veut montrer que : x E/ P(x), et quon a dj en tte un exemple dobjet
x E qui a la proprit P, on crit sans rflchir :
Posons x =

...

Lexemple quon a en tte.

Vrions que P(x).

.
.
.

Vrication que x
satisfait la proprit P.

c Christophe Bertault - MPSI

La dicult, bien sr, ne consiste souvent pas vrier que x a la proprit P, mais avoir lide dun exemple de tel objet x.
Il nexiste hlas pas de rgle gnrale pour avoir des ides. Nous y reviendrons tout de mme un peu plus loin dans le paragraphe
sur lanalyse-synthse.
Exemple

x, y R,
En eet

4.3

z R/

z > x + y.

Soient x, y R. Aprs un court moment de rexion, posons z = x + y + 1. Comme voulu, z > x + y.

Montrer une disjonction, une implication ou une quivalence

On rappelle que les propositions p ou q et (non p) = q sont quivalentes. En dautres termes, dire que de deux
propositions lune est vraie, cest dire que si on suppose fausse lune xe des deux, alors cest lautre qui est vraie.

Quand on veut montrer que p ou q est vraie, on procde souvent ainsi :


Supposons p fausse.
Montrons que q est vraie.

.
.
.
Exemple

x R,

|x|

ou

|x 2|

Preuve de q.

1.

En eet Soit x R. Supposons |x| < 1 et montrons qualors |x 2|


1 < 2 x < 3. A fortiori |x 2| 1.

1. Par hypothse :

1 < x < 1, donc

Quand on veut montrer que p = q est vraie, on crit sans rflchir :


Supposons p vraie.
Montrons que q est vraie.

.
.
.

Preuve de q.

y = x x2
Exemple

x [0, 1],
En eet

x x2 N

x 0, 1 .
2

Soit x [0, 1]. On suppose que x x N. Montrons qualors x 0, 1 .

1
2

1
1
, o
est
Nous connaissons bien les fonctions polynomiales du second degr. Ici, clairement : 0 x x2
4
4
1
la valeur du maximum atteint au milieu des racines 0 et 1 en . Or x x2 N par hypothse, donc forcment
2
x x2 = 0, i.e. comme voulu x = 0 ou x = 1.
On rappelle que les propositions non (p = q) et p et (non q) sont quivalentes. En particulier, les propositions
non x E, P(x) = Q(x) et x E/ P(x) et non Q(x) sont quivalentes. Dire que le prdicat P nimplique
pas toujours le prdicat Q, cest dire que dans certains cas, P peut tre vrai sans que Q le soit.

Quand on veut montrer que p = q est fausse, on crit sans rflchir :


Montrons que p est vraie.

.
.
.

Preuve de p.

Montrons que q est fausse.

.
.
.

Preuve que q est fausse.

c Christophe Bertault - MPSI

Exemple

Il est faux que :

x, y R,

sin y.

x, y R/

En eet Nous devons montrer que :


eet x y et sin x = 1 > 0 = sin y.

sin x

Bref, la fonction sinus nest pas croissante.

y et sin x > sin y. Posons x =


et y = . Alors en
2

Quand on veut montrer que p q est vraie, deux possibilits :


soit on raisonne par double implication :
Supposons p vraie.
Montrons que q est vraie.

.
.
.

Preuve de q.

Rciproquement, supposons q vraie.


Montrons que p est vraie.

.
.
.

Preuve de p.

soit on raisonne directement par quivalence en changeant peu peu p en q :


p

Exemple

x, y R,
En eet

x2 + y 2 = 0

...

...

q.

x = y = 0.

Soient x, y R. Si x = y = 0, il est bien vident que x2 + y 2 = 0.

Rciproquement, si x2 + y 2 = 0, alors x2 = y 2 , donc x2 = y 2 = 0 et enn x = y = 0.


0

4.4

Montrer lunicit dun objet

Le raisonnement suivant nest pas le seul raisonnement possible pour montrer lunicit dun objet. Nous approcherons le
problme dune autre manire dans le paragrahe sur lanalyse-synthse.
Quand on veut montrer quun ensemble E contient au plus un lment vriant une
proprit P, on peut procder ainsi :
Cest cela lunicit.
Soient x, x E.
Faisons lhypothse que P(x) et P(x ).
Montrons que x = x .

.
.
.

Preuve que x = x .

Attention !
Montrer lunicit dun objet dans un ensemble E vriant une proprit P, ce nest pas montrer que : ! x E/ P(x),
car cette proposition narme pas seulement lunicit de x mais aussi son existence. Au plus un ne signie pas
exactement un .
Il nest pas ncessaire ci-dessus de supposer x et x dirents. On prend deux objets x et x qui ont la mme proprit. Si
on arrive montrer qualors ils sont forcment gaux, cela montre bien lunicit souhaite.
Exemple

! x R+ /

x2 = 1.

En eet
Existence : Posons x = 1. Comme voulu, x R+ et x2 = 1.

Unicit : Soient x, x R+ . On suppose que x2 = x2 = 1. Montrons que x = x . Or comme x2 = x2 , alors


(x + x )(x x ) = 0, donc x = x ou x = x . Peut-on avoir x = x ? Dans ce cas x = x = 0 car x et x
sont positifs, ce qui contredit le fait que x2 = x2 = 1. On ne peut donc pas avoir x = x . Bref : x = x .

10

c Christophe Bertault - MPSI

4.5

Montrer une inclusion ou une galit densembles


Quand on veut montrer une inclusion E F , on crit sans rflchir :
Soit x E.
Montrons que x F .

.
.
.

Exemple

x R/

y R+ /

Preuve que x F .

R+ .
Il existe. . .

En eet
Soit x R. On suppose que x
hypothse et x y, donc en eet x 0.
Exemple

y pour un certain y R+ . Montrons que x R+ . Or y

On note 2N lensemble des entiers naturels pairs et on pose E = k(k + 1)

kN

. Alors :

En franais, cela revient dire que tout entier de la forme k(k + 1) avec k N est pair.

0 par

E 2N.

En eet Soit n E, disons n = k(k + 1) pour un certain k N. Montrons que n 2N. Or k est pair ou impair,
et si k est impair alors k + 1 est pair, donc k ou k + 1 est pair. Par produit, n = k(k + 1) lest aussi, i.e. n 2N.

Quand on veut montrer une galit densembles E = F , deux possibilits :


soit on raisonne par double inclusion :
Soit x E.
Montrons que x F .

.
.
.

Preuve que x F .

Rciproquement, soit x F .
Montrons que x E.

.
.
.

Preuve que x E.

soit on raisonne directement par quivalence :


Pour tout x :

Exemple

R = x R/

xE

y R+ ,

...

...

x F.

y .

En eet
Montrons que R x R/ y R+ ,
Soit x R . Nous devons montrer que :
eet x y.

x y .
y R+ ,

y.

Soit y R+ . Alors x

Montrons que x R/ y R+ , x y R .
Soit x R tel que : y R+ , x y. Alors en particulier, pour y = 0 :

0,

0 et y

0, donc en

i.e. x R .

Exemple

Soient E un ensemble et Ai

iI

un ensemble de parties de E. Alors :

Ai
iI

Ac .
i

=
iI

En eet

Pour tout x E :

Ai
iI

i I,

11

non

non (x Ai )

Ai
iI

i I,

non i I/
x Ac
i

x Ai
x

Ac .
i
iI

c Christophe Bertault - MPSI

4.6

Le raisonnement par rcurrence

Le raisonnement par rcurrence repose sur le principe suivant :


si P0 est vraie et si :

n N,

Initialisation

n N,

Pn = Pn+1 , alors :

Pn .

Hrdit

n N,

Quand on veut montrer par rcurrence que :

...

Initialisation :

Pn ,

on rdige ainsi :

Vrication que P0 est vraie.

Hrdit : Soit n N.
Faisons lhypothse que Pn est vraie.
Montrons que Pn+1 est vraie.

.
.
.

Attention !

Preuve que Pn+1 est vraie.

A priori, toute autre rdaction est exclue.

Commencer une hrdit par : Supposons que pour tout n N, Pn est vraie est une erreur gravissime : si on
suppose la proprit vraie tous les rangs, que reste-t-il prouver ? On ne peut jamais montrer ce quon prend pour
hypothse.
Une autre erreur moins grave, mais cest une erreur quand mme : Supposons Pn vraie pour un certain n N .
Pourquoi une erreur ? Parce la proposition Pn est vraie pour un certain n N scrit formellement : n N/ Pn ,
alors que lhrdit repose sur le principe suivant : n N, Pn = Pn+1 . Rien voir.
Exemple Par dnition, un entier n Z est pair sil existe k Z tel que n = 2k et impair sil existe k Z tel que n = 2k + 1.
Comme tout le monde le sait intuitivement, tout entier est pair ou impair. Encore faut-il le montrer !
En eet

Naturellement, le ou est ici inclusif. Nous verrons plus loin comment le rendre exclusif.

Initialisation : Lentier 0 = 2 0 est pair.

Hrdit : Soit n N. On suppose n pair ou impair. Il sagit de montrer que n + 1 est lui aussi pair ou
impair. Deux cas se prsentent :
si n est pair, disons n = 2k avec k Z, alors n + 1 = 2k + 1 donc n + 1 est impair ;

si n est impair, disons n = 2k + 1 avec k Z, alors n + 1 = 2 (k + 1) donc n + 1 est pair.


Z

Dans les deux cas, n + 1 est pair ou impair. Fin de la rcurrence.

Hlas nous avons seulement montr que tout entier naturel est pair ou impair. Quen est-il des entiers
ngatifs ? Soit n un tel entier. Alors n est un entier naturel, donc n est pair ou impair :
Z

si n est pair, disons n = 2k avec k Z, alors n = 2 (k) est pair ;

si n est impair, disons n = 2k + 1 avec k Z, alors n = 2k 1 = 2 (k 1) +1 est impair.


Z

Dans les deux cas, n est pair ou impair. Cest termin.

Il arrive parfois quon ne sache pas dduire Pn+1 de Pn pour tout n N, mais seulement Pn+2 partir de Pn et Pn+1 . Le
principe du raisonnement par rcurrence prend dans ce cas la forme suivante :
si P0 et P1 sont vraies et si :

n N,

(Pn et Pn+1 ) = Pn+2 , alors :

Initialisation

n N,

Pn .

Hrdit

Une telle rcurrence est dite rcurrence double. Les rcurrences traditionnelles sont dites simples et il existe bien entendu
des rcurrences triples, etc.
Quand on veut montrer par rcurrence double que :
Initialisation :

...

n N,

Pn ,

Vrication que P0 et P1 sont vraies.

Hrdit : Soit n N.
Faisons lhypothse que Pn et Pn+1 sont vraies.
Montrons que Pn+2 est vraie.

.
.
.

Preuve que Pn+2 est vraie.

12

on rdige ainsi :

c Christophe Bertault - MPSI

Exemple

On note (un )nN la suite relle dnie par u0 = 4, u1 = 5 et pour tout n N :


Alors pour tout n N : un = 2n + 3.

un+2 = 3un+1 2un .

En eet Intuitivement, le calcul dun terme de cette suite requiert toujours la connaissance des deux prcdents
do lide quune rcurrence double est ncessaire.
Initialisation :

u0 = 4 = 20 + 3

u1 = 5 = 21 + 3.

et

Hrdit : Soit n N. On suppose que un = 2n +3 et que un+1 = 2n+1 +3. Montrons que un+2 = 2n+2 +3.
Cest facile : un+2 = 3un+1 2un = 3 2n+1 + 3 2 2n + 3 = (3 1)2n+1 + (9 6) = 2n+2 + 3.
Plus fort encore que la rcurrence double ! Il arrive parfois quon ne sache dduire Pn+1 que de toutes les propositions
antrieures P0 , P1 , . . . , Pn . Le principe du raisonnement par rcurrence prend dans ce cas la forme suivante :
si P0 est vraie et si :

n N,

k 0, n ,

Initialisation

Pk

= Pn+1 , alors :

n N,

Pn .

Hrdit

Une telle rcurrence est dite rcurrence forte. Nous en verrons divers exemples en cours danne.

4.7

Le raisonnement par labsurde

Raisonner par labsurde, cest un peu prcher le faux pour savoir le vrai. Le principe est simple : si dune proposition on
arrive tirer une contradiction i.e. une proposition de la forme q et (non q) alors cette proposition de dpart est fausse.
Quand on veut montrer quune proposition p est vraie, on peut raisonner par labsurde de
la manire suivante :
Faisons lhypothse que p est fausse.

.
.
.

Obtention dune contradiction.

Contradiction ! Par consquent p est vraie.


Exemple

Tout entier est pair ou impair, mais pas les deux.


En eet Soit n Z. Nous avons dj vu que n est pair ou impair. Peut-il tre les deux la fois ? Pour montrer
que non, supposons que oui par labsurde. Alors n scrit n = 2k = 2l + 1 pour certains k, l Z, donc 2(k l) = 1
1
1
est un entier. Or nous savons par ailleurs que
nest pas un entier contradiction ! Lhypothse
et du coup
2
2
selon laquelle n est la fois pair et impair est donc fausse. Bref : n est pair ou impair, mais pas les deux.

Exemple

Rappelons quun nombre est dit irrationnel sil nest pas rationnel, sil nest pas le quotient de deux entiers.

Nous allons montrer ci-dessous que :


2 est irrationnel.
En eet
Dabord un lemme : pour tout n Z, n est pair si et seulement si n2 est pair. Soit n Z.
Z

Si n est pair, disons n = 2k pour un certain k Z, alors n2 = (2k)2 = 2 2k2 donc n2 est pair.

Pour la rciproque, montrons plutt par contraposition que si n nest pas pair, alors n2 nest pas
pair. Si donc n nest pas pair, alors n est impair comme nous lavons vu, disons n = 2k + 1 pour un certain
k Z. Aussitt n2 = (2k + 1)2 = 2 (2k2 + 2k) +1 donc n2 est impair. Bref, n2 nest pas pair.
Z

p
2 est rationnel, disons 2 = pour certains p, q N . Nous pouq
p
vons choisir p et q de faon ce que la fraction soit irrductible, i.e. de faon ce quaucune simplication
q
ne soit plus possible entre le numrateur et le dnominateur.
2
Lgalit p2 = q 2 = 2q 2 montre que p2 est pair, et donc que p est pair daprs le lemme. Ainsi
p = 2p pour un certain p Z.

A prsent, supposons par labsurde que

2p
p

=
= p 2
2
2
pair, disons q = 2q pour un certain q Z.
Du coup q 2 =

= 2p2 . Ceci montre que q 2 est pair et donc que q est

p
irrductible, mais nalement nous lavons rduite :
Nous avions suppos la fraction
q
Contradiction ! Comme voulu, 2 est irrationnel.

13

p
2p
p
=
= .

q
2q
q

c Christophe Bertault - MPSI

4.8

Le raisonnement par analyse-synthse


Quand on veut dterminer lensemble des lments dun ensemble E qui satisfont une proprit P, on raisonne souvent par analyse-synthse de la manire suivante.
Analyse : Soit x E.
Faisons lhypothse que P(x).

.
.
.

On part navement dun lment x de proprit P


et on essaie de lui faire nous dire qui il est.
Bref : on cherche les ttes possibles de x.

Synthse : Posons x =

...

Ici, les ttes possibles de x


trouves dans lanalyse.

Vrions que x E et que P(x).

.
.
.

Vrication que x appartient E


et satisfait la proprit P.

Explication
En ralit, vous utilisez depuis toujours sans le savoir le raisonnement par analyse-synthse. Simplement dsormais, pour
progresser, vous aurez besoin de comprendre, au moment o vous en faites une, que vous tes en train deectuer une
analyse-synthse.
Dans lanalyse, on part dun lment quelconque de E et on montre que sil satisfait la proprit P, alors il a
forcment telle ou telle tte et non telle autre. En rsum : dans lanalyse, on restreint le champ des solutions possibles.
Dans la synthse, on vrie que les possibilits obtenues dans lanalyse sont plus que des possibilits, quelles sont
bel et bien des solutions.
A lissue de ce double mouvement, on peut bien dire quon a dtermin tous les lments de E qui satisfont la proprit P.
Une analyse-synthse, cest au fond ce que vous faites chaque fois que vous rsolvez une quation. On vous la dit et rpt :
la rsolution dune quation est toujours un double mouvement Noubliez pas la rciproque ! Tchons de nous en
convaincre sur un exemple de rsolution par quivalence. Pour tout x R :
Analyse :
Les seules solutions possibles

sont 3, 1, 1 et 3.

x4 4x2 + 3 = 0

x2

4 x2 + 3 = 0

Synthse :

3, 1, 1 et 3
sont bel et bien solutions.

x2 = 1

ou x2 = 3 (second degr. . . )

3, 1, 1, 3 .

Le raisonnement par analyse-synthse est souvent employ pour montrer une proposition de la forme ! x E/ P(x) .
Montrer une telle proposition, cest en eet chercher lensemble des lments de E qui satisfont la proprit P et obtenir
nalement quil en existe un et un seul. Il faut alors bien comprendre ceci :
Analyse

Synthse

Exemple

Unicit

Existence

Il faut bien comprendre aussi que lorsquon prouve une existence-unicit


par analyse-synthse, lanalyse est une amorce de la synthse au sens o
la synthse ne fait que vrier que les objets trouvs dans lanalyse
existent bien. En rsum : dans lanalyse-synthse, prouver
lunicit cest dj aborder lexistence.

La fonction x 1 x est la seule fonction pour laquelle, pour tous x, y R :

f x f (y) = 2 x y.

En eet
Analyse : Soit f : R R une fonction. On suppose que pour tous x, y R :

f x f (y) = 2 x y.

En particulier, pour tout x R : f (x) = f x + f (0) f (0) = 2 x + f (0) 0 = 2 f (0) x. Bref,


f est de la forme x x pour un certain R.

Synthse : Soit R. Notons f la fonction x x. Alors pour tous x, y R :


f x f (y) = f x ( y) = f (x + y ) = (x + y ) = 2 x y.
Ce calcul prouve que la seule valeur de pour laquelle f satisfait le problme tudi est = 1, comme voulu.

14