Analyse I / GM

EPFL Botafogo
timeline-AN-2023 Ouvrir dans un onglet

9.6 Dérivées latérales

Pour parler de la dérivabilité d’une fonction en un point , il faut que cette fonction soit définie dans un voisinage épointé de . Ceci signifie en particulier que doit être définie des deux côtés de .
Si n’est définie que d’un côté de , on peut tout de même introduire une notion de dérivée latérale:
Définition 9.2.
Soit .
  • Soit définie en et dans un voisinage à gauche. On dit que est dérivable à gauche en si le nombre défini par la limite
    existe (et est fini). On appelle la dérivée à gauche en .
  • Soit définie en et dans un voisinage à droite. On dit que est dérivable à droite en si le nombre défini par la limite
    existe (et est fini). On appelle la dérivée à droite en .
Observons que la dérivabilité à gauche (resp. à droite) en implique qu’il existe une droite tangente à gauche (resp. à droite) au point .
Animation explicative
Il peut donc exister des fonctions qui peuvent être dérivables à gauche ou à droite en un point, mais sans être dérivable en ce point.
Exemple 9.15.
On sait que n’est pas dérivable en :
Pourtant, ses dérivées latérales existent en , puisque
L’existence et l’égalité des dérivées latérales en un point entraîne la dérivabilité en ce point:
Théorème 9.3.
est dérivable en si et seulement si et existent et sont égales (et dans ce cas, ).
Proof
Par définition, Donc ces deux limites existent et sont égales si et seulement si existe et prend la même valeur.

Informel 9.3.Donc si les dérivées latérales existent et sont égales, la fonction est dérivable (image de gauche ci-dessous), et si les dérivées latérales existent toutes les deux mais que leurs valeurs sont différentes, alors la fonction n’est pas dérivable, et son graphe fait un “coude” au point (image de droite ci-dessous):

9.6.1 Fonctions définies par morceaux

Soient deux fonctions définies sur toute la droite, et . Considérons la fonction suivante, définie par morceaux: Si est continue en , on pourra tester la dérivabilité de en , par le théorème précédent, en calculant les dérivées latérales de en , et en vérifiant qu’elle sont égales.
Exemple 9.16.
Étudions la dérivabilité de au point . Remarquons que est continue en ce point puisque qui est également égale à .
Pour tester la dérivabilité, Comme , n’est pas dérivable en .
Exemple 9.17.
Soit Remarquons qu’en dehors de , est partout dérivable, quelles que soient les valeurs de et . Déterminons les paramètres de manière à ce que soit dérivable en .
Pour être dérivable en , il faut d’abord que soit continue en . Commençons donc par assurer que est continue en . Pour cela, remarquons que , et Pour avoir la continuité en , on doit donc imposer .
Passons à la dérivabilité en . Puisqu’on peut dorénavant considérer que , on calcule d’abord puis Comme est dérivable en si et seulement si , la seule possibilité est d’imposer .
Animation explicative
Quiz 9.6.1.Soit définie en et dans son voisinage. Vrai ou faux?
Projet Botafogo © 2026. En savoir plus. Contenu sous licence CC BY-NC-SA 4.0