Documente Academic
Documente Profesional
Documente Cultură
htm
Vous avez toute libert pour tlcharger, imprimer, photocopier ce cours et le diffuser gratuitement. Toute diffusion
titre onreux ou utilisation commerciale est interdite sans accord de l'auteur.
Si vous tes le gestionnaire d'un site sur Internet, vous avez le droit de crer un lien de votre site vers mon site,
condition que ce lien soit accessible librement et gratuitement. Vous ne pouvez pas tlcharger les fichiers de mon site
pour les installer sur le vtre.
SUITES
PLAN
I : Corps des rels
1) Proprits
2) Borne suprieure et infrieure
3) Intervalles
4) Suites
II : Limite d'une suite
1) Prambule
2) Un exemple historique
3) Dfinitions
4) Oprations sur les limites
5) Ingalits et limites
6) Suites monotones
7) Suites adjacentes
8) Thorme de Bolzano-Weierstrass
III : Suites particulires
1) Suites arithmtiques
2) Suites gomtriques
3) Suites arithmticogomtriques
4) Suites rcurrentes linaires
5) Suites rcurrentes
6) Suites homographiques
IV : Comparaison des suites numriques
1) Suites quivalentes
2) Suites de rfrences
Annexe I : fonctions chaotiques
1) Etude d'une suite rcurrente
2) Fonctions chaotiques
Annexe II : Caractrisation du corps des rels
I : Corps des rels
1 Proprits
Un rel peut tre vu, sous forme numrique, comme un entier relatif constituant sa partie entire,
suivie d'une infinit de chiffres constituant sa partie dcimale.
EXEMPLE :
= 3,1415926535897932384626433832795028841971693993751...
-1-
Nous supposerons donc plutt qu'il existe un corps , contenant , muni d'une relation d'ordre
(ingalit) compatible avec les oprations de dans le sens suivant :
a, b, c, a b a + c b + c
a, b, c 0, a b ac bc
La relation d'ordre est dite totale, dans le sens o l'on peut toujours comparer deux rels entre eux. A
noter qu'une relation jouissant des mmes proprits n'existe pas dans .
Soit x un rel.
ou bien x appartient
S = Sup A
De mme :
a A, a I
> 0, a A, a < I +
I = Inf A
AXIOME
Toute partie non vide majore de admet une borne suprieure.
Comme dit plus haut, cette proprit est caractristique de et ne saurait tre dmontre.
CONSEQUENCE
Toute partie non vide minore de admet une borne infrieure.
Il suffit en effet d'effectuer une symtrie par rapport 0 pour changer les nombres positifs et
ngatifs, pour transformer une partie majore en partie minore et une borne suprieure en borne
infrieure. Plus formellement, si B = {a, a A} et si S = Sup A, alors S = Inf B. En effet :
S minore B car, b B, b A et comme b S, S b
-3-
S est le plus grand des minorants car si est strictement positif, a A, a > S , donc
S + > a; or a B, donc S + ne minore par B.
Une utilisation courante de la borne suprieure est la suivante :
x A, x M Sup A M
En effet, M majore x et Sup A est le plus petit des majorants.
De mme :
x A, x m Inf A m
b) Droite acheve :
Dbut de partie rserve aux MPSI
deux symboles, + et .
Sur le nouvel ensemble ainsi dfini, on prolonge la relation d'ordre usuelle sur
x , < x < +
On peut alors dsigner le nouvel ensemble sous la forme d'intervalle [,+].
par :
L'intrt de la droite acheve rside dans le fait que nombre de rsultats dans
est li au fait d'tre
born au pas. Ainsi, si A est major, on peut dfinir S = Sup A. Si A est non major, on posera
Sup A = +. + n'est autre que la borne suprieure de A, mais dans la droite acheve .
Par ailleurs, on obtient, dans la droite acheve, des rsultats plus concis :
Voici une liste de rsultats dans , dont certains seront prouvs ultrieurement :
Toute partie non vide majore admet une borne suprieure.
Toute partie non vide minore admet une borne infrieure.
Toute suite croissante majore converge vers sa borne suprieure. Toute suite croissante non
majore tend vers +.
Toute suite dcroissante minore converge vers sa borne infrieure. Toute suite dcroissante
non minore tend vers .
De toute suite borne, on peut extraire une sous-suite convergente. De toute suite non
borne, on peut extraire une suite tendant vers + ou .
Ces rsultats s'noncent, dans la droite acheve :
Toute partie admet une borne suprieure.
Toute partie admet une borne infrieure.
Toute suite croissante converge vers sa borne suprieure.
Toute suite dcroissante converge vers sa borne infrieure.
De toute suite, on peut extraire une sous-suite convergente.
Fin de partie rserve aux MPSI
c) Partie entire :
PROPOSITION :
Soit x un rel. Il existe un unique entier p, appel partie entire de x tel que :
p x < p + 1.
-4-
Dmonstration :
Soit x > 0. Considrons A = {n
| n x}. Cet ensemble est une partie non vide (elle contient 0)
majore (par x lui-mme). Elle admet donc une borne suprieure . Montrons que est entier et
lment de A. En effet, 1 n'est pas un majorant de A donc il existe n lment de A tel que
1 < n . Les entiers strictement suprieurs n sont alors suprieurs ou gaux n + 1 donc
strictement suprieur et ne peuvent tre dans A. n est donc le plus grand lment de A et est
donc gal . est donc non seulement la borne suprieure mais le maximum de la partie A. n'est
autre que l'entier p que nous cherchons. En effet, p est dans A donc p x, mais p +1 n'est pas dans A
donc x < p+1. Ce qui prouve l'existence. On note p = x .
Pour x < 0, posons p = x 1 si x est non entier, et x si x est entier. Dans le premier cas, on a :
x < x < x + 1
donc x 1 < x < x ce qui montre bien que p est la partie entire de x.
Ainsi, 3,5 = 4.
On remarquera que cette dfinition utilise en Mathmatiques ne correspond pas toujours aux
valeurs donnes par la plupart des calculatrices qui donne souvent comme partie entire de x < 0, la
valeur x.
Montrons l'unicit. Si q < p, avec p et q entiers, alors q + 1 p x, et si q > p, alors q p + 1 > x, ce
qui montre qu'aucun nombre infrieur ou suprieur p ne peut vrifier la dfinition de la partie
entire de x. Seul p convient.
Soit n un entier positif. Tout rel peut tre encadr de manire unique sous la forme :
d
d
d +1
d
M + 1 + ... + nn x < M + 1 + ... + n n
10
10
10
10
valeur approche
valeur approche
par dfaut
par excs
o M est un entier et les di des chiffres entre 0 et 9. Il suffit en effet de considrer l'encadrement
10nx 10nx < 10nx + 1.
3 Intervalles
Un intervalle s'crit |a, b| (*) o | remplae ici [ ou ]. a peut tre fini ou valoir , b peut tre fini ou
valoir +. L'intervalle est alors l'ensemble des rels compris entre a et b, ventuellement au sens
large selon que les crochets sont ouvets ou ferms.
PROPOSITION :
I est un intervalle si et seulement si :
x I, y I, x < z < y z I
Une partie vrifiant cette proprit est dite convexe. Une autre formulation est :
x I, y I, x < y [x, y] I
Dmonstration :
-5-
Il est vident qu'un intervalle vrifie la proprit de convexit. Montrons la rciproque. Soit I
convexe. Montrons qu'il est de la forme (*). Si I est minor, posons a = Inf I sinon, a = . Si I est
major, posons b = Sup I sinon, b = +. On a donc I inclus dans [a, b].
Soit z tel que a < z < b. Dans tous les cas, il existe x et y lments de I tels que :
ax<z<yb
Montrons le pour x :
Si a = , cela signifie que I n'est pas minor, et donc que z ne minore pas I, et donc qu'il
existe x lment de I tel que x < z.
Si a est fini, a est le plus grand des minorants, donc z ne minore pas I, et donc il existe x
lment de I tel que a x < z.
La proprit de convexit prouve que z est lment de I. Ainsi, ]a, b[ est inclus dans I. Le fait que a
et b appartienne ou non I fermera ventuellement l'une des bornes de l'intervalle ou les deux.
PROPOSITION
Soit ]a, b[ un intervalle non vide. Alors ]a, b[ rencontre
et
Dmonstration :
Nous devons montrer que ]a, b[ contient un rationnel et un irrationnel. Soient x et y deux lments
de ]a, b[. Si l'un d'eux est rationnel et l'autre irrationnel, il n'y a rien montrer.
S'ils sont tous deux rationnels, il suffit de montrer que :
i) Entre deux rationnels, il existe un irrationnel.
S'ils sont tous deux irrationnels, il suffit de montrer que :
ii) Entre deux irrationnels, il existe un rationnel.
i) Si x et y sont deux rationnels tels que x < y, alors posons :
(y x) 2
z=x+
2
z est un irrationnel compris entre x et y, car si z tait rationnel, on aurait 2 =
2(z x)
rationnel.
yx
ii) Si x et y sont deux irrationnels tels que x < y, il existe q entier tel que :
1
0< <yx
q
1
(prendre q suprieur
, par exemple la partie entire de ce nombre augment de 1). Considrons
yx
maintenant p = qx . On a :
p qx < p + 1 qx + 1 < qx + q(y x) = qy
p+1
x<
<y
q
p+1
est un rationnel compris entre x et y.
q
Il rsulte des proprits prcdentes que, pour tout x rel, il existe une suite (yn) de rationnels et une
1
1
suite (zn) d'irrationnels ayant pour limite x. En effet, dans tout intervalle ]x , x + [, il existe un
n
n
rationnel yn et un irrationnel zn. On a :
1
1
x yn < et x zn <
n
n
-6-
"
. Ainsi,
telle que tout intervalle ]a, b[ non vide rencontre A, on dit que A est dense
!
, de mme que
&
p
= { n, p , n }
10
1
p
L'anneau [ ] des nombres dyadiques { n, p , n }
2
2
L'ensemble + = {a + b, a , b }.
Dans ce dernier cas, il suffit de montrer qu'il est dense dans [0, 1]. Considrons les parties
fractionnaires des n, savoir les n n, notes galement n mod 1. Tous ces nombres sont
diffrents, car si n mod 1 est gal m mod 1, cela signifie que n m est entier et que est
rationnel, or est irrationnel. Soit > 0. Considrons les intervalles [0, ], [, 2], ..., [k, (k +
1)]... Les n mod 1 tant en nombre infini, les intervalles prcdents ne peuvent tous possder
moins de un des n mod 1, faute de quoi il n'y aurait qu'un nombre fini de n mod 1 dans [0, 1]. Il
existe donc un sous-intervalle de [0, 1] de longueur qui en possde au moins 2. Par diffrence, il
existe un nombre de la forme y = k mod 1 dans [0, ]. Donc 0 y . y est lment de + et
des multiples de y se trouveront dans tout intervalle de longueur .
L'anneaux
'
4 Suites
un (ou ).
Une suite u = (un)n peut tre vue comme une application n
On peut dfinir la somme u + v de deux suites en posant (u + v)n = un + vn.
On peut de mme dfinir le produit par un scalaire : (u)n = un
Ces deux oprations confre l'ensemble des suites une structure d'espace vectoriel (voir le chapitre
Espaces Vectoriels dans le fichier ESPVECT.PDF)
On peut dfinir une relation d'ordre dans l'espace des suites relles :
u v n , un vn
Une suite relle u est majore si :
M, n, un M
Une suite relle u est minore si :
m, n, m un
Une suite relle est borne si elle est majore et minore. Cela peut s'crire galement sous la forme :
M, n, un M
Cette dernire dfinition a l'intrt de pouvoir s'appliquer galement aux suites complexes.
Soient A et B deux sommets adjacents du premier polygone, et C le milieu de l'arc AB. On peut
remarquer que le triangle ABC possde une aire moiti de celle du rectangle de cot AB, dont un
autre ct est tangent au cercle en C. L'aire du triangle ABC est donc suprieure la moiti de l'aire
de la portion de cercle ABC. Ainsi, quand on double le nombre de cts d'un polygone rgulier, la
diffrence d'aire entre le disque et le polygone est divis par un rapport suprieur 2.
-8-
Archimde ne dit pas que la diffrence des aires entre le disque et le polygone tend vers 0 lorsque le
nombre de cts tend vers +, mais il conclut que cette diffrence pourra tre rendue aussi petite
que l'on veut en nonant le principe suivant :
Deux grandeurs ingales tant proposes, si l'on retranche de la plus grande une partie
suprieure sa moiti, et si l'on retranche encore du reste une partie suprieure sa
moiti, et si l'on fait toujours la mme chose, il restera une certaine grandeur qui sera
plus petite que toute grandeur donne de la mme espce.
Nous pourrions traduire cet nonc de la faon suivante :
Soit (un) une suite vrifiant :
1
u0 > 0 et n, un un1,
2
alors : > 0, n, un <
En tenant compte du fait que la suite est ici dcroissante, on pourra comparer cette dernire
formulation (datant du IIIme sicle avant JC) avec la dfinition d'une suite convergeant vers 0
donne ci-dessous (datant de la deuxime moiti du XIXme sicle). Il peut paratre tonnant de voir
qu'il a fallu 2000 ans pour formaliser dfinitivement cette notion de limite.
3 Dfinition
La ncessit des dfinitions suivantes est apparue au cours du XIXme sicle. Elles se substituent aux
concepts intuitifs qui avaient prvalu jusque l.
Les dfinitions cidessous s'appliquent aux suites relles ou complexes.
DEFINITION :
i) Une suite (xn)n converge vers l si :
<
A, N, n > N, xn > A
On remarquera que les dfinitions cidessus correspondent dans tous les cas la dfinition gnrale
suivante :
DEFINITION :
Une suite (xn)n tend vers une limite L, finie ou non si :
V voisinage de L, N, n > N, xn V
un voisinage dsignant une partie contenant :
pour un rel l, un intervalle de la forme ]l , l + [
pour un complexe l, un disque de centre l de rayon
pour +, un intervalle de la forme ]A, +[
pour , un intervalle de la forme ], A[
pour , le complmentaire d'un disque (ou d'un intervalle) de centre 0, de rayon A.
>
Tous les termes de la suite, sauf un nombre fini, sont dans un voisinage quelconque de la limite.
-9-
Une suite qui converge est une suite qui tend vers une limite finie. Sinon, elle diverge. Il rsulte de la
dfinition que toute suite convergente est borne. En effet, tous les termes, sauf un nombre fini, sont
contenus dans l'intervalle ]l , l + [ pour les suites relles, ou le disque de centre l, de rayon > 0
pour les suites complexes.
La limite, finie ou non, si elle existe, est unique. S'il y avait deux limites L et L', il suffirait de choisir
deux voisinages disjoints V et V' pour obtenir une contradiction.
Pour une suite complexe u = v + iw avec vn = Re(un) et wn = Im(un), on a :
lim un = l lim vn = Re(l) et lim wn = Im(l)
n
n
n
En effet, si lim un = l, alors vn Re(l) un l et wn Im(l) un l permettent de montrer
n
l'implication .
Rciproquement, si lim vn = Re(l) et lim wn = Im(l), on pourra utiliser le fait que :
n
n
un l vn Re(l) + wn Im(l)
Ainsi, on a la possibilit de raisonner globalement sur la suite u, ou bien de se ramener l'tude des
deux suites relles v et w.
On appelle sous-suite ou suite extraite d'une suite (xn) une suite que nous noterons (x(n)) o ((n))
est une suite strictement croissante d'indice. Par exemple, si (n) = 2n, la suite extraite est celle des
termes d'indices pairs. Si (n) = 2n + 1, la suite extraite est celle des termes d'indices impairs.
On remarque aisment que, si une suite converge, alors toute sous-suite converge vers la mme
limite. En effet, soit l la limite de (xn), et (x(n)) une suite extraite. tant strictement croissante, on
a, par rcurrence, (n) n pour tout n.
> 0, N, n > N, xn l <
Comme (n) n, on a, a fortiori :
n > N, x(n) l <
On se sert couramment de la contrapose pour montrer qu'une suite ne converge pas. On extrait
deux sous-suites convergeant vers des limites diffrentes. Par exemple : (1)n pour laquelle la soussuite de rang pair converge vers 1 et celle de rang impair vers 1. La suite complte ne converge pas.
4 Oprations sur les limites
Les thormes qui suivent taient jugs vidents au XVIIIme sicle. Une tentative de dmonstration
aurait alors paru incongrue et superflue. Ces dmonstrations nous sont cependant ncessaires pour
plusieurs raisons :
Montrer l'efficacit de notre dfinition de limite.
Justifier la validit de notre intuition.
Servir de modle de dmonstration pouvant tre utilis dans des cas plus complexes.
a) SOMME :
PROPOSITION :
Soient (an) et (bn) deux suites.
i) Si (an) converge vers et (bn) vers , alors (an + bn) converge vers +.
- 10 -
ii) Si (an) est borne et (bn) tend vers , alors (an + bn) tend vers
iii) Dans , si (an) est minore et (bn) tend vers +, alors (an + bn) tend vers +
iv) Dans , si (an) est majore et (bn) tend vers , alors (an + bn) tend vers
?
@
Dmonstration :
i) > 0, an + bn ( + ) an + bn
Or, N, n > N, an < et M, n > M, bn < .
Donc n > Max(N,M), an + bn ( + ) < 2.
En particulier, pour toute constante C, lim (C + an) = C + lim an
n
n
ii) A, an + bn bn an
Or, M, n, an M et N, n > N, bn > A + M
Donc, n > N, an + bn > A.
Les dmonstrations pour iii et iv sont analogues celles de ii.
On obtient une forme indtermine lorsque l'une des suites tend vers +, et l'autre vers .
b) PRODUIT :
PROPOSITION :
Soient (an) et (bn) deux suites.
i) Si (an) converge vers et (bn) vers , alors (anbn) converge vers .
ii) Si (an) est borne et (bn) converge vers 0, alors (anbn) tend vers 0
iii) Si ( an ) est minor par un rel strictement positif et si (bn) tend vers , alors (anbn) tend
vers .
Dmonstration :
i) > 0
anbn = an(bn ) + (an )
an bn + an
M bn + an
o M est un majorant de la suite borne (an).
Or, N, n > N, bn <
2M
K, n > K, a <
n
A
m
1
ii) Si (an) tend vers 0, alors ( ) tend vers .
an
1
iii) Si (an) tend vers , alors ( ) tend vers 0.
an
Dmonstration :
i) > 0,
an
1 1
=
an
an
Or N, n > N, an <
Donc, n > N,
et donc an >
2
2
1 1
2
< C an , avec C = 2
an
Or M, n > M, an <
C
Donc, n > Max(N,M),
1 1
<
an
- 12 -
1
1
donc
>A
A
an
a
i) Si (an) converge vers et (bn) vers non nul, alors ( n) converge vers .
bn
a
ii) Si (an) est borne et (bn) converge vers , alors ( n) tend vers 0.
bn
a
iii) Si ( an ) est minor par un rel strictement positif et si (bn) tend vers 0, alors ( n) tend
bn
vers .
a
iv) Si (an) converge vers et si (bn) est borne, alors ( n) converge vers .
bn
a
v) Si (an) converge vers 0 et si ( bn ) est minore par un rel strictement positif, alors ( n)
bn
converge vers 0.
Dmonstration :
Il suffit d'utiliser les rsultats dmontrs pour le produit et l'inverse
On obtient une forme indtermine lorsque les suites tendent vers , ou vers 0.
5 Ingalits et limites
Ce paragraphe n'est valable que sur .
PROPOSITION :
Soit (xn) une suite qui converge vers l. Alors :
i) l > a ( N, n > N, xn > a
ii) N, n > N, xn a l a
Dmonstration :
i) Soit l = Sup(xn). Nous allons montrer que (xn) converge vers l. On a :
(*) n, xn+1 xn
(**) n, xn l
(***) > 0, N, l < xN
Soit > 0 et considrons le N donn par (***). Par rcurrence, (*) permet de montrer que :
n > N, xn xN
Donc, en utilisant (**) n > N, l < xN xn l < l +
ii) On a :
(*) n, xn+1 xn
(**) A, N, xN > A
Soit A donn, et considrons le N donn par (**). Par rcurrence, (*) permet de montrer que :
n > N, xn xN
Donc, n > N, A < xN xn
On a videmment la proposition duale :
PROPOSITION :
Soit (xn) une suite dcroissante. Alors :
i) Ou bien (xn) est minore et alors (xn) converge.
ii) Ou bien (xn) n'est pas minore et alors (xn) tend vers .
- 14 -
EXEMPLE 2 :
1
1
Soit xn = 1 + + ... + . La suite est croissante. On a :
n
2
1
1
1
1
1
1
1
x2n = 1 + + ( + ) + ( + ... + ) + ... + ( n1
+ ... + n)
2 3 4
5
8
2 +1
2
n1
2
1
1
1 2 4
1 + + + + ... + n = 1 + + ... +
2
2
2
2 4 8
n
1+
2
Donc la suite n'est pas majore. Elle tend vers +.
7 Suites adjacentes
Ce paragraphe n'est valable que sur .
Avant de dfinir les suites adjacentes, nous allons d'abord tudier les suites vrifiant les proprits
suivantes.
PROPOSITION :
Soit (an) et (bn) deux suites vrifiant :
(an) est croissante
(bn) est dcroissante
n, an bn
Alors ces deux suites convergent vers des limites et telles que .
Dmonstration :
Montrons d'abord que : n, m, an bm. En effet :
Si n m, on a an am bm
Si n > m , on a an bn bm
Donc (an) est une suite croissante majore par n'importe quel terme de la suite (bm). Elle converge
donc vers une limite . tant la borne suprieure de la suite (an), elle est infrieure tout majorant
de la suite. On a donc :
m, bm.
La suite (bm) est dcroissante minore. Elle converge donc vers une limite vrifiant :
.
Cette proposition admet comme corollaire la proprit des segments embots. Soit (In) = ([an, bn])
une suite dcroissante (au sens de l'inclusion) de segments, alors il existe un lment commun tous
les segments. La proposition permet de montrer que l'intersection de tous les segments est gale
[, ], o est la limite des an et la limite des bn.
- 15 -
= a
bn+1
a
ii) (an) est croissante et (bn) est dcroissante.
a + bn
a bn
bn+1 bn = n
bn = n
0
2
2
- 16 -
an+1 an =
a
a
0
bn+1 bn
iii) Il en rsulte que (an) converge vers une limite et (bn) vers une limite . En passant la
limite dans les relations dfinissant an et bn, on obtient :
a
+
= et =
= a et = = = a
2
On dit que n a "la vue bouche" si : p > n, xp xn. (Il existe un entier p suprieur n et situ plus
haut que lui).
Il y a alors deux cas :
Ou bien il y a une infinit d'entiers ayant vue sur la mer. Dans ce cas, les xn correspondant forment
une sous-suite dcroissante. Etant minore, elle converge.
Ou bien il n'y a qu'un nombre fini d'entiers ayant vue sur la mer. Se plaant au-del de ce nombre fini,
tous les termes ont la vue bouche. On en choisit un d'indice p0. Il existe un indice p1 > p0 tel que xp1
xp0 puis p2 > p1 tel que xp2 xp1, etc... On construit ainsi une sous-suite croissante. Etant majore,
elle converge. Etant borne par a et b, la limite est dans [a,b].
Dmonstration 3 :
Soit yn = Sup {xp | p n}. La suite (yn) est dcroissante (car {xp | p n+1} est un ensemble inclus
dans {xp | p n} donc est major par yn donc sa borne suprieure yn+1 est infrieure ou gale ce
majorant yn). En outre, la suite (xn) tant minore, il en est de mme des yn. Etant dcroissante
minore, la suite (yn) converge vers une limite l. Nous allons montrer qu'il existe une sous-suite de
(xn) qui converge vers l.
Soit = 1. Il existe N1 (et mme une infinit de tels N1) tel que l 1 < yN1 < l + 1 (dfinition de la
limite d'une suite convergente, ici (yn)).
Il existe donc xp1, avec p1 N1, tel que l 1 < xp1 yN1 < l + 1 (dfinition de la borne sup, ici yN1)
1
Supposons xp1, xp2, ..., xpk1 dfinis et choisissons = . Il existe Nk tel que, pour tout n N, on ait
k
1
1
l < yn < l + ( nouveau dfinition de la convergence de la suite (yn))
k
k
Choisissons n suprieur pk1. Il existe alors un xpk, avec pk n tel que :
1
1
l < xpk yn < l +
k
k
(A nouveau, dfinition de la borne sup yn)
Continuant indfiniment, on construit une sous-suite (xpk) telle que, pour tout k, on ait :
1
1
l < xpk < l +
k
k
Cette suite converge donc vers l.
EXEMPLE : On notera que la dmonstration ne donne pas de construction explicite de la sous-suite.
On peut ne pas tre capable d'expliciter une telle sous-suite. Par exemple, il existe des entiers n1, n2,
..., nk strictement croissant tels que sin(nk) converge, mais on n'en possde pas d'expression. On
obtiendra un joli dessin des 1000 premiers points de la suite sin(n) en traant en Python les points de
coordonnes (n, sin(n)) au moyen de la commande suivante
plot([seq([n,sin(n)],n=0..1000)],style=POINT);
- 18 -
u0 + u1 + ... + un = (n + 1)u0 + r
2 Suites gomtriques
Une suite gomtrique est donne par son premier terme u0 et sa raison q (non nulle en gnral) :
n, un+1 = q un
On a alors par rcurrence :
un = qn u0
et
u0 + u1 + ... + un = (n + 1)u0
1 qn+1
= u0
1q
si q = 1
si q 1
u0
ce qu'on
1q
u0
1q
EXEMPLE :
Une utilisation courante des suites gomtriques intervient dans les prts crdits. Un prteur
dispose d'une somme M qu'il consent prter au taux d'intrt mensuel t. Un emprunteur demande
recevoir cette somme M en contrepartie d'un remboursement mensuel d'une somme a, pendant n
mensualits. Quelle est la valeur de a en fonction de M, t et n ?
Du point de vue de prteur, le taux d'intrt correspond ce qu'il pourrait gagner par ailleurs en
plaant son argent. Ainsi, le capital M deviendrait M(1 + t) au bout du premier mois, M(1 + t)2 au
bout du deuxime, ..., M(1 + t)n au bout de n mois. Il ne peut consentir prter la somme M que si
les remboursements rguliers lui permettent d'obtenir un capital quivalent M(1 + t)n au bout de n
mois, en plaant ces remboursements dans des conditions comparables. Ainsi, recevant une somme a
au bout d'un mois, et plaant cette somme au taux t, il aura a(1 + t)n1 au bout des n 1 mois
restants. Recevant une autre somme a au bout de deux mois, il aura a(1 + t)n2 au bout des n 2
mois restants, etc... La dernire somme reue, au nme mois, est a et ne rapporte aucun intrt. Son
capital final sera donc :
(1 + t)n 1
a(1 + t)n1 + a(1 + t)n2 + ... + a(1 + t) + a = a
t
n
qui doit tre gal M(1 + t) , d'o la relation :
Mt
a=
1 (1 + t)n
Une autre explication de cette formule sera donne au paragraphe suivant.
- 19 -
Indiquons par ailleurs qu'il existe deux mthodes pour passer du temps mensuel t au taux annuel T :
La mthode exacte du taux actuariel (tenant compte des intrts cumuls) :
1 + T = (1 + t)12
Ainsi, un taux annuel de 6% correspond un taux mensuel de 0,4868 %.
T
(tout en pratiquant
12
quand mme des intrts cumuls). Ainsi, un taux proportionnel annonc de 6% correspond un
taux mensuel de 0,5 %, et donc un taux annuel actuariel rel de 6,17 % = 1,00512 1. Le prteur a
avantage parler de taux proportionnel. A charge pour l'emprunteur de le convertir en taux actuariel
qui lui sera vraiment appliqu.
La mthode du taux proportionnel consistant annoncer la formule t =
Application numrique : emprunt de 40 000 Euros au taux annuel de 6% sur 10 ans. Le montant
mensuel des remboursements est de 440,90 Euros au taux actuariel, et de 444,08 au taux
proportionnel. La diffrence est minime, mais, sur 120 mois, cela reprsente quand mme 381,60
Euros.
3 Suites arithmtico-gomtriques
Une telle suite est de la forme :
n, un+1 = aun + b
avec b 0 et a 1, sinon on retrouve les suites prcdentes.
Une solution particulire est obtenue pour la suite constante l telle que l = al + b. Cette valeur l est
d'ailleurs la limite ventuelle de la suite si elle converge. Soit (vn) la suite auxiliaire dfinie par :
n, vn = un l.
On a alors : n, vn+1 = avn autrement dit, la suite (vn) est la solution gnrale de l'quation
homogne. On a vn = an v0 et un = l + an (u0 l)
La suite converge donc si et seulement si a < 1 ou u0 = l.
EXEMPLE :
Un prteur dispose d'une somme M qu'il consent prter au taux d'intrt mensuel t. Un emprunteur
demande recevoir cette somme M en contrepartie d'un paiement mensuel d'une somme a, pendant
n mensualits. Quelle est la valeur de a en fonction de M, t et n ?
Au moment de payer la kme mensualit, l'emprunteur a dj rembours une partie du capital. Soit
Ck1 le capital restant rembourser aprs le k 1me versement, de sorte que C0 = M et Cn = 0. Le
paiment de la mensualit a consiste d'une part rembourser la partie du capital Ck1 Ck, d'autre part
payer des intrts sur le capital Ck1 pendant un mois, de sorte que :
a = Ck1 Ck + tCk1
Ck = (1 + t)Ck1 a
a
On reconnat dans (Ck) une suite arithmtico-gomtrique, de point fixe l = (1 + t)l a, soit l =
t
a
a
Ck = (1 + t)(Ck1 )
t
t
a
a
a
Ck = (1 + t)k(C0 ) = (1 + t)k(M )
t
t
t
a
a
= (1 + t)n(M ) puisque Cn = 0
t
t
- 20 -
a=
Mt
1 (1 + t)n
Mthode 1)
Les suites gomtriques rn non nulles solution de cette rcurrence vrifient :
r2 = ar + b
Soit r solution (ventuellement complexe). Cherchons les autres solutions sous la forme : un = vnrn.
On obtient :
vn+2 r2 = ar vn+1 + b vn
vn+2(ar + b) = ar vn+1 + b vn
On en dduit que vn = C(
Mthode 2)
Posons S = {(un) | (un) vrifie (*)}
S est un sous-espace vectoriel de l'espace vectoriel des suites. Cet espace est de dimension 2. En
effet, considrons les deux suites particulires U et V lments de S, dfinies par U0 = 1 et U1 = 0, V0
= 0 et V1 = 1. On prouve facilement par rcurrence que toute suite u de S s'crit :
u = u0U + u1V
Cette dcomposition est unique. Ceci prouve que (U,V) constitue une base de S. Cette base est
malheureusement de peu d'utilit car elle ne permet pas de calculer le terme gnral de la suite.
Cherchons donc une autre base. Cherchons les lments de S qui sont des suites gomtriques (rn). r
doit alors vrifier :
r2 = ar + b
Cette quation s'appelle quation caractristique associe la suite.
- 21 -
a
a2
Si le discriminant est nul, alors il y a une racine unique r, gale , et b = . Cherchons
2
4
n
une autre suite sous la forme vn r . On obtient alors :
vn+2 r2 = a.vn+1 r + b.vn
a2
v
v
vn+2 = a2 n+1 a2 n
4
2
4
vn+2 = 2vn+1 vn
.
Si le discriminant est positif, cf cidessus
Si le discriminant est nul, cf cidessus
Si le discriminant est ngatif, alors, en tant que sous-espace vectoriel complexe, on peut
prendre comme base les suites gomtriques de raison complexe r1 et r2, ncessairement conjugues
si a et b sont rels. Mais on peut galement prendre Re(r1n) et Im(r2n) qui, tant combinaison
linaires de r1n et r2n sont bien lment de S, sont relles, et engendrent S.
PROPOSITION :
Soit la relation de rcurrence un+2 = aun+1 + bun. On associe cette relation l'quation
caractristique r2 = ar + b. L'ensemble des suites solutions forme un espace vectoriel de dimension
2 dont une base est :
Si le discriminant est non nul : (r1n) et (r2n) o r1 et r2 sont solution de l'quation
caractristique. Dans le cas d'un discriminant ngatif sur , on prend (Im(r1n)) et (Re(r1n)).
Si le discriminant est nul : (rn) et (nrn) o r est racine double de l'quation caractristique.
EXEMPLES :
un+2 = 3un+1 2un
un = + 2n
1+ 5 n
1 5 n
un = (
) +(
)
2
2
un = 2n + n2n
5 Suites rcurrentes
On s'intresse aux suites de la forme un = f(un1) o f est une fonction continue dfinie sur un
intervalle I. De faon que la suite soit dfinie pour tout n, nous supposerons que f(I) est inclus dans
I.
a) limite ventuelle :
Si l est une limite possible de la suite, alors, en passant la limite dans la relation de rcurrence,
l = f(l). De tels points sont appels points fixes de f.
Dans toutes les tudes qui suivent, un graphique est de la plus grande utilit.
b) f croissante :
- 22 -
Une fois que l'on a trouv les limites ventuelles, on partage I en intervalles de la forme [a, b], o a
et b sont des limites ventuelles ou + ou , ce qui est possible le plus souvent, sauf cas d'une
fonction f pathologique. Commenons par supposer [a, b] born. On a alors :
f(a) = a
a < x < b f(a) f(x) f(b) a f(x) b
f(b) = b
f(x) x est de signe constant sur [a, b].
Traitons d'abord le cas o f(x) x 0 sur ]a, b[. La construction suivante permet d'utiliser un
graphique pour conjecturer le comportement de la suite. On trace le graphe de f, ainsi que la droite
y = x.
b
(u2,u3)
(u1,u2)
(u3,u3)
(u2,u2)
(u0,u1)
(u1,u1)
a
a
(u0,0)
On a indiqu sur "l'escalier" qui est dessin les coordonnes des points anguleux. La suite (un)
apparat aussi bien comme suite des abscisses que comme suite des ordonnes. On voit
immdiatement que la suite est croissante majore par b. Vrifions-le :
Soit u0 lment de ]a, b[. On a alors :
i) n, un [a, b].
Cette proprit est vraie pour n = 0. Si elle est vraie pour n1, alors on a :
a un1 b f(a) f(un1) f(b) car f est croissante
a un b car f(a) = a, f(un1) = un et f(b) = b.
ii) (un) est croissante.
En posant x = un1, on a en effet f(x) x un un1.
iii) (un) est croissante majore par b, donc est convergente. Sa limite ventuelle est l, point
fixe suprieur ou gal u0 et infrieur ou gal b. Le seul qui convienne est b. Ainsi la suite
converge vers b.
Dans le cas o f(x) x 0 sur ]a, b[, on montre de mme que la suite est dcroissante,
convergente vers a.
- 23 -
(u1,u1)
(u2,u2)
(u0,u1)
(u1,u2)
(u0,0)
Ainsi, le sens de variation de la suite n'est pas li celui de f, mais seulement la position de f(x) par
rapport x. On a le rsultat suivant :
f croissante sur I (un) monotone.
qui peut d'ailleurs se montrer directement par rcurrence.
Considrons maintenant le cas d'un intervalle partitionnant I non born, par exemple [a, +[ et
f(x) x > 0 sur [a, +[. On montre comme prcdemment que la suite reste dans [a, +[, et est
croissante. Si elle convergeait, ce serait vers un point fixe l suprieur a, ce qui est contraire notre
hypothse. On en conclut donc que la suite ne converge pas, et qu'elle tend donc vers +. Si
f(x) x < 0, la suite est dcroissante et converge vers a. On traitera de mme le cas ], b].
EXEMPLE 1 :
f(x) = 2x + 3 . Le point fixe est 3. Toutes les suites convergent vers 3.
EXEMPLE 2 :
f(x) = 2exp(x 2). Il existe deux points fixes, l'un attractif, l'autre rpulsif.
c) f dcroissante :
On peut distinguer le cas de la sous-suite de rang pair (u2n) et de rang impair (u2n+1) car :
u2n = f o f(u2n2) = g(u2n2)
u2n+1 = f o f(u2n1) = g(u2n1)
avec g = f o f croissante. On peut donc appliquer g l'tude prcdente. Chacune des deux suites est
donc monotone, et de monotonie oppose car u2n+1 = f(u2n), donc si (u2n) crot par exemple, (u2n+1)
dcrot. Il se peut que la suite admette une limite, mais aussi que (u2n) tende vers l et (u2n+1) vers l'
avec l = f(l') et l' = f(l). C'est le cas dans l'illustration ci-dessous o l l' :
- 24 -
Il peut aussi ne pas y avoir de limite, la suite (un) tendant vers l'infini.
On peut aussi essayer de majorer un l o l est une limite ventuelle.
D'une manire gnrale, on montrera par rcurrence que, si l est point fixe de f, un l change de
signe chaque incrmentation de n.
EXEMPLE 1 :
f(x) =
4 3x
10
124 4
1
, ]. Le point fixe est . On a, en
27 3
2
un+1
1 3
1
un
2 5
2
1
3
1
1
( )n u0 et la suite converge vers .
2
5
2
2
EXEMPLE 2 :
3
f(x) = 2
2x + 1
Le point fixe est 1. La mthode de l'exemple 1 ne donne pas grand chose. On tudie les suites de
rang pair, et de rang impair. On pose g = f o f. Le signe de g(x) x est celui de :
- 25 -
Mme dans le cas o f est continue, la situation est complexe et fait l'objet de recherches trs
pousses. Les suites que l'on obtient sont lies aux notions de fonctions chaotiques, de fractals, de
sensibilit aux valeurs initiales, d'effet papillon... On se reportera l'annexe I, Fonctions chaotiques.
IV : Comparaison des suites numriques
1 Suites quivalentes
DEFINITION :
i) Une suite (xn) est ngligeable devant une suite (yn) s'il existe une suite (n) tendant vers 0
telle que xn = ynn pour tout n.
ii) Une suite (xn) est quivalente une suite (yn) s'il existe une suite (n) tendant vers 0 telle
que xn = yn.(1+n) pour tout n.
iii) Une suite (xn) est domine par une suite (yn) s'il existe une constante C telle que, pour
tout n, xn C yn .
Pour des suites ne s'annulant pas, cela signifie :
x
i) n tend vers 0. On note xn = o(yn)
yn
x
ii) n tend vers 1. On note xn yn.
yn
x
iii) ( n) est borne. On note xn = O(yn)
yn
Les proprits suivantes rsultent directement des dfinitions :
Si xn = yn + zn et si (zn) est ngligeable devant (yn), alors (xn) et (yn) sont quivalentes.
x
y
Si xn xn' et yn yn', alors xn xn' yn yn' et n n
xn' yn'
2 Suites de rfrences
On dispose des comparaisons suivantes :
- 26 -
Suites tendant vers + : Pour > 0, > 0, k > 1, on note ci-dessous les suites par ordre de
dominance. Une suite est ngligeable devant les suites situes sa droite.
(ln(n))
n
kn
n!
Suites tendant vers 0 : Pour > 0, > 0, k < 1
1
1
kn
n!
n
1
(ln(n))
Le cas des suites tendant vers 0 se dduit du cas des suites tendant vers l'infini par inversion. Il suffit
donc de montrer le permier cas :
(ln(n))
ln(n)
lim
= 0 car lim
b
/ = 0 qu'il suffit d'lever la puissance .
n
n+
n+ n
n
n
n/ln(k) ln(k)
n/ln(k)
lim
=
lim
=
lim
(
)
=
0
car
lim
=0
n
nln(k)
n
n
n k n e
n e
n e
kn
Enfin, pour le calcul de lim
, posons K un entier suprieur k, prenons n suprieur K et
n n!
crivons :
kn
kK
knK
kn
=
=
(
)
dont la limite est nulle puisque (
)
est une suite
1 2 ... K
K+1
K+1
gomtrique de raison infrieure 1.
Annexe I : fonctions chaotiques
Les points exposs ci-dessous ont fait l'objet de recherches actives lors des dernires dcennies,
comme le montre la bibliographie suivante :
A. N. Sharkovski, Coexistence of cycles of a continuing map of a line into itself, Ukrainian Math.
J., 16 (1964), p.61-71 (en russe)
T. Li & J. Yorke, Period three implies chaos, Amer. Math. Monthly, 82 (1975), p.985-992
R. Devaney, An introduction to chaotic dynamical systems, 2nd ed. Addison-Wesley, Redwood
City, CA, (1989)
B.S. Du, A simple proof of Sharkovsky's theorem, Amer. Math. Monthly 111 (2004) 595-599.
B.S. Du, A simple proof of Sharkovsky's theorem revisited, Amer. Math. Monthly 114 (2007)
152-155.
1 Etude d'une suite rcurrente
Considrons une fonction polynme 4x(1 x) du second degr (le type de fonction le plus simple
qui soit, aprs les fonctions affines) et considrons la suite rcurrente dfinie par :
xn+1 = 4xn(1 xn)
o x0 [0,1] et [0,1]
Cette suite particulire est caractristique de phnomnes tout fait gnraux, relatifs de
nombreuses suites, et que l'on pourra tester numriquement sur une simple calculatrice :
convergence vers une limite pour < 0,75, avec (xn) monotone ou non. Ci-dessous, = 0,7. La
suite converge vers l'unique point fixe positif.
- 27 -
bifurcation partir de 1 = 0,75 de la suite vers deux valeurs, ci-dessous, pour = 0,77. Le point
fixe s'est scind en deux valeurs s'loignant peu peu au fur et mesure que augmente. On a pris
x0 proche d'une des deux valeurs.
puis bifurcation vers quatre valeurs pour une certaine valeur du paramtre 2, ci-dessous pour
= 0,865. Les deux valeurs prcdentes se scindent nouveau en deux.
- 28 -
puis vers huit valeurs pour une valeur 3 du paramtre, ... Les i convergent vers . Feigenbaum a
n1
montr que n
convergeait vers une limite appele depuis nombre de Feigenbaum. Cette limite
n+1 n
est une constante universelle dans le sens o elle n'est pas propre la fonction 4x(1 x), mais
s'applique galement aux fonctions de mme forme, telles sin(x).
comportement chaotique de la suite (xn) lorsque > . Ci-dessous pour = 0.95.
Cela ne signifie pas seulement que la suite ne converge pas, mais aussi qu'il est impossible d'tre
certains de la valeur de la suite au bout de quelques termes. Toujours pour = 0.95, en partant de
x0 = 0.4, on obtient un rsultat x50 diffrent suivant la calculatrice ou le logiciel utilis (par exemple
0.5804900348 pour ma calculatrice, 0.2966295248 en utilisant MAPLE, 0.4340637104587618 en
utilisant Python). L'itration est ici extrmement sensible aux erreurs d'arrondis. Ainsi, en Python,
x1000 prend la valeur 0.19474718929843357 en utilisant la rcurrence xn+1 = 4xn(1 xn), mais vaut
0.2308122632175027 si on effectue le calcul sous la forme xn+1 = 4(xn xn2), illustrant
l'impossibilit de toute prvision pour ce modle au-del d'un certain rang. Une telle sensibilit a t
mise en vidence dans les calculs relatifs aux prvisions mtorologiques et explique la limitation
actuelle huit jours de ces prvisions. Une infime variation des donnes initiales donnera au bout de
ce dlai un temps prvu totalement diffrent. L'image illustrant ce phnomne est passe dans le
grand public sous le nom d'effet papillon (un battement d'aile de papillon suffira provoquer un
cyclne) et est en passe de figurer ct du mythe de la pomme de Newton et de la baignoire
d'Archimde.
A noter cependant qu'il y a vingt ans, les prvisions mtorologiques taient limites un ou deux
jours. Les progrs sont ds d'une part la prise en compte des donnes mondiales et non plus
seulement des donnes nationales pour le calcul du climat, et l'augmentation de vitesse des
ordinateurs. Nul intrt de prvoir le temps sur une semaine s'il faut un mois de calcul pour cela !! Il
n'en reste pas moins vrai que, quels que soient les progrs techniques raliss, il reste une barrire
inhrente au problme et son instabilit.
Revenons notre suite rcurrente. Il existe certaines valeurs de dans la zone > pour laquelle
le comportement redevient rgulier, et en particulier des valeurs du paramtre pour lesquelles la suite
(xn) admet 3, 5, 7, ... limites possibles de sous-suites. Ci-dessous, trois valeurs pour = 0,9580.
- 29 -
- 30 -
Premire
bifurcation
La suite (xn)
converge vers
1 1/4
Deuxime
bifurcation
La suite (xn)
converge vers
0
1
1 3
Lorsque est infrieur , la suite tend vers 0. Pour compris entre et , la suite tend vers le
4
4 4
1
point fixe x = 4x(1 x), soit x = 1 , ce qui correspond la branche d'hyperbole. Ensuite, la
4
suite se scinde en deux, la sous-suite de rang pair convergeant vers une limite et celle de rang impair
vers une autre, puis chacune se scinde nouveau en deux, etc...
- 31 -
Au dela de apparat une nuage de points. Si on agrandit cette zone, on verra apparatre une bande
de valeurs de o la suite admet trois valeurs d'adhrence.
Enfin, il existe une fonction continue admettant des cycles d'ordre 2n et eux seulement. On peut
montrer qu'un tel exemple est donn par la fonction suivante :
1
1
g(x) = 2x +
si 0 x
2
4
3
1
3
= 2x +
si x
2
4
4
3
3
= 2x
si x 1
2
4
Dans l'expression f(x) = 4x(1 x), est choisi entre 0 et 1 de faon que [0,1] soit stable par f. Ce
1
n'est plus le cas si > 1. Dans ce cas, [0,1] se divise en trois intervalles, symtriques par rapport ,
2
I, J et K tels que f(I) = f(K) = [0,1] et f(J) soit inclus dans ]1,+[. Si on s'intresse aux points dont
les itrs restent dans [0,1], il faut donc enlever J au segment [0,1], mais galement un segment I et
K, etc... de sorte que l'ensemble des points dont l'orbite est dans [0,1] forme un ensemble dit
ensemble de Cantor.
2 Fonctions chaotiques
Soit E l'ensemble des suites s = (si)i formes de 0 ou de 1. E est muni de la distance suivante :
siti
i=0
2i
d(s,t) =
Deux suites "proches" concident sur un certain nombre de termes. Elles sont d'autant plus proches
que le nombre de termes pour lesquelles elles cocident est grand. On pose : E E
s (s) = s1s2...sn...
(s) est la suite s dont on a supprim le terme initial. On peut vrifier que :
est continue. (Pour que (s) et (t) concident sur n termes, il suffit que s et t concident sur
n + 1 termes)
L'ensemble des points priodique de est dense (*). (Toute suite s peut tre approche d'aussi
prs que l'on veut par une suite priodique de priode suffisamment grande)
Il en est a fortiori de mme de l'ensemble des points x ultimement priodiques (i.e. N tel que
(n(x))n>N est priodique).
Il en est galement de mme des points non ultimement priodiques.
Il existe un point de E dont l'orbite est dense. Prendre par exemple le point 0100011011000001...
constitu de 0 1 00 01 10 11 000 001 ... mis bout bout.
est topologiquement transitive (**), ce qui signifie que, pour tout ouvert U et V, il existe n
entier et x dans U tel que n(x) soit dans V. (Ainsi, on peut passer de tout ouvert U tout ouvert V
par l'intermdiaire de , condition de bien choisir son point initial et d'itrer suffisamment ). Ce
point rsulte du prcdent, car on montre que toutes les fonctions possdant une orbite dense sont
topologiquement transitives.
possde une dpendance sensible aux conditions initiales (***), ce qui signifie que :
> 0, x, > 0, y, n , d(x,y) < et d(n(x),n(y)) >
(Si on bouge un peu le point initial de n'importe quelle quantit , le point final peut se trouver plus
loin que prvu d'une certaine distance , condition d'itrer suffisamment ).
- 33 -
Une fonction vrifiant (*), (**) et (***) est dite chaotique (au sens de Devaney). Si une fonction est
dfinie sur un ensemble infini, alors (*) et (**) entrane (***). Voici des exemples de fonctions
chaotiques :
EXEMPLE 1 : est chaotique. sert de modle de fonction chaotique et, pour montrer qu'une
fonction est chaotique, on tente souvent de la relier .
EXEMPLE 2 : Soit U = { z
De mme, la fonction D() = 2 est chaotique sur le cercle unit S1, tant l'angle reprant un point
du cercle. Si on dcompose un lment de S1 par un dveloppement non pas dcimal, mais binaire, D
n'est autre que . f est identique D en considrant l'argument de z.
EXEMPLE 3 : Soit T : [0,1] [0,1], dfinie par T(x) = 2x si x <
1
1
et T(x) = 2 2x si x . Alors T
2
2
est chaotique.
EXEMPLE 4 : Soit h(x) = 4x(1 x). Pour > 1, [0,1] n'est pas stable par h. [0,1] est la runion de
deux intervalle I0 et I1, dont l'image par h est [0,1]. Posons L = {x, n, hn(x) [0,1]}. L est un
ensemble de Cantor, stable par h. En outre, pour tout x de L, on peut dfinir la suite de E s0s1...sn...
de faon que n, hn(x) Isn. On dfinit ainsi un homomorphisme (bijection bicontinue) de L
dans E. En outre, l'application h correspond ; en effet, h = 1 o o , de sorte que h est
chaotique.
{} par :
x 1
N(x) =
(avec N(0) = et N() = )
2x
N est la fonction relative la mthode de Newton pour la recherche des racines du polynme
P(x)
P(x) = x2 + 1, savoir N(x) = x
. Ces racines tant complexes, la suite xn+1 = N(xn) ne peut
P'(x)
converger si on part de x0 rel. Posons () = cotan( ), avec S1. (0) = . Dfinissons sur S1,
2
la fonction D() = 2. On a alors :
N = o D o 1
de sorte que N est chaotique. Plus gnralement, la mthode de Newton dans
applique un
polynme de degr 2 ayant des racines distinctes est chaotique sur la mdiatrice de ces racines.
On montre que la suite zn+1 = N(zn) converge vers i si on part de z0 ayant une partie imaginaire
strictement positive. Elle converge vers i si on part de z0 ayant une partie imaginaire strictement
ngative. Elle a un comportement chaotique si on part de z0 rel. Le plan complexe est donc divis en
deux zones (les deux demi-plans) o le comportement de la suite est parfaitement prvisible, avec
une frontire commune (la droite relle), o le comportement est chaotique.
Si on applique cette fois la mthode de Newton la recherche des racines du polynme P(z) = z3 1,
z3 1 2z3 + 1
2i
savoir : N(z) = z
) ou j2. Le plan
2 =
2 , alors la suite peut converger vers 1, j = exp(
3z
3z
3
2
complexe est divis en trois zones (qui se dduisent les unes des autres par des rotations de ),
3
- 34 -
chaque zone tant le domaine de convergence de la suite zn+1 = N(zn) vers chacune des limites
possibles. Ces trois zones partagent une frontire commune, ce qui signifie que tout disque de rayon
aussi petit soit-il, pris en un point quelconque de la frontire passe par les trois rgions. Il va de soi
que, si le terme initial z0 appartient la frontire, la suite y reste et que son comportement est
hautement imprvisible. Une variation infime de la valeur initiale fera converger la suite vers l'une des
trois valeurs limites, sans qu'on puisse vraiment savoir a priori laquelle. Ci-aprs, la zone blanche est
le domaine de convergence vers 1.
- 35 -
premire classe soit situ gauche de tout point de la seconde classe, il existe un point
et un seul qui opre cette partition de tous les points en deux classes, cette dcoupe de
la droite en deux portions.
La proprit prcdente est appele proprit des coupures de Dedekind. Cependant, la plupart des
cours de premier cycle universitaire (et en particulier le programme de CPGE) fait reposer les
proprits de sur l'existence d'une borne suprieure pour les parties majores. La raison en est que
l'utilisation de la borne suprieure est plus directement applicable pour en dduire d'autres thormes
que la proprit de Dedekind. La proprit de Dedekind prsente cependant une approche plus
naturelle des rels. On montre ci-dessous que la proprit de Dedekind est quivalente la proprit
de la borne suprieure.
dsigne un corps muni d'une relation d'ordre total compatible avec les oprations du corps (entre
autres ou ). On considre les deux proprits suivantes :
de faon que :
(P2) (Proprit de la borne suprieure) Toute partie non vide majore admet une borne suprieure.
Montrons que les deux proprits sont quivalente. Si l'une est vraie dans
, l'autre aussi.
Dmonstration :
(P1) (P2)
Soit E une partie non vide, majore par m. Appelons B l'ensemble des majorants de E et A = B.
Alors :
B est non vide, car m appartient B.
A est non vide, car il existe un lment x dans E, et x 1 ne majorant pas x se trouve donc
dans A.
a A, b B, a < b. En effet, a A signifie que a ne majore pas E, et donc qu'il existe x
lment de E tel que a < x. b B signifie que b majore E et donc que x b. Donc a < b.
{A,B} forme une partition de . C'est vident puisque A = B.
Les hypothses de (P1) sont vrifies. Il existe donc m0 lment de tel que :
() ou bien A = { a / a m0 } et B = { b / b > m0 }
() ou bien A = { a K / a < m0 } et B = { b K / b m0 }
- 36 -
Dans le cas (), m0 est le plus petit lment de B. m0 est donc le plus petit majorant de E. La borne
suprieure de E existe donc.
Montrons que le cas () est impossible. Dans le cas (), m0 est lment de A et ne majore donc pas
E. Il existe x lment de E tel que m0 < x.
m +x
m +x
On a alors m0 < 0
< x. 0
tant suprieur m0 est lment de B, donc majore E. Il est
2
2
cependant infrieur x lment de E. La contradiction est ainsi prouve.
(P2) (P1)
Soit (A, B) vrifiant les hypothses de (P1). Alors A est major par n'importe quel lment de b,
donc possde une borne suprieure x0 d'aprs (P2). x0 tant le plus petit des majorants, il est plus
petits que tous les lments de B. Il rpond donc la conclusion de (P1).
- 37 -