Cours Sur La Dérivabilité PDF

Drivabilit Page 1 G. COSTANTINI http://bacamaths.
net/
DRIVABILIT d'une fonction
Toutes les fonctions considres dans ce chapitre sont dfinies sur ou une partie de et sont valeurs dans .
Les intervalles considrs sont non vides et non rduits un point.
1. Drivabilit en un point
1.1 Thorme
Soit une fonction dfinie sur un intervalle I. Soit x
0
un lment de I.
Les deux assertions suivantes sont quivalentes :
1) Il existe un rel l tel que l'accroissement moyen ait pour limite l :
lim
h0
+ - ( ) ( ) x h x
h
0 0
= l
2) Il existe un rel l et une fonction j tels que pour tout h tel que x
0
+ h I :
(x
0
+ h) = (x
0
) + lh + hj(h) o lim
h0
j(h) = 0
Dmonstration
Supposons la condition 1). Il existe l tel que :
lim
h0
+ - ( ) ( ) x h x
h
0 0
= l
Posons, pour h 0 : j(h) =
+ - ( ) ( ) x h x
h
0 0
- l
Par hypothse, on a ainsi : lim
h0
j(h) = 0
De plus : hj(h) = (x
0
+ h) - (x
0
) - lh
D'o la condition 2) : (x
0
+ h) = (x
0
h0
j(h) = 0
Rciproquement, supposons la condition 2) :
(x
0
+ h) = (x
0
h0
j(h) = 0
Pour h 0, on a :
+ - ( ) ( ) x h x
h
0 0
= l + j(h)
Et comme lim
h0
j(h) = 0, il vient : lim
h0
+ - ( ) ( ) x h x
h
0 0
= l
D'o la condition 1).
Note : h tend
vers 0 de faon
que x0 + h I
Drivabilit Page 2 G. COSTANTINI http://bacamaths.net/
Vocabulaire :
La quantit
+ - ( ) ( ) x h x
h
0 0
s'appelle l'accroissement moyen de en x
0
. Graphiquement, elle reprsente
le coefficient directeur de la scante la courbe C
f
de entre les points d'abscisses x
0
et x
0
+ h.
La condition 1) peut donc aussi se traduire par : l'accroissement moyen de en x
0
admet une limite finie.
L'criture sous la forme (x
0
+ h) = (x
0
) + lh + hj(h) (o lim
h0
j(h) = 0) s'appelle le dveloppement limit
de l'ordre 1 en x
0
.
La condition 2) peut donc encore se traduire par : admet un dveloppement limit l'ordre 1 en x
0
.
1.2. Dfinition
Soit une fonction dfinie sur un intervalle I. Soit x
0
un lment de I.
Lorsque l'une des deux conditions du thorme ci-dessus est vrifie, on dit que :
est drivable en x
0
Le nombre l s'appelle alors le nombre driv de en x
0
et on le note '(x
0
).
Commentaires :
la limite de l'accroissement moyen de en x
0
(lorsqu'il existe) peut encore s'crire sous la forme suivante :
lim
( ) ( )
x x
x x
x x
-
-
0
0
0
Le dveloppement limit de en x (lorsqu'il existe) peut encore se noter :
(x) = (x
0
) + ' (x
0
)(x - x
0
) + (x - x
0
)j(x - x
0
)
(Cette dernire relation s'appelle "formule de Taylor-Young applique en x0 l'ordre 1")

La formule de Taylor-Young, ci-dessus, peut encore s'crire :
(x) - (x
0
) = ' (x
0
)(x - x
0
) + (x - x
0
)e(x - x
0
) o
0
lim
x x
e(x - x
0
) = 0
Avec la notation des Physiciens : Dx = x - x
0
, Dy(x
0
) = (x) - (x
0
), nous obtenons :
Dy(x
0
) = ' (x
0
)Dx + Dxe(Dx)
En faisant tendre e vers 0, on obtient l'criture diffrentielle des Physiciens :
dy = ' (x
0
)dx ou encore '(x
0
) =
0
d
( )
d
y
x
x
C
B
(x0 + h)
A
(x0)
x0 + h x0
Ces transformations
d'critures se font via le
changement de variable :
x = x0 + h
Lorsque l'accroissement moyen n'admet pas de limite en x
0
, il se peut qu'il en admette une droite (ou
gauche) de x
0
. On dit alors que est drivable droite (ou gauche) en x
0
. (voir exemple de la fonction
"valeur absolue" en 0 un peu plus bas)
Exemples d'utilisation de la dfinition :
1) On considre la fonction dfinie sur
+
par (x) = x . tudier sa drivabilit en 0.
Pour cela, on value la limite de l'accroissement moyen de en x
0
= 0 :
+ - ( ) ( ) x h x
h
0 0
=
0 0 + - h
h
=
h
h
=
1
h
D'o : lim
h0
+ - ( ) ( ) x h x
h
0 0
= lim
h0
1
h
= +
La limite n'est pas finie. La fonction "racine carre" n'est donc pas drivable en 0.
Cependant, la courbe admet, au point d'abscisse 0, une demi-tangente verticale.
2) On considre la fonction dfinie sur par (x) = |x|. tudier sa drivabilit en 0.
Nous avons pour tout h 0 :
0 0 + - h
h
=
h
h
Or, la quantit
h
h
n'a pas de limite en 0. En effet :
lim
h
h
>
0
0
h
h
= lim
h
h
>
0
0
h
h
= 1 et lim
h
h
<
0
0
h
h
= lim
h
h
<
0
0
-
h
h
= -1
(Les limites gauche et droite sont diffrentes...)
L'accroissement moyen de la fonction n'a pas de limite en 0. Par consquent la fonction valeur
absolue n'est pas drivable en 0.
Cependant, elle est drivable " droite" de 0 et " gauche" de 0.
La courbe admet donc deux demi-tangentes distinctes de coefficients directeurs respectifs 1 et -1
2. Diffrentes interprtations du nombre driv
2.1. Interprtation graphique du nombre driv : il reprsente le coefficient directeur de la tangente C
au point de C
d'abscisse x
0
(dans l'hypothse o ce coefficient directeur et cette tangente existent !)
Le coefficient directeur de la scante (AB) est :
+ - ( ) ( ) x h x
h
0 0
Lorsque h tend vers 0 :
le point B tend vers le point A
la droite (AB) tend alors vers la tangente C
en A
l'accroissement moyen de en x
0
tend vers ' (x
0
).
la limite, le point B est en A, la droite (AB) est alors tangente C
en A et son coefficient directeur est ' (x

