# Fonctions d'une variable réelle/Dérivabilité
## Dérivabilité : définitions

Rappelons les définitions de la leçon « Fonction dérivée » :
Soit $f$ une fonction définie sur un intervalle $I$, et soit $a\in I$.
    $f$ est dite dérivable en $a$ si son taux de variation entre $a$ et $x$, ${\frac {f(x)-f(a)}{x-a}}$, admet une limite finie quand $x$ tend vers $a$.
Le réel $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}$ est alors appelé nombre dérivé de $f$ en $a$ et est noté $f'(a)$.
Si $f$ est dérivable en tous les points de $I$, on dit que $f$ est dérivable sur $I$.
On peut donner une définition équivalente (dont l'un des avantages est qu'elle se généralise au calcul différentiel à plusieurs variables) :
Soit $f$ une fonction définie sur un intervalle $I$, et soient $a\in I$ et $A\in \mathbb {R}$.
La fonction $f$ est dérivable en $a$ et $f'(a)=A$ si, et seulement s'il existe une fonction $\varepsilon :I\to \mathbb {R}$ telle que :
Remarque : L'expression $(\star )$ est un développement limité de $f$ au voisinage de $a$ à l’ordre 1 (c'est-à-dire une approximation affine de $f$ au voisinage de $a$).
Pour $x=a$, l'équation $f(x)=f(a)+A(x-a)+\varepsilon (x)(x-a)$ est automatiquement vérifiée, quelle que soit la valeur de $\varepsilon (x)$.
Pour $x\in I\setminus \{a\}$, cette même équation équivaut à $\varepsilon (x)={\frac {f(x)-f(a)}{x-a}}-A$.
L'existence d'une fonction $\varepsilon :I\to \mathbb {R}$ vérifiant la ligne $(\star )$ est donc équivalente à : $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}-A=0$, c'est-à-dire à : $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=A$.
On a alors le lien avec la continuité :
Si $f$ est dérivable en $a$, alors $f$ est continue en $a$.
La réciproque est fausse, comme le montre le contre-exemple ci-dessous de la fonction valeur absolue.
Le plus simple est d’utiliser la deuxième définition ci-dessus et de « passer à la limite » dans $(\star )$.
On constate alors que $\lim _{x\to a}f(x)=f(a)$, ce qui est la définition même de la continuité de $f$ en $a$.
Parfois, en certains points, même si $f$ est continue en $a$, elle n'y admet pas de nombre dérivé (cf. figures ci-contre).
En revanche, il existe parfois des « demi-tangentes » à droite et/ou à gauche. Cela conduit à des définitions de nombre dérivé « à gauche » ou « à droite ».
* $f$ est dite dérivable en $a$ à droite si ${\frac {f(x)-f(a)}{x-a}}$ admet une limite finie quand $x$ tend vers $a$ par valeurs supérieures.
    Le réel $\lim _{x\to a^{+}}{\frac {f(x)-f(a)}{x-a}}$ est alors appelé nombre dérivé à droite de $f$ en $a$, et est noté $f'_{d}(a)$.
* $f$ est dite dérivable en $a$ à gauche si ${\frac {f(x)-f(a)}{x-a}}$ admet une limite finie quand $x$ tend vers $a$ par valeurs inférieures.
    Le réel $\lim _{x\to a^{-}}{\frac {f(x)-f(a)}{x-a}}$ est alors appelé nombre dérivé à gauche de $f$ en $a$, et est noté $f'_{g}(a)$.
Une fonction $f$, définie sur un intervalle ouvert contenant $a$, est dérivable en $a$ si et seulement si :
* $f$ est dérivable en $a$ à droite et à gauche ;
* $f'_{d}(a)=f'_{g}(a)$.
Dans ce cas, $f'(a)=f'_{d}(a)=f'_{g}(a)$.

## Dérivée et opérations

