Méthode : On part de 2−un+45 et on réduit au même dénominateur
2−un+45=un+42(un+4)−un+45=un+42un+8−5=un+42un+3=un+1
Initialisation : u0=2 donc 1⩽u0⩽2
La propriété est vraie au rang 0.
Hérédité : On suppose que pour un certain entier n : 1⩽un⩽2 (Hypothèse de récurrence)
et on va montrer que 1⩽un+1⩽2
1⩽un⩽2 donc :
5⩽un+4⩽6
On inverse chaque membre :
61⩽un+41⩽51 car la fonction inverse est strictement décroissante sur ]0;+∞[
On multiplie chaque membre par −5 (on change une nouvelle fois le sens car −5 est négatif)
−55⩽−un+45⩽−65
Enfin on ajoute 2 à chaque membre :
2−1⩽2−un+45⩽2−65
1⩽un+1⩽67
Or 67<2 donc on a bien :
1⩽un+1⩽2 ce qui montre la propriété par récurrence.
Conclusion : Pour tout entier n∈N, 1⩽un⩽2
un+1−un=un+42un+3−un=un+42un+3−un+4un(un+4)=un+42un+3−un2−4un
un+1−un=un+4−un2−2un+3
On étudie le signe de −un2−2un+3 qui est un polynôme du second degré en un
Δ=(−2)2−4×(−1)×3=16
Le polynôme possède donc 2 racines :
x1=−22−4=1 et x2=−22+4=−3
−un2−2un+3 est donc négatif ou nul si un∈]−∞;−3]∪[1;+∞[
et positif ou nul si un∈[−3;1].
Or d'après la question précédente 1⩽un⩽2 donc −un2−2un+3 est négatif ou nul pour tout entier n∈N
Par ailleurs, comme un⩾1, un+4 est strictement positif donc :
un+1−un=un+4−un2−2un+3⩽0
La suite (un) est donc décroissante
La suite (un) est décroissante et minorée par 1 donc elle est convergente (voir théorème)
Méthode : On fait tendre n vers +∞ dans chaque membre de l'égalité un+1=un+42un+3
Si n→+∞limun=l alors :
n→+∞limun+1=l
et :
n→+∞limun+42un+3=l+42l+3
Comme un+1=un+42un+3, par passage à la limite :
l=l+42l+3
c'est à dire
l(l+4)=(2l+3)
l2+4l−2l−3=0
l2+2l−3=0
Cette équation (équivalente à celle résolue plus haut) possède deux solutions : 1 et −3.
Comme 1⩽un⩽2 la limite ne peut pas être égale à −3 donc l=1.
En conclusion n→+∞limun=1