0
).
C
B
(x0 + h)
A
(x0)
x0 + h x0
2.2. Interprtation numrique du nombre driv :
On a vu que lorsque est drivable en x
0
, on a :
(x) = (x
0
) + ' (x
0
)(x - x
0
) + (x - x
0
)j(x - x
0
) o lim
h0
j(h) = 0
Ainsi lorsque x est voisin de x
0
, on a l'approximation :
(x) (x
0
) + ' (x
0
)(x - x
0
)
L'application x a (x
0
) + ' (x
0
)(x - x
0
) s'appelle approximation affine de en x
0
.
(Si, si, regardez bien, c'est une application affine ! Car elle est du type x a ax + b avec a = '(x0) et b = (x0) - '(x0)x0...)
2.3. Dtermination d'une quation de la tangente T C
au point A d'abscisse x
0
:
La mthode est classique : soit M(x ; y) un point
quelconque de cette tangente T distinct de A. Le
coefficient directeur de T est :
' (x
0
) =
y x
x x
-
-
( )
0
0
D'o une quation de T : y = (x
0
) + ' (x
0
)(x - x
0
)
On constate que la tangente T n'est autre que la reprsentation graphique de l'approximation affine de (en x
0
).
Exemples : On donne : (x) = - x
2
+ 3
quation de la tangente T au point d'abscisse x
0
= 2 ?
On calcule '(2) :
(2 ) (2) h
h
+ -
=
2 2
(2 ) 3 ( 2 3) h
h
- + + - - +
=
2
4h h
h
- -
= - 4 - h
'(2) = lim
h0
(-4 - h) = - 4
L'quation de T est donc : y = (2) + ' (2)(x - 2) = -1 - 4(x - 2) = -4x + 7
Autre mthode (pour ceux qui ont oubli la formule) : une quation de T est de la forme y = ' (2)x + b.
La condition (2) = -1 livre alors b = 7.
2.2. Interprtation cinmatique du nombre driv :
Supposons ici que reprsente la loi horaire d'un mobile en dplacement. La vitesse moyenne du mobile entre
les instants t
0
et t
0
+ h est alors :
0 0
( ) ( ) t h t
h
+ -
La vitesse instantane du mobile au moment t
0
est donc donne par :
lim
h0
0 0
( ) ( ) t h t
h
+ -
= '(t
0
)
Si est une loi horaire d'un mobile en mouvement, le nombre driv en t
0
reprsente la vitesse
instantane du mobile l'instant t
0
.
C
T
M
y
A
(x0)
x x0
Bien sr, si l'on sait que
'(x) = -2x, on obtient
immdiatement '(2) = -4.
3. Fonction drive
3.1. Dfinition
Lorsqu'une fonction admet un nombre driv en tout point x
0
d'un intervalle I, on dit que est drivable sur I.
On dfinit alors la fonction drive, note ' , qui tout point x
0
de I associe le nombre driv ' (x
0
).
Nous savons dj driver un certain nombre de fonctions. Se reporter au tableau des drives pour en avoir un
aperu. Les physiciens notent : dy = '(x)dx
On montre (voir quelques dmonstrations au paragraphe 5) que la somme et le produit de fonctions drivables
(sur un intervalle I) est drivable (sur I). De mme pour le quotient /g de deux fonctions drivables o g ne
s'annule pas sur I. On montrera galement que les fonctions du type x a
n
x (n !) sont drivables sur .
Ainsi, les fonctions polynmes sont drivables sur et les fonctions rationnelles le sont sur tout intervalle
contenu dans leur ensemble de dfinition.
Donnons prsent un thorme fondamental :
3.2. Thorme
Toute fonction drivable sur un intervalle I est continue sur I.
Dmonstration :
Soit x
0
I. Puisque est drivable en x
0
, elle admet un dveloppement limit l'ordre 1 en x
0
:
(x
0
+ h) = (x
0
) + ' (x
0
)h + hj(h) o lim
h0
j(h) = 0
Posons x = x
0
+ h, il vient alors :
(x) = (x
0
) + (x - x
0
)' (x
0
) + (x - x
0
)j(x - x
0
) o lim
x x
0
j(x - x
0
) = 0
Par passage la limite lorsque x tend vers x
0
, on obtient :
lim
x x
0
(x) = lim
x x
0
((x
0
) + (x - x
0
)' (x
0
) + (x - x
0
)j(x - x
0
))
Or lim
x x
0
(x - x
0
)' (x
0
) = 0 car ' (x
0
) est un nombre fini et lim
x x
0
(x - x
0
)j(x - x
0
) = 0
D'o lim
x x
0
(x) = (x
0
)
La fonction est donc continue en x
0
.
Ce raisonnement tant valable pour tout x
0
de I, on en dduit que est continue sur I.
Remarques :
La rciproque du thorme 3.2. est fausse. En effet, il existe des fonctions continues en un point x
0
et non
drivables en x
0
. C'est le cas, par exemple, de la fonction "valeur absolue" (voir ci-dessus)
Une fonction peut tre drivable (et donc continue) sans que sa drive ' soit continue :
Considrons la fonction dfinie sur par :
(x) = x
2
sin
1
x
si x 0 et (0) = 0
Montrons que est continue en 0 :
Nous avons, pour tout rel x 0 : sin
1
x
" 1
Donc : x
2
sin
1
x
" x
2
D'aprs le thorme de comparaison des limites (en 0), on en dduit :
lim
x0
|(x)| = 0 (puisque lim
x0
x
2
= 0)
Donc : lim
x0
(x) = 0 = (0)
Donc est continue en 0.
Montrons que est drivable en 0 :
Pour tout rel x 0, nous avons :
-
-
( ) ( ) x
x
0
0
= x sin
1
x
Or : lim
x0
x sin
1
x
= 0
(Mme type de preuve que ci-dessus. On crit :
x
x
1
sin " |x|)
Donc : lim
x0
-
-
( ) ( ) x
x
0
0
= 0
Ce qui signifie que est drivable en 0 avec ' (0) = 0.
Cependant ' n'est pas continue en 0. En effet, pour tout x 0, on a :
' (x) = 2x sin
1
x
+ x
2
-
1
2
x
cos
1
x
= 2x sin
1
x
- cos
1
x
Nous savons que lim
x0
2x sin
1
x
= 0, mais la quantit cos
1
x
n'a pas de limite en 0. (Voir leon sur la continuit)
Donc ' n'a pas de limite en 0, ce qui signifie qu'elle n'est pas continue en 0.
Moralit : pour tudier la drivabilit d'une fonction en un point x
0
, il ne faut surtout pas tudier la limite de '
en x
0
(ce serait tudier la continuit de la drive en x
0
) mais tudier la limite de l'accroissement moyen.
Cependant, si ' admet une limite (finie) en x
0
alors est drivable en x
0
de nombre driv ' (x
0
).
Remarque : si est drivable en x
0
, alors l'application "coefficient directeur" j dfinie par j(x) =
0
0
) ( ) (
x x
x x
-
-
si x x
0
et j(x
0
) = ' (x
0
) est continue en x
0
puisque
0
lim
x x
j(x) = ' (x
0
).
Exercice :
Dmontrer que si u et v sont deux fonctions drivables sur un intervalle I, alors la fonction produit uv est
drivable sur I et (uv)' = u'v + uv' (rsultat admis en classe de Premire).
Pour tout x
0
de I, comme les fonctions u et v sont drivables en x
0
, elles admettent une dveloppement limit
l'ordre 1 en x
0
:
u(x
0
+ h) = u(x
0
) + u'(x
0
)h + hj(h) o lim
h0
j(h) = 0 et v(x
0
+ h) = v(x
0
) + v'(x
0
)h + hy(h) o lim
h0
y(h) = 0
En multipliant ces deux dveloppements, il vient :
u(x
0
+ h) v(x
0
+ h) = (u(x
0
) + u'(x
0
)h + hj(h))(v(x
0
) + v'(x
0
)h + hy(h))
u(x
0
+ h) v(x
0
+ h) = u(x
0
) v(x
0
) + (u'(x
0
) v(x
0
) + u(x
0
) v'(x
0
))h + hF(h)
y
C
x
o F(h) = u(x
0
) y(h)) + u'(x
0
) v'(x
0
)h + u'(x
0
)hy(h) + j(h)v'(x
0
)h + hj(h)y(h)
Nous avons donc : uv(x
0
+ h) = uv(x
0
) + (u'(x
0
) v(x
0
) + u(x
0
) v'(x
0
))h + hF(h) o lim
h0
F(h) = 0
La fonction produit uv admet un dveloppement limit l'ordre 1 en x
0
, donc uv est drivable en x
0
. Ceci tant
valable pour tout x
0
de I, on a uv drivable sur I. De plus, le nombre driv de uv en x
0
est directement lisible
dans le dveloppement limit, il s'agit de u'(x
0
) v(x
0
) + u(x
0
) v'(x
0
). Finalement, on a sur I :
(uv)' = u'v + uv'
4. Applications de la drivation l'tude de fonctions
Bien qu'intuitivement vident, on admettra le thorme suivant. (Sa dmonstration dcoule en partie du thorme des accroissements finis qui est
hors-programme. Ce thorme dcoule lui-mme du thorme de Rolle dont la dmonstration repose sur le fait qu'une fonction continue sur un
intervalle born est borne et atteint ses bornes. Or, cette dernire proprit repose en partie sur le thorme de Bolzano-Weierstrass dont la
dmonstration ne peut se comprendre qu'aprs avoir tabli un certain nombre d'lments de topologie de la droite relle...)
4.1. Thorme Lien entre le signe de la drive et les variations de la fonction
Soit une fonction drivable sur un intervalle I.
1. est constante sur I si et seulement si ' = 0 sur I.
2. est croissante (resp. dcroissante) sur I si et seulement si ' # 0 (resp. ' "0) sur I.
3. est strictement croissante (resp. strictement dcroissante) sur I si et seulement si
{ }
0 sur (resp. 0)
L'ensemble tels que ( ) 0 ne contient aucun intervalle d'intrieur non vide
I
x I x

