Vous êtes sur la page 1sur 70

Analyse mathmatiques I

Filire Sciences conomiques et Gestion Semestre 1 Mohamed HACHIMI


UNIVERSIT IBN ZOHR FACULT DES SCIENCES JURIDIQUES ECONOMIQUES ET SOCIALES DAGADIR

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

1 / 55

Chapitre I Logique et ensembles

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

2 / 55

lments de Logique

Assertion
En logique binaire, il ny a que deux situations : ce qui nest pas vrai est faux. Dnition : On appelle assertion A un nonc dont on peut afrmer sil est vrai ou sil est faux sans ambigut. Exemple :
3 < 7 est une assertion vraie ; 2 > 5 est une assertion fausse. 10 000 est un grand nombre nest pas assertion

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

3 / 55

lments de Logique

Assertion
En logique binaire, il ny a que deux situations : ce qui nest pas vrai est faux. Dnition : On appelle assertion A un nonc dont on peut afrmer sil est vrai ou sil est faux sans ambigut. Exemple :
3 < 7 est une assertion vraie ; 2 > 5 est une assertion fausse. 10 000 est un grand nombre nest pas assertion

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

3 / 55

lments de Logique

Proposition

Dnition : Une proposition est un nonc vrai dans certaines situations, faux dans dautres. Pour une situation donne on peut savoir sans ambigut sil est vrai ou faux ; il devient alors une assertion. Exemple :
x 5 est une proposition. Elle est vraie pour les nombres infrieurs 5, fausse pour les autres.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

4 / 55

lments de Logique

Proposition

Dnition : Une proposition est un nonc vrai dans certaines situations, faux dans dautres. Pour une situation donne on peut savoir sans ambigut sil est vrai ou faux ; il devient alors une assertion. Exemple :
x 5 est une proposition. Elle est vraie pour les nombres infrieurs 5, fausse pour les autres.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

4 / 55

lments de Logique

Les connecteurs logiques

A partir de deux propositions quelconques A et B de nouvelles propositions peuvent tre construites. Ces propositions composes sont dnies par leurs tables de vrit suivant les valeurs prises par A et par B . On appelle connecteur lopration qui permet une telle construction

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

5 / 55

lments de Logique

Ngation
Dnition : La ngation dune proposition A , note non A est vraie si, et seulement si, A est fausse. Les valeurs de vrit de (non A ) sont indiques dans le tableau suivant, appel table de vrit : A V F non A F V

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

6 / 55

lments de Logique

Exemples

La ngation de la proposition vraie 3 < 7 est la proposition fausse 3 7 . La ngation de la proposition fausse 1+1=3 est la proposition vraie 1+1=3

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

7 / 55

lments de Logique

Disjonction
Dnition : La disjonction de A et B , note A ou B est vraie ssi lune au moins de ces propositions est vraie. A V V F F B V F V F A ou B V V V F

A ou B est fausse ssi A et B sont fausses toutes les deux.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

8 / 55

lments de Logique

Exemple

La proposition (1 + 2 = 3) ou (1 + 1 = 3) est vraie. La proposition (1 + 2 = 3) ou (21 est divisible par 7) est vraie La proposition (1 + 1 = 3) ou (21 est divisible par 5 ) est fausse.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

9 / 55

lments de Logique

Conjonction
Dnition : La conjonction de A et B , note A et B est vraie ssi A et B sont vraies simultanment. A V V F F B V F V F A et B V F F F

A et B est fausse ssi lune au moins de A et B est fausse.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

10 / 55

lments de Logique

Exemple

La proposition (1 + 2 = 3) et (1 + 1 = 3) est fausse. La proposition (1 + 2 = 3) et (21 est divisible par 7) est vraie.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

11 / 55

lments de Logique

Implication
Dnition : (non A ) ou B est appele implication. On crit : A B . On lit : A implique B . On dit aussi : si A alors B . A V V F F B V F V F non A F F V V A = B V F V V

