Vous êtes sur la page 1sur 15

c Christophe Bertault - MPSI

Drivabilit
Dans tout ce chapitre, I, J . . . sont des intervalles de R. Quand on emploiera les notations [a, b] ou ]a, b[, il sera sous-entendu
que a et b sont deux rels et que a < b.

1
1.1
1.1.1

Dfinitions et premires proprits


Dfinitions
Drivabilit en un point

Dfinition (Drivabilit en un point) Soient f : I R une application et a I. On dit que f est drivable en a si
f (x) f (a)
lim
existe et est finie. Cette limite est alors appele le nombre driv de f en a et note f 0 (a) ; on la note parfois
xa
xa
df
(a) quand le symbole utilis pour dsigner la variable de f est , ou encore Df (a).
d
Cette dfinition de la drivabilit en a est quivalente la suivante :
pour un certain R, qui se trouve alors tre gal f 0 (a).

f (x) = f (a) + (x a) + o(x a)


xa

Thorme (La drivabilit implique la continuit) Soient f : I R une application et a I. Si f est drivable en a,
alors f est continue en a.

$ $ $ Attention !
La rciproque est totalement fausse. Pensez la fonction valeur absolue en 0. Cest contre-intuitif,
mais il existe mme des fonctions qui sont continues sur tout R mais drivables en aucun point.

Dmonstration

Puisque f est drivable en a, alors :

puisque x a = o(1), on a :
xa

   Explication

f (x) = f (a) + o(1),


xa

f (x) = f (a) + f 0 (a)(x a) + o(x a). En particulier,


xa

et donc f est bien continue en a.

La drivabilit de f en a signifie lexistence dun rel pour lequel f (x) = f (a)+(xa)+o(xa). Une
xa

telle galit exprime une approximation affine de f au voisinage de a : elle nous dit que la droite dquation y = f (a) + (x a)
est la droite la plus proche du graphe de f au voisinage de a, dite tangente de f en a. En particulier, cette terminologie explique
pourquoi on dit que = f 0 (a) est le coefficient directeur de la tangente en a.


f (b) f (a)
est le coefficient directeur de la corde reliant les points de coordonnes a, f (a) et b, f (b) , la limite
Sachant que
ba
f (b) f (a)
f 0 (a) = lim
, quand elle existe et est finie, reprsente la pente limite des cordes prcites.
ba
ba
y = f (x)

y = f (x)
On fait tendre b vers a.
b

f (b)
b

f (a)

Dfinition

La corde reliant

a, f (a) et b, f (b)

f (a)

La tangente de f en a

(Tangente) Soient f : I R et a I.

Si f est drivable en a, la droite dquation y = f (a) + f 0 (a)(x a) est appele la tangente de f en a.


Si lim

xa

f (x) f (a)
= , la droite dquation x = a est appele la tangente de f en a.
xa

c Christophe Bertault - MPSI


   Explication On pourrait montrer sans trop de difficult que cette dfinition de la tangente nest quun cas particulier
de la dfinition de la tangente
vue dans le chapitre Courbes paramtres . Prcisment, si F est la courbe paramtre

rgulire x 7 x,
f
(x)
dont
le
support est exactement le graphe de f , alors la droite passant par F (a) = a, f (a) dirige par

F 0 (a) = 1, f 0 (a) nest autre que la droite dquation y = f 0 (a)(x a) + f (a).

Sans surprise, on reprsente les tangentes au moyen dune flche double sens comme celle-ci dirige selon la tangente :
Exemple

Pour tout n N et pour tout a R, la fonction x 7 xn est drivable en a et son nombre driv en a est nan1 .
En effet

Pour tout x R r a :

et prcisment :

Exemple

n1
X
xn an
=
ak xnk1 .
xa
k=0

xn an
existe alors clairement
xa x a

La limite lim

n1
n1
X k nk1
X n1
xn an
=
lim
a a
=
a
= nan1 comme annonc.
xa x a
k=0
k=0

La fonction valeur absolue | | est drivable en tout point de R , mais pas en 0.


En effet
Sur R
+ , | | concide avec la fonction x 7 x dont nous venons de voir quelle est drivable partout, donc

| | est drivable sur R


+ . La situation est la mme sur R , au signe prs.


|x| |0|
|x|
1
si x > 0
.
=
=
1 si x < 0
x0
x
|x| |0|
|x| |0|
|x| |0|
Ainsi lim
= 1 6= 1 = lim
, donc lim
nexiste pas et comme voulu | | nest pas
x0 x 0
x0+ x 0
x0 x 0
drivable en 0.

En revanche, pour tout x R :

1.1.2

Drivabilit gauche/ droite en un point

Dfinition

(Drivabilit gauche/ droite en un point) Soient f : I R une application et a I.

On dit que f est drivable gauche en a si f|I

],a]

est drivable en a ; cela revient dire que lim

xa

