Pour x∈[0,4] : le dénominateur 3x+4+x>0, le facteur x+1>0 et x−4≤0, donc −(x−4)≥0. Ainsi f(x)−x≥0.
Comme un∈[0,4], on a un+1−un=f(un)−un≥0. La suite (un) est donc croissante.
3. Convergence.
La suite (un) est croissante et majorée par 4. D'après le théorème de la convergence monotone, elle est convergente. On note ℓ sa limite, avec ℓ∈[1,4] (car u0=1 et un≤4).
4. Limite.
f est continue sur [0,+∞[ et un+1=f(un). Par passage à la limite, ℓ vérifie ℓ=f(ℓ), soit ℓ=3ℓ+4 avec ℓ≥0.
En élevant au carré : ℓ2=3ℓ+4, donc ℓ2−3ℓ−4=0, soit (ℓ−4)(ℓ+1)=0. Les solutions sont ℓ=4 et ℓ=−1. Comme ℓ≥0, on a ℓ=4.
Conclusion : n→+∞limun=4.
🧮 Barème — coche ce que tu as écrit
Exercice 2 — Suite auxiliaire géométrique et étude de limite
10 pts
📖 Voir le corrigé rédigé
1. Majoration par récurrence.
Notons Q(n):vn<4.
Initialisation :v0=3<4, donc Q(0) est vraie.
Hérédité : supposons vn<4. Alors vn+1=21vn+2<21×4+2=4. Donc Q(n+1) est vraie.
Par récurrence, pour tout n, vn<4.
2. Monotonie.
Pour tout n : vn+1−vn=21vn+2−vn=2−21vn=21(4−vn).
D'après la question 1, vn<4, donc 4−vn>0 et ainsi vn+1−vn>0. La suite (vn) est strictement croissante.
3. Convergence.
La suite (vn) est croissante et majorée par 4. D'après le théorème de la convergence monotone, (vn) est convergente.
4. Suite auxiliaire.
Pour tout n : wn+1=vn+1−4=21vn+2−4=21vn−2=21(vn−4)=21wn.
Donc (wn) est géométrique de raison q=21 et de premier terme w0=v0−4=3−4=−1.
5. Expression et limite.
On a wn=w0qn=−(21)n, donc vn=wn+4=4−(21)n.
Comme 0<21<1, on a n→+∞lim(21)n=0, d'où n→+∞limvn=4, ce qui confirme la convergence trouvée à la question 3.