A = B est fausse ssi A est vraie et si B est fausse.


Mohamed Hachimi Analyse de mathmatiques I 2010/2011 12 / 55

lments de Logique

Exemple

Rabat est la capitale du Maroc = 1 + 1 = 2 est vraie. Paris est la capitale de France = 1 + 1 = 3 est fausse Madrid est une ville de France = 1 + 1 = 3 est vraie.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

13 / 55

lments de Logique

Transitivit de limplication

Remarque : Pour montrer que limplication A = B est vraie, il suft de dmontrer que, lorsque A est vraie, la proposition B est vraie. Proposition 1 (Transitivit de limplication) : Soient A , B et C trois propositions, on a : (A = B et B = C ) = (A = C ).

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

14 / 55

lments de Logique

Equivalence
Dnition : A et B sont dites quivalentes si : (A B ) et (B A ). On note A B . A V V F F B V F V F A = B V F V V B = A V V F V A B V F F V

A B est vraies ssi dans les deux cas : a) A et B sont toutes deux vraies, b) A et B sont toutes deux fausses.
Mohamed Hachimi Analyse de mathmatiques I 2010/2011 15 / 55

lments de Logique

Exemple

Rabat et la capitale du Maroc 1 + 1 = 2 est vraie. Casablanca est une ville du Maroc 1 + 1 = 3 est fausse. Paris est une ville du Maroc 1 + 1 = 3 est vraie.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

16 / 55

lments de Logique

Contrapose

Dnition : La contrapose de limplication A = B est limplication non B = non A . On a : (A = B ) (non B = non A )

Dans certains cas de dmonstration, il est plus commode de montrer que la contrapose dune implication est vraie, plutt que montrer que limplication elle-mme est vraie.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

17 / 55

lments de Logique

Exemple

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

18 / 55

lments de Logique

Thorme

Soient A et B deux propositions. Dnition : Limplication A = B est aussi appele thorme. A prend le nom dhypothse et B le nom de conclusion pour que A soit vraie, il faut que B le soit. On dit que B est une condition ncessaire de A . pour que B soit vraie, il suft que A le soit. On dit que A est une condition sufsante de B .

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

19 / 55

lments de Logique

Thorme

Soient A et B deux propositions. Dnition : Limplication A = B est aussi appele thorme. A prend le nom dhypothse et B le nom de conclusion pour que A soit vraie, il faut que B le soit. On dit que B est une condition ncessaire de A . pour que B soit vraie, il suft que A le soit. On dit que A est une condition sufsante de B .

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

19 / 55

lments de Logique

Thorme

Soient A et B deux propositions. Dnition : Limplication A = B est aussi appele thorme. A prend le nom dhypothse et B le nom de conclusion pour que A soit vraie, il faut que B le soit. On dit que B est une condition ncessaire de A . pour que B soit vraie, il suft que A le soit. On dit que A est une condition sufsante de B .

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

19 / 55

lments de Logique

Thorme rciproque

Dnition : Limplication est appele thorme rciproque de A = B . Un thorme peut tre vrai et le thorme rciproque faux. Lorsquun thorme et son thorme rciproque sont vrais simultanment, il y a quivalence (logique) entre hypothse et conclusion du thorme. B = A

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

20 / 55

lments de Logique

Exemple

Soit n N un nombre entier (n N). On a : n N = n N Mais le thorme rciproque est faux, car 2 N mais

2N

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

21 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 1 A ou (non A )

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 2 [non (non A )] A

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 3 (A ou B ) (B ou A )

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 4 (A et B ) (B et A )

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 5 [(A ou B ) ou C ] [A ou (B ou C )]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 6 [(A et B ) et C ] [A et (B et C )]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 7 [A ou (B et C )] [(A ou B ) et (A ou C )]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 8 [A et (B ou C )] [(A et B ) ou (A et C )]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 9 [non (A et B )] [(non A ) ou (non B )]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 10 [non (A ou B )] [(non A ) et (non B )]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 11 [(A = B ) et (B = C )] = [A = C ]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de Logique