existe et est finie. Cette limite est alors appele le nombre driv gauche de f en a et note fg0 (a).
On dit que f est drivable droite en a si f|I[a,[ est drivable en a ; cela revient dire que lim

et est finie. Cette limite est alors appele le nombre driv droite de f en a et note fd0 (a).

Dfinition

xa+

f (x) f (a)
xa

f (x) f (a)
existe
xa

(Demi-tangente gauche/ droite) Soient f : I R une application et a I.

Si f est drivable gauche en a, la demi-droite dquation y = f (a)+fg0 (a)(xa) et x 6 a est appele la demi-tangente
gauche de f en a.
Si f est drivable droite en a, la droite dquation y = f (a) + fd0 (a)(x a) et x > a est appele la demi-tangente
droite de f en a.

Remarque
La drivabilit gauche ntant quun cas particulier de la drivabilit en gnral on restreint lintervalle
dtude la drivabilit gauche implique la continuit gauche ; de mme droite.

Thorme

Soient f : I R une application et a I.


f est drivable en a si et seulement si f est drivable gauche et droite en a avec de plus fg0 (a) = fd0 (a).
y = f (x)

   Explication

f est drivable gauche et droite en a, mais pas en a.


f (a)

c Christophe Bertault - MPSI


Dmonstration
f est drivable en a

f (x) f (a)
existe et est finie
xa
f (x) f (a)
f (a) f (a)
et lim
existent, sont finies et gales
lim
xa
xa
xa+
xa
f est drivable gauche et droite en a et fg0 (a) = fd0 (a).
lim

xa

Exemple Comme nous lavons vu sans le dire ainsi la fonction valeur absolue | | est drivable gauche et droite en
0, mais comme fg0 (0) = 1 6= 1 = fd0 (0), elle nest pas drivable en 0.


Exemple

Soit f : R R lapplication dfinie par :

x R,

f (x) =

ln(1 + x)
sin x

si x > 0
.
si x < 0

En effet Il est clair que f est drivable sur R .


En 0, on a fg0 (0) = fd0 (0) = 1. Via le thorme prcdent, f
est drivable en 0 et f 0 (0) = 1.

Alors f D(R, R).

$ $ $ Attention !
Une fonction peut ntre ni drivable gauche ni drivable droite en un point. Cest le cas de la
f (x) f (0)
1
1
= sin na pas de limite en 0,
fonction f : x 7 x sin en 0 prolonge par continuit en 0 via f (0) = 0, car x 7
x
x0
x
ni gauche ni droite.

Zoom
b

1.1.3

Drivabilit sur un intervalle

Dfinition (Drivabilit sur un intervalle) Soit f : I R une application. On dit que f est drivable sur I si f est
drivable en tout point de I. Lapplication x 7 f 0 (x) est appele la drive de f .
On note D(I, R) lensemble des applications drivables sur I valeurs dans R.
Exemple Les fonctions usuelles exp, ln, puissances, fonctions circulaires et hyperboliques et leurs inverses sont drivables
sur leurs ensembles de dfinition respectifs. Pour les fonctions de base exp, ln, sin et cos nous ladmettons. Pour les autres,
qui sont construites partir de celles-ci, cela dcoule des rsultats du paragraphe suivant.

1.2

Oprations sur la drivabilit

Thorme (Oprations algbriques et drivabilit) Soient f : I R et g : I R deux applications et a I. On


suppose f et g drivables en a.
(i) Somme : f + g est drivable en a et :
(ii) Produit : f g est drivable en a et :

(f + g)0 (a) = f 0 (a) + g 0 (a).


(f g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a).

(iii) Multiplication par un scalaire : Pour tout R, f est drivable en a et :


(iv) Quotient : Si g(a) 6= 0,

f
est drivable en a et :
g

 0

f
g

(a) =

(f )0 (a) = f 0 (a).

f 0 (a)g(a) f (a)g 0 (a)


.
g(a)2

Bien sr, des rsultats analogues sont vrais pour la drivabilit gauche et droite, et pour la drivabilit sur un intervalle.

c Christophe Bertault - MPSI


Dmonstration

Par hypothse :

f (x) = f (a) + f 0 (a)(x a) + o(x a)

g(x) = g(a) + g 0 (a)(x a) + o(x a).

et

xa

xa

(i) On somme :


(f + g)(x) = f (x) + g(x) =


xa

xa

f (a) + f 0 (a)(x a) + o(x a) + g(a) + g 0 (a)(x a) + o(x a)

= (f + g)(a) + f 0 (a) + g 0 (a) (x a) + o(x a).

xa

Ceci montre bien que f + g est drivable en a et que (f + g)0 (a) = f 0 (a) + g 0 (a).
(ii) On fait le produit :


f g(x) = f (x)g(x) =
xa

xa

f (a) + f 0 (a)(x a) + o(x a)



g(a) + g 0 (a)(x a) + o(x a)


o(xa)

}|

= (f g)(a) + f (a)g(a) + f (a)g (a) (x a) + f (a)g 0 (a)(x a)2

xa

O(1)

z

}|

+ o(x a) f (a) + g(a) + f 0 (a)(x a) + g 0 (a)(x a) + o(x a)




