Vous êtes sur la page 1sur 23
1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

~ 1 ère Sciences Exp. & Mathématiques ~

Série : La logique

(24 exercices résolus)

Exercice 1 :

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

1. (

(

4

)

2

= 16

)

(

2.

)

ou

et ( 16= 4 ) ( 8+ 7≥ 15
et
(
16=
4
)
(
8+
7≥
15

)

3. (a

)

(a

premier

4. (

 

)

(

2

25

x

x =

a

impair )

x=

5

)

Exercice 2 : Ecrire la négation des propositions suivantes : 1. ( x ℝ) (≥x
Exercice 2 :
Ecrire la négation des propositions suivantes :
1.
(
x
ℝ)
(≥x
0
ou
x
0)
2
2.
(
x
)
(
x+
>1
x
)
3.
(
x
ℝ) ( a
ℝ)< x < a + x
1
4.
(
x
ℕ)
(πx
1⇒ x > 1)
(
2
5.
x
)
(
x+
≥3
€2
≥x
1
)
1) ( 2 5. x ℝ ) ( x+ ≥3 €2 ≥x 1 ) Exercice 3

Exercice 3 :

Ecrire les Propositions suivantes en utilisant les quantificateurs :

1. Pour tout entier naturel n , il existe au moins un entier naturel k tel que k n

2. Le carré de tout réel est positif

3. Il n’existe aucun rationnel solution de l’équation x

2 2=

0

4. L’équation x 4x+ 4= 0 admet une solution unique dans

5. La somme de deux côtés d’un triangle est supérieur strictement au troisième côté.

2

Exercice 4 :

On considère la proposition suivante : ( ) ( 2 2 P y ℝ )
On considère la proposition suivante : (
)
(
2
2
P
y
)
(
x
)
:
+x
+xy
=y
0
1. Ecrire la négation de (P )
2. Montrer que (P )est fausse
1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Exercice 5 :

 

1. Ecrire la négation de (

P

)

:

2. Montrer que (P )est vraie

 

x

 

+

"x

 

0

et

x

2

+

x

>

1

0"

Exercice 6 :

 

On considère la proposition suivante :

 
 

(

 

])

 

1

3



(

P

)

 

x

[

0,2

y

 

2

,

4

  

:

xy

+

x

2

y

=

1

0

 

1. Ecrire la négation de (P )

 

2. Montrer que (P )est vraie

 

Exercice 7 :

Soient les quatre assertions suivantes : 1. x ℝ, y ℝ, + x > y
Soient les quatre assertions suivantes :
1.
x
ℝ,
y
ℝ, + x > y
0
2.
x
ℝ,
y
ℝ, + x > y
0
2
3.
x
ℝ,
y
ℝ,
>y
x
+
+
2
4.
,
,
<
x
x
<
Les assertions1,2,3 et 4 sont-elles vraies ou fausses ? Donner leurs négations.
Exercice 8 :
Montrer l’implication suivante : 1+ xy = x + y ⇒ x = 1
ou
y
= 1

Exercice 9 :

 

(

(

x

+

1

)(

)(

y

y

 

4

)

=

0

Résoudre dans

2

le système : (

S

)

x

3

+

2

)

=

0

   

Exercice 10 :

Soient a,b et c trois réels strictement positifs , qui vérifient : abc > 1 et a

Montrer que :

1. Tous ces nombres sont différents de 1

2. L’un de ces nombres est inférieur à 1

+

b

+

c

<

1

+

1

+

1

 

a

b

c

Exercice 11 :

Résoudre dans l’inéquation : ( )

1

x 2 5x+
x
2 5x+

6>

x+

4

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Exercice 12 :

Soit n un entier naturel . Montrer que si 2n +1est un carré parfait alors (n +1)est somme de deux carrés parfaits

Exercice 13 :

Soient a et b deux réels appartenant à l’intervalle ] 1,1[. Montrer que

a

+ b

1 + ab

] 1,1 [

]

