TS - Maths - Correction Devoir de recherche n°4
Soit la fonction fdéfinie sur l’intervalle [0; 2] par
f(x)=2x+1
x+1.
1. Étudier les variations de fsur l’intervalle [0 ; 2]. Montrer que si x∈[1 ; 2] alors f(x)∈[1 ; 2].
fest une fonction rationnelle, donc dérivable sur tout intervalle inclus dans son ensemble de
définition, et :
f0(x)=2(x+1) −(2x+1)
(x+1)2=1
(x+1)2>0
Donc fest croissante sur [0 ; 2], de plus f(1) =2×1+1
1+1=3
2=1,5 et f(2) =2×2+1
2+1=5
3<2. Ainsi
pour x∈[1;2] par croissance de f, on af(x)∈[1 ; 2].
2. (un)et (vn)sont deux suites définies sur Npar :
u0=1et pour tout entier naturel n,un+1=f(un).
v0=2et pour tout entier naturel n,vn+1=f(vn).
(a) Le graphique donné ci-dessous représente la fonction fsur l’intervalle [0 ; 2].
Construire sur l’axe des abscisses les trois premiers termes de chacune des suites (un)et
(vn)en laissant apparents tous les traits de construction.
A partir de ce graphique, que peut-on conjecturer concernant le sens de variation et la
convergence des suites (un)et (vn)?
On peut conjecturer que les deux suites sont convergentes vers la même limite et que (un)
est croissante alors que (vn) est décroissante.
(b) Montrer à l’aide d’un raisonnement par récurrence que :
Pour tout entier naturel n, 1 ÉvnÉ2.
Pour tout entier naturel n,vn+1Évn.
On admettra que l’on peut démontrer de la même façon que :
Pour tout entier naturel n, 1 ÉunÉ2.
Pour tout entier naturel n,unÉun+1.
Soit n∈Net Pnla proposition de récurrence : 1 ÉvnÉ2.
Initialisation : Pour n=0 :
Comme v0=2 alors P0est vraie.
Hérédité : Supposons que pour un entier naturel kquelconque et fixé Pkest vraie (1 ÉvkÉ2)
, alors montrons que Pk+1est vrai aussi (1 Évk+1É2).
On a 1 ÉvkÉ2 par hypothèse de récurrence donc 1 Éf(vk)É2, d’après la relation démontrée
à la question 1.
Ainsi si Pkest vraie alors Pk+1est vraie.
Conclusion : Par raisonnement par récurrence, Pnest vraie pour tout entier naturel n.
Ainsi pour tout entier naturel n, 1 ÉvnÉ2.
Soit n∈Net Qnla proposition de récurrence : vn+1Évn.
Initialisation : Pour n=0, On a v1=f(v0)=f(2) =5
3donc v1Év0.
Donc Q0est vraie.
Hérédité : Supposons que pour un entier naturel kquelconque et fixé Qkest vraie (vk+1Évk)
, alors montrons que Pk+1est vraie aussi (vk+2Évk+1).
1