http://www.xriadiat.

com/ PROF: ATMANI NAJIB

1er BAC Sciences Expérimentales BIOF
1er BAC Sciences Mathématiques BIOF
Correction Série N°2 : LOGIQUE ET RAISONNEMENTS

Exercice1 : Donner la négation et la valeur de vérité de chacune des propositions suivantes.

1) P1 : "  17 = 3, 4  et
 5 
(
5 −1 = 5 −1 " ) 2) P2 : " ( 0 = 1) ou ( −1 0 ) "

3) P3 : "  35   et (1   0,1) " 4) P4 : "(11 n ' est pas premier ) ou ( cos  = 1) "
 5 
 1 
5) P5 : "     ( 0   0,1) " 6) P6 : "( 0  
)  (3 est pair ) "
2 
7) P7 : "( 0  
)  (3 est pair ) " 8) P8 : "( 0 = 1)  ( −1  0 ) "
Solution : 1) P1 : "  17 = 3, 4  et
 5 
( )
5 −1 = 5 −1 "

 17 
P1 : est vraie car  = 3, 4  vraie et
 5 
( )
5 − 1 = 5 − 1 vraie

P1 : "  17  3, 4  ou
 5 
( 5 −1  5 −1 " )
2) P2 : " ( 0 = 1) ou ( −1 0 ) "
P2 : est vraie car ( 0 = 1) est fausse et ( −1 0 ) est vraie
P2 : "( 0  1) et ( −1  0 ) "
3) P3 : "    et (1   0,1) "
35
 5 
 35 
P3 : est fausse car  = 7   est vraie et (1 0,1) est fausse
 5 
P3 : "  35   ou (1   0,1) "
 5 
4) P4 : "(11 n ' est pas premier ) ou ( cos  = 1) "
P4 : est fausse car (11 n ' est pas premier ) est fausse et ( cos  = 1) est fausse Req : ( cos  = −1)
P4 : "(11 est premier ) et ( cos   1) "
5) P5 : "  1    ( 0   0,1) "
 2 
P5 : est vraie car  1   est fausse et ( 0  0,1) est fausse
2 
P5 : "  1   et ( 0   0,1) "
 2 
Car : non " p  q " est " p et q "

6) P6 : "( 0  
)  (3 est pair ) "
P6 : est fausse car (0  ) 
est vraie et ( 3 est pair ) est fausse
P6 : "( 0  ) et (3 est impair ) "


7) P7 : "( 0  )  ( 3 est pair ) "



PROF: ATMANI NAJIB

 PROF: ATMANI NAJIB
P7 : est fausse car (0  ) 
est vraie et ( 3 est pair ) est fausse
P7 : "( 0  
)  (3 est pair ) "
Car : non " p  q " est " p  q "
8) P8 : "( 0 = 1)  ( −1  0 ) "
P8 : est vraie car ( 0 = 1) est fausse et ( −1  0 ) est fausse aussi
P8 : "( 0  1)  ( −1  0 ) "
Exercice2 : Donner la négation et la valeur de vérité de chacune des propositions suivantes.
x
1) P : ( x  ); 
4
2) P : ( x  ) ; ( y  ) : y 2 = x
3) P : ( x  ) ; ( y  ) : x − y 0
4) P : ( x  0;1) : x²  x
5) P : (  ( a; b )  ² ) : a ² + b² = a + b
6) P : ( x  )(y  ) : x² + y²  x + y
7) P : ( x  
) : x + 1x  2
8) P : ( x  )( y  ) : x² − xy + y² = 0
9) P : (  0 ) ; (  0 ) / x − 1   2x − 2 
10) P : (   0) ; ( q  
) tel que: 0  q  
11) P : ( !x  ); x 2 = 2
x
Solution : ( x  );  1) P :
4
4
( x = 4  ) ; 
4
Donc : P est vraie
x
Et on a : P ( x  ); 
4
2) P : ( x  ) ; ( y  ) : y 2 = x
P ( x  ) ; ( y  ) : y  x
2

( −1 ) ; (y  ) : y2  −1
P est vraie
Donc : P : est fausse
3) P : ( x  ) ; ( y  ) : x − y 0
P (x  ) ; ( y  ) : y − x  0
Soit x 
y−x0 y x
( y = x − 1 ) : y − x  0
P est vraie
Donc : P : est fausse
4) P : ( x  0;1) : x²  x

