(a) Soit (xn) une suite r´eelle admettant une limite `∈Ret fune fonction continue sur R.
Montrer (uniquement en utilisant les d´efinitions de la limite d’une suite et de la continuit´e
d’une fonction) que la suite (f(xn)) converge vers f(`).
(b) Soit fune fonction d´efinie sur un intervalle Iet `un point de I. Montrer que si toute
suite (xn) de Iconvergeant vers `v´erifie que (f(xn)) converge vers f(`), alors, pour tout
r´eel positif, il existe un r´eel η > 0 tel que pour tout x∈Iv´erifiant |x−`| ≤ η, on a
|f(x)−f(`)| ≤ .On pourra raisonner par contrapos´ee.
(c) Donner un exemple de suite (xn) admettant une limite finie `et de fonction ftelle que la
suite (f(xn)) ne converge pas vers f(`).
7. Th´eor`eme des bornes. Soit fune fonction continue sur un intervalle [a, b], aet b´etant deux
r´eels fix´es. On note M= sup[a,b]f.
(a) Justifier l’existence d’une suite (xn) de [a, b] telle que (f(xn)) converge vers M.
(b) Montrer (en appliquant l’un des th´eor`emes pr´ec´edemment d´emontr´es) que (xn) admet une
sous-suite convergente, de limite not´ee α∈[a, b]. Que peut-on dire de f(α) ?
(c) En d´eduire le th´eor`eme des bornes (qui stipule que toute fonction continue sur un intervalle
admet un maximum et un minimum).
8. Th´eor`eme des valeurs interm´ediaires. Soit fune fonction continue sur un intervalle [a, b].
(a) On suppose pour cette question que f(a)<0 et f(b)>0. Construire une suite d’intervalles
([an, bn]) dont la longueur tend vers 0 et v´erifiant pour tout n:f(an)≤0≤f(bn) et
an≤an+1 ≤bn+1 ≤bn.´
Etudier la limite des suites (an) et (bn) et en d´eduire l’existence
d’un r´eel c0∈[a, b] tel que f(c0) = 0.
(b) Montrer maintenant que pour tout r´eel λcompris entre f(a) et f(b), il existe un r´eel
cλ∈[a, b] tel que f(cλ) = λ.
(c) Montrer en utilisant le r´esultat de la question pr´ec´edente ainsi que le th´eor`eme des bornes
que f([a, b]) est un intervalle.
9. Th´eor`eme de Rolle. Soit fune fonction continue sur [a, b], d´erivable sur ]a, b[ et telle que
f(a) = f(b) = 0. On supposera que fn’est pas constante.
(a) Montrer que fadmet un minimum global met un maximum global Msur [a,b] et que l’un
des deux est diff´erent de f(a).
(b) On suppose que Mest diff´erent de f(a) et on note c∈]a, b[ un r´eel tel que f(c) = M.
Montrer que pour tout h > 0 tel que c−h∈[a, b] (respectivement c+h∈[a, b]), on a
f(c−h)−f(c)
−h≥0respectivement f(c+h)−f(c)
h≤0.
(c) Conclure que f0(c) = 0.
10. Th´eor`eme (ou ´egalit´e) des accroissements finis. Soit fune fonction continue sur [a, b] et
d´erivable sur ]a, b[. On note gla fonction d´efinie sur [a, b] par
g:x7→ f(x)−xf(b)−f(a)
b−a.
(a) Montrer que gv´erifie les hypoth`eses du th´eor`eme de Rolle et en d´eduire l’existence d’un
r´eel c∈]a, b[ tel que g0(c) = 0.
(b) Expliciter f0(c) puis ´enoncer le th´eor`eme des accroissements finis.
(c) Que signifie graphiquement ce r´esultat ?
(d) ´
Enoncer (sans la d´emontrer) l’in´egalit´e des accroissements finis, en pr´ecisant soigneusement
les hypoth`eses.
5