1. un=(−1)n
n+ sin n.
2. un=(−1)n
√n+ sin n[Indication : (−1)nsin n= sin(n(π+ 1))].
Exercice 26 ´
Enoncer et d´emontrer le crit`ere des s´eries altern´ees.
4. Continuit´e et d´erivabilit´e de fonctions num´eriques
Exercice 27 D´emontrer l’in´egalit´e arithm´etico-g´eom´etrique.
Exercice 28 Prouver que pour tout xdans [0,1], arcsin x+ arccos x=π
2.
Exercice 29 ´
Enoncer et d´emontrer le th´eor`eme de Rolle.
Exercice 30 In´egalit´e des accroissements finis relative `a un couple de fonctions.
(E, ||||) d´esignant un espace vectoriel norm´e, soient aet bdeux r´eels tels que a < b,f: [a, b]→Eet
g: [a, b]→Rdes applications continues admettant en tout point de ]a, b[ des d´eriv´ees `a droite telles que
∀t∈]a, b[,||f0
d(t)|| ≤ g0
d(t).
Le but est de prouver que ||f(b)−f(a)|| ≤ g(b)−g(a).
Soient ε > 0, ϕε: [a, b]→R,t7→ ||f(t)−f(a)|| − g(t) + g(a)−ε(t−a) et Eε={t∈[a, b]|ϕε(t)≤ε}.
1. D´emontrer que c= max Eεexiste et que c>a.
Supposons que c<b.
2. Prouver qu’il existe un t∈]c, b] tel que ||f(t)−f(c)|| ≤ g(t)−g(c) + ε(t−c).
Indication : Utiliser la d´erivabilit´e `a droite de ||f|| et de gen cpuis multiplier par t−c.
3. En remarquant que c∈ Eεet en utilisant l’in´egalit´e triangulaire, d´emontrer que t∈ Eε.
4. Conclure.
5. En d´eduire l’in´egalit´e des accroissements finis :
Soient Eun espace vectoriel norm´e, aet bdeux r´eels tels que a < b,f: [a, b]→Eune application
continue sur [a, b], d´erivable `a droite sur ]a, b[ telle que f0
dsoit born´ee sur ]a, b[. Alors
||f(b)−f(a)|| ≤ (b−a) sup
t∈]a,b[||f0
d(t)||.
Exercice 31
1. Soit Iun intervalle de Ret aun point de I. On suppose que la fonction fest continue sur I, d´erivable
sur I\{a}et que la fonction d´eriv´ee f0a une limite finie len a. D´emontrer que la fonction fest
d´erivable en a, que f0(a) = let que la fonction f0est continue en a.
2. D´emontrer le fait que la fonction f0ait une limite finie en aest une condition suffisante mais non
n´ecessaire pour que la fonction fsoit d´erivable en a.
Exercice 32∗Soit fune application monotone d’un intervalle Ide Ret El’ensemble des points de
discontinuit´e de f. D´emontrer que Eest au plus d´enombrable.
4