MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

SUITES NUMERIQUES
__________________________________________________________________________________________________________________________
La notion de suite est connue depuis les Grecs (algorithme d'ARCHIMEDE (287 – 212 av J.C.) pour calculer une valeur approchée
de Pi). Par contre, la notion de limite était mal appréciée et cette méconnaissance a donné lieu à de nombreux paradoxes (par exemple le
paradoxe de la tortue et d'Achille, établi par ZENON D'ELEE (Ve siècle av J.C.) ). Plusieurs analystes, et en particulier CAUCHY (1789 –
1857) travaillèrent sur des critères de convergence, mais la définition rigoureuse de convergence nécessitait une définition de  : ce n'est
qu'après ces travaux sur  que WEIERSTRASS (1815-1897) put donner cette définition de convergence.

I) Généralités sur les suites réelles

Définition: Une suite numérique est une suite d'éléments de  ou . On note S(K)
l'ensemble des suites à valeurs dans K.
1) Suites bornées
Définition dans S(): Soit U = (un)n  S().
U est majorée   k| n , un  k
U est minorée   k'| n , k'  un
U est bornée  U est majorée et minorée   k+ | n , |un|  k
Définition dans S(): U= (un)n S() est bornée   k+ | n, |un|  k
Algèbre des suites bornées
Notation: On note B() l'ensemble des suites réelles bornées. On note de même B()
l'ensemble des suites complexes bornées.
En utilisant les inégalités triangulaires et la norme d'un produit dans  ou , on voit que:
 La somme de deux suites bornées est une suite bornée
 Le produit de deux suites bornées est une suite bornée
 Le produit d'une suite bornée par un scalaire est une suite bornée
2) Suites monotones
On se place dans S() .
Définition: Soit U = (un)n  S().
U est croissante  (n,p)2, ( n  p  un  up )  n , un  un+1
U est strictement croissante  (n,p) , ( n < p  un < up 2
)  n , un < un+1
U est décroissante  (n,p) , ( n  p  un  up
2
)  n, un  un+1.
U est strictement décroissante  (n,p) , ( n < p  un > up )  n, un>un+1
2

U est monotone  U est croissante ou est décroissante.

U est strictement monotone  U est strictement croissante ou strictement décroissante.
U est stationnaire  il existe un rang p tel que : n, ( n  p  un = up )

II) Suites réelles convergentes et suites réelles divergentes

1) Convergence et divergence
Définition: Soit U = (un)n  S(). On dit que U est convergente 
 l|    +* ,  n0   | n, n  n0  | un – l |  
Remarque: On peut remplacer "| un – l |  " par "| un – l | < " mais le programme demande .


Théorème: Si la suite (un)n est convergente alors le nombre l rentrant dans la définition est unique.
Définition: Cet unique l est appelé limite de la suite (un)n , on dit que la suite (un)n
converge vers l et on note : l = lim un . On pourra également noté : un → l
n  +

1/8
MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

Dem: Supposons par l'absurde que (un)n converge et qu'il existe deux éléments distincts l et l' tels que :    +* ,
 n1   | n, n  n1  | un – l |   (1) et    +* ,  n2   | n, n  n2  | un – l' |   (2)
