Académique Documents
Professionnel Documents
Culture Documents
M Ea Ree JMF 08
M Ea Ree JMF 08
Suites adjacentes
Énoncés
Indications ou résultats
– La suite (un ) est croissante, la suite (vn ) est décroissante, et lim (vn − un ) = 0.
n→+∞
– Utiliser n(n!)un < n(n!)` < n(n!)vn , et en déduire que ` est irrationnel.
1
– La suite (un ) est croissante car un+1 − un = > 0.
(n + 1)!
– La suite (vn ) est décroissante car :
1 1 1 1 1
vn+1 − vn = un+1 − un + − = + −
(n + 1)(n + 1)! n(n!) (n + 1)! (n + 1)(n + 1)! n(n!)
n(n + 1) + n − (n + 1)2 −1
= = <0
n(n + 1)(n + 1)! n(n + 1)(n + 1)!
1
– Enfin lim vn − un = lim = 0.
n→+∞ n→+∞ n(n!)
– Les trois propriétés précédentes prouvent que les suites (un ) et (vn ) sont adjacentes.
Elles sont donc convergentes et ont une même limite `.
– On peut prouver que lim un = lim vn = e.
n→+∞ n→+∞
µ−λ
La suite de terme général vn − un est donc géométrique de raison q = .
(1 + µ)(1 + λ)
On en déduit, pour tout n de IN : vn − un = q n (v0 − u0 ).
µ+λ
– On remarque que |q| ≤ < 1.
(1 + µ)(1 + λ)
On en déduit lim (vn − un ) = 0.
n→+∞
On en déduit :
λ(v0 − u0 ) λ(1 + µ)
lim un = u0 + = u0 + (v0 − u0 )
n→+∞ (1 + λ)(1 − q) 1 + 2λ + µλ
Finalement :
(1 + λ)u0 + λ(1 + µ)v0
lim un = lim vn =
n→+∞ n→+∞ 1 + 2λ + λµ
1
D’autre part, pour tout n ≥ 0, on a l’encadrement u2n+1 = u2n − < ` < u2n .
(2n + 1)!
On multiplie par (2n + 1)! : N − 1 < (2n + 1)!` < N où N = (2n + 1)!u2n est entier.
Cela prouve que (2n + 1)!` n’est jamais un entier, ce qui implique que ` n’est pas rationnel (s’il
l’était, choisir n tel que 2n + 1 soit supérieur ou égal au dénominateur de `).
1 1
Remarque : on montre que ` = . On en déduit que et donc e sont irrationnels.
e e