ATLAS Ouvrir dans l'atlas →

Définition 1Dérivabilité

Dérivabilité en un point

Énoncé

Soit II un intervalle de ℝ{\mathbb R} non réduit à un point, f:I→ℝf : I \to \mathbb R et a∈Ia \in I. Le taux d'accroissement de ff en aa est la fonction τa:I∖{a}→ℝ\tau_a : I \setminus \{a\} \to \mathbb R définie par τa(x)=f(x)−f(a)x−a.\tau_a(x) = \frac{f(x) - f(a)}{x - a}.

La fonction ff est dérivable en aa si τa\tau_a admet une limite finie en aa ; cette limite est le nombre dérivé f′(a)f'(a). Elle est dérivable sur II si elle l'est en tout point de II, et la fonction f′:x↦f′(x)f' : x \mapsto f'(x) est alors sa dérivée.

x f x x x x a 3,6 3 2,5 1,3 2
Pour f(x)=x2f(x) = x^2 et a=1a = 1, les sécantes qui joignent (a,f(a))(a, f(a)) aux points (x,f(x))(x, f(x)) ont pour pentes les taux d'accroissement τa(x)=x+a\tau_a(x) = x + a, inscrits au bord : 3,63{,}6, 33 et 2,52{,}5 pour x=2,6x = 2{,}6, 22 et 1,51{,}5, et 1,31{,}3 pour x=0,3x = 0{,}3. Quand xx tend vers aa, d'un côté comme de l'autre, elles tendent vers la tangente rouge, de pente f′(1)=2f'(1) = 2.

On définit de même la dérivée à droite fd′(a)f'_d(a) et la dérivée à gauche fg′(a)f'_g(a) comme les limites de τa\tau_a en aa dans I∩ ]a,+∞[I \cap \,]a, +\infty[ et dans I∩ ]−∞,a[I \cap \,]{-\infty}, a[, lorsque ces ensembles ne sont pas vides.

Démonstration

Il faut s'assurer que la définition a un sens, c'est-à-dire que aa est adhérent à I∖{a}I \setminus \{a\}. Soit b∈Ib \in I distinct de aa et δ>0\delta > 0. Le point x=a+min⁡(δ2,∣b−a∣)b−a∣b−a∣x = a + \min\Big(\frac\delta2, |b - a|\Big)\frac{b - a}{|b - a|} est situé entre aa et bb, donc dans II puisque II est un intervalle ; il est distinct de aa et vérifie ∣x−a∣<δ|x - a| < \delta. La limite, si elle existe, est alors unique (Limite en un point, (i)).

□
Remarque

Trois exemples fixent les idées. Une fonction constante a un taux d'accroissement nul, donc une dérivée nulle, et x↦xx \mapsto x a un taux constant égal à 11. Pour f(x)=x2f(x) = x^2, on a τa(x)=x+a\tau_a(x) = x + a, qui tend vers 2a2a : f′(a)=2af'(a) = 2a. Pour f(x)=1/xf(x) = 1/x sur ]0,+∞[]0, +\infty[, on a τa(x)=−1/(xa)\tau_a(x) = -1/(xa), qui tend vers −1/a2-1/a^2 par les opérations sur les limites.

Remarque

La fonction x↦∣x∣x \mapsto |x| n'est pas dérivable en 00 : son taux d'accroissement vaut 11 à droite et −1-1 à gauche. Elle admet donc une dérivée à droite et une dérivée à gauche, mais elles diffèrent.

En un point aa qui n'est pas une extrémité de II, ff est dérivable si et seulement si elle a des dérivées à droite et à gauche égales : si δd\delta_d et δg\delta_g conviennent pour un même ε\varepsilon de chaque côté, leur minimum convient pour I∖{a}I \setminus \{a\}.

x pente 1 pente −1 |x| x f′d(0) = 1 f′g(0) = −1 τ0
À gauche, le graphe de x↦∣x∣x \mapsto |x| est formé de deux demi-droites de pentes 11 et −1-1. À droite, le taux d'accroissement en 00, τ0(x)=∣x∣/x\tau_0(x) = |x|/x, défini seulement pour x≠0x \neq 0, vaut 11 à droite et −1-1 à gauche : ses limites de chaque côté existent mais diffèrent, de sorte qu'il n'a pas de limite en 00.
Remarque

En une extrémité de II, la dérivée n'est qu'une dérivée d'un côté. C'est en ce sens que le théorème fondamental de l'analyse affirme F′=fF' = f sur tout l'intervalle, extrémités comprises, tandis que les théorèmes de Rolle et des accroissements finis ne demandent la dérivabilité que sur l'intervalle ouvert.

Ouvrir dans l'atlas interactif →