Suites et récurrence

Théorème de comparaison - Exercice 3

15 min
30
(un)\left(u_{n} \right) est définie par u0=1u_{0} =1 et pour tout entier naturel nn, on a : un+1=un+2n+3u_{n+1} =u_{n} +2n+3 .
Question 1

Etudiez le sens de variation de la suite (un)\left(u_{n} \right).

Correction
Pour tout entier naturel nn, on a : un+1=un+2n+3u_{n+1} =u_{n} +2n+3.
Il en résulte donc que : un+1un=2n+3u_{n+1} -u_{n}=2n+3.
Comme nn est un entier naturel, alors n0n\ge 0 ce qui signifie que 2n02n\ge 0 et enfin 2n+332n+3\ge 3. Ainsi : 2n+302n+3\ge 0
Il vient alors que : un+1un0u_{n+1} -u_{n}\ge 0.
La suite (un)\left(u_{n} \right) est donc croissante\red{\text{croissante}}.
Question 2

Démontrer que pour entier naturel nn, on a : un>n2u_{n}>n^{2}.

Correction
Pour tout entier naturel nn, posons la propriété Pn:un>n2P_{n} :u_{n} >n^{2}
Etape d'initialisation
On sait que u0=1u_{0} =1 et que u0>02u_{0} >0^{2} .
La propriété P0P_{0} est vraie.
Etape d'hérédité
On suppose qu'il existe un entier kk tel que la propriété PkP_{k} soit vraie c'est-à-dire uk>k2u_{k} >k^{2} et vérifions si la propriété est également vraie au rang k+1k+1 c'est-à-dire uk+1>(k+1)2u_{k+1} >\left(k+1\right)^{2}
Par hypothèse de récurrence :
uk>k2u_{k} >k^{2} , on rajoute 2k+32k+3 de part et d'autre de l'égalité (notre objectif est de faire apparaitre dans le membre de gauche uk+1u_{k+1} )
uk+2k+3>k2+2k+3u_{k} +2k+3>k^{2} +2k+3
Ainsi : uk+1>(k2+2k+1)+2u_{k+1} >\left(k^{2} +2k+1\right)+ 2 . Or k2+2k+1=(k+1)2k^{2} +2k+1=\left(k+1\right)^{2}
D'où : uk+1>(k+1)2+2u_{k+1} >\left(k+1\right)^{2} +2. On peut alors écrire que :
uk+1>(k+1)2+2>(k+1)2u_{k+1} >\left(k+1\right)^{2} +2>\left(k+1\right)^{2}
D'où : uk+1>(k+1)2u_{k+1} >\left(k+1\right)^{2} .
Ainsi la propriété Pk+1P_{k+1} est vraie.
Conclusion
Puisque la propriété P0P_{0} est vraie et que nous avons prouvé l'hérédité, on peut en déduire, par le principe de récurrence que pour tout entier naturel nn, on a PnP_{n} vraie, c'est à dire que pour tout entier naturel nn, on a bien un>n2u_{n} >n^{2} .
Question 3

En déduire la limite de la suite (un)\left(u_{n} \right).

Correction
On vient de démontrer que pour entier naturel nn, on a : un>n2u_{n}>n^{2}.
Or : limn+n2=+\lim\limits_{n\to +\infty } n^{2}=+\infty
On a donc :
limn+n2=+\lim\limits_{n\to +\infty } n^{2}=+\infty et un>n2u_{n}>n^{2} . D'après le théorème de comparaison :
limn+un=+\lim\limits_{n\to +\infty } u_{n}=+\infty