1,1[

Exercice 14 :

Montrer que : (

Montrer que : ( > 0 ) : a ⇒ a = 0

>

0):

a

a

= 0

Exercice 15 :

Soient x et y deux réels appartenant à l’intervalle ]1, +• [ 2 2 Montrer
Soient x et y deux réels appartenant à l’intervalle ]1, +• [
2
2
Montrer que :
x
π y
x
2xπ
y
2y
Exercice 16 :
1. Montrer que : (
(
)
2
a,b
)
2
2
a+
b=
0
a = 0
et
b = 0
2. Soient x et y deux réels positifs , montrer que :
x + y + 2 = 2
x
+ 2
y
x = y =1
Exercice 17 :
1.
Soit n un entier naturel .
2
Montrer que :
n
est
pair
n
est
pair
2.
a) Montrer que :
2
b) Montrer que :
2 +
3
Exercice 18 :
Soient x et y deux réels, montrer que :
x
y
(
xy
π
1
et
x
π
y
)
π
2
2
x
+
x
+
1
y
+
y
+
1
Exercice 19 :
2
Montrer que : (
x
)
x+
+1
>x
0
1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Exercice 20 :

Montrer que n (n +1)(n + 2) est multiple de 3pour tout n de

Exercice 21 :

Soit n

. Montrer que

2 n
2
n

+1 n’est pas un entier.

Exercice 22 :

Trouver un entier naturel p tel que si : n > p alors

de centre 1 et de rayon

10

5

2 n 9 n
2
n
9 n

n

2

+ 1

appartient à l’intervalle ouvert

Exercice 23 :

2 On considère la fonction f définie sur ℝ , par : f ( x
2
On considère la fonction f définie sur ℝ , par :
f
(
x
)
= 2x
x+
3
Montrer que f est ni pair ni impair.
Exercice 24 :
Montrer par récurrence que :
n
(
n +
1)
(
1.
n
)
+
1
+
2
+
=
n
2
n
(
n
+
1
)(
2
n
+
1
)
2
2
2
2. n
(
)
+
1
2
+
+
n
=
6
2
n
(
n
+
1
)
(
3.
n
)
3
3
3
+
1
2
+
+
n
=
2
1
4.
(
n
)
1
+
2
2 +
3
+
n
+
(
n
=
1
)
n +
(
n
1 +
)(
n
2
)
3
5. n
(
)
+1
+3
+5
+
(
2+n
1=
)
(
+n
1
) 2
n
+ 1
7
1
(
)
2
n
6.
n
+
1
+
7
7
+
+
7
=
6
7. Pour tout n
: 4
n +
6
n
1
est divisible par 9
2
n+
1
n+
2
8. Pour tout n
ℕ :
3
+
2
est divisible par 7
9. n≥
(
4
)
n
2
2
n
n
(
+
10.
x
)(
n
ℕ +
)
(1
x
)
+
1
nx
1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Corrigé de l’exercice 1

1. La proposition

16
16

> 0 )

