Définition 1Dérivabilité
Dérivabilité en un point
Soit un intervalle de non réduit à un point, et . Le taux d'accroissement de en est la fonction définie par
La fonction est dérivable en si admet une limite finie en ; cette limite est le nombre dérivé . Elle est dérivable sur si elle l'est en tout point de , et la fonction est alors sa dérivée.
On définit de même la dérivée à droite et la dérivée à gauche comme les limites de en dans et dans , lorsque ces ensembles ne sont pas vides.
Démonstration
Il faut s'assurer que la définition a un sens, c'est-à-dire que est adhérent à . Soit distinct de et . Le point est situé entre et , donc dans puisque est un intervalle ; il est distinct de et vérifie . La limite, si elle existe, est alors unique (Limite en un point, (i)).
□Trois exemples fixent les idées. Une fonction constante a un taux d'accroissement nul, donc une dérivée nulle, et a un taux constant égal à . Pour , on a , qui tend vers : . Pour sur , on a , qui tend vers par les opérations sur les limites.
La fonction n'est pas dérivable en : son taux d'accroissement vaut à droite et à gauche. Elle admet donc une dérivée à droite et une dérivée à gauche, mais elles diffèrent.
En un point qui n'est pas une extrémité de , est dérivable si et seulement si elle a des dérivées à droite et à gauche égales : si et conviennent pour un même de chaque côté, leur minimum convient pour .
En une extrémité de , 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 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.