Vous êtes sur la page 1sur 1

Banque preuve orale de mathmatiques session 2017, CCP-MP Mise jour : 08/09/16

EXERCICE 4 analyse
nonc exercice 4
1. noncer le thorme des accroissements finis.
2. Soit f : [a, b] R et soit x0 ]a, b[.
On suppose que f est continue sur [a, b] et que f est drivable sur ]a, x0 [ et sur ]x0 , b[.
Dmontrer que, si f 0 admet une limite finie en x0 , alors f est drivable en x0 et f 0 (x0 ) = lim f 0 (x).
xx0

3. Prouver que limplication : ( f est drivable en x0 ) = (f 0 admet une limite finie en x0 ) est fausse.
1
Indication : on pourra considrer la fonction g dfinie par : g(x) = x2 sin si x 6= 0 et g(0) = 0.
x

Corrig exercice 4
1. Thorme des accroissements finis :
Soit f : [a, b] R.
On suppose que f est continue sur [a, b] et drivable sur ]a, b[.
Alors c ]a, b[ tel que f (b) f (a) = f 0 (c)(b a).
2. On pose l = lim f 0 (x).
xx0
Soit h 6= 0 tel que x0 + h [a, b].
En appliquant le thorme des accroissements finis, la fonction f , entre x0 et x0 + h, on peut affirmer
quil existe ch strictement compris entre x0 et x0 + h tel que f (x0 + h) f (x0 ) = f 0 (ch )h.
Quand h 0 (avec h 6= 0), on a, par encadrement, ch x0 .
1
Donc lim (f (x0 + h) f (x0 )) = lim f 0 (ch ) = lim f 0 (x) = l.
h0 h h0 xx0
On en dduit que f est drivable en x0 et f 0 (x0 ) = l.
3. La fonction g propose dans lindication est videmment drivable
  sur ], 0[ et ]0, +[.
1 1
g est galement drivable en 0 car (g(h) g(0)) = h sin .
   h h
1 1
Or lim h sin = 0 car |h sin | 6 |h|.
h0
h6=0
h h
Donc, g est drivable en 0 et g 0 (0) = 0.
   
1 1
Cependant, x R\ {0}, g 0 (x) = 2x sin cos .
  x x  
1 1 1
2x sin 0 (car |2x sin( )| 6 2|x|), mais x 7 cos nadmet pas de limite en 0.
x x0 x x
0
Donc g na pas de limite en 0.

CC BY-NC-SA 3.0 FR Page 8

Vous aimerez peut-être aussi