# Les suites et séries/Les opérations sur les limites de suites

Il est intéressant de regarder quelle est la limite d'une somme de deux suites, ou de leur produit. Dans une telle condition, on peut dire si la limite de la somme converge ou diverge selon le comportement des deux suites. Pour les suites qui convergent, le résultat est plutôt simple : la limite de la somme est la somme des limites, idem pour le produit ou le quotient.. Pour deux suites $(a_{n})$ et $(b_{n})$ qui convergent respectivement vers $a$ et $b$, leur somme converge vers $a+b$, leur différence vers $a-b$, leur produit vers $a\times b$ et leur quotient vers $a \over b$. Le résultat pour les suites divergentes est assez compliqué, mais le résultat diverge dans la plupart des cas, sauf dans quelques cas où le résultat n'est pas connu qui portent le nom de formes indéterminées. Dans les tableaux qui suivent, ces formes indéterminées seront notées "F.I".

## Les comparaisons entre suites

Le résultat d'une comparaison entre deux suites n'est pas forcément conservée lors du passage à la limite. Tout dépend de la comparaison considérée. Précisément, il faut faire la différence entre les inégalités strictes, à savoir $<$ et $>$, et les inégalités non-strictes, à savoir $=$, $\leq$ et $\geq$.

### Le passage à la limite des inégalités strictes entre suites

Le passage à la limite ne conserve pas les inégalités strictes entre suites. Il suffit de considérer les deux suites suivantes pour ce convaincre du fait que le passage à la limite ne conserve pas les inégalités strictes :
    $\forall n\in \mathbb {N} ^{*},\quad U_{n}:=1+{\frac {1}{n}}\qquad V_{n}:=1-{\frac {1}{n}}$
Leur limite est 1 pourtant pour $n>0,U_{n}>V_{n}$.
Comme autre exemple, on peut citer les deux suites $u_{n}={1 \over n}$ et $b_{n}={2 \over n}$. On a bien $u_{n}<v_{n}$, mais ces deux suites ont la même limite (ici, 0).
Pour les inégalités strictes, on peut prouver les relations suivantes :
* Si $(a_{n})<(b_{n})$, alors $\lim _{n\to \infty }(a_{n})\leq \lim _{n\to \infty }(b_{n})$.
* Si $(a_{n})>(b_{n})$, alors $\lim _{n\to \infty }(a_{n})\geq \lim _{n\to \infty }(b_{n})$.
En clair, une inégalité stricte entre deux suites se transforme en une inégalité non-stricte lors du passage à la limite. Par contre, le sens de l'inégalité ne s'inverse pas. Si une suite est inférieure à une autre, impossible que sa limite soit supérieure (et réciproquement).
On peut démontrer les deux relations suivantes de la même manière. Dans ce qui suit, nous allons faire la démonstration pour $(a_{n})<(b_{n})\implies \lim _{n\to \infty }(a_{n})\leq \lim _{n\to \infty }(b_{n})$.
* Démonstration
* Notons $l_{a}$ et $l_{b}$ les limites respectives $\lim _{n\to \infty }(a_{n})$ et $\lim _{n\to \infty }(b_{n})$. On pose aussi $\epsilon >0$. Vu que $(a_{n})$ converge vers $l_{a}$, alors il existe un rang $N_{a}$ au-delà duquel on a : $l_{a}+\epsilon >a_{n}>l_{a}-\epsilon$. Même chose pour la suite $(b_{n})$, où on a un rang $N_{b}$ au-delà duquel $l_{b}+\epsilon >b_{n}>l_{b}-\epsilon$. Dans ce qui va suivre, nous allons seulement utiliser les inégalités suivantes :
* $l_{a}+\epsilon >a_{n}$, pour $N_{a}<n$.
* $l_{b}+\epsilon >b_{n}$, pour $N_{b}<n$.
* Si on suppose que $a_{n}<b_{n}$, on a :
* $a_{n}+\epsilon <b_{n}+\epsilon$
* En combinant les trois inégalités précédentes, on trouve :
* $l_{a}<a_{n}+\epsilon <b_{n}+\epsilon <l_{b}+2\cdot \epsilon$
* En simplifiant, on trouve que :
* $l_{a}<l_{b}+2\cdot \epsilon$
* On a alors : $l_{a}\leq l_{b}$.
* On voit que le passage d'une inégalité stricte à une inégalité non-stricte se fait dans la toute dernière étape, et est lié à $\epsilon$.