Prenons  = |l - l' |. On a bien   +* car on suppose l  l' .
4
Ainsi d'après (1)  n1 | n, n n1  | un – l |   et d'après (2) :  n2   | n, n  n2  | un – l' |  
Soit n0 = sup(n1,n2). On a n, n  n0  ( | un – l |  et | un – l' |  .
Or : l – l' = l - un + un - l'. D'où : | l – l' |  | l - un | + | un - l' | . Ainsi  n  n0, | l – l' |  2  = |l - l' | ce qui est impossible
2
si | l – l' | > 0. On obtient donc une contradiction avec l'hypothèse de départ et donc le théorème est montré .
Remarque: (un)n converge vers l  +* , n0 | n, nn0  |un–l|  
Définition: Soit U  S(). On dit que U est divergente sssi elle n'est pas convergente.
Définition: Soit U  S(). On dit que U diverge vers +  si et seulement si :
M   ,  n0   | n, n  n0  un  M. On note lim un = + 
n  +
Définition: Soit U  S(). On dit que U diverge vers  si et seulement si :
M   ,  n0   | n, n  n0  un  M. On note lim un =  
n  +
Remarque: Il y a plusieurs façons de diverger : si un = n , (un) diverge vers +  ;
si un = (-1)n, (un) diverge en oscillant de 1 à –1 ; si un = sin(n), (un) diverge en restant dans
[-1,1] ; si un = (-1)n n, (un) diverge en s'éloignant indéfiniment dans + et  ...
Remarques: * Soit U  S() et l . Dire que la suite U = (un)n converge vers l équivaut à
dire que la suite (un – l) converge vers 0.
** Le caractère asymptotique (converger vers une certaine limite ou pas) d'une
suite ne dépend pas des premiers termes : c'est un caractère local.
Théorème: Toute suite convergente est bornée.
Dem: Soit U S() de limite l. Fixons >0, par exemple = 1.
Alors  n0  | n , nn0  |un – l|  1 =  On fixe un tel n0.
Soit n, nn0. On a |un|  |un-l| + |l|  1 +|l| = A.
Soit A' = sup |un| : A' existe et est fini car on prend le sup d'un nombre fini de réels. On a pour n < n 0, |un|  A'
0  n  n0-1
Soit alors B = sup{A,A'}. On a n , |un|  B en regroupant les deux inégalités précédentes. Ainsi (un) est bornée.
Théorème: Si une suite (un)n converge vers l > 0, alors il existe un rang à partir duquel un > 0.
Exercice: En utilisant une démonstration du même style, montrer que si U est une suite de réels qui converge
vers une limite l strictement positive alors il existe un rang à partir duquel tous les termes de la suite sont strictement positifs.

2) Opérations algébriques sur les limites
Théorème: Soient U = (un)n et V = (vn)n deux suites convergentes de  de limites respectives l et m.
a) La suite W = (wn)n = U + V est convergente de limite l + m
b) La suite P = (pn)n = U  V est convergente de limite l  m
c) Soit . La suite Q = (qn)n = .U converge vers .l
Dem: a) Soit s = l + m. n , wn – s = (un-l) + (vn-m).
Ainsi n , |wn – s|  |un-l| + |vn-m|. Fixons >0. n1|n, nn1  |un-l|  ' =  et n2|n, nn1  |vn-m|  '.
2
Ainsi, si on pose n0 = sup(n1,n2), on a : n, nn0  |wn – s|   Ainsi W converge vers s.
b) Soit p = lm. n , pn – p = m (un-l) + un(vn-m).
Ainsi n , |pn – p|  |m| |un-l| + |un| |vn-m|. Or (un)n est convergente donc bornée. Soit K>0 un majorant de (|un |) et de |m|
On a : n, |pn –p|  K (|un-l| + |vn-m|). Fixons >0. n1|n, nn1  |un-l|  ' =  et n2|n, nn1  |vn-m|  '
2K
Ainsi, si on pose n0 = sup(n1,n2), on a : n, nn0  |pn – p|  P converge vers p.
c) La suite Q est la suite produit de la suite constante égale à (qui converge vers ) et de la suite
U : on utilise donc le résultat du b)

2/8
 MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

Espace vectoriel des suites qui convergent vers 0

Théorème: Le produit d'une suite convergeant vers 0 par une suite bornée convergea vers 0.
Dem: Soit (un) n une suite de limite nulle et (vn) n une suite bornée . Soit K>0 un majorant de (|vn |) n .
On a n , |un vn| = |un| |vn|  K |un| . Soit >0. On pose ' =  .
K
On sait : n0|n, nn0  |un|  '. Ainsi n, nn0  |un vn|  . CQFD

Quotient de deux suites

