Théorème de Rolle, théorème des accroissements finis

FondamentalThéorème de Rolle

Soit f f une fonction continue sur I ¯ = [ a ; b ] bar I = left [ a nitalic ; b right ] , dérivable sur I = ] a ; b [ I = left ] a nitalic ; b right [ et telle que f ( a ) = f ( b ) f(a)=f(b) .

Alors il existe c I c in I tel que f ' ( c ) = 0 f'(c) = 0

FondamentalThéorème des accroissements finis

Soit f f une fonction continue sur I ¯ = [ a ; b ] bar I = left [ a nitalic ; b right ] , et dérivable sur I = ] a ; b [ I = left ] a nitalic ; b right [ .

Alors il existe c I c in I tel que f ( b ) f ( a ) = ( b a ) f ' ( c ) f(b) - f(a) = (b-a)f'(c) .

FondamentalInégalité des accroissements finis

Soit f f une fonction dérivable sur un intervalle I I , a a et b b deux points de I I tels que a < b a<b . S'il existe deux réels m m et M M tels que, pour tout x x de I I , on ait : m < f ' ( x ) < M m < f'(x) < M , alors on a :

m ( b a ) < f ( b ) f ( a ) < M ( b a ) m(b-a) < f(b)-f(a) < M(b-a)

Pour démontrer ce théorème, il suffit d'étudier les variations de deux fonctions auxiliaires définies sur I I : g ( x ) = f ( x ) M x g(x) = f(x)-M x et h ( x ) = f ( x ) m x h(x) = f(x)-m x . En calculant les dérivées de g g et h h , on prouve aisément que g g est décroissante et que h h est croissante.

on en déduit que,

si a < b , alors : g ( a ) < g ( b ) "si " a<b ", alors : " g(a)<g(b)

c'est à dire :

f ( a ) M a > f ( b ) M b f(a) - M a > f(b)- M b

ou encore :

f ( b ) f ( a ) < M ( b a ) f(b)-f(a) < M(b-a) (1)

De même,

si a < b , alors : h ( a ) < h ( b ) "si " a<b ", alors : " h(a)<h(b)

c'est à dire

f ( a ) m a < f ( b ) m b f(a) - m a < f(b)- m b

ou encore

f ( b ) f ( a ) > m ( b a ) f(b)-f(a) > m(b-a) (2)

En utilisant (1) et (2), on obtient le théorème précédent.

Exemple

Soit la fonction f f définie sur [ 0 ; π 4 ] left [ 0 nitalic ; %pi over 4 right ] par f ( x ) = tan x f(x) = tan x .

On a : f ' ( x ) = 1 + tan 2 x f'(x) = 1+ tan^2 x

Pour 0 < x < π 4 0 < x < %pi over 4 , on a 0 < tan x < 1 0 < tan x < 1 , car la fonction tangente est croissante sur [ 0 ; π 4 ] left [ 0 nitalic ; %pi over 4 right ]

Donc, pour 0 < x < π 4 0 < x < %pi over 4 , on a 0 < tan 2 x < 1 0 < tan^2 x < 1

et donc 1 < 1 + tan 2 x < 2 1 < 1 + tan^2 x < 2

On en déduit que, pour b [ 0 ; π 4 ] b in left [ 0 nitalic ; %pi over 4 right ] , 1 ( b 0 ) < tan b tan 0 < 2 ( b 0 ) 1 (b-0) < tan b-tan 0 < 2 (b-0)

Et donc : pour b [ 0 ; π 4 ] b in left [ 0 nitalic ; %pi over 4 right ] , b < tan b < 2 b b< tan b < 2 b