Soient $f$ et $g$ deux fonctions dérivables en $a\in I$.
* La dérivation au point $a$ est linéaire :
** $(f+g)'(a)=f'(a)+g'(a)$
** $\forall \lambda \in \mathbb {R} \quad (\lambda f)'(a)=\lambda (f'(a))$.
* $(fg)'(a)=f'(a)g(a)+f(a)g'(a)=(f'g+fg')(a)$ (et non pas $f'(a)g'(a)$ !).
* si $g(a)\neq 0$, alors $\left({\frac {f}{g}}\right)'(a)={\frac {f'(a)g(a)-f(a)g'(a)}{(g(a))^{2}}}$ et en particulier $\left({\frac {1}{g}}\right)'(a)={\frac {-g'(a)}{(g(a))^{2}}}$.
Toutes ces preuves utilisent les propriétés des opérations sur les limites et la définition de la dérivée comme limite du taux de variation.
* Démonstration pour la somme ${\frac {(f+g)(x)-(f+g)(a)}{x-a}}={\frac {f(x)+g(x)-(f(a)+g(a)))}{x-a}}={\frac {f(x)-f(a)}{x-a}}+{\frac {g(x)-g(a)}{x-a}}$. Comme $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=f'(a)$ et $\lim _{a\to a}{\frac {g(x)-g(a)}{x-a}}=g'(a)$, on a bien $\lim _{x\to a}{\frac {(f+g)(x)-(f+g)(a)}{x-a}}=f'(a)+g'(a)$, autrement dit : $(f+g)'(a)$ existe et est égale à $f'(a)+g'(a)$.
* Démonstration pour le produit Le taux de variation de $fg$ au point $a$ s'écrit :$T_{fg}(x,a)={\frac {f(x)g(x)-f(a)g(a)}{x-a}}.$En retranchant et en ajoutant $f(a)g(x)$ on obtient alors :$T_{fg}(x,a)={\frac {f(x)g(x)\overbrace {-f(a)g(x)+f(a)g(x)} ^{0}-f(a)g(a)}{x-a}}$.En factorisant les termes, on reconnaît les taux de variation de $f$ et $g$ :$T_{fg}(x,a)=\underbrace {\frac {f(x)-f(a)}{x-a}} _{T_{f}(x,a)}g(x)+f(a)\underbrace {\frac {g(x)-g(a)}{x-a}} _{T_{g}(x,a)}.$Sachant que $\lim _{x\to a}g(x)=g(a)$ (car $g$ est continue en $a$, puisque dérivable en $a$), les règles sur les limites de produits et de sommes permettent de conclure :${\biglfg{\bigr )}'(a)=\lim _{x\to a}T_{fg}(x,a)=f'(a)g(a)+f(a)g'(a).$Remarquons que le produit par une constante $\lambda$ est un cas particulier.
* Démonstration pour l'inverse On a successivement les égalités suivantes : $\lim _{x\to a}{\frac {{\frac {1}{f}}(x)-{\frac {1}{f}}(a)}{x-a}}=\lim _{x\to a}{\frac {{\frac {1}{f(x)}}-{\frac {1}{f(a)}}}{x-a}}=\lim _{x\to a}{\frac {1}{f(x)f(a)}}{\frac {-(f(x)-f(a))}{x-a}}$ d'où le résultat grâce aux propriétés des limites.
* Démonstration pour le quotient Il suffit de combiner les deux points précédents (produit et inverse).
Soient $I$ et $J$ deux intervalles de $\mathbb {R}$, $f:I\to \mathbb {R}$ et $g:J\to \mathbb {R}$ deux fonctions telles que $f(I)\subset J$, et $a$ un point de $I$.
Si $f$ est dérivable au point $a$ et $g$ est dérivable au point $f(a)$ alors la composée $g\circ f$ est dérivable au point $a$ et :
Notons $b=f(a)$. Puisque $g$ est dérivable en $b$, d'après la seconde définition de la dérivabilité, il existe une fonction $u:J\to \mathbb {R}$ telle que
    $u(b)=\lim _{y\to b}u(y)=g'(b)\quad {\text{et}}\quad \forall y\in J\quad g(y)-g(b)=u(y)\times (y-b)$.
En particulier (en utilisant que $f$ est continue au point $a$ puisqu'elle est même dérivable en ce point) :
    $\lim _{x\to a}u(f(x))=g'(b)\quad {\text{et}}\quad \forall x\in I\quad g(f(x))-g(f(a))=u(f(x))\times (f(x)-f(a))$.
Le taux de variation au point $a$ de la fonction $g\circ f$ s'exprime alors sous la forme :
    ${\frac {g(f(x))-g(f(a))}{x-a}}=u(f(x))\times {\frac {f(x)-f(a)}{x-a}}$
et quand $x$ tend vers $a$ (par valeurs distinctes de $a$), cette expression tend vers $g'(b)\times f'(a)=g'(f(a))\times f'(a)$.

### Remarque

    Il existe une démonstration de ce théorème, apparemment plus simple, qui utilise l'« astuce »
    ${\dfrac {g(f(x))-g(f(a))}{x-a}}={\dfrac {g(f(x))-g(f(a))}{f(x)-f(a)}}\times {\dfrac {f(x)-f(a)}{x-a}}$,
    mais cette démonstration est erronée car elle suppose que $f(x)\neq f(a)$ pour tout $x$ suffisamment proche de $a$, ce qui n'a aucune raison d’être.
Exemples : Remarquez que dans ces exemples, on utilise le formulaire du paragraphe suivant.
* Calculer la dérivée de la fonction $\varphi :\mathbb {R} _{+}^{*}\to \mathbb {R} ,\;x\mapsto {\frac {1}{x^{2}}}+\ln x$. On pose $\varphi (x)=f(x)+g(x)$ où $f(x)={\frac {1}{x^{2}}}\Rightarrow f'(x)=-{\frac {2}{x^{3}}}$ et $g(x)=\ln x\Rightarrow g'(x)={\frac {1}{x}}$. Donc : $\varphi '(x)=f'(x)+g'(x)=-{\frac {2}{x^{3}}}+{\frac {1}{x}}={\frac {x^{2}-2}{x^{3}}}$.
* Calculer la dérivée de la fonction $\varphi :\mathbb {R} \to \mathbb {R} ,\;x\mapsto x^{\mathrm {2} }e^{x}$. On pose $\varphi (x)=f(x)g(x)$ où $f(x)=x^{2}\Rightarrow f'(x)=2x$ et $g(x)=g'(x)=\mathrm {e} ^{x}$. Donc : $\varphi '(x)=f'(x)g(x)+f(x)g'(x)=2x\mathrm {e} ^{x}+x^{2}\mathrm {e} ^{x}=(x^{2}+2x)\mathrm {e} ^{x}$.
* Calculer la dérivée de la fonction $\varphi :\mathbb {R} _{+}^{*}\to \mathbb {R} ,\;x\mapsto {\frac {\cos x}{\sqrt {x}}}$. On pose $\varphi (x)={\frac {f}{g}}(x)$ où $f(x)=\cos x\Rightarrow f'(x)=-\sin x$ et $g(x)={\sqrt {x}}\Rightarrow g'(x)={\frac {1}{2{\sqrt {x}}}}$. Donc : $\varphi '(x)={\frac {f'(x)g(x)-f(x)g'(x)}{(g(x))^{2}}}={\frac {-{\sqrt {x}}\sin x-\cos x\times {\frac {1}{2{\sqrt {x}}}}}{({\sqrt {x}})^{2}}}=-{\frac {2x\sin x+\cos x}{2x{\sqrt {x}}}}$.
* Calculer la dérivée d'une fonction de la forme $\varphi :\mathbb {R} \to \mathbb {R} ,\;x\mapsto \mathrm {e} ^{f(x)}$. On a $\varphi =\exp \circ f$ et $\exp '=\exp$, donc $\varphi '(x)=f'(x)\exp '(f(x))$, c'est-à-dire : $\left(\mathrm {e} ^{f}\right)'=f'\times \mathrm {e} ^{f}$.
Soient $I$ un intervalle réel et $f:I\to \mathbb {R}$ une fonction dérivable sur $I$ et strictement monotone ($f$ est alors une bijection de $I$ sur l'intervalle $f(I)$).
Pour tout point $a$ de $I$ en lequel $f'$ ne s'annule pas, la bijection réciproque $f^{-1}$ est dérivable en $b:=f(a)$ et :
Par conséquent, si $f'$ ne s'annule pas sur $I$, alors $f^{-1}$ est dérivable sur $f(I)$ et $(f^{-1})'={\frac {1}{f'\circ f^{-1}}}$.
* D'après le théorème de la bijection, l'application $g:=f^{-1}$ est continue en $b$ et même (par injectivité de $g$) quand $y$ tend vers $b$ par valeurs distinctes de $b$, $g(y)$ tend vers $g(b)=a$ par valeurs distinctes de $a$.
* Par hypothèse, $\lim _{\stackrel {x\to a}{x\neq a}}{\frac {f(x)-f(a)}{x-a}}=f'(a)$.
Par composition des limites, on déduit de ces deux points que
    $\lim _{\stackrel {y\to b}{y\neq b}}{\frac {f(g(y))-f(a)}{g(y)-a}}=f'(a)$,
ou encore :
    $\lim _{\stackrel {y\to b}{y\neq b}}{\frac {y-b}{g(y)-g(b)}}=f'(a)$.
Cette limite étant non nulle, on a donc bien (d'après le théorème sur la limite de l'inverse) :
    $\lim _{\stackrel {y\to b}{y\neq b}}{\frac {g(y)-g(b)}{y-b}}={\frac {1}{f'(a)}}$, c'est-à-dire $g'(b)={\frac {1}{f'(a)}}$.

### Remarques.

   * Si $f'(a)=0$, le même calcul montre que $\lim _{\stackrel {y\to b}{y\neq b}}\left|{\frac {g(y)-g(b)}{y-b}}\right|=+\infty$ donc $g$ n'est pas dérivable en $b$.
   * Le point crucial dans cette démonstration était la preuve que $g$ est dérivable en $b$. Si l'on admet ce fait, la formule $g'(b)={\frac {1}{f'(a)}}$ peut se retrouver en appliquant propriété précédente (« Dérivée d'une fonction composée ») : $g'(b)f'(a)=g'(f(a))f'(a)=(g\circ f)'(a)=\mathrm {id} '(a)=1$.

## Dérivée des fonctions usuelles

| Domaine de définition $D_{f}$ | Fonction $f(x)$ | Domaine de dérivabilité $D_{f'}$ | Dérivée $f'(x)$ | Condition |
| $\mathbb {R}$ | $ax+b$ | $\mathbb {R}$ | $a$ | $a,b\in \mathbb {R}$ |
| $\mathbb {R}$ | $x^{n}$ | $\mathbb {R}$ | $nx^{n-1}$ | $n\in \mathbb {N}$ |
| $\mathbb {R} ^{*}$ | ${\frac {1}{x^{n}}}$ | $\mathbb {R} ^{*}$ | $-{\frac {n}{x^{n+1}}}$ | $n\in \mathbb {N} ^{*}$ |
| $\mathbb {R} _{+}^{*}$ (ou $\mathbb {R} _{+}$ si $\alpha >0$) | $x^{\alpha }$ | $\mathbb {R} _{+}^{*}$ (ou $\mathbb {R} _{+}$ si $\alpha >1$) | $\alpha x^{\alpha -1}$ | $\alpha \in \mathbb {R} \setminus \mathbb {Z}$ |
| $\mathbb {R}$ | $\sin x$ | $\mathbb {R}$ | $\cos x$ | |
| $\mathbb {R}$ | $\cos x$ | $\mathbb {R}$ | $-\sin x$ | |
| $\mathbb {R} \setminus \left({\frac {\pi }{2}}+\pi \mathbb {Z} \right)$ | $\tan x$ | $\mathbb {R} \setminus \left({\frac {\pi }{2}}+\pi \mathbb {Z} \right)$ | ${\frac {1}{\cos ^{2}x}}=1+\tan ^{2}x$ | |
| $\mathbb {R} \setminus \left(\pi \mathbb {Z} \right)$ | $\cot x$ | $\mathbb {R} \setminus \left(\pi \mathbb {Z} \right)$ | $-{\frac {1}{\sin ^{2}x}}=-1-\cot ^{2}x$ | |
| $\left[-1,1\right]$ | $\arcsin x$ | $\left]-1,1\right[$ | ${\frac {1}{\sqrt {1-x^{2}}}}$ | |
| $\left[-1,1\right]$ | $\arccos x$ | $\left]-1,1\right[$ | $-{\frac {1}{\sqrt {1-x^{2}}}}$ | |
| $\mathbb {R}$ | arctan $x$ | $\mathbb {R}$ | ${\frac {1}{1+x^{2}}}$ | |
| $\mathbb {R} _{+}^{*}$ | $\log _{a}x$ | $\mathbb {R} _{+}^{*}$ | ${\frac {1}{x\ln a}}$ | $a>0$ |
| $\mathbb {R}$ | $a^{x}$ | $\mathbb {R}$ | $a^{x}\ln a$ | $a>0$ |
| $\mathbb {R}$ | $\operatorname {sh} x$ | $\mathbb {R}$ | $\operatorname {ch} x$ | |
| $\mathbb {R}$ | $\operatorname {ch} x$ | $\mathbb {R}$ | $\operatorname {sh} x$ | |
| $\mathbb {R}$ | $\operatorname {th} x$ | $\mathbb {R}$ | ${\frac {1}{\operatorname {ch} ^{2}x}}$ | |
| $\mathbb {R}$ | $\operatorname {argsh} x$ | $\mathbb {R}$ | ${\frac {1}{\sqrt {1+x^{2}}}}$ | |
| $\left[1,+\infty \right[$ | $\operatorname {argch} x$ | $\left]1,+\infty \right[$ | ${\frac {1}{\sqrt {x^{2}-1}}}$ | |
| $\left]-1,1\right[$ | $\operatorname {argth} x$ | $\left]-1,1\right[$ | ${\frac {1}{1-x^{2}}}$ | |
Il faut être capable de démontrer ces résultats : deux de ces démonstrations sont proposées dans les deux boîtes déroulantes ci-dessous. On en trouve d'autres dans le chapitre « Dérivées usuelles » de la leçon « Fonction dérivée ».
On démontre le résultat pour $f:x\mapsto x^{n}$ où $n\in \mathbb {N} ^{*}$. Pour tout $a\in \mathbb {R}$ :
$\forall x\neq a\quad {\frac {f(x)-f(a)}{x-a}}={\frac {x^{n}-a^{n}}{x-a}}={\frac {(x-a)(x^{n-1}+ax^{n-2}+a^{2}x^{n-3}+\cdots +a^{n-1})}{x-a}}=x^{n-1}+ax^{n-2}+a^{2}x^{n-3}+\cdots +a^{n-1}$ et
$\lim _{x\to a}(x^{n-1}+ax^{n-2}+a^{2}x^{n-3}+\cdots +a^{n-1})=na^{n-1}$ (car chaque terme est de la forme $a^{k}x^{n-1-k}$ et il y a $n-1$ termes)
donc $\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=na^{n-1}$, ce qui est le résultat voulu.
Soit $h(x)=x^{\alpha }$, défini pour $x>0$ par :
    $h(x)=\mathrm {e} ^{f(x)}$ avec $f(x)=\alpha \ln x$.
D'après l'exemple 4 ci-dessus, pour tout $x>0$ : $h'(x)=\mathrm {e} ^{f(x)}f'(x)=x^{\alpha }{\frac {\alpha }{x}}=\alpha x^{\alpha -1}$.

## Théorèmes sur la dérivation

Voici une condition nécessaire mais pas suffisante pour un extremum local.
Soit $f$ une fonction définie sur un intervalle ouvert $\left]a,b\right[$ et dérivable en un point $c\in \left]a,b\right[$.
Si $f$ possède un extremum local en $c$, alors $f'(c)=0$.
Attention
* La réciproque est fausse : par exemple, la fonction $\mathbb {R} \to \mathbb {R} ,\,x\mapsto x^{3}$, en $0$, a une dérivée nulle mais pas d'extremum local.
* L'hypothèse « intervalle ouvert » (ou encore : $c$ n'est pas une borne de l'intervalle) est nécessaire. Par exemple, la fonction $f:[0,1]\to \mathbb {R} ,\,x\mapsto x$ admet un minimum en $0$ et un maximum en $1$, mais sa dérivée ne s'annule en aucun point.
On suppose ici que $f(c)$ est un maximum local.
Il existe donc un réel $r>0$ tel que $\left]c-r,c+r\right[\subset I$ et tel que $\forall x\in \left]c-r,c+r\right[\quad f(x)\leq f(c)$, ou encore : $\forall h\in \left]-r,r\right[\quad f(c+h)-f(c)\leq 0$.
* Pour $0<h<r$, on a ${\frac {f(c+h)-f(c)}{h}}\leq 0$. En considérant la limite quand $h$ tend vers $0$ par valeurs positives, on en déduit : $f'(c)\leq 0$.
* Pour $-r<h<0$, on a ${\frac {f(c+h)-f(c)}{h}}\geq 0$. En considérant la limite quand $h$ tend vers $0$ par valeurs négatives, on en déduit : $f'(c)\geq 0$.
Finalement, $f'(c)\leq 0$ et $f'(c)\geq 0$ donc $f'(c)=0$.
Le cas où $f(c)$ est un minimum local se démontre de la même manière (avec la seule différence que les signes des taux de variation sont intervertis), ou se déduit du cas ci-dessus (en considérant la fonction $-f$).
C'est parce que $c$ appartient à l'intervalle ouvert $\left]a,b\right[$ que l'on a pu considérer ces deux taux de variation : si $c$ était une borne de l'intervalle, l'un des deux ne serait pas défini.
Soit $f$ une fonction continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$ telle que $f(a)=f(b)$.
Alors, il existe au moins un réel $c\in \left]a,b\right[$ tel que $f'(c)=0$.
Si $f$ est constante alors sa dérivée est nulle sur $\left]a,b\right[$, et l’on peut prendre pour $c$ n'importe quel point de cet intervalle.
Supposons maintenant que $f$ prend au moins une valeur différente du nombre $f(a)=f(b)$, par exemple une valeur strictement supérieure à ce nombre. Puisque $f$ est continue sur l'intervalle fermé borné $\left[a,b\right]$, elle admet et atteint (d'après le théorème des bornes) un maximum global en un certain $c\in \left[a,b\right]$. Ce maximum $f(c)$ étant strictement supérieur au nombre $f(a)=f(b)$, le point $c$ est différent de $a$ et de $b$ donc il appartient à l'intervalle ouvert $\left]a,b\right[$. Le théorème de Fermat ci-dessus permet de conclure : $f(c)$ est un extremum local de $f$ donc $f'(c)=0$.
* Théorème des accroissements finis : Soit $f$ une fonction continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$. Alors,
** il existe au moins un réel $c\in \left]a,b\right[$ tel que $f'(c)={\frac {f(b)-f(a)}{b-a}}$.
* Théorème des accroissements finis généralisé : soient $f$ et $g$ deux fonctions continues sur $\left[a,b\right]$ et dérivables sur $\left]a,b\right[$. Alors :
** il existe au moins un réel $c\in \left]a,b\right[$ tel que $\left(g(b)-g(a)\right)f'(c)=\left(f(b)-f(a)\right)g'(c)$ ;
** dans le cas où $g'$ ne s'annule pas sur $\left]a,b\right[$, l'égalité peut s'écrire : ${\frac {f'(c)}{g'(c)}}={\frac {f(b)-f(a)}{g(b)-g(a)}}$ (« théorème de la moyenne de Cauchy »).
* Le point 1 s'obtient en appliquant le théorème de Rolle à la fonction auxiliaire $t\mapsto f(t)-{\frac {f(b)-f(a)}{b-a}}\ t$, ou comme cas particulier $g(t)=t$ du point 2.
* On généralise l'idée précédente en appliquant le théorème de Rolle à la fonction $\varphi :\left[a,b\right]\to \mathbb {R} ,\ t\mapsto \left(g(b)-g(a)\right)f(t)-\left(f(b)-f(a\right))g(t)$. Cette fonction est bien continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$, et $\varphi (a)=\varphi (b)$.
** Il existe donc un réel $c\in \left]a,b\right[$ tel que $\varphi '(c)=0$, ce qui donne l'égalité annoncée.
** Si de plus $g'$ ne s'annule pas sur $\left]a,b\right[$ alors $g(b)\neq g(a)$ (par contraposée du théorème de Rolle) et l'on peut diviser les deux membres de l'égalité précédente par $\left(g(b)-g(a)\right)g'(c)$.
Ce théorème a quatre corollaires importants : l'inégalité des accroissements finis, le théorème « limite de la dérivée », la règle de l'Hôpital et, surtout, le lien entre sens de variation d'une fonction et signe de sa dérivée.
Soient $f$ une fonction continue sur $\left[a,b\right]$ et dérivable sur $\left]a,b\right[$, et $M$ un réel tel que $\forall t\in \left]a,b\right[\quad |f'(t)|\leq M$. Alors :
$|f(b)-f(a)|\leq M|b-a|$
Il suffit d'appliquer le théorème des accroissements finis et de majorer $|f'(c)|$ par $M$.
Signalons que pour les fonctions à valeurs vectorielles, on ne dispose pas d'un théorème des accroissements finis, mais on parvient à démontrer, d'une autre manière, cette inégalité fort utile : voir la leçon « Calcul différentiel ».
On verra une application de cette inégalité, à propos des fonctions lipschitziennes, au chapitre « Continuité uniforme ».
Voici enfin un théorème bien pratique pour calculer un nombre dérivé :
Soit $f$ une fonction continue sur un intervalle $I$ ($a\in I$) et dérivable sur $I\setminus \{a\}$.
Si $\lim _{x\to a}f'(x)=l\in \mathbb {R}$, alors $f$ est dérivable en $a$ et $f'(a)=l$.
Il suffit d'appliquer le théorème des accroissements finis à la fonction $f$ sur les deux intervalles $J_{1}$ et $J_{2}$ tels que $J_{1}\cup J_{2}\cup \{a\}=I$ : $\forall x\in J_{1}\quad \exists c_{x}\in J_{1}\quad f'(c_{x})={\frac {f(x)-f(a)}{x-a}}$ (et de même sur $J_{2}$).
Alors $\lim _{x\to a}f'(c_{x})=\lim _{x\to a}{\frac {f(x)-f(a)}{x-a}}=l$ donc, par définition, $f'(a)=l$.
L'énoncé suivant généralise la « règle simple de L'Hôpital » (qui n'est qu'une application directe de la définition d'un nombre dérivé). Il s'applique à des fonctions définies et dérivables à droite (ou à gauche) d'un point $a\in {\overline {\mathbb {R} }}$ (c'est-à-dire réel ou infini), mais pas en ce point :
Soient $f$ et $g$ deux fonctions dérivables sur $\left]a,b\right[$ et telles que $g'$ ne s'annule pas.
* Si $\lim _{a}f=\lim _{a}g=0$ et $\lim _{a^{+}}{\frac {f'}{g'}}=\ell \in {\overline {\mathbb {R} }}$ alors $\lim _{a^{+}}{\frac {f}{g}}=\ell$.
* Si $\lim _{a}|g|=+\infty$ et si $\lim _{a^{+}}{\frac {f'}{g'}}=\ell \in {\overline {\mathbb {R} }}$ alors $\lim _{a^{+}}{\frac {f}{g}}=\ell$.
* Pour tout réel $x$ de $\left]a,b\right[$, on applique le « théorème de la moyenne de Cauchy » (cf. théorème des accroissements finis ci-dessus) à $f$ et $g$ entre $a$ et $x$. On obtient ainsi un réel $c_{x}$ de $\left]a,x\right[$ tel que${\frac {f(x)}{g(x)}}={\frac {f'(c_{x})}{g'(c_{x})}}$.Puisque$\lim _{x\to a^{+}}c_{x}=a,~c_{x}>a{\text{ et }}\lim _{c\to a^{+}}{\frac {f'(c)}{g'(c)}}=\ell$,on obtient$\lim _{x\to a^{+}}{\frac {f(x)}{g(x)}}=\ell$.
* On utilise le même théorème de la moyenne de Cauchy, avec plus de précaution. Dans tout intervalle $\left]x,y\right[$ avec $a<x<y<b$, il existe un réel $c$ tel que ${\frac {f(x)-f(y)}{g(x)-g(y)}}={\frac {f'(c)}{g'(c)}}$, autrement dit $f(x)=(g(x)-g(y)){\frac {f'(c)}{g'(c)}}+f(y)$. Lorsque $g(x)$ est non nul, l'expression précédente peut s'écrire :${\frac {f(x)}{g(x)}}=\left(1-{\frac {g(y)}{g(x)}}\right){\frac {f'(c)}{g'(c)}}+{\frac {f(y)}{g(x)}}$.Comme $\lim _{t\to a^{+}}{\frac {f'(t)}{g'(t)}}=\ell$, on peut choisir $y$ dans $\left]a,b\right[$ tel que, si $c$ appartient à $\left]a,y\right[$, ${\frac {f'(c)}{g'(c)}}$ soit aussi proche que l'on veut de $\ell$. Puis, pour un tel $y$, comme $|g(x)|$ tend vers l'infini, on peut trouver un intervalle non vide $\left]a,r\right[$, inclus dans $\left]a,y\right[$, tel que pour tout $x$ de $\left]a,r\right[$, $g(x)$ soit non nul et ${\frac {g(y)}{g(x)}}$ et ${\frac {f(y)}{g(x)}}$ soient aussi proches de $0$ que l'on veut.

### Remarques

   * Ces règles peuvent être itérées $n$ fois (pour un entier $n>0$) : on dit alors qu'on applique la règle de L'Hôpital « à l’ordre $n$ ».
   * La première de ces deux règles sera utilisée pour démontrer le théorème d'intégration terme à terme d'un développement limité, qui permet d'établir une formule fondamentale : la formule de Taylor-Young.

## Dérivée et sens de variation

La propriété qui suit fournit un critère pour le sens de variation d'une fonction dérivable :
Soient $I$ un intervalle réel et $f:I\to \mathbb {R}$ une fonction dérivable.
* $f$ est croissante si et seulement si $f'\geq 0$.
* $f$ est décroissante si et seulement si $f'\leq 0$.
* $f$ est constante si et seulement si $f'=0$.
* Si $f'>0$ (resp. $<0$) alors $f$ est strictement croissante (resp. strictement décroissante).
* Supposons $f$ croissante. Alors, tous les taux de variation de $f$ sont positifs : $\forall x\in I\quad \forall y\in I\setminus \{x\}\quad {\frac {f(y)-f(x)}{y-x}}\geq 0$. Par passage à la limite dans les inégalités, tous les nombres dérivés de $f$ le sont donc aussi : $\forall x\in I\quad f'(x)=\lim _{y\to x}{\frac {f(y)-f(x)}{y-x}}\geq 0$.
* Réciproquement, supposons que $\forall x\in I\quad f'(x)\geq 0$. Soient $x,y\in I$ tels que $x<y$. Le théorème des accroissements finis (voir supra) assure qu’il existe $c\in \left]x,y\right[$ tel que ${\frac {f(x)-f(y)}{x-y}}=f'(c)$. Comme $f'(c)\geq 0$ (par hypothèse) et $y-x>0$, on en déduit que $f(y)-f(x)\geq 0$. On a donc bien : $\forall x,y\in I\quad x<y\Rightarrow f(x)\leq f(y)$, c'est-à-dire que $f$ est croissante.
* La caractérisation de la décroissance de $f$ se démontre de même, ou se déduit de celle de la croissance de $-f$.
* $f$ est constante si et seulement si elle est à la fois croissante et décroissante.
* La condition suffisante de monotonie stricte se démontre de la même façon que celle de monotonie.
Pour des exemples, voir le chapitre « Dérivée et sens de variation » et ses exercices, dans la leçon « Étude et tracé d'une fonction ».

## Classes de régularité et dérivées d'ordre supérieur

Soit $I$ un intervalle de $\mathbb {R}$.

### Dérivées d'ordre supérieur

Soit $f$ une fonction dérivable sur $I$. Les dérivées successives de $f$ , si elles existent, sont définies par récurrence de la façon suivante :
* $f^{(0)}=f$ ;
* $f^{(n+1)}=(f^{(n)})'\,\forall n\in \mathbb {N}$.
(exemple à faire)
Attention à ne pas confondre la dérivée n-ième $f^{(n)}$ avec la puissance n-ième $f^{n}$.
Soient $f$ et $g$ deux fonctions dérivables $n$ fois ($n\in \mathbb {N}$).
On a :
* $(f+g)^{(n)}=f^{(n)}+g^{(n)}$ ;
* $\forall \lambda \in \mathbb {R} \quad (\lambda f)^{(n)}=\lambda f^{(n)}$.
Cette propriété se démontre par récurrence sur $n$ en utilisant la linéarité de la dérivation.
Pour le produit, on voit apparaître des coefficients binomiaux :
Si $f$ et $g$ sont $n$ fois dérivables en un point $x\in \mathbb {R}$ ($n\in \mathbb {N}$), alors leur produit l'est aussi et
Cette formule a la même forme et se démontre de la même façon que la formule du binôme.
Pour n = 0 on a bien :
    $(fg)^{(0)}(x)=f(x)g(x)={0 \choose 0}f^{(0)}(x)g^{(0)}(x)$.
Pour n entier supérieur ou égal à 1, nous démontrerons la formule de Leibniz par récurrence. (On a traité à part le cas n = 0 car, sinon, au cours de la démonstration ci-dessous, il apparaîtrait des sommes de la forme $\sum _{i=1}^{0}\dots$, qui n'auraient pas de sens.)
Pour $n=1$, la formule est vraie d'après la règle du produit :
$(fg)'(x)=f'(x)g(x)+f(x)g'(x)=\sum _{k=0}^{1}{\binom {1}{k}}\ f^{(1-k)}(x)g^{(k)}(x)$
Nous devons maintenant montrer que pour tout entier $k$ supérieur ou égal à 1, si la formule est vraie pour $n=k$, alors elle est aussi vraie pour $n=k+1$.
Au voisinage de $x$, on a par hypothèse :
    $(fg)^{(k)}=\sum _{i=0}^{k}{\binom {k}{i}}f^{(k-i)}g^{(i)}.$
Si l'on dérive au point $x$ cette expression, on obtient par la règle du produit :
    $(fg)^{(k+1)}(x)=\sum _{i=0}^{k}{\binom {k}{i}}f^{(k+1-i)}(x)g^{(i)}(x)+\sum _{i=0}^{k}{\binom {k}{i}}f^{(k-i)}(x)g^{(i+1)}(x).$
Par changement d'indice $j=i+1$, cette expression se réécrit :
    ${\begin{aligned}(fg)^{(k+1)}(x)&=\sum _{i=0}^{k}{\binom {k}{i}}f^{(k+1-i)}(x)g^{(i)}(x)+\sum _{j=1}^{k+1}{\binom {k}{j-1}}f^{(k+1-j)}(x)g^{(j)}(x)\\&={\binom {k}{0}}f^{(k+1)}(x)g^{(0)}(x)+\left[\sum _{i=1}^{k}{\binom {k}{i}}f^{(k+1-i)}(x)g^{(i)}(x)\right]+\left[\sum _{j=1}^{k}{\binom {k}{j-1}}f^{(k+1-j)}(x)g^{(j)}(x)\right]+{\binom {k}{k}}f^{(0)}(x)g^{(k+1)}(x)\\&=f^{(k+1)}(x)g^{(0)}(x)+\left[\sum _{i=1}^{k}\left({\binom {k}{i}}+{\binom {k}{i-1}}\right)f^{(k+1-i)}(x)g^{(i)}(x)\right]+f^{(0)}(x)g^{(k+1)}(x).\end{aligned}}$
On conclut en utilisant la formule de Pascal :
    ${\begin{aligned}(fg)^{(k+1)}(x)&=f^{(k+1)}(x)g^{(0)}(x)+\left[\sum _{i=1}^{k}{\binom {k+1}{i}}f^{(k+1-i)}(x)g^{(i)}(x)\right]+f^{(0)}(x)g^{(k+1)}(x)\\&=\sum _{i=0}^{k+1}{\binom {k+1}{i}}f^{(k+1-i)}(x)g^{(i)}(x).\end{aligned}}$
La règle est donc aussi vraie pour $n=k+1$. Par récurrence, la règle est donc vraie pour tout entier $n$ supérieur ou égal à 1.
Note : on peut aussi démontrer la formule de Leibniz en utilisant un développement de Taylor-Young.
Avec n = 2 on a :
    $\displaystyle (fg)''=f''g+2f'g'+fg''$,
soit, pour trouver la dérivée seconde de $x\mapsto (x^{2}+1)\sin(x)$ :
    $\left[(x^{2}+1)\sin(x)\right]''=2\sin(x)+4x\cos(x)-(x^{2}+1)\sin(x)$.
Enfin, on a la propriété suivante qui se généralisera en calcul différentiel :
Soit $f$ une fonction 2 fois dérivable sur $I$ et $a\in I$ tel que $f'(a)=0$.
* Si $\forall x\in I,f''(x)>0$, alors $f(a)$ est un minimum local de $f$ sur $I$.
* Si $\forall x\in I,f''(x)<0$, alors $f(a)$ est un maximum local de $f$ sur $I$.
On ne démontre que la première assertion :
$f''(x)>0\forall x\in I\Rightarrow f'\mathrm {croissante\,\,sur\,\,} I$, et donc comme $f'(a)=0$
$f'(x)<0\forall x\in I,x<a$ et $f'(x)>0\forall x\in I,x>a$. On en déduit que $f$ est décroissante « à gauche de $a$ » et croissante « à droite de $a$ », ce qui montre que $f(a)$ est un minimum local.

### Classes de régularité

Soit $n\in \mathbb {N}$. On dit qu'une fonction $f$ est de classe ${\mathcal {C}}^{n}$ sur $I$, et l'on note $f\in C^{n}(I)$, si :
* $f$ est $n$ fois dérivable sur $I$ ;
* sa dérivée $n$-ième (c'est-à-dire la fonction $f^{(n)}$) est continue sur $I$.
Donc $f\in C^{0}(I)$ signifie simplement que $f$ est continue sur $I$.
On peut aussi parler de la classe $C^{\infty }(\mathbb {R} )$, avec les polynômes, l'exponentielle, le sinus, le cosinus et la gaussienne $x\mapsto \mathrm {e} ^{-ax^{2}}$ ($a\in \mathbb {R} _{+}^{*}$) :
Une fonction $f$ est dite de classe ${\mathcal {C}}^{\infty }$ sur $I$ si elle est $n$ fois dérivable sur $I$ pour tout $n\in \mathbb {N}$.
| Continuité | Relations de comparaison |