Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
16 Z. ABDELALI<br />
Exercice 2. Donner la nature <strong>des</strong> suites suivantes :<br />
sin(n π<br />
3 ),<br />
k=0<br />
n 2 + √ n<br />
(n + 1) 2 cos(n π<br />
5 )<br />
Exercice 3. (e est irrationnel) Soient u et v les suites définies par<br />
n 1<br />
un =<br />
k! et vn = 1<br />
n! +<br />
n 1<br />
k!<br />
1) Vérifier que u et v sont deux suites adjacentes.<br />
2) Soit l leur limite commune et supposons que l est un rationnel, c’est à dire que l = p/q<br />
pour un certain (p, q) ∈ IN × IN ∗ ,<br />
a) dire pour quoi uq < l < vq,<br />
b) déduire un encadrement de<br />
c) le nombre N est-il un entier, conclure.<br />
N = (l −<br />
q<br />
k=0<br />
1<br />
) · q!,<br />
k!<br />
3) En utilisant la formule de Taylor-Lagrange, vérifier que pour tout entier n,<br />
4) conclure que e est irrationnel.<br />
|e − un| ≤<br />
e<br />
(n + 1)!<br />
Exercice 4. Soit I un intervalle de IR, et soit f : I −→ IR une une application telle que<br />
l’image de toute suite convergente est une suite convegente. Montrons que f est continue.<br />
1) Soient x ∈ I et (un)n une suite de I qui converge vers x, construire dans I une suite<br />
convergente (wn)n admettant (un)n et une suite constante comme deux sous suites extraites.<br />
2) Que peut on dire de la suite (f(wn))n.<br />
3) En déduire que la suite (f(un))n converge vers f(x), conclure.<br />
Exercice 5. I) Vérifier que pour tout réel ω > 0, l’ensemble (ω Z, +) est un sous groupe<br />
additif fermé de IR.<br />
II) Soit (G, +) un sous groupe additif propre de IR, supposons de plus que G est fermé.<br />
Posons ω = inf{g ∈ G : g > 0}.<br />
1) supposons que ω = 0,<br />
a) vérifier qu’il existe une suite (gn)n d’éléments de ]0, 1] ∩ G qui converge vers zéro.<br />
b) Soit x ∈ IR + vérifier que pour tout entier n il existe un entier un tel que ungn ≤ x <<br />
(un + 1) · gn.<br />
k=0