1e bac Sciences mathématiques 2023/2024

Série No1 - La logique

Exercice 1: Assertions

1. Donner la négation de chacune des assertions suivantes :

1. ∀x ∈ R , ∀y ∈ R, x+y >0 4. ∃x ∈ R , ∀y ∈ R, x+y >0

a
2. ∀a ∈ N , ∀a ∈ N∗ , ∈Q 5. ∀a ∈ N , a > 0 ou a 6 0
b
3. ∀a ∈ N , a < 0 et a 6 0 6. ∀x ∈ R , 4 < x 6 5

2. Déterminer la valeur de vérité des assertions suivantes :

1. ∃x ∈ R , x2 + 1 = 0 4. ∃x ∈ R , ∃y ∈ R , x + y = 0
√
2. ∀x ∈ R , x2 = x 5. ∀x ∈ R , (x2 = 4) ⇒ (x = 2)

3. ∀x ∈ R+ , (x2 = 4) ⇒ (x = 2) 6. ∀x ∈ R+ , (x2 = 4) ⇒ (x = 2)

Exercice 2 : Quantificateurs

Soient f une fonction définit de R dans R. Traduire en termes de quantificateurs les expressions suivantes :
1. f est majorée 4. f est paire 7. f est croissante

2. f est minorée 5. f est impaire 8. f est décroissante

3. f est bornée 6. f est périodique 9. f ne s’annule jamais

Exercice 3 : Disjonction de cas

Résoudre dans R :

2. | x + 3 | = 1 − 2x
1. | x + 3 | = 1

3. | 2x + 1 | − | x + 1 | = 1 − 4x 4. | 2x + 1 | − | x + 1 | + | 4x + 1 | = 0

√
5. x+3=x+1 6. x2 − 2(1 − m)x + 4 = 0, tel que m ∈ R

x2 − 2x
   
3 x
7. E =2 8. E =
x+1 3 2

9. E (2x − 1) = 2 10. E (2x − 1) = 2

11. | x + 3 | > 1 − 2x 12. | 2x + 4 | − | x + 3 | > 1 − 4x

Lycée Abdellah ben yassin 1

1e bac Sciences mathématiques 2023/2024

Exercice 4 : Déductions successives

1
1. Montrer que : ∀a > 0 , +a >2
a
a2 + 1 b2 + 1
2. Montrer que : ∀(a,b) ∈ R∗+ 2 , + >4
b a
3. Montrer que : ∀(a,b) ∈ R2 , a3 + a = b3 + b ⇐⇒ a = b

4. Montrer que : ∀(a,b,c) ∈ R3 , a2 + b2 + c2 > ab + ac + bc

5. Montrer que : ∀(a,b,c) ∈ R3 , a3 + b3 + c3 = 3abc ⇐⇒ a + b + c = 0

√ √
6. Montrer que : ∀x > 0, 2x + 2 − x = 1 ⇐⇒ x = 1
√ √
7. Montrer que : ∀x > 0, x + 8 − x + 3 = 1 ⇐⇒ x = 1
√ √ √
 
3 x+y+z
8. Montrer que : ∀(x,y,z) ∈ R x+ y−1+ z−2= =⇒ (x = 1 et y = 2 et z = 3)
2
√ √
9. Montrer que : ∀x > 0, x + 8 − x + 3 = 1 ⇐⇒ x = 1
√ √
10. Résoudre dans R2 : 2 x−1+4 y−4=x+y

11. Soit (a,b,c,d) ∈ Q4 et λ ∈ Q

(a) Montrer que : (a + λb = c + λd) if f (a = b et c = d)

√ √
q
(b) Écrire le nombre 192 + 96 3 sous la forme : x + y 3 où (x,y) ∈ Q

Exercice 5 : Raisonnement par absurde

√ √
1. Montrer que : 2∈
/Q ; 5∈
/Q

2. Soient p ∈ Q et x ∈
/ Q : Montrer que : (p + x) ∈
/Q

3. Montrer que : ∀x ∈ R, x2 − 4x + 12 6= 4cos(x)

p
4. Montrer que : ∀n ∈ N, n2 + 1 ∈
/N
√
5. Montrer que : ∀n ∈ N, 5n + 7 ∈
/N
p
6. Montrer que : ∀n ∈ N, n2 + 7n + 12 ∈
/N
r q p
2
7. Montrer que : ∀n ∈ N, n + 4n2 + 16n2 + 8n + 3 ∈
/N

8. Soit n ∈ N .Montrer que soit 4 devise n2 soit 4 devise n2 − 1

√
9. soit n > 2 un entier.Montrer que si n n’est pas premier, il admet un diviseur p qui est inférieur ou égale à n

10. soient A
b ,B
b et C
b les angles d’un triangle ABC. Montrer que: b6 π
A ou b 6π
B ou b6π
C
3 3 3