### Le passage à la limite des inégalités non-strictes entre suites

Les inégalités larges (non-strictes) sont conservées lors du passage à la limite. On a alors :
* Si $(a_{n})=(b_{n})$, alors $\lim _{n\to \infty }(a_{n})=\lim _{n\to \infty }(b_{n})$.
* Si $(a_{n})\leq (b_{n})$, alors $\lim _{n\to \infty }(a_{n})\leq \lim _{n\to \infty }(b_{n})$.
* Si $(a_{n})\geq (b_{n})$, alors $\lim _{n\to \infty }(a_{n})\geq \lim _{n\to \infty }(b_{n})$.
Ces relations sont connues sous le nom de théorème de prolongement des inégalités larges (sous entendu, entre deux suites et lors d'un passage à la limite).
Ces trois relations peuvent se démontrer par un raisonnement par l'absurde assez simple.

## Les résultats d'opérations sur les suites

Voyons maintenant comment se comporte la limite lorsque l'on effectue une opération sur deux suites. Les résultats sont donnés pour des suites divergentes et convergentes notées $u_{n}$ et $v_{n}$.

### Multiplication d'une suite par un réel

Le résultat du produit d'une suite avec un réel est assez trivial à établir. Tout dépend si la suite diverge ou converge :
* Dans le cas d'une suite convergente $(a_{n})$ de limite $a$, la limite du produit $k\times (a_{n})$ a pour limite $k\times a$. En clair, la limite du produit est le produit des limites.
* Dans le cas d'une suite divergente, le produit avec un réel ne change rien : la suite diverge toujours et sa "limite" reste la même si elle en a une. Une suite qui diverge vers $\infty$ continuera à diverger ainsi après multiplication par un réel.
Par contre, il faut faire attention quand le réel $k$ est négatif : le signe de la limite peut changer.
| $\lim u_{n}$ | $\lim u_{n}$ | $\ell$ | $-\infty$ | $+\infty$ |
| $\lim(k\times u)_{n}$ | $k>0$ | $k\times \ell$ | $-\infty$ | $+\infty$ |
| $\lim(k\times u)_{n}$ | $k<0$ | $k\times \ell$ | $+\infty$ | $-\infty$ |
* Démonstration
* Prenons une suite convergente $u_{n}$ et $K$ une constante réelle ou complexe. Nous voulons prouver que :
* $\lim _{n\rightarrow \infty }(K\cdot u_{n})=K\cdot \lim _{n\rightarrow \infty }u_{n}$
* Notons $L$ la limite de la suite $u_{n}$. Pour prouver l'égalité plus haut, il faut trouver un rang $N$ tel que :
* $|C\cdot u_{n}-C\cdot L|<\epsilon$
* Du fait des propriétés des valeurs absolues, on a :
* $|C|\cdot |u_{n}-L|<\epsilon$
* Si la constante C est non-nulle, l'inégalité précédente peut se reformuler comme suit :
* $|u_{n}-L|<{\frac {\epsilon }{|C|}}$
* Or, vu que la suite $u_{n}$ converge, l'égalité précédente est toujours respectée au-delà d'un certain rang. La division par C ne change pas grand chose, vu que l'on peut prendre epsilon aussi petit que l'on souhaite.
* Notons que la démonstration ne vaut pas si $C=0$, mais ce cas est trivial et donne une suite nulle, qui converge par définition.

### L'inverse d'une suite

Prenons une suite $u_{n}$ dont on connait la limite $\lim _{n\rightarrow \infty }u_{n}$. On peut calculer la limite de l'inverse de cette suite $\lim _{n\rightarrow \infty }\left({\frac {1}{u_{n}}}\right)$, si elle existe. On peut se retrouver face à trois situations, selon que la limite tend vers zéro, tend vers un nombre fini non-nul, ou tend vers l'infini.
| Limite de la suite | Limite de l'inverse |
| $\lim _{n\rightarrow \infty }u_{n}=0$ | $\lim _{n\rightarrow \infty }\left({\frac {1}{u_{n}}}\right)=\infty$ |
| $\lim _{n\rightarrow \infty }u_{n}=L\neq 0$ | $\lim _{n\rightarrow \infty }\left({\frac {1}{u_{n}}}\right)={\frac {1}{L}}$ |
| $\lim _{n\rightarrow \infty }u_{n}=+/-\infty$ | $\lim _{n\rightarrow \infty }\left({\frac {1}{u_{n}}}\right)=0$ |

### Somme et différence de deux suites

Additionner deux suites donne des résultats assez différents selon les suites $(a_{n})$ et $(b_{n})$. En effet, l'addition de deux suites convergentes ne donnera pas le même résultat que l'addition de deux suites divergentes, ou qu'une suite divergente avec une convergente.
Le cas le plus simple est de loin l'addition de deux suites convergentes $(a_{n})$ et $(b_{n})$ qui convergent respectivement vers $a$ et $b$. Leur somme $(a_{n}+b_{n})$ converge vers $a+b$ : la limite d'une somme est égale à la somme des limites
* Démonstration
* Prenons deux suites convergentes $u_{n}$ et $v_{n}$. Nous voulons prouver que :
* $\lim _{n\rightarrow \infty }(v_{n}+u_{n})=\lim _{n\rightarrow \infty }v_{n}+\lim _{n\rightarrow \infty }u_{n}$
* Notons $L_{1}$ la limite de la suite $v_{n}$ et $L_{2}$ la limite de la suite $u_{n}$. Pour prouver l'égalité plus haut, il faut trouver un rang $N$ tel que :
* $|(v_{n}+u_{n})-(L_{1}+L_{2})|<\epsilon$
* Du fait de l'inégalité triangulaire, on a :
* $|(v_{n}+u_{n})-(L_{1}+L_{2})|<|v_{n}-L_{1}|+|u_{n}-L_{2}|$
* Vu que les deux suites convergent, on peut toujours trouver un rang tel que $|v_{n}-L_{1}|<{\frac {\epsilon }{2}}$ et $|u_{n}-L_{2}|<{\frac {\epsilon }{2}}$. On a alors :
* $|(v_{n}+u_{n})-(L_{1}+L_{2})|<|v_{n}-L_{1}|+|u_{n}-L_{2}|<{\frac {\epsilon }{2}}+{\frac {\epsilon }{2}}$
* Ce qui se réécrit, après quelques simplifications :
* $|(v_{n}+u_{n})-(L_{1}+L_{2})|<\epsilon$
* Cette inégalité n'est autre que la définition du fait que $(v_{n}+u_{n})$ converge vers $L_{1}+L_{2}$.
Ce principe est cependant remis en question quand une des deux suites $(a_{n})$ et $(b_{n})$ diverge : la somme des suites va elle aussi diverger. Dans le cas où une des suites $(a_{n})$ et $(b_{n})$ n'a pas de limite, alors la somme $(a_{n}+b_{n})$ ne peut pas avoir de limite. Le cas le plus simple à étudier est celui où la suite divergente tend vers $+\infty$ ou $-\infty$. Dans ce cas, la suite diverge aussi vers $\infty$, à une exception près : celui où une des suite tend vers $+\infty$ et l'autre vers $-\infty$. Dans ce dernier cas, on ne sait pas si les deux infinis se compensent (donnant un zéro), ou si l'un des deux infini l'emporte sur l'autre. Le résultat de la somme ne peut donc pas être connu avec certitude, tout du moins sans techniques particulières : c'est une forme indéterminée.
| $u+v$ | $u+v$ | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) |
| $u+v$ | $u+v$ | $\ell '$ | $-\infty$ | $+\infty$ |
| $\lim u$ (resp. $\lim f$) | $\ell$ | $\ell +\ell '$ | $-\infty$ | $+\infty$ |
| $\lim u$ (resp. $\lim f$) | $-\infty$ | $-\infty$ | $-\infty$ | FI |
| $\lim u$ (resp. $\lim f$) | $+\infty$ | $+\infty$ | FI | $+\infty$ |
    Avec ce qui vient d'être dit, on peut démontrer que les relations suivantes sont équivalentes :
    $\lim _{n\rightarrow \infty }u_{n}=L$
    $\lim _{n\rightarrow \infty }(u_{n}-L)=0$
    Pour le dire en mots, dire que la suite $(u_{n})$ converge vers L est équivalent à dire que la suite $(u_{n}-L)$ converge vers 0.

