La correction est sur ma chaine youtube : BACMATH

Prof : ELAMRAOUI KAMAL Série ¬ Lycée : Abdelmalek Essaadi ( Kénitra

Niveau : 1BAC SM BIOF La Logique (1 Bac SM ) )
Année scolaire : 2020 / 2021

Nom et prénom : …………………………………………………

Exercice 1
Donner la négation des propositions suivantes :

1 (∀x ∈ R) x2 + x + 1 ̸= 0

(∃x ∈ R) x2 + 1 < 0

AL
2

3 (∀x ∈ R) (∃y ∈ R) y 2 + xy − 4 = 0

(∃x ∈ R) 1 ≤ x ≤ 2

M
4

5 ∀ (x, y, z) ∈ R3 x+1
3
= y+2
2
= z+3
4

Exercice 2
Déterminer les valeurs de vérité des propositions suivantes :
KA
I
(∀x ∈ R) x2 ≥ x
U

2 ∃n ∈ N 3n + 4 = 21
H
AO

AT
3 ∀ (x, y) ∈ R2 | x + y| = x + y

4 ∃x ∈ R x2 + x + 1 = 0
R

√
(∀n ∈ N) 9n2 + 12n + 4 ∈ N
M

5
AM

Exercice 3
BA

déterminer la valeur de vérité des propositions suivantes en donnant leurs négation :

EL

1 (∀x ∈ IN) , (∃y ∈ IN) : y = 2x + 1

2 (∀x ∈ IN) , (∃y ∈ IN) : x = 2y + 1

3 (∀x ∈ Z) , (∃y ∈ Z) : y−x=3

4 (∀x ∈ IN) , (∃y ∈ IN) : x≤y

5 (∃y ∈ IN) , (∀x ∈ IN) : x≤y

6 ∀ (x, y) ∈ N2 : x≤y

7 ∃(x, y) ∈ IN2 : x≤y

Chaine youtube : BACMATH

Exercice 4
Déterminer les valeurs de vérité des propositions suivantes :

1 (∀m ∈ R) (∃x ∈ R) x2 + mx + m − 1 = 0

Elamraoui Kamal page 1 La Logique (1 Bac SM )

 2 (∀x ∈ R) (∃y ∈ R) x2 + xy − y 2 = 0

3 (∀x ∈ R) (∃y ∈ R) x ≤ y

4 (∃x ∈ R) (∀y ∈ R) x ≤ y

Exercice 5
Déterminer la valeur de vérité des propositions suivantes :

1 (∃x ∈ R) (∃y ∈ R) : x + y > 0

2 (∀x ∈ R) (∃y ∈ R) :x+y >0

AL
3 (∀x ∈ R) (∀y ∈ R) :x+y >0

M
4 (∃x ∈ R) (∀y ∈ R) : x + y > 0

Exercice 6
KA
Donner la négation et la valeur de vérité de chacune des propositions suivantes
I
U

1 (A) : (∃x ∈ R) (∃y ∈ R) : y 2 > x

H
AO

2 (B) : (∀x ∈ R) (∃y ∈ R) : y2 > x

AT
3 (C) : (∀x ∈ R) (∃y ∈ R) : y2 > x
R

4 (D) : (∃x ∈ R) (∀y ∈ R) : y 2 > x

AM

C
BA

Exercice 7
EL

Soient x et y deux réels .

Montrer les implications suivantes :

1 (1 − 2x) (y − 3) = 0 ⇒ x = 1
2
ou y = 3

2 1 + xy = x + y ⇒ x = 1 ou y = 1

3 2xy − 4x − y + 2 = 0 ⇒ x = 12 ou y = 2
( )
4 (∀x > 1) (∀y > 1) 1+xx y
2 = 1+y 2 ⇒x=y

5 x + x3 ≥ 2 ⇒ x ≥ 1

Chaine youtube : BACMATH

Exercice 8
( )2
1 Montrer que : ∀ (x, y) ∈ R+ x + y = 0 ⇒ x = y

