1ere SM

La logique

H . Bouayoun

Exercice 1 Ecrire en utilisant les contificateurs logiques les propositions suivante et tudier leur valeur de vrit (P) : Pour tout entier naturel n il existe un entier naturel m tel que : n = 2m . (Q) : Pour tous rels x et y il existe un entier naturel n tel que : x + y = n . (R) : il existe un nombre rel M tel que pour tout rel x : x M . 2 (Q) : Pour tous rels m il existe un nombre rel x tel que : x mx + 1 = 0

1/ 3

Exercice 2 Ecrire la ngation des propositions suivante puis tudier la valeur de vrit de chacune delle : (P) (x IR ): 1 + x 2 x 0 Erreur ! Signet non dfini.
(T ) (x 1): x 2 + x 2 0

(Q) (n IN * ) (x IR):

x 2n >1 1+ x

(S) (x IR ): x 2 x + 1 0 et 1 x 1
(U ) (x IR )(y IR ): x 2 + y 2 + xy 3 = 0

Exercice 3
Montrer que la proposition suivante est vraie .

(x > 1)(y > 1) : x y

Exercice 4 1) Montrer que pour tout n : a) (n 2 paire ) (n paire )
2) en dduire que

x y 2 1+ x 1+ y 2

b) (n 2 impaire ) (n impaire )

et

1+ 5 2

Exercice 5
Soit a , b IR + . Montrer que :

1 + a a < 1 + b b b <a

Exercice 6 1) Soit a IR + tel que ( > 0) : a < . Montrer que a = 0 . 2) Soient a et b deux rels tels que ( > 0) : a b < . Montrer que a = b . Exercice 7 Soient a et b deux lments de IR tels que : Montrer que b a .

(x IR) (a < x b < x)

Exercice 8 Soient x , y et z trois lments de IR tels que : Lun deux est strictement positif le deuxime est strictement ngatif le troisime et nul , et vrifient les propositions suivantes : x = 0 y >0 , x > 0 y < 0, y 0 z >0 Dterminer le signe de chacun de ces rels . Exercice 9 1 1 1 Soient x , y et z trois lments de IR *+ tel que : xyz > 1 et x + y + z < + + x y z En utilisant le raisonnement par absurde montrer que : 1) chacun des trois nombres x , y , z est diffrent de 1 . 2) lun des trois nombres x , y et z est strictement infrieur 1 . Exercice 10 Montrer en utilisant le raisonnement par disjonction des cas ce qui suit :
1)

( n IN ) :

n(n 1)(n + 1)
3

IN

2) (n IN ) :

n2 + 1
3

IN

http://sefroumaths.site.voila.fr

Exercice 11
Que peut-on dire des nombres rels a et b si :

1 1 (n IN ):a b a + n n
*

2/3

Exercice 12 Soient (n , p ) IN *2 tels que : p > 1 Montrer en utilisant le raisonnement par absurde que : Si p divise n alors p ne divise pas n+1 Exercice 13 Montrer en utilisant le raisonnement par rcurrence ce qui suit :
1) 2) 3) 4) 5) 6)
1 q n +1 1 q n 2 (n + 1) 2 (n IN * )1 + 23 + 33 + .......... + n 3 = 4 (n IN * )1 + q + q 2 + ......... + q n =

ou

q IR {1}

Pour tout n IN Pour tout n IN Pour tout n IN * ( n IN ) (1 + q ) n

n k =1

n 3 n est divisible par 3 .

32 n 2n est divisible par 7 . 32 n + 2 6n 5 est divisible par 11 . 1 + nq ou q > 0

7) (n IN * ) : (2k 1)3 = n 2 (2n 2 1) 8) (n IN * ) : 9) (n IN * ) :

n

kk ! = (n + 1)! 1
k =1

avec
n (n + 3)

k ! = 1.2.3.........k

k (k + 1)(k + 2) = 4(n + 1)(n + 2)

k =1

10) (n IN * ) : 1 + 23 + 33 + .......... + n 3 = (1 + 2 + 11) (n IN * ) :

+ n )2

k (k + 1) = n + 1
k =1

1 2 2 + 32 .......... + ( 1) n 1 n 2 = ( 1) n 1 (1 + 2 n +1 n 13) (n 2) : n ! ( ) 2 1 1 14) (n IN * ) : n 1 1.2.3......n 2

12) (n IN * ) :

+ n)

Exercice 14
Montrer quil existe un entier naturel n 0 tel que :

(n n 0 ) :

2 n ( n + 2) 2

Exercice 15 Pour tout n IN on considre les nombres a0 , a1 , a2 , .. , an tels que :

les nombres ai ont tous le mme signe et (i {0,1, 2,......., n }) : ai > 1 (n IN ) : (1 + a0 ) (1 + an ) > 1 + a0 + Montrer que :

an

Exercice 16 Pour tout n IN * on considre le polynme Pn (x ) = n x n +1 (n + 1) x n + 1

Montrer que Pour tout n IN * le polynme Pn est divisible par (x 1) 2

Exercice 17 Soit n IN * . Montrer que : (k 1) : n k + kn k 1 (n + 1) k Exercice 18

Soient aet b IR *+ tels que a b . Montrer que : (n ) (

a + b n an + b n ) 2 2

Exercice 19 On considre les nombres u 0

1) Montrer que : (n IN ) : u n < 2

u1

u2

u 3 tels que

3/ 3

u 0 = 1 et u n +1 = 2 + u n
2) Montrer que : (n IN ) : u n < u n +1

http://sefroumaths.site.voila.fr