### Produit de deux suites

Maintenant, étudions la limite du produit de deux suites.
Si les deux suites convergent, alors leur produit converge lui aussi.
* Démonstration
* On veut prouver que :
* $\lim _{n\rightarrow \infty }(u_{n}\cdot v_{n})=(\lim _{n\rightarrow \infty }u_{n})\cdot (\lim _{n\rightarrow \infty }v_{n})$
* Dit autrement, on veut prouver qu'il existe un rang N tel que :
* $|u_{n}\cdot v_{n}-L_{1}\cdot L_{2}|<\epsilon$, avec $L_{1}$ la limite de $u_{n}$ et $L_{2}$ la limite de $v_{n}$.
* Le terme de gauche peut se reformuler comme suit :
* $|u_{n}\cdot v_{n}-L_{1}\cdot L_{2}|=|L_{2}|\cdot |u_{n}-L_{1}|+|u_{n}|\cdot |v_{n}-L_{2}|$
* On peut alors choisir le rang N tel que $|u_{n}-L_{1}|<{\frac {\epsilon }{2\cdot |T|+1}}$ et $|v_{n}-L_{2}|<{\frac {\epsilon }{2\cdot |u_{n}|+1}}$. En combinant cela avec la formule précédente, on a alors :
* $|u_{n}\cdot v_{n}-L_{1}\cdot L_{2}|<|L_{2}|\cdot {\frac {\epsilon }{2\cdot |L_{2}|+1}}+|u_{n}|\cdot {\frac {\epsilon }{2\cdot |u_{n}|+1}}$
* Réorganisons les termes et factorisons epsilon :
* $|u_{n}\cdot v_{n}-L_{1}\cdot L_{2}|<\epsilon \left[{\frac {|L_{2}|}{2\cdot |L_{2}|+1}}+{\frac {|u_{n}|}{2\cdot |u_{n}|+1}}\right]$
* Par définition, on a ${\frac {|u_{n}|}{2\cdot |u_{n}|+1}}<{\frac {1}{2}}$ et ${\frac {L_{2}}{2\cdot |L_{2}|+1}}<{\frac {1}{2}}$, ce qui donne :
* $|u_{n}\cdot v_{n}-L_{1}\cdot L_{2}|<{\frac {\epsilon }{2}}+{\frac {\epsilon }{2}}$
* Ce qui se simplifie en :
* $|u_{n}\cdot v_{n}-L_{1}\cdot L_{2}|<\epsilon$
* Cette expression n'est autre que la définition $\lim _{n\rightarrow \infty }(u_{n}\cdot v_{n})=(\lim _{n\rightarrow \infty }u_{n})\cdot (\lim _{n\rightarrow \infty }v_{n})$.
Si une des deux suites diverge, on a droit soit à un résultat indéterminé, soit à une suite divergente. Quand on multiplie deux suites qui divergent, la suite résultat diverge elle aussi. Même chose quand une suite divergente est multipliée avec une suite convergente dont la limite est non-nulle. Mais les problèmes surviennent quand une des deux suites converge vers zéro. Dans ce cas, on ne sait pas si c'est le zéro ou l'infini qui l'emporte. Le résultat est alors ce qu'on appelle une forme indéterminée. Nous reparlerons de ces formes indéterminée plus bas, mais pour résumer : la suite peut converger ou diverger suivant le cas étudié. Le résultat exact peut se calculer, mais cela demande de reformuler le quotient d'une manière ou d'une autre.
| $u\times v$ | $u\times v$ | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) |
| $u\times v$ | $u\times v$ | $\ell '$ | $0$ | $\infty$ |
| $\lim u$ (resp. $\lim f$) | $\ell$ | $\ell '\times \ell$ | $0$ | $\infty$ |
| $\lim u$ (resp. $\lim f$) | $0$ | $0$ | $0$ | FI |
| $\lim u$ (resp. $\lim f$) | $\infty$ | $\infty$ | $0$ | FI | $\infty$ |
N'oublions pas que les limites/infinis peuvent avoir un signe, ce qui se transmet par la multiplication et le passage à la limite. En tenant compte des signes des limites et des infinis, le tableau précédent devient :
| $u\times v$ | $u\times v$ | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) |
| $u\times v$ | $u\times v$ | $\ell '<0$ | $\ell '>0$ | $0$ | $-\infty$ | $+\infty$ |
| $\lim u$ (resp. $\lim f$) | $\ell <0$ | $\ell \times \ell '$ | $\ell \times \ell '$ | $0$ | $+\infty$ | $-\infty$ |
| $\lim u$ (resp. $\lim f$) | $\ell >0$ | $\ell \times \ell '$ | $\ell \times \ell '$ | $0$ | $-\infty$ | $+\infty$ |
| $\lim u$ (resp. $\lim f$) | $0$ | $0$ | $0$ | $0$ | FI | FI |
| $\lim u$ (resp. $\lim f$) | $-\infty$ | $+\infty$ | $-\infty$ | $0$ | FI | $+\infty$ | $-\infty$ |
| $\lim u$ (resp. $\lim f$) | $+\infty$ | $-\infty$ | $+\infty$ | $-\infty$ | FI | $+\infty$ |

