Nombre dérivé à gauche, à droite

La fonction f : x | x ( x 1 ) | f nitalic : x toward abs{x(x-1)} est dérivable sur [ 0 ; 1 [ left [ 0 nitalic ; 1 right [ et sur ] 1 ; + [ left ] 1 nitalic ; +infinity right [ . Mais au point x = 1 x=1 , il n'est pas possible de conclure.

On calcule

lim h 0 + f ( 1 + h ) f ( 1 ) h = lim h 0 + ( 1 + h ) h h = lim h 0 + ( 1 + h ) = 1 lim from {h toward 0^{{}+{}}} { {f(1+h)-f(1)} over {h} } = lim from {h toward 0^{{}+{}}} { {(1+h)h} over {h} }= lim from {h toward 0^{{}+{}}} { (1+h) }=1

lim h 0 f ( 1 + h ) f ( 1 ) h = lim h 0 ( 1 + h ) h h = lim h 0 + ( ( 1 + h ) ) = 1 lim from {h toward 0^{{}-{}}} { {f(1+h)-f(1)} over {h} } = lim from {h toward 0^{{}-{}}} { {-(1+h)h} over {h} }= lim from {h toward 0^{{}+{}}} { (-(1+h)) }=-1

La fonction f f n'est pas dérivable au point 1, car les limites à gauche et à droite du taux d'accroissement en ce point sont différentes, il n'existe donc pas de nombre dérivé au point 1. La courbe admet au point 1 deux demi-tangentes de coefficients directeurs 1 et -1.

Définition

Une fonction f f définie sur un intervalle I I contenant le réel a a est dérivable à droite [respectivement à gauche] en a a si et seulement si lim h 0 + f ( a + h ) f ( a ) h lim from {h toward 0^{{}+{}}} {{f(a+h)-f(a)} over {h}} [respectivement lim h 0 f ( a + h ) f ( a ) h lim from {h toward 0^{{}-{}}} {{f(a+h)-f(a)} over {h}} ] existe et est finie.

Cette limite est alors notée f d ' ( a ) f_d ^'(a) [respectivement f g ' ( a ) f_g^'(a) ]

f d ' ( a ) f_d ^'(a) et f g ' ( a ) f_g^'(a) sont les coefficients directeurs des demi-tangentes au point a a .

FondamentalThéorème

Soit f f une fonction définie sur un intervalle I I contenant le réel a a , f f est dérivable en a a si et seulement si f f est dérivable à gauche et à droite en a et f d ' ( a ) = f g ' ( a ) f_d ^'(a)= f_g ^'(a) .

De plus, sous ces hypothèses, on a : f d ' ( a ) = f g ' ( a ) = f ' ( a ) f_d ^'(a)= f_g ^'(a)= f^'(a) .

Définition

Si f f est une fonction dérivable en tout point d'un intervalle I = ] a ; b [ I = left ] a nitalic ; b right [ , dérivable à gauche en b b et à droite en a a , on dit que f f est dérivable sur J = [ a ; b ] J = left [ a nitalic ; b right ] .