http://www.xriadiat.com/ PROF: ATMANI NAJIB 2

 PROF: ATMANI NAJIB
P : ( x  0;1) : x ² x
2

En posant : x = on aura :  
1 1 1
donc La proposition P est vraie donc P est fausse
2 2 2
5) P : (  ( a; b )  ² ) : a ² + b² = a + b
P : (  ( a; b )  ² ) : a ² + b²  a + b
En posant : a = 4 et b = 3 on aura : a ² + b² = 16 + 9 = 25 = 5 et a + b = 4 + 3 = 7 donc La proposition P est
vraie donc P est fausse
6) P : ( x  )( y  ) : x² + y ²  x + y
P : ( x  )( y  ) : x² + y ² x+ y
2

on aura : 1² +  
1 1 1
En posant : x = 1 et y = 1+
2 2 2
5 6
cad donc La proposition P est vraie
4 4
Donc : P est fausse
7) P : ( x  
) : x + 1x  2
P : ( x  
) : x + 1x 2
1
En posant : x = −1 on aura : −1 + = −2 2
−1
Donc La proposition P est vraie donc P est fausse
8) P : ( x  )( y  ) : x² − xy + y ² = 0
P : ( x  )( y  ) : x² − xy + y ²  0
On a :  = x² − 4x² = −3x²
si  0 alors ; y ² − xy + x ² 0 donc : y ² − xy + x ²  0
En posant : x = 1 on aura :  = −3 0
Donc : ( x = 1 )( y  ) : x² − xy + y ²  0
Donc La proposition P : est vraie donc P est fausse
9) P : (  0 ) ; (  0 ) / x − 1   2x − 2 
Soit  0

2x − 2   2 x −1   x −1
2
   
  = 0  / x −1  2x − 2 
 2  2
On a P : est vraie
P : (  0 ) ; (  0 ) / x − 1  et 2x − 2  
10) P : (   0) ; ( q  
) tel que: 0  q  
P : est vraie
P : (   0 ) ; ( q  ): q 0 ou 

q
11) P : ( !x  ); x 2 = 2
x2 = 2  x = 2 ou x = − 2
P : est fausse(pas d’unicité)

http://www.xriadiat.com/ PROF: ATMANI NAJIB 3

 PROF: ATMANI NAJIB
P ( x  ) ; x 2
 2 ou ( x 
)( y  ) / x  y et x2 − 2 = y 2 − 2 = 0
Exercice3 : Montrer que :  ( x; y )  ( )  2

x  y et x  1 et y − 2  1  7  2 y  3
4 4 5 y−x
Solution : Supposons : x  y et x  1 et y − 2  1
4 4
1 1
x  Signifie que : −  x 
1
donc : −  − x  ( )
1 1 1
4 4 4 4 4
1 1 1
Et nous avons : y − 2  Signifie −  y − 2 
4 4 4
Signifie que : − + 2  y − 2 + 2  + 2 c’est-à-dire : 7  y  9 ( 2 )
1 1
4 4 4 4
En sommant (1) et ( 2 ) nous déduisons :  y − x 
6 10
cad 3  y − x  5
4 4 2 2
2 1 2
Cette inégalité est équivalente à :   ( 3)
5 y−x 3
De ( 2 ) nous déduisons : 7  2 y  9 ( 4 )
2 2
7 2y
( 3) et ( 4 ) Donnent par multiplication :  3
5 y−x
Exercice4 : Montrer que : x  ; y  x² + y ² = x + y + 2  x = y = 1
Solution : Montrons l’équivalence en raisonnant par double implication : Soit ( x; y )  ²
 ) Supposons : x = y = 1 et Montrons que : x ² + y ² = x + y + 2
On a : 1² + 1² = 2 et 1 + 1 = 2 Donc : x ² + y ² = x + y + 2
 ) Supposons : x ² + y ² = x + y + 2 et Montrons que : x = y = 1
( x −1) + ( y −1) = x² − 2x + 1 + y² − 2 y + 1 = x² + y ² − 2 ( x + y ) + 2 = 2 − 2  2 + 2 = 0
2 2
On a :
( x − 1) + ( y − 1) = 0
2 2
Donc :
Donc : x − 1 = 0 et y − 1 = 0
Donc : x =1 et y =1
D’où : x  ; y  : x ² + y ² = x + y + 2  x = y = 1
+ +
Exercice5 : Soient : x  et y 
( )
2
1)Développer : x + 2 −3
2)Montrer que : x + 2 y + 13 = 6 x + 2 + 2 2 y + 1  x = 7 et y = 0 .
+
Solution : 1) Soit : x  :