2 Déduire les solutions des équations suivantes :

Elamraoui Kamal page 2 La Logique (1 Bac SM )

 √ √
a. 2x − 1 + y+2=0
b. x + y − 2x + 4y + 5 = 0
2 2

c. cos y + sin x = 2
d. x2 + y 2 + xy = 0
e. cos3 x + sin3 x = 1

Exercice 9
En utilisant le raisonnement par contraposé montrer que :
√
1 (∀x ∈ R) : x ̸= 0 ⇒ x + 1 ̸= 1 + x
2

AL
2 ∀ (x, y) ∈ R2∗ : y ̸= − 34 x ⇒ x−y
x+y
̸= 7

3 (∀x > 1) (∀y > 1) : x ̸= y ⇒ 1+x x

̸ 1+y
2 =
y

M
2

( ) ( √ √ )
4 pour tout y , x de R on a : x ̸= √12 et y ̸= √12 ⇒ xy 2 − x − y + 2 ̸= √1

KA
2

Exercice 10
 
Soient a et b et c des réels tels que : (∀x ∈ R) ax2 + bx + c ≤
I
U

1 Montrer que : |c| ≤ 1

H
AO

2 Montrer que : −1 ≤ a + c ≤ 1
AT
3 Déduire que : a2 + b2 + c2 ≤ 5
R

Exercice 11
AM

Soient x et y deux réels positives .

C

Montrer que :
√ √ √ √
BA

1 x+1− x= y+1− y ⇒x=y

EL

√ √
2 x+9+ y+4=5 ⇒x=y =0

Exercice 12
En utilisant l'implication inductif montrer que :

1 ∀ (x, y) ∈ R2 : 3x3 + x = 3y 3 + y ⇒ x = y

2 ∀ (x, y, z) ∈ R3 : (x > 3 et y > 3 et z > 3) ⇒ xy + yz + xz < xyz

3 ∀ (x, y) ∈ R2 : ( |x| < 1et |y| < 1) ⇒ |x + y| < |1 + xy|

Chaine youtube : BACMATH

Elamraoui Kamal page 3 La Logique (1 Bac SM )

 Exercice 13
On considère les nombres x et y de R∗+ tels que : a + b = ab
Montrer que : b2a+4 + a2b+4 ≥ 12

Exercice 14

Soit a ∈ N et b ∈ Z tel que : a2 − 2b2 = 1

Montrer que :

1 |b| ≥ 2 ⇔ a ≥ 3
|b|
2 |b| ≥ 2 ⇔ a
≥ 2
3

AL
Exercice 15
Soit a et b et x et y des réels non nuls .

M
Montrer que : ax + by = 1 ⇒ x2 +y 1
2 ≤ a
2
+ b2

Exercice 16

1 Montrer que :
( )2 √
KA
∀ (x, y) ∈ R∗+ x2 + y 2 = 1 ⇒ 1 < x + y ≤ 2
I
U

2 Déduire que :
( )2
∀ (x, y) ∈ R∗−
√
x2 + y 2 = 1 ⇒ − 2 ≤ x + y < −1
H
AO

AT
Exercice 17
R

Soit x et y deux réels .

AM

Montrer que :
C

1 x ̸= y ⇒ (x − 1) (y + 1) ̸= (x + 1) (y − 1)
( √ )
BA

2 x ̸= 0 ⇒ x + 1 ̸= 1 + x2
EL

3 (xy ̸= 1 et xy ̸= 1) ⇒ x
x2 +x+1
̸= y
y 2 +y+1

Exercice 18

1 Soit x et y deux réels .

Montrer
( que : ) ( )
√ √
x + x2 + 1 y + y 2 + 1 = 1 ⇔ x + y = 0

2 Soit x et y deux réels positives .

Montrer
√ que √
: √ √
1+x− x< 1+y− y ⇔y <x

Exercice 19
Soit x et y deux réels tels que :a + b = ab
Montrer que : b2a+4 + a2b+4 ≥ 12

