Beruflich Dokumente
Kultur Dokumente
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
Dnition
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.
Thorme
(non p) et (non q)
V V
V F
F V
F F
Colonnes identiques
Colonnes identiques
Colonnes identiques
1.2
Exemple
Implication =, quivalence
Dnition
(Implication, quivalence)
p q
p = q
V V
V F
F V
F F
Explication
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
Dnition
(Contrapose, rciproque)
Thorme
Dans une contrapose, on ajoute certes des ngations, mais on permute aussi les deux propositions.
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
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,
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/
Exemple
x R,
x2 = 1
z C/
car en particulier i2 = 1.
P(x) et x E/
P(x) et x E,
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
! n N/
1
2
La proposition ! x E/
3
2
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
x/
nN
x E et P(x)
x/
n N/
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 .
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 :
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
Attention !
Les notions dappartenance et dinclusion se ressemblent, prenez soin de ne pas les confondre.
0, 0
et que 0 0, 0
0, 0
, et que
0, 0
car cela
0, 0
Dnition
(Ensemble des parties) Soit E un ensemble. Lensemble des parties de E est not P(E).
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)
x E,
x E.
x = x E
x,
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
Dnition
xA
xA
x B.
et
x B.
AB
B
Association dides
/ou/
ou
Association dides
/et/
iI
i I/
x Ai ,
i I,
x Ai ,
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)
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
Soient Ai
iI
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 !
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).
Raisonnement et rdaction
4.1
f (x) = . . .
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),
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
x
x2 + 1
1
. Or (x 1)2
2
0, donc x2 + 1
2x, et enn
x
x2 + 1
1
.
2
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
Posons K =
en0 + 1
, on crit :
n2 + 1
0
en0 + 1
.
n2 + 1
0
ou bien :
Notons K le rel
en0 + 1
.
n2 + 1
0
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 =
...
.
.
.
Vrication que x
satisfait la proprit P.
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.
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.
.
.
.
Exemple
x R,
|x|
ou
|x 2|
Preuve de q.
1.
1. Par hypothse :
.
.
.
Preuve de q.
y = x x2
Exemple
x [0, 1],
En eet
x x2 N
x 0, 1 .
2
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.
.
.
.
Preuve de p.
.
.
.
Exemple
x, y R,
sin y.
x, y R/
sin x
.
.
.
Preuve de q.
.
.
.
Preuve de p.
Exemple
x, y R,
En eet
x2 + y 2 = 0
...
...
q.
x = y = 0.
4.4
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.
10
4.5
.
.
.
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
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.
.
.
.
Preuve que x F .
Rciproquement, soit x F .
Montrons que x E.
.
.
.
Preuve que x E.
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
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
4.6
n N,
Initialisation
n N,
Pn = Pn+1 , alors :
Pn .
Hrdit
n N,
...
Initialisation :
Pn ,
on rdige ainsi :
Hrdit : Soit n N.
Faisons lhypothse que Pn est vraie.
Montrons que Pn+1 est vraie.
.
.
.
Attention !
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.
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 ;
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
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,
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 ,
Hrdit : Soit n N.
Faisons lhypothse que Pn et Pn+1 sont vraies.
Montrons que Pn+2 est vraie.
.
.
.
12
on rdige ainsi :
Exemple
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
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.
.
.
.
Exemple
Rappelons quun nombre est dit irrationnel sil nest pas rationnel, sil nest pas le quotient de deux entiers.
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.
2p
p
=
= p 2
2
2
pair, disons q = 2q pour un certain q Z.
Du coup q 2 =
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
4.8
.
.
.
Synthse : Posons x =
...
.
.
.
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
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.
14