# "
Commentaires : les commentaires suivants sont transposables aux cas "' < 0 sur I " :
si ' > 0 sur I, sauf en des points isols o elle s'annule, on a quand mme la stricte croissance de sur I.
il n'y a pas quivalence entre les conditions "' > 0 sur I " et " strictement croissante sur I ".
Exemples :
1) On considre la fonction dfinie sur par (x) = x
3
. On a ' (x) = 3 x
2
. Notre drive est toujours
strictement positive sauf en 0 o elle s'annule. La fonction est donc strictement croissante sur .
Cet exemple montre donc qu'une fonction strictement croissante sur un intervalle I n'a pas ncessairement
une drive strictement positive sur I.
2) On considre maintenant la fonction g dfinie sur par : g(x) =
( )
[ ; ]
( )
x x
x
x x
+ < -
-
- >
1 1
0 1 1
1 1
3
3
si
si
si
.
On a g'(x) =
3 1 1
0 1 1
3 1 1
2
2
( )
[ ; ]
( )
x x
x
x x
+ < -
-
- >
si
si
si
La drive g' est toujours positive. De plus elle est
nulle sur tout l'intervalle [-1 ; 1]. Par consquent, la
fonction g est croissante (non strictement) sur .
y
2
Cg
1
x
-1
-2 -1 2 1
-2
3) Soit h la fonction dfinie sur ]-2 ; -1[ ]1 ; 2[ par h(x) = -1 si x ]-2 ; -1[ et h(x) = 1 si x ]1 ; 2[. On
a clairement h' = 0 sur ]-2 ; -1[ ]1 ; 2[. Cependant, h n'est pas constante, d'o la ncessit de la condition
"I est un intervalle" dans le thorme 4.1.
Le thorme suivant donne une condition ncessaire pour que ait un extremum local en x
0
:
4.2. Thorme
Si admet un extremum local en un point x
0
intrieur I alors ' (x
0
) = 0
Avant de dmontrer ce thorme, donnons quelques explications :
Si a et b reprsentent les extrmits de l'intervalle I (avec ventuellement a = - et/ou b = +), l'intrieur
de I est l'intervalle ouvert ]a ; b[. (C'est le plus grand intervalle ouvert contenu dans I)
Un extremum local est soit un maximum local, soit un minimum local. Une fonction admet un maximum
local en x
0
s'il existe un intervalle ouvert J du type ]x
0
- e ; x
0
+ e[ (avec e > 0) tel que pour tout x de J on
ait (x) " (x
0
) . (On dfinit de faon analogue un minimum local). Une fonction peut avoir plusieurs
maxima sur un mme intervalle I. Le plus grand d'entre eux est appel maximum global de sur I.
Dmonstration :
Par hypothse, est drivable en x
0
et :
' (x
0
) = lim
h0
+ - ( ) ( ) x h x
h
0 0
Comme x
0
est intrieur I, il existe e > 0 tel que ]x
0
- e ; x
0
+ e[ soit contenu dans I.
Supposons que l'extremum local de soit un maximum local :
Pour h ]0 ; e[, on a :
+ - ( ) ( ) x h x
h
0 0
" 0
Pour h ]-e ; 0[, on a :
+ - ( ) ( ) x h x
h
0 0
# 0
Ceci montre que la drive droite de en x
0
est ngative et que la drive gauche de en x
0
est positive. Et
comme elles sont toutes deux gales ' (x
0
), on a ncessairement ' (x
0
) # 0 et ' (x
0
) " 0 d'o ' (x
0
) = 0.
Dans le cas o admet un minimum local, on raisonne de mme.
y
(x0)
C
(x0
'
)
x
x0
'
x0 - e x0 + e
x0 b a
Mise en garde sur le thorme 4.2. :
Si x
0
est une extrmit de I, la fonction peut avoir un extremum en x
0
sans ncessairement avoir ' (x
0
) = 0.
C'est ce qu'illustre la figure suivante :
Le thorme suivant donne une condition suffisante pour que ait un extremum local en x
0
:
4.3. Thorme
Soit une fonction drivable sur un intervalle I. Soit x
0
un point intrieur I.
Si ' s'annule en x
0
en changeant de signe alors a un extremum local en x
0
Nous admettrons ce thorme dont la dmonstration repose, l encore, sur le thorme des accroissements finis.
Les trois thormes prcdents sont largement exploits dans les exercices notamment lors de la mise en place
du tableau de variation d'une fonction.
5. Drivation d'une fonction compose et applications
5.1. Thorme
Soit u une fonction drivable sur un intervalle I.
Soit v une fonction drivable sur un intervalle J contenant u(I).
La fonction v o u est drivable sur I et pour tout x I : (v o u)'(x) = u'(x) v'(u(x))
Dmonstration :
Soit x
0
I.
On crit :
0
0
( )( ) ( )( ) v u x v u x
x x
-
-
o o
=
0
0
( ( )) ( ( ))
( ) ( )
v u x v u x
u x u x
-
-

