LES DIFFRENTS TYPES DE DMONSTRATIONS

33

6. Les diffrents types de dmonstrations

En mathmatiques, une dmonstration est un raisonnement qui permet, partir de
certains axiomes, d'tablir qu'une assertion est ncessairement vraie.
Les dmonstrations utilisent la logique mais incluent habituellement des lments du
langage naturel en vitant tant que possible d'introduire des ambiguts.
Un rsultat qui est dmontr s'appelle un thorme. Une fois le thorme dmontr, il
peut tre utilis comme base pour dmontrer d'autres assertions.
Une assertion qui est suppose vraie mais qui n'a pas encore t dmontre est appele
une conjecture.

6.1.

Un peu de logique
En mathmatiques, une proposition est un nonc mathmatique, susceptible d'tre
dmontr ou rfut, pour lequel il fait sens de parler de vrit.

Le principe de noncontradiction

La logique est base sur le principe de non-contradiction. Ce principe dit qu'une

proposition ne peut pas tre vraie et fausse la fois.

Le principe du tiers
exclu

Le principe du tiers exclu stipule que si une proposition n'est pas vraie, alors elle est
fausse (ou que si elle n'est pas fausse, alors elle est vraie).
Ce principe est vrai pour la plupart des propositions, bien qu'il y ait des expressions qui
ne vrifient pas le principe du tiers exclu. Cit par Paul de Tarse (Saint Paul) dans le
Nouveau Testament, le paradoxe du menteur sert de base au dveloppement de la
logique :
Epimnide dit: Tous les Crtois sont des menteurs.
Si pimnide dit la vrit, ; il ment puisqu'il est crtois. Donc, tous les Crtois ne sont
pas des menteurs. S'il ment, au contraire, en affirmant ce la, alors il dit effectivement la
vrit. Sa proposition est la fois vraie et fausse, c'est--dire contradictoire.

L'implication

Lorsqu'on a deux propositions P et Q, on crit P Q pour dire que l'expression P

implique l'expression Q. Dans ce cas, P est l'hypothse et Q est la conclusion.
Il y a diffrentes faons de lire P Q :
si la proposition P est vraie, alors la proposition Q est vraie (si P, alors Q)
la proposition Q est vraie si la proposition P est vraie (Q si P)
la proposition P est vraie seulement si la proposition Q est vraie (P seulement
si Q)
Exemple
Le quadrilatre ABCD est un carr ABCD est un paralllogramme.
On dit que :
ABCD est un carr est une condition suffisante pour que ABCD soit un
paralllogramme
ABCD est un paralllogramme est une condition ncessaire pour que ABCD
soit un carr
On peut remarquer que :
ABCD est un paralllogramme n'est pas une condition suffisante pour que
ABCD soit un carr
ABCD est un carr n'est pas une condition ncessaire pour que ABCD soit un
paralllogramme

Didier Mller - LCP - 2013

Cahier Musculation

34

CHAPITRE 6

La rciproque

La rciproque d'une implication P Q est l'implication P Q .

Dans l'exemple ci-dessus, on peut dire que l'implication si ABCD est un carr alors
ABCD est un paralllogramme est une implication juste mais que sa rciproque est
fausse.

L'quivalence

Lorsqu'on a deux propositions P et Q telles que P Q et P Q , on crit : P Q et

on dit que la proposition P est quivalente la proposition Q.
Au lieu de dire que P est quivalent Q, on peut aussi dire P si et seulement si Q
(abrg P ssi Q).
Exemple
ABC est un triangle rectangle en A AB2 + AC2 = BC2

Le contraire d'une
expression bien
forme

6.2.

Si P est une proposition, alors sa proposition contraire (ou ngation) est note non P,
P ou ~P.
Question
D'aprs vous, quelle est la ngation de Tous les Crtois sont des menteurs ?
a) Tous les Crtois disent la vrit.
b) Les Crtois disent quelquefois la vrit.
c) Il existe au moins un Crtois qui dit parfois la vrit.

Dmonstration directe
Elle consiste dmontrer la proposition nonce (par exemple un thorme) en partant
directement des hypothses donnes et en arrivant la conclusion par une suite
d'implications logiques.
Exemple Soit n un nombre entier positif ou nul ( n ) et considrons P(n) = n2+7n+l2. Alors il
n'existe pas de n tel P n .
Dmonstration Pour tout n, on a :
n2+ 6n+9 < n2+ 7n+l2 < n2+ 8n+16,
d'o (n+3) 2 < P(n) < (n+4) 2.
Puisque n+3 > 0, on dduit que (n+3) < P n < (n+4).
Donc