{

= (f g)(a) + f 0 (a)g(a) + f (a)g 0 (a) (x a) + o(x a).

xa

Ceci montre bien que f g est drivable en a et que (f g)0 (a) = f 0 (a)g(a) + f (a)g 0 (a).
(iii) La multiplication par un scalaire nest quun cas particulier de lassertion (ii).
(iv) On suppose que g(a) 6= 0. Montrons que

1
est drivable en a et que
g

 0

1
g

(ii), cela montrera compltement lassertion (iv). Il sagit dutiliser la formule

(a) =

g 0 (a)
. Via lassertion
g(a)2

1
= 1 u + o(u) :
1 + u u0

1
1
1
=
=

g(x) xa g(a) + g 0 (a)(x a) + o(x a) xa g(a)

1
g 0 (a)
1+
(x a) + o(x a)
g(a)


0
0
1
1
g (a)
g (a)
=
1
(x a) + o(x a) =

(x a) + o(x a).
xa g(a)
xa g(a)
g(a)
g(a)2

Ceci montre bien que

Thorme

1
est drivable en a et que
g

 0

1
g

(a) =

g 0 (a)
.
g(a)2

(Composition et drivabilit) Soient f : I J et g : J R deux applications.

En un point : Soit a I. Si f est drivable en a et si g est drivable en f (a), alors g f est drivable en a et :


(g f )0 (a) = f 0 (a)g 0 f (a) .


Sur un intervalle : Si f est drivable sur I et g drivable sur J, alors g f est drivable sur I.
$ $ $ Attention !

Vous mditerez cet exemple : la drive de la x 7 sin(2x) nest pas x 7 sin0 (2x), cest x 7 2 sin0 (2x).

Dmonstration

Il suffit de dmontrer le thorme en un point


a I.


g(y) g f (a)
= g 0 f (a) .
Puisque g est drivable en f (a), on a :
lim
yf (a)
y f (a)
est continue en a, donc lim f (x) = f (a). Par composition on obtient ainsi :
xa

Or puisque f est drivable en a, f





g f (x) g f (a)
= g 0 f (a) .
xa
f (x) f (a)

lim

f (x) f (a)
= f 0 (a), nous en dduisons comme voulu que gf est drivable
 xa 



g f (x) g f (a)
g f (x) g f (a)
f (x) f (a)
lim
= lim

= f 0 (a)g 0 f (a) . 
xa
xa
xa
xa
f (x) f (a)

Multipliant finalement par la limite lim

xa

en a, et prcisment que :

   En pratique
Cette remarque est trs importante : pour montrer la drivabilit dune compose g f , ne vous
contentez pas dun vague Cest drivable par composition . Mettez en vidence les intervalles I et J et suivez scrupuleusement
lnonc du rsultat ci-dessus. Le principe est le mme que pour ltude de la continuit.

c Christophe Bertault - MPSI


Exemple

La fonction x 7

xArcsin x est drivable sur ] 1, 1[ r 0 .

En effet
La fonction x 7 Arcsin x est drivable sur ] 1, 1[, et cest aussi le cas de la fonction x 7 x ; par produit,
x 7 xArcsin x est drivable sur ] 1, 1[. Or un tableau de signes montre aisment que cette fonction est
positive sur son ensemble de dfinition [1, 1], nulle seulement en 0.


La fonction x 7 xArcsin x est donc drivable sur ] 1, 1[ r 0 valeurs dans R


+ ; or la fonction racine

;
par
composition,
x

carre est drivable sur R


xArcsin
x
est
drivable
sur
] 1, 1[ r 0 .
+
Le thorme suivant a dj t nonc dans le chapitre sur les fonctions usuelles, o il tait admis. Cest grce lui que nous
avons pu justifier la drivabilit des fonctions arcsinus, arccosinus et arctangente notamment, et calculer leurs drives. Vous
savez dj lutiliser.
(Drivabilit dune fonction rciproque) Soit f D(I, R) bijective de I sur f (I), telle que f 0 ne sannule
0
1
f 1 = 0
.
pas sur I. Alors f 1 est drivable sur f (I) et :
f f 1

Thorme

Dmonstration
Soit b f (I). Pour commencer, le thorme de la bijection affirme la continuit de f 1 sur
f (I). On a donc lim f 1 (y) = f 1 (b).


yb


f (x) f f 1 (b)
Or f est drivable en f (b) I, donc
lim
= f 0 f 1 (b) , puis en passant linverse ce
x f 1 (b)
xf 1 (b)
x f 1 (b)
1
 =
.
qui est possible car par hypothse f 0 ne sannule pas
lim
xf 1 (b) f (x) f f 1 (b)
f 0 f 1 (b)
Composant lune avec lautre les deux limites ainsi obtenues, nous pouvons affirmer que :
1

lim

yb

2.1

f 1 (y) f 1 (b)
1
f 1 (y) f 1 (b)

 =
.
= lim
yb f f 1 (y) f f 1 (b)
yb
f 0 f 1 (b)

Cest le rsultat voulu.

Les grands thormes


Thorme de Rolle

Dfinition

(Extrmum local) Soit f : I R et a I.

On dit que f possde un maximum local en a si f est majore par f (a) au voisinage de a.
On dit que f possde un minimum local en a si f est minore par f (a) au voisinage de a.
Maximum
donc maximum local
. &

   Explication
Un maximum local nest pas forcment un maximum de la fonction sur tout
son domaine de dfinition.

Maximum local
mais pas maximum tout court
.

Minimum
donc minimum local

$ $ $ Attention !

On peut avoir un minimum local en a sans pouvoir affirmer pour autant que f est dcroissante
1
gauche et croissante droite au voisinage de a. Cest le cas de la fonction x 7 x2 + 2x2 sin2 prolonge par 0 en 0, reprsente
x
ci-contre.
Zoom
b

c Christophe Bertault - MPSI


Le thorme suivant, quoique simple dmontrer, est le thorme dont tous les autres vont dcouler dans cette partie.

Thorme (Extrmum local et drivabilit) Soient f : R et a I. On suppose que f est drivable en a et que f
possde un extrmum local en a. Alors f 0 (a) = 0.

b
b

Situation standard du thorme


(cas dun maximum).
$ $ $ Attention !

Ici a est une borne de I


et le thorme est faux.

La rciproque du thorme est fausse.

Ce thorme est vrai parce quon suppose que a I, i.e. que a nest pas une borne de I.

La rciproque est fausse : on peut avoir f 0 (a) = 0 sans avoir aucun extrmum local en a. Pensez par exemple la fonction
x 7 x3 en 0.
Dmonstration Dmontrons le thorme dans le cas dun maximum local en a. Puisque a nest pas une borne
de I, il existe > 0 tel que [a , a + ] I.
Puisque f possde un maximum local en a, alors f (x) 6 f (a) sur [a , a + ] (le mme que ci-dessus, quitte
le rapetisser un peu ventuellement). Par consquent :
f (x) f (a)
f (x) f (a)
>0
et
x [a, a + ],
6 0.
xa
xa
Mais f tant drivable en a, elle lest gauche et droite en a et on peut donc faire tendre x vers a par la gauche
et par la droite dans ces ingalits. Cela donne fg0 (a) > 0 et fd0 (a) 6 0. Or f 0 (a) = fg0 (a) = fd0 (a). Par consquent
f 0 (a) est la fois positif et ngatif, donc f 0 (a) = 0.

x [a , a],

Thorme (Thorme de Rolle) Soient f : [a, b] R continue sur [a, b], drivable sur ]a, b[ et telle que f (a) = f (b).
Il existe c ]a, b[ tel que f 0 (c) = 0.
   Explication
les figures ci-dessous.

Toutes les hypothses du thorme de Rolle sont importantes, cest ce que montrent assez clairement
b

f (a) = f (b)

f (a) = f (b)

f (a) = f (b)

f (b)

bc

f (a)

Situation standard
du thorme de Rolle.

Si on enlve la drivabilit,
mme en un point,
rien ne va plus.

Si on enlve la continuit,
mme sur les bords,
cest encore pire.

Si f (a) 6= f (b),
cest toujours la cata.

$ $ $ Attention !
Le thorme de Rolle est un thorme dexistence, certainement pas dunicit. La premire figure
ci-dessus le montre clairement.

Dmonstration Puisque f est continue sur le segment [a, b], f est borne sur [a, b] et atteint ses bornes. Notons
m = min f et M = max f
[a,b]

[a,b]

Si f (a) = f (b) 6= M , alors comme f atteint ses bornes, il existe c ]a, b[ tel que f (c) = M . Parce que ce
point c est dans lintrieur de [a, b], nous pouvons utiliser le thorme prcdent et affirmer que f 0 (c) = 0.
Si f (a) = f (b) 6= m, on procde de la mme manire.

Le cas restant est le cas dans lequel f (a) = f (b) = m = M . Or lgalit m = M implique la constance de f
sur tout [a, b], par dfinition de m et M . La constance de f sur entranant la nullit de sa drive partout,
nous avons ce que nous voulons.


c Christophe Bertault - MPSI


2.2

Egalit et ingalit des accroissements finis

Thorme (Thorme ou galit des accroissements finis) Soit f : [a, b] R une application continue sur [a, b],
drivable sur ]a, b[.
f (b) f (a)
.
Linterprtation gomtrique de ce rsultat est prsente ci-dessous.
Il existe c ]a, b[ tel que f 0 (c) =
ba
$ $ $ Attention !
Consquence du thorme de Rolle, le thorme des accroissements finis est un thorme
dexistence, certainement pas dunicit.

Dmonstration

y = f (x)

y = d(x)

f (b) f (a)
(x a) + f (a) dfinie et drivable sur
Notons d lapplication x 7
ba
[a, b]. La figure ci-contre donne une interprtation graphique de d. Notons en outre
lapplication f d. Alors est continue sur [a, b] et drivable sur ]a, b[ comme
somme. Et par ailleurs (a) = (b) = 0 car :
(a) = f (a)

f (b) f (a)
(a a) f (a) = 0
ba

et

(b) = f (b)

f (b) f (a)
(b a) f (a).
ba

Le thorme de Rolle montre aussitt lexistence dun certain c ]a, b[ tel que 0 (c) = 0. Cette galit se rcrit
f (b) f (a)
aisment sous la forme voulue :
= f 0 (c). La pente en c est gale au taux daccroissement de f entre
ba
a et b.


Thorme (Ingalit des accroissements finis) Soit f : [a, b] R une application continue sur [a, b], drivable sur ]a, b[.
(i) Sil existe m, M R tels que :

x ]a, b[,

m 6 f 0 (x) 6 M ,

(ii) Si |f | est majore par un certain K R+ sur ]a, b[, alors :

Dmonstration

alors :

m(b a) 6 f (b) f (a) 6 M (b a).



f (b) f (a) 6 K|b a|.

Via le thorme des accroissements finis, il existe c ]a, b[ tel que

f (b) f (a)
= f 0 (c).
ba

f (b) f (a)
6 M . Le rsultat est alors immdiat puisque a < b.
ba
(ii) dcoule de (i) si on pose m = K et M = K.


(i) Par hypothse, m 6 f 0 (c) 6 M , donc m 6

Le rsultat suivant est une consquence immdiate de lassertion (ii) de lingalit des accroissements finis.
Corollaire (Drive borne et lipschitziennet) Soit f D(I, R). Si |f 0 | est majore par un certain K R+ sur I, alors
f est K-lipschitzienne sur I.

   En pratique Quand vous voulez dmontrer une ingalit qui na pas lair tout fait triviale, lune des techniques
auxquelles vous devez penser est lutilisation de lingalit des accroissements finis. Deux exemples sont donns ci-dessous.

Exemple

x R,

| sin x| 6 |x|.

En effet
La fonction sinus est drivable sur R et sa drive cosinus est majore en valeur absolue par 1. Par
consquent sinus est 1-lipschitzienne, donc en particulier, pour tout x R : | sin x| = | sin xsin 0| 6 |x0| = |x|.
Exemple

n
X
1
k=1

ln n.

En effet
Soit k N . Commenons par appliquer lingalit des accroissements finis la fonction ln sur [k, k + 1]. La
1
fonction logarithme est continue sur [k, k + 1] et drivable sur ]k, k + 1[, et sa drive x 7 est majore par
x


1
1
1
1
et minore par
sur ]k, k+1[. Par consquent :
(k+1)k 6 ln(k+1)ln k 6
(k+1)k ,
k
k+1
k+1
k
1
1
ce quon rcrit aisment de la faon suivante :
6 ln(k + 1) ln k 6 .
k+1
k

c Christophe Bertault - MPSI


Soit n N, n > 2. Sommons les ingalits prcdentes pour k J1, n 1K. On obtient :
n1
X
k=1

n1
X
X 1
 n1
1
6
,
ln(k + 1) ln k 6
k+1
k
k=1
k=1
n
X
1

puis aprs simplification tlescopique et changement dindice :


maintenant lordre de ces ingalits :

ln n 6

n
X
1
k=1

vers . On montre ainsi, comme voulu, que lim

2.3

k=2

6 ln n + 1,

6 ln n 6

n1
X
k=1

n
X
1
1
6
. Permutons
k
k
k=1

puis divisons par ln n et faisons tendre n

n
n
X
1 X1
1
= 1, i.e. que
ln n k=1 k
k
k=1

ln n.

Constance, monotonie et drivabilit

Il sagit de justifier dans cette partie lide bien connue selon laquelle le signe dune drive est un indicateur de monotonie
ou de constance.
Thorme

(Caractrisation des fonctions constantes et monotones) Soit f D(I, R).

(i) f est constante sur I si et seulement si f 0 est nulle sur I.


(ii) f est croissante (resp. dcroissante) sur I si et seulement si f 0 est positive (resp. ngative) ou nulle sur I.
0
n(iii) f est strictement
o croissante (resp. dcroissante) sur I si et seulement si f est positive (resp. ngative) ou nulle sur

I et

x I/

f 0 (x) = 0

ne contient aucun intervalle non vide non rduit un point.

En particulier, si f 0 est strictement positive (resp. ngative) sur I, alors f est strictement croissante (resp. dcroissante) sur I.

   Explication
Ces rsultats nont rien de magique, ils ont une interprtation gomtrique trs simple. Nous savons
que si f est drivable en a, la tangente de f en a a pour coefficient directeur f 0 (a). Or les tangentes sont un rvlateur naturel
de la croissance du graphe de f : si f est croissante (resp. dcroissante) au voisinage de a, f a une tangente en a de coefficient
directeur positif (resp. ngatif).
Vous mditerez cependant avec intrt le deuxime point du paragraphe Attention ! ci-dessous, qui montre les limites de ce
petit raisonnement avec les mains.
$ $ $ Attention !

Lhypothse selon laquelle I est un intervalle est absolument essentielle dans ce thorme. Si I est une runion dintervalles
disjoints, le thorme est faux, comme lillustrent les figures ci-dessous.
y = f (x)

f est constante sur I1 et sur I2 ,


donc f 0 = 0 sur I1 et sur I2 ,
mais f nest pas constante
sur I1 I2 .

b
b

y = f (x)
b

b
b

I1

I2

I1

I2

f est croissante sur I1 et sur I2 ,


donc f 0 > sur I1 et sur I2 ,
mais f nest pas croissante
sur I1 I2 .

On peut avoir f 0 (a) > 0 pour un certain a I sans pouvoir affirmer que f est strictement croissante au voisinage de a. Par
1 x
exemple, soit f la fonction x 7 x2 sin + prolonge par 0 en 0. Bien sr f est drivable sur R et en revenant au taux
x 2
1
1
1 1
daccroissement de f , on montre aisment que f 0 (0) = > 0. Or par ailleurs : x R , f 0 (x) = 2x sin cos + ,
2
x
x
2
ce qui montre que f 0 change de signe rgulirement au voisinage de 0, donc change de sens de variation rgulirement au
1
1
voisinage de 0. En deux mots, le x sin est petit au voisinage de 0 alors que le cos prend une infinit de fois les valeurs
x
x
1
1
3
1 et 1. Comme on ajoute , f 0 prend une infinit de fois au voisinage de 0 des valeurs proches de et .
2
2
2
Zoom
b

c Christophe Bertault - MPSI


Dmonstration
(i) et (ii) Supposons dabord f constante sur I et donnons-nous a I. Alors


x I r a . A la limite en a, on obtient donc f 0 (a) = 0.

f (x) f (a)
= 0 pour tout
xa

Rciproquement, supposons f 0 nulle sur I et donnons-nous x, y I, x < y. Alors f est continue sur [x, y]
et drivable sur ]x, y[, donc via le thorme des accroissements finis, il existe un certain c ]x, y[ tel que
f (y) f (x)
= f 0 (c) = 0. On en dduit comme voulu que f (x) = f (y). Cela montre bien que f est constante
yx
sur I.
Pour dmontrer lassertion (ii), changez ci-dessus tous les symboles = en des 6 ou en des > (le
symbole dgalit dans le thorme des accroissements finis doit, lui, tre conserv).
n

(iii) Notons Z = x I/

f 0 (x) = 0 .

Supposons dabord que f est strictement croissante sur I. Via (ii), f 0 est positive ou nulle sur I car f 0 est
croissante sur I.
Montrons alors que Z ne contient aucun intervalle non vide non rduit un point. Soient donc a, b I tels
que [a, b] Z. Nous devons montrer que a = b. Or via (i), puisque f 0 est nulle sur [a, b], f est constante sur
[a, b]. En particulier f (a) = f (b). La stricte monotonie de f entrane aussitt lgalit a = b. Cest le rsultat
voulu.
Rciproquement, supposons que f 0 est positive ou nulle sur I et que Z ne contient aucun intervalle non vide
non rduit un point. Dj, f est croissante via (ii), puisque f 0 est positive ou nulle sur I.
Soient x, y I, x < y. Nous savons donc que f (x) 6 f (y). Si f (x) = f (y), la croissance de f montre que f
est constante sur [x, y], puis que f 0 est nulle sur [x, y] via (i), et enfin que Z contient lintervalle [x, y] non
vide non rduit un point ce qui est faux. Par consquent f (x) 6= f (y), et donc f (x) < f (y).
Le cas o f est dcroissante se traite de la mme manire, ou bien sobtient partir du cas en prcdent en
multipliant f par 1.

Remarque
Le chapitre de dbut danne sur les quations diffrentielles reposait en grande partie sur lassertion (i) du
thorme prcdent. La voil dmontre.
Exemple

x [1, 1],

Arcsin x + Arccos x =

.
2

En effet
La fonction f : x 7 Arcsin x + Arccos x est drivable sur ] 1, 1[ de drive identiquement nulle.

Ceci montre que f est constante sur ] 1, 1[, gale par exemple sa valeur en 0 qui est . La continuit de f en
2

sur tout lintervalle [1, 1] comme voulu.


1 permet daffirmer que f est constante gale
2

2.4

Continuit dune drive

Thorme

(Continuit dune drive) Soit f : [a, b] R une application continue sur [a, b] et drivable sur ]a, b].