### Quotient de deux suites

Le quotient de deux suites est un peu plus compliqué que le produit de deux suites. Pour le calculer, on prend en compte le fait que ${\frac {u_{n}}{v_{n}}}=u_{n}\cdot {\frac {1}{v_{n}}}$. On peut donc appliquer les formules sur la limite d'un produit de suite, ce qui donne :
    $\lim _{n\rightarrow \infty }\left({\frac {u_{n}}{v_{n}}}\right)=\left(\lim _{n\rightarrow \infty }u_{n}\right)\cdot \left(lim_{n\rightarrow \infty }{\frac {1}{v_{n}}}\right)$
Il y a trois possibilités pour le calcul de l'inverse, suivant que la suite inversée tend vers zéro, une limite finie non-nulle ou l'infini (vers $L\neq 0$, vers 0 ou vers $\infty$.
* Si la suite diviseur converge vers $L\neq 0$, alors le quotient converge comme la suite divisée.
* Si la suite diviseur converge vers zéro, alors le quotient diverge, sauf dans le cas $0 \over 0$ qui est une forme indéterminée.
* Si la suite diviseur diverge, alors le quotient converge vers zéro, sauf dans le cas $\infty \over \infty$ qui est une forme indéterminée.
Pour résumer, on fait donc face à neuf cas différents, du moins si on ne tient pas compte des signes.
| $u \over v$ | $u \over v$ | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) |
| $u \over v$ | $u \over v$ | $\ell '\neq 0$ | $0$ | $\infty$ |
| $\lim u$ (resp. $\lim f$) | $\ell \neq 0$ | ${\frac {\ell }{\ell '}}$ | $+\infty$ | $0$ |
| $\lim u$ (resp. $\lim f$) | $0$ | $0$ | FI | $0$ |
| $\lim u$ (resp. $\lim f$) | $\infty$ | $\infty$ | $\infty$ | FI |
En tant compte des signes, le tableau précédent devient :
| $u \over v$ | $u \over v$ | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) | $\lim v$ (resp. $\lim g$) |
| $u \over v$ | $u \over v$ | $\ell '<0$ | $\ell '>0$ | $0^{-}$ | $0^{+}$ | $-\infty$ | $+\infty$ |
| $\lim u$ (resp. $\lim f$) | $\ell <0$ | ${\frac {\ell }{\ell '}}$ | ${\frac {\ell }{\ell '}}$ | $+\infty$ | $-\infty$ | $0^{(+)}$ | $0^{(-)}$ |
| $\lim u$ (resp. $\lim f$) | $\ell >0$ | ${\frac {\ell }{\ell '}}$ | ${\frac {\ell }{\ell '}}$ | $-\infty$ | $+\infty$ | $0^{(-)}$ | $0^{(+)}$ |
| $\lim u$ (resp. $\lim f$) | $0^{-}$ | $0^{(+)}$ | $0^{(-)}$ | FI | FI | $0^{(+)}$ | $0^{(-)}$ |
| $\lim u$ (resp. $\lim f$) | $0^{+}$ | $0^{(-)}$ | $0^{(+)}$ | FI | FI | $0^{(-)}$ | $0^{(+)}$ |
| $\lim u$ (resp. $\lim f$) | $-\infty$ | $+\infty$ | $-\infty$ | $+\infty$ | $-\infty$ | FI | FI |
| $\lim u$ (resp. $\lim f$) | $+\infty$ | $-\infty$ | $+\infty$ | $-\infty$ | $+\infty$ | FI | FI |

## Les formes indéterminées

Les formes indéterminées surviennent quand on se retrouve devant un calcul impossible en tentant de calculer le produit ou la somme de deux limites. Par exemple, vous pouvez essayer de diviser deux suites qui divergent : vous vous retrouvez à diviser l'infini par lui-même. Le résultat est alors indéterminé et la suite quotient peut aussi bien diverger que converger ! Voici les sept formes indéterminées possibles :
Formes indéterminées :
| $\infty -\infty$ | $0\times \infty$ | $\infty \over \infty$ | $0 \over 0$ | $1^{\infty }$ | $\infty ^{0}$ | $0^{0}$ |

### Lever l'indétermination

Le seul moyen de trouver la vraie valeur d'une forme indéterminée est de reformuler le calcul, en utilisant des techniques spéciales comme le changement de variable. Pour donner un exemple simple, nous allons prendre l'exemple de la suite définie par :
    $u_{n}={\frac {n^{2}+n}{n^{2}}}$
Les deux suites : $u_{n}=n^{2}+n$ et : $u_{n}=n^{2}$ divergent toutes les deux, ce qui fait que la limite est la suivante :
    $\lim _{n\to \infty }(u_{n})={\frac {\lim _{n\to \infty }(n^{2}+n)}{\lim _{n\to \infty }(n^{2})}}={\frac {\infty }{\infty }}$
Une solution pour lever l'indétermination est de simplifier la fraction initiale :
    $u_{n}={\frac {n^{2}+n}{n^{2}}}=1+{\frac {1}{n}}$
On voit alors immédiatement que la suite converge vers :
    $\lim _{n\to \infty }(u_{n})=1+\lim _{n\to \infty }{\frac {1}{n}}=1$