Théorème: Soit (un) n une suite convergente de limite l  0. Alors :
1) Il existe un rang à partir duquel tous les termes de la suite sont non nuls
A partir de ce rang n0, on peut donc définir la suite (vn) n des inverses des un
2) La suite (vn) n converge et a pour limite 1
l
Dem: 1) l  0. On considère k = |l| + . Soit 
* k
= . n0|n, nn0  |un-l|  
2

Or un = (un-l) + l d'où |un|  unl – l . D'où n n0  |un|   = k . Ainsi n n0, un  0

2
1 2 l - un
2) vn - 1 = ll-uun. Ainsi pour nn0, comme on a |un|  |l|, on a également vn - l 
l n 2 l 2

Soit alors >0 et ' =  |l| .  n1 | n , nn1  |un-l|  '.
2

2
1
On pose n2 = sup(n0,n1). On a bien : n , nn2  vn - l  D'où lim(vn ) = 1
l
Corollaire: Soit (un)n et (vn)n deux suites convergentes de limite respectives l et m. Si m0, N
| nN, wn = uvn existe et la suite (wn)nN converge et a pour limite l
m
n

Dem: Il suffit d'écrire : (wn) produit de (un) et de l'inverse de (vn) .

On peut regrouper les résultats précédents dans un tableau (on pourra montrer en exercice les résultats donnés
pour les suites réelles divergeant vers + ou - )
Ne figurent pas dans ce tableau les formes indéterminées 1, 0, 00 qui s'obtiennent à partir des autres
un
lim un lim vn lim (un+vn) lim (unvn) lim
vn
l
l m l+m lm si m  0
m
m 0 m 0 F.I. (sauf si vn a un signe constant à
partir d'un certain rang)

  si m>0
  , avec 
m    si m<0 0
= 1 F.I. si m=0
+ 0 + F.I. F.I. (sauf si vn a un signe constant à
partir d'un certain rang)
+ + + + F.I.
+  F.I.  F.I.
0   F.I. 0
0 0 0 0 F.I.
    F.I.

3/8
 MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

3) Compatibilité du passage à la limite avec la relation d'ordre

Théorème: Soient (an) n et (bn) n deux suites réelles convergentes de limites respectives a et b
avec a<b. Alors N  | n , n  N  an < bn
Dem: Soit h = b-a > 0. Soit = 3h . D'après les convergences de (an) et (bn), on sait :
 n0  | n, n  n0  |an – a|   et  n1  | n, n  n1  |bn – b|  
Ainsi si N = sup (n0,n1), on a n , n  N  an  a +  < a + h = a+b = b - h < b -   bn
2 2 2

Théorème: Passage à la limite dans une inégalité large : Soient (an)n et (bn)n deux suites réelles
convergentes de limites respectives a et b. On suppose que : N  | n , n  N  an  bn . Alors a  b
Dem: Supposons par l'absurde que a>b. D'après le théorème précédent,
n1 | n , n  n0  an  bn ce qui contredit l'hypothèse sur les suites (an) et (bn).
1
Remarque: Le théorème est faux avec les inégalités strictes (cf. (0) et ( n+1 ))
Convergence par encadrement
Théorème: Convergence par encadrement ou théorème des gendarmes:
Soient trois suites de réels (un) n , (vn) n et (wn) n telles que
H1 : N | n , n  N  un  vn  wn.
H2 : Les suites (un) n et (wn) n convergent
H3 : Les limites l' et l" de (un) n et (wn) n sont identiques et valent l.
Conclusion : Alors la suite (vn) n converge et a pour limite l.
Dem: Supposons H1, H2 et H3 et considérons l'entier N donné par H1.
On a : n , n  N  un  l  vn  l  wn  l . Donc n, n  N  |vn – l|  sup(|un – l|,|wn – l| )
Soit >0. On sait d'après les convergences de (un) et de (wn) que :
n0 | n , n  n0  |un – l|  et  n1 | n , n  n1  |wn – l|  
D'où en prenant n2 = sup(n0,n1,N) on a n , n  n2  |vn – l|  Ainsi (vn) converge et sa limite est l.
Remarque: Il ne faut pas oublier H3.
Exemple: * un = n n+1 + 2
n + ... + n . Or k*, n2+1  n2+k  n2+n ,
n2+2 n2+n

. Or lim 1 + 1  = 1 = lim  1 +  donc (un) converge vers 1

1 1
d'où: 1 1  un  1 1
1+
n
1+ 1
n
2
 n   2
n 
** un = 1 + 1 + ... + 1
n+1 n+2 n+n
En utilisant : k , n+1  n+k  2n , on montre : n  un  n .Or ces deux suites "encadrantes" n'ont pas la même
*
2n n+1
limite donc on ne peut pour l'instant rien dire de la convergence de (un) . En fait il faut utiliser les sommes de Riemann et
on montre que (un) converge et sa limite est ln(2).
Théorème : Divergence par minoration: Soient deux suites de réels (un) n et (vn) n telles que
H1 : N | n , n  N  un  vn . H2 : La suite (un) n diverge vers +
Conclusion : Alors la suite (vn) n diverge vers +.
Dem: Supposons H1 et H2 et considérons l'entier N donné par H1.
Soit M . D'après la divergence de (un) vers + : n0 | n, n  n0  un  M
Soit n1 = sup(N,n0). On a : n, n  n1  vn  M : Ainsi vn diverge vers +.
Théorème: Soit (vn) n suite de réels et (un) n suite de réels telles que :
H1 : N | n , n  N  |un|  vn . H2 : La suite (vn) n converge vers 0
Conclusion : Alors la suite (un) n converge vers 0.
Dem: Supposons H1 et H2 et considérons l'entier N donné par H1.
Soit >0. On sait d'après la convergence de (vn) que : n0 | n , n  n0  |vn|  
Aussi en prenant n1 = sup(n0,N) on a n , n  n1  |un |  Ainsi (un) converge et sa limite est 0.
Corollaire Soit (un)n une suite de réels convergeant vers l . Alors la suite (|un|)n converge vers |l|
Dem: On applique le résultat précédent en remarquant : ||un| - |l||  |un – l|

4/8
 MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

III) Théorèmes fondamentaux sur les suites