0
0
( ) ( ) u x u x
x x
-
-
Posons y
0
= u(x
0
) et y = u(x), ainsi :
0
0
( )( ) ( )( ) v u x v u x
x x
-
-
o o
=
0
0
( ) ( ) v y v y
y y
-
-

0
0
( ) ( ) u x u x
x x
-
-
Or, v tant drivable en y
0
, on a :
0
lim
y y
0
0
( ) ( ) v y v y
y y
-
-
= v'(y
0
)
Et u tant drivable en x
0
, on a :
0
lim
x x
0
0
( ) ( ) u x u x
x x
-
-
= u'(x
0
)
y
(x0)
C
x
x0 = b a
D'o :
0
lim
x x
0
0
( )( ) ( )( ) v u x v u x
x x
-
-
o o
= u'(x
0
) v'(y
0
) = u'(x
0
) v'(u(x
0
))
C'est--dire : (v o u)'(x
0
) = u'(x
0
) v'(u(x
0
))
Ceci tant valable pour tout x
0
I, on en dduit la drivabilit de v o u sur I et
(v o u)'(x) = u'(x) v'(u(x))
5.2. Consquences du thorme 5.1. : soit u une fonction drivable sur un intervalle I.
Si = u (o u est strictement positive sur I) alors est drivable sur I et ' =
2
u
u
Si = u
n
(avec n $
*
et u ne s'annulant pas sur I si n " -1) alors est drivable sur I et ' = n u' u
n-1
Exemple :
1. On considre la fonction dfinie sur
+
par :
(x) = x x
2
+
On peut crire = u avec u(x) = x
2
+ x. La fonction u est strictement positive sur ]0 ; +[.
Donc est drivable sur ]0 ; +[ et on a ' =
2
u
u
, ce qui donne :
' (x) =
2
2 1
2
x
x x
+
+
pour tout x ]0 ; +[
2. Dans la pratique, s'il n'y a pas d'ambigut avec les intervalles, on finit par ne plus prciser la composition :
(x) =
( )
2 1
2
6
x x - + ' (x) = 6(4x - 1)
( )
2 1
2
5
x x - +
Exercice : Soit une fonction dfinie et drivable sur un intervalle I symtrique par rapport 0.
Dmontrer : paire ' impaire
impaire ' paire.
Si est paire, on a pour tout x I : (x) = (-x) = o g(x) (O g est la fonction qui x associe -x )
En drivant, on obtient : '(x) = g'(x)'(g(x)) = -'(-x)
Donc ' est impaire.
Mme raisonnement pour l'autre implication.
5.3. Thorme Drivation de la bijection rciproque (hors programme)
Soit une bijection drivable d'un intervalle I sur un intervalle J. On note
-1
la bijection reciproque de .
Soit x
0
I tel que '(x
0
) 0. Alors la fonction
-1
est drivable en y
0
= (x
0
) et :
(
-1
)'(y
0
) =
0
1
( ) y
-1
o
Dmonstration :
Nous allons montrer que l'accroissement moyen ci-dessous admet une limite lorsque y tend vers y
0
:
1 1
0
0
( ) ( ) y y
y y
- -
-
-
=
1
0
0
( )
( )
y x
y x
-
-
-
Notons x =
-1
(y) ainsi :
1 1
0
0
( ) ( ) y y
y y
- -
-
-
=
0
0
( ) ( )
x x
x x
-
-
Or,
-1
est continue en y
0
(voir leon sur la continuit) donc :
0
lim
y y