( ) ( )
2 2
x + 2 −3 = x + 2 − 2  3 x + 2 + 9 = x + 2 − 2  3 x + 2 + 9 = x + 11 − 6 x + 2
+ +
2) Soient : x  et y  : On va raisonner par équivalence successives
x + 2 y + 13 = 6 x + 2 + 2 2 y + 1  x + 2 y + 13 − 6 x + 2 − 2 2 y + 1 = 0

( )
2
 x + 11 − 6 x + 2 + 2 y − 2 2 y + 1 + 2 = 0  x + 2 − 3 + 2 y +1− 2 2 y +1 +1 = 0

( ) ( ) ( )
2 2 2 2
 x + 2 − 3 + 2 y + 1 − 2 2 y + 1 + 12 = 0  x + 2 −3 + 2 y + 1 −1 = 0
2 2
 x + 2 − 3 = 0 et 2 y + 1 − 1 = 0  x + 2 = 3 et 2 y +1 = 1  x + 2 = 9 et 2 y +1 = 1

http://www.xriadiat.com/ PROF: ATMANI NAJIB 4

 PROF: ATMANI NAJIB
 x + 2 = 9 et 2 y + 1 = 1  x = 7 et y = 0
x + 2 y + 13 = 6 x + 2 + 2 2 y + 1  x = 7 et y = 0
+ +
Donc : x  et y  : x + 2 y + 13 = 6 x + 2 + 2 2 y + 1  x = 7 et y = 0
Exercice6 : x et y 
Montrer que : x  2 et y  2  2 x + 2 y − xy − 2  2
Solution : Soit x et y  : Utilisons un Raisonnement par contraposition :
Montrons que : 2 x + 2 y − xy − 2 = 2  x = 2 ou y = 2
On a : 2 x + 2 y − xy − 2 = 2  2 x + 2 y − xy − 4 = 0
 x ( 2 − y ) − 2 ( 2 − y ) = 0  ( 2 − y )( x − 2 ) = 0
 2 − y = 0 ou x − 2 = 0  y = 2 ou x = 2
Donc : x  2 et y  2  2 x + 2 y − xy − 2  2
4 4
Exercice7 :1) Montrer que :  ( a; b )  ( 2; + ) : a  b  1 −
2
2
 1− 2
a b
2) Soient : a tels que : a + b  0
et b
a −b
Montrer que : a  −2b  3
a+b
( a; b )  ( 2; + )
2
Solution : 1) Soient Utilisons un Raisonnement par contraposition :
4 4
Montrons que : 1 − 2
= 1− 2  a = b
a b
2 2
4 4  4   4  4 4 4 4 1 1
1 − 2 = 1 − 2   1 − 2  =  1 − 2   1 − 2 = 1 − 2  − 2 = − 2  2 = 2  a 2 = b 2
a b  a   b  a b a b a b

 a 2 = b 2  a = b  a = b Car ( a; b )  ( 2; + )
2

4 4
Alors : Par contraposition :  ( a; b )  ( 2; + ) : a  b  1 −
2
2
 1− 2
a b
2) Soient : a et b tels que : a + b  0
a −b
Utilisons un Raisonnement par contraposition et montrons que : = 3  a = −2b ?
a+b
a −b
= 3  a − b = 3 ( a + b )  a − b = 3a + 3b  a − 3a = 3b + b  −2a = 4b  a = −2b
a+b
a −b
Alors : Par contraposition : a  −2b  3
a+b
Exercice8: Soit n . Montrer que si n ² est pair alors n est pair.
Solution : Nous supposons que n n’est pas pair
Nous voulons montrer qu’alors n ² n’est pas pair
Comme n n’est pas pair il est impair et donc il existe k  tel que n = 2k + 1.
Alors n² = ( 2k + 1) ² = 4k ² + 4k + 1 = 2 ( 2k ² + 2k ) + 1 = 2k  + 1 avec k = 2k ² + 2k  .
Et donc n ² est impair.
Conclusion : nous avons montré que si n est impair alors n ² est impair.
Par contraposition ceci est équivalent à : si n ² est pair alors n est pair.
4x
Exercice9 : 1) Montrer que : x  ; 1
x² + 4
2) Montrer que : x  ; x² − x + 1 0
3) Montrer que : x  ; x 4 + 3x 2 + 1  x 2 + 1

