Série n° 11 d’exercices sur « Notions de logique » 1ér Bac SM

Exercice 1
En utilisant le raisonnement par équivalences successives, montrer que :
x 2  3x  1
1) (x  
):  x 2) x  1,  : x  2 x  1 3)
5
x   2, 2 : 4  x 2  x  2 2

Exercice 2
En utilisant le raisonnement par contraposition, montrer que :
 1 1 
1) pour tous x et y de :  x  y  z  x  z ou y  z 
 2 2 
2) pour tout x et y de 1,  :  x  y  x  2x  y  2 y 
2 2

3) pour tous a et b de : a  1 et b  1  a  b  ab  1

Exercice 3
En utilisant le raisonnement par la disjonction des cas, montrer que :
1) pour tout n de on a : n  n 2  5  est un multiple de 3

2) pour tout x de on a : x 2 1  x  0

Exercice 4
En utilisant le raisonnement par récurrence, montrer que :
1) pour tout n de  on a : 32 n  26 n 5 est un multiple de 11
n
2) n  
:   2k  1  ( n  1) 2
k 0

3) (n  )(a  0) : (1  a) n  1  na inegaliteé de BERNOUILLI

n
n (n  1)( n  2)
4) n   :  k  k  1 
k 1 3
 1  n  n  1
n 1

5)  n   :   1
n
 k 1
k 2

k 1 2
k n
6)  n  
:  k 2 k 1
  n  1  2 n  1
k 1

Exercice 5
Montrer que : (x  )(y  ) : x  y  2 x 2  y 2  xy

Exercice 6
1
1) montrer que :  x   : x 1  x  
4
2) soient a , b et c trois réels de l'intervalle  0;1
1 1 1
Montrer que a 1  b   ou b 1  c   ou c 1  a  
4 4 4
3) Soit n  
et soient a1 , a2 , a3 ,......., an des réels de l'intervalle  0;1
www.guessmaths.co E-mail : abdelaliguessouma@gmail.com whatsapp : 0604488896 1
On pose A n  a1  a2  ....  an et B n  1  a1   1  a2   ....  1  an  .
1 1
Montrer que A n  n
ou B n  n
2 2

Exercice 7
Montrer que a  : 9a 2  30a  35 

Exercice 8
Pour tout x  on pose : h  x   x 4  x3  x 2  x  1


1) vérifier que h  x   x3  x  1  x 2  x  1 et h  x   x 2 x 2  x  1  1  x 
2) en déduire que :  x   : h x  0
Exercice 9
1) Donner la négation et la valeur de vérité de la proposition :  b    n  *
:n  b
2) soit a . Montrer par l’absurde que  n   *
 : a  1n   a  0
 
3) Soient a et b deux réels. Montrer par l’absurde que  n  *
 : a  b  1n   a  b
 
Exercice 10 :

Soient a, b et c trois réels strictement positifs tels que : ab  bc  ca  1

1) Montrer que : a2  b2  c 2  1
2 2 2
2) Montrer par l’absurde que : a  b  ou b  c  ou c  a 
3 3 3
Exercice 11 :
Soient a, b et c les mesures des trois côtés d’un triangle avec a  b  c  1
1 1 1
1) Montrer que : a  et b  et c 
2 2 2
1
2) Montrer que : a 2  b 2  c 2 
2
Exercice 12 :
3 7
On considère dans l’inéquation (I ) : x2  4  1  x2  x  
2 2
1) Montrer que (x  ) : x  4  1  x  3
2 2

3 1
2) En déduire que ( I )  x  
2 2
3) Déduire l’ensemble des solutions de l’inéquation ( I )
Exercice 13
2x  3y  1 3
Montrer que le système  n’a pas de solutions dans
3 y  2 z  3
 xz 2


www.guessmaths.co E-mail : abdelaliguessouma@gmail.com whatsapp : 0604488896 2