-1
(y) =
-1
(y
0
)
C'est--dire :
0
lim
y y
x = x
0
Autrement dit, lorsque y tend vers y
0
, alors x tend vers x
0
, ce qui nous permet d'crire :
0
lim
y y
1 1
0
0
( ) ( ) y y
y y
- -
-
-
=
0
lim
x x

0
0
( ) ( )
x x
x x
-
-
=
0
1
( ) x
puisque est drivable en x
0
avec '(x
0
) 0.
Ce qui prouve que la fonction rciproque
-1
est drivable en y
0
et :
(
-1
)'(y
0
) =
0
1
( ) x
=
0
1
( ) y
-1
o
Remarque : si de plus, pour tout x de I, on a '(x) 0, alors
-1
est alors drivable sur (I) et :
(
-1
)' =
1
-1
o
sur (I)
6. Tableaux des drives usuelles et oprations sur les drives
Fonction Fonction drive ' Domaine de dfinition de '
(x) = k (constante) ' (x) = 0
(x) = x ' (x) = 1
(x) = ax + b ' (x) = a
(x) = x
n
(n $
*
) ' (x) = n x
n-1
si n > 0 ;
*
si n < 0
(x) = x
' (x) =
1
2 x
+
*
(x) =
1
x
' (x) = -
1
2
x
+
*
(x) = cos x ' (x) = -sin x
(x) = sin x ' (x) = cos x
(x) = tan x ' (x) = 1 + tan
2
x =
1
2
cos x
\ {k
p
2
; k $}
(t) = cos(wt + j) ' (t) = -wsin(wt + j)
(t) = sin(wt + j) ' (t) = wcos(wt + j)
(t) = tan(wt + j) ' (t) = w(1 + tan
2
(wt + j))
\ {k
p
j
2
-
t
; k $}
Tous les rsultats de ce tableau se dmontrent essentiellement avec la dfinition du nombre driv.
Exemple de dmonstrations :
Cas (x) = x
n
lorsque n > 0.
L'accroissement moyen de en x s'crit : (en utilisant la formule du binme de Newton)
( ) x h x
h
n n
+ -
=
1 2 2
2
...
n n n n n n
x nx h x h h x
h