Théorème de la limite monotone
Théorème: Théorème de la limite monotone
Soit (un) n une suite croissante de réels. Alors :
La suite (un) n converge si et seulement si elle est majorée.
Le cas échéant, la limite de (un) n est la borne supérieure de U = {u0, u1, u2,.., un, ...}.
Dem:  Si (un) n converge. Soit l sa limite. On a alors :
 n, un  l car (un) croissante. En effet si : p | up > l alors np, un – l  up – l > 0 donc (un – l ) ne pourrait
converger vers 0. En particulier l majorant de U (1)
 Soit >0. Comme (un) converge vers l , p | n, np  l -   un  l + . Aussi, comme (un) majorée par l ,
n, np  l -   un  l . En particulier, >0, tU | l -   t  l (2)
De (1) et (2) on déduit que l est la borne supérieure de U.
 Si (un) majorée. Alors U est une partie non vide et majorée de  (les majorants de U sont les majorants de la suite (u ) ).
n

U admet donc une borne supérieure que l'on notera M.

Soit >0. Par la caractérisation de borne supérieure dans le cas réel, il existe tU tel que :
M –   t  M. Or tU, donc p | t = up. De plus , comme (un) croissante, n , np  un  up .
On a alors : n, np  M -   un  M (car M majore (un) ) Ainsi la suite (un) converge vers M.
Corollaire 1: Si (un) n décroissante. (un) n converge ssi (un) n minorée.
Corollaire 2: Si (un) n est croissante. Si (un) n non majorée alors (un) n diverge vers + .
Dem: Immédiat : pour le 1) on travaille avec l'opposée de (un) qui est croissante.
Pour le 2) , on écrit que l'on a la contraposée d'un des sens de l'équivalence montrée.
Suites adjacentes
Définition: Soient (un) n et (vn) n deux suites de réels . On dit que les suites (un) et (vn) sont
adjacentes ssi : p | (un)np croissante et (vn)np décroissante et si lim(vn-un) = 0
+
Théorème: Deux suites adjacentes convergent et ont la même limite.
Dem: Quitte à changer les indices on peut considérer p=0. Soit (wn)n = ( vn – un)n
On a : n, wn+1 – wn = (vn+1 – vn ) + (un – un+1)  0 . Ainsi (wn)n décroissante.
De plus (wn)n converge vers 0.Ainsi 0 minore (wn)n donc n, wn  0 i.e. un  vn.
Ainsi, comme (un)n croissante et (vn)n décroissante : n, u0  un  vn  v0 . D'où
(un)n croissante majorée donc converge (vers l1) . De même (vn)n converge (vers l2).
Mais alors (wn)n converge vers l2 – l1 . Or (wn)n converge vers 0 donc l2 = l1
Remarque: On a alors : n, un  l  vn
Dichotomie
Principe: On considère le segment I0 = [a0, b0] . Soit c0 = a0 + b0.
2
On a deux segments [a0, c0] et [c0 , b0]. On en choisit un : on le note I1 = [a1 , b1].
Puis on considère c1 = a1 + b1 et on choisit un segment parmi [a1, c1] et [c1 , b1] celui qui répond à la question que l'on se pose
2
(par exemple qu'une certaine valeur est dans l'intervalle) et on le notera I2 = [a2 , b2] et on réitère le procédé.
On crée ainsi deux suites adjacentes (an) n et (bn) n pour lesquelles la valeur cherchée est dans l'intervalle In = [an , bn]
pour tout n. Les suites convergent donc vers la valeur cherchée.