alors lim f (x) f (a) existe aussi et ces deux limites sont gales.
Si lim f 0 existe (dans R),
xa
xa
a+

En particulier, si lim f 0 existe et est finie, alors f est drivable en a et f 0 est continue en a.
a+

On dispose dun rsultat analogue pour prolonger par drivabilit gauche, de mme quen un mme point des deux cts.

$ $ $ Attention !

La rciproque de ce thorme est fausse au sens suivant : la drivabilit de f sur tout [a, b] nimplique
1
pas lexistence de lim f . Par exemple, la fonction f : x 7 x2 sin prolonge par 0 en 0 est drivable sur R tout entier et
x
a+
1
1
f 0 (0) = 0, mais lim f nexiste pas car : x R , f 0 (x) = 2x sin cos .
0
x
x
0

c Christophe Bertault - MPSI


Dmonstration

cette limite.
On suppose que lim f 0 existe et on note ` R
a

Cas o ` R : Soit > 0. Il existe > 0 tel que : x ]a, a + ], f 0 (x) ` 6 .


Soit x ]a, a + ]. Comme f est continue sur [a, x] et drivable sur ]a, x[, le
finis
thorme des accroissements

f (x) f (a)
0

f (x) f (a)
0




affirme que
= f (c) pour un certain c ]a, x[. On a donc :
` = f (c) ` 6 .
xa
x a

f (x) f (a)

Pour tout > 0, nous avons donc trouv un > 0 tel que : x ]a, a + ],
` 6 . Cest
xa
f (x) f (a)
existe et vaut `. Cela montre bien que f est drivable en a.
dire que lim
xa
xa
f (x) f (a)
Finalement, lim f = ` = lim
= f 0 (a), et donc f 0 est continue en a.
xa
xa
a+
Cas o ` = : Soit A R. Il existe > 0 tel que : x ]a, a + ], f 0 (x) > A.
Soit x ]a, a + ]. Comme f est continue sur [a, x] et drivable sur ]a, x[, le thorme des accroissements
f (x) f (a)
f (x) f (a)
finis affirme que
= f 0 (c) pour un certain c ]a, x[. On a donc :
= f 0 (c) > A.
xa
xa
f (x) f (a)
Pour tout A R, nous avons donc trouv un > 0 tel que : x ]a, a + ],
> A. Cest
xa
f (x) f (a)
dire que lim
existe et vaut .
Mme chose si ` = .