Lois logiques

A laide dune ou plusieurs propositions A , B , C et connecteurs logiques usuels non , ou , et , = ,. . . on peut former de nouvelles propositions. Les propositions suivantes sont vraies quelles que soient les valeurs de vrits de A , B , C ,. . . On a : Proposition 12 non (A = B ) [A et (non B )]

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

22 / 55

lments de la thorie des ensembles

Ensemble

Dnition : Un ensemble E est une collection dobjets qui, par dnition, sont les lments de E. Si a est un lment de lensemble E on crit : aE et on lit : x est un lment de E ou x appartient E

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

23 / 55

lments de la thorie des ensembles

Ensemble

Un ensemble peut tre reprsent par la liste complte de ses lments, par exemple : E = {, , , , , , ou par lcriture dune proprit A : E = { x | A (x) } o A est sufsante pour afrmer quun objet appartient ou nappartient pas lensemble E. }

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

24 / 55

lments de la thorie des ensembles

Exemple
Parmi les ensembles usuels citons ds maintenant : lensemble des entiers naturels not N : N = {0, 1, 2, 3, . . . , n, . . .} lensemble des entiers relatifs not Z : Z = {. . . , n, . . . , 3, 2, 1 0, 1, 2, 3, . . . , n, . . .} lensemble des nombres rationnels not Q : Q = {p/q | p Z et q Z, q = 0} lensemble des nombres rels (nombres rationnels et irrationnels) not R.
Mohamed Hachimi Analyse de mathmatiques I 2010/2011 25 / 55

lments de la thorie des ensembles

Ensemble

On reprsente souvent un ensemble par une partie dun plan limit par une courbe ferme

A Ce shma est appel diagramme de Venn (ou dEuler).

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

26 / 55

lments de la thorie des ensembles

Sous-ensemble
Dnition : Soient A et B deux ensembles. On dit que B est un sousensemble de A si tout lment de B est un lment de A. On note B A.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

27 / 55

lments de la thorie des ensembles

Egalit

Dnition : Soient A et B deux ensembles. Si B A et A B, on dit que A et B sont gaux. On note B = A. Exemple :
Considrons les deux ensembles : A = {0, 3, 6, 9, 12, 15}, On a bien : A = B. B = {x N | x 17, x = 3k, k N}

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

28 / 55

lments de la thorie des ensembles

Runion
Soient A et B deux sous-ensembles dun mme ensemble E. Dnition : On appelle runion de A et B lensemble A B dni par : A B = { x E | x A ou x B } B

AB

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

29 / 55

lments de la thorie des ensembles

Intersection
Soient A et B deux sous-ensembles dun mme ensemble E. Dnition : On appelle intersection de A et B lensemble A B dni par : A B = { x E | x A et x B } B

A
Mohamed Hachimi Analyse de mathmatiques I

AB

2010/2011

30 / 55

lments de la thorie des ensembles

Complmentaire
Soit A une partie dun ensemble E. Dnition : On appelle complmentaire de A dans E lensemble E A (ou A) dni par : A = { x E | x A } E

A A (dans E)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

31 / 55

lments de la thorie des ensembles

Ensemble vide
Dnition : On appelle ensemble vide et on note lensemble ne contenant aucun lment. Convention : Pour tout ensemble A, on a : A. Proposition : Pour tout ensemble A on a : A = et A = A. Soit E un ensemble et A un sous-ensemble de E. On a : E = E, E E = , A E A = .

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

32 / 55

lments de la thorie des ensembles

Ensemble des parties

Soit E un ensemble. Dnition : On appelle ensemble des parties de E lensemble de tous les sous-ensembles de E. On note cet ensemble P (E). On a : A E A P (E)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

