Exemple 6 A faire en DM :
est la suite définie sur IN par
et la relation de récurrence :
.
Soit f la fonction définie par
.
1°) Démontrer que f est strictement croissante sur l’intervalle [0, 2 ].
En déduire que pour tout entier naturel n, on a :
.
2°) Démontrer que la suite
est croissante.
3°) Démontrer, pour tout réel x de l’intervalle [0,2] , on a :
4°) En déduire que, pour tout entier naturel n, on a :
11
0 2 2
22
nn
UU
et que, pour tout entier naturel n, on a :
0
1
0 2 2
22
n
n
UU
5°) Conclure.
CORRIGE
Remarquons que, pour tout entier naturel n :
1°) f est de la forme
;
; On a alors :
f est strictement croissante sur l’intervalle [0, 2 ].
Démontrons, à l’aide d’un raisonnement par récurrence, que quelque soit
,
.
Considérons la propriété :
: «
» .
est vraie car
donc
.
Supposons que
soit vraie pour un entier naturel
. Alors
.
Comme f est strictement croissante sur l’intervalle [0, 2 ], on a :
Soit encore :
et finalement
car
est donc vraie . La propriété est donc héréditaire.
CONCLUSION : Pour tout entier naturel n ,
est vraie .
Autrement dit, pour tout entier naturel n, on a :
.
2°) Démontrons, à l’aide d’un raisonnement par récurrence, que la suite
est croissante.
Considérons la propriété :
: «
» .