xa
xa
Exemple

La fonction racine carre nest pas drivable en 0.


En effet
En ralit, on na pas besoin dutiliser le thorme prcdent pour dmontrer
la non-drivabilit de la racine
carre en 0. Il suffirait simplement de revenir au taux daccroissement de en 0.

Cela dit,
tents de justifier la non drivabilit de en 0 en avanant lide que la fonction
 vous tes parfois

0
1
= x 7
na pas de limite finie en 0. Il se trouve que ce raisonnement est correct, mais il requiert
2 x

justement le thorme de prolongement par drivabilit prcdent.Prcisment : est continue sur R+ et

0
x 0
drivable sur R
(x) = ; par consquent lim
= , ce qui justifie bien, en effet, la
+ , et lim+
x0
x0
x0
non-drivabilit de la racine carre en 0. Mais notez bien que la continuit de la racine en 0 est une hypothse
ncessaire dans ce thorme.

2.5

Thorme des accroissements finis et suites rcurrentes

Nous avons dj vu de nombreux exemples de suites dfinies par une relation de rcurrence de la forme un+1 = f (un ) .
Grce des thormes comme le thorme de la limite monotone ou la caractrisation squentielle de la limite, nous avons appris
tordre le cou mthodiquement de telles suites. Nous allons enrichir nos techniques dans ce domaine en utilisant prsent
lingalit des accroissements finis.
Comme nous le savons bien, une suite dfinie par une relation de rcurrence de la forme un+1 = f (un ) converge souvent
vers un point fixe de f . Pour les mathmatiques appliques, cette remarque vaut de lor. En effet, si on a besoin et cela arrive
plus quon le croit dune approximation dun point fixe ` dune fonction f , il est tentant dintroduire une suite (un )nN telle
que un+1 = f (un ) pour tout n N. Si lon peut montrer que lim un = `, alors on pourra approximer ` par un pour tout n N ;
n

lapproximation sera dautant plus prcise que n est grand.

Ces remarques ne rsolvent malheureusement pas tous nos problmes : si on doit calculer u101010 pour obtenir une approximation de ` 102 prs, on nest pas rendu. On prfrerait obtenir un grand nombre de dcimales de ` en ayant seulement
calculer u10 par exemple. Se pose ainsi lpineux problme de la vitesse de convergence des suites. Si la suite (un `)nN converge
1
rapidement vers 0, par exemple si un `
(vitesse exponentielle ou gomtrique), on aura de bonnes approximations de
n 2n
1
, il
` sans avoir fournir trop defforts ; si au contraire (un `)nN converge lentement vers 0, par exemple si un `
n ln n
faudra calculer uN pour un N assez grand pour avoir une bonne approximation de `.
Le thorme suivant donne une condition suffisante de convergence exponentielle, donc de convergence rapide.
Thorme (Utilisation de lingalit des accroissements finis pour ltude des suites rcurrentes) Soit f D(I, R)
telle que f (I) I. On suppose que f possde un point fixe ` dans I et que |f 0 | est majore sur I par un certain rel avec
0 6 < 1.
Soit en outre (un )nN une suite telle que u0 I et telle que : n N, un+1 = f (un ).
Alors :

n N,

|un `| 6 n |u0 `|. En particulier (un )nN est convergente de limite ` et la convergence est exponentielle.

10

c Christophe Bertault - MPSI


   En pratique On nacceptera jamais que vous utilisiez ce rsultat sans le rejustifier au cas par cas ; ce rsultat est
avant tout une technique. Il figure dans ce cours comme un thorme uniquement par souci de clart.

Dmonstration
Un corollaire de lingalit des accroissements

finis nous permet daffirmer que f est -lipschitzienne sur I.
Pour tout n N, on a donc : f (un ) f (`) 6 |un `|, ce qui scrit aussi : |un+1 `| 6 |un `|
via les hypothses du thorme.
Une rcurrence que vous rdigerez seuls montre alors, comme voulu, que :

n N,

|un+1 `| 6 n |u0 `|.

Lhypothse essentielle selon laquelle 0 6 < 1 montre aussitt, puisque lim n = 0, que (un )nN est
n

convergente de limite ` ; cest le thorme des gendarmes qui le dit.