IV) Suites extraites

Soit  une injection croissante de  dans  ( est strictement croissante).
Par récurrence immédiate on montre que n, (n)  n.
Définition : Soit U = (un)n  S(). On appelle suite extraite de (un) (et associée à
l'extractrice  la suite (vp)p définie par : p, vp = u(p).
Proposition: Toute suite (vp)p extraite d'une suite (un)n convergente est convergente et a la même
limite que (un)n

5/8
 MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

Dem: Soit l la limite de (un) et  l'extractrice donnant (vp). Soit >0.

n0 | n , n  n0  |un - l|  .
Or n, (n)  n. En particulier n , n  n0  (n)  n0  |u(n) - l| = |vn - l|  
Ainsi (vn)n converge vers l.
Remarque: La réciproque du théorème est vraie si elle s'énonce " Si une suite est telle que toutes ses
suites extraites convergent alors elle converge".
Par contre si on l'énonce : " Si une suite est telle qu'une de ses suites extraites converge alors elle converge" cette
réciproque est fausse.
Exemple: Soit un = (-1)n + 1 . (un) diverge car deux de ses suites extraites convergent mais vers des
n
limites distinctes.
Proposition: Soit une suite de réels (un)n . On suppose que les deux suites (u2n)n et (u2n+1)n
convergent vers une même limite l. Alors la suite (un)n converge également vers l
Dem: Soit >0. Il existe p et q tels que : n , n  p  |u2n - l|  et n , n  q  |u2n+1 - l|  
On pose n0 = sup(2p, 2q+1). On a alors : n , n  n0  |un - l|  . Ainsi (un)n converge vers l.

Théorème de Bolzano - Weierstrass

Théorème de Bolzano - Weierstrass: De toute suite bornée de réels on peut extraire une
sous-suite convergente.
Dem: Soit (un)n une suite bornée. Soit I0 = [a0, b0] tel que : n, un  I0
Soit c0 = a0 + b0. Dans [a0, c0] ou [c0 , b0] , il y a une infinité de termes un (pour être plus précis : il y a une infinité de n tel que un [a0, c0]
2
ou il y a une infinité de n tel que un [c0, b0] )
Soit alors I1 un de ces segments ayant une infinité de termes un : I1 = [a1 , b1].
Soit c1 = a1 + b1. Dans [a1, c1] ou [c1 , b1] , il y a une infinité de termes un . Soit alors I2 un de ces segments ayant une infinité
2
de termes un ...
On crée ainsi une suite dichotomique de segments emboîtés (I n) n avec In = [an, bn] où (an) n et (bn) n sont deux suites
adjacentes. On note l la limite commune.
Soit alors  :    : (0) = 0 et (n) est le plus petit indice p > (n-1) tel que upIn
 est bien définie car dans chaque In on a une infinité de termes de la suite (un)n.
De plus, par construction,  est strictement croissante. Enfin, n, u(n)  In .
Aussi, d'après le théorème des gendarmes, puisque n, an ≤ u(n) ≤ bn , (u(n))n converge vers l.
C'est une suite extraite de (un)n et qui est convergente.

V) Traduction séquentielle de certaines propriétés

