Indications ou résultats
1
Voici la courbe représentative de f (avec l’asymptote y = x + 2
et la bissectrice y = x) :
x
a = 1, l’asymptote y = 2
et la bissectrice y = x) :
– Si u0 > 1.
Pour tout x > 1 on a : 1 < x < f (x). En particulier 1 < u0 < u1 et 1 < u1 < u2 .
Par une récurrence évidente, on en déduit : ∀n ≥ 0, 1 < un < un+1 .
La suite u est croissante mais elle ne peut manifestement pas converger vers −1 (sa seule
limite finie possible). On en déduit lim un = +∞.
n→+∞
– Conclusion :
Si u0 < 1 alors lim un = −1. Si u0 > 1 alors lim un = +∞.
n→+∞ n→+∞
– Si β < u0 .
Pour tout x de ]β, +∞[, on a : β < f (x) < x. En particulier β < u1 < u0 et β < u2 < u1 .
Plus généralement, une récurrence évidente donne : ∀n ≥ 0, α < β < un+1 < un .
La suite u, minorée et décroissante, est donc convergente.
Ici encore on a manifestement lim un = β (α est exclu).
n→+∞
– Si 0 < u0 < α.
On a vérifier que la suite u n’est pas définie à partir d’un certain rang.
Pour cela on raisonne par l’absurde, et on suppose donc que pour tout n, un existe (et est
donc strictement positif pour permettre le calcul de un+1 ).
Pour tout x de ]0, α[, on a f (x) < x < α.
En particulier 0 < u1 < u0 < α et 0 < u2 < u1 < α.
Plus généralement, une récurrence évidente donne : ∀n ≥ 0, 0 < un+1 < un < α < β.
La suite u, minorée et décroissante, est donc convergente.
On aboutit à une contradiction car les deux seules limites possibles, α et β sont ici exclues.
Conclusion : si 0 < u0 < α, alors la suite u n’est pas définie à partir d’un certain rang.
– Si u0 > 0.
Il est clair que un > 0 pour tout n. On en déduit lim un = +∞ (en effet la suite est
n→+∞
croissante et ne peut donc pas converger vers 0).
– Si u0 < −1.
On a u1 = u0 (1 + u0 ) > 0 et on est ramené au cas précédent : lim un = +∞.
n→+∞
– Si u0 = 0.
La suite u est constante : ∀n ≥ 0, un = 0.
– Si u0 = −1.
On a alors u1 = 0 ce qui ramène au cas précédent : ∀n ≥ 1, un = 0.
– Si −1 < u0 < 0.
Pour tout x de ] − 1, 0[, on a −1 < x < f (x) < 0.
L’intervalle ] − 1, 0[ est donc stable par f . On en déduit : ∀n ≥ 0, −1 < un < 0.
La suite u, croissante et majorée, est convergente. Nécessairement lim un = 0.
n→+∞