http://www.xriadiat.com/ PROF: ATMANI NAJIB 5

 PROF: ATMANI NAJIB
4) Montrer que :  ( a; b )  ( 0; + )
2
; a+b  2 a b
a² 3a − b
5) Montrer que :  ( a; b )  ( 0; + ) ;
2

a+b 4
Solution : 1) Methode1 : Nous raisonnons par équivalence
4x
Soit : x  ;  1  4 x  x² + 4  x² − 4 x + 4  0
x² + 4
 x² − 4 x + 4  0  ( x − 2 )  0
2

4x
 1  ( x − 2)  0
2
Donc :
x² + 4
Et puisque on a : ( x − 2 )  0 ; x  (vraie)
2

4x
Donc : x  ; 1
x² + 4
Methode2 : Un raisonnement direct :
( x − 2)  0
2

Soit : x  1 − 4 x = x ² + 4 − 4 x =
x² + 4 x² + 4 x² + 4
4x
Donc : x  ; 1
x² + 4
2) Nous raisonnons par équivalence
2 2
1 1 1
Soit : x  x² − x + 1 0  x² − 2 x +   −   + 1 0
2 2 2
2 2
 1 1 4  1 3
x−  − + 0x−  + 0
 2 4 4  2 4
2

Et puisque on a :  x −  +
1 3
0 ; x  (vraie)
 2 4
Donc : x  ; x² − x + 1 0
3) Soit : Nous raisonnons par équivalence
x 4 + 3 x 2 + 1  x 2 + 1  x 4 + 3 x 2 + 1  ( x 2 + 1)
2
x
 x 4 + 3x 2 + 1  x 4 + 2 x 2 + 1  x  0
2

Donc : x + 3x + 1  x + 1  x 2  0
4 2 2

Et puisque on a : x 2  0 ; x  (vraie)
Donc : x  ; x + 3x + 1  x + 1
4 2 2

4) Nous raisonnons par équivalence

Soit : ( a; b )  ( 0; + ) :On a : a + b  2 a b  ( a) ( b)
2 2 2
−2 a b + 0

( )
2
 a− b 0

( )
2
Donc : a + b  2 a b  a− b 0

( )
2
 0 ;  ( a; b )  ( 0; + ) (vraie)
2
Et puisque on a : a− b
Alors :  ( a; b )  ( 0; + ) ; a + b  2 a b
2

a² 3a − b
5) Montrons que :  ( a; b )  ( 0; + ) ;
2

a+b 4
Nous raisonnons par équivalence
a² 3a − b a ² 3a − b 4a ² − 3a ² − 3ab + ab + b²
Soit : ( a; b )  ( 0; + ) :On a :
2
  − 0  0
a+b 4 a +b 4 4 ( a + b)

http://www.xriadiat.com/ PROF: ATMANI NAJIB 6

 PROF: ATMANI NAJIB

a ² − 2ab + b ²
0 
( a − b) ²  0
4 (a + b) 4 ( a + b)

Donc :
a²

3a − b

( a − b) ²  0
a+b 4 4 ( a + b)

Et puisque on a :
( a − b) ²  0 ; est une proposition vraie  ( a; b )  ( 0; + )
2

4 ( a + b)
a² 3a − b
Alors :  ( a; b )  ( 0; + ) ;
2

a+b 4
Exercice10: 1) Résoudre dans l’équation (1) : 2 x² − x − 6 − x + 1 − 1 = 0 (1)
2)Résoudre dans l’équation ( 2 ) : 3x + 4 = x
Solution : 1) On résout d’abord les Equations :
x² − x − 6 = 0 et x + 1 = 0
−3
Les solutions de l’équation : 2x² − x − 6 = 0 dans sont : 2 et .
2
l’équation x + 1 = 0 admet unique solution : -1

On va Opérer par disjonction de cas :

 −3 
Premier cas : si x   −;  alors 2 x² − x − 6 = 2 x² − x − 6 et x + 1 = − x − 1
 2
Donc l’équation (1) devient : (1)  2 x² − x − 6 + x + 1 − 1 = 0
(1)  2 x ² − 6 = 0  x² = 3  x = − 3 ou x = 3
et comme : 3   −; −3  et − 3   −; −3 
 2   2 