Exercice 6.1

Cahier Musculation

P n , puisqu'il est strictement compris entre deux entiers conscutifs.

Utilisez le dessin ci-dessous pour dmontrer le thorme de Pythagore :

Didier Mller - LCP - 2013

LES DIFFRENTS TYPES DE DMONSTRATIONS

Le triangle ABC est rectangle en A.

La hauteur issue de A coupe le segment [BC] en H.
Le point I est le milieu du segment [HB] et le point J, le milieu du segment [AH].
Dmontrez que les droites (CJ) et (AI) sont perpendiculaires.

Exercice 6.2

6.3.

35

Dmonstration par la contrapose

La contrapose

La contrapose d'une implication P Q est l'implication Q P .

Exemple
La contrapose de :
Si le quadrilatre ABCD est un carr, alors ABCD est un paralllogramme
est :
Si ABCD n'est pas un paralllogramme, alors ABCD n'est pas un carr .
Thorme
P Q

Q P

Ce thorme signifie que l'on peut prouver que P implique Q en dmontrant que non Q
implique non P (et vice versa).
noncez les contraposes des propositions suivantes :
E
(a) Si j'ai mon cours de piano hebdomadaire, alors c'est lundi.
(b) Ceux qui parlent ne savent pas.
(c) Si le dernier chiffre d'un nombre n est 2, 3, 7 ou 8, alors n n'est pas le carr
d'un entier.

Exercice 6.3

Dmontrez les propositions suivantes par la contrapose :

(a) Si x est un nombre rel tel que x2 < 1 alors x > 1.
(b) Si x est un nombre rel tel que x3 + x2 2x < 0 alors x < 1.
(c) Si x2 est impair, alors x est impair.

Exercice 6.4

6.4.

Dmonstration par l'absurde

Elle consiste supposer le contraire de la proposition nonce et de montrer qu'on
aboutit alors une contradiction (impossibilit).
Exemple Comme exemple, nous dmontrerons l'irrationalit de 2 , i.e. 2 n'est pas un
nombre rationnel. Rappelez-vous qu'un nombre rationnel est un nombre qui peut tre
exprim sous la forme a/b, o a et b sont des nombres entiers et b est diffrent de 0.
Tout d'abord, supposons que 2 est rationnel :

2= a
b

