Vous êtes sur la page 1sur 12

20 Thorme de Rolle et galit des accroissements nis.

Applications
20.1 Le thorme de Rolle sur un espace vectoriel norm

Pour ce paragraphe, on se donne un espace vectoriel norm (E, ) . Le thorme de Rolle est bas sur les deux thormes suivants, relatifs des problmes dextremum. Thorme 20.1 Si K est un compact de E et f une fonction continue K dans R, elle est alors borne et atteint ses bornes, cest--dire quil existe et dans K tels que : f () = inf f (x) , f ( ) = sup f (x) .
xK xK

Thorme 20.2 Si O est un ouvert non vide de E et f une fonction de O dans R direntiable en un point O et admettant un extremum local en alors df () = 0. Thorme 20.3 (Rolle) Soient K un compact de E dintrieur non vide, f une fonction continue de K dans R direntiable sur lintrieur de K et constante sur la frontire de K, Fr (K ) = K \ K. Il existe alors un lment c K tel que df (c) = 0. Dmonstration. Si f est constante, alors sa direntielle est nulle. On suppose donc f non constante. La fonction f tant continue sur le compact K est borne et atteint ses bornes, cest--dire quil existe , dans K tels que f () = inf f (x) et f ( ) = sup f (x) . Si , sont dans Fr (K )
xK

on a alors f () f (x) f ( ) = f () pour tout x K et f est constante contrairement lhypothse de dpart, on a donc K ou K, ce qui entrane df () = 0 ou df ( ) = 0. La classique version relle de ce thorme est la suivante. Thorme 20.4 (Rolle) Si f est une fonction valeurs relles dnie sur un intervalle compact [a, b] non rduit un point, continue sur cet intervalle et drivable sur lintervalle ouvert ]a, b[ avec f (a) = f (b) , il existe alors un point c ]a, b[ tel que f (c) = 0. Remarque 20.1 Il ny a pas, a priori, unicit du point c tel que f (c) = 0 (gure 20.1). Remarque 20.2 La fonction x 1 x2 sur [1, 1] nous donne un exemple de situation o f nest pas drivable au bord (gure 20.2). 415

xK

416

Thorme de Rolle et galit des accroissements nis. Applications

Fig. 20.1 y = sin (x)

Fig. 20.2 y =

1 x2

Remarque 20.3 Le thorme nest plus vrai si f nest pas continue au bord comme le montre lexemple de la fonction f dnie par f (x) = x sur ]0, 1] et f (0) = 1 (gure 20.3). Remarque 20.4 Le thorme nest plus vrai si f nest pas drivable sur ]a, b[ tout entier comme le montre lexemple de la fonction f dnie par f (x) = |x| sur [1, 1] (gure 20.4). Le thorme de Rolle pour les fonctions dune variable relle est encore valable sur une demi-droite ferme. Prcisment on a le rsultat suivant. Thorme 20.5 Si f est une fonction valeurs relles dnie sur un intervalle ferm [a, +[ , continue sur cet intervalle et drivable sur lintervalle ouvert ]a, +[ avec lim f (x) = f (a) ,
x+

il existe alors un point c ]a, +[ tel que f (c) = 0. Dmonstration. Le changement de variable t = ex nous ramne un intervalle compact. On dnit donc la fonction g sur [0, ea ] par : g (t) = f ( ln (t)) si t ]0, ea ] , f (a) si t = 0.

Le thorme de Rolle sur un espace vectoriel norm

Fig. 20.3

Fig. 20.4 y = |x|


1 1
t0

417

Cette fonction est continue sur ]0, ea ] comme compose de fonctions continues et avec lim g (t) =
x+