33 / 55

lments de la thorie des ensembles

Exemple

Si E = {a, b, c} on a : P (E) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, E} Si E = on a : Si E = {} on a : P (E) = {} P (P ()) = {, {}}

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

34 / 55

lments de la thorie des ensembles

Produit cartsien
Dnition : On appelle produit cartsien de deux ensembles E et F , donns dans cet ordre, lensemble de tous les couples ordonns (x, y) o x E et y F . On le note E F et on lit E croix F . E F = { (x, y) | x E, y F } Si E = F , E E se note aussi E2 . Exemple :
Soit E = F = R : E F = R R = R2 .

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

35 / 55

lments de la thorie des ensembles

Produit cartsien de n ensembles

Soit E1 , E2 , . . . , En des ensembles. On appelle produit cartsien de E1 , E2 , . . . , En , lensemble : E1 E2 En = (x1 , x2 , . . . , xn ) | x1 E1 , x2 E2 , . . . , xn En


n. Lensemble E1 E1 E1 se note aussi E1

Un lment du type (x1 , x2 , . . . , xn ) sappelle n-uplet.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

36 / 55

lments de la thorie des ensembles

Exemple
Soit n un entier naturel non nul. et E1 = E2 = = En = R : E1 E2 En = R R R = Rn . Ainsi, Rn est lensemble des n-uplet des rels. On a : Rn = { (x1 , x2 , . . . , xn ) | x1 R, x2 R, . . . , xn R } Si n = 2 : Rn = R2 et tout lment de R2 est un couple de rels (x, y), par exemple : (5, 7) R2 et (7, 5) R2 .

Mais attention lordre des lments des couples : (5, 7) = (7, 5).

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

37 / 55

Quanticateurs

Quanticateur existentiel

Soit E un ensemble et x une variable qui appartient E. Soit A (x) une proprit dpendant de llment x. On dnit lassertion : il existe au moins un lment de E telle que A (x) soit vraie. de la faon suivante : x E, A (x)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

38 / 55

Quanticateurs

Quanticateur universel

Soit E un ensemble et x une variable qui appartient E. Soit A (x) une proprit dpendant de llment x. On dnit lassertion : quel que soit llment x de E, la proprit A (x) est vraie. de la faon suivante : x E, A (x)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

39 / 55

Quanticateurs

Exemple

Soit lnonc : n N, 2n n + 1. Cet nonc signie : quel que soit n appartenant N, la proprit A (n) vraie ; o A (n) est dnie par : A (n) : 2n n+1

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

40 / 55

Quanticateurs

Rgles de passage la ngation

Soit A une proprit concernant les lments dun ensemble E. Alors : : la ngation de lassertion : x E, A (x) nest pas mais x E, x E,

non A (x) non A (x)

En effet, il suft quil existe un lment de E telle que A () est fausse pour nier lassertion.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

41 / 55

Quanticateurs

Rgles de passage la ngation

Soit A une proprit concernant les lments dun ensemble E. Alors : : la ngation de lassertion : x E, A (x) nest pas mais x E, x E,

non A (x) non A (x)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

42 / 55

Quanticateurs

Rgles de passage la ngation

En rsum, pour nier une proposition, il suft dchanger et et de remplacer A (x) par non A (x). Ainsi : non x E, A (x) x E, non A (x) non x E, A (x) x E, non A (x)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

43 / 55

Quanticateurs

Enchanement des quanticateurs

Soient E, F deux ensembles et A une proprit dnie sur E F . Considrons les deux noncs : x E, y F , A (x, y) x E, y F , A (x, y) (1) (2)

Lassertion (1) signie que pour tout x de E, il existe (au moins) un y de F (dpendant de x) tel que lon a : A (x, y) est vraie. Lassertion (2) signie quil existe (au moins) un x0 de E pour lequel on a : A (x0 , y) est vraie pour tous les y de F .

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

44 / 55