Lycée Abdellah ben yassin 2

1e bac Sciences mathématiques 2023/2024

Exercice 6 : Raisonnement par Contraposée

Montrer que :
1 1
1. ∀(x,y) ∈ R∗ 2 [ x 6= y ou xy 6= 1 ] =⇒ [ + x 6= + y ]
x y

2. ∀(x,y) ∈ R2 [ x 6= y ] =⇒ [ x3 + 4x 6= y 3 + 4y ]

3. ∀(x,y) ∈ R2 [ (xy − 1(x − y) 6= 0 ] =⇒ [ x(y 2 + y + 1) 6= y(x2 + x + 1) ]

4. ∀(x,y) ∈ R2 [ x + y < 2 ] =⇒ [ x > 1 ou y > 1 ]

5. ∀(x,y) ∈ R2 [ x 6= 1 et y 6= 1 ] =⇒ [ xy + 1 6= x + y ]

√ p
6. ∀(x,y,z) ∈ R3 [x 6= y] =⇒ [(x − 1) x + 1 6= (y − 1) y + 1]

7. ∀(x,y,z) ∈ R3 [ x + y > 2z ] =⇒ [ x > y ou y > z ]

   
−14b 2a + b
8. soit (a,b) ∈ R, tel que : a 6= −3b. Montrer que : a 6= =⇒ 6= 5
a a + 3b
 
h ai a + 2b 6
9. soit (a,b) ∈ R, tel que : b 6= 2a. Montrer que : b 6= =⇒ 6=
4 2a − b 7
   
−b a−b
10. soit (a,b) ∈ R, tel que : a + b 6= 0. Montrer que : a 6= =⇒ 6= 3
2 a+b

r r
2 4 4
11. ∀(x,y) ∈ [2, + ∞[ [ x 6= y] =⇒ 1− 6= 1−
x2 y2
r
√
q
12. ∀(a) ∈ R+ a4 + 8a3 + 18a2 + 8a > 3 =⇒ a + 2 > 3+ 5− 2

√ √
   
1 1 1
13. ∀(x,y) ∈ R2 x 6= √ et y 6= √ =⇒ xy 2 − x − y + 2 6= √
2 2 2

Lycée Abdellah ben yassin 3

1e bac Sciences mathématiques 2023/2024

Exercice 7 : Raisonnement par Récurrence

1. ∀n ∈ N∗ 4n − 1 est divisible par 3 2. ∀n ∈ N∗ 7n − 2n est divisible par 5

3. ∀n ∈ N∗ n3 − n est divisible par 6 4. ∀n ∈ N∗ 32n − 2n est divisible par 7

5. ∀n ∈ N∗ 23n+2 − 4 est divisible par 7 6. ∀n ∈ N∗ 23n − 1 est divisible par 7

7. ∀n ∈ N∗ 32n+1 + 2n+2 est divisible par 7 8. ∀n ∈ N∗ 32n − 1 est divisible par 8

9. ∀n ∈ N∗ 4n + 6n − 1 est divisible par 9 10. ∀n ∈ N∗ 32n + 26n−5 est divisible par 11

11. ∀n ∈ N∗ 9n+1 + 26n+1 est divisible par 11 12. ∀n ∈ N∗ 21n − 4n est divisible par 17

13. ∀n ∈ N∗ n5 − n est divisible par 30 14. ∀n ∈ N∗ n7 − n est divisible par 42

n
∗
X n(n + 1)
1. ∀n ∈ N k = 1 + 2 + 3 + ... + n =
2
k=1
n
X n(n + 1)(2n + 1)
2. ∀n ∈ N∗ k 2 = 12 + 22 + 32 + ... + n2 =
6
k=1
n
X n2 (n + 1)2
3. ∀n ∈ N∗ k 3 = 13 + 23 + 33 ... + n3 =
4
k=1
n
X
4. ∀n ∈ N 2k = 1 + 2 + 23 + 24 ... + 2n = 2n+1 − 1
k=0
n
X √
5. ∀n ∈ N∗ √1
k
= √1
1
+ √1
2
+ ... + √1
n
=2 n
k=1
n
X an+1 − 1
6. (∀n ∈ N) (∀a 6= 1) ak = 1 + a + a2 + ... + an =
a−1
k=0
n
X k2 n(n + 1)
7. (∀n ∈ N∗ ) =
(2k + 1)(2k − 1) 2(2n + 1)
k=1
n
X n(n2 − 1)
8. (∀n ∈ N∗ ) k(n − k) =
6
k=1
n
X
n(n + 1)
9. (∀n ∈ N∗ ) (−1)k k 2 = (−1)n+1
2
k=1

Lycée Abdellah ben yassin

4