Définition : Soit A une partie de . On dit que A est une partie dense dans  si elle
rencontre tout intervalle ouvert non vide de .
Exemple: On a déjà vu que  et \ sont denses dans . C'est aussi le cas de .
Proposition : Caratérisation séquentielle de la densité Soit A une partie de . Alors :
A est dense dans  ssi  x ,  (un)n  Aℕ telle que (un)n converge vers x
Dem:  On suppose A dense dans . Soit x. Pour tout n dans ℕ, A rencontre ]x – 10-n, x + 10-n [. Soit un un
élément de A dans cet intervalle. Alors, d'après le th des gendarmes, (u n)n converge vers x.
 On suppose que tout élément de  est limite d'une suite d'éléments de A. Soit un intervalle ouvert non vide I. Soit a, b et
c trois éléments de I distincts tels que a < b < c avec b milieu de [a,c]  I . On considère  = b – a > 0. Comme il existe une
suite (un)n d'éléments de A qui converge vers b, il existe un rang p à partir duquel |u n – b| ≤  . En particulier a ≤ up ≤ c et
donc up est un élément de A dans I.
Proposition : Soit A une partie non vide majorée de . Alors : (un)nAℕ qui converge vers sup(A)
Dem: On applique successivement la caractèrisation de la borne sup avec  = 10 – n et on crée ainsi une suite de A
convergeant vers sup(A) .
Proposition : Soit A une partie ni vide ni majorée de . Alors : (un)nAℕ qui diverge vers +

6/8
 MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

VI) Suites complexes

Convergence et divergence
Définition dans S(): Soit U = (un)n  S(). On dit que U est convergente 
 l|    +* ,  n0   | n, n  n0  | un – l |  


Théorème: Si la suite (un)n est convergente alors le nombre l rentrant dans la définition est unique.
Définition: Cet unique l est appelé limite de la suite (un)n , on dit que la suite (un)n
converge vers l et on note : l = lim un
n  +
Dem: Comme pour 
Remarque: (un)n converge vers l  +* , n0 | n, nn0  |un–l|  
Définition: Soit U  S(). On dit que U est divergente sssi elle n'est pas convergente.
Théorème: Toute suite convergente est bornée.
Dem: Même que pour 
Caractérisation par les parties réelles et imaginaires
Théorème: Soit U S(). Soit R = (Rn) et I = (In) les suites des parties réelles et imaginaires des un :
Rn = Re(un) et In = Im(un). R et I sont deux suites réelles.
Alors : U est convergente  R et I sont convergentes.
De plus, si tel est le cas, les parties réelle et imaginaire de la limite de U sont les limites de R et I.
Dem:  Si U converge. Soit l sa limite, l' = Re(l) et l" = Im(l).
Soit >0. n0|n, nn0  |un – l|  . Or |un-l|  |Re(un-l)| = |Rn-l'| et de même |In-l"|  |un-l|.
Aussi : n, nn0  |Rn-l'|   et n, nn0  |In-l"|  
Ainsi :  +* ,  n0  | nn0  |Rn-l'|  : R converge vers l'
 +* ,  n0  | nn0  |In-l"|  : I converge vers l".
 Si R converge vers l' et I converge vers l". Soit l = l' + i l"