Exemple

Le polynme X 3 + X 1 possde une unique racine relle gale 0,68 102 prs.
En effet
La fonction x 7 x3 + x 1 est drivable sur R de drive x 7 3x2 + 1 strictement positive. Elle est donc
strictement croissante sur R, et comme lim (x3 + x 1) = et lim (x3 + x 1) = , la continuit
x

de f montre que f ralise une bijection strictement croissante de R sur R. On remarque par ailleurs que
03 + 0 1 = 1 < 0 et que 13 + 1 1 = 1 > 0.
En particulier, comme annonc, le polynme X 3 + X 1 possde une unique racine relle ]0, 1[. On a :
3 + 1 = 0

(1 + 2 ) = 1

Bref, est le point fixe de la fonction f : x 7

1
= .
1 + 2

1
.
1 + x2

1
.
1 + 2n
On sattend, si tout se passe bien, avoir lim n = . Pour le montrer, nous allons appliquer f lingalit

On dfinit alors la suite (n )nN en posant 0 = 0 et :

n N,

n+1 = f (n ) =

des accroissements finis.


Rationnelle, f est ici drivable sur R et :
cela, drivons de nouveau :
de f 0 :

x R,
x

x R,

f 00 (x) =

f 0 (x) =

Tchons de majorer |f 0 |. Pour

2(3x2 1)
. On en dduit aussitt le tableau des variations
(1 + x2 )3
1

3 3
8

2x
.
(1 + x2 )2

3 3

0
8

3 3
3 3
qui montre que |f 0 | est majore par
sur R. Comme
6 0, 7, nous pouvons en dduire que f est
8
8
(0,7)-lipschitzienne sur R.
f 0 (x)

Du coup, pour tout n N : |n+1 | = f (n ) f () 6 0, 7|un |.


Par rcurrence, ce rsultat devient aussitt : n N, |n | 6 (0, 7)n |0 | = (0, 7)n || 6 (0, 7)n .
En particulier, le thorme des gendarmes affirme la convergence (exponentielle) de (n )nN vers , comme
voulu.
Nous pouvons donc utiliser (n )nN pour calculer une valeur approche de 102 prs. Mais combien de
termes de la suite devons-nous calculer ? Pour tout n N :
(0, 7)n 6 102

n>

ln 0, 01
ln 0, 7

n > 13.

On obtient donc une valeur approche de 102 prs en calculant u13 . On obtient u13 0, 68. En ralit,
on constate en faisant le calcul que un vaut 0, 68 au bout de trois ou quatre termes, mais ce qui compte, ce
nest pas ce quon constate, mais ce quon dmontre. Nos calculs nont peut-tre pas t dune finesse
toute preuve, mais en tout cas ils sont corrects.

11

c Christophe Bertault - MPSI


   Explication
La technique dtude des suites dfinies par une relation de la forme un+1 = f (un ) que nous
venons dtudier mrite dtre dtre compare aux techniques que nous utilisions jusquici. Par rapport au thorme de la limite
monotone, le thorme des accroissements finis est intressant pour deux raisons au moins.

1) Comme nous lavons dj remarqu, le thorme des accroissements finis nous fournit, quand il sapplique, une
convergence exponentielle de la suite (un )nN tudie.
2) Le thorme de la limite monotone requiert ltude de la monotonie de la suite tudie. On sait quil faut distinguer
le comportement de (u2n )nN de celui de (u2n+1 )nN lorsque f est dcroissante. Avec le thorme des accroissements finis,
tudier la monotonie ne prsente aucun intrt si on souhaite seulement justifier la convergence de (un )nN .
Cela dit, lingalit des accroissements finis ne peut tre applique avec succs que si la fonction |f 0 | est majore par un rel
tel que 0 6 < 1. Ceci est assez contraignant.

