Lecon 66
Lecon 66
Lecon 66
Pré-requis :
– Notions de limite, continuité, dérivabilité ;
– Théorème des valeurs intermédiaires ;
– L’image d’un segment par une application continue est un segment.
démonstration : Puisque f est continue, il existe m, M ∈ R tels que f ([a, b]) = [m, M ]. Si m = M ,
f est constante et f ′ est identiquement nulle sur ]a, b[. Supposons alors m < M quitte à échanger les
rôles de m et M . Alors m < f (a) ou f (a) < M .
– Si m < f (a), alors il existe c ∈ ]a, b[ tel que f (c) = m.
f (x) − f (c)
∀ x ∈ ]a, c[, f (x) > f (c) ⇒ 6 0,
x−c
f (x) − f (c)
∀ x ∈ ]c, b[, f (x) > f (c) ⇒ > 0.
x−c
Comme f est dérivable en c, le passage à la limite dans les deux inégalités ci-dessus donne respecti-
vement
Interprétation géométrique
Cf
f (a) = f (b)
0 a c b
Remarques 1 :
1. On ne sait pas si c est unique, et le théorème ne permet pas de connaître c.
2. f n’a pas besoin d’être
√ dérivable aux bornes de l’intervalle.
Exemple : f (x) = 1 − x2 sur [−1, 1]. On a f (−1) = f (1) = 0 et f ′ (0) = 0, mais aussi lim f ′ (x) = +∞.
x→±1
3. f continue sur [a, b] est une condition nécessaire.
Exemple : f (x) = x − E(x) sur [0, 1] (E désigne la fonction "partie entière"). On a f (0) = f (1) = 0, mais
f ′ (x) = 1 sur ]0, 1[.
4. f dérivable sur ]a, b[ est une condition nécessaire.
Exemple : f (x) = |x| sur [−1, 1]. On a f (−1) = f (1) = 1, mais f ′ (x) = ±1 sur ] − 1, 1[\{0}.
5. f à valeurs dans R est aussi une condition nécessaire. En effet, si l’on considère la fonction f : [0, 1] → C
définie par f (x) = e2iπx , bien continue sur [0, 1] et dérivable sur ]0, 1[, on aura f (0) = f (1) = 1, mais
f ′ (x) = 2iπ e2iπx implique que |f ′ (x)| = 2π 6= 0.
66.2 Conséquences
66.2.1 Théorème de Rolle infini
Théorème 2 : Soit f : [a, +∞[−→ R continue sur [a, +∞[, dérivable sur ]a, +∞[ et telle que
lim f (x) = f (a). Alors il existe un réel c ∈ ]a, +∞[ tel que f ′(c) = 0.
x→∞
démonstration : Si f est constante sur [a, +∞[, alors f ′ et identiquement nulle sur cet intervalle.
Sinon, il existe un réel b ∈ ]a, +∞[ tel que f (b) 6= f (a).
TVI f (a) + f (b)
lim f (x) = f (a) ⇒ ∃ A ∈ ]b, +∞[ | f (A) = .
x→+∞ 2
De plus, ce même Théorème des Valeurs Intermédiaires nous assure que
f (a) + f (b)
∃ B ∈ ]a, b[ | f (B) = .
2
On en déduit que f (B) = f (A). Puisque f reste continue et dérivable sur [B, A], le théorème de Rolle
s’applique et l’existence de c ∈ ]B, A[ ⊂ ]a, +∞[ tel que f ′ (c) = 0 est démontrée.
Théorème de Rolle. Applications. 3
ϕ est clairement continue sur [a, b], dérivable sur ]a, b[, et vérifie ϕ(a) = 0. Déterminons alors A tel
que ϕ(b) = 0 :
f (b) − f (a)
ϕ(b) = 0 ⇔ A = .
b−a
Affectons alors cette valeur à A (existe car l’hypothèse générale a < b assure que a − b 6= 0), de sorte
que le théorème de Rolle s’applique, donnant l’existence d’un réel c ∈ ]a, b[ tel que
f (x) − f (c)
f ′ (c) = lim .
x→c x−c
Dans ce cas,
− Si x < c, alors f (x) 6 f (c) f (x) − f (c)
donc lim > 0 ⇒ f ′ (c) > 0.
− Si x > c, alors f (x) > f (c) x→c x−c
"⇐" : Supposons que f ′ (c) > 0 pour tout c ∈ ]a, b[. Onconsidère (x, y) ∈ [a, b]2 tel que x < y
(sinon on échange les rôles de x et y). Alors, grâce au TAF, il existe c1 ∈ ]x, y[ ⊂ ]a, b[ tel que
f (y) − f (x) = f ′ (c1 )(y − x). Puisque f ′ (c1 ) > 0 par hypothèse, il vient que f (y) − f (x) et y − x
ont le même signe, c’est-à-dire que f est croissante sur [a, b].
4 Théorème de Rolle. Applications.
démonstration : Il suffit d’appliquer le théorème de Rolle sur chacun des (n − 1) intervalles [xi , xi+1 ]
pour i ∈ {1, . . . , n − 1}.
Interprétation graphique
Pour illustrer ce théorème, j’ai voulu créer un polynôme de degré 4 passant par les points (0, 0), (1, −1),
(2, 3), (3, −1) et (4, 0). Me rappelant de l’interpolation de Lagrange, j’ai implanté une fonction dans la cal-
culatrice me permettant de déterminer un tel polynôme. Je l’ai ensuite représenté sur l’intervalle [−0, 5; 4, 5]
afin de montrer que sa dérivée possède effectivement trois racines. La fonction prend en paramètre 2 listes
(celle des abscisses et celle des ordonnées) et une variable (celle qui sera utilisée pour expliciter le polynôme
d’interpolation).
après avoir vérifié qu’elle était bien continue sur [a, b] et dérivable sur ]a, b[, et déterminé la valeur de
A telle que ψ(a) = ψ(b).
c 2010 par Martial LENZEN.
Aucune reproduction, même partielle, autres que celles prévues à l’article L. 122-5 du code de la
propriété intellectuelle, ne peut être faite sans l’autorisation expresse de l’auteur.