On a : n , |un -l|  |Rn-l'| + |In-l"| (inégalité triangulaire appliquée à Rn-l' et i(In-l"))
Fixons >0. n1|n, nn1  |Rn-l'|  ' =  et n2|n, nn1  |In-l"|  '
2
Ainsi, si on pose n0 = sup(n1,n2), on a : n, nn0  |un – l|   CQFD

Propriété: Soit (un) une suite de réels ou de complexes convergeant vers l . Alors la suite des
modules (|un|) converge vers |l|
Dem: Comme pour 
Opérations algébriques sur les limites
Les résultats concernant les opérations algèbriques se prolongent
Théorème de Bolzano - Weierstrass
Théorème de Bolzano - Weierstrass: De toute suite bornée de complexes on peut
extraire une sous-suite convergente.
Dem: Soit (un)n une suite bornée. Soit  strictement croissante telle que (Re(u(n)))n .
Mais alors (Im(u(n)))n est une suite réelle bornée dont on peut extraire une suite convergente (Im(u(n)))n
Ainsi (u(n))n converge

VII) Suites particulières

1) Suite arithmétique
Définition Soit U = (un)n  S(K). On dit que U est une suite arithmétique 
 rK| n, un+1 – un = r


Propriété : Si (un)n est une suite arithmétique de raison r, on a : n, un = u0 + n r

7/8
MPSI Mise à jour 05/11/15 Suites numériques réelles ou complexes

n-1
Dem: On peut procéder soit par récurrence soit en introduisant la somme téléscopique  (uk+1  uk)
k=0
2) Suite géométrique
Définition Soit U = (un)n  S(K). On dit que U est une suite géométrique 
 qK| n, un+1 = q  un 


Propriété : Si (un)n est une suite géométrique de raison q, on a : n, un = qn  u0

Dem: On peut procéder par récurrence. On peut aussi utiliser un produit téléscopique si les termes sont non nuls.

3) Suite arithmético-géométrique
Définition Soit U = (un)n S(K). On dit que U est une suite arithmético-géométrique
 (r, q)K2| n, un+1 = q  un + r


Remarque: Pour obtenir une expression du terme général d'une suite arithmético-
géométrique définie par la relation n, un+1 = q  un + ron dispose de deux méthodes
- soit on cherche une constante  telle que la suite (un + )n soit géométrique de raison q
n-1
- soit on utilise la somme téléscopique  (vk+1  vk) avec v n = qn  un
k=0
4) Suite récurrente linéaire homogène d'ordre 2 à coefficients constants
Ce sont les suites U = (un)n  S(K), pour lesquelles il existe 2 constantes a et b telles
que : n, un+2 = a un+1 + b un  (R)


Propriété : Soit (C) : X2 = a X + b l'équation caractéristique de la relation (R).

1) Si (C) possède deux solutions distinctes r et s. Alors il existe deux constantes  et  telles que
n, un =  rn +   sn
2) Si (C) possède une solution double r. Alors il existe deux constantes  et  telles que
n, un = ( +  n)  rn
Dem: On peut détermine les constantes  et  pour qu'elles vérifient la relation pour n = 0 et n = 1. Puis on
montre l'égalité par récurrence.

5) Suite récurrente
Ce sont les suites U = (un)n  S(K), pour lesquelles il existe une fonction f et une
constante a telles que : u0 = a et n, un+1 = f( un )


Propriété : Soit la suite récurrente définies par u0 = a et n, un+1 = f( un ) . On suppose

que (un)n converge vers l et que f est continue en l, alors f(l) = l

Dem: Sera vue dans le chapitre "Fonctions continues"

8/8