Drives successives

3.1

Dfinitions

Dfinition (Drives successives) Soit f : I R une application. On dfinit les drives successives de f , si elles existent,
au moyen dune rcurrence.
On commence par poser f (0) = f .
Soit alors k  N. Si on a russi dfinir f (k) sur I au cours des tapes prcdentes, et si f (k) est drivable sur I, on
0
pose f (k+1) = f (k) .
dk f
quand
Pour tout k N, la fonction f (k) ainsi (ventuellement) dfinie est appele la drive kme de f ; on la note parfois
dk
le symbole utilis pour dsigner la variable de f est . Si elle existe, on dit que f est k fois drivable sur I.
On note gnralement f , f 0 , f 00 et f 000 plutt que f (0) , f (1) , f (2) et f (3) respectivement.

Dfinition

(Fonction de classe C k ) Soit f : I R une application.

Pour tout k N, on dit que f est de classe C k sur I si f est k fois drivable sur I et si f (k) est continue sur I.
Lensemble des applications de I dans R de classe C k sur I est not C k (I, R).
On dit que f est de classe C sur I si f est drivable autant de fois quon le veut sur I.
Lensemble des de I dans R de classe C sur I est not C (I, R).
   Explication

Ne confondez surtout pas de classe C k avec k fois drivable .

. . . = De classe C 3 = Trois fois drivable = De classe C 2 = Deux fois drivable = De classe C 1 = Drivable = . . .
En outre, de classe C 0 = continue , de sorte que C 0 (I, R) = C(I, R).
Exemple

La fonction exponentielle est de classe C sur R, gale toutes ses drives successives.

me
est la fonction
Exemple
Soit R. La fonction x 7 x est de classe C sur R
+ . Pour tout k N, sa drive k
k
x 7 ( 1)( 2) . . . ( k + 1)x
.
me
En effet
On raisonne par rcurrence sur k. La fonction x 7 x est 0 fois drivable sur R
+ de drive 0
elle-mme.

me
x 7 ( 1) . . . ( k + 1)xk .
Soit alors k N. On suppose x 7 x k fois drivable sur R
+ de drive k

x
Or x 7 ( k) ln x est drivable sur R+ et x 7 e lest sur R, donc par composition x 7 e(k) ln x = xk
k1
. Finalement la fonction x 7 x est (k + 1) fois drivable
est drivable sur R
+ , de drive x 7 ( k)x
me
sur R
la fonction x 7 ( 1) . . . ( k)xk1 , comme voulu.
+ , de drive (k + 1)

12

c Christophe Bertault - MPSI


Lexemple suivant est un grand classique. A savoir refaire !


Exemple
un point.

Soient k N et f C k (I, R). Si f sannule en au moins (k + 1) points distincts, alors f (k) sannule en au moins
En effet Montrons par rcurrence que pour tout i J0, kK, f (i) sannule en au moins (k i + 1) points distincts.
Pour i = k, on a tout simplement lnonc du thorme souhait.
Initialisation : Lassertion pour i = 0 nest autre que lhypothse du thorme.