Donc S1 = − 3
Deuxième cas : si x   − 3 ; −1 alors 2 x² − x − 6 = − ( 2 x² − x − 6 ) et x + 1 = − x − 1
 2 

Donc l’équation (1) devient : (1)  −2 x² + x + 6 + x + 1 − 1 = 0

(1)  −2 x² + 2 x + 6 = 0
 = 4 + 24 = 28 0
L’équation admet deux solutions distinctes :
1 + 13  3   
x=
1 + 13 et x = 1 − 13 et comme : x =   − ; −1 Donc : S2 = 1 − 13 
2 2 2  2   2 
3ième cas : si x   −1;2
Alors 2 x² − x − 6 = − ( 2 x² − x − 6 ) et x + 1 = x + 1
Donc l’équation (1) devient : (1)  −2 x² + x + 6 − x − 1 − 1 = 0
(1)  4 − 2 x² = 0  x = 2 ou x = − 2   −1; 2
Donc : S3 =  2 

http://www.xriadiat.com/ PROF: ATMANI NAJIB 7

 PROF: ATMANI NAJIB
4ième cas : si x   2; +
Alors 2 x² − x − 6 = 2 x² − x − 6 et x + 1 = x + 1
Donc l’équation (1) devient : (1)  2 x² − x − 6 − x − 1 − 1 = 0
(1)  2 x² − 2 x − 8 = 0  x² − x − 4 = 0
1 + 17 1 − 17
 = 17 0 ; L’équation admet deux solutions distinctes : x = et x =
2 2
1 − 17
et comme : x =   2; + Donc : S4 = 1 + 17 
2  2 
Finalement : l’ensemble des solutions de l’Equation (1) est :
 1 − 13 1 + 17 
S = S1  S2  S3  S4 = − 3; ; 2; 
 2 2 
2) On résout dans l’équation ( 2 ) : 3x + 4 = x
On cherche l’ensemble de définition de l’équation ( 2 )
 4 
D2 =  x  / 3x + 4  0 =  x  4
/x−  =  − ; + 
 3  3 
 4 
Soit x   − ; + 
 3 

( )
2
3x + 4 = x  3x + 4 = x 2 et x  0
 3x + 4 = x 2 et x  0
 − x 2 + 3x + 4 = 0 et x  0
et comme :  = 9 − 4  ( −1)  4 = 25 0
−3 + 25 −3 − 25
L’équation admet deux solutions distinctes : x = = −1 et x = = 4 et comme :
−2 −2
−1 0 et 4 0 Donc l’ensemble des solutions de L’équation ( 2 ) est : S = 4

Exercice11 : Résoudre dans l’inéquation suivante : ( I1 ) : x2 + 1 2 x

Solution : On cherche l’ensemble de définition de l’Inéquation : ( I1 ) : x2 + 1 2 x
D = x  / x2 + 1  0 =
Soit x  et S l’ensemble des solutions de ( I1 ) :

x  S  x2 + 1 2x
1ieme cas : si 2x  0  x  0 c’est-à-dire : x  −;0

Alors : S1 = −;0 car l’inéquation est toujours vérifier ( x + 1  0 et 2 x  0 )

2

2ieme cas : si x  0; + alors 2x 0

 3
( )
2
4 x 2  1 − 3x 0  x   0; 
2
( 2x )  x2 + 1
2
x2 + 1 2x  x2 + 1
 3 

http://www.xriadiat.com/ PROF: ATMANI NAJIB 8

 PROF: ATMANI NAJIB
 3
Donc : S2 =  0; 
 3
 3  3
D’où l’ensemble des solutions de l’inéquation ( I1 ) est : S = S1  S2 = −; 0   0;  =  −; 
 3   3 
+
Exercice12 : Montrer par l’absurde que : x  : 1 + x²  x + 1
+
Solution : Par l’absurde, supposons que : x  : 1 + x² = x + 1
1 + x² = x + 1  1 + x² = ( x + 1)  1 + x² = x2 + 2 x + 1  2 x = 0  x = 0 !
2

