Académique Documents
Professionnel Documents
Culture Documents
(b) En déduire que la suite u est monotone à partir d’un certain rang N à préciser. [ S ]
(c) Montrer que la suite u est convergente. [ S ]
3. Limite de la suite (un )
(a) Montrer ∃M ∈ IN tel que : n ≥ M ⇒ uun ≤ 1 − 2√ 1
n
[S]
n−1
√ √ 1
(b) Montrer que : ∀ x > −1, ln(1 + x) ≤ x et que : ∀ x > 0, x + 1 − x ≤ 2√ x
. [S]
√ √
(c) En déduire que : ∀ n ≥ M , ln(un ) − ln(un−1 ) ≤ n − n + 1. [ S ]
(d) Conclure à lim un = 0. [ S ]
+∞
Exercice 2
√
On pose : ∀n ∈ IN∗ , un = n1 n
n!. On veut calculer lim un .
+∞
1. Première méthode.
n
On pose, pour tout entier n ≥ 1 : vn = nn! .
2
(a) Etablir : ∀ x ≥ 0, 0 ≤ x − ln(1 + x) ≤ x2 . [ S ]
1
(b) En déduire : ∀ n ∈ IN∗ , 0 ≤ 1 + ln(vn ) − ln(vn+1 ) ≤ 2n . [S]
(c) Montrer que : ∀ x ∈ [0, 1[, x ≤ − ln(1 − x). [ S ]
n
P 1
(d) En déduire : k ≤ 1 + ln(n). [ S ]
k=1
2. Deuxième méthode.
n
(a) Vérifier que : ∀ n ≥ 1, ln(un ) = n1
P
ln(k) − ln(n). [ S ]
k=1
(b) En encadrant ln(k) à l’aide d’intégrales, encadrer ln(un ) et en déduire lim un . [ S ]
n→+∞
Exercice 3
√ C n2n
Pour tout n de IN∗ , on pose un = n 4n .
u
1. Calculer u1 et un+1 . [ S ]
n
q
n
2. Prouver par récurrence que un ≤ 2n+1 . [S]
h q i
3. Montrer : ∃ L ∈ 12 , 12 tel que lim un = L. [ S ]
+∞
1 1
x(x + 1) ≤ √ 1
p
4. Montrer que : ∀ x > 0, 1 ≤ (x + 2 ) − . [S]
8(x+ 2 ) 8 x(x+1)
uk uk uk uk
5. En déduire que : ∀ k ≥ 1, 8(k+ 1 −
) 8(k+ 3 ≤ uk+1 − uk ≤ 8k − 8(k+1) . [ S ]
)
2 2
un L
6. Encadrer up − un (pour p > n), puis établir : ∀ n ≥ 1, 8(n+ 1 ≤ L − un ≤ 8n . [ S ]
2)
1 L
7. En déduire la majoration suivante : ∀ n ≥ 1, L − 1 + 8n un ≤ 16n 2. [S]
8. Comment suffit-il de choisir n pour que un soit une valeur approchée de L à 10−5 près ?
1
Même question avec 1 + 8n un . [ S ]
NB : on peut montrer (mais on ne demande pas de le prouver) que L = √1π .
Corrigé du problème
Exercice 1
1. (a) On laisse à Maple le soin de faire les calculs :
> u :=n->sqrt((n+k) !)/product(1+sqrt(j),j=1..n) ;
√
(n+k)!
u := n → Q
n √
(1+ j)
j=1
Exercice 3
1. On trouve u1 = 14 C 12 = 12 .
q q
u (2n+2)! n!2 1
Pour tout n ≥ 1, on a : un+1 = 1 + n1 (n+1)!2 (2n)! 4 = 1 + n1 2(n+1)
2n+1
[Q]
n
En particulier, on a x + 12 −
p
x(x + 1) > 0, d’où l’encadrement :
1 1
x(x + 1) ≤ √ 1
p
On obtient alors : ∀ x > 0, 8(x+ 1 ≤ (x + 2 ) −
)
2 8 x(x+1)
– Deuxième méthode
√
Notons ϕ l’application définie sur IR+ par ϕ(t) = t.
Soit x un réel ≥ 0 fixé, et soit I = [x(x + 1), (x + 12 )2 ], segment de longueur 14 .
On applique l’égalité des accroissements finis à ϕ sur le segment I.
Il existe c dans ]x(x + 1), (x + 21 )2 [ tel que ϕ((x + 21 )2 ) − ϕ(x(x + 1)) = 14 ϕ0 (c).
1
Mais l’application t 7→ ϕ0 (t) = √ est décroissante sur IR+∗ .
2 t
On en déduit l’encadrement : ϕ0 ((x + 12 )2 ) ≤ ϕ0 (c) ≤ ϕ0 (x(x + 1)).
Par conséquent, pour tout x > 0, on a l’encadrement :
1 0 1 2 1 2 1 0
4 ϕ ((x + 2 ) ) ≤ ϕ((x + 2 ) ) − ϕ(x(x + 1)) ≤ 4 ϕ (x(x + 1))
1 1
x(x + 1) ≤ √ 1
p
c’est-à-dire : ∀ x > 0, 8(x+ 1 ≤ (x + 2 ) −
)
2 8 x(x+1)
[Q]
√
2k+1
k+ 12 − k(k+1)
5. ∀ k ≥ 1, on a uk+1 − uk = √ − 1 uk = √ uk
2 k(k+1) k(k+1)
u
√ k uk
La question précédente donne alors : ∀ k ≥ 1, 1
≤ uk+1 − uk ≤ 8k(k+1)
8(k+ 2 ) k(k+1)
On a bien 8k(k+1) = 8k − 8(k+1) et donc : ∀ k ≥ 1, uk+1 − uk ≤ u8kk − 8(k+1)
1 1 1 uk
up−1 1
Donc après simplification : u8n n+
1
1 −
1
1
p+ 2
≤ u p − u n ≤ 8 n − 1
p
2
un L
Quand p → +∞, avec L = lim un , on obtient : ∀ n ≥ 1, 8(n+ 1 ≤ L − un ≤ 8n [ Q ]
n→+∞ 2)
7. En retranchant u8nn , on en déduit : ∀ n ≥ 1, u8n 1
n+ 12
− n1 ≤ L − 1 + 8n
1
un ≤ L−u
8n
n
un
c’est-à-dire ∀ n ≥ 1, − 16n(n+ 1
)
≤ L − 1 + 1
8n un ≤ L−u8n
n
2
1 un L−un
On en déduit : ∀ n ≥ 1, L − 1 + 8n un ≤ max 16n(n+ 1 ) , 8n
2
un L L−un L L
Mais 0 ≤ 16n(n+ 1 ≤ 16n2 et (cf question 6) : 0 ≤ 8n ≤ 64n2 ≤ 16n2
2)
1 L
On en déduit donc finalement : ∀ n ≥ 1, L − 1 + 8n un ≤ 16n 2. [Q]
√
L 2
8. – On a les majorations 0 ≤ L − un ≤ 8n ≤ 16n .
√
2
Il suffit donc que 16n ≤ 10−5 pour que un approche (par défaut) L à 10−5 près.
La première valeur de n pour laquelle cela est réalisé est n = 8839.
√
– Il suffit que 32n22 ≤ 10−5 pour que 1 + 8n1
un approche L à 10−5 près.
La première valeur de n pour laquelle cela est réalisé est n = 67.
[Q]