DÉMONSTRATIONSIMPRIMER

 UNE SUITE MINORÉE PAR UNE SUITE DIVERGEANT

VERS +\INFTY+∞ DIVERGE VERS +\INFTY+∞ (COMPARAISON)

Théorème

Soient (u_n)(un) et (v_n)(vn) deux suites telles que \lim_{n \to +\infty}

(u_n)=+\inftylimn→+∞(un)=+∞, et telles qu’à partir d’un certain rang v_n \geq u_nvn

≥un.

Alors \lim_{n \to +\infty}(v_n)=+\inftylim n→+∞(vn)=+∞.

Démonstration

1. Soit AA un réel et II l’intervalle défini par ]A;+\infty[]A;+∞[. 

 \lim_{n \to +\infty}(u_n)=+\inftylimn→+∞(un)=+∞

 Donc par définition, il existe donc un entier n_1n1 tel que, pour

tout n \geq n_1n≥n1, u_nun appartient à l’intervalle II (c'est à dire u_n>Aun>A).

2. Par ailleurs, il existe d'après l'énoncé un entier n_2n2 tel que pour

tout n \geq n_2n≥n2, v_n \geq u_nvn≥un

3. Soit NN l’entier égal au maximum de n_1n1 et n_2n2. Pour

tout nn supérieur à NN :

 v_n \geq u_nvn≥un et u_n \geq Aun≥A

 donc v_n \geq Avn≥A

4. Cette propriété est vraie pour tout réel AA.

5. Donc d’après la définition d’une suite divergente, on a démontré

que \lim_{n \to +\infty}(v_n)=+\inftylim n→+∞(vn)=+∞.

Remarque : entraîne-toi à prouver de façon symétrique qu’une suite majorée par une
 suite divergeant vers -\infty−∞ diverge aussi vers -\infty−∞.

 UNE SUITE GÉOMÉTRIQUE POSITIVE DE RAISON STRICTEMENT

PLUS GRANDE QUE 11 DIVERGE VERS +\INFTY+∞

Théorème

Soit qq un réel strictement plus grand que 11, et (u_n)(un) la suite définie

par u_n=q^nun=qn.

Alors \lim_{n \to +\infty}(u_n)=+\inftylim n→+∞(un)=+∞.

Démonstration

Soit \alphaα un réel strictement positif et (v_n)(vn) la suite définie par v_n=\alpha n

+1vn=αn+1.

1. \lim_{n \to +\infty}(v_n)=+\inftylimn→+∞(vn)=+∞, car \alpha>0α>0.

La démonstration consiste donc à démontrer la propriété P(n):(\alpha+1)^n \geq

\alpha n +1P(n):(α+1)n≥αn+1, pour tout nn, puis à utiliser le théorème de

comparaison.

Raisonnons par récurrence :

1. Initialisation : P(0) : (\alpha+1)^0 = 1 \geq 1 + 0 \times \alphaP(0):

(α+1)0=1≥1+0×α, donc P(0)P(0) est vraie.

2. Hérédité : supposons PP vraie à un certain rang n \geq 0n≥0 et étudions

l'expression de P(n+1).
 P(n+1) : (\alpha+1)^{n+1} = (\alpha+1)(\alpha+1)^nP(n+1):

(α+1)n+1=(α+1)(α+1)n

 Or P(n)P(n) étant vraie, on a : (\alpha+1)^n \geq \alpha n

+1(α+1)n≥αn+1

 Donc (\alpha+1)^{n+1} = (\alpha+1)(\alpha+1)^n \geq (\alpha+1)

(\alpha n+1)(α+1)n+1=(α+1)(α+1)n≥(α+1)(αn+1)

 Donc (\alpha+1)^{n+1} \geq 1 + \alpha (n+1) + \alpha^2 n \geq 1

+ \alpha (n+1)(α+1)n+1≥1+α(n+1)+α2n≥1+α(n+1) puisque \alpha^2n \geq 0α2n≥0

 Donc P(n+1)P(n+1) est vraie.

3. Conclusion : on a donc montré par récurrence que P(n)P(n) est vraie

pour tout nn.

Utilisons cette propriété pour démontrer le théorème :

1. q>1q>1, donc q-1>0q−1>0. Donc q-1q−1 est une valeur possible

pour \alphaα.

2. On remplace donc \alphaα par q-1q−1 dans ces expressions et on

applique la propriété P(n)P(n) avec \alpha=q-1α=q−1 :

 (1+(q-1))^n \geq (q-1)n+1(1+(q−1))n≥(q−1)n+1 donc q^n \geq

(q-1)n+1qn≥(q−1)n+1

 Donc u_n>v_nun>vn

 Or \lim_{n \to +\infty}(v_n)=+\inftylim n→+∞(vn)=+∞, car q-

1>0q−1>0.

3. Par comparaison, on conclut que que \lim_{n \to +\infty}

(q^n)=+\inftylimn→+∞(qn)=+∞.
Remarque : on peut prouver de façon symétrique qu’une suite géométrique négative

de raison q<-1q<−1 diverge vers -\infty−∞.