+
C’est une contradiction car on sait que : x 
+
Ceci signifie : x : 1 + x²  x + 1
n2 + 4
Exercice13 : 1) Montrer que : n  ; 2 
n +5
2)Montrer que : n  ; n² + 14 
Solution : 1) ® Méthode : Soit 𝑃 une proposition mathématique. Pour montrer que 𝑃 est vraie, on
peut supposer que 𝑃 est fausse et obtenir une absurdité.
n2 + 4
Méthode1 : Par l’absurde, supposons qu’il existe n  tel que : 2 
n +5
tel que : n 2 + 4 = m
2
C’est-à-dire : n  et m 
n +5
 n + 4 = m ( n + 5)  n + 5
2
2 2
n2 + 4
et comme : n 2 + 5 n2 + 4
C’est une contradiction car si n + 5
2

n2 + 4
Alors : n 2 + 5  n 2 + 4  5  4
n+2
Ceci signifie que : n   ;
n+3
Méthode2 : direct : On a : n donc n 2 + 4 n 2 + 5
n2 + 4
Donc 0 1
n2 + 5
n2 + 4
Donc : 2  car un nombre strictement compris entre deux entiers consécutifs :0 et 1 ne peut
n +5
pas être entier
2) Par l’absurde, supposons qu’il existe n  tel que : n² + 14 
C’est-à-dire : n  et m  tel que n² + 14 = m
n² + 14 = m  n² + 14 = m2  m² − n 2 = 14 = 2  7  ( m − n )( m + n ) = 2  7
 m − n et m + n des diviseurs de 14 et D14 = 1;2;7;14 avec : ( m − n ) + ( m + n ) = 2m paire
Impossible de trouver : m et n
C’est une contradiction
Ceci signifie que : n  ; n² + 14 
5 x − 4 z 1
Exerjcice14 : Montrer que le système suivant n’admet pas de solutions dans 2
: ( S ) : 4 y − 5 x  3
y − z 1


http://www.xriadiat.com/ PROF: ATMANI NAJIB 9

 PROF: ATMANI NAJIB
Solution : Nous raisonnons par l’absurde en supposant que : le système ( S ) admet au moins une
solution dans 2
:

5 x − 4 z 1
5 x − 4 z 1 (1) (1)+( 2) 4 y − 4 z 4
  y − z 1
Donc :  ( x; y ) 
2
tel que : 4 y − 5 x  3  4 y − 5 x  3 ( 2)   y − z  1  
y − z 1 y − z 1  y − z 1
 
Ce qui est contradictoire
Donc : le système ( S ) n’admet pas de solutions dans 2

Exercice15 : Montrer par récurrence que : n  ; 1 + 2 + 22 + 23... + 2n = 2n+1 − 1 .

Solution : Notons P(n) La proposition suivante : "1 + 2 + 22 + 23... + 2n = 2n+1 − 1" .
Nous allons démontrer par récurrence que P(n) est vraie pour tout n .
1étapes : l’initialisation : Pour n=0 nous avons : 20 = 1 et 20+1 − 1 = 2 − 1 = 1 donc 1 = 1 .
Donc P (0) est vraie.
L’hérédité : 2étapes : Hypothèse de récurrence :
Supposons que P(n) soit vraie c’est-à-dire : 1 + 2 + 22 + 23... + 2n = 2n+1 − 1
3étapes : Nous allons montrer que P(n+1) est vraie.
Soit n : Montrons alors que : 1 + 2 + 22 + 23... + 2n + 2n+1 = 2n+ 2 − 1 ??
On a : 1 + 2 + 22 + 23... + 2n + 2n+1 = (1 + 2 + 22 + 23... + 2n ) + 2n+1
D’après l’hypothèse de récurrence On a : 1 + 2 + 22 + 23... + 2n = 2n+1 − 1
Donc : 1 + 2 + 22 + 23... + 2n + 2n+1 = 2n+1 − 1 + 2n+1 = 2  2n+1 − 1 = 2n+ 2 − 1
Donc P(n+1) est vraie.
Conclusion : Par le principe de récurrence P(n) est vraie pour tout n > 0, c’est-à-dire :
n  ; 1 + 2 + 22 + 23... + 2n = 2n+1 − 1 .

n
n²  ( n + 1) ²
Exercice16 : Montrer que : 1) n  ; k 3
= 13 + 23 + 33 + ... + n3 =
k =1 4
1
2) Montrer que n  
: 1 2 + 2  3 + 3  4 + ... + n ( n + 1) = n ( n + 1)( n + 2 ) .
3
k =n

 ( 2k + 1) = 1 + 3 + 5 + ... + ( 2n + 1) = ( n + 1)