lim f (x) = f (a) , on dduit quelle est continue en a. Elle est drivable sur ]0, ea [ avec

f ( ln (t)) . t Enn avec g (0) = g (ea ) = f (a) , on peut utiliser le thorme de Rolle pour dire quil existe d ]0, ea [ tel que g (d) = 0 et c = ln (d) ]a, +[ est tel que f (c) = 0. On peut aussi utiliser la fonction g dnie sur 0, par : 2 f (a + tan (t)) si t 0, , 2 g (t) = f (a) si t = . 2 g (t) = Cette fonction est continue sur 0, comme compose de fonctions continues et avec lim t 2 2 lim f (x) = f (a) , on dduit quelle est continue en . Elle est drivable sur 0, avec x+ 2 2 = f (a) , on peut utiliser le g (t) = (1 + tan2 (t)) f (a + tan (t)) . Enn avec g (0) = g 2 thorme de Rolle pour dire quil existe d 0, tel que g (d) = 0 et c = a +tan (d) ]a, +[ 2 est tel que f (c) = 0. On a galement le rsultat suivant pour les fonctions dnies sur R. g (t) =

418

Thorme de Rolle et galit des accroissements nis. Applications


x x+

Thorme 20.6 Si f : R R est drivable avec lim f (x) = lim f (x) , alors il existe c dans R tel que f (c) = 0. Dmonstration. Le changement de variable t = arctan (x) nous ramne un intervalle compact. On dnit la fonction g sur , par : 2 2 , f (tan (t)) si t , 2 2 g (t) = = lim f (x) si t = . x 2 comme compose de fonctions continues et avec Cette fonction est continue sur , 2 2 lim g (t) = lim f (x) = , on dduit quelle est continue en . Elle est drivable sur x t 2 2 , avec g (t) = (1 + tan2 (t)) f (tan (t)) . Le thorme de Rolle nous dit alors quil existe 2 2 d , tel que g (d) = 0 et c = tan (d) est tel que f (c) = 0. 2 2 La version itre suivante du thorme de Rolle est souvent utile (voir linterpolation de Lagrange et les polynmes orthogonaux). Thorme 20.7 Si f est une fonction valeurs relles de classe C m sur un intervalle rel I, o m est un entier naturel, qui sannule en m + 1 points de I distincts, alors il existe un point c dans I tel que f (m) (c) = 0. Dmonstration. Si m = 0 le rsultat est vident. On suppose donc que m est non nul. Si a, b sont deux racines distinctes de f, le thorme de Rolle nous dit alors quentre ces deux racines il existe une racine de f . On en dduit que la fonction f admet m racines distinctes dans I. Une rcurrence nie nous permet alors de montrer que la drive dordre m, f (m) admet au moins une racine dans I. On peut donner une dmonstration du thorme de Rolle base sur un principe de dichotomie (voir [66]).

20.2

Applications du thorme de Rolle

Le thorme de Rolle est important pour ses nombreuses applications.

20.2.1

Quelques exercices classiques

Exercice 20.1 Soient f, g deux fonctions valeurs relles non nulles, continues sur [a, b] , drivables sur ]a, b[ , avec f (a) g (b) = f (b) g (a) . Montrer quil existe un rel c ]a, b[ tel que g (c) f (c) = . f (c) g (c) Solution 20.1 La fonction h dnie sur [a, b] par g (x) = sur ]a, b[ avec : f (x) est continue sur [a, b] , drivable g (x)

h (x) = g (x) f (x) f (x) g (x) , g (x)2 h (a) = h (b) .

Applications du thorme de Rolle

419

Le thorme de Rolle nous dit alors quil existe un rel c ]a, b[ tel que g (c) = 0, ce qui quivaut f (c) g (c) = . f (c) g (c) Pour g constante gale 1, on retrouve le thorme de Rolle.
1

Exercice 20.2 Montrer que si f : [0, 1] R est telle que xe dans ]0, 1[ . Solution 20.2 La fonction g dnie sur [0, 1] par g (x) =
0

f (t) dt =
x

1 , alors f a un point 2

x2 est continue sur 2 0 [0, 1] , drivable sur ]0, 1[ avec g (0) = g (1) = 0. Le thorme de Rolle nous dit alors quil existe c ]0, 1[ tel que g (c) = 0, ce qui signie f (c) = c. f (t) dt

20.2.2

Sur les racines de polynmes rels

Thorme 20.8 Si P est un polynme rel de degr n 2 scind sur R alors il en est de mme de son polynme driv. Prcisment si 1 < 2 < < p sont les racines relles distinctes de P avec p 2, la racine
p

j tant de multiplicit mj 1 (
j =1

mj = n), alors le polynme driv P admet les rels j

pour racines de multiplicits respectives mj 1, pour 1 j p (une multiplicit nulle signie que j nest pas racine de P ) et des racines simples j ]j , j +1 [ pour 1 j p 1. Dmonstration. Pour j {1, , p} tel que mj 2, j est racine dordre mj 1 du
p

polynme P . Ce qui donne


j =1

(mj 1) = n p racines relles pour P . Dautre part, le

thorme de Rolle nous dit que pour tout j dans {1, , p 1} il existe j ]j +1 , j [ tel que P (j ) = 0, ce qui donne p 1 racines relles supplmentaires et distinctes pour P . On a donc un total de n 1 racines relles pour P et les j sont ncessairement simples. On peut remarquer que toutes les racines de P sont dans lintervalle [1 , p ] . De manire plus gnrale, si P est un polynme non constant coecients complexes, alors les racines du polynme driv P sont dans lenveloppe convexe de lensemble des racines de P (thorme de Lucas). Exercice 20.3 Soient n 2, a, b rels et P (x) = xn + ax + b. Montrer que si n est pair alors P a 0, 1 ou 2 racines relles et si n est impair alors P a 1, 2 ou 3 racines relles. Solution 20.3 On utilise la consquence suivante du thorme de Rolle : si f est une fonction drivable sur un intervalle I et valeurs relles telle que f admette exactement p racines relles distinctes avec p 0, alors f a au plus p + 1 racines relles distinctes. En eet, si f a p + 2 racines relles 1 < 2 < < p+2 , le thorme de Rolle nous assure lexistence dau moins une racine relle sur chaque intervalle ]k , k+1 [ pour k compris entre 1 et p + 1, ce qui donne au moins p + 1 racines distinctes pour f . Supposons n pair. On a alors P (x) = n (n 1) xn2 > 0 pour tout rel non nul x et P est strictement croissante sur R de degr impair, elle sannule donc une fois (thorme des valeurs intermdiaires) et une seule (P est injective). Avec le thorme de Rolle on dduit alors que P sannule au plus 2 fois. Supposons n impair. Alors P est strictement dcroissante sur ], 0[ , strictement croissante sur ]0, +[ , avec P (0) = a. Il rsulte que P a 2 racines relles et > 0 si a < 0, 0 pour unique racine relle si a = 0 et pas de racine relle si a > 0. Avec la thorme de Rolle, on dduit alors que P a au plus 3 racines relles.

420

Thorme de Rolle et galit des accroissements nis. Applications

On sait quun polynme rel de degr n a au plus n racines relles sur un intervalle I. Plus gnralement, on a le rsultat suivant. Exercice 20.4 Montrer que pour tout entier naturel n et toutes suites de rels (ak )0kn et (k )0kn , les ak tant non tous nuls et les k deux deux distincts, la fonction fn dnie par :
n

fn (x) =
k=0

ak xk

a au plus n racines relles distinctes dans R+, . On dit que la famille de fonctions xk 0kn est un systme de Tchebychev (ou systme de Haar ou encore systme unisolvent) dans C (R+, ) . Solution 20.4 On procde par rcurrence sur n 0. Pour n = 0, f0 (x) = a0 x0 na pas de racine dans R+, puisque a0 est non nul. Supposons le rsultat acquis au rang n 0. Si la fonction fn+1 = racines distinctes dans R+, , il en est alors de mme de la fonction :
n+1 n+1 k=0

ak xk a plus de n + 1

gn+1 (x) = x

fn+1 (x) =
k=0

ak xk j

o j compris entre 0 et n + 1 est choisi tel que aj = 0. Le thorme de Rolle nous dit alors que la fonction drive :
n+1 n+1

gn+1 (x) =
k=0

(k j ) ak x

k j 1

=
k=0 k =j

(k j ) ak xk j 1

a plus de n racines distinctes dans R+, et en consquence tous les (k j ) ak pour k = j sont nuls (hypothse de rcurrence), ce qui entrane fn+1 (x) = aj xj , mais cette fonction ne sannule jamais sur R+, . On aboutit donc une impossibilit. Exercice 20.5 En utilisant les thormes de Rolle, montrer que pour tout entier n, on a : x R, arctan(n+1) (x) = Pn (x) , (1 + x2 )n+1

o Pn est un polynme de degr n avec n racines relles distinctes. Solution 20.5 Pour n = 0, on a arctan (x) = P0 (x) avec P0 (x) = 1 sans racine relle. 1 + x2 Pn (x) En supposant le rsultat acquis au rang n, la fonction fn dnie par fn (x) = est (1 + x2 )n+1 nulle en et en n points distincts, on dduit alors des thormes de Rolle (classique sur un compact et gnralis sur un intervalle ferm de longueur innie) que sa drive sannule Pn+1 (x) en n + 1 points distincts, cette drive scrivant , o Pn+1 (x) = (1 + x2 ) Pn (x) (1 + x2 )n+2 2 (n + 1) xPn (x) est un polynme de degr gal n + 1 (il a n + 1 racines, ou alors on peut calculer son coecient dominant). Do le rsultat. En fait, en utilisant une dcomposition en lments simples dans C (X ) , on peut montrer que k ces racines sont les xk = cotan avec k compris entre 1 et n. n+1

Applications du thorme de Rolle

421

20.2.3

Racines des polynmes de Legendre, de Laguerre et dHermite


n (n)

Pour tout n N, on note 2n (x) = (x2 1) et Ln = 2n . Les polynmes Ln sont les polynmes de Legendre sur [1, 1] . Pour n = 0, on a L0 = 1. Pour n 1 le polynme :
n

2n (x) =
k=0

k 2k (1)nk Cn x

est de degr 2n et sa drive dordre n : Ln (x) =


n kn 2

k (1)nk Cn

(2k )! x2kn (2k n)!

est un polynme de degr n, de la parit de n. Thorme 20.9 Pour n 1, le polynme Ln admet n racines relles distinctes dans lintervalle ]1, 1[ . Dmonstration. Pour n = 1, L1 (x) = 2x sannule en 0. (k) Pour n 2, on vrie par rcurrence sur k {0, , n 1} , que le polynme 2n sannule en 1, 1 et en k points distincts de ]1, 1[ . Le polynme 2n admettant 1 et 1 comme racines dordre n, le rsultat est vrai pour k = 0. (k1) Supposons le acquis pour k 1 {0, , n 2} (n 2). La fonction 2n est nulle en (k) 1 < t1 < < tk1 < 1 et avec le thorme de Rolle on dduit que sa drive 2n sannule en k points distincts de ]1, 1[ . Dautre part, 1 et 1 tant racines dordre n de 2n , elles sont (k) aussi racines dordre n k > 0 de 2n . (n1) En appliquant le thorme de Rolle la fonction 2n qui est nulle en n + 1 points distincts (n) 1 < t1 < < tn1 < 1, on dduit que Ln = 2n sannule en n points distincts de ]1, 1[ . (n) Soit > 1. Pour tout entier naturel n, on dnit le polynme L,n par (xn+ ex ) = L,n (x) x ex . Les polynmes L,n sont les polynmes de Laguerre sur ]0, +[ . Il est facile de vrier que L,n est un polynme de degr n. En eet, on a L,0 (x) = 1, L,1 (x) = 1 + x. Supposons, pour n 1, que L,n est polynomiale de degr n pour tout rel > 1. Avec : xn+1+ ex
(n+1)

= (n + 1 + ) xn+ ex xn+(1+) ex = (n + 1 + ) L,n (x) x ex L+1,n (x) x+1 ex = ((n + 1 + ) L,n (x) xL+1,n (x)) x ex ,

(n)

(n)

on dduit que L,n+1 (x) = (n + 1 + ) L,n (x) xL+1,n (x) est polynomiale de degr n + 1. Thorme 20.10 Pour tout rel > 1 et tout entier n 1, le polynme L,n admet n racines relles distinctes dans ]0, +[ . Dmonstration. Pour > 1 et n = 1, on a L,1 (x) = 1+ x de degr 1 nul en 1+ > 0. En supposant le rsultat acquis au rang n pour tout > 1, la fonction fn dnie sur [0, +[ (n) par fn (x) = (xn++1 ex ) = L+1,n (x) x+1 ex est nulle en 0, + et en n points distincts de ]0, +[ , on dduit alors des thormes de Rolle (classique sur un compact et gnralis sur [0, +[) que sa drive fn (x) = L,n+1 (x) x ex sannule en n + 1 points distincts de ]0, +[ . Do le rsultat au rang n + 1.

422

Thorme de Rolle et galit des accroissements nis. Applications


2

Pour tout n N, on dnit le polynme Hn par ex = Hn (x) ex . Les polynmes Hn sont les polynmes dHermite sur R. Il est facile de vrier que Hn est un polynme de degr n. Thorme 20.11 Pour n 1, le polynme Hn admet n racines relles distinctes. Dmonstration. Pour n = 1, on a H1 (x) = 2x de degr 1 nul en 0. En supposant le 2 rsultat acquis au rang n, la fonction fn dnie par fn (x) = Hn (x) ex est nulle en et en n points distincts, on dduit alors des thormes de Rolle (classique sur un compact et 2 gnralis sur un intervalle ferm de longueur innie) que sa drive fn (x) = Hn+1 (x) ex sannule en n + 1 points distincts. Do le rsultat au rang n + 1. En fait ces rsultat sont vrais pour toute famille de polynmes orthogonaux et on peut les dmontrer en utilisant uniquement les proprits dorthogonalit et le thorme des valeurs intermdiaires (voir [67]).

(n)

20.2.4

Majoration de lerreur dans linterpolation de Lagrange

Soient I = [a, b] un intervalle rel ferm born avec a < b, n un entier naturel non nul et (xi )0in une suite de rels deux deux distincts dans I. toute fonction f dnie sur I et valeurs relles on associe le polynme dinterpolation de Lagrange Ln (f ) dni par : Ln (f ) Rn [x] , Ln (f ) (xi ) = f (xi ) (0 i n) .

Un tel polynme est uniquement dtermin par f. On peut lcrire sous la forme :
n

Ln (f ) =
i=0

f (xi ) Ln,i ,

avec : Ln,i (x) =

x xj xi xj j =0, j =i

(0 i n) .

Dans le cas o la fonction f est de classe C n+1 sur I, on peut donner une expression de lerreur dinterpolation f Ln (f ) en tout point de lintervalle I. Prcisment on a le rsultat suivant o, pour n 1, n+1 est la fonction polynomiale dnie par :
n

n+1 (x) =
i=0

( x xi ) .

Thorme 20.12 Soit f une fonction de classe C n+1 sur lintervalle I. Pour tout x dans I il existe un point cx appartenant I tel que : f (x) Ln (f ) (x) = 1 n+1 (x) f (n+1) (cx ) . (n + 1)!

Dmonstration. Si x est lun des points xi , on a alors f (x) Ln (f ) (x) = n+1 (x) = 0 et tout point cx I convient.

Applications du thorme de Rolle

423

On se donne donc un point x dans I \ {x0 , , xn } . On dsigne par Px le polynme dinterpolation de Lagrange associ la fonction f et aux points x0 , , xn , x. Ce polynme est dni par : Px Rn+1 [t] , Px (xi ) = f (xi ) (0 i n) , Px (x) = f (x) . On vrie facilement que : f (x) Ln (f ) (x) Px = Ln (f ) + n+1 . n+1 (x) La fonction gx = f Px est alors de classe C n+1 sur lintervalle I, nulle en n + 2 points distincts (x et les xi ), le thorme de Rolle itr nous dit alors quil existe un point cx I tel que (n+1) gx (cx ) = 0, ce qui compte tenu de :
(n+1) = Px

f (x) Ln (f ) (x) (n + 1)! n+1 (x) f (x) Ln (f ) (x) (n + 1)! = 0 n+1 (x) 1 n+1 (x) f (n+1) (cx ) . (n + 1)!

scrit : f (n+1) (cx ) ou encore :

f (x) Ln (f ) (x) =

Une dmonstration analogue nous permet dobtenir une majoration de lerreur dans linterpolation dHermite (voir [67]).

20.2.5

Convexit

Le thorme de Rolle peut tre utilis pour montrer le critre de convexit suivant. Thorme 20.13 Soit I un intervalle rel non rduit un point. Si f : I R est une fonction deux fois drivable telle que f (x) 0 pour tout x I, alors f est convexe. Dmonstration. Pour x < y xs dans I et [0, 1] on pose : () = f (x + (1 ) y ) f (x) (1 ) f (y ) . Cette fonction est deux fois drivable sur [0, 1] avec : () = (x y ) f (x + (1 ) y ) + f (y ) f (x) , () = (x y )2 f (x + (1 ) y ) 0. La fonction est donc croissante sur [0, 1] . Dautre part, on a (0) = (1) = 0, le thorme de Rolle nous dit alors quil existe c ]0, 1[ tel que (c) = 0. Avec la croissance de on a alors () (c) = 0 pour tout [0, c] et () (c) = 0 pour tout [c, 1] , cest--dire que est dcroissante sur [0, c] et croissante sur [c, 1] , il en rsulte que () 0 pour tout [0, 1] , cest--dire que f est convexe. Plus classiquement, on a le rsultat suivant (voir [66]). Thorme 20.14 Soit f une fonction drivable sur I. Les proprits suivantes sont quivalentes : 1. f est convexe sur I ; 2. la fonction drive f est croissante sur I ; 3. la courbe reprsentative de f est situe au dessus de sa tangente en tout point de I.

424

Thorme de Rolle et galit des accroissements nis. Applications

20.2.6

Le thorme de Darboux

On peut donner une dmonstration du thorme de Darboux qui utilise le thorme de Rolle et le rsultat suivant sur les fonction continues. Thorme 20.15 Soient I un intervalle rel et f une fonction continue de I dans R. Cette fonction f est injective si, et seulement si, elle est strictement monotone. Thorme 20.16 (Darboux) Si f est une fonction valeurs relles dnie et drivable sur un intervalle I, alors sa fonction drive f vrie la proprit des valeurs intermdiaires. Dmonstration. Soient a < b dans I. Si f (a) = f (b) il ny a alors rien montrer. On suppose donc que f (a) < f (b) et on se donne ]f (a) , f (b)[ . On dnit la fonction : [a, b] R par : x [a, b] , (x) = f (x) x. Cette fonction est drivable sur [a, b] avec (a) < 0 < (b) et en consquence elle ne peut tre monotone sur I (une fonction monotone drivable sur un intervalle a une drive de signe constant). Le thorme prcdent nous dit alors que nest pas injective, cest--dire quil existe x < y dans I tels que (x) = (y ) et le thorme de Rolle nous dit quil existe c ]x, y [ tel que (c) = 0, ce qui quivaut f (c) = . Une dmonstration classique du thorme de Darboux utilise seulement le fait quune fonction continue sur un segment est borne et atteint ses bornes. On peut aussi dmontrer ce thorme en utilisant le thorme des accroissements nis et le thorme des valeurs intermdiaires.

20.3

Le thorme des accroissements nis


relles, continues sur [a, b] , drivables h (x) h (a) . h (b)

Exercice 20.6 Soient f, g, h trois fonctions valeurs sur ]a, b[ et la fonction dnie sur [a, b] par : f (x) g (x) (x) = det f (a) g (a) f (b) g (b) Montrer quil existe un rel c ]a, b[ tel que (c) = 0. Quels rsultats obtient-on pour h (x) = 1 ?

Solution 20.6 La fonction est continue sur [a, b] drivable sur ]a, b[ et avec le caractre 3-linaire altern du dterminant, on a : f ( x ) g ( x ) h ( x ) (x) = det f (a) g (a) h (a) f (b) g (b) h (b) (a) = (b) = 0. Le thorme de Rolle nous Pour h = 1, on obtient : f (c) (c) = det f (a) f (b) dit alors quil existe un rel c ]a, b[ tel que (c) = 0. g (c) 0 g (a) 1 = f (c) (g (a) g (b)) g (c) (f (a) f (b)) = 0, g (b) 1

soit (f (b) f (a)) g (c) = (g (b) g (a)) f (c) . Cest le thorme gnralis des accroissements nis. Prenant g (x) = x, on a le thorme classique des accroissements nis.

Applications du thorme des accroissements nis

425

Exercice 20.7 Soient (fk )1kn et (gk )1kn deux familles de fonctions valeurs relles, continues sur [a, b] , drivables sur ]a, b[ et telles que gk (a) = gk (b) pour tout k compris entre 1 et n. Monter quil existe un rel c dans ]a, b[ tel que :
n n

fk (c) =
k=1 k=1

gk (c)

fk (b) fk (a) . gk (b) gk (a)

Solution 20.7 On considre la fonction dnie sur [a, b] par :


n

(x) =
k=1

(fk (x) fk (a) k (gk (x) gk (a)))

o les constantes k sont choisies telles que (a) = (b) . On peut prendre : k = fk (b) fk (a) gk (b) gk (a) (1 k n) .

Cette fonction est continue sur [a, b] , drivable sur ]a, b[ avec (a) = (b) . Le thorme de Rolle nous dit alors quil existe un rel c dans ]a, b[ tel que (c) , ce qui donne le rsultat annonc.

20.4

Applications du thorme des accroissements nis

On peut donner une dmonstration du thorme de Darboux qui utilise le thorme des accroissements nis et le thorme des valeurs intermdiaires. Thorme 20.17 (Darboux) Si f est une fonction valeurs relles dnie et drivable sur un intervalle I, alors sa fonction drive f vrie la proprit des valeurs intermdiaires. Dmonstration. Soient a < b dans I. Si f (a) = f (b) il ny a alors rien montrer. On suppose donc que f (a) < f (b) et on se donne ]f (a) , f (b)[ . On dnit les fonctions a et b sur [a, b] par : f (a) si x = a x [a, b] , a (x) = f (x) f (a) si x = a xa et : f (b) si x = b x [a, b] , b (x) = f (b) f (x) si x = b bx Ces fonctions sont continues sur [a, b] puisque f est drivable sur I et on a : a (a) = f (a) < < f (b) = b (b) On a alors deux possibilits : soit a (a) = f (a) < a (b) et le thorme des valeurs intermdiaires nous dit quil existe un rel c dans ]a, b] tel que = a (c) = avec d entre a et c ; f (c) f (a) = f (d) ca

426

Thorme de Rolle et galit des accroissements nis. Applications

soit a (b) < a (b) < f (b) = b (b) et en remarquant que : a (b) = f (b) f (a) = b (a) ba

on a b (a) < < b (b) et le thorme des valeurs intermdiaires nous dit quil existe un rel c dans ]a, b[ tel que = b (c) = f (b) f (c) = f (d) bc

On peut donner une dmonstration du thorme de Darboux qui utilise le fait que limage dun connexe de R2 par une application continue valeurs relles est un connexe de R, donc un intervalle (caractrisation des connexes de R), et le thorme des accroissements nis. Thorme 20.18 (Darboux) Si f est une fonction valeurs relles dnie et drivable sur un intervalle I, alors sa fonction drive f vrie la proprit des valeurs intermdiaires. Dmonstration. Il sagit de montrer que f (I ) est connexe dans R, ce qui revient dire que cest un intervalle. Lensemble : f (x) f (y ) C= | (x, y ) I 2 , x < y xy est un connexe de R comme image du connexe de R2 , E = {(x, y ) I 2 , x < y } (cet ensemble est convexe donc connexe), par lapplication continue dnie sur I 2 par f (x) f (y ) si y = x (x, y ) = xy f (x) si y = x Le thorme des accroissements nis nous dit que tout z C scrit z = f (t) avec t I et f (t + h) f (t) en crivant que f (t) = lim+ , on dduit que z est aussi dans C. On a donc h0 h C f (I ) C avec C connexe, ce qui entrane que f (I ) est connexe. On trouvera dautres dmonstrations dans Bartle et Sherbert : Introduction to real analysis, John Wiley, 1992 (lemme 6.2.11 et thorme 6.2.12) ou dans Boas (p. 122), Hardy (5., sec. 129) ou Rudin, ou ...

Vous aimerez peut-être aussi