ECE1-B 2015-2016
Théorème des accroissements finis
Exercice 12. (☀)
Soit f:R→Rune fonction dérivable sur R. Montrer que :
∀x > 0,∃c > 0, f(x)−f(−x) = x(f0(c) + f0(−c))
(on pourra introduire la fonction ϕ:x7→ f(x)−f(−x))
IAF pour l’étude des suites du type un+1 =f(un)
Exercice 13. (☀☀)(d’après EML 2001)
On considère la fonction fsuivante.
f: ]0,+∞[→R
x7→ x
ex−1
a) Calculer f0(x).
b) Montrer que ∀x∈]0,+∞[, f 00(x) = ex
(ex−1)3(xex−2ex+x+ 2).
c) Étudier les variations de la fonction g: [0,+∞[→Rdéfinie, pour tout x
de [0,+∞[, par : g(x) = xex−2ex+x+ 2.
En déduire : ∀x∈]0; +∞[, f00 (x)>0.
d) En déduire le sens de variation de f(on admettra que f0(x)−→
x→0+−1
2).
On précisera la limite de fen +∞. Dresser le tableau de variation de f.
e) On considère la suite (un)par : u0= 1
∀n∈N, un+1 =f(un)
Montrer ∀x∈]0,+∞[,
f0(x)
61
2et 06f(x)61.
f) Résoudre l’équation f(x) = x, d’inconnue x∈]0,+∞[.
g) Montrer ∀n∈N,|un+1 −ln 2|61
2|un−ln 2|.
h) Établir que la suite (un)n>0converge et déterminer sa limite.
Exercice 14. (☀☀)
Soit la suite la suite (un)par : u0= 0
∀n∈N, un+1 =√un+ 1
On pose f(x) = √x+ 1.
a. Montrer que [0,2] est stable par fet que : ∀x∈[0,2],|f0(x)|61
2.
b. Déterminer les points fixes de f. Notons rl’unique point fixe dans [0,2].
c. Montrer que ∀n∈N,06un62.
d. Montrer que ∀n∈N,|un+1 −r|6|un−r|
2puis que |un−r|61
2n−1
e. Montrer que (un)converge et déterminer sa limite.
f. Déterminer un entier Ntel que |uN−r|610−9.
g. Écrire un programme Scilab donnant une valeur approchée de rà10−9
près.
Exercice 15. (☀☀)
On considère la fonction f:x7→ e−x2
2.
On définit la suite (un)par : u0∈[0,1]
∀n∈N, un+1 =f(un)
1. Montrer que l’équation f(x) = xadmet une unique solution dans [0,1],
que l’on notera α.
2. Montrer que l’intervalle [0,1] est stable par f.
En déduire que : ∀n∈N, un∈[0,1].
3. a) Montrer que : ∀x∈[0,1],|f0(x)|61
√e
b) En déduire que : ∀n∈N,|un+1 −α|61
√e|un−α|.
c) Puis que : ∀n∈N,|un−α|61
√en
.
d) En déduire enfin que (un)est convergente et déterminer sa limite.
(☆): application directe du cours, (☀): pas de difficulté majeure, (☀☀): plus difficile, (☀☀☀): costaud 3