Académique Documents
Professionnel Documents
Culture Documents
Raisonnements
mathmatiques
Et plus si affinits
Savoir mettre en uvre un raisonnement par l'absurde.
Savoir manipuler les connecteurs logiques et les quantificateurs.
Rsum de cours
Exemple 1.1. Pour tout rel x strictement positif, " x 1 > 0" est une proposition dpendante
de la variable x. Elle est vraie si x > 1 , et fausse sinon.
Exemple 1.2. Pour un d lanc, "le numro sorti est pair" est une proposition.
Exemple 1.3. Pour tout rel x, " (2 x + 1) 2 " n'est pas une proposition.
Quantificateurs
Notation Le signe " " plac devant une variable x signifie "quel que soit x...".
Le signe " " plac devant une variable x signifie "il existe (au moins) un x...".
Le signe " ! " plac devant une variable x signifie "il existe un unique x...".
" x , x 2 + 1 > 0 " se lit : "quel que soit le rel x, x 2 + 1 est strictement positif" ou "pour tout
rel x, x 2 + 1 est strictement positif".
" x ]0, + [, x 2 9 = 0 " se lit : "il existe au moins un rel x strictement positif tel que x 2 9
est gal 0" (il y en a dailleurs un unique : il sagit de x = 3 ).
n(n + 1) n(n + 1)
" !n , = 3 " se lit : "il existe un unique entier naturel n non nul tel que est
2 2
gal 3" (il s'agit du nombre 2).
Remarque 1.2. Notons que, dans un nonc, l'expression "il existe un x" signifiera toujours
implicitement qu'il en existe au moins un. Si unicit il y a, elle sera explicitement mentionne.
Exemple 1.4. La proposition " x , n , n x < n + 1 " nonce que, quel que soit le
rel x, il existe un entier n, tel que x soit compris entre n et n + 1 , cette dernire valeur tant
exclue. C'est une proposition vraie (qui dfinit d'ailleurs ce que l'on appelle la partie entire de
x). Elle est diffrente de la suivante : " n , x , n x < n + 1 " qui affirme, quant elle,
que tous les rels sont compris entre deux entiers fixs. Elle est videmment fausse.
Remarque 1.3. Dans l'expression " y , x , ... ", il faut noter que x dpend de y, on
devrait en toute rigueur le noter xy ou x(y), ce que l'on ne fait presque jamais.
RAISONNEMENTS MATHMATIQUES 3
Connecteurs logiques
Dfinition 1.2. La proposition contraire de P, note non P et appele ngation de P , est la
proposition qui est vraie lorsque P est fausse et qui est fausse lorsque P est vraie.
Exemples 1.5. Pour un d lanc trois fois, le contraire de "les trois numros obtenus sont
pairs" est "au moins un des numros obtenus est impair ".
La ngation de " x , n , n x < n + 1 " est : " x , n , x < n ou x n + 1 ".
La premire proposition est vraie puisquelle dfinit lentier n qui est la partie entire de x (voir
exemple 1.4) et la deuxime est fausse car il nexiste pas de rel x tel quaucun entier ne soit
dans lintervalle ] x 1, x ] .
Dfinition 1.6. Soit P et Q deux propositions. On dit que P quivaut Q (ou que P et Q
sont quivalentes), et on note P Q , lorsqu'on a, la fois, P Q et Q P .
Vocabulaire Lorsque P et Q sont quivalentes, on dit que P est vraie si, et seulement si, Q
est vraie. On dit aussi que P est une condition ncessaire et suffisante de Q .
Exemple 1.9. a +, b + , ( )
a < b (a < b) .
Exemple 1.10. Pour tout entier n, n est multiple de 6 si, et seulement si, n est multiple la
fois de 2 et de 3.
4 CHAPITRE 1
Diffrents types de raisonnements
Dmonstration par contre-exemple
Thorme 1.1. Pour montrer quune proprit nest pas toujours vraie, on trouve un contre-
exemple, cest--dire un exemple pour lequel la proprit est fausse.
Mthode 1.2. Comment utiliser le contre-exemple ?
RAISONNEMENTS MATHMATIQUES 5
Mthodes
Exercice 1.3
2
Exemple. Montrer que, si x < 1, alors ( x 4 ) > 9 .
Si x < 1, alors on a : x 4 < 3.
2
Par dcroissance de la fonction "carr" sur R , on en dduit que : ( x 4 ) > 9 .
2
Avec des notations plus symboliques, on vient de montrer que : x < 1 ( x 4 ) > 9 .
Pour montrer qu'une implication est fausse, il suffit de trouver un exemple qui
montre que cest le cas.
Pour montrer qu'une implication est vraie, il suffit de supposer l'hypothse vraie et
la conclusion fausse, puis d'en dduire une contradiction.
Exercice 1.4
x +1
Exemple. Montrer que pour tout nombre rel x diffrent de 3, on a : 1.
x+3
x +1
Par labsurde, si lon avait = 1 , alors on en dduirait x + 1 = x + 3 , ce qui quivaut 1 = 3 .
x+3
x +1
Ceci tant manifestement faux, on en dduit que : x 3, 1.
x+3
6 CHAPITRE 1
Mthode 1.4. Comment montrer une proposition par rcurrence ?
Mthodes
On a alors : un+1 = 12 = 1 .
Ceci montre que P (n + 1) est vraie.
En conclusion, on a bien montr, par rcurrence, que : n , un = 1 .
RAISONNEMENTS MATHMATIQUES 7
Vrai/Faux
Vrai Faux
1. x , y [ x, + [ , n , x n y .
2. ! y , ! x , x 2 = y .
3. La fonction f n'est pas la fonction nulle signifie : x , f ( x) 0 .
4. Pour toute fonction f dfinie sur , on a : x , f ( x) f ( x) .
5. Il existe au moins une fonction f dfinie sur telle que :
x , f ( x) = f ( x)
6. On dsigne par a et b deux rels, alors : ( ab 0 ) ( a 0 ou b 0 ) .
7. Lquation x 2 = x na pas de solution.
8. Pour tout rel x positif, on a : x 2 x .
9. Pour tout rel x strictement ngatif, on a : x 2 x .
10. Si P (n) est " u2n +1 2n ", alors P (n + 1) est " u2 n+ 2 2n +1 ".
8 CHAPITRE 1