(

(

4

Donc la proposition

)

(

2

(

= 16

)

est vraie et la proposition (

proposition ) ( 2 ( = 16 ) est vraie et la proposition ( 16 =

16 = 4

4

)

2 = 16

)

et

(

vraie et la proposition ( 16 = 4 4 ) 2 = 16 ) et (

16=

4

)

est fausse.

) est fausse ( car

2. La proposition ( )est fausse ( est un nombre irrationnel) et la proposition

( 8 + 7 ≥ 15 ) est vraie ( car : ( a,b )
(
8 +
7 ≥
15
)
est vraie ( car :
(
a,b
)
(
+ )
2 (
+
a
b
+
a
b
)
)
Donc la proposition (
)
ou
(
8+
7≥
15
)
est vraie .
3. La proposition (a ℤ)
(a
premier
⇒ a
impair )est fausse
Car (2
ℤ)
(2
premier
et
a
pair ) .
2
4. La proposition (
x
)
(
x =
25
x=
5 est fausse
)
2
Car (
5
)
=
25
et
5 .
Corrigé de l’exercice 2
1. ℝ)
( x
(x<
0
et
x>
0)
2
2.
(
x
)
(
+x
1
x
)
3.
( x
ℝ)
(
a
ℝ)≥ x
a
ou≥ a + x
1
4. (xπ
( x
ℕ)
1
et
x
1)
2
5. x
(
2
)
(
x+
≥3
2
et
x<
1
)
ou
(
x+
<3
2
et
x≥
1
)
Corrigé de l’exercice 3
1.
n
,
k
ℕ : k
n
2
2. ℝ :x≥
x
0
2
3. ℚ:x π2 0
x
2
4. !x
ℝ :x
4+x
=4
0
1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

5. Si ABC est un triangle alors AB + AC > BC

Corrigé de l’exercice 4

1. (

P

)

(

y

)

(

)

(

x

)

:

(

x

)

2. On a (

P

P

)

y

considère y

= 1, on a : (

On

Donc (

D’où (P )est fausse .

est vraie

+x

x

2

)

+xy

:

+x

2

)

πy

2

+xy

2

x+

+x

0

πy

2

π1

0

0

( car =

<3

0 )

2 1. ( ) + P : x ℝ "x < 0 ou x +
2
1.
(
)
+
P
:
x
"x
<
0
ou
x
+
x
1
0"
2
2. On considère le trinôme
x
x+ 1
On
a :
=
3 donc (
x
)
x
2 +x >1
0
+
2
Donc (
x
)
x
+
x
>
1
0
+
x
x
0
et
x
2 +
x
>
1
0

Corrigé de l’exercice 5

D’où (

Et par suite la proposition (P )est vraie.

)

Corrigé de l’exercice 6

1. (

P

)

(

x

[

0,2

])

y

 

1

2

,

3

4



 

:

xy +

x

2 π y

2. Montrons que (P )est vraie.

Soit x

[0,2]

On a :

1

0

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

xy

 

x

+

2

y

1

=

0

Et on a :

 

0

x

2

 
 

 

+

xy

y

(

x

2

+

y

2

=

)

=

x

+

x

+

 

x

+ 1

 
 

 

y

=

x

+ 2

 

y

=

x +

x

2

+ 2

1

y

= 1

 

x

1

+ 2

2

+

x

 

2

4

1

1

1

4

x

+

2

2

 

1

1

1

1

1

2 x + 2 4 1 1 3 € 1 2 x + 2 4
2
x
+
2
4
1
1
3
1
2
x +
2
4
1
3
y
2
4
1
1
3
Donc (
P
)
(
x
[
0,2
])
= y
1
,

  
:
xy +
x
2 = y
1
0
x
+ 2
 
2
4
D’où (P )est vraie.

Corrigé de l’exercice 7

1.

x

,

y

, +

x

> y

0 est fausse . car sa négation

x

,

y

, +

x

y

0 est vraie . Etant donné x , il existe toujours un

y

x

tel que x + y

+ y

= x

x

2=

2

0 , par exemple on peut prendre y = x

0.

2 et alors

2. x , y , + x > y 0 est vraie , pour un x donné , on peut prendre par

exemple y = x+

La négation : x

3 et alors x + y

= x

,

y

, + x

y

x+ 3=

0 .

3>

0 .

2

3. x , y , >y x est vraie , on peut prendre x = 1.

La négation :

x

,

y

, y

2

x

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

+ + 2 4. ℝ , ℝ , < x ⇒ x < est vraie
+
+
2
4.
,
,
<
x
x
<
est vraie . on peut prendre par exemple
+
=
.
+
+
2
La négation :
,
,
<
x
et
≥ x
Corrigé de l’exercice 8
1
+
xy
=
x
+
y
1
+
xy
x
y
=
0
(
1
x
)(
1
y
=
)
0
1
x
=
0
ou
1
y
=
0
x
=
1
ou
y
=
1
Corrigé de l’exercice 9 Soit S l’ensemble des solutions du système (S )  (
Corrigé de l’exercice 9
Soit S l’ensemble des solutions du système (S )
(
x
+
1
)(
y
4
)
=
0
(
x
,
y
)
(
S
)
(
x
3
)(
y
+
2
)
=
0
[
x
+
1
=
0
ou
y
4
=
0
]
[
x
3
=
0
ou
y
+
2
=
0
]

D’où : S

= {( 1,

[

x

+

1

=

0

x

x

+

1

3

x

=

=

x

0

0

=

= 3

(

impossible

2 ) ; ( 3,4 )}

ou

ou

1

)

ou

y

x

y

4

1

=

+

=

+

 

x

y

2

=

=

=

0

0

]

0

1

2

et

ou

ou

[

x

y

y =

3

=

x

x

=

4

=

3

=

4

3

0

0

0

ou

ou

ou

 

y

+

2

=

y

+

y

0

4

2

=

=

y =

y =

4

=

y

2

( impo ssible )

]

0

0

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Corrigé de l’exercice 10

1. Montrons que la proposition (P )"a π 1

On suppose que : (

Par exemple : a = 1

Donc b

+

c

<

1

+

P

1

b

c

)

"a = 1

et

bc

ou

>

1

b = 1

et

ou

b π 1 c = 1"

Donc (b + c )bc < (b + c )

Donc bc < 1

Donc (

D’où (P )est vraie.

et

bc > 1

P

) est fausse

et

bc > 1

ce qui est absurde .

et

c π 1" est vraie.

((b + c ) > 0)

2. Montrons que la proposition (Q )"a < 1 ou b < 1 ou c
2. Montrons que la proposition (Q )"a
< 1
ou
b < 1
ou
c < 1" est vraie
On suppose que : (
Q )
"a ≥ 1
et
b
≥ 1
et
c
≥ 1"
On
a a ≥ 1
et
b ≥ 1
et
c ≥ 1
1
1
Donc 1
1
et
1
et
1
a
b
c
1
1
Donc 1
+ 3
+
et
a
+
b
+
c
3
a
b
c
1
1
Donc 1
+ a
+
+
b
+
c

c

Ce qui est absurde ( car on a :

a b

Donc (

D’où (Q )est vraie .

Q

)

est fausse

a

+

b

+

c

<

1

a

+

1

b

+

1

c

)

Corrigé de l’exercice 11

L’inéquation ( 1 )

+

x

2

5

x

6

0

2 x 5x+ 6> x+ 4 est définie si et seulement si € ( x
2
x
5x+ 6> x+ 4 est définie si et seulement si
(
x
2
)(
x
3
)
0
x
]
,2
]
+•
[
3,
[

x

2

5x+

6

0

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Soit S l’ensemble des solutions de (1)

1 er cas :

si x + 4 0 c-à-d

x

x ≥ 4 alors : 2 + 8 x + 16 [ et ≥ x
x
≥ 4
alors :
2
+
8
x
+
16
[
et
x
4

x

x

]

2

5

,2

x

]

+

6

>

[

3,

+•

(

1

)

x

S

Donc :

x

S

 

x

x

]

]

x

,2

,2

]

]

 

13

x

[

3,

+•

>

10

[

x

<

[

3,

+•

10

13

[

,

10

13

et

et

et

x

x

x

4

4

4

 10  D’où l’ensemble des solutions de (1) sur [ 4,+• [ est :
10
D’où l’ensemble des solutions de (1) sur [ 4,+• [ est :
S 1
=
4,
 
13
 
2 ème cas : si x + 4 < 0 c-à-d
x
< 4
alors :
2
Puisque
x
5x+ 6> 0 et x + 4 < 0 alors (1)est toujours vérifiée
D’ou l’ensemble des solutions de (1) est :
S
=
]
,
4
[
2
10
Et par suite l’ensemble des solutions de (1) est :
S
=
S
S
=
,
1
2
  •
13
 

Corrigé de l’exercice 12

Soit n un entier naturel

2n +1est un carré parfait ( et aussi impair ) (

k

)

:2n+

=1

(

2k+

1

) 2

:2n+

(

k

)

(

k

)

:n=

(

k

)

: n+

(

k

)

: n+

=1

2

2k+

2

4k+

2k

4k+

1

=1

=1

2

k+

2

k+

2

k+

k+

(

2k+

1

) 2

1

Donc si 2n +1est un carré parfait alors (n +1) est somme de deux carrés parfaits.

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Corrigé de l’exercice 13

Soient a et b deux réels appartenant à l’intervalle ] 1,1[

On a ab π 1 car

On a :

a

< 1

et

b

< 1

a + b 1 + ab
a
+
b
1 + ab

<

1

+

a

b

<

1 +

ab

2

a b

2

a

2

+

b

+

(

a

2

<

1

(

a

2

2

ab

<

1

)(

1

1

)(

1

1

+

b

)

2

<

b

)

2

<

2

+

0

0

2

ab

a + b 1 + ab a a + b 1 + ab
a
+ b
1 + ab
a
a +
b
1 + ab

Donc

2 2 < 1 et b < 1 alors ( a 1 )( 1 b
2
2
< 1
et
b
< 1
alors (
a
1
)(
1
b
<
)
0
< 1
π
0
(
>
0):
a
>

Donc

Corrigé de l’exercice 14

Montrons que a

On suppose que a π 0

Donc

Et par suite il existe un réel tel que

a

> 0

a a >
a
a
>

Donc on a : a

π

0

(

>

0):

D’où ( >

0):

a

a

= 0

>

> 0 c-à-d (

>

0):

a

>

Puisque

Corrigé de l’exercice 15 : (Raisonnement par contraposée)

Soient x et y deux réels appartenant à l’intervalle ]1, +• [

La proposition x π y

Equivaut à x

y

2

x

2

2y

2xπ

x

y

2

= y

2y

?

2

2x=

x

2

2x=

y

2

2y

x

2

y

2

2x+

2y=

0

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

(x

y

)(x+

y )

2(x

y=)

0

(x

y

)(x+

y

2=)

0

x

y =

0

ou

x +

y

2=

0

x

= y

ou

x + y

= 2

Puisque x >1et y

Donc x

y

Et par suite x π y

2

2x=

> 1 alors x + y

> 2

2

2y

x

2

x

2xπ

= y

y

2

2y

Corrigé de l’exercice 16

1.

Soient a et b deux réels tels que

a

2

+ b

2

= 0 alors

a

2

= b

2

2 2 2 On a a Donc a ≥ 0 et a 2 2 2
2
2
2
On a a
Donc a
≥ 0 et a
2
2
2 ≥ 0 et a
= b
0
( car b
0 )
2
Par suite a = 0
2
2
On a a
+ b
= 0 et a
2 = 0 donc a
2 = 0 et b
2 = 0
D’où a = 0 et b = 0 .
2. Soient x et y deux réels positifs :
x
+
y
+
2
=
2
x
+
2
y
x
+
y
+
2
2
x
2
y
=
0
⇒ x 2 x + 1 + 2 ⇒ + ( x 1 ) ⇒
⇒ x
2
x
+
1
+
2
⇒ +
(
x
1
)
⇒ 1
x
=
0
⇒ =
x
1
⇒ =
x
1
y 2 y + = 1 2 ( y 1 ) = 0 et =
y
2
y
+
=
1
2
(
y
1
)
=
0
et
=
1
et
1
=
et
y
=
1

0

0

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Corrigé de l’exercice 17

1. Soit n un entier naturel .

Montrons que :

n

est

pair

n

2

est

supposons que n est pair

Donc il existe un entier naturel k tel que n = 2k

Donc il existe un entier naturel k tel que

n

2

=

(

2k

pair

)

2

= 4k

2

(

= 2. 2k

2

)

= 2.k

( avec

k

2 = 2k D’où
2
= 2k
D’où

)

2

est pair.

n

(raisonnement par contraposée )

supposons que n est impair Donc il existe un entier naturel k tel que n = 2k +1 Donc il existe un entier naturel k tel que

2 = ( 2k +1 ) 2 2 = 4k + 4k +1 = 2.
2
=
(
2k +1
)
2
2 = 4k
+ 4k +1 = 2.
(
2
2k
+ 2k
)
= 2.k +1
( avec
k = 2k
2 + 2k
ℕ)
D’où
n
2 est impair.
2. a) ( Raisonnement par l’absurde )
supposons que
2 ℚ

n

donc il existe deux entiers naturels non nuls premiers entre eux tels que

p 2 =
p
2
=

q

2

2 =

p

2

2

p

2

q

= 2q

2

donc

donc

donc p est pair

donc d’après le résultat de la première question , on a : p est pair

donc p = 2k

(k

)

l’égalité p = 2q devient (

donc

donc q

q

2

2

2

= 2.k

2

2

est pair

2k

)

2

= 2q

2

ce qui est absurde ( car p

q=

1)

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

et par suite

2 ℚ 2 + 3
2
2 +
3

b) Supposons que

donc il existe deux entiers naturels non nuls premiers entre eux tels que

p 2 + 3 =
p
2
+
3
=

donc (

donc

5

q

2 + 2
2
+
2

+

2  3 ) =  
2
3
)
= 

2

p 6 = 2
p
6
=
2

q

p

q

2

d’où

2

2

5) =   2 p 6 = 2 q p   q  2

q

donc à 2)a) ) 6 ℚ ce qui est impossible car 6 ℚ (même méthode
donc
à 2)a) )
6
ce qui est impossible car
6
(même méthode qu’on a utiliser
et par suite
2 +
3
ℚ .
x
y
xy
π
1 et
x
π
y
)

Corrigé de l’exercice 18 : (raisonnement par contraposée)

Soient x et y deux réels, montrer que :

(

x

Pour cela on va montrer que :

x

x

2

+

x

+

1

=

y

y

2

+

y

+

1

2

+

x

+

1

π

y

2

+

y

+

1

2

x

x

+

x

+

1

=

y

2

y

+

y

+

1

xy

2

+

xy

 

+

x

=

x

2

y

+

xy

+

y

xy

2

 

x

2

y

+

x

 

y

=

 

0

 

xy

(

y

x

)

(

y

)

x

=

 

0

 

(

y

x

)(

xy

 

1

=

)

 

0

 

y

x

=

 

0

ou

xy

 

1

=

0

 

x

=

y

ou

xy

= 1

(

xy

=

1

ou

x

=

y

)

1 è r e Science Exp. & Mathématiques Série : La logique

1 ère Science Exp. & Mathématiques Série : La logique

Corrigé de l’exercice 19 : (Raisonnement par disjonction des cas)

2 Montrons que : ( x ℝ ) x+ +1 >x 0 Soit x ℝ
2
Montrons que : (
x
)
x+
+1
>x
0
Soit x
ℝ :
1 er cas : si x ≥ 0
2
2
alors
2 ème cas : Si x < 0
x
+1 + x
> 0
( car
x
+1 > 0 et x
2
2
2
2
Il est clair que
x
+1 > x
donc
x
+1 >
x
Donc
x
2 +
1
>
x
2
donc
x
+1 > x
( car
x
= x
( x<
0)
)
2
d’où
x
+1 + x
> 0

0 )

2 x ℝ ) x+ +1 >x 0 ℕ : (k ℕ)
2
x
)
x+
+1
>x
0
ℕ :
(k
ℕ)

et par suite : (

Corrigé de l’exercice 20 : (Raisonnement par disjonction des cas)

Montrons que n (n +1)(n + 2) est multiple de 3pour tout n de

Soit n

1 er cas : si n = 3k

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

2 ème cas : si n = 3k +1

(k

 

)

 

n

(

n

+

1

)(

n

+

2

)

=

(

3

k

+

1

)(

3

k

+

2

)(

3

k

+

3

)

 

=

(

3. 3

k

+

1

)(

3

k

+

2

)(

k

+

1

)

 

3 ème cas : si n = 3k + 2

(k

)

 

n

(

n

+

1

)(

n

+

2

)

=

(

3

k

+

2

)(

3

k

+

3

)(

3

k

+

4

)

 

=

(

3. 3

k

+

2

)(

k

+

1

)(

3

k

+

4

)

 

D’où n (n +1)(n + 2)est multiple de 3pour tout n de .