3) n 
2
;
k =1

4) n  5 : 2  6n n

5) n  ; n + 2n est divisible par 3

3

6) n  ; 7 n − 1 est divisible par 6

n
n²  ( n + 1) ²
Solution : 1) Notons P(n) La proposition « n  
; k
k =1
3
= 13 + 23 + 33 + ... + n3 =
4
»

Nous allons démontrer par récurrence que P(n) est vraie pour tout n  
.
1²  (1 + 1) ²
1étapes : l’initialisation : Pour n=1 nous avons 13 = =1
4
Donc 1 = 1 . Donc P(0) est vraie.
n
n²  ( n + 1) ²
L’hérédité : 2étapes : Supposons que P(n) soit vraie c’est-à-dire : k
k =1
3
=
4
3étapes : Nous allons montrer que P(n+1) est vraie.
( n + 1) ²  ( n + 2 ) ² =  ( n + 1)( n + 2 ) 
2
n +1
Montrons alors que : k 3
=
4

2
 ??
k =1  

http://www.xriadiat.com/ PROF: ATMANI NAJIB 10

 PROF: ATMANI NAJIB
n +1 n

 k =  k + ( n + 1)
3 3 3
On a :
k =1 k =1
n
n²  ( n + 1) ²
et on a : k
k =1
3
=
4
d’après l’hypothèse de récurrence donc
n +1
n²  ( n + 1) ² 2  n²  2  n + 4n + 4 
2

 k3 = + ( n + 1) = ( n + 1)  + n + 1 = ( n + 1) 
3

k =1 4 4   4 
( n + 2) ( n + 2)  ( n + 1)( n + 2 ) 
2 2 2

= ( n + 1) = ( n + 1)
2 2
= 
4 22  2 
Donc P(n+1) est vraie.
n
n²  ( n + 1) ²
Conclusion. Par le principe de récurrence on a : n  
: k
k =1
3
=
4
.

1
2) Notons P(n) La proposition " 1 2 + 2  3 + 3  4 + ... + n ( n + 1) = n ( n + 1)( n + 2 ) "
3
Nous allons démontrer par récurrence que P(n) est vraie pour tout n   .
1 1
1étapes : l’initialisation : Pour n=1 nous avons 1(1 + 1) = 2 et 1(1 + 1)(1 + 2 ) =  2  3 = 2 .
3 3
Donc P(1) est vraie.
L’hérédité : 2étapes : Soit n  
1
Supposons que P(n) soit vraie c’est-à-dire : 1 2 + 2  3 + 3  4 + ... + n ( n + 1) = n ( n + 1)( n + 2 )
3
3étapes : Nous allons montrer que P(n+1) est vraie.
1
Montrons alors que : 1 2 + 2  3 + 3  4 + ... + n ( n + 1) + ( n + 1)( n + 2 ) = ( n + 1)( n + 2 )( n + 3) ??
3
On a : 1 2 + 2  3 + 3  4 + ... + n ( n + 1) + ( n + 1)( n + 2 ) = 1 2 + 2  3 + 3  4 + ... + n ( n + 1) + ( n + 1)( n + 2 )
1
et on a d’après l’hypothèse de récurrence: 1 2 + 2  3 + 3  4 + ... + n ( n + 1) = n ( n + 1)( n + 2 )
3
1 1  1
Donc 1 2 + 2  3 + 3  4 + ... + n ( n + 1) + ( n + 1)( n + 2 ) = n ( n + 1)( n + 2 ) + ( n + 1)( n + 2 ) = ( n + 1)( n + 2 )  n + 1 = ( n + 1)( n + 2 )( n + 3)
3 3  3
C’est-à-dire : P(n+1) est vraie.
Conclusion : Par le principe de récurrence on a :
1
n  
: 1 2 + 2  3 + 3  4 + ... + n ( n + 1) = n ( n + 1)( n + 2 ) .
3
k =n

 ( 2k + 1) = 1 + 3 + 5 + ... + ( 2n + 1) = ( n + 1)

3)Notons P(n) La proposition « n 
2
; »
k =1

Nous allons démontrer par récurrence que P(n) est vraie pour tout n   .
1étapes : l’initialisation : Pour n=1 nous avons 1 + 3 = 4 et (1 + 1) = 4 donc 4 = 4 .
2

Donc P(1) est vraie.

