. Arithmétique. Dénombrements
I) L’ensemble des entiers naturels
= {0,1,2,...} est l’ensemble des entiers naturels.
1) Récurrence simple
a) Théorème
Soit P(n) une affirmation dépendant d’un entier naturel n. Alors:
"nœ, P
n
flP
n+1
fl " n œ , P(n)
b) Rédaction ( Les mots clés encadrés doivent apparaître )
On démontre par récurrence la propriété P
n
.
Initialisation : P(0) est vraie car ...
Transmission : Soit n œ . On suppose que P(n) est vraie . Montrons que P(n+1) est vraie. ...
(Ou encore: “ On suppose que P(n) est vraie pour un entier n et on montre que P(n+1) est vraie ”)
(Mais surtout pas “ On suppose que P(n) est vraie pour tout entier n et on montre P(n+1) ”)
Conclusion : " n œ , P(n) est vraie .
2) Récurrence double
a) Théorème
Soit P(n) une affirmation dépendant d’un entier naturel n. Alors:
"nœ,
P
n
et P
n+1
flP
n+2
fl " n œ , P(n)
b) Rédaction ( Les mots clés encadrés doivent apparaître )
On démontre par récurrence double la propriété P
n
.
Initialisation : P(0) est vraie car ... et P(1) est vraie car...
Transmission : Soit n œ . On suppose que P(n) et P(n+1) sont vraies . Montrons que P(n+2) est vraie. ...
(Ou encore: “ On suppose que P(n) et P(n+1) sont vraies pour un entier n et on montre que P(n+2) est vraie ”)
Conclusion : " n œ , P(n) est vraie .
3) Récurrence forte
a) Théorème
Soit P(n) une affirmation dépendant d’un entier naturel n.
Alors:
"nœ,
P
0
et P
1
et ... et P
n
flP
n+1
fl " n œ , P(n)
b) Rédaction ( Les mots clés encadrés doivent apparaître )
On démontre par récurrence forte la propriété P
n
.
Initialisation : P(0) est vraie car ...
Transmission : Soit n œ . On suppose que P(0 et P(1) et... et P(n) sont vraies . Montrons que P(n+1) est vraie. ...
Conclusion : " n œ , P(n) est vraie .
11 Cours - Nombres entiers . Arithmétique. Dénombrements.nb 1/11