Hrdit : Soit i J0, k 1K. On suppose que f (i) sannule en au moins (k i + 1) points distincts
x1 , x2 , . . . , xki+1 rangs dans lordre x1 < x2 < . . . < xki+1 .
Pour tout j J1, k iK, f (i) est continue sur [xj , xj+1 ], drivable sur ]xj , xj+1 [ et f (i) (xj ) = f (i) (xj+1 ) = 0.
Le thorme de Rolle affirme donc lexistence dun zro x0j de f (i+1) compris strictement entre xi et xi+1 .

Nous disposons ainsi de (k i) = k (i + 1) + 1 zros de f (i+1) ; ceux que nous avons trouv sont deux
0
0
0
deux distincts car x1 < x2 < x2 < x3 < . . . < xki < xki , donc distincts, comme voulu. Notre rcurrence
est termine.


3.2

Oprations sur les drives successives

Thorme (Oprations algbriques et drives successives) Soient f : I R et g : I R deux applications et


k N. On suppose f et g k fois drivables (resp. de classe C k ) sur I.
(f + g)(k) = f (k) + g (k) .

(i) Somme : f + g est k fois drivable (resp. de classe C k ) sur I et :


(ii) Produit : f g est k fois drivable (resp. de classe C k ) sur I et :
(f g)

(k)

k
X

k (p) (kp)
f g
p

p=0

(formule de Leibniz).

(iii) Multiplication par un scalaire : Pour tout R, f est k fois drivable (resp. de classe C k ) sur I et :
(f )(k) = f (k) .
(iv) Quotient : Si g ne sannule pas sur I,

f
est k fois drivable (resp. de classe C k ) sur I.
g

Bien sr, des rsultats analogues sont vrais quand f et g sont de classe C sur I.
Dmonstration

Montrons seulement les assertions (ii) et (iv).

(ii) Raisonnons par rcurrence. Notre assertion au rang k N est la suivante : pour toutes fonctions!f : I R
et g : I R k fois drivables sur I, le produit f g est k fois drivable sur I et (f g)(k) =

k
X
p=0

k (p) (kp)
f g
.
p

Initialisation : Il ny a rien montrer.


Hrdit : Soit k N. On suppose lassertion au rang k vraie. Soient alors f : I R et g : I
R (k+1)
!
fois drivables sur I. Via lassertion au rang k, f g est k fois drivable sur I et (f g)(k) =

k
X
p=0

k (p) (kp)
f g
.
p

Nous devons driver encore une fois, si cest possible.


Or pour tout p J0, kK, f (p) est (k p + 1) fois drivable sur I et g (kp) est (p + 1) fois drivable sur I ;
comme k p + 1 > 1 et p + 1 > 1, f (p) et g (kp) sont au moins une fois drivables sur I. Ce raisonnement
montre que (f g)(k) est drivable sur I. Du coup, drivons :
"

(f g)

(k+1)

k
X
p=0

k
X
p=0

= fg

k (p) (kp)
f g
p

p=0

k

k  (p) (kp) 0 X k  (p+1) (kp)
f g
f
g
+ f (p) g (kp+1)
=
p
p
p=0

k
X
p=0

X k
k (p+1) (kp)
k (p) (kp+1) X
k
f
g
+
f g
=
f (q) g (k+1q) +
f (p) g (k+1p)
p
p
q

1
p
p=0
q=1
p=0

k
X

k
X
p=1

(k+1)

k+1
X

#0

"

k
p1

k + 1 (p) (k+1p)
f g
.
p

k
p

k+1

!#

(p) (k+1p)

+f

(k+1)

Formule

de Pascal

fg

(k+1)

k
X
p=1

Cest fini. Mme chose dans le cas C k .

13

k + 1 (p) (k+1p)
f g
+ f (k+1) g
p

c Christophe Bertault - MPSI


(iv) Raisonnons par rcurrence. Notre assertion au rang k N est la suivante : le quotient de deux fonctions
k fois drivables sur I (la fonction au dnominateur ne sannulant pas) est k fois drivable sur I.
Initialisation : Il ny a rien montrer.

Hrdit : Soit k N. On suppose lassertion au rang k vraie. Soient alors f : I R et g : I R


(k + 1) fois drivables sur I, g ne sannulant
pas sur I. En particulier, f et g sont drivables sur I, donc
 0
f
f
f 0 g f g0
le quotient
est drivable sur I, avec :
. Or (f 0 g f g 0 ) est k fois drivable sur I,
=
g
g
g2
 0
f
f
est
ainsi que g 2 , donc via lassertion au rang k,
est k fois drivable sur I. Cela montre bien que
g
g
(k + 1) fois drivable sur I comme voulu.
Mme chose dans le cas C k .

Thorme (Composition et drives successives) Soient f : I J et g : J R deux applications et k N. On


suppose f k fois drivables (resp. de classe C k ) sur I et g k fois drivables (resp. de classe C k ) sur J. Alors g f est k fois
drivables (resp. de classe C k ) sur I.
Dmonstration
Raisonnons par rcurrence. Notre assertion au rang k N est la suivante : si f : I J et
g : J R sont k fois drivables respectivement sur I et J, alors g f est k fois drivable sur I.
Initialisation : Il ny a rien montrer.

Hrdit : Soit k N. On suppose lassertion au rang k vraie. Soient alors f : I J et g : J R


(k + 1) fois drivables sur I et J respectivement. En particulier, f et g sont drivables sur I, donc g f est
0
drivable sur I, avec :
g f = f 0 g 0 f . Or g 0 est k fois drivable sur J, ainsi que f sur I, donc via
0
0
lassertion au rang k, g f est k fois drivable sur I. Cela montre bien, par produit, que g f est k fois
drivable sur I, i.e. que g f est (k + 1) fois drivable sur I comme voulu.

Mme chose dans le cas C k .

Thorme (Fonction rciproque et drives successives) Soit f : I R bijective de I sur f (I), telle que f 0 ne sannule
pas sur I. On suppose f k fois drivables (resp. de classe C k ) sur I. Alors f 1 est k fois drivable (resp. de classe C k ) sur f (I).
Dmonstration

Sinspirer des preuves prcdentes.

Extension au cas des fonctions complexes

Nous allons brivement tendre les rsultats que nous avons obtenu pour les fonctions relles aux fonctions complexes. Les
notions de drivabilit en un point, gauche, droite, et de drivabilit sur un intervalle et de fonction de classe C k sont dfinies
dans le cas des fonctions complexes de la mme faon que dans le cas des fonctions relles mais | | dsigne dans ce contexte
la fonction module, et non la fonction valeur absolue. Pour tout k N, on note C k (I, C) lensemble des applications de classe C k
sur I valeurs dans C.
Le rsultat suivant est une consquence immdiate de la caractrisation de la limite dune fonction complexe en un point
laide de ses parties relle et imaginaire.
Thorme (Caractrisation de la continuit partir des parties relle et imaginaire) Soient f : I C, a I et
` C. Les assertions suivantes sont quivalentes :

f est drivable en a.

Re(f ) et Im(f ) sont drivables en a.

Re(f ) et Im(f ) sont drivables sur I.

De mme les assertions :

f est drivable sur I.

Avec les fonctions complexes, la drivabilit implique toujours la continuit. De mme les oprations daddition, produit,
multiplication par un scalaire et inverse sur les fonctions drivables donnent lieu aux mmes rsultats que dans le cas rel.
Les grands thormes sur la drivabilit en premier lieu, le thorme de Rolle sont faux pour les fonctions complexes.
Par exemple, la fonction t 7 eit est continue sur [0, 2], drivable sur ]0, 2[, et ei0 = e2i = 1, mais pourtant sa drive, qui
est la fonction t 7 ieit , ne sannule pas. Les thormes reliant la monotonie et le signe de la drive nont aucune chance dtre
vrais dans le contexte des fonctions complexes, car la monotonie dune fonction complexe na aucun sens.

14

c Christophe Bertault - MPSI


En revanche lingalit des accroissements finis est encore vraie, bien que lgalit des accroissements finis ne le soit plus.
Thorme (Ingalit des accroissements finis) Soit f : [a, b] C une application continue sur [a, b], drivable sur ]a, b[.
Si |f 0 | est majore par un certain K R+ sur ]a, b[, alors : f (b) f (a) 6 K|b a|.

Dmonstration

lapplication :

Notons un argument de f (b) f (a), de sorte que ei f (b) f (a) R. Introduisons ensuite
[a, b]
R
 . Puisque = cos Re(f )+sin Im(f ), alors est continue sur [a, b]
x
7 Re ei f (x)









(b) (a) = Re ei f (b) f (a) = ei f (b) f (a) = f (b) f (a) .




|0 | = Re ei f 0 6 ei f 0 = |f 0 | 6 K.

et drivable sur ]a, b[. Par ailleurs :

Et dautre part :
Lingalit des accroissements finis applique la fonction relle affirme finalement que :


(b) (a) 6 K|b a|,

Thorme

i.e. f (b) f (a) 6 K|b a|.

(Caractrisation des fonctions constantes) Soit f D(I, C).


f est constante sur I si et seulement si f 0 est nulle sur I.

Dmonstration
f est constante sur I

Re(f ) et Im(f ) sont drivables sur I


f 0 est nulle sur I.

15

Re(f )0 et Im(f )0 sont nulles sur I