Explorer
Tarifs
Menu
THE MATHS
TAILOR
Explorer
Suites numériques
Suites numériques
Cours complet →
Plein écran
Cours
— 6 sections
1
Généralités
1. Généralités
1.1. Définition
Définition
—
Suite réelle
On appelle
suite réelle
toute famille d'éléments de
R
\mathbb{R}
R
indexée sur
N
\mathbb{N}
N
ou, de manière équivalente, toute application de
N
\mathbb{N}
N
dans
R
\mathbb{R}
R
. L'ensemble des suites réelles est donc
R
N
\mathbb{R}^{\mathbb{N}}
R
N
.
Remarque
Une suite de
R
N
\mathbb{R}^{\mathbb{N}}
R
N
peut-être notée
u
u
u
(application) ou
(
u
n
)
n
∈
N
(u_n)_{n \in \mathbb{N}}
(
u
n
)
n
∈
N
(famille). On emploie également la notation
(
u
n
)
(u_n)
(
u
n
)
. Si
u
∈
R
N
u \in \mathbb{R}^{\mathbb{N}}
u
∈
R
N
, le terme général de
u
u
u
est noté
u
n
u_n
u
n
(famille) plutôt que
u
(
n
)
u(n)
u
(
n
)
(application).
Remarque
Par esprit de simplification, on ne traitera dans ce chapitre que des suites définies à partir du rang 0. On adaptera pour des suites définies à partir d'un certain rang
n
0
∈
N
n_0 \in \mathbb{N}
n
0
∈
N
.
Encadré
—
Modes de définition d'une suite
On donne une formule explicite de
u
n
u_n
u
n
en fonction de
n
n
n
du type
u
n
=
f
(
n
)
u_n = f(n)
u
n
=
f
(
n
)
.
On donne les
k
k
k
premiers termes de la suite et une relation de récurrence exprimant
u
n
u_n
u
n
en fonction des
k
k
k
termes précédents. On dit alors que
(
u
n
)
(u_n)
(
u
n
)
est une suite récurrente d'ordre
k
k
k
. Une suite récurrente d'ordre 1 vérifie donc une relation de récurrence du type
u
n
+
1
=
f
(
u
n
)
u_{n+1} = f(u_n)
u
n
+
1
=
f
(
u
n
)
.
u
n
u_n
u
n
est défini comme solution d'une équation dépendant de
n
n
n
.
Exemple
La suite de terme général
u
n
=
1
n
2
+
1
u_n = \dfrac{1}{n^2 + 1}
u
n
=
n
2
+
1
1
est une suite définie de manière explicite.
La suite
(
u
n
)
(u_n)
(
u
n
)
de premiers termes
u
0
=
1
u_0 = 1
u
0
=
1
et
u
1
=
1
u_1 = 1
u
1
=
1
et définie par la relation de récurrence
u
n
+
2
=
u
n
+
1
+
u
n
u_{n+2} = u_{n+1} + u_n
u
n
+
2
=
u
n
+
1
+
u
n
est une suite récurrente d'ordre 2.
Attention
Une relation de récurrence ne permet pas toujours de bien définir une suite. Par exemple, il n'existe pas de suite définie par
u
0
=
1
u_0 = 1
u
0
=
1
et
u
n
+
1
=
2
+
1
−
u
n
u_{n+1} = 2 + \sqrt{1 - u_n}
u
n
+
1
=
2
+
1
−
u
n
.
Proposition
Soient
D
D
D
une partie de
R
\mathbb{R}
R
et
f
f
f
une fonction définie sur
D
D
D
à valeurs dans
R
\mathbb{R}
R
. On suppose que
D
D
D
est stable par
f
f
f
i.e.
f
(
D
)
⊂
D
f(D) \subset D
f
(
D
)
⊂
D
. Alors, pour tout
d
∈
D
d \in D
d
∈
D
, il existe une unique suite définie par
u
0
=
d
u_0 = d
u
0
=
d
et la relation de récurrence
u
n
+
1
=
f
(
u
n
)
u_{n+1} = f(u_n)
u
n
+
1
=
f
(
u
n
)
. De plus, pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
,
u
n
∈
D
u_n \in D
u
n
∈
D
.
Démonstration bientôt disponible
Encadré
—
Représentation graphique d'une suite récurrente d'ordre 1
On obtient la représentation graphique d'une suite
(
u
n
)
(u_n)
(
u
n
)
définie par la relation de récurrence
u
n
+
1
=
f
(
u
n
)
u_{n+1} = f(u_n)
u
n
+
1
=
f
(
u
n
)
en traçant le graphe de
f
f
f
et la première bissectrice.
1.2. Vocabulaire
Définition
—
Suites constantes, stationnaires
Une suite
(
u
n
)
(u_n)
(
u
n
)
est
constante
s'il existe
C
∈
R
C \in \mathbb{R}
C
∈
R
tel que
∀
n
∈
N
\forall n \in \mathbb{N}
∀
n
∈
N
,
u
n
=
C
u_n = C
u
n
=
C
. Une suite est
stationnaire
si elle est constante à partir d'un certain rang.
Définition
—
Suite majorée, minorée, bornée
On dit qu'une suite
(
u
n
)
(u_n)
(
u
n
)
est
majorée
(resp.
minorée
) s'il existe
C
∈
R
C \in \mathbb{R}
C
∈
R
tel que
∀
n
∈
N
\forall n \in \mathbb{N}
∀
n
∈
N
,
u
n
≤
C
u_n \leq C
u
n
≤
C
(resp.
u
n
≥
C
u_n \geq C
u
n
≥
C
). On dit qu'une suite est
bornée
si elle est majorée et minorée.
Méthode
—
Prouver qu'une suite est bornée
Pour prouver qu'une suite
(
u
n
)
(u_n)
(
u
n
)
est bornée, il est nécessaire et suffisant d'exhiber une constante
C
∈
R
+
C \in \mathbb{R}_+
C
∈
R
+
telle que
∀
n
∈
N
\forall n \in \mathbb{N}
∀
n
∈
N
,
∣
u
n
∣
≤
C
|u_n| \leq C
∣
u
n
∣
≤
C
.
Définition
—
Sens de variation
Une suite réelle
(
u
n
)
(u_n)
(
u
n
)
est
croissante
(resp.
décroissante
) si
∀
(
n
,
p
)
∈
N
2
,
n
≤
p
⟹
u
n
≤
u
p
\forall (n, p) \in \mathbb{N}^2,\ n \leq p \implies u_n \leq u_p
∀
(
n
,
p
)
∈
N
2
,
n
≤
p
⟹
u
n
≤
u
p
Une suite est
monotone
si elle est croissante ou décroissante.
Une suite réelle est
strictement croissante
(resp.
strictement décroissante
) si
∀
(
n
,
p
)
∈
N
2
,
n
<
p
⟹
u
n
<
u
p
\forall (n, p) \in \mathbb{N}^2,\ n < p \implies u_n < u_p
∀
(
n
,
p
)
∈
N
2
,
n
<
p
⟹
u
n
<
u
p
Une suite est
strictement monotone
si elle est strictement croissante ou strictement décroissante.
Attention
Une suite peut n'être ni croissante, ni décroissante. C'est le cas par exemple des suites géométriques de raison négative.
Proposition
Soit
(
u
n
)
(u_n)
(
u
n
)
une suite réelle. Alors
(
u
n
)
(u_n)
(
u
n
)
est croissante si et seulement si
∀
n
∈
N
\forall n \in \mathbb{N}
∀
n
∈
N
,
u
n
≤
u
n
+
1
u_n \leq u_{n+1}
u
n
≤
u
n
+
1
;
(
u
n
)
(u_n)
(
u
n
)
est décroissante si et seulement si
∀
n
∈
N
\forall n \in \mathbb{N}
∀
n
∈
N
,
u
n
≥
u
n
+
1
u_n \geq u_{n+1}
u
n
≥
u
n
+
1
;
(
u
n
)
(u_n)
(
u
n
)
est strictement croissante si et seulement si
∀
n
∈
N
\forall n \in \mathbb{N}
∀
n
∈
N
,
u
n
<
u
n
+
1
u_n < u_{n+1}
u
n
<
u
n
+
1
;
(
u
n
)
(u_n)
(
u
n
)
est strictement décroissante si et seulement si
∀
n
∈
N
\forall n \in \mathbb{N}
∀
n
∈
N
,
u
n
>
u
n
+
1
u_n > u_{n+1}
u
n
>
u
n
+
1
.
Démonstration bientôt disponible
Méthode
—
Sens de variation d'une suite
Pour déterminer le sens de variation d'une suite
(
u
n
)
(u_n)
(
u
n
)
:
on peut étudier le signe de
u
n
+
1
−
u
n
u_{n+1} - u_n
u
n
+
1
−
u
n
;
si la suite est
strictement positive
, on peut étudier la position de
u
n
+
1
u
n
\dfrac{u_{n+1}}{u_n}
u
n
u
n
+
1
par rapport à 1.
Remarque
On utilisera la première méthode lorsque le terme général est défini à partir de sommes et de différences. On utilisera la deuxième méthode lorsque le terme général est défini à partir de produits et de quotients.
Application
Déterminer le sens de variation des suites de termes généraux
u
n
=
∑
k
=
1
n
1
k
u_n = \displaystyle\sum_{k=1}^{n} \dfrac{1}{k}
u
n
=
k
=
1
∑
n
k
1
et
v
n
=
1
×
3
×
⋯
×
(
2
n
−
1
)
2
×
4
×
⋯
×
(
2
n
)
v_n = \dfrac{1 \times 3 \times \cdots \times (2n-1)}{2 \times 4 \times \cdots \times (2n)}
v
n
=
2
×
4
×
⋯
×
(
2
n
)
1
×
3
×
⋯
×
(
2
n
−
1
)
.
Correction bientôt disponible
Proposition
Si une suite
(
u
n
)
(u_n)
(
u
n
)
est définie explicitement par
u
n
=
f
(
n
)
u_n = f(n)
u
n
=
f
(
n
)
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
. Si
f
f
f
est constante, majorée, minorée, bornée, croissante ou décroissante, alors
(
u
n
)
(u_n)
(
u
n
)
est constante, majorée, minorée, bornée, croissante ou décroissante.
Démonstration bientôt disponible
Attention
La réciproque est
fausse
.
1.3. Suites classiques
Définition
—
Suites arithmétiques
On appelle suite
arithmétique
de
raison
r
∈
K
r \in \mathbb{K}
r
∈
K
toute suite
(
u
n
)
(u_n)
(
u
n
)
vérifiant la relation de récurrence
∀
n
∈
N
,
u
n
+
1
=
u
n
+
r
\forall n \in \mathbb{N},\ u_{n+1} = u_n + r
∀
n
∈
N
,
u
n
+
1
=
u
n
+
r
On a alors
u
n
=
u
0
+
n
r
u_n = u_0 + nr
u
n
=
u
0
+
n
r
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
.
Définition
—
Suites géométriques
On appelle suite
géométrique
de
raison
q
∈
K
q \in \mathbb{K}
q
∈
K
toute suite
(
u
n
)
(u_n)
(
u
n
)
vérifiant la relation de récurrence
∀
n
∈
N
,
u
n
+
1
=
q
u
n
\forall n \in \mathbb{N},\ u_{n+1} = qu_n
∀
n
∈
N
,
u
n
+
1
=
q
u
n
On a alors
u
n
=
u
0
q
n
u_n = u_0 q^n
u
n
=
u
0
q
n
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
.
Définition
—
Suites arithmético-géométriques
On appelle suite
arithmético-géométrique
toute suite
(
u
n
)
(u_n)
(
u
n
)
vérifiant une relation de récurrence
∀
n
∈
N
,
u
n
+
1
=
a
u
n
+
b
\forall n \in \mathbb{N},\ u_{n+1} = au_n + b
∀
n
∈
N
,
u
n
+
1
=
a
u
n
+
b
avec
(
a
,
b
)
∈
K
2
(a, b) \in \mathbb{K}^2
(
a
,
b
)
∈
K
2
.
Méthode
—
Calculer le terme général d'une suite arithmético-géométrique
Soit
(
u
n
)
(u_n)
(
u
n
)
vérifiant la relation de récurrence
u
n
+
1
=
a
u
n
+
b
u_{n+1} = au_n + b
u
n
+
1
=
a
u
n
+
b
. On suppose
a
≠
1
a \neq 1
a
=
1
(sinon
(
u
n
)
(u_n)
(
u
n
)
est arithmétique).
On détermine un point fixe de
x
↦
a
x
+
b
x \mapsto ax + b
x
↦
a
x
+
b
i.e. on résout l'équation
x
=
a
x
+
b
x = ax + b
x
=
a
x
+
b
. Comme
a
≠
1
a \neq 1
a
=
1
, on trouve une unique solution
ℓ
=
b
1
−
a
\ell = \dfrac{b}{1-a}
ℓ
=
1
−
a
b
.
On montre que la suite
(
u
n
−
ℓ
)
(u_n - \ell)
(
u
n
−
ℓ
)
est géométrique de raison
a
a
a
.
On en déduit une expression du terme général de
(
u
n
−
ℓ
)
(u_n - \ell)
(
u
n
−
ℓ
)
puis de
(
u
n
)
(u_n)
(
u
n
)
.
Application
Déterminer le terme général de la suite
(
u
n
)
(u_n)
(
u
n
)
définie par
{
∀
n
∈
N
,
u
n
+
1
=
3
u
n
−
4
,
u
0
=
−
1
\begin{cases} \forall n \in \mathbb{N},\ u_{n+1} = 3u_n - 4, \\ u_0 = -1 \end{cases}
{
∀
n
∈
N
,
u
n
+
1
=
3
u
n
−
4
,
u
0
=
−
1
.
Correction bientôt disponible
Définition
—
Suites récurrentes linéaires homogènes d'ordre 2
On dit que
(
u
n
)
∈
K
N
(u_n) \in \mathbb{K}^{\mathbb{N}}
(
u
n
)
∈
K
N
est une suite récurrente linéaire homogène d'ordre 2 s'il existe
(
a
,
b
)
∈
K
2
(a, b) \in \mathbb{K}^2
(
a
,
b
)
∈
K
2
tel que
u
n
+
2
+
a
u
n
+
1
+
b
u
n
=
0
u_{n+2} + au_{n+1} + bu_n = 0
u
n
+
2
+
a
u
n
+
1
+
b
u
n
=
0
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
. Le
polynôme caractéristique
associé à une telle suite est
X
2
+
a
X
+
b
X^2 + aX + b
X
2
+
a
X
+
b
.
Proposition
—
Forme générale des suites récurrentes linéaires d'ordre 2
Pour
(
a
,
b
)
∈
K
×
K
∗
(a, b) \in \mathbb{K} \times \mathbb{K}^*
(
a
,
b
)
∈
K
×
K
∗
, on note
E
a
,
b
E_{a,b}
E
a
,
b
l'ensemble des suites
(
u
n
)
∈
K
N
(u_n) \in \mathbb{K}^{\mathbb{N}}
(
u
n
)
∈
K
N
telles que
u
n
+
2
+
a
u
n
+
1
+
b
u
n
=
0
u_{n+2} + au_{n+1} + bu_n = 0
u
n
+
2
+
a
u
n
+
1
+
b
u
n
=
0
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
.
Cas complexe :
K
=
C
\mathbb{K} = \mathbb{C}
K
=
C
Si
Δ
≠
0
\Delta \neq 0
Δ
=
0
,
E
a
,
b
E_{a,b}
E
a
,
b
est l'ensemble des suites de terme général
λ
r
1
n
+
μ
r
2
n
\lambda r_1^n + \mu r_2^n
λ
r
1
n
+
μ
r
2
n
où
r
1
r_1
r
1
et
r
2
r_2
r
2
sont les racines du polynôme caractéristique et
(
λ
,
μ
)
∈
C
2
(\lambda, \mu) \in \mathbb{C}^2
(
λ
,
μ
)
∈
C
2
.
Si
Δ
=
0
\Delta = 0
Δ
=
0
,
E
a
,
b
E_{a,b}
E
a
,
b
est l'ensemble des suites de terme général
(
λ
n
+
μ
)
r
n
(\lambda n + \mu)r^n
(
λn
+
μ
)
r
n
où
r
r
r
est la racine double du polynôme caractéristique et
(
λ
,
μ
)
∈
C
2
(\lambda, \mu) \in \mathbb{C}^2
(
λ
,
μ
)
∈
C
2
.
Cas réel :
K
=
R
\mathbb{K} = \mathbb{R}
K
=
R
Si
Δ
>
0
\Delta > 0
Δ
>
0
,
E
a
,
b
E_{a,b}
E
a
,
b
est l'ensemble des suites de terme général
λ
r
1
n
+
μ
r
2
n
\lambda r_1^n + \mu r_2^n
λ
r
1
n
+
μ
r
2
n
où
r
1
r_1
r
1
et
r
2
r_2
r
2
sont les racines réelles du polynôme caractéristique et
λ
,
μ
∈
R
\lambda, \mu \in \mathbb{R}
λ
,
μ
∈
R
.
Si
Δ
=
0
\Delta = 0
Δ
=
0
,
E
a
,
b
E_{a,b}
E
a
,
b
est l'ensemble des suites de terme général
(
λ
n
+
μ
)
r
n
(\lambda n + \mu)r^n
(
λn
+
μ
)
r
n
où
r
r
r
est la racine double réelle du polynôme caractéristique et
(
λ
,
μ
)
∈
R
2
(\lambda, \mu) \in \mathbb{R}^2
(
λ
,
μ
)
∈
R
2
.
Si
Δ
<
0
\Delta < 0
Δ
<
0
,
E
a
,
b
E_{a,b}
E
a
,
b
est l'ensemble des suites de terme général
λ
r
n
cos
(
n
θ
)
+
μ
r
n
sin
(
n
θ
)
\lambda r^n \cos(n\theta) + \mu r^n \sin(n\theta)
λ
r
n
cos
(
n
θ
)
+
μ
r
n
sin
(
n
θ
)
où
r
e
±
i
θ
re^{\pm i\theta}
r
e
±
i
θ
sont les racines complexes conjuguées du polynôme caractéristique et
(
λ
,
μ
)
∈
R
2
(\lambda, \mu) \in \mathbb{R}^2
(
λ
,
μ
)
∈
R
2
.
Démonstration bientôt disponible
Remarque
La donnée de conditions initiales (valeurs de
u
0
u_0
u
0
et
u
1
u_1
u
1
) permettent de déterminer les constantes
λ
\lambda
λ
et
μ
\mu
μ
.
Application
1. Déterminer la suite réelle
(
u
n
)
(u_n)
(
u
n
)
telle que
u
0
=
0
u_0 = 0
u
0
=
0
,
u
1
=
1
u_1 = 1
u
1
=
1
et
u
n
+
2
=
2
u
n
+
1
−
u
n
u_{n+2} = 2u_{n+1} - u_n
u
n
+
2
=
2
u
n
+
1
−
u
n
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
.
2. Déterminer la suite réelle
(
u
n
)
(u_n)
(
u
n
)
telle que
u
0
=
u
1
=
1
u_0 = u_1 = 1
u
0
=
u
1
=
1
et
u
n
+
2
=
u
n
+
1
−
u
n
u_{n+2} = u_{n+1} - u_n
u
n
+
2
=
u
n
+
1
−
u
n
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
.
Correction bientôt disponible
2
Limite d'une suite
3
Théorèmes d'existence de limites
4
Comparaison de suites
5
Suites récurrentes d'ordre 1
6
Suites complexes
Tunnel
Étudier des suites récurrentes u(n+1)=f(un)
Soit
f
:
[
a
,
b
]
→
[
a
,
b
]
f:[a,b] \to [a,b]
f
:
[
a
,
b
]
→
[
a
,
b
]
et
(
u
n
)
(u_n)
(
u
n
)
une suite définie par
u
0
∈
[
a
,
b
]
u_0 \in [a,b]
u
0
∈
[
a
,
b
]
et
u
n
+
1
=
f
(
u
n
)
u_{n+1}=f(u_n)
u
n
+
1
=
f
(
u
n
)
.
on peut démontrer que
∣
f
′
∣
≤
k
<
1
|f'| \leq k < 1
∣
f
′
∣
≤
k
<
1
sur
I
=
[
a
,
b
]
I=[a,b]
I
=
[
a
,
b
]
.
on démontre ensuite que
f
f
f
admet un point fixe
γ
\gamma
γ
dans
[
a
,
b
]
[a,b]
[
a
,
b
]
à l'aide du théorème des valeurs intermédiaires appliqué à
g
(
x
)
=
f
(
x
)
−
x
g(x)=f(x)-x
g
(
x
)
=
f
(
x
)
−
x
.
on utilise l'inégalité des accroissements finis pour démontrer par récurrence sur
n
n
n
que
∣
u
n
−
γ
∣
≤
k
n
∣
u
0
−
γ
∣
|u_n-\gamma| \leq k^n |u_0-\gamma|
∣
u
n
−
γ
∣
≤
k
n
∣
u
0
−
γ
∣
.
Réflexe
Pour lever une forme indéterminée
Réflexe
Pour démontrer qu'une suite (un) est monotone
Tunnel
Étude des suites récurrentes
Récurrence forte et faible
Encadrement et passage à la limite
Convergence monotone
Majoration et minoration
Somme géométrique
Comparaison de suites géométriques
← Prec.
1 / 4
Suiv. →
Exercices lies
— 30
1
Exercice 1
On note
a
n
a_n
a
n
le nombre de chiffres dans l'écriture décimale de l'entier
n
≥
1
n \geq 1
n
≥
1
. Pour quelles valeurs de
x
∈
R
x \in \mathbb{R}
x
∈
R
y a-t-il convergence de la série
∑
x
a
n
n
3
?
\sum \dfrac{x^{a_n}}{n^3} ?
∑
n
3
x
a
n
?
2
Exercice 2
Déterminer la nature de la série de terme général
u
n
=
1
n
(
ln
n
)
α
.
u_n = \dfrac{1}{n(\ln n)^\alpha}.
u
n
=
n
(
ln
n
)
α
1
.
3
Exercice 3
Soit
α
∈
R
∗
\alpha \in \mathbb{R}^*
α
∈
R
∗
. On pose, pour
n
∈
N
∗
n \in \mathbb{N}^*
n
∈
N
∗
u
n
=
1
∑
k
=
1
n
k
α
.
u_n = \dfrac{1}{\sum_{k=1}^{n} k^\alpha}.
u
n
=
∑
k
=
1
n
k
α
1
.
Nature de la série de terme général
u
n
u_n
u
n
?
4
Exercice 4
Soit
α
>
1
\alpha > 1
α
>
1
. Donner un équivalent simple à
R
N
=
∑
n
=
N
+
1
+
∞
1
n
α
.
R_N = \sum_{n=N+1}^{+\infty} \dfrac{1}{n^\alpha}.
R
N
=
n
=
N
+
1
∑
+
∞
n
α
1
.
5
Exercice 5
Soient
u
0
∈
]
0
;
π
/
2
[
u_0 \in ]0 ; \pi/2[
u
0
∈
]
0
;
π
/2
[
et
u
n
+
1
=
sin
u
n
u_{n+1} = \sin u_n
u
n
+
1
=
sin
u
n
pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
.
(a) Montrer que
u
n
→
0
+
u_n \to 0^+
u
n
→
0
+
.
(b) Exploiter
u
n
+
1
−
u
n
u_{n+1} - u_n
u
n
+
1
−
u
n
pour montrer que
∑
n
≥
0
u
n
3
\sum_{n \geq 0} u_n^3
∑
n
≥
0
u
n
3
converge.
(c) Exploiter
ln
u
n
+
1
−
ln
u
n
\ln u_{n+1} - \ln u_n
ln
u
n
+
1
−
ln
u
n
pour montrer que
∑
n
≥
0
u
n
2
\sum_{n \geq 0} u_n^2
∑
n
≥
0
u
n
2
diverge.
6
Exercice 6
Calculer la limite de
u
n
=
1
+
1
2
+
⋯
+
1
n
−
(
1
n
+
1
+
1
n
+
2
+
⋯
+
1
n
2
)
.
u_n = 1 + \dfrac{1}{2} + \cdots + \dfrac{1}{n} - \left(\dfrac{1}{n+1} + \dfrac{1}{n+2} + \cdots + \dfrac{1}{n^2}\right).
u
n
=
1
+
2
1
+
⋯
+
n
1
−
(
n
+
1
1
+
n
+
2
1
+
⋯
+
n
2
1
)
.
7
Exercice 7
On pose
a
n
=
1
n
+
1
+
1
n
+
2
+
⋯
+
1
3
n
.
a_n = \dfrac{1}{n+1} + \dfrac{1}{n+2} + \cdots + \dfrac{1}{3n}.
a
n
=
n
+
1
1
+
n
+
2
1
+
⋯
+
3
n
1
.
(a) Montrer que la suite
(
a
n
)
(a_n)
(
a
n
)
converge et trouver sa limite
λ
\lambda
λ
.
(b) Trouver un équivalent simple de
a
n
−
λ
a_n - \lambda
a
n
−
λ
.
8
Exercice 8
Pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
, soit
u
n
=
(
2
n
)
!
(
2
n
n
!
)
2
.
u_n = \dfrac{(2n)!}{(2^n n!)^2}.
u
n
=
(
2
n
n
!
)
2
(
2
n
)!
.
(a) Déterminer un équivalent de
ln
u
n
+
1
−
ln
u
n
\ln u_{n+1} - \ln u_n
ln
u
n
+
1
−
ln
u
n
. En déduire que
u
n
→
0
u_n \to 0
u
n
→
0
.
(b) En s'inspirant de ce qui précède, établir que
n
u
n
→
C
>
0
\sqrt{n} u_n \to C > 0
n
u
n
→
C
>
0
(on ne cherchera pas expliciter la valeur de
C
C
C
).
9
Exercice 9
Pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
, on pose
u
n
=
(
2
n
)
!
(
2
n
n
!
)
2
.
u_n = \dfrac{(2n)!}{(2^n n!)^2}.
u
n
=
(
2
n
n
!
)
2
(
2
n
)!
.
10
Exercice 10
Soient
0
<
a
<
b
0 < a < b
0
<
a
<
b
et
(
u
n
)
n
∈
N
(u_n)_{n \in \mathbb{N}}
(
u
n
)
n
∈
N
une suite strictement positive telle que pour tout
n
∈
N
n \in \mathbb{N}
n
∈
N
,
u
n
+
1
u
n
=
n
+
a
n
+
b
.
\dfrac{u_{n+1}}{u_n} = \dfrac{n+a}{n+b}.
u
n
u
n
+
1
=
n
+
b
n
+
a
.
11
Exercice 11
Soit
(
u
n
)
(u_n)
(
u
n
)
une suite de réels strictement positifs telle que
u
n
+
1
u
n
=
1
+
α
n
+
O
(
1
n
2
)
,
avec
α
∈
R
.
\dfrac{u_{n+1}}{u_n} = 1 + \dfrac{\alpha}{n} + O\left(\dfrac{1}{n^2}\right), \text{ avec } \alpha \in \mathbb{R}.
u
n
u
n
+
1
=
1
+
n
α
+
O
(
n
2
1
)
,
avec
α
∈
R
.
(a) Pour quel(s)
β
∈
R
\beta \in \mathbb{R}
β
∈
R
y a-t-il convergence de la série de terme général
v
n
=
ln
(
n
+
1
)
β
u
n
+
1
n
β
u
n
v_n = \ln \dfrac{(n+1)^\beta u_{n+1}}{n^\beta u_n}
v
n
=
ln
n
β
u
n
(
n
+
1
)
β
u
n
+
1
?
(b) En déduire qu'il existe
A
∈
R
+
∗
A \in \mathbb{R}_+^*
A
∈
R
+
∗
pour lequel
u
n
∼
A
n
α
u_n \sim A n^\alpha
u
n
∼
A
n
α
.
32
Exercice 32
(Somme harmonique) Pour tout $n \in \mathbb{N}$, on pose $$H_n = \sum_{k=1}^n \dfrac{1}{k}.$$ Montrer que $$\forall n \in \mathbb{N}^*, H_{2n} - H_n \geq \dfrac{1}{2}.$$ En déduire que $\lim_{n \to \infty} H_n = +\infty$.
67
Exercice 67
Soit $$f : x \mapsto \dfrac{x^3 + 1}{3}$$ et $(u_n)$ la suite définie par $$u_0 \in \mathbb{R} \quad \text{et} \quad \forall n \in \mathbb{N}, \quad u_{n+1} = f(u_n).$$ \begin{itemize} \item (a) Justifier que l'équation $f(x) = x$ possède trois racines réelles (qu'on n'exprimera pas). \item (b) Étudier le signe de $f(x) - x$ ainsi que la monotonie de $f$. \item (c) Préciser le comportement de $(u_n)$ en discutant selon la valeur de $u_0$. \end{itemize}
69
Exercice 69
Soit $(u_n)$ la suite définie par $$u_0 \in ]0 ; 4[ \quad \text{et} \quad \forall n \in \mathbb{N}, \quad u_{n+1} = 4u_n - u_n^2.$$ \begin{itemize} \item (a) Montrer que $(u_n)$ est bornée. Quelles sont les limites possibles de $(u_n)$ ? \item (b) Montrer que si $(u_n)$ converge alors $(u_n)$ est soit stationnaire égale à $0$, soit stationnaire égale à $3$. \item (c) En posant $u_0 = 4\sin^2 \alpha$, déterminer les valeurs de $u_0$ pour lesquelles la suite $(u_n)$ est stationnaire. \end{itemize}
70
Exercice 70
Soient $\rho \in \mathbb{R}_+$ et $\theta \in ]-\pi ; \pi]$. On considère la suite complexe $(z_n)_{n \in \mathbb{N}}$ définie par $$z_0 = \rho e^{i\theta} \quad \text{et} \quad \forall n \in \mathbb{N}, \quad z_{n+1} = \dfrac{z_n + |z_n|}{2}.$$ \begin{itemize} \item (a) Exprimer $z_n$ à l'aide d'un produit. \item (b) Déterminer la limite de la suite $(z_n)_{n \in \mathbb{N}}$. \end{itemize}
71
Exercice 71
Soient $(u_n)_{n \in \mathbb{N}}$ et $(v_n)_{n \in \mathbb{N}}$ les suites récurrentes réelles définies par : $$u_0, v_0 \in \mathbb{R}_+ \quad \text{et} \quad \forall n \in \mathbb{N}, \quad u_{n+1} = \sqrt{u_n v_n}, \quad v_{n+1} = \dfrac{u_n + v_n}{2}.$$ Montrer que les suites $(u_n)_{n \in \mathbb{N}}$ et $(v_n)_{n \in \mathbb{N}}$ convergent vers une même limite.
72
Exercice 72
Pour $\alpha \in ]0 ; \pi/2]$, on étudie les suites $(u_n)$ et $(v_n)$ définies par $$u_0 = \cos\alpha, \quad v_0 = 1 \quad \text{et} \quad \forall n \in \mathbb{N}, \quad u_{n+1} = \dfrac{u_n + v_n}{2}, \quad v_{n+1} = \sqrt{u_{n+1}v_n}.$$ \begin{itemize} \item (a) Établir que pour tout $n \in \mathbb{N}$, $$u_n = v_n \cos\dfrac{\alpha}{2^n} \quad \text{et} \quad v_n = \prod_{k=1}^{n} \cos\dfrac{\alpha}{2^k}.$$ \item (b) Étudier $\sin\dfrac{\alpha}{2^n} v_n$ et en déduire les limites de $(u_n)$ et $(v_n)$. \end{itemize}
74
Exercice 74
Soient $(a_n)$ une suite réelle positive, bornée et $(u_n)$ la suite récurrente définie par $$u_0 > 0 \quad \text{et} \quad u_{n+1} = \dfrac{1}{u_n + a_n + 1} \text{ pour tout } n \in \mathbb{N}.$$ Montrer que la suite $(u_n)$ converge si, et seulement si, la suite $(a_n)$ converge.
76
Exercice 76
Soit la suite définie par $u_0 = 0$ et $\forall n \in \mathbb{N}, u_{n+1} = \sqrt{2 + u_n}$. (1) Démontrer que $\forall n \in \mathbb{N}, u_n \leq 2$. (2) Démontrer que la suite $(u_n)_{n\in\mathbb{N}}$ est croissante. En déduire qu'elle converge. On notera $\ell$ sa limite. (3) Déterminer $\ell$. (4) Illustrer le comportement de la suite en traçant les premiers termes. (5) Démontrer que $\forall n \in \mathbb{N}, |u_{n+1} - \ell| \leq \frac{1}{2}|u_n - \ell|$. (6) Pour $p \in \mathbb{N}$, en déduire un rang $n_0$ à partir duquel $u_n$ approche $\ell$ à $10^{-p}$ près.
77
Exercice 77
Soit une suite $(x_n)_{n\in\mathbb{N}}$ avec $x_0 > 0$ et $\forall n \in \mathbb{N}, x_{n+1} = x_n + \frac{1}{x_n}$. (1) Démontrer que la suite $(x_n)_{n\in\mathbb{N}}$ est croissante. (2) Démontrer successivement que (a) $\forall n \in \mathbb{N}, x_{n+1}^2 - x_n^2 \geq 2$ ; (b) $\forall n \in \mathbb{N}, x_n \geq \sqrt{2n}$ ; (c) $x_{n+1}^2 - x_n^2 \to 2$.
78
Exercice 78
Soit la suite telle que $u_0 = 0$ et $\forall n \in \mathbb{N}^*, u_n = \sqrt{n} + u_{n-1}$. Démontrer successivement que (1) $u_n \leq n$, par récurrence ; (2) $u_n/n \to 0$, par encadrement ; (3) $u_n/\sqrt{n} \to 1$ ; (4) $u_n - \sqrt{n} \to 1/2$, en utilisant la quantité conjuguée.
79
Exercice 79
Les questions sont indépendantes. On demande de démontrer les propriétés par récurrence. (1) Pour $n \in \mathbb{N}^*$, $1+2+\cdots+n = \frac{n(n+1)}{2}$. (2) Si $q \neq 1$, pour $n \in \mathbb{N}^*$, $1 + q + \cdots + q^{n-1} = \frac{1-q^n}{1-q}$. (3) Pour $n \in \mathbb{N}^*$, $1^2 + 2^2 + \cdots + n^2 = \frac{n(n+1)(2n+1)}{6}$. (4) Soit un réel $a \geq -1$. Démontrer que, pour tout $n \in \mathbb{N}$, $(1+a)^n \geq 1 + na$. (5) Démontrer que, pour tout entier $n \geq 1$, $\frac{1}{1^2} + \frac{1}{2^2} + \cdots + \frac{1}{n^2} \leq 2 - \frac{1}{n}$. (6) On définit les nombres de Fermat par $F_n = 2^{2^n} + 1$. Démontrer par récurrence que $\forall n \in \mathbb{N}^*, F_0 \cdots F_{n-1} = F_n - 2$. (7) On définit la suite de Fibonacci par les relations suivantes : $f_0 = 0$, $f_1 = 1$ et $f_n = f_{n-1} + f_{n-2}$ pour $n \geq 2$. Démontrer par récurrence les propriétés suivantes : (a) $f_{n+1}f_{n-1} - f_n^2 = (-1)^n$ ; (b) $f_1 + f_3 + \cdots + f_{2n+1} = f_{2n+2}$ ; (c) $f_0 + f_2 + \cdots + f_{2n} = f_{2n+1} - 1$ ; (d) $f_0 + f_1 + f_2 + \cdots + f_n = f_{n+2} - 1$ ; (e) $f_0^2 + \cdots + f_n^2 = f_nf_{n+1}$.
80
Exercice 80
Rappeler la valeur de $S_n = 1+2+\cdots+n$. En déduire les valeurs de $A_n = 2+4+\cdots+2n$ et $B_n = 1+3+\cdots+(2n-1)$. Vérifier par récurrence le résultat obtenu pour $B_n$.
81
Exercice 81
Calculer les limites suivantes si elles existent. 1. $\lim_{n \to +\infty} n \sin\left(\frac{1}{n}\right)$. 2. $\lim_{n \to +\infty} \frac{5^n+2^n}{3^n+4^n}$. 3. $\lim_{n \to +\infty} \frac{e^n+n^2-1}{e^n+n+\sin(n)+1}$.
94
Exercice 94
En utilisant la question 6 de l'exercice n°37, démontrer que les nombres de Fermat sont deux à deux premiers entre eux.
95
Exercice 95
Problème : étude de suites et intégration. (1) On définit la fonction tangente en posant $\tan(x) = \frac{\sin(x)}{\cos(x)}$. (a) Quel est l'ensemble de définition $\mathcal{D}$ de cette fonction ? (b) Démontrer que, pour tout $x \in \mathcal{D}$, on a $\tan'(x) = 1 + \tan^2(x)$. (2) Pour $n \in \mathbb{N}$ on pose $u_n = \int_0^{\pi/4} \tan^n(x) dx$. (a) Calculer $u_0$ et $u_1$. (b) Démontrer que, pour tout $n \in \mathbb{N}$, $u_n + u_{n+2} = \frac{1}{n+1}$. (c) Démontrer que $0 \leq u_n \leq \frac{1}{n+1}$ ; en déduire la limite de la suite de terme général $u_n$. (3) Pour $n \in \mathbb{N}$ on pose $a_n = 1 - \frac{1}{3} + \cdots + \frac{(-1)^n}{2n+1}$. (a) Démontrer que, pour tout $n \in \mathbb{N}$, $a_n = u_0 + (-1)^n u_{2n+2}$. (b) En déduire la limite de la suite de terme général $a_n$. (c) Procéder de façon analogue, sans rédiger une démonstration complète, pour déterminer la limite de la suite de terme général $b_n = 1 - \frac{1}{2} + \cdots + \frac{(-1)^{n+1}}{n}$ ($n \geq 1$) en utilisant les termes impairs de la suite $u$.
96
Exercice 96
Problème : autour du nombre e. Pour $n \in \mathbb{N}$ on pose $I_n = \int_0^1 x^n e^{1-x} dx$ et $u_n = n! e - I_n$. (1) Soit $n \in \mathbb{N}^*$. (a) Démontrer que $\frac{1}{n+1} \leq I_n \leq \frac{e}{n+1}$. (b) En utilisant une intégration par parties, démontrer que $I_n = n I_{n-1} - 1$. (c) En déduire une expression de $u_n$ en fonction de $u_{n-1}$ et $n$. (2) En déduire que tous les termes de la suite $(u_n)_{n\in\mathbb{N}}$ sont entiers. (3) En déduire que, pour $n \in \mathbb{N}$, $n! e \notin \mathbb{Z}$. (4) En déduire que $e$ est irrationnel, c'est-à-dire que $e \notin \mathbb{Q}$. (5) Démontrer que la somme $s_n = \frac{1}{0!} + \cdots + \frac{1}{n!}$ est égale à $\frac{u_n}{n!}$. (6) En déduire la valeur de $\lim_{n\to+\infty} s_n$.
97
Exercice 97
On pose, pour tout $n \in \mathbb{N}$ : $f_n : \mathbb{R} \to \mathbb{R}$, $x \mapsto \frac{x^n e^{-x}}{n!}$ (avec la convention $0^0 = 1$) et $u_n = \int_0^1 \frac{x^n e^{-x}}{n!} dx = \int_0^1 f_n(x) dx$. (a) Soit $n \in \mathbb{N}^*$, exprimer $f'_n$ en fonction de $f_n$ et de $f_{n-1}$. (b) Soit $n \in \mathbb{N}^*$, calculer $\int_0^1 f'_n(x) dx$. (c) Calculer $u_0$. (d) Montrer que, pour tout $n \in \mathbb{N}^*$ : $u_n = u_{n-1} - \frac{1}{en!}$. (e) Montrer que la suite $(u_n)_{n\in\mathbb{N}}$ est décroissante. (f) Montrer que, pour tout $n \in \mathbb{N}$, $u_n \geq 0$. (g) En déduire que la suite $(u_n)_{n\in\mathbb{N}}$ converge. (h) Montrer que, pour tout $n \in \mathbb{N}$ : $u_n \leq \frac{1}{n!}$. (i) En déduire la limite de la suite $(u_n)_{n\in\mathbb{N}}$.
99
Exercice 99
1. Soit $u$ la fonction définie sur $\mathbb{R}$ par $u(x) = x^2 + x + 1$. (a) Déterminer $\lim_{x\to+\infty} u(x)$ et $\lim_{x\to-\infty} u(x)$. (b) En utilisant la forme canonique, montrer que, pour tout réel $x$, $u(x) \geq \frac{3}{4}$. (c) Montrer que, pour tout réel $x$, $\sqrt{u(x)} > |x + \frac{1}{2}|$. 2. Soit $f$ la fonction définie sur $\mathbb{R}$ par $f(x) = \frac{2x+1}{2\sqrt{x^2+x+1}}$. (a) Vérifier que l'ensemble de définition de $f$ est $\mathbb{R}$. (b) Montrer que, pour tout réel $x$, $|f(x)| 0$. 3. (a) Montrer que, pour tout réel $x$, $|f(x) - 1| = \frac{3}{2\sqrt{x^2+x+1}(2x+1+2\sqrt{x^2+x+1})}$. (b) En déduire que, pour tout $x > 0$, $|f(x) - 1| \leq \frac{3}{x}$. (c) Déterminer $\lim_{x\to+\infty} f(x)$.
100
Exercice 100
1) a) Montrer que pour tout $\theta \in \mathbb{R}$ : $\cos\theta = \frac{e^{i\theta} + e^{-i\theta}}{2}$ et $\sin\theta = \frac{e^{i\theta} - e^{-i\theta}}{2i}$ (formules d'Euler). b) En déduire que pour tous $\theta \in \mathbb{R}$ : $e^{i\theta} - 1 = 2i e^{i\frac{\theta}{2}} \sin \frac{\theta}{2}$. 2) Soient $x \in \mathbb{R}$ et $n \in \mathbb{N}$. On suppose que $x$ n'est pas un multiple entier de $\pi$ et on pose : $S = \sum_{k=0}^n e^{2ikx} = 1 + e^{2ix} + e^{4ix} + ... + e^{2inx}$. a) Simplifier $S$ en remarquant que $S$ est une somme de termes consécutifs d'une suite géométrique. b) En utilisant le résultat de la question 1), montrer que : $S = e^{inx} \frac{\sin((n+1)x)}{\sin x}$. c) En déduire que : $\sum_{k=0}^n \cos(2kx) = 1 + \cos(2x) + \cos(4x) + ... + \cos(2nx) = \frac{\sin((n+1)x)}{\sin x} \cos(nx)$.
Cours
1
Généralités
2
Limite d'une suite
3
Théorèmes d'existence de limites
4
Comparaison de suites
5
Suites récurrentes d'ordre 1
6
Suites complexes
Méthodes
33
p.1/4
Tunnel
Étudier des suites récurrentes u(n+1)=f(un)
Soit
f
:
[
a
,
b
]
→
[
a
,
b
]
f:[a,b] \to [a,b]
f
:
[
a
,
b
]
→
[
a
,
b
]
et
(
u
n
)
(u_n)
(
u
n
)
une suite définie par
u
0
∈
[
a
,
b
]
u_0 \in [a,b]
u
0
∈
[
a
,
b
]
et
u
n
+
1
=
f
(
u
n
)
u_{n+1}=f(u_n)
u
n
+
1
=
f
(
u
n
)
.
on peut démontrer que
∣
f
′
∣
≤
k
<
1
|f'| \leq k < 1
∣
f
′
∣
≤
k
<
1
sur
I
=
[
a
,
b
]
I=[a,b]
I
=
[
a
,
b
]
.
on démontre ensuite que
f
f
f
admet un point fixe
γ
\gamma
γ
dans
[
a
,
b
]
[a,b]
[
a
,
b
]
à l'aide du théorème des valeurs intermédiaires appliqué à
g
(
x
)
=
f
(
x
)
−
x
g(x)=f(x)-x
g
(
x
)
=
f
(
x
)
−
x
.
on utilise l'inégalité des accroissements finis pour démontrer par récurrence sur
n
n
n
que
∣
u
n
−
γ
∣
≤
k
n
∣
u
0
−
γ
∣
|u_n-\gamma| \leq k^n |u_0-\gamma|
∣
u
n
−
γ
∣
≤
k
n
∣
u
0
−
γ
∣
.
Réflexe
Pour lever une forme indéterminée
Méthode complète avec le plan Élève
Voir les offres
Réflexe
Pour démontrer qu'une suite (un) est monotone
Méthode complète avec le plan Élève
Voir les offres
Tunnel
Étude des suites récurrentes
Méthode complète avec le plan Élève
Voir les offres
Récurrence forte et faible
Méthode complète avec le plan Élève
Voir les offres
Encadrement et passage à la limite
Méthode complète avec le plan Élève
Voir les offres
Convergence monotone
Méthode complète avec le plan Élève
Voir les offres
Majoration et minoration
Méthode complète avec le plan Élève
Voir les offres
Somme géométrique
Méthode complète avec le plan Élève
Voir les offres
Comparaison de suites géométriques
Méthode complète avec le plan Élève
Voir les offres
← Prec.
1 / 4
Suiv. →
Exercices
1
Exercice 1
2
Exercice 2
3
Exercice 3
4
Exercice 4
5
Exercice 5
6
Exercice 6
7
Exercice 7
8
Exercice 8
9
Exercice 9
10
Exercice 10
11
Exercice 11
32
Exercice 32
67
Exercice 67
69
Exercice 69
70
Exercice 70
71
Exercice 71
72
Exercice 72
74
Exercice 74
76
Exercice 76
77
Exercice 77
78
Exercice 78
79
Exercice 79
80
Exercice 80
81
Exercice 81
94
Exercice 94
95
Exercice 95
96
Exercice 96
97
Exercice 97
99
Exercice 99
100
Exercice 100