k =n

 ( 2k + 1) = ( n + 1)
2
L’hérédité : 2étapes : Supposons que P(n) soit vraie c’est-à-dire :
k =1
3étapes : Nous allons montrer que P(n+1) est vraie.
k = n +1

 ( 2k + 1) = 1 + 3 + 5 + ... + ( 2n + 1) + ( 2n + 3) = ( n + 2 )
2
Montrons alors que : ??
k =1
k = n +1 k =n k =n

 ( 2k + 1) =  ( 2k + 1) + ( 2n + 3) et on a d’après l’hypothèse de récurrence:  ( 2k + 1) = ( n + 1)

2
On a :
k =1 k =1 k =1

http://www.xriadiat.com/ PROF: ATMANI NAJIB 11

 PROF: ATMANI NAJIB
k = n +1

 ( 2k + 1) = ( n + 1) + ( 2n + 3) = n
2
Donc 2
+ 2n + 1 + 2n + 3 = n 2 + 4n + 4
k =1
k = n +1

 ( 2k + 1) = ( n + 2)
2
Donc
k =1

C’est-à-dire : P(n+1) est vraie.

k =n

 ( 2k + 1) = 1 + 3 + 5 + ... + ( 2n + 1) = ( n + 1)
 2
Conclusion : Par le principe de récurrence on a : n  :
k =1
4)Notons P(n) La proposition : « n  5 ; 2  6n » n

1étapes : Initialisation : Pour n = 5 : 25 = 32 et 6  5 = 30 donc 25  6  5

Donc P (5) est vraie.
L’hérédité : 2étapes : Supposons que P(n) soit vraie c’est-à-dire : 2 n  6n
3étapes : Nous allons montrer que P(n+1) est vraie.
Montrons alors que : 2  6 ( n + 1) ??
n +1

Or, puisque 2 n  6n (d’après l’hypothèse de récurrence)

Donc : 2n  2  6n  2 donc 2n +1  12n (1)
Or on remarque que : 12n  6 ( n + 1) (2)
En effet : 12n − 6 ( n + 1) = 6n − 6  0
Car : n  5 donc 6n  30 c’est-à-dire : 6n − 6  24  0
On conclut par récurrence que : Pour tout n  5 : 2 n  6n
5) Notons P(n) La proposition « k  / n 3 + 2n = 3k »
L’initialisation : Pour n=0 nous avons 03 + 2  0 = 0 est un multiple de3
Donc P (0) est vraie.
L’hérédité : 2étapes : Supposons que P(n) soit vraie
C’est-à-dire : k  / n 3 + 2n = 3k
3étapes : Nous allons montrer que P(n+1) est vraie.
Montrons alors que : k   / ( n + 1) + 2 ( n + 1) = 3k  ??
3

( n + 1) + 2 ( n + 1) = n 3 + 3n 2 + 3n + 1 + 2n + 2 = = ( n3 + 2n ) + 3n2 + 3n + 3 = 3k + 3 ( n2 + n + 1) = 3 ( k + n2 + n + 1)
3

= 3 ( k + n 2 + n + 1) = 3k  Avec k  = k + n 2 + n + 1
Donc P(n+1) est vraie.
Conclusion. Par le principe de récurrence on a : n  ; n3 + 2n est divisible par 3
6) Montrer que : n  ; 7 − 1 est divisible par 6
n

1étapes : l’initialisation : Pour n=0 nous avons 7 0 − 1 = 0 est un multiple de 6

Donc P (0) est vraie.
2étapes : d’hérédité : Supposons que P(n) soit vraie
C’est-à-dire : k  / 7 n − 1 = 6k
3étapes : Nous allons montrer que P(n+1) est vraie.
Montrons alors que : k   / 7 n +1 − 1 = 6k  ??
7n+1 − 1 = 7  7n − 1 = 7n  ( 6 + 1) − 1 = 6  7n + 7n − 1 = 6  7n + 6k = 6 ( 7n + k ) = 6k  avec k  = 7 n + k
Donc P(n+1) est vraie.
Conclusion. Par le principe de récurrence on a : n  ; 7 n − 1 est divisible par 6
C’est en forgeant que l’on devient forgeron : Dit un proverbe.
C’est en s’entraînant régulièrement aux calculs et exercices que l’on devient un mathématicien

http://www.xriadiat.com/ PROF: ATMANI NAJIB 12