Quanticateurs

Rgles de passage la ngation

La ngation de lassertion (1) est : non x E, y F , A (x, y) x E, y F , nonA (x, y) La ngation de lassertion (2) est : non x E, y F , A (x, y) x E, y F , nonA (x, y)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

45 / 55

Quanticateurs

Attention

Lorsquon modie lordre des deux quanticateurs et , on modie aussi le sens de lassertion. Par exemple, lassertion : ( x R, n Z, n est vraie. Par contre lassertion : ( n Z, x R, n est fausse x) x)

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

46 / 55

Mthodes de dmonstrations

Dmonstration directe
Soient A et B deux propositions. Pour dmontrer que A = B la mthode de dmonstration directe (ou par dduction) consiste supposer que les hypothses A sont vries pour en dduire dautres rsultats, jusqu laboutissement des conclusions B . A = . . . = . . . . . . = B

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

47 / 55

Mthodes de dmonstrations

Exemple

Montrons que :

(x, y) R2 , y = = =

y = 3x

3x + 5

3y + 5

Soit x, y deux lments de R, on a : x 3y 3y + 5 3y + 5

3x + 5 3x + 5

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

48 / 55

Mthodes de dmonstrations

Dmonstration indirecte

Cette mthode consiste remplacer la dmonstration directe de A = B par la dmonstration directe de non B = non A

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

49 / 55

Mthodes de dmonstrations

Exemple
Montrons que : (x, y) R2 , La contrapose de () est (x, y) R2 , 3x + 5 = 3y + 5 = x = y () x = y = 3x + 5 = 3y + 5 ()

Soit x, y deux lments de R, on a : 3x + 5 = 3y + 5 = 3x = 3y = x = y.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

50 / 55

Mthodes de dmonstrations

Dmonstration par labsurde

Lide dune dmonstration par labsurde utilise lquivalence logique : (A = B ) non A et non B . Cette mthode consiste montrer que la A et non B aboutit une absurdit, du type : A et non B = R et non R o R est une proposition. proposition

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

51 / 55

Mthodes de dmonstrations

Exemple

Montrons que :

Supposons que x2 = 2 et x Q alors il exite p et q deux entiers, p premiers entre eux, tels que x = do p2 = 2q2 . Deux cas sont q possibles lgard des parits : p impair. Ceci est absurde car p2 serait impair et gal 2q2 . p pair et q impair. Alors, p N, tel que p = 2p do p2 = 4(p )2 = 2q2 soit q2 = 2(p )2 ,

x R,

x2 = 2 = x Q

ce qui est impossible puisque q est impair.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

52 / 55

Mthodes de dmonstrations

Dmonstration par rcurrence

Thorme : Soit P une proprit dnie sur lensemble N telle que la proposition suivante soit vraie : P (0) et ( n N, P (n) = P (n + 1)). P (n).

Alors on a : n N,

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

53 / 55

Mthodes de dmonstrations

Dmonstration par rcurrence

Autrement dit, pour dmontrer par rcurrence quune proposition P (n) est vraie pour tout n, on procde en deux tapes : Premire tape : on vrie que P (0) est vraie. Deuxime tape : on suppose que pour n N quelconque P (n) est vraie, et puis on montre que P (n + 1) est vraie.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

54 / 55

Mthodes de dmonstrations

Exemple

On note P (n) la proposition : 2n P (0) est 20 0 + 1, soit 1

n + 1 .

1 , donc P (0) est vraie. n + 1) vraie, alors : n + 2 (car n (n + 1) + 1.

on suppose que P (n) est vraie, c--d (2n 2n+1 = 2 22 Ainsi : 2n+1 2 (n + 1) 2n + 2

(n + 1) + 1, c--d : P (n + 1) est vraie.

Donc, P (n) est vraie pour tout n N.

Mohamed Hachimi

Analyse de mathmatiques I

2010/2011

55 / 55