Elamraoui Kamal page 4 La Logique (1 Bac SM )

 Exercice 20
( )2 √
1 Montrer que : ∀ (x, y) ∈ R+ : x + y ≥ 2 xy
x2
2 Montrer que : ∀x ∈ ]1; +∞[ ; x−1
≥4
2 2
y2
que : ∀ (x, y) ∈ (]1; +∞[) ; x
y−1
+ x−1
≥8

Exercice 22
Soit n un entier naturel .
On pose : a(n) = n2 + 7n + 12

AL
1 Montrer que :
2 2
(n + 3) < a(n) < (n + 4)

M
2 Déduire que : (∀n ∈ N) : a(n) ∈
/N

Exercice 23
√
KA
Montrer que : ∀n ∈ N : 5n + 7 ∈
/ N
I
U

H
AO

Exercice 24
AT
√
1 Montrer que : 2∈
/Q
√
2 Montrer que : 3∈
/Q
R

√ √
M

3 Montrer que : 3 − 2 ∈
/Q
AM

√
Montrer que : 5 ∈
/Q
C

4
BA
EL

Exercice 25
En utilisant le raisonnement par disjonction des cas montrer que :
(n+1)(n+2)(n+3)
1 (∀n ∈ N) : 3
∈N
n2 +1
2 (∀n ∈ N) : 3
∈
/N

Exercice 26
On considère les réels : a et b
Montrer que : |a| < 1 et |b| < 1 ⇒ |a + b| < |1 + ab|

Elamraoui Kamal page 5 La Logique (1 Bac SM )

 Exercice 27
Résoudre dans R l'équation suivante :
x2 −4x+3
2x7 −x−1
=0.

Exercice 28
Résoudre dans R les équations et les inéquations suivantes :

1 x − 2 |x| − 3 = 0

2 |x| − 2 |x − 1| + 2 = 0

AL
3 x2 − 3 |x| + 2 = 0

M
4 x + 6 = −x

KA
5 |x − 1| + 2x − 4 ≥ 0

√
6 x−2≥x−4

√
7 x+3≥ x2 − 3x + 2
I
U

√ √
3−x− x+1>

H
1
8 2
AO

AT
Exercice 29
R

1 Résoudre dans R les équations suivantes :

√ √
AM

a. x + 7 + 2x − 3 = 4
√ √ √ √
C

b. x + 4 + x = 3x + 3x − 4
√ √ √
BA

2 Résoudre dans R l'équation : x + y − 1 + z − 2 = x+y+z

2
EL

Exercice 30
Résoudre dans R les équations suivantes a variable x :

1 m2 x + 2 = x + 3

2 m (x − m) + (m + 2) (x + 3) = 4
( 3 )
3 m −1 x+m−1=0

4 x2 − mx + 1
4
=0

5 (m − 2) x2 + 2 (2m − 3) x + 5m − 6 = 0
avec m un paramètre réel .

Chaine youtube : BACMATH

Elamraoui Kamal page 6 La Logique (1 Bac SM )

 Exercice 31
Soit m un paramètre réel .
Résoudre√dans R l'équation suivante :
(Em ) : x2 + mx − 1 = −x + 3m

Exercice 32
Résoudre
{ dans R le système suivante :
mx + y = 1 + m
x + my = 2
avec m un paramètre réel .

AL
Exercice 33

M
 utilisant l'équivalence logique , résoudre dans R le système suivante :
3
En
 2x − y + 3z = −9
4x + 7y − 2z = 24

−3x + 2y + 3z = −8
KA
Exercice 34
I
U

résoudre dans R2 le système suivante :

{
x2 = y

H
AO

y2 = x
AT
R

Exercice 35
M

Montrer par récurrence que pour tout entier naturel non nul n on a :
AM

(∀n ∈ N∗ ) : 1 + 2 + 3 + · · · + n = n(n+1)
C

1 2

2 (∀n ∈ N∗ ) : 12 + 22 + 32 + · · · + n2 = n(n+1)(2n+1)
BA

6
EL

3 1
1×2
+ 1
2×3
+ 1
3×4
+ ··· + 1
n(n+1)
=1− 1
n+1

n(n+1)(n+2)
4 (1 × 2) + (2 × 3) + · · · + n (n + 1) = 3

Exercice 36
On pose :
∑n
k=
(∀n ∈ N∗ ) : k3 = 13 + 23 + 33 + · · · + n3
k=1

∑n
k= ( )2
1 Montrer que : (∀n ∈ N∗ ) : k3 = n(n+1)
2
k=1

2 Montrer que :
15 +25 +···+n5
(∀n ∈ N∗ ) : 13 +23 +···+n3
= 2n(n+1)−1
3

Elamraoui Kamal page 7 La Logique (1 Bac SM )

 Exercice 37
Soit n entier naturel .

1 Montrer que : (∀n ≥ 0) 2n > n

2 Montrer que : (∀n ≥ 4) 2n ≥ n2

Exercice 38
Soit n entier naturel .

1 Montrer que le nombre 9 divise le nombre 4n + 6n − 1 .

AL
2 Montrer que le nombre 32n − 1 est un multiple de 8 .

M
Exercice 39

KA
Soit n entier naturel .

1 Montrer que le nombre 7n − 1 est divisible par le nombre 6.

2 Montrer que le nombre 9n − 4n est un multiple de 5 .

I
U

Exercice 40

H
AO

Soit a et b de R+ et n un entier naturel .

AT
1 Montrer que : (∀n ∈ N) a ≤ b ⇒ an ≤ bn
( )n
R

n n
2 Montrer que : (∀n ∈ N) : a+b ≤ a +b
M

2 2
AM

Exercice 41
BA
EL

Soit q un réel .

1 On suppose que q = 1
Montrer que : (∀n ∈ N) 1 + q + q 2 + · · · + q n = n

2 On suppose que q ̸= 1
1−q n+1
Montrer que : (∀n ∈ N) 1 + q + q 2 + · · · q n = 1−q

3 Déduire la valeur de la somme : 1 + 2 + 22 + · · · + 2100

Exercice 42
Montrer que :
( )
1 (∀n ∈ N) n ≥ 5 ⇒ 2n > n2

2 6 divise n (n + 1) (n + 2) avec n un entier naturel .

3 9) divise (∀n ∈ N) : (4n + 6n − 1

Elamraoui Kamal page 8 La Logique (1 Bac SM )

 4 Montrer que pour tout n de N le nombre 17 divise 21n − 22n

5 (∀n ∈ N∗ ) 5n ≤ 4n + n5n−1

6 (∀n ≥ 3) 3n ≥ n3 avec n un entier naturel

Exercice 43
En utilisant le raisonnement par récurrence montrer que :
∑
n ( )
(∀n ∈ N∗ ) :
3
1 (2k − 1) = n2 2n2 − 1
k=1

AL
n
2 (∀n ∈ N∗ ) : 1
k(k+1)(k+2)
= n(n+3)
4(n+1)(n+2)
k=1

∑
n
3 (∀n ∈ N∗ ) : 1
= n

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

Exercice 44
Montrer par récurrence que :
( √ )n √
KA
1 (∀n ∈ N) 1 + 3 ≥1+n 3
I
U

(∀n ∈ N∗ ) 1 − 22 + 32 − 42 + · · · + (−1)
n−1 n+1 n(n+1)
2 n2 = (−1) ×

H
2
AO

AT
Exercice 45
R

Soit n ∈ N∗ .
M

1 montrer par récurrence que :

AM

( n−1 )
+ 5n est un nombre pair .
C

3
( )
2 Déduire en utilisant la récurrence que : : 1 + 2 × 3n−1 + 5n est divisible par 8 .
BA
EL

Exercice 46

Pour tout n de N on pose : f (n) = 103n + 2 + 103n+1 + 1

1 Calculer f (0) et f (1) .

2 Montrer que : (∃k ∈ N) f (1) − f (0) = 111k

3 Calculer f (n + 1) en fonction de f (n) .

4 Déduire que : f (n) est divisible par 111 pour tout n de N

Exercice 47

Soit α une solution de x + 1

x
= 3 tel que : α > 1. et soit n ∈ N∗

1 Montrer que :

Elamraoui Kamal page 9 La Logique (1 Bac SM )

 ( ) ( )
αn+1 + 1
αn+1
= 3 αn + 1
αn
− αn−1 + 1
αn−1

2 Déduire que : αn + 1
αn
∈N

Exercice 48

Soit n ∈ N (n ≥ 2) et a et b des nombres positives tels que a < b

Montrer que : n (b − a) an−1 ≤ bn − an ≤ n (b − a) bn−1

Exercice 49

AL
Soit n ∈ N (n ≥ 2).
Montrer que :
( ) ( ) ( ) n (
∏ )
1 − 12 × 1 − 13 × · · · × 1 − 1
= 1− 1
= 1

M
n k n
k=2

Exercice 50

1 Montrer par récurrence que : :

∑
n
KA
(∀n ∈ N∗ ) 1
= n(n+3)
I
k(k+1)(k+2) 4(n+1)(n+2)
k=1
U

2 Trouver une démonstration directe de l'égalité précédente .

H
AO

AT
Exercice 51
R

Soit k un nombre impair et n un entier naturel non nul .

M

n(n+1)
Montrer que la somme : 1k + 2k + · · · + nk est divisible par 2
.
AM

C
BA

Exercice 52
EL

Soit n un entier naturel non nul .

∑n
1
On pose : Hn = k
k=1

1 Calculer : H2 et H3 .

2 Montrer par récurrence que : :

(∀n ≥ 2) : Hn ∈
/ N.

Exercice 53
Soit n un entier naturel non nul .
Montrer
√ que :
√ √ √ √
2 + 2 + 2 + · · · + 2 = 2 cos π
2n+1
(le nombre 2 apparaisse n fois sous la racine )

Elamraoui Kamal page 10 La Logique (1 Bac SM )

 Exercice 54
√
y
1 (∀x > 1 ) (∃y > 2) : y−2
=x
√
y−1
2 ∀x ∈ [−1, 1] (∃!y ∈ R) : √
y+1
=x

( [ ])
3 ∀x ∈ [1, 2] ∃y ∈ 12 , 32 : xy − x + 2y = 1

Exercice 55
Montrer que :

AL
1 (∀x > 0 ) : x + 1
x
≥2

x2 +1 y 2 +1
2 (∀x > 0 ) (∀y > 0) : + ≥4

M
x y

( )( )
3 ∀ (a, b) ∈ R2 : a2 + 1 b2 + 1 ≥ 4ab

KA
Exercice 56
I
Montrer que :
U

√
1 ∀ (x, y) ∈ R2 : |x − y| ≤ 2 x2 + y 2 + xy

H
AO

√ 
AT
 √ 
2 ∀ (x, y) ∈ R2  1 + x2 − 1 + y 2  ≤ |x − y|
R

M
AM

Exercice 57
C

1 Montrer que :
√
BA

∀x ∈ [−1, 1] : −1 ≤ 2x 1 − x2 ≤ 1
EL

2 Montrer que :
[ ]  
∀x ∈ 12 , 32 : ∃k > 0 :  x+1
x2
− 2 ≤ k |x − 1|

3 Montrer que :
 
(∀ε > 0) (∃α > 0) : |x − 1| < α ⇒  x+1
x2
− 2 < ε

Exercice 58
Montrer que : ( )
∀ε > 0 ∃N ∈ N : n ≥ N ⇒ 2 − ε < 2n+1
n+2
<2+ε

Elamraoui Kamal page 11 La Logique (1 Bac SM )