- -

+ + + + -
= n x
n-1
+
2
2
n n
x h

-

+ ... + h
n-1
D'o : lim
h0
( ) x h x
h
n n
+ -
= lim
h0
n x
n-1
+
2
2
n n
x h

-

+ ... + h
n-1
= n x
n-1
On peut aussi procder par rcurrence en utilisant la formule de drivation d'un produit (ce qui vite
l'emploi de la formule du binme).
Cas (x) = sin x.
L'accroissement moyen de en x s'crit :
sin( ) sin x h x
h
+ -
=
sin cos sin cos sin x h h x x
h
+ -
= sin x
cosh
h
-1
+
sinh
h
cos x
Or : lim
h0
sinh
h
= 1 et lim
h0
cosh
h
-1
= 0 (Voir DM)
D'o : lim
h0
sin( ) sin x h x
h
+ -
= cos x
OPRATIONS SUR LES DRIVES
lorsque u et v sont des fonctions drivables sur un intervalle I
Fonction Drive Conditions
u + v u' + v'
ku (k : constante) ku'
uv u'v + uv'
1
v
-
2
v
v
v 0 sur I
u
v
2
u v uv
v
-
v 0 sur I
u
n
(n $) n u' u
n-1
u > 0 sur I si n " 0
u
2
u
u
u > 0 sur I
v o u u' (v' o u)
Tous les rsultats de ce tableau se dmontrent essentiellement avec la dfinition du nombre driv.
Exemples de dmonstrations :
Relation
1
v
= -
2
v
v
Pour tout x I, posons (x) =