o a et b sont premiers entre eux (i.e. les deux entiers n'ont pas de facteurs en commun).
En d'autres mots, a/b est sous forme irrductible. Continuons :
2

2=

a
b2

2b2 = a2
Nous avons maintenant trouv que a2 est un certain entier multipli par 2. Par
consquent, a2 doit tre divisible par 2 ; autrement dit, il est pair. Comme le carr d'un
nombre impair est lui-mme impair, a doit tre pair lui aussi. Nous pouvons maintenant

Didier Mller - LCP - 2013

Cahier Musculation

36

CHAPITRE 6

crire que a = 2c, o c est un autre entier.

2b2 = (2c)2
2b2 = 4c2
b2 = 2c2
Nous avons dcouvert que b2 est aussi un entier multipli par 2. En suivant le
raisonnement prcdent, b doit tre un entier pair. Ici, nous avons une contradiction : les
deux nombres entiers a et b sont pairs. En d'autres termes, nous venons de dmontrer
que ces deux nombres ont un facteur commun : 2. Mais nous avons dj suppos que
ces deux nombres n'avaient pas de facteur commun! Puisqu'une telle contradiction a t
tablie, nous devons conclure que notre supposition d'origine tait fausse.
Par consquent, on ne peut pas trouver deux entiers a et b premiers entre eux tels qu'on
puisse crire 2 sous la forme a/b, donc 2 est irrationnel.

3 est irrationnel.

Exercice 6.5

Dmontrez que

Exercice 6.6

Dmontrez qu'il existe un nombre infini de nombres premiers.

Exercice 6.7

On couvre un carr 6 x 6 avec 18 dominos sans chevauchements et sans dpasser les

bords. Montrez qu'il existe toujours une droite qui coupe le carr en deux parties mais
qui ne divise aucun des dominos.

6.5.

Dmonstration par rcurrence ou induction

Soit P(n) une proprit de l'entier n . On suppose qu'on a les deux assertions
suivantes :
1. P(0) est vraie (ancrage) ;
2. Pour tout n , P(n) implique P(n+1) (hrdit).
Alors P(n) est vraie pour tout n .
L'hypothse d'hrdit signifie que si P(n) est vraie alors P(n+1) l'est aussi. Dans ces
conditions, P(n) est vraie pour tout n. En effet, P(0) est vraie par l'hypothse d'ancrage,
donc P(l) l'est par hrdit, donc P(2) aussi pour la mme raison, etc. On a un effet
dominos .
Une dmonstration par rcurrence contient toujours deux tapes :
1. L'initialisation : c'est la vrification de P(0). Il ne faut jamais l'oublier !
2. La rcurrence proprement dite : on suppose que la proprit P(n) est vraie (on
l'appelle hypothse de rcurrence), et on essaie de montrer P(n+1) partir d'elle.
Exemple On veut dmontrer par rcurrence la proprit suivante : pour tout entier naturel n et
tout rel x strictement positif, (1 + x)n 1 + nx .

Cahier Musculation

(1 + x)0 = 1 1 + 0 x , donc la proprit est vraie au rang 0.

Supposons la proprit vraie pour un certain rang n, c'est--dire supposons que
(1 + x)n 1 + nx
Alors, (1 + x)(1 + x)n (1 + x)(1 + nx),
d'o (1 + x)n+1 1 + nx + x + nx2,
donc, (1 + x)n+1 1 + (n+1)x + nx2 1 + (n+1)x (puisque x est positif),
par consquent, (1 + xx)n+1 1 + (n+1)x
La proprit reste donc vraie au rang n+1.
Conclusion : elle est vraie quel que soit l'entier naturel n.

Didier Mller - LCP - 2013

LES DIFFRENTS TYPES DE DMONSTRATIONS

Exercice 6.8

37

Dmontrez les formules suivantes :

n n1
2
n
n12
n1
b. 1 + 4 + 9 + ... + n2 =
6
2
2
n n1
c. 1 + 8 + 27 + ... + n3 =
4
a. 1 + 2 + 3 + ... + n =

Exercice 6.9

Dmontrez que ...

a. n(n+1)(n+2) est divisible par 6 pour tout n .
b. 7n+1 + 2 est divisible par 3 pour tout n .

Exercice 6.10

Dessinons sur une feuille des points. Nous les appellerons des sommets. Relions ces
sommets par des artes, pas forcment rectilignes, qui ne se coupent pas. Depuis
chaque sommet, on doit pouvoir atteindre tous les autres sommets en suivant les artes
(on parle de graphe connexe). Appelons rgions les surfaces de la feuille dlimites pas
des artes.
Par exemple, avec six sommets et neuf artes, le dessin ci-dessous divise le plan en cinq
rgions (A, B, C, D, E). On remarque que quatre rgions sont limites alors que la
cinquime (E), extrieure au diagramme, ne l'est pas.

Leonhard Euler
(Ble, 15/4/1707 St-Ptersbourg, 18/9/1783)

Formul par le mathmaticien suisse Lonard Euler en 1752, la relation d'Euler

nonce une formule mathmatique qui relie le nombre d'artes (a), de sommets (s), et de
rgions (r) : r a + s = 2.
Dmontrez cette relation par induction.

6.6.

Preuves sans mots

En mathmatiques, une preuve sans mots (ou une
dmonstration visuelle) est une dmonstration d'une
identit (ou d'une affirmation mathmatique plus
gnrale) l'aide d'un diagramme la rendant
vidente, sans qu'un texte plus explicite le
commentant soit ncessaire. Quand le diagramme
n'en illustre qu'un cas particulier, il faut que sa
gnralisation ne demande au lecteur qu'un effort
minima1. Malgr les risques qu'elles prsentent (voir
ex. 6.13), ces dmonstrations sont souvent
considres comme plus lgantes que des preuves
mathmatiquement plus rigoureuses.

Didier Mller - LCP - 2013

Cahier Musculation

38

Exemple

Les trois pyramides ont pour

mme volume la somme des
carrs de 1 n (n=4 dans cette

CHAPITRE 6
Les formules donnant la somme des puissances n-mes des entiers conscutifs
(formules de Faulhaber) peuvent tre dmontres visuellement pour n = 1, 2 ou 3 ; la
jolie preuve visuelle ci-dessous illustre le fait que :

n n
2

149n =

1
n1
2
(voir exercice 6.8 b)
3

illustration) ; le paralllpipde
final est de cts n, n+1 et
n+1/2, d'o la formule de
Faulhaber pour la somme des
carrs.

Exercice 6.11

Comprenez-vous cette preuve sans mots ?

Exercice 6.12

Dmontrez sans mots que 1 + 3 + 5 + ... + (2p1) = p2.

Exercice 6.13

Qu'est-ce qui cloche avec cette preuve sans mots ?

Cahier Musculation

Didier Mller - LCP - 2013