1
v x ( )
.
On a :
+ - ( ) ( ) x h x
h
=
1 1
v x h v x
h
( ) ( ) +
-
=
v x v x h
h v x v x h
( ) ( )
( ) ( )
- +
+
Or, puisque v est drivable, on peut crire :
v(x + h) = v(x) + v'(x)h + hj(h)
Remplaons v(x) - v(x + h) par -(v'(x)h + hj(h)) ; on obtient :
+ - ( ) ( ) x h x
h
= -
( ) ( )
( ) ( )
v x h h h
h v x v x h
+ j
+
= -
( ) ( )
( ) ( )
v x h
v x v x h
+ j
+
D'o : lim
h0
+ - ( ) ( ) x h x
h
= lim
h0
( ) ( )
( ) ( )
v x h
v x v x h
+ j
+
= -
( )
2
( )
( )
v x
v x
Donc est drivable et ' = -

2
v
v
d'o :
1
v
= -
2
v
v
Relation
u
v
=
2
u v uv
v
-
On crit
u
v
= u
1
v
et on utilise la drive d'un produit (dj dmontre en exercice) et le rsultat ci-dessus.
7. tude de la fonction tangente
Voir ce DM spcifique : http://perso.wanadoo.fr/gilles.costantini/Lycee_fichiers/DevoirsT_fichiers/DM4TS.pdf
8. Quelques ingalits
Dmontrer que pour tout x [0 ;
p
2
], on a :
2
p
x " sin x " x et 1 -
2
p
x " cos x "
p
2
- x
Notons I = [0 ;
p
2
].
On tudie les fonctions et g dfinies sur I par (x) = x - sin x et g(x) = sin x -
2
p
x.
On a, pour x I : ' (x) = 1 - cos x # 0
g'(x) = cos x -
2
p
g"(x) = -sin x " 0
La fonction ' est positive sur I, donc est croissante sur I et comme (0) = 0, on en dduit que est
positive sur I, donc : sin x " x pour tout x I
La fonction g" est ngative sur I, donc g' est dcroissante sur I.
Or : g'(0) = 1 -
2
p
> 0 et g'
2
p

= -
2
p
< 0
Comme g' est continue et strictement dcroissante sur I, d'aprs le thorme des valeurs intermdiaires, il
existe un unique rel a I tel que g'(a) = 0. Donc g' est positive sur [0 ; a] puis ngative sur [a ;
p
2
].
On en dduit que g est croissante sur [0 ; a] puis dcroissante sur [a ;
p
2
].
Mais g(0) = 0 et g
2
p

= 0. Donc g est positive sur I :
2
p
x " sin x pour tout x I
p
2
-x
1 -
2
p
x
2
p
x
y
x
O
x
cos x
sin x
1 p
2
On montre de mme que : 1 -
2
p
x " cos x "
p
2
- x pour tout x I
Dmontrer que pour tout x [0 ;
p
2
[, on a : x " tan x
Posons (x) = tan x - x pour x J = [0 ;
p
2
[.
On a : ' (x) = tan
2
x # 0 pour tout x J
Donc est croissante sur J.
En outre, (0) = 0 donc est positive sur J d'o le rsultat.
Remarque : l'aide de l'encadrement sin x " x " tan x dmontr ci dessus pour x [0 ;
p
2
[, on dduit que :
1 "
x
x sin
"
1
cos x
pour tout x ]0 ;
p
2
[.
On montre (parit des fonctions en jeu) que l'encadrement est aussi valable pour x ]-
p
2
; 0[.
Le thorme des gendarmes permet alors de retrouver la limite importante : lim
x0
sin x
x
= 1.
9. Complment : ingalits des accroissements finis (Hors programme)
9.1. Thorme Ingalit des accroissements finis
On suppose qu'il existe deux rels m et M tels que m " ' " M sur I
(1)
.
Alors, pour tous rels a et b de I tels que a < b, on a :
m(b - a) " (b) - (a) " M(b - a)
Dmonstration :
On utilise une fonction auxiliaire g dfinie sur I par :
g(x) = (x) - Mx
La fonction g est drivable sur I et on a : g'(x) = ' (x) - M
Or, ' " M sur I, donc : g' " 0 sur I
La fonction g est donc dcroissante sur I, ce qui signifie, puisque a < b, que l'on a :
g(a) # g(b)
C'est--dire : (a) - Ma # (b) - Mb
D'o l'on dduit finalement : (b) - (a) " M(b - a)
On raisonne de mme avec la fonction h dfinie sur I par h(x) = (x) - mx pour dmontrer l'autre partie de
l'encadrement.

(1)
Si I est un segment (intervalle ferm et born) cette condition est toujours ralise car une fonction continue sur un segment est borne.
Remarque : lorsque ' est continue sur I, on obtient aussi ce rsultat en intgrant l'ingalit m " ' " M entre
a et b (voir le cours sur le calcul intgral)
Exercice : dmontrer que si m < ' < M sur I alors, pour tous a et b de I tels que a < b :
m(b - a) < (b) - (a) < M(b - a)
Remarque : les ingalits strictes persistent encore si m " ' " M avec galit en un nombre fini d'abscisses...
9.2. Thorme ingalit des accroissements finis (bis)
S'il existe un rel M tel que |' | " M sur I alors pour tous rels a et b de I, on a :
|(b) - (a)| " M|b - a|
Dmonstration :
Il suffit de remarquer que la condition |' | " M s'crit encore -M " ' " M. On applique alors le thorme
9.1. :
si a < b alors -M(b - a) " (b) - (a) " M(b - a) c'est--dire |(b) - (a)| " M(b - a)
si a > b alors -M(a - b) " (b) - (a) " M(a - b) c'est--dire |(b) - (a)| " M(a - b)
Dans les deux cas, on a : |(b) - (a)| " M|b - a|
Exemples :
Encadrements de nombres rels.
Montrer que :
2
12
"
2 1 -
p
"
3
12
.
On applique le thorme 9.1. la fonction dfinie sur ;
6 4
p p

par (x) = sin(x).
Dmontrer que pour tous rels x et y : |cos x - cos y| " |x - y|
On applique l'ingalit des accroissements finis avec = cos.
9.3. Thorme
Soient et g deux fonctions drivables sur un intervalle I.
Si |' | " g' sur I alors pour tous rels a et b de I tels que a < b, on a :
|(b) - (a)| " g(b) - g(a)
Dmonstration :
La condition |' | " g' sur I s'crit encore : -g' " ' " g' sur I
Soit h la fonction dfinie sur I par : h(x) = (x) - g(x)
La fonction h est drivable sur I (comme diffrence de deux fonctions qui le sont) et :
h'(x) = ' (x) - g'(x) " 0 pour tout x I
La fonction h est donc dcroissante sur I.
Pour tous rels a et b de I tels que a < b, on a donc :
h(b) " h(a)
C'est--dire : (b) - (a) " g(b) - g(a)
Soit k la fonction dfinie sur I par : k(x) = (x) + g(x)
La fonction k est drivable sur I (comme somme de deux fonctions qui le sont) et :
k'(x) = ' (x) + g'(x) # 0 pour tout x I
La fonction k est donc croissante sur I.
Pour tous rels a et b de I tels que a < b, on a donc :
k(a) " k(b)
C'est--dire : (a) - (b) " g(b) - g(a)
On en dduit bien que pour tous rels a et b de I tels que a < b, on a :
|(b) - (a)| " g(b) - g(a)
L encore, on obtient le rsultat en intgrant l'ingalit -g' " ' " g' entre a et b.
Exercice (ncessite des connaissances sur la fonction logarithme nprien, on pourra consulter ce lien :
http://perso.wanadoo.fr/gilles.costantini/Lycee_fichiers/CoursT_fichiers/ExpLn03.pdf)
Dmontrer que pour tout x ]0 ; +[ :
1
1 x +
" ln(x + 1) - ln x "
1
x
En dduire que la suite (S
n
) dfinie pour n !
*
par S
n
= 1 +
1
2
+
1
3
+ ... +
1
n
diverge vers +.
(Cette suite (S
n
) s'appelle la srie "harmonique".)
On considre la fonction dfinie sur ]0 ; +[ par (t) = ln t.
Soit x ]0 ; +[. Considrons l'intervalle I = [x ; x + 1]. La fonction est drivable sur I et ' (t) =
1
t
.
Pour tout t I = [x ; x + 1], on a :
1
1 x +
"
1
t
"
1
x
(car la fonction inverse est dcroissante sur I ]0 ; +[)
C'est--dire :
1
1 x +
" ' "
1
x
sur I
D'aprs l'ingalit des accroissements finis applique et en choisissant a = x et b = x + 1, nous obtenons :
1
1 x +
" ln(x + 1) - ln x "
1
x
En particulier, pour tout entier k # 1, on a :
1
x
# ln(k + 1) - ln k.
On en dduit que : S
n
=
1
1
k
k
n
=
# ln( ) ln k k
k
n
+ -
=
1
1
= ln(n + 1).
Or, la suite (u
n
) dfinie par u
n
= ln (n + 1) est divergente vers +. On en dduit par comparaison que (S
n
)
diverge galement vers +.
Voir le cours sur le calcul intgral (http://perso.wanadoo.fr/gilles.costantini/Lycee_fichiers/CoursT_fichiers/CI04.pdf) pour une
mthode plus simple.

Cours Sur La Dérivabilité PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cours Sur La Dérivabilité PDF

Uploaded by

Copyright:

Available Formats

Drivabilit Page 1 G. COSTANTINI http://bacamaths.

en A et son coefficient directeur est ' (x

Pour tout x I, posons (x) =

Donc est drivable et ' = -

You might also like